(define f (lambda (x y) (if (> x 0) (if (not (= y 0)) (/ x y) 0) 0)))
(define f (lambda (x y) (if (and (> x 0) (not (= y 0))) (/ x y) 0)))