No. Those are both variations on filtering. No reasoning required. If, unprompted, an LLM suddenly started checking a mathematical proof; that could be evidence of some sort of autonomic action; which could be an argument for some level of awareness. But those examples are not that.
