Test knows 3 is not divisible by 1