Simplify 10*(a-2.5+0.5b)