Is 15 a prime number?