Test knows 5 is not divisible by 1