Building Equations from Words

A lesson in SAT Algebra & Linear Equations.