Во-первых, формулы для простых чисел существуют. Тут можно отметить результаты Матиясевича. Имеется его
популярная статья и
большая лекция, которую стоит послушать чтобы получить лучшее представление об этом вопросе.
Во-вторых, есть известная теорема Дирихле, которая гласит что в любой арифметической прогрессии первый член которой и разность — взаимно простые числа, содержится бесконечно простые числа.
Так что отвечая на ваш вопрос: мы можем выбрать множество чисел указанного вида, и среди них (по теореме Дирихле) есть бесконечно много простых. Ну а алгоритмов для проверки числа на простоту очень много.
Однако, если посмотреть на вопрос с более общих позиций, а именно задаться вопросом о существовании формул которые будут выдавать числа такого вида — то и тут есть возможности, например с использованием упомянутых результатов Матиясевича и других его последователей.
Однако, если честно, у этих формул есть большой недостаток — их чудовищная сложность.