TeX source:
(2x-11)\cdot 10 \geq -67+4x-8(4-2x)