BALTIC-WAY 1991 Problem 3
There are 20 cats priced from to and 20 sacks priced from 10 cents to for sale (all prices are different). Prove that each of two boys, John and Peter, can buy a cat in a sack paying the same amount of money.
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.