5-4 Algebraic Reasoning