USA IMO

32 problems here, rated 7.7 to 9.2 on our scale (National Olympiad, round 2 to IMO level). 32 of them ask for a proof.

Algebra 8Combinatorics 8Geometry 12Number theory 4

#	Topic	Diff	Type	Year
1	Geometry	7.7	proof	2003	open
2	Geometry	7.7	proof	—	open
3	Combinatorics	7.8	proof	—	open
4	Algebra	7.9	proof	2003	open
5	Algebra	7.9	proof	—	open
6	Algebra	7.9	proof	—	open
7	Algebra	7.9	proof	—	open
8	Geometry	8.0	proof	—	open
9	Geometry	8.2	proof	—	open
10	Number theory	8.2	proof	—	open
11	Geometry	8.3	proof	—	open
12	Algebra	8.3	proof	—	open
13	Geometry	8.3	proof	—	open
14	Algebra	8.4	proof	2003	open
15	Geometry	8.4	proof	2003	open
16	Algebra	8.6	proof	2003	open
17	Combinatorics	8.6	proof	—	open
18	Combinatorics	8.6	proof	—	open
19	Algebra	8.6	proof	—	open
20	Geometry	8.7	proof	—	open
21	Number theory	8.7	proof	—	open
22	Geometry	8.8	proof	—	open
23	Number theory	8.8	proof	—	open
24	Combinatorics	8.8	proof	—	open
25	Number theory	8.8	proof	—	open
26	Combinatorics	8.9	proof	2003	open
27	Geometry	8.9	proof	—	open
28	Geometry	9.1	proof	2003	open
29	Combinatorics	9.1	proof	2003	open
30	Geometry	9.1	proof	—	open
31	Combinatorics	9.2	proof	—	open
32	Combinatorics	9.2	proof	—	open

These are sorted by difficulty within the competition, but they aren't a course. The track is the route through, drawn from all the sources at once.