M.1HS8.RE: Reasoning with Equations