Test results:

Test Iterations Seconds Proof steps
Factor of is transitive 11 0.032 10
If x * y = 0 then x or y is 0 20 0.062 6
2 is prime 650 8.632 10
The square root of 2 is irrational 2644 8.003 17