Почему Паскаль ошибочно выдает итог?

Ошибка в коде.

Осмотрим кусок кода.

Строка 7: a := a + 1;

Строка 8: writeln('a = ', a + 1);

В седьмой строке вы увеличиваете значение а на один, а в восьмой, в выводе, вы используете а увеличенное ещё на один! Таким образом вы увеличиваете переменную a на один два раза.

Решение: уберите строку 7.

Тоже самое дотрагивается и вычитания.

Таким образом, для того, чтобы всё работало как надобно, убрать необходимо строчки 7 и 11.

Либо можно в выводе писать просто а.