([-2*x + 12 == x + 3], x) ([-2*x + 12 == x + 3], x) |
[[x < -4]] [[x < -4]] |
[[x < -8]] [[x < -8]] |
-19997 -19997 |
[x == a - 2] [x == a - 2] |
|
|
|
|