7.PFA.3.c: Confirm algebraic solutions to linear equations in one variable.