1 2 3 4 5
(set-logic NRA) (set-info :status sat) (set-option :ext-rewrite-quant true) (assert (exists ((a Real) (b Real)) (forall ((c Real)) (= (/ b (/ 1 c)) 0)))) (check-sat)