-w*-x*-y*-z >  (w + y + x*z + -x*-z)
-w*-x*-y* z > -(w + y + x*z + -x*-z)
-w*-x* y*-z >  (w + y + x*z + -x*-z)
-w*-x* y* z >  (w + y + x*z + -x*-z)
-w* x*-y*-z > -(w + y + x*z + -x*-z)
-w* x*-y* z >  (w + y + x*z + -x*-z)
-w* x* y*-z >  (w + y + x*z + -x*-z)
-w* x* y* z >  (w + y + x*z + -x*-z)
 w*-x*-y*-z >  (w + y + x*z + -x*-z)
 w*-x*-y* z >  (w + y + x*z + -x*-z)

-w*-x*-y*-z >  (w + x*-y + x*-z + -y*-z)
-w*-x*-y* z > -(w + x*-y + x*-z + -y*-z)
-w*-x* y*-z > -(w + x*-y + x*-z + -y*-z)  
-w*-x* y* z > -(w + x*-y + x*-z + -y*-z)
-w* x*-y*-z >  (w + x*-y + x*-z + -y*-z)
-w* x*-y* z >  (w + x*-y + x*-z + -y*-z)
-w* x* y*-z >  (w + x*-y + x*-z + -y*-z)
-w* x* y* z > -(w + x*-y + x*-z + -y*-z)
 w*-x*-y*-z >  (w + x*-y + x*-z + -y*-z)
 w*-x*-y* z >  (w + x*-y + x*-z + -y*-z)

-w*-x*-y*-z >  (-x + -y*-z + y*z)
-w*-x*-y* z >  (-x + -y*-z + y*z)
-w*-x* y*-z >  (-x + -y*-z + y*z)  
-w*-x* y* z >  (-x + -y*-z + y*z)
-w* x*-y*-z >  (-x + -y*-z + y*z)
-w* x*-y* z > -(-x + -y*-z + y*z)
-w* x* y*-z > -(-x + -y*-z + y*z)
-w* x* y* z >  (-x + -y*-z + y*z)
 w*-x*-y*-z >  (-x + -y*-z + y*z)
 w*-x*-y* z >  (-x + -y*-z + y*z)

-w*-x*-y*-z > -(w + x*-y + -x*y + y*-z)
-w*-x*-y* z > -(w + x*-y + -x*y + y*-z) 
-w*-x* y*-z >  (w + x*-y + -x*y + y*-z)  
-w*-x* y* z >  (w + x*-y + -x*y + y*-z)
-w* x*-y*-z >  (w + x*-y + -x*y + y*-z)
-w* x*-y* z >  (w + x*-y + -x*y + y*-z)
-w* x* y*-z >  (w + x*-y + -x*y + y*-z)
-w* x* y* z > -(w + x*-y + -x*y + y*-z)
 w*-x*-y*-z >  (w + x*-y + -x*y + y*-z)
 w*-x*-y* z >  (w + x*-y + -x*y + y*-z)

-w*-x*-y*-z >  (-x*-z + y*-z)
-w*-x*-y* z > -(-x*-z + y*-z)
-w*-x* y*-z >  (-x*-z + y*-z)
-w*-x* y* z > -(-x*-z + y*-z)
-w* x*-y*-z > -(-x*-z + y*-z)
-w* x*-y* z > -(-x*-z + y*-z)
-w* x* y*-z >  (-x*-z + y*-z)
-w* x* y* z > -(-x*-z + y*-z)
 w*-x*-y*-z >  (-x*-z + y*-z)
 w*-x*-y* z > -(-x*-z + y*-z)

-w*-x*-y*-z >  (-y + x*-z + -w*z)
-w*-x*-y* z >  (-y + x*-z + -w*z) 
-w*-x* y*-z > -(-y + x*-z + -w*z)  
-w*-x* y* z >  (-y + x*-z + -w*z)
-w* x*-y*-z >  (-y + x*-z + -w*z)
-w* x*-y* z >  (-y + x*-z + -w*z)
-w* x* y*-z >  (-y + x*-z + -w*z)
-w* x* y* z >  (-y + x*-z + -w*z)
 w*-x*-y*-z >  (-y + x*-z + -w*z)
 w*-x*-y* z >  (-y + x*-z + -w*z)

-w*-x*-y*-z >  (w + -x*-z + -x*y + y*-z + x*-y*z)
-w*-x*-y* z > -(w + -x*-z + -x*y + y*-z + x*-y*z) 
-w*-x* y*-z >  (w + -x*-z + -x*y + y*-z + x*-y*z)  
-w*-x* y* z >  (w + -x*-z + -x*y + y*-z + x*-y*z)
-w* x*-y*-z > -(w + -x*-z + -x*y + y*-z + x*-y*z)
-w* x*-y* z >  (w + -x*-z + -x*y + y*-z + x*-y*z)
-w* x* y*-z >  (w + -x*-z + -x*y + y*-z + x*-y*z)
-w* x* y* z > -(w + -x*-z + -x*y + y*-z + x*-y*z)
 w*-x*-y*-z >  (w + -x*-z + -x*y + y*-z + x*-y*z)
 w*-x*-y* z >  (w + -x*-z + -x*y + y*-z + x*-y*z)