Solve Assumptions Mathematica