Solvability and Consistency for Linear Equations and Inequalities | Synapse