knows that a number is divisible by 15