6x^2 - 12y^2 - 10z^2 - 3w^2 - xy - 4xz + 23yz - 7wx - 15wy + 17wz - 13w - 6x - 25y + 26z - 12 -(2x-3y+2z-3w-4)(3x+4y-5z+w+3)