/20 - 3*l**4/8 - 14*l**3/3 + 8*l**2 + 4. Let g be k(-3). Is -1/48 less than g?
False
Let f = 1186 - 605. Which is bigger: f or 4058/7?
f
Let u be ((-1)/(-6))/((-38)/3). Let m = 388557.9 - 388558. Which is smaller: m or u?
m
Let o = -98 + 100. Let g be 10/(240/104)*(-6)/o. Let j = -36 - -22. Is g > j?
True
Let m = -0.106 - 1.464. Let a = 1.9 + m. Which is bigger: a or -3?
a
Suppose 5*w - 4*v + 83 = 0, -3*w - v = -2*w + 22. Let l be (w + 17)*16/(-2). Suppose 0 = -3*d - l - 62. Is d greater than or equal to -26?
True
Let s be (79 - -1)/((-38)/57). Let f = s + 32. Let o = 101 + f. Is 82/7 at most o?
True
Let t(k) = -k**2 - 98*k + 848. Let i be t(8). Which is bigger: i or 1/4956?
1/4956
Let w = 50 - 5. Let f = 25 + -74. Let n = f + w. Is -5 equal to n?
False
Let f(b) = 2*b - b - 1 - 5 + 0 - b**3 - 8*b**2. Let c(j) = 17*j + 230. Let r be c(-14). Let t be f(r). Which is smaller: t or -7?
t
Let t be 45/(-3)*(-2)/6. Suppose -o - 4 = -2*y - 3, t*y - 61 = -4*o. Suppose -o*v + 168 + 183 = 0. Is 79/2 < v?
False
Suppose 5*r - 2*s - 24 = -106, 4*r + 2*s = -80. Let h be (10 - (19 + -7))/(2/16). Which is smaller: r or h?
r
Let b(f) = 0*f**2 + 10*f - 16 - 4*f**2 + 3*f**2. Let t be b(6). Suppose 11*k + 12 = t*k. Is k < -3?
True
Suppose 0*o + 5*m = 3*o, -9 = -3*m. Suppose -o*t = 49 - 59. Suppose -t*h + 3 = 11. Which is bigger: h or -9?
h
Suppose -n - 5*o + 5 = 12, 0 = -3*n - 2*o - 86. Let q(b) = 9*b**2 - 28*b + 39. Let w be q(6). Let u be (4/w)/(n/48). Which is bigger: u or -1?
u
Let p = -2.359 + -0.251. Let f = p - -2.41. Which is smaller: f or -6?
-6
Suppose -1108 = 2*a - 2*o, -3*a - 5*o = -3*o + 1682. Let z = 558 + a. Is -1/203 < z?
True
Let o = -196 - -301. Suppose 7*x = o - 462. Which is smaller: x or -53?
-53
Suppose -2*m = -3*n + 4103, -m - 4025 = 5*n - 10885. Which is smaller: 1376 or n?
n
Suppose -d - d = -4*d. Which is smaller: -1 or d?
-1
Let t be ((-4064)/(-408) - 10)*135. Is -6 at least as big as t?
False
Let f = -10701 - -10700. Which is greater: f or -8/791?
-8/791
Suppose 35 + 61 = 4*b. Suppose b = 4*z - 3*c, -2*z = z + 3*c + 3. Let q be (3 - z/1) + 2 + -2. Is q not equal to 2/5?
True
Let x be (74/5032)/((-2870)/(-16)). Which is smaller: x or -1?
-1
Let q(o) be the third derivative of -o**5/60 + o**4/6 - o**3/3 + 14*o**2. Let n be q(3). Let x be ((-11)/n + -1)*3/5. Which is greater: x or -6?
-6
Suppose 424*b - 440*b = 2298 - 7786. Which is bigger: 348 or b?
348
Suppose 3*z - 877 = 5*q + 4*z, z - 523 = 3*q. Let s be (-560)/q*10/(-2). Which is greater: -19 or s?
s
Let h(o) = -3*o**3 - o**2 + 4*o + 8. Let j be h(-2). Suppose -4*n + 5*m = -55, -16*n = -j*n - m + 85. Is n greater than or equal to -0.05?
True
Let q be 40/(-30) - 1114/(-840). Suppose 2 = 30*z - 32*z. Which is bigger: q or z?
q
Suppose 134*f - 35347 = -132*f + 253*f. Which is greater: 2716 or f?
f
Let d = -29/61 - -3396/7015. Let o = 241/1265 - d. Let t be 1/1 - 1/2. Is o greater than t?
False
Let w be ((-2)/(-10) - 1)*-410. Let p = -282 + w. Is p > 49?
False
Let x be 423*(-6)/498 - -6. Which is greater: x or 0.1?
x
Let b(t) = -13*t + 1843. Let l be b(-11). Do l and 9932/5 have the same value?
False
Let i(p) = 4*p**2 + 16*p - 3. Let u(s) = 5*s**2 + 16*s - 4. Suppose -3*y + 27 - 9 = 0. Let f(l) = y*i(l) - 5*u(l). Let n be f(11). Is n bigger than 56?
True
Let i = 16 + -11. Let u(w) = 11*w - 343. Let h be u(33). Suppose 0*c - i*c = h. Is -1/4 != c?
True
Let n = 121/69 - 22097/12627. Which is smaller: 1 or n?
n
Let w be (-891)/(-108)*((-5)/(-3) + 1). Are w and 1 nonequal?
True
Let v = -207.4 - 45.6. Let a = 274 + v. Suppose -2*n - 4 = -y - 3, 0 = -5*y - 2*n + 5. Do y and a have the same value?
False
Let g be (-13559)/(-42) - (-2)/12. Let q = -140 + g. Which is greater: 185 or q?
185
Let l = 195 + -189. Let i(c) = c**3 - 6*c**2 + 2*c - 7. Let n be i(l). Which is smaller: 4 or n?
4
Suppose -u + p = -24, -8 = 2*u - 4*p - 46. Suppose j = -5*j - 150. Let x = j + u. Do x and 5 have the same value?
False
Let y be 2 + 3302792/(-1344) + 3/7. Let g = y + 2455. Is 1 smaller than g?
False
Suppose 0 = -70*z + 143*z + 13283 + 16209. Is -405 at most as big as z?
True
Suppose 2*r - 7*y - 17812 = -10*y, -5*r - 4*y + 44537 = 0. Which is smaller: 8908 or r?
8908
Suppose -788 = 32*s - 370 - 386. Which is smaller: 8865 or s?
s
Suppose -o - 4*r - 5 = 0, -3*r + 8 = 17*o + 28. Let i = 3041/393295 - 4/661. Are i and o non-equal?
True
Suppose -2*c - 3*b = -36, b + 4*b = 5*c - 90. Suppose -15*u - 36 = -c*u. Suppose u - 12 = -l. Which is bigger: 15/11 or l?
15/11
Suppose 0 = -4*z - 38 - 18. Let r = 13 + z. Let v be (-1)/(2/14)*(-5)/(-15). Which is smaller: v or r?
v
Let s = -18596 - -18615. Let y = 0.07 + 3.93. Let l = -2 + y. Is s greater than l?
True
Suppose 2*j - 30 = -y - 2, -2*y = 8. Suppose 3*a - 8*a = -4*b + 32, -j = 4*a. Is 4 at least b?
True
Let y = 25405/160778 + -1/8462. Let t = -10.9 - -11. Which is smaller: y or t?
t
Let d = 4 - 3.43. Let q = 1.44 - d. Which is bigger: q or 0?
q
Suppose -264 = -12*m - 0*m. Let q be (376/2350)/(-1 + m/10). Which is greater: -0.05 or q?
q
Let s(d) = 1297*d + 1298. Let n be s(-1). Is 1/9921 < n?
True
Let t be 9/36 - (46/(-8) + 1). Suppose 0 = r + f, t*r + 0*f - 3*f - 16 = 0. Let d be r/(-4)*(-21 + 10). Which is bigger: 6 or d?
6
Suppose -4*w + 0 = -4. Let m(i) = -15*i**3 + 25*i**2 - 11*i - 13. Let g(b) = 7*b**3 - 12*b**2 + 5*b + 6. Let s(a) = 13*g(a) + 6*m(a). Let l be s(6). Does l = w?
False
Suppose -4*v = 2*y + 4418, -3449 = 5*v - 4*y + 2067. Which is smaller: -1/2 or v?
v
Let j(d) = d**3 + 16*d**2 + 18*d + 46. Suppose 5*f + 90 = -3*o, 3*f + 22*o = 19*o - 60. Let u be j(f). Which is smaller: 1/171 or u?
1/171
Let d be 384/(-10) - 1/(1/(-2)). Let s(h) = 6*h**3 + h**2 - 3*h + 2. Let k be s(-2). Are d and k nonequal?
True
Let j be (((-29)/3)/(-1))/((-1)/3). Let n(y) = 3*y**2 - 21*y + 6. Let r be n(4). Is r greater than or equal to j?
False
Let l = 7397 + -7962. Which is smaller: l or -7?
l
Let v = 2209 + -2301. Is 3.4 greater than v?
True
Let b(c) = 2*c + 1. Let v be b(3). Let h = 92762/103 - 38564292/42539. Let r = -23/59 - h. Is v less than r?
False
Let t be 12/24 + 1/((-2)/19). Let m be 71/t + 2 + 10 + -5. Suppose -6*l = -2*u - l - 7, -4*u - 2 = 2*l. Which is bigger: u or m?
m
Let i = 0.214 - 0.014. Let n = -522 + 523. Which is greater: i or n?
n
Let s = 23729 - 23726. Is -1407 greater than s?
False
Let i = 311/5 + -387/10. Suppose -6*k + 10*k = g + 92, 5*k - 5*g - 115 = 0. Which is smaller: i or k?
k
Let w = -13 - -45. Suppose 3*u = 19*u - w. Suppose 2*g + u = 2*r, 4*r + r + 5*g = -15. Which is bigger: r or -2?
r
Let b(u) = -u**3 + 9*u**2 - 14*u - 5. Let s be b(11). Suppose -5*t = 4*q + 1626, q + 3*t - 171 + 588 = 0. Which is smaller: s or q?
s
Let l = 12 - 2. Let d = 22 - 32. Let g = l + d. Is g >= -1?
True
Suppose 16*y - 64 - 16 = 0. Suppose -340 = -y*k + 5*h + 45, -5*k + 388 = -4*h. Let i = k - 89. Is i at least -2?
False
Suppose -32 = 3*b - 8. Let j(z) = 110 + 2*z**3 - 6*z**2 + 17*z - 122 - 3*z**3. Let p be j(b). Which is smaller: -21 or p?
-21
Suppose 96*x + 81*x = 95934. Which is bigger: x or 541?
x
Let n be ((-2)/3)/(-1*(-1)/(-318)). Let i = -187 + n. Suppose -8 = 5*b - 148. Are i and b unequal?
True
Let i = -4643 + 4649. Is -299 smaller than i?
True
Let z = -24457/290 - 24/145. Let s = z + 88. Is s equal to 4?
False
Let a = 299 - 297. Let h be -3 + 601/220 + a/8. Which is smaller: h or 0?
h
Let n = 74321/11 - 6765. Are n and -1 nonequal?
True
Suppose 4*g + w - 23 = 0, 7*g - 33 = 3*g + w. Suppose -g = -a + h - 3*h, 5*h - 13 = 2*a. Let d be a/(-1 + (-16)/12). Is 0 at least as big as d?
True
Let z be (-1)/(-3)*12/1. Suppose a + q - 1 = 0, -5 = q - z. Suppose 8*d = a*d - 0*d. Which is smaller: -20/3 or d?
-20/3
Let f be 5 + -3 + (-477)/(-15). Let u = 509/15 - f. Which is smaller: u or 1?
u
Suppose 2117 = -9*h + 236. Let o be (3 + -1)/(-2) - 207/h. Is o less than 1?
True
Let s be 65 - 75 - (-48624)/4863. Which is smaller: -1 or s?
-1
Suppose -3*c - 4*h + 35 = 0, 0 = 3*c - 3*h - 34 + 13. Let p = 21 - 24. Let b be (-1 + 4)*(-7)/p. Is b greater than or equal to c?
False
Let z = -20308.9 + 20309. Is 44/7 < z?
False
Let y be 0/((8/(-16))/(1/4)). Let k be (-4)/((-20)/15 - y). Suppose -5 = -4*h - f, 0 = 3*h + k*f - 0*f + 3. Which is greater: 15/11 or h?
h
Suppose -3*v = -1