I wonder if their curated set of 817 math problems is also useful as teaching material for training math students on a diverse set of problems.