Systems of equations and substitution