На вход программы подается натуральное число n, а затем n целых чисел. необходимо определить максимальное произведение смежных элементов последовательности. n не превышает 1000, каждый элемент последовательности не превосходит по модулю 100. пример входных данных: 7 2 3 -2 -3 -1 4 6 пример выходных данных: 72

Во-первых, если загрузить эту программу в паскаль то ничего не выведется т.к. тут допущены ошибки, вот как правильно:
Var a,b,c:integer;begina:=-15;b:=-a;
c:=b mod 2;Writeln('c=',c);end.
в программе выводится остаток деления числа b на число c
но если тебе нужно оставить действие a:=a*2+1 тогда ты должен добавить ещё одну переменную и в таком случае b будет равнять не -а, а минус эта самая переменная. я обозначила эту переменную n, вот что получается
Var a,b,c,n:integer;begina:=-15;n:=-a*2+1;b:=-n;c:=n mod 2;Writeln('c=',c);end.

Свойства алгоритма: 
1. Дискретность. Это свойство состоит в том, что алгоритм должен представлять процесс решения задачи как последовательное выполнение простых шагов. При этом для выполнения каждого шага алгоритма требуется конечный отрезок времени, т. е. преобразование исходных данных в результат осуществляется во времени дискретно.

2. Определенность. Каждое правило алгоритма должно быть четким, однозначным.

3. Результативность. Алгоритм должен приводить к решению за конечное число шагов.

4. Массовость. Алгоритм решения задачи разрабатывается в общем виде, т. е. он должен быть применим для некоторого класса задач, различающихся лишь исходными данными.

5. Правильность. Алгоритм правильный, если его выполнение дает правильные результаты решения поставленной задачи.

Эта фраза означает: момент, когда нет условия выхода из цикла или используется вечный цикл (например, while(true) ).