自动简化冗余算术关系

我正在寻找一种自动确定的方法，例如，(a < 12) & (a < 3) & (c >= 4)与(a < 3) & (c >= 4). 我在 Python 中查看了 Matlab 的符号工具箱和 SymPy，但这些显然只能简化纯布尔逻辑（例如，simplify(a & b | b & a) -> ans=(a & b)）

有没有办法使用上述这些符号数学工具？

编辑

正如对@user12750353 的回答的评论中所指出的，我还想简化与布尔 OR 连接的关系系统，例如，((a < 12) & (a < 3) & (c >= 4)) | (a < 1).