Test results:

Test Iterations Seconds Steps Proofs
Factor of is transitive 9 0.029 8 MathML Informal
If x * y = 0 then x or y is 0 5 0.023 4 MathML Informal
2 is prime 222 0.532 8 MathML Informal
The square root of 2 is irrational 131 0.689 17 MathML Informal