T140b

a: 1 < (3 * x) + 2
b: (3 * x) + 2 < x + 4