Solving Linear Equations in SAT math test