0.011 + 0.221. Let q = 25.79 + v. Is q at most n?
False
Let x = 0.2729 + 0.0271. Which is smaller: -6/215 or x?
-6/215
Suppose 0 = -q - 0 + 3. Suppose -2*v - 24 = q*k, -k - 5*v = -0*k + 8. Let w be (-26)/k*(2 - (12 - 6)). Is -12 at most as big as w?
False
Let l be (-340 - 8) + (-24)/(-6). Let a = -341 - l. Are a and -4 unequal?
True
Let c = 1.77 + -1.97. Let b = 16.969 + -0.969. Which is greater: c or b?
b
Let u = 826.11 - 839. Let n = -0.11 + u. Let p = 0.055 + -0.055. Is p <= n?
False
Let i be (2*(-20)/30)/((-1)/3). Suppose -x - 4*u + 8 - 51 = 0, -i = 2*u. Which is smaller: 1 or x?
x
Let x be 2754 + -110 + (-2)/1. Suppose 17*o + x = 10071. Is 436 at least o?
False
Suppose 5*o + 1536 + 2174 = 0. Let k = 836 + o. Is k less than or equal to 92?
False
Suppose 4*l + 11 - 75 = -4*v, v = 5*l - 68. Is 23 <= l?
False
Suppose -207*u - 960 = 33*u. Let k be (75 - 1)*3/(-2). Let t be (u/(-6))/((-2)/k). Which is greater: t or 39?
39
Let k(l) = l**2 - 7*l + 13. Let f be k(6). Let o be 8/(-6) - (-221)/51. Let n(w) = 2*w**3 - 5*w**2 - 6*w + 7. Let x be n(o). Which is smaller: x or f?
x
Let i = 10.7 - 4.2. Let b = i - 14.5. Suppose -5*n + 20 = -0*n. Which is greater: n or b?
n
Suppose -4*g - 11*s - 323 + 24 = 0, -2*g - 163 = s. Suppose 0*o + 258 = 3*o. Let r = g + o. Is r smaller than 0?
False
Let k = 538 + -537.68. Let b = 235 + -240. Which is smaller: b or k?
b
Let o be 406/78 + -4 - (-2)/(-3). Suppose l + 0*w = 5*w + 77, 0 = -w + 1. Let g = l + -82. Which is greater: g or o?
o
Let s = 949/6 - 478/3. Suppose 34 = 5*w - 11. Let a = w + -9. Which is bigger: a or s?
a
Let a(t) = -72*t - 296. Let o be a(-5). Suppose 3*s - 68 = -s. Suppose 2*y - o + s = -k, 3*k + y - 136 = 0. Do 45 and k have different values?
False
Let c = 7.06 + -8.06. Let x = -103 + 38. Which is bigger: x or c?
c
Let i = 14486 + -3838784/265. Suppose 224 = -207*h + 17. Is i bigger than h?
True
Suppose -3*u = 3*q + 42, 5*u + 150 = -1284*q + 1289*q. Which is smaller: 68 or u?
u
Let z = -203023543/374568 + -330/15607. Let s = -542 - z. Is -4 > s?
False
Suppose -31*u + 3 = -30*u + 2*w, 0 = -4*u - 5*w + 6. Which is bigger: 7/285 or u?
7/285
Let q(t) = 449187024*t**3 - 2*t**2 + t + 2. Let f be q(-1). Let c = f + 5681766682233/12649. Let h = c + -30/139. Is 0 greater than or equal to h?
False
Suppose -3*u - 101 = -4*w, 0*w - w + 2*u = -29. Let b = 475/6 + -329/6. Which is bigger: b or w?
b
Let f = 10 - -432. Let c = 435 - f. Let h be 1/(-4)*-2 + -1. Which is smaller: h or c?
c
Let x(l) = -l**3 + 22*l**2 + 22*l + 23. Let h(k) = 5*k**2 + 3*k - 3. Let a = 13 + -11. Let g be h(a). Let v be x(g). Which is greater: v or 3/31?
3/31
Suppose 5*u + g - 2*g + 27 = 0, 3*g + 27 = -3*u. Let l be (u*6/(-36))/(2/(-4)). Which is bigger: -15/17 or l?
-15/17
Suppose 364*s - 2128 = 378*s. Let f = 291 - 441. Which is greater: s or f?
f
Let s be (-8)/(-100) + 230/250. Let q = -912 + 82991/91. Is q greater than or equal to s?
False
Let s = -49025 + 70361. Which is smaller: -1 or s?
-1
Let o = -1682.77 - -1693. Let n = o - 10.3. Let p be 1/2 + (-17)/18. Is n > p?
True
Let s be 14/616*-20*((-20)/(-75))/(-2). Which is smaller: 24 or s?
s
Suppose -1129 = 29*r + 147. Let h be 6 + r/8 - 21/60. Which is bigger: 1 or h?
1
Suppose 10*u + 120 = 13*u. Suppose 8*d + u = 10*d. Is d at most -3?
False
Let b = 11422 + -79957/7. Let u = 22.5 + -23. Which is bigger: u or b?
b
Let f = 566/221 - 142/65. Is -2/9 <= f?
True
Suppose -5*n - 23 = 177. Let v = 35 + n. Let b be 1/v + (-53)/10. Do b and 2/7 have different values?
True
Let g = -22850/357 - 39/119. Is g at least -63?
False
Let p be 3113/(-622) + (-5 - -10). Is -1 < p?
True
Let f(a) = a**2 + 13*a + 10. Let k be f(5). Which is greater: 108 or k?
108
Let h = 566 + -555. Let j = 11 + -9. Suppose 0 = j*o + 3*o - 50. Which is bigger: o or h?
h
Suppose 4*a - 3*m - 1 = 0, 0 = a - 84*m + 83*m + 1. Suppose -208 = -3*j + z, 3*j - 26 = a*z + 185. Which is smaller: j or 0.1?
0.1
Let a(d) = -10*d**3 + 4*d**2 + 4*d - 3. Let y be a(-3). Let n = 1471/5 - y. Which is smaller: 4 or n?
n
Suppose -4*l + 11 = -g + 21, 4*l = -20. Which is bigger: g or -376/43?
-376/43
Let b = 102.91 - -2.09. Let z = 49 - b. Is 0.1 less than or equal to z?
False
Let y(a) = -23*a - 1. Let m be y(-1). Suppose r + 5*k - 5 + m = 0, -5*r - 4*k - 169 = 0. Let h = -38 - r. Which is smaller: -3/13 or h?
h
Let n be (-41)/(-82) - ((-3 - -7) + -4). Which is smaller: -184/7 or n?
-184/7
Suppose -t - 24318 = 17*t - 5418. Are -1041 and t nonequal?
True
Let k be (6*(-14)/20)/(1/(-10)). Suppose u = -k - 19. Let o = u - -53. Is -8 >= o?
True
Let l = 5 + -1. Suppose 0 = 2*f + g - 6, -f + 5*g = l*f. Suppose 3*m - 3*o - o + 2 = 0, -2*m + f = -o. Is m < 3/4?
False
Suppose 5*c + 15 = -3*o, 3*o + 6 = c - 3*c. Suppose 417 = 3*m - 720. Let u = m - 2643/7. Does u = o?
False
Let r(c) = c**2 + 15*c + 26. Let g be r(-13). Suppose g = -3*h - 4*h + 21. Suppose -4*b = -h*b - 22. Is b equal to 24?
False
Let j = -367 + -85. Let w = 467 + j. Which is bigger: 14 or w?
w
Let c = 2.93 - 3.341. Let q = c + 0.323. Which is greater: q or -1?
q
Let m be 899802/646 - 4/(-34). Is m equal to 1393?
True
Suppose 2*c = -0*c - 3*f + 451, 3*c - 2*f - 683 = 0. Let b be c/4 + -1 + 2. Let l = 58 - b. Which is smaller: 1.3 or l?
l
Let i = -9378 + 9379. Is -363 at most i?
True
Let q = 0.05239 + 0.02761. Which is smaller: q or 15?
q
Suppose -y - 8 = -2*y + 3*o, -5*y - 3*o = 32. Let s be (y*(-1)/10)/5. Let g = 19043 + -19043. Which is smaller: s or g?
g
Suppose 114*y + 142100 = -89*y. Is y equal to -698?
False
Let y be (-945)/(-1825) - 3/5. Let v be -37 - -32 - (-5 + (2 - 1)). Which is smaller: y or v?
v
Suppose 4*n = 29*v - 33*v + 1056, -785 = -3*v + 4*n. Is 260 > v?
False
Suppose -l + 115 = -3*a, -96*l = -101*l - 5*a + 595. Does 117 = l?
False
Suppose 3*j = k - 23, 7*j = 2*k - 84 + 31. Let t be (3 - 4) + (-1 - 4). Let g(s) = s**2 + 7*s + 9. Let b be g(t). Which is bigger: k or b?
b
Let s be -7 + (-1694265)/(-271140) - (-1)/4*3. Is 1 greater than s?
True
Let w = 31.4 + -35. Let g = 17.6 + w. Suppose -40*y = 84*y. Is g != y?
True
Let v = 0.121 - 51.821. Let g = v + 52. Is -1/16 equal to g?
False
Let s = 2759/2651 + -31030897/413556. Let p = s - -297/4. Which is smaller: 1 or p?
p
Suppose -2*d + 65 = 3*d. Suppose -148 = -2*m + 4*c, 8*m + 4*c - 236 = 4*m. Suppose 5*h + 10 = 5, -5*r = h - m. Do r and d have the same value?
True
Suppose -b - 143 = -4*n - 444, 6 = -2*b. Let h(j) = -30*j - 28*j**3 + 59*j**2 - 77 + 92*j**3 - 27*j**3 - 35*j**3. Let c be h(-30). Which is smaller: n or c?
c
Let z(g) = -g**3 + 27*g**2 + 121*g - 11. Let j be z(-4). Which is bigger: -14/923 or j?
j
Suppose 0 = 2*z - 0*z - 106. Suppose -16*j + 69 = z*j. Which is smaller: j or -20/109?
-20/109
Let l = -2496 - -2494.1. Is -14/13 less than or equal to l?
False
Let k be (-1270)/(-240) + -8 + 3. Suppose 0 = 4*q - j - 7, 3*q - 4*j - 11 - 4 = 0. Are k and q non-equal?
True
Let o be 237/9*((-151)/148 - -1). Let h = o + -8/37. Let l = 5.5 - 5.8. Is l > h?
True
Let t = -3199795 - -79984627/25. Let q be 410/(-25)*(-150)/(-6). Let g = q - t. Which is bigger: g or 1?
1
Let z(p) = 184*p - 10068. Let b be z(56). Which is smaller: b or 26?
26
Let o(h) = h**2 - 7*h + 4. Let x be o(-10). Let w be ((-2194)/2)/((-3)/((-432)/x)). Let j = w - -908. Is 1 > j?
True
Let d(s) = -3*s + 17. Let a be d(7). Let k be 2 - (-2 + -3 - a). Let m = 4 - k. Is m not equal to -1?
True
Suppose 0 = s - 0*n - 5*n + 21, 4*s = 2*n + 6. Let u(k) = -12*k + 47. Let g be u(s). Which is smaller: 14/39 or g?
g
Let v be (-96)/(-27) + -18*(-10)/405. Suppose 0 = -v*j + 3*u - 19, -4*j = -2*j - 2*u + 12. Are j and 2.79 non-equal?
True
Let y = 17 + -87/5. Let o = 0.32033 - 0.12333. Is y less than or equal to o?
True
Let h(r) = -r**3 + 44*r**2 + 94*r - 92. Let g be h(46). Which is greater: -1/3579 or g?
g
Suppose -20 = -3*n - 98. Suppose 3*y + 4 = -2*x - 0*x, 0 = -2*x + 8. Let w be (-2 - n/12)/((-11)/y). Is 0 greater than or equal to w?
False
Let o = -8407 - -5407. Is -0.1 equal to o?
False
Suppose 659*x - 618*x = 0. Is x greater than -22/83?
True
Let t = 766320/37961 - 18/3451. Let q = t + -5207/264. Are 1 and q nonequal?
True
Let v be -3 - (-4 - -1) - 42. Let r be 4/((-20)/(-5)) - v. Let q = -34 + r. Does q = 7?
False
Suppose 5*m - 3*c - 52 = 0, -4*m + 6*c - 1