Теорія:

Пасивні конструкції із модальними дієсловами can, could, may, might, must, should, have to  утворюються згідно з формулою:
модальне дієслово \(+\) be \(+\) \(3\)-я форма дієслова.
Приклад:
They can do it. — It can be done.
They could do it. — It could be done.
They may do it. — It may be done.
They might do it. — It might be done.
They must do it. — It must be done.
They have to do it. — It has to be done.
  
Заперечна форма  пасивних конструкцій з модальними дієсловами утворюється шляхом додавання частки not після модального дієслова.
Приклад:
It can be done. — It cannot be done.
It could be done. — It could not be done.
 
Питальна форма  пасивних конструкцій з модальними дієсловами утворюється шляхом винесення модального дієслова перед підметом.
Приклад:
It can be done. — Can it be done?
It must be sent today. — Must it be sent today?
 
Модальне дієслово have to утворює  заперечну та питальну форми за допомогою допоміжного дієслова do в необхідній формі:
do/does/did \(+\) (not) \(+\) have to \(+\) \(3\)-я форма дієслова.
Приклад:
It has to be done. — It does not have to be done. — Does it have to be done?
It had to be done yesterday. — It didn’t have to be done yesterday. — Did it have to be done yesterday?