(x+2*y=-1)&(x^2-y=-1)