Variables: a, b, c, d
Terms:
2>0
"01xx">0
"x000">