This article examines the symbolic algebraic solution of the titration equations for a diprotic acid, as obtained using "Mathematica," "Maple," and "Mathcad." The equilibrium and conservation equations are solved symbolically by the programs to eliminate the approximations that normally would be performed by the student. Of the three programs, "Maple" performs the best in terms of precision and speed. "Mathcad" is unable to arrive at a symbolic solution for the system of equations as posed. "Mathematica" can solve the algebraic problem, but requires additional programming effort to handle instabilities that arise during the calculation of numerical output. (Contains 6 figures.)