An Augmented MetiTarski Dataset for Real Quantifier Elimination using Machine Learning - View it on GitHub