Тұжырымның ақиқат/жалғанын анықта. Люк-Тремо алгоритмі
және оң қол ережесі –
лабиринттен шығудың екі
бірдей әдісі.​

целый целый R := A + B
тип результата: целый

целый целый R := A - B
тип результата: целый

целый целый R := A * B
тип результата: целый 

целый целый R := A / B
тип результата: вещественный

целый целый A > B
тип результата: логический (true/false)

целый целый A < B
тип результата: логический (true/false)

вещественный вещественный R := A + B
тип результата: вещественный

вещественный вещественный R := A - B
тип результата: вещественный

вещественный вещественный R := A * B
тип результата: вещественный

вещественный вещественный R := A / B
тип результата: вещественный

вещественный вещественный A > B
тип результата: логический (true/false)

вещественный вещественный A < B
тип результата: логический (true/false)

Вопрос не совсем понятен, какого типа будет результат выполнения условий? 
В принципе, на Pascal и т.д при присвоении переменной типа (пример: var x:integer;) результат арифметических операций будет такого же типа(
пример программы на pascalABC:

program HelloWorld;

var   

   x:integer;   

   y:integer;   

   z:real; //вот если мы тут укажем тип integer то у нас программа выдаст ошибку

begin   

  x:=5;   

  y:= 2;   

  z:= x/y;   

writeln(z);

end.

В принципе это все, всегда нужно думать головой на шаг вперед. Вот  ответы на поставленные резултаты операций:
целый целый R := A + B //целый integer
целый целый R := A - B //целый integer
целый целый R := A * B //целый integer
целый целый R := A / B //вещественный, real
целый целый A > B //целый integer
целый целый A < B //целый integer
вещественный вещественный R := A + B  //вещественный real
вещественный вещественный R := A - B  //вещественный real
вещественный вещественный R := A * B  //вещественный real
вещественный вещественный R := A / B  //вещественный real
вещественный вещественный A > B //вещественный real
вещественный вещественный A < B //вещественный real