MA.4.AR: Algebraic Reasoning