3*x = 15 and x + y = 7 and z - y = 17