> P.S.: > > entering > timofeev = ToExpression /@ > Import["https://dl.dropboxusercontent.com/u/3030567/Mathematica/\ > Timofeev_I_Mma.TXT", "Lines"] > into Mathematica gives you a table with all examples, which can be > evaluated via ReleaseHold. >
Nice Peter. Thanks for doing this.
After ReleaseHold, some expressions show 'True' right away, but some do not, but remain as is. I assume one needs to try something more to get True from these (if it is True)? Like may be Reduce or FullSimplify or add assumptions? For example the first few show: