Так как перебираем двумерный массив, то в любом случае нужно использовать вложенные циклы for.

Положим, что переменная внешнего цикла - j, а внутреннего - i.

3. Перед циклами вводим переменную k:=1;
Внутри циклов пишем if:
if i=j then k:=k*a[i,j];

4. Внутри циклов будет if:
if a[i,j] Mod 2 = 0 then a[i,j]:=7;

5. Внутри циклов будет множественное if:
if i=j then a[i,j]:=1 else
if i>j then a[i,j]:=2 else 
if i