Верно ли, что в массиве из N элементов все отрицательные элементы расположены до первого положительного?

program var20; 
var 
A:array of integer; 
i,N:word; 
flag:boolean; 
begin 
writeln('Введите N'); 
readln(N); 
SetLength(A,N); 
flag:=false; 
i:=0; 
for i:=0 to N-1 do 
begin 
writeln('Введите i-й элемент массива A'); 
readln(A[i]); 
end; 
i:=0; 
for i:=0 to N-1 do 
begin 
if A[i]>0 then 
flag:=true 
else 
if (flag=true) and (A[i]<0) then 
writeln('Неверно'); 
end; 
if ((flag=true) and (A[i]>0)) or ((flag=false) and (A[I]<0)) then 
writeln('Верно'); 
readln; 
end.

program var20; 
var 
A:array of integer;  
i,N:word; 
flag:boolean; 
begin 
writeln('Введите N'); 
readln(N); 
SetLength(A,N); 
flag:=true; 
i:=0; 
for i:=0 to N-1 do 
begin 
writeln('Введите i-й элемент массива A'); 
readln(A[i]); 
end; 
i:=0; 
for i:=0 to N-1 do 
begin 
if i=N-1 then
  if ((flag=true) and (A[i]>0)) or ((flag=false) and (A[i]<0)) then 
  writeln('Верно') 
  
  else 
  writeln('Неверно') 
 
 else 
if A[i]<0 then 
  if (flag=true) and (A[i]<0) 
  then
  flag:=false
 
  else 
  flag:=true;
  if (flag=true) and (A[i]<0) 
  then
  flag:=false
  
  else 
  end;
 
readln; 
end.

var
  A: array of integer;
  i, N, ipos, ineg: integer;
 
begin
  write('N = ');
  readln(N);
  SetLength(A, N);
  ineg := -1;
  ipos := -1;
  writeln('Введите элементы массива:');
  for i := 0 to N - 1 do
    begin
      write('A[', i + 1, '] = ');
      readln(A[i]);
      if A[i] < 0
        then ineg := i
        else if (ipos = -1) and (A[i] > 0)
          then ipos := i
    end;
  if (ineg > -1) and (ipos > -1)
    then if ineg < ipos
      then write('Верно')
      else write('Неверно');
  if ineg = -1 then write('Mассив не содержит отрицательных элементов');
  if ipos = -1 then write('Массив не содержит положительных элементов');
  readln
end.