X 2 greater than or equal to 1
- X 2 greater than or equal to 16
- X 2 greater than or equal to 10
- X-2 greater than or equal to 11
- 5 x 2 greater than or equal to 10
- X 6 2 greater than or equal to 16
- X 2 8 greater than or equal to 18
- X 2 3x 10 greater than or equal to 0
- 2 x-11 greater than or equal to 5
- 1 mod x 2 greater than equal to 1
- 2 x 3 greater than or equal to 4 x 1
- 2 x greater or equal than 14
- 3 * 2 x greater than or equal to 2 * 1 x
- X 1 x 2 greater than equal to 0
- 3x 4 2 greater than or equal to x 1 4 1