1 2 3 4 5 6
(set-logic NIA) (set-option :strings-exp true) (set-info :status sat) (declare-fun b () Int) (assert (exists ((c Int)) (< 0 c (div 0 b)))) (check-sat)