Which is greater: 3 or b?
3
Let v(z) = z + 5*z + z**3 + 4 - 5*z**2 - 3*z + 8*z**2. Let t be v(-2). Let x = -4 - -7. Which is smaller: t or x?
t
Let u be 2/(-12) + (-410)/(-12). Let s = 20 - u. Let i be s + 16 - (4 + -1). Which is smaller: i or -7/4?
-7/4
Let c = 3842/143 + -260/11. Does -1/5 = c?
False
Let v = 1.77 - 0.27. Let c = 1.32 - -0.18. Let j = v + c. Which is smaller: 1 or j?
1
Let k(t) = -11*t - 1. Let o(j) = j. Let n(x) = -k(x) - 4*o(x). Let a be n(5). Let w = -106/3 + a. Which is greater: 2 or w?
2
Let i be 26/(-78) + (-1169)/(-3489). Which is smaller: 1 or i?
i
Let p be (12/10)/(12/(-40)). Let f = p + 6. Is 1 >= f?
False
Suppose 19*k = 15*k - 644. Are k and 0.1 unequal?
True
Let t be 7/7 + (-5)/(2 + -3). Let r(a) be the third derivative of a**5/60 - a**4/24 - a**3/2 - 4*a**2. Let m be r(4). Which is greater: t or m?
m
Let t = 157/1386 - 10/63. Let w = -23 + 23.38. Let c = w - 0.48. Which is bigger: c or t?
t
Suppose -5*c + 3*t = 720, -23*c + 438 = -26*c + 3*t. Which is smaller: -142 or c?
-142
Suppose 3*w = -4*y - 145 + 1, y = -4*w - 179. Is w equal to -42?
False
Let y be (-2)/(-17)*(-540)/648. Which is greater: 1 or y?
1
Suppose 4*g = -0*g - l - 217, -5*g - l - 271 = 0. Let f = g + 55. Let p = -604 - -4236/7. Is f at least p?
False
Let h = 5 + 15. Let x be -8 + h/5 - -2. Let s be (x/(-4))/(3/114). Is s > 19?
False
Let l be ((-4)/8)/(5/(-10)). Which is greater: l or 66?
66
Let i = 1.2 + -0.9. Let z = -30 - -15. Let n be (-5)/z + 1 + -1. Is n smaller than i?
False
Suppose 3*g = -5*y - 29, 3*y + 5*g + 3 = -24. Let s be -2 + (32/(-5))/y. Which is smaller: 16 or s?
s
Let u be (1 - -1)*(-1)/41. Let b be -1*(6 - 3) + 11. Let y be (-9 - -4) + b + -3. Which is smaller: u or y?
u
Let z = 1797 + -1329. Which is smaller: z or 0?
0
Let h be 6*(0 - (-4)/(-8)). Let d = -9 - -14. Let k be (d/(-4))/(2/8). Is k >= h?
False
Suppose -12*i = -14*i - 14. Let q(v) = -v**2 - 9*v - 10. Let k be q(i). Let p(l) = -l. Let z be p(-2). Which is smaller: k or z?
z
Let z = 22 - 8. Let a = 199 - 186. Which is smaller: z or a?
a
Let z = -38 - -39. Let i = 2.02 + -0.02. Let d = z - i. Which is bigger: d or 0.09?
0.09
Let m be ((-54)/21)/(-9) + (-18)/14. Is 415 >= m?
True
Let q = -0.038 + 0.021. Let p = 0.017 + q. Which is greater: 0.6 or p?
0.6
Let g = 11 - 8. Suppose -2*o = 5*d - d - 22, d - 8 = -3*o. Which is greater: o or g?
g
Suppose 75*p - 7*p = -3*p. Does p = -2/8007?
False
Let f = 0.1901 + 30.8099. Is f greater than -27?
True
Let g be (10 + -3 - 3)/2. Suppose 18*x - 16*x = 0. Which is greater: g or x?
g
Let u be 1790/8 - 18/(-72). Which is smaller: u or 226?
u
Suppose -2*r - 5*f - 652 = -8*f, -r = -3*f + 323. Is -329 smaller than r?
False
Let v = 166.7 + -166.9. Which is smaller: -251 or v?
-251
Let h be 80/(-4173)*(-1068)/24. Let y = -34/39 + h. Which is smaller: 1 or y?
y
Let g = -5 - 25. Suppose -23*y + 28*y - 10 = 0. Let c be (y/6)/((-2)/g). Is 5 less than or equal to c?
True
Let s = -69.6867 - 0.0633. Let b = -70 - s. Which is smaller: 2/5 or b?
b
Let q = -100 + 101.43. Which is smaller: q or 0?
0
Let c = 3 + -4. Let r = -33 - -27. Let b = -3.9 - r. Which is smaller: c or b?
c
Let x be (-5)/6 + (-40572)/(-1512). Let k(v) = 3*v**2 + 5*v - 1. Let q be k(-4). Which is smaller: x or q?
x
Let l(i) = -50*i**3 + 18*i**2 - i + 4. Let o be l(2). Which is smaller: o or -324?
o
Let b = -1012 + 1000. Is -56/5 at most b?
False
Let u = 1119/14320 - -33/179. Let s = 5/16 - u. Let o be (2 + -3)*0/2. Is o <= s?
True
Suppose 3*q = 5*k - 177, -k - 3*k = q - 145. Suppose -a = -3*d - 15 - 12, 2*a + k = -3*d. Let z(w) = 2*w - 4. Let g be z(-3). Is g != d?
False
Let p = 5 + -5.5. Let i be 4/10*15 - 4. Which is smaller: p or i?
p
Let d be -12 - -3*2/6. Let h(i) = -16*i**2 - 56*i + 69. Let s(z) = 3*z**2 + 11*z - 14. Let t(l) = d*s(l) - 2*h(l). Let m be t(-11). Which is smaller: -8 or m?
-8
Let d(m) = 2*m**3 - 5*m**2 - 8*m + 11. Let y be d(3). Suppose 9 = -3*a - 4*c, -3*a - 12 = a + 3*c. Which is bigger: y or a?
a
Suppose 0 = -0*s - 4*s + 8. Let i = 4 - s. Let t = -31652 - -31652. Which is bigger: i or t?
i
Let v = -7.85 - -7.901. Is 1.3 not equal to v?
True
Let k(q) = q**2 + 4 + 3*q + 3*q - 10*q. Let v be k(4). Suppose -v*b + 4 = 8. Which is greater: b or 1?
1
Let l = 3875/472 - 64/59. Which is smaller: 6 or l?
6
Let f = -909/659974 - 1/7021. Does f = 0?
False
Let i = -41 - -21. Let a = -0.063 + -20.937. Let h = a - i. Which is smaller: h or -2?
-2
Let z(i) = -i - 1. Let q(d) = -d**2 - 2*d + 3. Let s(o) = -q(o) - 6*z(o). Let y be s(-8). Suppose -h = f + 18, -y*f + 9 - 31 = -5*h. Is f equal to -15?
False
Let v(t) = t**2 + 6*t - 6. Let q be v(-6). Let z be 240/612 - (-2)/q. Does z = 1?
False
Let m = -3/8207 + 15509/19975838. Is 0 bigger than m?
False
Let s(x) = x**3 - 4*x**2 - 20*x + 73. Let b be s(5). Let o = 0.5 + 1.5. Which is smaller: b or o?
b
Let i = -777 - -775.6. Is i greater than -5/2?
True
Suppose 4*w + 3 = d, -2*d = -2*w - 4 - 2. Suppose -n - 3*j = 4*n - 14, -d = -j. Suppose 5*k = 3*v - 0*k - 16, 0 = 2*v + 5*k + 31. Are n and v unequal?
True
Let y be ((-2404)/(-10))/(20/15). Let z = y + -180. Let p = -2 + 2. Which is smaller: z or p?
p
Let l(y) = y**3 - 14*y**2 + 3*y - 43. Let c be l(14). Is c > -2/3135?
False
Let h = 16.18 + -8.1. Let q = 0.03 + -0.11. Let c = h + q. Which is smaller: c or 0?
0
Let q = 66 - 65.87. Which is smaller: q or -0.27?
-0.27
Suppose 5*w + 4*h + 5 = 0, w + 1 = 3*h + 2*h. Let s be -2 + w/((-12)/(-40)). Which is smaller: s or -6?
-6
Let s(t) = 18*t - 34. Let v be s(3). Suppose -4*c + 138 = 54. Is v smaller than c?
True
Let z(u) = -u**3 + 12*u**2 - 12*u + 14. Let y be z(11). Let q(l) = 10*l + 2 - 6*l + 8*l**2 + l**y - 3*l**2. Let p be q(-4). Is p at most as big as 4/3?
False
Let o be (6 + 51/(-6))*(-42)/5. Suppose -3*m = d + 15, -d + 5*m + o = -4. Let h = 0.23 - 18.23. Is d greater than h?
True
Let r be 4/24 - 178/(-12). Let b = r + -16. Let x = -2301/8 + 287. Are x and b nonequal?
True
Let l = 3 - 2. Let g(k) = -k**2 + 6*k + 12. Let d be g(9). Let u be -3 - (96/d - -3). Is l less than u?
False
Suppose -16*a + 20*a - 8 = 2*t, -4*t = 3*a - 28. Which is bigger: -33 or a?
a
Let t(v) = v**2 - 10*v + 15. Let y be t(20). Suppose y = 3*w + 2*g, -9*w + 3*g + 281 = -5*w. Which is bigger: 72 or w?
72
Let k(n) = -n**3 + n**2 + 6*n + 7. Let o be k(-3). Suppose -28*w = -o*w + 246. Is w > -82?
False
Suppose 9*d + 12 - 39 = 0. Are 22 and d non-equal?
True
Let t be (-399)/56 + 7 - 45/280. Which is greater: 617 or t?
617
Let o(j) = -j**3 - 27*j**2 - 47*j + 72. Let d be o(-25). Which is smaller: d or -32/9?
-32/9
Let u = -67 - -46. Let k be (3/(-4))/((0 - 1) + -2). Are u and k non-equal?
True
Let w = 4.39 - 4. Let c = w + 0.61. Suppose -5*t + 22 - 3 = -3*m, -5*t + 1 = 3*m. Which is greater: t or c?
t
Let q(i) = i**3 + 37*i**2 - 2*i + 387. Let n be q(0). Which is greater: 3 or n?
n
Suppose -4*y = -6*y + 8. Suppose y*p = 8*p + 16. Let h = p + 6. Is h < 2?
False
Let s = 1/244 + 121/244. Which is greater: s or -2/7?
s
Let a = -0.0493 + -0.0507. Which is smaller: -7/22 or a?
-7/22
Let r = 46 - 35. Let i(t) = t**3 - 12*t**2 + 2. Let u be i(12). Let f = u + r. Is 12 smaller than f?
True
Let k = 10589367 - 33345913862/3149. Let b = k - 40/47. Which is bigger: -1 or b?
b
Let h be 1 - 126/129 - 0. Let q be 0/(21/(-4) + (-2)/(-8)). Is q at most as big as h?
True
Let h be -2*(3 + (-14)/4). Let v(k) = -k**3 + 9*k**2 - 13*k - 5. Let y be v(7). Which is bigger: h or y?
y
Let a(p) = -7*p - 119. Let c be a(-17). Is c at least -8/79?
True
Suppose -11 = 2*l - 3*u, u - 4 = -6*l + 7*l. Which is bigger: -3/184 or l?
-3/184
Suppose -14*t + 24*t - 420 = 0. Let l = t + -42. Which is bigger: l or 2/197?
2/197
Suppose 0 = -196*t + 193*t + 948. Is -0.1 at least as big as t?
False
Let j = 1287 + -1663. Which is greater: 0 or j?
0
Let k(c) = -2*c**2 - 7*c. Let u be k(-7). Let x = u - -195/4. Let n = 12 - 12.01. Which is smaller: x or n?
x
Let w = 33 - 30. Suppose w*l + 73 = -23. Which is greater: -33 or l?
l
Suppose 0*l + 1 = -l, x - 4*l - 367 = 0. Let i be (-2)/13 + x/(-91). Let r = 384/91 + i. Is r at most 0?
False
Let b = -7799 + 7802. Suppose 7*k = 2*k + 10. Suppose 0*x - x + k = 0. Which is smaller: b or x?
x
Suppose 4 = 42*q + 88. Is 17 >= q?
True
Let r = -0.76 + 0.7. Let u = r - 0.