Test results:

Test Iterations Seconds Proof steps
Factor of is transitive 52 0.066 5
If x * y = 0 then x or y is 0 264 0.214 9
The square root of 2 is irrational 3104 14.811 22