A lot of tests for the heuristic isMath