When using substitution, we are imputing an equation in place of a variable to eliminate one of the variables in the equation so that we can solve for the remaining variable.
For this example, we will be plugging in (-4y+12) wherever "x" is in the other equation.