the difference of four times a number and seven is thirteen