Are there algorithms for which we cannot determine if they ever halt?
As you point out, the general problem of deciding if a TM stops on any given initial tape content is undecidable. In this answer I'll assume you are talking about the concrete existence (to the point of being possible to indicate, not just demonstrate) of one such machine. 

As it happens, the (hypothetical) problem of deciding if a particular TM always halts gets arbitrarily complex as the machines themselves get more complex. It is quite impressive how problems involving even very small machines exist that defy our current understanding. It is possible to conjecture that, for any given limited set of resources, there will be some relatively small machine that is "out of reach", whose behaviour is impossible for us to determine. 

Your formula does not add significantly to this idealized scenario.