How do you solve y=5-x and 1=4x+3x using substitution?