(set-logic ALL)

(declare-fun ufb_3 (Int Real Bool) Bool)
(declare-fun ufr_1 (Int) Real)

(assert 
  (forall ((iuqv0 Int)) 
  (exists ((ieqv0 Int)) 
    (<= 
      iuqv0 
      (ite (>= iuqv0 ieqv0) 
        (div (- 26404) iuqv0)
        ieqv0
      )
    )
  ))
)

(assert
  (exists ((buqv0 Bool) (iuqv0 Int)) 
    (not (ufb_3 
      iuqv0 
      (ufr_1 (
        ite buqv0 
          26765 
          iuqv0
      )) 
      false
    ))
  )
)

(check-sat)