Algebraic Reasoning: Solutions of Equations