Условный оператор if a mod 2 = 0 then write (1) else write (0) позволяет определить, является ли число а: чётным двузначным целым простым
Нулевой остаток целочисленного деления на 2 определяет четность числа.
то есть оно четное?
Если остаток нулевой - четное, если он равен единице - нечетное.