y = –1.
Алгоритм разветвляющийся.
А еще в блоках условия при сравнении на равенство должен использоваться знак = вместо := (последний в pascal означает присваивание).
