[584] % z3release small.smt2
unsat
sat
[585] % 
[585] % cat small.smt2
(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun c () Real)
(assert (not (exists ((d Real)) (=> (and (and (=> (=> (<= 0 d) (> d c)) (< (- b (* d d)) 0)) (= b 0)) (= a 0)) (= c 0)))))
(check-sat)
(reset)
(define-fun a () Real 0.0)
(define-fun b () Real 0.0)
(define-fun c () Real 1.0)
(assert (not (exists ((d Real)) (=> (and (and (=> (=> (<= 0 d) (> d c)) (< (- b (* d d)) 0)) (= b 0)) (= a 0)) (= c 0)))))
(check-sat)
[586] %