add test showing why given Eq isn't false in general
add test showing why given Eq isn't false in general

postvakje/sympy,souravsingh/sympy,aktech/sympy,hargup/sympy,rahuldan/sympy,madan96/sympy,chaffra/sympy,madan96/sympy,Titan-C/sympy,postvakje/sympy,postvakje/sympy,jaimahajan1997/sympy,kaushik94/sympy,hargup/sympy,drufat/sympy,drufat/sympy,skidzo/sympy,madan96/sympy,ChristinaZografou/sympy,jaimahajan1997/sympy,souravsingh/sympy,hargup/sympy,aktech/sympy,yashsharan/sympy,ChristinaZografou/sympy,rahuldan/sympy,drufat/sympy,aktech/sympy,chaffra/sympy,skidzo/sympy,chaffra/sympy,sampadsaha5/sympy,ChristinaZografou/sympy,jaimahajan1997/sympy,Titan-C/sympy,yashsharan/sympy,Titan-C/sympy,rahuldan/sympy,souravsingh/sympy,skidzo/sympy,yashsharan/sympy,kaushik94/sympy,kaushik94/sympy,sampadsaha5/sympy,sampadsaha5/sympy