Образцовое решение

Воспользуемся стратегией обоснованного предположения и проверки для сужения диапазона возможных вариантов. Мы знаем, что число, превышающее 510, не может быть простым, если у него в конце стоят цифры 0, 2, 4, 5, 6 или 8. Кроме этого вспомним, что число, сумма цифр которого делится на 3, тоже делится на 3. Это позволяет отбросить некоторые числа, превышающие 510, например число 513. Таким образом, мы ограничиваем предположения числами 511, 517, 521 и т. д. В результате проверки следующим за 510 простым числом оказывается 521.