Comprobación de soluciones en ecuaciones