(= 9 (<> (< 8 7) 19))