TeX source:
(2x+3)^2-13 \geq (x-5)(x+5)+3x(x-3)