Exercises in ActiveMath
http://examat.org/