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)
=
7 wx + 15 wy - 17 wz - 7 w x + xy + 4 xz - 15 w y - x y - 23 yz + 17 w z -
4 x z + 23 y z