sympy use it's own True/False type (i.e.true/false) as the result of judgement, which is not allowed to addition.
For example,
(x>2).subs({x:2})+1
this script is not allowed. Is there any simple way to replace it?like,convert the type back to the normal python bool?