Envoyer par SMS: Exploring the Use of LLMs for SQL Equivalence Checking