How the checker decides
A prime is a whole number greater than 1 whose only divisors are 1 and itself: 2, 3, 5, 7, 11 and so on. Every other number above 1 is composite, a product of smaller primes.
For small numbers the checker uses trial division, dividing by 2, 3, 5, 7 and the primes after them. It can stop at the square root, because if n = a × b then one of a and b is at most √n. For 97 that means trying 2, 3, 5 and 7 (√97 ≈ 9.8); none divides it, so 97 is prime.
For big numbers that would take far too long, so it switches to the Miller–Rabin test, built on Fermat's little theorem: if n is prime, an−1 leaves remainder 1 on division by n. Write n − 1 = 2s × d with d odd. For a prime, the chain ad, a2d, a4d… (mod n) either starts at 1 or reaches n − 1. A base a that breaks this rule is a witness that n is composite, without naming a factor. Below 3.317 × 1024, the thirteen bases 2 to 41 leave no exceptions, so passing them is a proof.
Larger numbers get the Baillie–PSW test (Miller–Rabin base 2 plus a strong Lucas test) and seven extra bases. No composite number is known to pass it, but that is not a proof, so the result says "probable prime".