Question

$$1 + 3 x \gt 7$$