Equation Solving using CAS