knows 1 is not divisible by 3