It is possible to find out using mathematical methods whether a given integer is a prime number or not.
Yes, 5 009 is a prime number.
Indeed, the definition of a prime numbers is to have exactly two distinct positive divisors, 1 and itself. A number is a divisor of another number when the remainder of Euclid’s division of the second one by the first one is zero. Concerning the number 5 009, the only two divisors are 1 and 5 009. Therefore 5 009 is a prime number.
Find out more:
Since 5009 is a prime number, 5009 is also a deficient number, that is to say 5009 is a natural integer that is strictly larger than the sum of its proper divisors, i.e., the divisors of 5009 without 5009 itself (that is 1, by definition!).