RU-ALLRUSSIAN 1970 Problem 9
Show that given 200 integers you can always choose 100 with sum a multiple of 100.
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.