Is this normal ?
var('t')assume(t<1,t>-1)assume(t,'real')bool(abs(t)<1)
False
This led my students (and I !!) to many difficulties before we understood that all was coming from this strange behaviour.
Thank you for your help !