These opaque predicates come from the X-Tunnel (99B454262DC26B081600E844371982A49D334E5E) malware.
They were automatically extracted using Triton and IDA. Then classified in three form groups and
one unclassified group.

* Form 1: (y * y * 7) - 1 != x * x          (3197, 44.35%)
* Form 2: 2 / ((x * x) + 1) != (y * y) + 3  (3873, 53.72%)
* Form 3: x - x = 0                         (108,  01.05%)
* unclassified                              (31,   00.43%)