solve_univariate_inequality: simplify inequalities after subs
solve_univariate_inequality: simplify inequalities after subs

Inequalities no longer simplify automatically, which caused some test
failures.  Add `simplify` calls to prevent this.  Only one of these lines
explicitly lead to failures; but other two lines are similar so changed
those as well.

ahhda/sympy,Titan-C/sympy,skidzo/sympy,jaimahajan1997/sympy,yukoba/sympy,jbbskinny/sympy,Mitchkoens/sympy,bukzor/sympy,emon10005/sympy,postvakje/sympy,abloomston/sympy,Mitchkoens/sympy,aktech/sympy,Shaswat27/sympy,asm666/sympy,jamesblunt/sympy,rahuldan/sympy,iamutkarshtiwari/sympy,kaichogami/sympy,VaibhavAgarwalVA/sympy,lindsayad/sympy,toolforger/sympy,shikil/sympy,pbrady/sympy,meghana1995/sympy,liangjiaxing/sympy,aktech/sympy,MechCoder/sympy,rahuldan/sympy,cccfran/sympy,yashsharan/sympy,Vishluck/sympy,cccfran/sympy,MechCoder/sympy,chaffra/sympy,Curious72/sympy,Designist/sympy,farhaanbukhsh/sympy,mafiya69/sympy,jamesblunt/sympy,abhiii5459/sympy,MechCoder/sympy,sahilshekhawat/sympy,debugger22/sympy,jbbskinny/sympy,meghana1995/sympy,Sumith1896/sympy,skirpichev/omg,kaichogami/sympy,kevalds51/sympy,Mitchkoens/sympy,ga7g08/sympy,toolforger/sympy,iamutkarshtiwari/sympy,chaffra/sympy,garvitr/sympy,Gadal/sympy,cswiercz/sympy,farhaanbukhsh/sympy,maniteja123/sympy,Titan-C/sympy,atreyv/sympy,ChristinaZografou/sympy,yashsharan/sympy,saurabhjn76/sympy,jaimahajan1997/sympy,rahuldan/sympy,sahmed95/sympy,VaibhavAgarwalVA/sympy,skidzo/sympy,VaibhavAgarwalVA/sympy,Davidjohnwilson/sympy,MridulS/sympy,Sumith1896/sympy,toolforger/sympy,cccfran/sympy,maniteja123/sympy,jerli/sympy,jbbskinny/sympy,grevutiu-gabriel/sympy,MridulS/sympy,pbrady/sympy,drufat/sympy,postvakje/sympy,vipulroxx/sympy,ahhda/sympy,kaushik94/sympy,bukzor/sympy,hargup/sympy,atreyv/sympy,cswiercz/sympy,Gadal/sympy,saurabhjn76/sympy,AunShiLord/sympy,ga7g08/sympy,mafiya69/sympy,sampadsaha5/sympy,grevutiu-gabriel/sympy,maniteja123/sympy,Titan-C/sympy,abloomston/sympy,pandeyadarsh/sympy,AunShiLord/sympy,sahilshekhawat/sympy,Arafatk/sympy,Designist/sympy,oliverlee/sympy,ChristinaZografou/sympy,aktech/sympy,iamutkarshtiwari/sympy,cswiercz/sympy,atsao72/sympy,pbrady/sympy,beni55/sympy,sunny94/temp,ahhda/sympy,atsao72/sympy,mafiya69/sympy,shipci/sympy,garvitr/sympy,wanglongqi/sympy,Davidjohnwilson/sympy,beni55/sympy,pandeyadarsh/sympy,ga7g08/sympy,ChristinaZografou/sympy,debugger22/sympy,jaimahajan1997/sympy,jamesblunt/sympy,kaushik94/sympy,sahmed95/sympy,vipulroxx/sympy,shikil/sympy,kaichogami/sympy,asm666/sympy,sampadsaha5/sympy,MridulS/sympy,garvitr/sympy,debugger22/sympy,madan96/sympy,mcdaniel67/sympy,beni55/sympy,yashsharan/sympy,pandeyadarsh/sympy,asm666/sympy,vipulroxx/sympy,moble/sympy,Shaswat27/sympy,diofant/diofant,Davidjohnwilson/sympy,sampadsaha5/sympy,wanglongqi/sympy,drufat/sympy,wanglongqi/sympy,Shaswat27/sympy,sahilshekhawat/sympy,atreyv/sympy,kevalds51/sympy,dqnykamp/sympy,Arafatk/sympy,AkademieOlympia/sympy,lindsayad/sympy,kumarkrishna/sympy,abloomston/sympy,shipci/sympy,dqnykamp/sympy,AkademieOlympia/sympy,atsao72/sympy,kaushik94/sympy,shikil/sympy,madan96/sympy,hargup/sympy,Gadal/sympy,Curious72/sympy,mcdaniel67/sympy,Curious72/sympy,lindsayad/sympy,grevutiu-gabriel/sympy,oliverlee/sympy,wyom/sympy,jerli/sympy,Sumith1896/sympy,dqnykamp/sympy,meghana1995/sympy,liangjiaxing/sympy,emon10005/sympy,bukzor/sympy,souravsingh/sympy,moble/sympy,wyom/sympy,liangjiaxing/sympy,emon10005/sympy,postvakje/sympy,yukoba/sympy,souravsingh/sympy,kumarkrishna/sympy,jerli/sympy,kevalds51/sympy,saurabhjn76/sympy,yukoba/sympy,farhaanbukhsh/sympy,souravsingh/sympy,wyom/sympy,oliverlee/sympy,Designist/sympy,Vishluck/sympy,sunny94/temp,kumarkrishna/sympy,madan96/sympy,AkademieOlympia/sympy,drufat/sympy,moble/sympy,chaffra/sympy,sahmed95/sympy,skidzo/sympy,hargup/sympy,Arafatk/sympy,abhiii5459/sympy,shipci/sympy,abhiii5459/sympy,mcdaniel67/sympy,Vishluck/sympy,AunShiLord/sympy,sunny94/temp