(do (+ 2 34) (* (+ 2 3) (* 56 12)))