7x + 3 > 10