Test	Definition
Factor of is transitive	MathML Informal
If x * y = 0 then x or y is 0	MathML Informal
2 is prime	MathML Informal
The square root of 2 is irrational	MathML Informal