Solving Systems by Elimination

A lesson in SAT Algebra & Linear Equations.