(define arith-eval
  '(lambda-rec (sub e)
               (cond
                 [ (number? (car e)) e]
                 [ (eq? (car e) (quote +)) (+ (sub (cadr e) (sub (caddr e))))]
                 [ (eq? (car e) (quote -)) (- (sub (cadr e) (sub (caddr e))))]
                 [ (eq? (car e) (quote )) ( (sub (cadr e) (sub (caddr e))))]
                 [ (eq? (car e) (quote /)) (/ (sub (cadr e) (sub (caddr e))))])))