Interesting thought this morning. It started with: is 509 prime? So I started doing trial division. Dividing by 13 I found \(509 = 13\cdot 30 +119\) and 119 is not a multiple of 13, okay.
Now moving on to 17, I can quit immediately *without* dividing because I just saw that \(509 = 13\cdot 30 +119\) and 119 *is* a multiple of 17.