3^3 * 11 * 37 3^3 * 11 * 37 |
3^3 * 11 * 41 3^3 * 11 * 41 |
37/41 37/41 |
|
|
1 1 |
[[x >= -1]] [[x >= -1]] |
[x == -6] [x == -6] |
|
|