math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: 7 less than 4 times a number equals 13. What is the number?
sentence 2:  Five times 7 equals 35, which is 13 less than the number.
<equate> (13.0, 7)
7 less than 4 times a number equals 13. What is the number?
 Five times 7 equals 35, which is 13 less than the number.