First lesson. Done

All Tasks
Достататочно проверять делимость до корня числа.

В `if k>=2 && mod n k /= 0 && notdevide n (k-1) then True else False` зачем использовать `if` когда его результат равен самому условию? К тому же, `k>=2` всегда истина, ибо при k=1 сработает `notdevide n 1 = True`.