Las TIC, en cualesquiera de las formas que pueden presentarse, son una poderosa herramienta para el aprendizaje autónomo del alumnado y, entre otras muchas cosas, puede ayudar a respetar los diferentes ritmos individuales. La novedosa aplicación Verify que mostramos, sirve como refuerzo para comprobar si las manipulaciones numéricas o alfabéticas que estamos haciendo son correctas, sin darnos, en ningún momento, la solución. Es un tutor que nos guía en actividades de simplificación y/o desarrollo de expresiones, comprobando que la nueva que se ha introducido es equivalente a la original. Si lo es, conseguirá una respuesta placentera, pero si no es así, necesitará corregirse el error antes de continuar, incitando a pensar y razonar sobre la negativa de la solución expuesta. Como muestra, presentamos una colección de actividades que sirvan como referencia y nos den ideas para que sea el propio profesorado quien lo utilice y diseñe sus propias actividades en el aula, sin olvidarnos, como podremos apreciar, que es un importante elemento de investigación matemática.