USA IMO

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

Algebra 8Combinatorics 6Geometry 11Number 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	Algebra	8.6	proof	—	open
19	Geometry	8.7	proof	—	open
20	Number theory	8.7	proof	—	open
21	Geometry	8.8	proof	—	open
22	Number theory	8.8	proof	—	open
23	Combinatorics	8.8	proof	—	open
24	Number theory	8.8	proof	—	open
25	Combinatorics	8.9	proof	2003	open
26	Geometry	8.9	proof	—	open
27	Geometry	9.1	proof	2003	open
28	Combinatorics	9.1	proof	2003	open
29	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.