31991
xyzt
t^2+x*t^2-y*t-x*y*t+x*y+3*y;
x*t+z-x*y;
z*t-2*y^2-x*y-1;
0;