a number decreased by 7