With the current version of symengine (symengine-0.6.0) the following returns `True` ```python import symengine as se x = se.S('x') expr = se.Eq(x, 0) print(bool(expr)) ``` The outcome I expected was a TypeError as in sympy