First successful solve call solve(floor(b)-5,b,simplify=False,check=False) returned [(5, 6]] for b=Symbol('b',real=True)