Equations-solving systems