42 true (gt (INT_MAX, 0));
43 false (gt (0, INT_MAX));
44 true (gt (INT_MAX, 1));
45 false (gt (1, INT_MAX));
47 false (gt (INT_MIN, 0));
48 true (gt (0, INT_MIN));
49 false (gt (INT_MIN, 1));
50 true (gt (1, INT_MIN));
52 true (gt (INT_MAX, INT_MIN));
53 false (gt (INT_MIN, INT_MAX));
58 true (ge (INT_MAX, 0));
59 false (ge (0, INT_MAX));
60 true (ge (INT_MAX, 1));
61 false (ge (1, INT_MAX));
63 false (ge (INT_MIN, 0));
64 true (ge (0, INT_MIN));
65 false (ge (INT_MIN, 1));
66 true (ge (1, INT_MIN));
68 true (ge (INT_MAX, INT_MIN));
69 false (ge (INT_MIN, INT_MAX));
74 false (lt (INT_MAX, 0));
75 true (lt (0, INT_MAX));
76 false (lt (INT_MAX, 1));
77 true (lt (1, INT_MAX));
79 true (lt (INT_MIN, 0));
80 false (lt (0, INT_MIN));
81 true (lt (INT_MIN, 1));
82 false (lt (1, INT_MIN));
84 false (lt (INT_MAX, INT_MIN));
85 true (lt (INT_MIN, INT_MAX));
90 false (le (INT_MAX, 0));
91 true (le (0, INT_MAX));
92 false (le (INT_MAX, 1));
93 true (le (1, INT_MAX));
95 true (le (INT_MIN, 0));
96 false (le (0, INT_MIN));
97 true (le (INT_MIN, 1));
98 false (le (1, INT_MIN));
100 false (le (INT_MAX, INT_MIN));
101 true (le (INT_MIN, INT_MAX));