((if * + -) 8 3)