| 0 * 0 | 0 |
| 0 * INT_MAX | 0 |
| 0 * unknown | 0 |
| 0 + 0 | 0 |
| 0 + -INT_MAX | -2147483647 |
| 0 + INT_MAX | 2147483647 |
| 0 - -INT_MAX | 2147483647 |
| 0 - INT_MAX | -2147483647 |
| 0 / -INT_MAX | 0 |
| 0 / unknown | unknown |
| 1 + -INT_MAX | -2147483646 |
| 1 + INT_MAX | unknown |
| 2 * INT_MAX | unknown |
| 5 * 7 | 35 |
| 5 + unknown | unknown |
| 5 - unknown | unknown |
| 35 / 7 | 5 |
| 35 / 8 | 4 |
| 35 / -7 | -5 |
| 35 / -8 | -4 |
| -1 * -INT_MAX | 2147483647 |
| -1 - -INT_MAX | 2147483646 |
| -1 - INT_MAX | unknown |
| -3 != 6 | 1 |
| -3 != -3 | 0 |
| -3 != unknown | unknown |
| -3 < 6 | 1 |
| -3 < -3 | 0 |
| -3 < -7 | 0 |
| -3 < unknown | unknown |
| -3 <= 6 | 1 |
| -3 <= -3 | 1 |
| -3 <= -7 | 0 |
| -3 <= unknown | unknown |
| -3 == 6 | 0 |
| -3 == -3 | 1 |
| -3 == unknown | unknown |
| -3 > 6 | 0 |
| -3 > -3 | 0 |
| -3 > -7 | 1 |
| -3 > unknown | unknown |
| -3 >= 6 | 0 |
| -3 >= -3 | 1 |
| -3 >= -7 | 1 |
| -3 >= unknown | unknown |
| -35 / 7 | -5 |
| -35 / 8 | -4 |
| -35 / -7 | 5 |
| -35 / -8 | 4 |
| INT_MAX * INT_MAX | unknown |
| INT_MAX / 0 | unknown |
| unknown != 6 | unknown |
| unknown != unknown | unknown |
| unknown + 5 | unknown |
| unknown + unknown | unknown |
| unknown - 5 | unknown |
| unknown - unknown | unknown |
| unknown / 3 | unknown |
| unknown / unknown | unknown |
| unknown < 6 | unknown |
| unknown < unknown | unknown |
| unknown <= 6 | unknown |
| unknown <= unknown | unknown |
| unknown == 6 | unknown |
| unknown == unknown | unknown |
| unknown > 6 | unknown |
| unknown > unknown | unknown |
| unknown >= 6 | unknown |
| unknown >= unknown | unknown |