Mathomatic V16: Symbolic math program
This program can automatically solve,
simplify, compare, and calculate
algebraic equations, etc.  Does
calculus operations, too.  Free
to distribute.