scusate ho dimenticato un pezzo... 
l'altro sistema con il modulo &lt;0 

sinx + sqrt(3)cosx+4 &lt; 0 
log2(-sinx - sqrt(3)cosx-4) &lt;= 5 


divido per due la prima disequazione ed elimino il log nella seconda
(1/2) * sinx + (sqrt3 /2) cosx + 2&lt; 0 
-sinx - sqrt(3)cosx -4 &lt;= 32

svolgo i calcoli ed ottengo 
 sin(pi/3+x)&lt; -2
-sinx - sqrt(3)cosx &lt;= 36 

ma il seno è definito solo nell'intervallo [-1,1] quindi la prima disequazione non si verifica .