4.2 decreased by the quantity 12 plus a number