import Mathlib

/- Original: q > 1 and t := b/q < 1 -/
theorem eq_acdbf6dbfe3926e8 (b : ℕ) (q : ℕ) (t : ℕ) : q > 1 and t := b/q < 1 := by
  omega

