Так как перебираем двумерный массив, то в любом случае нужно использовать вложенные циклы 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
