don't they ?
可以参照否定句来考虑
they don't have to study a lot.
反义疑问句就是把助动词提出来