(x+2*a*y-z=-2*a)&(3*x-a*y=5*z+2*a)&(x+a*y=z)