four plus five seven minus two twelve minus seven two times two