Solve systems of equations and assumptions, linear and non-linear, numerically and symbolically.