Твоей основной ошибкой, является использование меток, но ее я упускаю.
Когда тяжело разобраться почему программа плужить, на помощь приходят дебагеры (пошаговое выполнение программы)
так вот дживимся пошагово:
после считывания а = 0 выполняется код
if a = 0 then
write ('Banned 0! Input a again? (y / n)');
read (p);
при выполнении условия у тебя выполняется только WRITE, считывание г будет выполняться в любом случае, эти две строки нужно взять в операторные скобки BEGIN .... END
if a = 0 then
begin
write ('Banned 0! Input a again? (y / n)');
read (p);
end;
едем дальше, когда доходит до условия
if p = 'y' then goto first;
первый раз она не выполняется, поэтому код идет в условия
if (p <> 'y') and (p <> 'n') then goto second;
а тут уже P имеет непонятно какую значение поэтому она выполняется, и если код снова выполняется от First к проверкам или от Second к проверкам, они выполняются снова и снова, потому значение P не меняется - вот и получается своеобразное зацикливание.
Выход: При выполнении кода после метки менять значение P на какое нейтральное
Реальный выход: использовать цикл с после условием.
Вот код без етого повторения:
program corekey;
label first,second,third;
var a,x,b:real;
p:char;
begin
write('ax+b=0 ');
first:
p:='n';
writeln('write a ');
readln(a);
second :
if a=0 then
begin
write('Banned 0! Input a again?(y/n) ');
read(p);
end;
if p='y' then goto first;
if (p<>'y')and(p<>'n') then goto second;
write('write b ');
read(b);
x:=-b/a;
write(x);
third:
writeln ('Begining again? (y/n) ');
readln(p);
if p='y' then goto first;
if p='n' then
write('Press Enter!');
if(p<>'y') and (p<>'n') then goto third;
read;
end.