(define (C-TO-F C)
  (- (* 1.8 (+ 40 C)) 40))