Equivalent Expressions and Solving