edit checksol code to return quickly when it concludes False
edit checksol code to return quickly when it concludes False

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