USA IMO

23 problems here, rated 7.5 to 9.1 on our scale (National olympiad, round 2 to IMO level). 22 of them ask for a proof.

Algebra 7Combinatorics 6Geometry 7Number theory 3

#	Topic	Diff	Type	Year
1	Algebra	7.5	answer	—	open
2	Geometry	7.7	proof	2003	open
3	Number theory	7.7	proof	2003	open
4	Geometry	7.7	proof	—	open
5	Algebra	7.9	proof	2003	open
6	Algebra	7.9	proof	—	open
7	Algebra	8.1	proof	—	open
8	Number theory	8.2	proof	—	open
9	Algebra	8.3	proof	—	open
10	Algebra	8.4	proof	2003	open
11	Geometry	8.4	proof	2003	open
12	Algebra	8.6	proof	2003	open
13	Combinatorics	8.6	proof	—	open
14	Combinatorics	8.6	proof	—	open
15	Geometry	8.7	proof	—	open
16	Geometry	8.8	proof	—	open
17	Combinatorics	8.8	proof	—	open
18	Number theory	8.8	proof	—	open
19	Combinatorics	8.9	proof	2003	open
20	Combinatorics	8.9	proof	2003	open
21	Geometry	8.9	proof	—	open
22	Geometry	9.1	proof	2003	open
23	Combinatorics	9.1	proof	2003	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.