add knows that a number is not divisible by tests