added basic user input validation and testing new sympy solve() and Eq() method