Search: 3 + x > 8;