MA.1.AR: Algebraic Reasoning