Generate automatic tests for mathematics for self corretion