Python Sympy Solve System