Math Reasoning with SymPy