bool y;
int x;
x := 6 * (4 + 3);
y := (0 < 1) || 19 + 23 == x;
print x,y,x