ller: m or x?
x
Let l(u) be the third derivative of u**4/24 - 2*u**3 + 5*u**2. Let y be l(16). Let c be 6/(-4) + (-1)/(-1). Which is greater: c or y?
y
Let j = -3 + 5. Suppose -4*b + 4 = -4*k, j = -3*k - 7. Which is smaller: b or -6?
-6
Let u be (-450 - 30/6)*-1. Is 455 greater than u?
False
Let t be (-83 + 1)/((-1020)/(-8)). Let c = t + -2/85. Let o be (2 + 1)/3*-1. Is o smaller than c?
True
Suppose 16*b - 18*b + 27 = -5*w, -4*b - 5*w + 9 = 0. Is 0.2 smaller than b?
True
Let y be (-1048)/(-12) + (-4)/(-6). Suppose j = -3*j - y. Is j at least as big as -21?
False
Let i = 13 + -20. Let f(z) = 6*z + 12 - 48*z**2 + 49*z**2 - 16. Let y be f(i). Which is smaller: y or 5?
y
Let p be ((-36)/10)/(102/(-765)). Which is smaller: 23 or p?
23
Let k(j) = 2*j**3 + 43*j**2 + 16*j - 66. Let t be k(-21). Let f(o) = 37*o**3 + 2*o**2 - 2*o + 1. Let g be f(1). Does t = g?
False
Let a be -8 - (-8 - (6 + -6)). Is 1/843 smaller than a?
False
Let a be 0/(-1*2 - 0). Let k = 25 + -40. Let m = 17 + k. Which is bigger: a or m?
m
Let w = -17 - -18. Let c(v) = -3*v + 1. Let r be c(2). Which is bigger: r or w?
w
Let x(r) = -r**3 - r + 5. Suppose 0 = g - 2*g. Let h be x(g). Suppose 0 = -t + h - 1. Which is smaller: 3 or t?
3
Let f be 2/1 - 672/7. Let q be (3 - (-242)/(-72))*f. Let n = q - 322/9. Is n >= -3?
True
Let k be (11 - (-8 - -20))/(383/2). Which is bigger: k or 0?
0
Let v be 25 - 1 - (-9)/(-3). Let x = -15 + v. Which is greater: x or 3?
x
Let v be (32/9)/((-2)/46). Let g be (-241)/3 + (-15)/9. Let x = g - v. Does 0 = x?
False
Let y = -23/4 - -77/12. Is -0.2 bigger than y?
False
Let i be 1 - 2/(4/(-6)). Suppose 0 = -3*l + i*l. Let x = 47/171 - 1/19. Which is bigger: l or x?
x
Suppose -2*l + 4 = 2*s + 10, -2*s - 6 = 3*l. Let i be (-241880)/(-1050)*(-10)/(-4). Let k = i - 576. Are l and k nonequal?
True
Let s = -4.71 - -4.31. Is s less than or equal to 0.015?
True
Let j = -110 + 3198/29. Which is smaller: j or 1?
j
Let l = 0.2 - 0.3. Let s = 0.06 - -0.19. Let c = 0.34 - s. Is c at least l?
True
Let q = -68.1 + 74. Let d = 5 - q. Is d equal to -1?
False
Let g(q) = q**2 - 3*q + 4. Let a be g(3). Suppose 5*m + 6 + a = 0. Let t be -1*1*(-1 - m). Is -1/14 less than or equal to t?
False
Let w(a) = 9 + a**3 - 10*a + 12*a**2 + a**2 - 3*a. Let i be w(-14). Let y be 13 + 7 + 2 + i. Is 17 bigger than y?
False
Let p = -0.44 + 1.14. Let f = p + -0.5. Is -0.9 bigger than f?
False
Let c = 0.4872 + 0.0438. Is c at most 0.1?
False
Let y(m) = m**2 - 8*m + 4. Let v be y(8). Suppose 14 = 3*w - 5*w - 2*r, -2*w - v*r = 20. Let q(c) = -3*c - 27. Let o be q(-7). Which is greater: o or w?
w
Let d(s) be the second derivative of s**4/4 + 5*s**3/2 - 3*s**2/2 - 37*s. Let r be d(-7). Is 40 greater than or equal to r?
True
Let o = 99 + -99. Let j = -0.05 + -0.95. Is j not equal to o?
True
Suppose -19 = -2*h - c - 4, 4*c = -2*h + 30. Suppose -y = 0, -5*s + h*y = -2*s - 81. Which is greater: 25 or s?
s
Let i = -15.1 + 15. Which is smaller: i or 3?
i
Let z be (100/(-10))/(-2 - 0). Let o be -3*1 + (z - -2). Suppose 5*d = 2*k - 19, -o*k - 2*d = 21 + 1. Is -3 greater than k?
False
Let k(x) = -x**3 - 4*x**2 - 5*x - 2. Let z be k(-3). Suppose z = -115*j + 111*j. Which is smaller: j or -5/13?
j
Let i(n) = -4*n - 132. Let l be i(-33). Is -2/515 less than l?
True
Let o(q) = q - 2. Let j(w) be the first derivative of -w**3/3 - 3*w**2 + 8. Let l be j(-6). Let c be o(l). Which is bigger: -14/5 or c?
c
Let v = 50 - 48. Suppose 0 - 18 = -v*u. Which is smaller: 3 or u?
3
Let c(f) = f**2 + 6*f - 52. Let p be c(-11). Let n = 3.1 - 3. Which is bigger: n or p?
p
Let r be 126/(-56)*(-4)/3. Suppose p - r = 3*b, -2*b + 12 = 4*p + 2*b. Suppose 3*c + 24 = p*h - 7*h, 30 = -5*h - c. Which is greater: -5 or h?
-5
Let p = 2 - 1.8. Let c = -2344 + 2480.1. Let g = c + -136. Which is smaller: g or p?
g
Let d(m) = -51*m**3 + 4*m**2 + 20*m + 34. Let n be d(-2). Are 419 and n equal?
False
Let p = -461.806 - -462. Is p <= 0.2?
True
Let z = -707440/6279 - -2/2093. Suppose -665 = 5*o - 95. Let d = o - z. Are 0 and d nonequal?
True
Let v(o) = -o**3 + 3*o. Let d be v(-2). Let a be d*(-2)/8*13/208. Which is bigger: 0 or a?
0
Let c(i) = 321*i + 299. Let q be c(-6). Is -1626 at most as big as q?
False
Let f = -7.8 + -0.2. Let l = 39 - 38.958. Let y = 0.142 - l. Which is smaller: y or f?
f
Let c = -300 + 173. Let w = c - -1779/14. Suppose -3*k - 3*k = 6. Is k not equal to w?
True
Let n = -409 - -409. Which is smaller: -18/49 or n?
-18/49
Let l be ((-1085)/(-140))/(3/120). Which is smaller: l or 309?
309
Let m = -174 + 31. Which is bigger: m or -144?
m
Let i = 33235/8 - 4149. Does i = 6?
False
Let j be 159/(((-7)/28)/((-5)/(-30))). Which is bigger: j or -101?
-101
Let j = -139 - -124. Let g = 326/35 - 68/7. Is g smaller than j?
False
Let a = 2 - 6. Let n be (-16)/(-6)*9/(-7)*1. Is n bigger than a?
True
Let i(o) = -o**3 + 6*o**2 - 9*o + 15. Let a be i(5). Suppose 0 = -5*c + 2 - 12. Is a at most as big as c?
True
Let h = -118 - -122. Which is greater: h or 5?
5
Let q = -10 + 12. Suppose -4*j + j - q*h - 25 = 0, 5*j = -5*h - 40. Is j equal to -7?
False
Let p = -17939/13 - -1381. Does 0 = p?
False
Let m = 70 + -109. Is m at least as big as -0.12?
False
Suppose 0 = 298*w - 292*w - 6. Which is greater: 3/1517 or w?
w
Let r = -12 - -17. Suppose 5*n - 168 = -3*t + 9, 2*t = -r*n + 173. Is n less than 0.1?
False
Let j be -2 - 1/((-99)/192). Let c = j + 43/165. Let m = 1079.9 + -1079. Which is smaller: m or c?
c
Let m = 785228/101787 - 2/14541. Which is greater: m or 7?
m
Let l = 135 + -51. Let u be 0/2 + (l/10)/(-6). Which is bigger: -2 or u?
u
Let y = -1 - -1. Let r = -1.3 + 74.3. Let b = r + -81. Is y >= b?
True
Let k(a) = -a**3 - 52*a**2 + 108*a + 5. Let d be k(-54). Which is smaller: -20 or d?
-20
Let c be (4/(-24))/1 - 6774/(-41076). Which is smaller: -1 or c?
-1
Suppose -2*j = -2*g - 52, -4*j + 0*g = -5*g - 100. Let s be 2*-2*3/j. Suppose -13*p = -p - 12. Which is bigger: p or s?
p
Let m(b) = 28*b + 217. Let k be m(-8). Let t(z) = -z + 1. Let f(h) = -4*h - 8. Let w(v) = f(v) - 3*t(v). Let x be w(-5). Which is greater: x or k?
x
Let d(y) = -4*y**2 - y + 1. Let k be d(1). Suppose 10 = 5*h - 20. Let u(b) = b**3 - 7*b**2 + 3*b + 12. Let o be u(h). Which is smaller: k or o?
o
Let d be 6/105*(-118138)/(-32). Let s = d + -41/70. Let v = -210 + s. Which is smaller: 1 or v?
v
Let d = 14.3 - 13.3. Let p = -8 + 8.12. Let o = 6.88 + p. Which is smaller: o or d?
d
Let i be (-1340)/(-5168) + -5 + 57/12. Are 0 and i equal?
False
Suppose 3*k = -3*y, 3*k - 4*y + 7 + 0 = 0. Which is greater: k or -4/15?
-4/15
Suppose 0 = -17*n + 16*n + 3. Let f be 1/4*(-156)/(-24). Is n < f?
False
Let n = 1434 + -760. Which is smaller: n or 675?
n
Let u = 28/165 + -2/55. Let a(t) = -1 - t**2 + 70*t - 146*t + 74*t. Let p be a(-2). Is u less than p?
False
Let g be -3 + (-1994)/6 + (-8)/12. Which is smaller: -338 or g?
-338
Let y = -4 + 6. Suppose -29 = -3*f + 5*z, -4*z - 25 = -y*f - f. Which is smaller: f or 5?
f
Suppose 0 = -0*g + 4*g + 28. Let p = 2 + -7. Let s = p - 3. Which is smaller: g or s?
s
Let c = 617 + -618. Is -19/8 smaller than c?
True
Let a be -1 + -4 - (-5 - 0 - 1). Which is smaller: 4/125 or a?
4/125
Suppose 0 = 3*r - 3, 4*d - 183 = -r + 2. Suppose 11 = 5*o + d. Let a be -6*(3 - o/(-2)). Which is smaller: 3/2 or a?
3/2
Let o = -519 - -28543/55. Which is smaller: o or 0?
o
Let j = 16 - 35. Let x = j + 19. Let u be 6/3 + (-36)/42. Is u > x?
True
Suppose 32*d = 80*d + 48. Let v be (20/(-8))/(1/10). Which is bigger: d or v?
d
Let r = 4 + -4. Let b = -42 - -24. Let p be ((-8)/(-9))/4 + (-2)/b. Is r at least p?
False
Let k = 0.067 - -0.133. Is k greater than or equal to -282?
True
Let i(v) = -96*v + 13. Let h be i(1). Is h less than or equal to -83?
True
Let h = 79 + -73. Suppose -5 = -z - 2*o, h*o + 16 = -z + 11*o. Are z and -2/7 nonequal?
True
Let h = 292 - 198. Suppose n = -3*s + 86, -3*s + h = 5*n - 0*n. Is s smaller than 29?
True
Suppose 2*p + a = -0*p + 15, -3*a = -5*p + 21. Is -4 at most p?
True
Let a(v) = -8*v**2 + 13*v + 15. Let s be a(-12). Let m = -249551/193 - s. Are m and 1 non-equal?
True
Let b = -472 + 466. Are -11 and b nonequal?
True
Let b = 9161/3355 - 1/305. Suppose 4*h = 0, 3*f + 0*f - 12 = -h. Are f and b equal?
False
Let c = -0.05 + 75.05. Let s = c