2个代数表达式之间的关系

Question

有没有人知道可以比较两个代数谓词的库或算法（最好用JavaScript），并告诉我是否......

一个人会解决另一个，例如

a := ((x + 10) < 100) && y == 20

b := y < 30

或彼此互相排斥，例如

a := x > 10

b := y < 30

或相互矛盾，例如

a := x > 10

b := x < 10

非常感谢

免责声明：我的代数生锈了，如果术语不正确，请道歉！