A derivation precisely describes how the grounded equation system was constructed from the word problem by the automatic solver.
the grounded equation systems and the solutions are less informative, as they do not explain which span of text aligns to the coefficients in the equations.