IMI.A-REI: Algebra: Reasoning with Equations and Inequalities (A-REI)