How is Reasoning Used in Algebraic Equations?