se -4*b + s*b - 8 = 0. Let o be (-228)/9 + b/12. Is o greater than -26?
False
Let s be 59/(-268) + 1/4. Suppose -5*y + 50 = -p, 3*p = 4*p - 2*y + 50. Let f = p - -50. Is f greater than s?
False
Let a = 7084 - 7083.9. Let f(n) = n**3 - 7*n**2 + n - 1. Let p be f(7). Let k be -2 + 14/p - -3. Which is bigger: a or k?
k
Let n be (-120991)/282 + (-9)/54. Let x = -429 - n. Let o = x - 258/329. Is o > -3?
True
Suppose 3*g + 2 = -u, 5*g - 5*u - 8 = 2. Suppose -9*s + 6 + 21 = g. Suppose 0*n - 4*n + s*b - 28 = 0, -5*n - b - 16 = 0. Is -6 > n?
False
Let l = -691/26 + 352/13. Is -16/35 less than l?
True
Let m be 15/(-39575)*(-22 + 12). Which is greater: m or 1?
1
Suppose -3*r = -4*l + 478, 10*r = 7*r - 18. Suppose -5*u + 580 = -0*u. Let y = u - l. Which is smaller: -2/153 or y?
-2/153
Suppose 19*t - 33*t - 112 = 0. Let u be 228/(-112) + (t/7)/(-4). Let w(j) = -j**3 - 4*j**2 - 1. Let o be w(-4). Which is smaller: u or o?
u
Suppose 0 = 4*g - 4*q + 52, -19*g - 175 = 6*q - q. Let v = 10 + -17. Is g greater than v?
False
Let l = -10413429/95 + 109613. Which is greater: l or -1?
-1
Let l = 4/67 - -106/469. Let b(d) = 98*d**3 + 2*d - 2. Let s be b(1). Let g = s + -76. Are l and g unequal?
True
Let o = 26737/14 - 1913. Suppose -545*j - 395*j = -107*j + 2499. Are j and o unequal?
True
Suppose -78 = 2*j - 5*u + 407, 3*j + 718 = -2*u. Let w be (-33268)/j - 4/(-30). Let z = -138 + w. Is 2 at most z?
False
Let y = 0.8 - 0.715. Let g = -0.0305 + 0.6045. Let i = g - 0.474. Which is bigger: i or y?
i
Let b = -29249/50 + 1162/25. Are -540 and b nonequal?
True
Let m(l) = l**3 + 15*l**2 - 68*l - 162. Let q be m(-17). Is -24 greater than or equal to q?
False
Let d be ((-16)/(-6))/((-134)/(-4623)) - (1 + 0). Which is bigger: 1 or d?
d
Let c = 54.06 + -54. Let i = 118 + -98.8. Let s = 19.3 - i. Which is smaller: s or c?
c
Let n be (-15)/(-396)*2*(-8)/(-150). Let r = n - -823/495. Which is greater: r or -0.01?
r
Let u = -82 - -55. Let r be 0 + (4 - (u - 0)). Let o = 16 - r. Is o at most as big as -13?
True
Let s = -2850.6 + 2877. Is 8 smaller than s?
True
Let c(p) = p**3 - 9*p**2 - 8*p - 46. Let a be c(11). Let y be (a/(-16) - -6)*68/6. Is -9 at most as big as y?
True
Let u be (-16)/10*(-13)/(26/75). Suppose -64*q + 32 = -u*q. Suppose -2*v + 3*w - 10 = 0, -q*v + 7*v + 2*w - 6 = 0. Which is bigger: v or 20?
20
Suppose j - 5*q + 4 = -4*q, j + 4 = -5*q. Let m be (30/j)/(-22 + 31). Is m not equal to -5?
True
Let o(d) = 3289*d + 33. Let t be o(2). Let r = 33219/5 - t. Which is smaller: r or 32?
32
Let s = 0.079 - 44.079. Let q = -40 - -69. Let p = q + s. Is -2 equal to p?
False
Let n = 11556 + -3100. Is n not equal to 8455?
True
Let t(g) = 9*g**2 - 4*g + 7. Suppose -260 = -12*l + 10*l. Let f = -127 + l. Let c be t(f). Is c bigger than 76?
False
Let q(k) = -k**3 + k + 8. Let y be q(0). Suppose 0 = 2*i + y - 2. Let g = 9959 + -19921/2. Which is smaller: i or g?
i
Let a = -0.2 - -0.3. Let g = a + -0.3. Let x = -0.5 - g. Is x at most 2/3?
True
Let n = 1069/2 - 534. Let q = 0.43 - 0.2. Let h = q + -9.23. Which is smaller: n or h?
h
Let k = -24.1 + -0.9. Let u = 63 + k. Let o = u + -35. Is o > -2/11?
True
Let k = 28.1 - 18. Let x = -2.3 + 12.3. Let i = x - k. Is i at least as big as -14?
True
Suppose -3*f = 2*h - 99, -102 = -2*h - 8*f + 4*f. Suppose -2*i + 3*i = -3*k - 10, 5*k + h = 4*i. Is k bigger than -9/2?
False
Let r = -106354 - -4572910/43. Is -8 less than r?
True
Suppose 83 = -5*p - y + 16, 50 = -4*p - 2*y. Let n(o) = -o**2 - 8*o + 30. Let h be n(p). Which is bigger: -56 or h?
h
Let u = 102 - 86. Suppose 3*l - 11*x + u*x = 524, 5*l = -4*x + 882. Which is smaller: 177 or l?
177
Let f = -29003.13 - -29003. Is f > 136?
False
Let o = 4375 + -4374.8811. Which is bigger: -0.1 or o?
o
Let y = 68543 + -49488037/722. Which is greater: -1 or y?
y
Let f be (67 - (-13 + 7))*(-2 - -1). Let z = f + 16. Are -57 and z nonequal?
False
Let p(i) = -i**3 + 4*i**2 + 2*i - 8. Let o = 51 + -47. Let r be p(o). Suppose 5*t - 7 - 73 = -5*c, 0 = -4*t - 5*c + 64. Is r greater than t?
False
Suppose -70092 = 52*b - 19*b. Which is bigger: b or -2125?
b
Let a = 4414 - 4394. Is -84 greater than a?
False
Let v = -20397 - -20443. Let r be 45 - (-1 - -2)/1. Is r less than or equal to v?
True
Let y(j) = -j**3 + 19*j**2 + 20*j - 38. Let x be y(21). Which is bigger: x or -503?
x
Suppose 0 = 2*k + 3*r + 2145, -4*k = -15*r + 16*r + 4285. Which is smaller: -1076 or k?
-1076
Let i be (6 - 6) + 1101/9. Let w = i + -122. Is w < 0?
False
Let x be 9/(162/(-48))*630/8. Let f = 211 + x. Which is smaller: f or 6/169?
6/169
Let m be (2/(-6)*4)/((-1490)/(-66603)). Is -60 greater than m?
False
Suppose 550 = -2*x - 2*y, -2*x + 165 = 5*y + 727. Let p = x + 262. Is -46/5 != p?
True
Let n = 27 - 33. Let t be (-1)/n + (-209)/462. Let k = 107 + -11. Is t less than or equal to k?
True
Let f be 11/13 + 12/78. Let k be f - (-7 - -6)*3. Let l(j) = -j**2 + 5*j + 7. Let u be l(5). Do k and u have the same value?
False
Let g be (4/((-24)/90))/(1/(24/8)). Is -596/13 at most as big as g?
True
Let g = -64 + 14. Let m(d) = -5*d - 65. Let o be m(-16). Let q be (6/(-4))/(o/500). Is g at most as big as q?
True
Let u(t) be the third derivative of -t**6/120 - 49*t**5/60 - 17*t**4/8 - 23*t**3 - 71*t**2. Let c be u(-48). Let o be (6/2)/((-3)/(-6)). Is c at least o?
True
Let b(t) = -t**3 - 10*t**2 - t - 4. Let l be b(-10). Let s = -190 + 187. Let i be ((-6)/54*s)/((-2)/(-24)). Is i bigger than l?
False
Let g be 8 - (552/(-23) - -35). Which is bigger: g or -138/71?
-138/71
Let a be (-12)/(-2)*(-44198)/(-154). Which is greater: a or 7?
a
Let w = -298.62 + 301. Let o = 3.38 - w. Which is bigger: -1/10 or o?
o
Suppose 7*p - 3*p - 4*w = 32, 3*w = p - 16. Suppose -2*s = -4*n + 4, -2 = p*n - s - 8. Suppose 3*a - l - n = 0, 0*a + 8 = 3*a - 4*l. Which is greater: 5 or a?
5
Let t be (-53 - (-2 - -5))*(-150)/(-15). Which is smaller: t or -557?
t
Suppose 0 = 19*c + 6*c + 1536 + 589. Are -85 and c equal?
True
Suppose -5*v - 163 = -2*p, 0 = 2*v - 0*v - 4*p + 78. Let i(a) = -3*a - a - 4*a + 3*a. Let o be i(6). Is v greater than o?
False
Let k be 18/(-12) - 1/(-2) - 4. Let j be 18/(-36)*(-6)/k. Which is greater: j or 47?
47
Let m(n) = 4*n**2 + 7*n - 57. Let s(z) = z**2 + 2*z - 14. Let w(f) = -2*m(f) + 9*s(f). Let b be w(3). Let v = 655/9 - 73. Which is greater: b or v?
b
Let l = -32 - -33. Let v = -6967/15 - -464. Is v <= l?
True
Let s(z) = -26*z + 250. Let d be s(-2). Which is bigger: d or 299?
d
Let j be (-222)/66 + 3 - 1050/(-770). Is j less than -12/1477?
False
Let w be 38/(-462)*3 - (-39)/91. Let m = -37 - -56. Let k = m - 20. Do k and w have different values?
True
Suppose -13 = b - 4*m + 23, -2*b - 3*m - 61 = 0. Let d = -535 + 982. Let h = -480 + d. Which is smaller: b or h?
h
Suppose 0 = -109*x + 40*x + 4347. Which is smaller: x or 58?
58
Let s = -17121 - -1712137/100. Let f = -8/25 + s. Which is greater: f or 0.7?
0.7
Let t = -353 + 406. Let g = 60.3 - t. Which is bigger: -0.1 or g?
g
Let d be ((-2)/(-27))/(8/12). Suppose 2*h - 2*w - 28 = 3*w, 36 = 5*h - 4*w. Suppose -9 = -h*f - 13. Which is smaller: f or d?
f
Let u(l) = -l**3 + 15*l**2 + 15*l + 32. Let y be u(16). Suppose 25*t = y*t - 180. Let z be (-72)/(-20)*t/8. Which is bigger: z or -8?
-8
Let f = 8.872 - 0.072. Let b = 1.191 - 9.891. Let x = f + b. Which is smaller: x or -1/20?
-1/20
Suppose w = q + 13, 2*w - w - 17 = -3*q. Let v be 40/(-91) - w/(-49). Let m be (-195)/468*(-3)/10. Are v and m nonequal?
True
Let r = 1414 - 3410. Let s = r + 265471/133. Which is greater: 1 or s?
1
Let p = 10290 - 10272. Let o = -47 + -53. Let a be o/(-6) - (-1)/1. Which is smaller: p or a?
a
Let s be (-5476)/(-222)*443318/1580. Let k = s + -6921. Is -1 < k?
True
Let w be 102/(-14) - (18 + -20)/(6/(-15)). Let g = 13 - 25. Is w >= g?
False
Suppose 4*f - 5*c - 303 = -318, 0 = 3*f + 5*c - 15. Let y = 4 - 1. Suppose 4*w - 7*w = -y. Which is smaller: w or f?
f
Let m = -246.92 - -247.92. Which is bigger: -6/5215 or m?
m
Suppose 7*r = 3*r + 116. Let y = -8365 + 16789/2. Which is smaller: y or r?
r
Let s be (2 - 2)*36/252. Let z = 73 + -64.3. Do z and s have different values?
True
Let q = -748 - -768. Let h be 41/410 - 2/q. Which is greater: 6/145 or h?
6/145
Suppose t = -3*r + 187, -t + 0*t + 251 = 4*r. Let k = r - 48. Let z = 258.