См документы
============================
1) a - 5 должно быть больше либо равно нулю значит при а > или =0; 2) 7 - a должно быть > или = 0 значит a должно быть < или = 0; 3) при любых значениях а; 4) при любых значениях а; 5) - a - 1 должно быть > или = 0; значит а должно быть > или = 0; 6) при a = 1
))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))