1 - -80. Let h be p + (-12)/80*-4. Let v = 0.3 + -0.46. Is h not equal to v?
True
Let h = 107 - 41. Let i(l) = -1174*l**2 + 4*l + 2. Let f be i(-1). Let y be f/h + 4/(-22). Which is smaller: y or -17?
y
Suppose 5*a - 2*a - 48 = 3*f, -2*f = 3*a + 12. Let w be 4 - (-2)/f*26. Which is greater: w or -1?
w
Suppose -15 = -8*o + 3*o. Suppose -i - 14 = -4*k, o*k - 10 - 6 = -2*i. Suppose 0 = -3*j - 2*m + 17, k*m = -5*j - 3 + 34. Are 5/3 and j non-equal?
True
Let m = 2 + -1. Let l be m/(-4) - 33/(-4). Suppose -l*d = -3*d. Is 4/3 less than d?
False
Let j = -183 + 2015/11. Suppose -3*x + 2 = 4*u, 0*x + 4*u = -x + 6. Let s be 2 + (x - -1)*2. Is s != j?
True
Let g be (99/110)/(198/15). Do g and 2 have the same value?
False
Let d(m) = m + 14. Let y be d(0). Suppose -3*v = -2*j - 7, -j + 2*v = -3*v + y. Let b be (0/6)/((-4)/(6/3)). Is j smaller than b?
False
Let y be 2/2 + (-10)/(-5). Let z be (y*(4 + -3))/3. Let r be 24/(-15) + -1 + 3. Do r and z have the same value?
False
Let n = -13 - -17. Let t(i) = 2*i - 10. Let l be t(8). Suppose -n*m - 2 = l. Do -3/5 and m have the same value?
False
Let v be (-1*(-3)/6)/((-16)/(-96)). Let h be (-38)/24*(18/(-12) + v). Which is greater: h or -2?
-2
Let i = -15.91 + -0.09. Let v = i - -17. Let p = -0.1 + v. Do p and -1 have different values?
True
Let g be (-16)/72 - (1 - 1). Let y = -0.4 + 0.9. Let p = 0.55 - y. Which is greater: g or p?
p
Let k be (-8)/(-6) - (-12)/(-9). Is k at least as big as -1/404?
True
Let s = -88 - -133. Let u = s - 51. Which is smaller: u or -7?
-7
Let s(a) be the second derivative of a**5/10 + a**4/2 - 3*a**2/2 + 34*a. Let f be s(-3). Is -5/3 at least f?
True
Let c be (-6)/(-48)*4*6. Let o be 12*(-2 - 14/(-6)). Suppose 3*g - 6 = -2*b, -3*g = -2*b - 22 + o. Is b <= c?
True
Let v be 6/14 - 7839/19565. Is 0 bigger than v?
False
Let k(w) = w**3 + 5*w**2 + 18. Let m be k(-6). Let j be m/(-35) - -3*(-1)/(-15). Suppose -5 - 1 = -3*i. Which is bigger: j or i?
i
Let m = -408 - -17961/44. Is 0 at most as big as m?
True
Let r = 51 - 49. Let c be (-1)/(22/(-45)) - r. Which is greater: 1 or c?
1
Let h be (3 - 5 - 1) + 4. Is h at most 6/17?
False
Let d = 3 + -2. Let a = 1283.52 - 1283.4. Which is greater: a or d?
d
Let p = -14 - -21. Suppose -22 + 1 = -p*b. Is b less than or equal to 1?
False
Let m = -8369793 - -602562599/72. Let g = m - -868. Is g >= 0?
False
Let t(z) = -z**2 + 11*z - 9. Let b be t(10). Are 4/23 and b nonequal?
True
Let f(y) = -6*y - 17. Let t be f(-4). Let r be -2 + (2 - t/(-3)). Which is greater: r or 3?
3
Let z = 0.16 + -7.16. Let w = z + 6.9. Suppose -6 = 2*p, p - 12 = 3*k + 5*p. Is k greater than or equal to w?
True
Let d be 2 + -2 - (2 + (9 - 5)). Which is smaller: d or -20/3?
-20/3
Let y = -97/7 + 831/14. Is -2 at least as big as y?
False
Let z = -232.1 + 232. Is 70 greater than z?
True
Let w(d) = -d**3 + 13*d**2 - 10*d + 14. Let m = -43 - -55. Let v be w(m). Which is smaller: 39 or v?
v
Let x = 1 + -1.8. Let o = x + 21.8. Let i = o + -21. Which is smaller: 0.07 or i?
i
Let m = 210 - 5251/25. Let v = -1 + 7. Suppose v*j = j. Which is smaller: j or m?
m
Let h = -32 + 4. Let b be (h/12 - -1) + (0 - -1). Suppose 0 = -2*k - k + 9. Do b and k have the same value?
False
Let l = 809 - 840. Which is smaller: l or -12?
l
Suppose -4*p - 24875 = p. Let a = p - -343333/69. Let u = a + -4/23. Which is greater: -0.08 or u?
u
Let l = 1340 - 1339.94. Is 32 less than or equal to l?
False
Let y(r) = 2*r + 3. Let t be y(2). Suppose 0 = -4*w + 2*m + 32, -t*m + 2*m - 16 = -2*w. Let g be (33/110)/(6/w). Is -1/5 != g?
True
Let x be 4/(-33)*(-36)/(-8). Let g be 3/(-1) - ((-21)/7 - -2). Do g and x have the same value?
False
Let n = -629 + 617. Which is bigger: n or -5?
-5
Let w = 237 - 1917/8. Is w at least as big as -2?
False
Let q = -771 + 5399/7. Which is greater: q or -0.094?
q
Let i be (-225)/(-43) - (4 + 6/6). Which is bigger: i or 0?
i
Let h(v) = v**3 + 4*v**2 + 5*v + 2. Let s be h(-2). Which is smaller: s or -5/29?
-5/29
Suppose 0 = 3*z - 4*f - 149, 5*z + 8*f = 4*f + 227. Let a = z + -60. Which is greater: -27/2 or a?
a
Let x = -27 - -19. Let v = 39 - 40. Which is greater: x or v?
v
Let z = -160308/1744981 + 2/16009. Let u = 1519349851/545 - 2787799. Let y = u + z. Which is smaller: 0 or y?
y
Let p be (-12)/5 + (54/10 - 5). Let l be -4 + 10 + (-2)/(0 + p). Is 29/4 less than or equal to l?
False
Let v = 1651/173880 - -1/920. Let t be 4/(-10) + (-24)/(-10). Is v > t?
False
Let q = 0.158 + -111.158. Let d = q - -113. Which is smaller: d or -0.33?
-0.33
Let f be (-6 - 252)/3*5. Which is smaller: f or -431?
-431
Let a be 7/(84/(-510))*3/105. Which is bigger: -2 or a?
a
Let t(i) be the second derivative of -i**3/6 + 2*i**2 + 12*i. Let r be t(3). Let a be (0 - r)*(-132)/(-60). Which is greater: -1 or a?
-1
Suppose -8*h = 9*h - 119. Is 56/9 equal to h?
False
Suppose 1257*l - 1256*l = -8. Is l smaller than -8?
False
Let h = -1184/1375 - 6/125. Let s = 4/11 + h. Suppose -2*x = -3*x - 1. Which is smaller: x or s?
x
Let a(n) = n**2 + 6*n - 25. Let x be a(-11). Let r be (-4)/(-30)*25/x. Are r and -1 non-equal?
True
Let k = 2/565 - -13534/7345. Which is smaller: k or 3?
k
Let l(o) = o**2 + 10*o + 13. Let b be l(-10). Suppose 0 = -5*x - 15, 0*f + 2*f - 5*x = b. Let h = 3.9 - 1.9. Are h and f non-equal?
True
Let k = -25 - 14. Let x be 12/k*(-3)/6. Let s(v) = v - 7. Let n be s(7). Which is bigger: n or x?
x
Let x = -25/7 + 31/7. Let m be (41/21 - 2)*-46. Let n = m - x. Which is smaller: n or 0?
0
Let a(q) = -q**3 - 9*q**2 + 3*q + 23. Let b be a(-9). Let d be (8/6)/(-1*b/(-42)). Is d less than 1?
True
Let i(q) = q**3 + 8*q**2 - q - 8. Let p be i(-8). Let j be (-4)/(-8)*(8 + -4). Let l be j/((-1)/(4/(-8))). Which is bigger: l or p?
l
Let i be (-6 + (-254)/(-44))*(-8)/(-10). Are i and 0.046 nonequal?
True
Let f be 2/10 + (-1)/((-5)/384). Suppose 10*c = 17*c - f. Which is smaller: c or 16?
c
Let r = 23 - 20. Suppose r - 1 = -2*c. Let u be c/(-3) - (-18)/(-135). Which is smaller: -11 or u?
-11
Let h(y) = -6*y + 100. Let u be h(17). Is -17 at most as big as u?
True
Let l be (5/((-50)/176))/(114/(-30)). Let p = 599/76 - l. Are p and 4 equal?
False
Suppose -3*v - 4*h = 4, v = -3*v - 2*h - 2. Let o be (2 - 0) + v/1. Let d = 101/165 + -1/15. Is o greater than d?
True
Let w be (-2 + 20/6)*3. Let h be (-38)/2 - (-8)/w. Let l = h + 19. Is l at least as big as 2?
True
Let a = -517 + 505. Does -128/11 = a?
False
Suppose 0 = -5*s + 3*s + 32. Suppose 0 = 5*y - 3*v - 76, -3*y = -5*y + 3*v + 25. Is y > s?
True
Let t = 527 - 283. Is t > 731/3?
True
Let v = -35311/31 + 1139. Which is smaller: v or -4/5?
-4/5
Let m = 35.81 - -0.19. Let d = 29 - m. Is d bigger than -2/7?
False
Let v = 502106/5 + -99850. Is v >= 570?
True
Let o(j) = j**2 + 2*j + 3. Let y be o(-2). Let l(m) = -m**3 + 6*m + 7. Let d be l(-3). Suppose u - 17 = y*w - 6*w, -4*w = -2*u - d. Are u and 0.5 non-equal?
True
Let r(y) = y**2 + y - 37. Let a be r(15). Suppose -6*i = -13*i - a. Which is greater: i or -28?
-28
Let r = -287 - -234. Which is smaller: r or -3?
r
Let j = -19343/10 - -1936. Let h = 13/10 - j. Suppose -5*k + 12 = a - 12, 4*a - 3*k = -19. Is h >= a?
True
Let t = -214 - -213. Which is greater: t or -2/369?
-2/369
Let a be 8/6*(-255)/170. Are -141 and a nonequal?
True
Let m(n) = n**3 + 10*n**2 - 5*n + 55. Let w be m(-11). Is w less than or equal to -8?
True
Let x = -0.07 + -2.13. Let c = -0.5 - x. Let q = c - 5.7. Do 2/5 and q have the same value?
False
Let i(d) = -d**3 - 3*d**2 - 2*d - 4. Let t be i(-3). Suppose -1 = -3*v - 7, 2*k - 4 = 2*v. Suppose k*p = -p + 1. Is p smaller than t?
True
Let j = -4833 - -299655/62. Is j at least as big as 1?
False
Let d be ((-1)/3)/(20/900). Let a be (-4)/228*3*3/d. Is a at most 0?
False
Suppose 4*y + 64*c + 467 = 67*c, -4*y = 2*c + 442. Which is smaller: y or 1?
y
Suppose 1534 = -34*n - 25*n. Let w = 7 + -34. Is n smaller than w?
False
Let f = -183 - -1275/7. Do f and 1 have different values?
True
Let s = -15 - -58. Let y = -5.8 - -6. Is y < s?
True
Let u(l) = -12*l**2 + 11*l. Let x be u(1). Which is smaller: x or 3/182?
x
Let l = 11173/602 - 130/7. Let q(c) = -c**3 + 5*c**2 + c - 5. Let a be q(5). Is l at least a?
False
Suppose 0 = -5*h + 1 + 4. Let o = -3667/60 - 437/15. Let l = -90 - o. Which is bigger: l or h?
h
Let t =