Does x satisfy an equation?