Knows 2 is not divisible by 3