Simplify x-24>=9