Solving Systems by Substitution

A lesson in SAT Algebra & Linear Equations.