(-80)/x. Suppose 3*t - 5*p = -38, 4*t + 10 = p - 52. Is i not equal to t?
False
Let l = -15.18 + 14.71. Which is smaller: l or -30?
-30
Let q = -23.2 + 22.2. Which is bigger: q or -1/58?
-1/58
Let n(w) = -w**3 - 7*w**2 + 8*w - 10. Let v be n(6). Let l be -4 + 5/((-525)/v). Let t(q) = q**2 - 1. Let f be t(-1). Which is smaller: f or l?
f
Let r = -365227/8444 + 6/2111. Does r = -42?
False
Let i be (580/6)/(-1)*(-39)/26. Which is greater: i or 149?
149
Let z(n) = n**3 + 19*n**2 + 17*n - 13. Let t be z(-18). Suppose -34 = -4*q - 5*u + 15, -4*q - u + 29 = 0. Let d = t - q. Is d bigger than 0.01?
False
Suppose -7*i - 24 = i. Which is greater: i or 2/17?
2/17
Let k = 70 - 122. Let q = -52 - k. Which is bigger: 4/63 or q?
4/63
Let g be -3*((-228)/9 - 7) + -7. Are 632/7 and g equal?
False
Suppose 4*f = -0*v + 3*v + 4, -3*f = -3*v - 3. Let j be ((-42)/4 + -1 + f)*-4. Which is greater: 41 or j?
j
Suppose 102 = -8*i - 2066. Is i bigger than 2?
False
Let s be ((-1092)/120 + 9)/((-2)/8). Is -171 >= s?
False
Let g = -189 - -189.091. Let o = -0.053 + g. Which is smaller: o or 1?
o
Let b be (-1 + (-32)/(-38))/((-84)/(-56)). Suppose 2*q = -2*i + 4, -5*q = i - 0*i - 10. Suppose q*v + 2*v = 0. Which is smaller: v or b?
b
Let h = 62 + -65. Let q be 1/3*h/2. Is q at most as big as -2?
False
Let t(r) = -3*r - 12. Let o(q) = q - 13. Let f be o(8). Let k be t(f). Let b(l) = 3*l - 3. Let x be b(2). Is x smaller than k?
False
Let s = 285 + -287. Which is smaller: -11/17 or s?
s
Let b be -4 - (27/(-3) - 3). Suppose 30 = 13*a - b*a. Suppose 5*t + 4 = -4*c, -4 = t + a*c - 2*c. Is 3/8 smaller than t?
False
Let m be (-261)/(-21) - (-6)/(-14). Let j = 20 - m. Suppose 0 = -3*h + 5 - j. Is -2/9 != h?
True
Suppose 0 = -2*y + 5*w - 76, y + 73 = -3*w + 13. Is y at least -47?
False
Let k = 73 + -73.94. Let i = k - -1. Which is bigger: 0.5 or i?
0.5
Suppose 0 = 29*d + 1026 - 5463. Are 154 and d non-equal?
True
Let v = 158 - -804. Is 962 at most as big as v?
True
Let u(w) = w**3 - 7*w**2 - 9*w + 8. Let o be u(8). Let y = -898369/100 + 44922/5. Let x = y + 1/25. Which is smaller: o or x?
o
Suppose 2*a - a = 3*l - 3, -4*a - 3*l + 18 = 0. Suppose -32 = -a*v + 7. Let w = -13 + v. Which is greater: 1/2 or w?
1/2
Let c be ((-2242)/(-24))/(9165/52). Let h = -27/47 + c. Which is bigger: 1 or h?
1
Suppose l - 5*w - 26 = 0, 12 + 11 = 3*l - 4*w. Let t be -2 + l - (0 + -2). Is t at most -1/17?
False
Let m(v) be the third derivative of v**8/20160 + v**7/2520 + v**6/360 - v**5/60 - v**2. Let f(x) be the third derivative of m(x). Let k be f(0). Is k < 3?
True
Let l = 71/840 - 1/12. Is l at most as big as -1?
False
Let u(v) = v + 44. Let n be u(0). Let h be (-243)/n - (-10 - -9). Let l = h + 36/11. Is -1 greater than l?
True
Suppose -j - 3*w + 36 = 0, -73 = -2*j - 4*w - w. Let r be ((-12)/(-14))/(j/182). Suppose -5*i = a - 61 + 19, 5*a = r*i - 22. Do i and 7 have the same value?
False
Let s = -91.33 + -11.87. Let u = s - -104. Let w = 0.4 + -0.3. Is w smaller than u?
True
Suppose -d + 0*d - 5 = 0. Let g be 1/((-2)/136)*8/(-16). Suppose 4*n + 2*b = 7*b + 1, -4*n = 2*b + g. Which is smaller: n or d?
n
Let g = -26 - -26. Suppose g = -37*y + 33*y + 96. Which is smaller: 23 or y?
23
Suppose 6*i + 110 = 11*i. Let u = i + -37. Which is smaller: -17 or u?
-17
Suppose -2*r = 3*h + 1, -10*h = -3*r - 14*h - 1. Is r not equal to 7/3?
True
Let o(g) = g**3 - 9*g**2 + 6*g + 11. Let m be o(8). Let q be 56/9*3/4*-1. Is m greater than q?
False
Let d be -164*(-8)/64*-2. Which is smaller: d or -38?
d
Let o(s) = s**3 + 15*s**2 + 25*s - 9. Let k be o(-13). Is 63/13 bigger than k?
True
Let l be (-6)/10 - (-166)/10. Let u = 15 - l. Let o be 33/(-60)*2 - u. Which is greater: -1 or o?
o
Let q = 955 + -948. Is q >= -34?
True
Let b be (-1)/(6 + -12 + (1 - -6)). Which is smaller: 1222 or b?
b
Let p(l) = -l**3 + 13*l**2 + 14*l - 17. Let g be p(12). Let s = g + -199. Let c be ((-1)/(-2))/((-12)/s). Is -3 greater than c?
True
Suppose 0 = 4*r + 4*a + 12, 3*r + 11 = -3*a - 2*a. Let u be 21/(-3) + (-6)/r. Which is bigger: -9 or u?
u
Suppose 3*j - 2*r = 0, j - 3*r + 17 = 5*j. Suppose -5*x - 107 = j*w + 15, 0 = 3*x + 4*w + 62. Do -26 and x have the same value?
True
Let m = 39 - -100. Is m >= 139?
True
Suppose 6*u - 18 = -3*u. Let x be 24/(-9)*1 + u. Is x less than 18?
True
Suppose u + 9 = 5*u - b, 11 = 3*u - 5*b. Suppose -t - u*t = 0. Let j = 66 - 467/7. Which is greater: j or t?
t
Let b be 4*((-54)/(-24))/(-3). Let l be 7 + -3 + (2 + b - 0). Does l = 4?
False
Suppose -s = 0, 0*x = -4*x + 2*s + 40. Suppose 13*j = 14*j - 5. Suppose 0 = 5*h + j*q - 20, 0*h - 4*h = -2*q - 40. Do h and x have different values?
True
Let w = -268.3 + 274. Is -0.2 equal to w?
False
Let b(w) = 5*w**2 - 3*w + 2. Let o be b(1). Suppose -9*y = -o*y. Suppose y*g - g - 3*l = -4, 0 = -5*g + 5*l. Is 0 at least as big as g?
False
Let d = -255 + 273. Is 20 at least as big as d?
True
Let l be 2 - (-1 - 1)/2. Let z = 165 + -153. Suppose 3*b + 4*c = 9, 5*b - z - l = 5*c. Is b greater than 3?
False
Let u(t) = 3*t - 10. Suppose 2*w = -4*f - 0 - 2, w - f - 8 = 0. Let s be u(w). Is s greater than 5?
False
Suppose 9 - 3 = 6*u. Let h be -3*(-2)/6 + u. Is -6 less than or equal to h?
True
Suppose 4*q = 3*q + 8. Let m(b) = -b**3 + 7*b**2 + 10*b - 15. Let r be m(q). Which is smaller: r or -2/39?
-2/39
Let c = -601 + 601.7. Which is greater: -0.09 or c?
c
Let c = 0.047 + 0.453. Let l = c - 3.5. Which is greater: 5 or l?
5
Let m be 6/(0 - 0 - 20/130). Let h be -4 + -2 + 3 + m. Is -42 less than h?
False
Let a(n) = -5*n**2 + 2*n + 4. Let y be a(2). Suppose 4*d - 3*z = z - 12, -z + 3 = 3*d. Let u be 33/y - d/2. Which is smaller: -3 or u?
-3
Let d = 27 + -26. Which is smaller: -2 or d?
-2
Let t(a) = -a**3 + 5*a**2 + 9*a + 1. Let j be t(5). Does 49 = j?
False
Suppose 2*w + 709 = -4*m - 7355, 2*m + 4*w + 4032 = 0. Which is smaller: -2017 or m?
-2017
Let p be 32*9/(-12)*6 - 2. Let g = -2191/15 - p. Let i = 2 - 2. Which is greater: g or i?
i
Let g = 55.85 + -4.85. Let w = 1.5 - 1.5. Are g and w equal?
False
Let t be -8 - -4 - (-824)/202. Let n = t + -569/808. Which is bigger: -1 or n?
n
Let n(w) = 11*w + 3. Suppose -a + 4*d = -26, 3*a - 5*d - 43 = -0*d. Let s be n(a). Let j = s + -263/4. Is j less than 3?
False
Let c = -204916/119 - -1722. Do -1 and c have different values?
True
Let l = 80648/47 + -1716. Is 1 at least l?
True
Let c = 0.1 - 0.11. Let l = -0.67 + 0.667. Let b = l - -0.003. Is c less than b?
True
Let q be 40/(-6)*15/(-10). Suppose 72 = 4*p - n - 29, -p = -3*n - 39. Let k = 35 - p. Are k and q nonequal?
True
Let u = 12.15 + -12.25. Suppose -1 + 9 = 4*n. Let w be (n/(-18))/(2/(-15)). Is w smaller than u?
False
Let d = 2365 - 2279. Is d <= 15?
False
Let b be (88 + -90)*22/4. Let u = 0 + 0. Which is smaller: u or b?
b
Let s(f) be the third derivative of -f**6/120 + f**5/20 + 5*f**4/24 - f**3/3 + 3*f**2. Let a be s(4). Suppose a*i = -2, r - 3*i = -i - 7. Is r at most 0.1?
True
Let h = 723 + -725. Are h and -20 equal?
False
Let l(q) = q**3 + 8*q**2 - 11*q + 7. Let u be l(-8). Let x = -96 + u. Which is smaller: x or 2/45?
x
Let o = -62 + 61. Suppose 3*w = 2 + 7. Is o equal to w?
False
Let k(v) = 28*v - 106. Let y be k(7). Which is bigger: y or -2?
y
Let k(w) = -2*w - 28. Let o be k(-16). Which is smaller: -2/9 or o?
-2/9
Let g = -289.817 + 290. Let v = -0.083 + g. Let u = -1/21 - 2/7. Which is smaller: u or v?
u
Let a(l) = -3*l**2 - 2*l - 4*l + 0*l. Let k be a(-4). Let w be k/(-14) - (-2)/7. Which is smaller: w or 4?
w
Let v = -1454 + 1456. Suppose 7 = 3*u - 17. Let w be (-2)/u + 13/4. Which is greater: w or v?
w
Let w = -59 + 25. Let j be 1236/102 + 4/w. Is 14 equal to j?
False
Suppose -3*m - 25 = -85. Let d = m - 14. Suppose d*y = y + 35. Does 8 = y?
False
Let x be ((-3612)/133)/(-2) + -11. Is 3 != x?
True
Let s = 6.82 + -6. Let i = -37.18 - s. Which is greater: 0 or i?
0
Let c = -2227/17331 - -5/327. Which is bigger: -1 or c?
c
Let l = -0.9 + -0.1. Let j = -38.2 - -1.2. Let w = j - -36.96. Is l at least as big as w?
False
Let j = -9 + 8. Let x = 2 - j. Suppose 4*t - 4 = 4*s, t + 3 = -x*s - 0*t. Is -5/6 at least s?
True
Let j be (-6)/33 - 296/(-1386). Let p = 17 - 14. Let h be -2 + -1 + 0 + p. Are j and h unequal?
True
Let v = -10 + 12. Let r(w) = w + 2. Let z be r(v). Suppose 