6. Which is greater: a or 4808?
a
Let g be (320/(-480))/(2/(-2193)). Which is smaller: 732 or g?
g
Suppose -81 = -2*i - i. Let n be (-25531)/(-1089) - (-8)/(-18). Suppose -2*a = -n - 27. Is a equal to i?
False
Let y(u) = -u**3 - 11*u**2 - 19*u. Let s be y(-13). Let n be 7 - 40980/69 - (0 + -2). Let p = n + s. Which is smaller: 0 or p?
0
Let p = 2/41147 + -4978889/2098497. Is p > -1?
False
Let s = -4 - -6. Let g = -1519.2 + 733.3. Let a = g + 788. Which is smaller: s or a?
s
Let m be (60 + 84)*(2 - 12). Is -1442 <= m?
True
Let d be 0/((-1)/(-6) + 95/(-30) + 2). Is d less than or equal to -26/1357?
False
Let d = 0 + 14. Suppose 0 = -20*i - 46 - 14. Let o be i*20/(-6) + (-10)/(-2). Is o greater than or equal to d?
True
Let p = 13.2 + -0.2. Let b = p - -16. Let c = -30 + b. Which is greater: c or 0.01?
0.01
Let s be (-651)/(-21) - 29 - (2 - (4786 + 0)). Is s > 4786?
False
Let a = -466 + 390. Let p = 75.522 + a. Do -1/2 and p have different values?
True
Let u(o) = 378*o**2 + 3021*o + 3. Let w be u(-8). Is 34 greater than w?
True
Let d be ((-6)/2 - (-12)/4) + 7. Suppose -89 = -d*n + 16. Let h be 1/1 + n/(-12). Which is greater: -0.15 or h?
-0.15
Let j(n) = 28*n**2 + 74*n - 443. Let b be j(6). Is b at least 1009?
True
Let q(c) = c**3 + 5*c**2 - c + 4. Suppose 0 = -5*f + 6 - 31. Let u be q(f). Let b = 44834 + -44834. Are b and u equal?
False
Let v(t) = -t**3 - t**2 + 2*t. Let k be v(-2). Let r = -40/7213 + 53451/533762. Is r > k?
True
Let f = -1642.556 + 1632. Which is greater: -2/9 or f?
-2/9
Let j = -473 + 447. Is j smaller than -28?
False
Let h = -1971.1 - -1953. Which is smaller: h or -1/5?
h
Let q be (-23 - 26655/4275) + (12/(-45))/2. Is q < -29?
True
Let h = -41/7 - -4155/707. Let t(x) = -3*x**2 - 66*x + 4. Let d be t(-22). Suppose 3*p + 5 = -5*z + 6, z + 9 = d*p. Is z != h?
True
Let y be ((-476)/34 + (-1381)/(-99))*(-2)/(-5). Let p = 87 - 263/3. Is y >= p?
True
Let a = -180 + 181. Which is smaller: 15/182 or a?
15/182
Let y = -46769/559 - 4837/43. Let w = -196 - y. Let h = 457 + -458. Are w and h unequal?
True
Let a be 9*(-4)/(-1 + -11)*2718/27. Is 3324/11 at least a?
True
Let p = -1382 - -1052. Is p at most -329?
True
Let y be (-6)/(-24) + 5/(-8) + 9993/24. Is 415 bigger than y?
False
Let k(h) be the first derivative of -6*h**2 - 9*h - 18. Let r be k(-2). Let j = 30 - 21. Is r <= j?
False
Suppose -8*a = 1398 - 1390. Are 615 and a nonequal?
True
Suppose -12 = -4*n - 2*n. Suppose 4*g - 6 = -n*b + 22, -4*b + 1 = -3*g. Let v = 22 + -21. Which is bigger: b or v?
b
Let t = 11.17 - 12. Let y = -41.17 + t. Which is greater: y or -0.2?
-0.2
Let c be -2*((-52)/8 + 3). Let b be ((-2)/c)/(3/245). Is -24 at least b?
False
Let b = 2198 + -2253.7. Is b at most 0.3?
True
Suppose 14*s + 16 = 44. Suppose 4*x = s*r - 16, -9*r + 3*x + 12 = -7*r. Which is bigger: r or 6?
6
Let t be (-6)/4 + (4 - 1). Suppose 7*j - 3*j + 8 = 0. Which is bigger: j or t?
t
Let a(n) = -n**2 - 11*n - 8. Let o be a(-10). Let i = 52356/49351 - 6/2903. Which is greater: o or i?
o
Let m = -758 + 786. Is 27 != m?
True
Let u = 3127 - 2907. Is -4 < u?
True
Let i = 51 - 33.5. Let h = 2.42 + 0.08. Let l = i - h. Which is smaller: l or -1/4?
-1/4
Let h(w) = -45*w + 136. Let m be h(3). Which is smaller: m or 31/152?
31/152
Suppose 3*j + 9*s + 622 = 4*s, 4*j + 3*s + 833 = 0. Let u = 333 + j. Are u and 125 equal?
False
Let k = 5349.76 - 5350. Let a = 2.2 - 2. Is a bigger than k?
True
Let a = 1361 + -1353. Let t be a/(-12) + (-3 - -12). Let f(v) = -v**3 - 6*v**2 - 6*v - 4. Let q be f(-5). Which is greater: q or t?
t
Let l = -2075 + 14527/7. Which is greater: 2165 or l?
2165
Suppose 2*p = 2*a - 4, 0*a + 10 = 2*a + p. Suppose 8*t = a*t + 28. Suppose 0 = z - 3*o + 7, 4*o = -0*z - 4*z + 36. Is t bigger than z?
True
Let j = 13342 - 14070. Is -723 equal to j?
False
Suppose -2*a = j + 32, -3*j - 5*a - 98 = -0*a. Let z be -2 + 1 - (8 - -55). Let f = z - j. Is f greater than -29?
True
Let t be ((-2)/(-17))/((-513)/(-2907)). Is t at most as big as -1545?
False
Let l = 511 + -825. Let w = l - -315. Is w equal to -114/11?
False
Suppose -109 = 2*u - 27. Let n be (-28 - u)/(4 + (1 - 0)). Let y(k) = k**2 + k + 2. Let p be y(-2). Which is greater: p or n?
p
Let j be 30/(-14) + (-1483328)/(-1372). Do 4 and j have the same value?
False
Let r be ((-8)/(-32) - (-2)/(-8)) + -75. Let o = -74 - r. Let l be (27/(-63))/(138/4). Which is smaller: l or o?
l
Let j = 2854/667 + -100/23. Which is bigger: j or -3/7?
j
Let s = 5 + -1. Suppose -11*u + 14 + 30 = 0. Let b be 2 - (u/16 - 9/4). Are b and s non-equal?
False
Let t = 378733/34 + -11140. Let m be 0/(-1 + 2 + (-624)/104). Are t and m nonequal?
True
Let j be 5*-2 - 117114/(-9825). Which is smaller: j or -0.1?
-0.1
Let l(z) = -z**3 - 19*z**2 + 20*z - 28. Let m be l(-20). Let r be (2/4)/(m/(-8) - 5). Let y = -11 + 22. Is r at least as big as y?
False
Let k = -8002 - -7726. Which is smaller: -1 or k?
k
Let k(v) = -15 + v**3 + 2*v**3 - 20*v - 4*v**3 + 22*v**2 - 6. Let p be k(21). Let g be p - 1/6*2. Which is smaller: g or 0?
g
Let w(n) = n**3 - 5*n**2 + 5*n + 1. Let s be w(4). Suppose 5*m = 2*t + 515, 3*m - 33 = s*t + 257. Let c = -205/2 + m. Is c less than or equal to -2?
False
Let a = 205 + -123. Let n = -179 + a. Let l = n + 106. Is -3/5 at least l?
False
Let x = 221 - 635/3. Let s(j) = 51*j - 500. Suppose -46*c = -39 - 421. Let q be s(c). Is q equal to x?
False
Suppose -n - 3*o + 223 = 0, -n + 4*n = -5*o + 649. Let d be 40/(-165)*(-12)/n. Which is greater: d or 0?
d
Let f = 238 + -44. Let d = f - 156. Is d at least as big as 36?
True
Let w(r) = r**2 + 35*r - 525. Let y be w(-58). Is y at least as big as 807?
True
Let x = 2565 + -1771. Let m = 535 - x. Is -260 at most as big as m?
True
Let o(n) = n**3 - 5*n**2 + 13*n - 26. Let z be o(4). Let l be (-1780)/(-9064) + z/(-55). Which is smaller: l or 1?
l
Let j be 2/7 - (-13)/(273/(-552)). Let f = -3134 + 15546/5. Is j less than or equal to f?
True
Let a = -18.89 + 19. Let i = a - 0.21. Suppose 3*d + 3*p - 117 = -0*d, 0 = -2*d - 3*p + 77. Which is bigger: d or i?
d
Suppose 1199 = 17*r - 16*r. Which is smaller: r or 1198?
1198
Let m = 619.7 - 762.75. Let f = 143 + m. Which is smaller: 10 or f?
f
Suppose -4*b + d = -25469, 2*b - 8*d - 12748 = -12*d. Is b at most 6368?
True
Let p be 4/(4/1) - -13. Suppose p*c - 20 = 10*c. Suppose -4*t = -c*t + 36. Which is bigger: t or 35?
t
Let q(o) = -3*o - 45. Let b be q(-12). Suppose -5*p - 47 - 86 = k, -2*k - 201 = -3*p. Let v be 861/k + (-4)/(-18). Is b bigger than v?
False
Let r = -575/3 + 192. Which is smaller: r or -3196?
-3196
Let z = 3.47812 + 0.09388. Is z equal to -1?
False
Let v be ((-1300)/(-14))/((-3)/21). Which is smaller: -651 or v?
-651
Let r = -0.031 - 115.969. Let a = 115.9 + r. Let u = 29 - 50. Which is smaller: u or a?
u
Let k be 8827/105 + 5/(-75). Which is bigger: 90 or k?
90
Let d(x) = 69*x + 21 - 29*x + x**2 - 31*x. Let r be d(-7). Let k(y) = 5*y + 8. Let c be k(r). Which is smaller: c or 42?
42
Let r = 2040 + -1435. Let x = r + -561. Do 39 and x have different values?
True
Let s = -92688/77 - -9135/11. Do s and -374 have the same value?
False
Let i = 30 + -59.2. Let q = i + 29.3. Are q and -8/3 equal?
False
Let b(r) = r**2 - 1. Let o be b(1). Let h be o/(-1)*(-1)/1. Let i be (-2778)/(-348) - (-6 + 14). Is h less than i?
False
Let i = 26.99 - 28.29. Is i <= -0.027?
True
Suppose 10*r = -27*r - 7*r - 1892. Suppose l + t - 37 = 0, 1 = 4*l - 5*t - 138. Let g = l + r. Is -6 not equal to g?
True
Let t(a) = a**2 - 21*a + 115. Let o be t(10). Suppose 123 = -o*b + 4*w, -5*b + 14*w - 9*w = 125. Is -2 <= b?
False
Let a be (-8492000)/10750 - 2/43. Which is greater: -4733/6 or a?
-4733/6
Let v = -18438.461 + 18436. Does -2 = v?
False
Let g = -37.5 - -254.5. Let n = -216.7 + g. Which is greater: n or -5/3?
n
Let c be (-264697)/(-164) - (-1 - (5 - 7)). Let w = 1613 - c. Is w less than or equal to -1?
False
Let n = 466 - 465. Let s be (-8 - n)*28/(-6) + -6. Which is greater: s or 33?
s
Let d(f) = 3*f - 4 + f**2 - 7*f - f. Let t be d(6). Suppose -t*z - 4*a = 2*z + 32, -4*a = 16. Is -24/7 < z?
False
Let k be (5/(5/(-2)))/((-55)/(-11) + -7). Which is greater: k or 52/73?
k
Let l = 1528896/17938723945 + 2/787235. Is l less than or equal to -1?
False
Suppose 0 = 13*h - 21*h + 40. Suppose s 