def F(n):
# начало с 2, ибо любое число делится на 1
d = 2
# увеличиваем делитель, пока число не делится на этот делитель
while n % d !=0:
d+=1
# если делитель равен данному числу, то у данного числа нет делителей кроме 1 и самого числа => оно простое
if n == d:
return True
# return обрабатывается лишь раз, поэтому если число простое, то он вернет True и выйдет из блока программы
# не дойдя до False
return False
print(F(7))
print(F(12))
Стандартная проверка на простое число, вообще можно оптимизировать данный код и искать делители числа только до sqrt(n), ибо дальше если и есть множитель, то он будет иметь в пару множитель, который находится до sqrt(n). Доказывать этот факт не буду, разбор есть на youtube.