Solve equations symbolically and return a human-readable step-by-step explanation.