(1.2 * x) * (0.75) * (1 - (floor(x/7) * 7/100)) > 100 - x, from 0 to 100