(let x 7)
(if (= (* (/ x 2) 2) x)
  (/ x 2)
  (+ (* 3 x) 1))