We have x+6y−3z=32(−3x+4w) and −2y+z=32(x−w), so wx=(−3x+4w)+3(x−w)(x+6y−3z)+3(−2y+z)=(−3x+4w)+3(x−w)32(−3x+4w)+3⋅32(x−w)=(−3x+4w)+3(x−w)32[(−3x+4w)+3(x−w)]=32
Source: Omni-MATH,
licensed Apache-2.0.
Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.