a-2.5<5?
the choices:
a<7.5
a<15/7
a<6.5
a<11.5