31991;
(y*z-x*z+x^2+2)*(z^3-y^2+x^2+3*x-15);
#
#