A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.
Solution
8x+y=2(x+2y−3z)+3(2x−y+2z)=2(7)+3(6)=32
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: Omni-MATH,
licensed Apache-2.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.