(lf) anutosh491@spbhat68:~/lpython/lpython$ cat examples/expr2.py 
from lpython import S
from sympy import Symbol, pi, sin

def main0():
    x: S = pi
    y: S = pi
    print(x == pi)
    print(x == y)
    print(pi == y)
    print(pi == pi)
    print(x != sin(x))
    print(pi != sin(pi))

(lf) anutosh491@spbhat68:~/lpython/lpython$ lpython --enable-symengine examples/expr2.py 
True
True
True
True
True
True