e
Let d(y) be the second derivative of y**4/12 + y**3/3 - 2*y**2 - 26*y. Let z be d(-2). Which is smaller: z or -7?
-7
Let a = -425 + -381. Which is smaller: -0.1 or a?
a
Let y = 20.9 + -20. Let g = y - -0.1. Let f(b) = 3*b - 18. Let x be f(7). Is x at most as big as g?
False
Let a(j) = j - 8. Let g be a(12). Suppose 0 = 2*q - k - 2, g*q + 2 = 5*k + 6. Which is greater: 2/23 or q?
q
Let q = 2219 - 4203/2. Which is smaller: 119 or q?
q
Let p = -34 + 96. Let j = -44 + p. Let w = -18.8 + j. Is -1 > w?
False
Let t be (2/6)/(1/(-5)). Suppose -n = -18 - 9. Let a = n - 30. Is t greater than a?
True
Let m(w) = 685*w**2 + 3 + 2*w - 3 - 690*w**2. Let o be m(1). Which is bigger: o or -25/6?
o
Suppose -29*d + 26*d = 42. Which is smaller: -9 or d?
d
Suppose 0 = -3*s - 5*p + 89, 180 = -3*s + 8*s + 2*p. Suppose -2*z + 18 = -o, -3*o = -0*o - 2*z + s. Which is bigger: -12 or o?
o
Let s = 66 + -20. Let g be 1/(-6) - s/(-24). Is 3 less than g?
False
Let m be 19/(-30) + 18/(-27). Let u = 9/10 + m. Does u = -1?
False
Let x(s) = -s**2 + 10*s + 2. Let f be x(10). Let d be f/6*0/7. Let q be (0/3 - d)/(-2). Which is smaller: 1 or q?
q
Suppose -z = -4*y - 5*z - 136, -5*y + 4*z - 152 = 0. Suppose 224 = -3*w - 4*w. Is y < w?
False
Suppose -5*g - 15 = 30. Let u be (-9)/(-12)*(-3)/g. Which is greater: u or 6/5?
6/5
Suppose -l - 4*l = 10. Let j be (-29 + -1)*l/2. Which is smaller: 29 or j?
29
Let b = -166 - -1170/7. Let x(p) = p**3 - 6*p**2 - 8*p + 9. Let q be x(7). Suppose 1 - q = -f. Is f bigger than b?
False
Let p = 55 + -41. Suppose 0 = 3*w - 43 - p. Which is greater: w or 18?
w
Let w = -773 + 815. Is w at least as big as -2/9?
True
Let p = -20 - -21. Let t(g) = 20*g**2 - 1. Let c be t(p). Is 19 greater than or equal to c?
True
Let b be (20/40)/(2/4). Let k = -56.1 + 49. Let i = 7 + k. Which is smaller: i or b?
i
Let s be 1/(-3) + 0 + 11100/33084. Which is greater: s or 1?
1
Suppose 0*w - 3*w = -12. Suppose -4*b + w = 0, -b = -3*p + 3*b - 7. Is 6/17 less than or equal to p?
False
Let v = -12.8 + 0.8. Let k = v - -11.5. Let s = k - -0.1. Which is bigger: -2/7 or s?
-2/7
Let t = -67.68 - 14.22. Let i = t - -82. Which is smaller: i or -41?
-41
Let b = -0.485 + 34.485. Which is smaller: 4 or b?
4
Let u = -100 - -96. Let n be (u + 5)/(-2 - -1). Let v = 376 + -2637/7. Which is smaller: n or v?
n
Suppose 3*c - 60 = -3*q, 3*q - 80 + 20 = -c. Suppose 5*t = 3*j + 37, 0 = j - 2*j + t - 9. Let n be -2 + (-12)/q*j. Which is bigger: 0 or n?
n
Suppose n = -2*d + 27, -2*n = -7*n + 2*d + 123. Suppose 4*u + 94*v = 93*v + 102, -3*v + 72 = 3*u. Which is smaller: n or u?
n
Suppose -z - 7 = -2. Let f = 54 - 62. Which is bigger: z or f?
z
Let o(c) = c**3 + 30*c**2 - 2*c - 50. Let n be o(-30). Suppose -6 + n = -2*h. Is -6 less than or equal to h?
True
Let a be (1936/(-12) - -9)*-3. Is 455 at most a?
True
Let b(d) = d**3 + 5*d**2 - 7*d - 15. Let n be b(-6). Which is bigger: n or -12?
n
Let z(j) = j**3 + 9*j**2 + 10*j + 6. Let r be z(-6). Is r < 54?
False
Let q be 300/(-900) - (2882/(-6) + 0). Is q at least as big as 482?
False
Let x = 3.406 - -0.214. Let c = -0.38 - x. Which is greater: c or -3?
-3
Let d be 6 + 150/(-24) + -1 + (-5)/(-20). Let x = -115/4 + 29. Is x >= d?
True
Let m be (1/3)/(8/(-1992)). Let i = -169/2 - m. Which is smaller: i or -2?
-2
Let t = 10 + -29/3. Suppose -4*b + 12 = 2*b. Let i be b/8*-2*(-4)/(-4). Which is bigger: t or i?
t
Suppose 366 = 27*u + 231. Which is greater: 82/17 or u?
u
Let c be (-4)/(-42)*(0 + 3). Let s = 247 - 258. Is s >= c?
False
Let o(t) = t**3 + 10*t**2 + t + 8. Let n be o(-10). Let l be 6/n*(-45)/(-108). Which is greater: l or 0?
0
Let d be -1 + -1*2 + 322/(-126). Which is greater: 2 or d?
2
Let l = -1.05 + 0.05. Let b = l - -1.7. Let k(m) = -m**3 + m**2 + 2*m + 1. Let y be k(2). Is b greater than y?
False
Let y = 2 + -4. Let u = y - -1. Let z be 2/u - (-2 - 0). Is z greater than or equal to -2/7?
True
Suppose v - 1 = 0, 124 = -x - 11*v + 10*v. Is x greater than -374/3?
False
Let y(c) = 2*c**2 - 19*c + 45. Let g be y(3). Do -2 and g have the same value?
False
Let c = 1.5 - -4.5. Let j = -5 + c. Let m = 3 + j. Which is smaller: m or -2/3?
-2/3
Let a = -25 + 25. Suppose -3*w + 3*p + 14 = -p, -5*w - 5*p = a. Suppose -3*c + 0*c + 3 = 0. Which is greater: w or c?
w
Suppose 0 = 3*v - 4*v + 2, -5*g + 2*v + 86 = 0. Is 25 >= g?
True
Let o = -195 + 194.9. Which is smaller: o or 426?
o
Suppose 2*d + 2*l - 10 = 0, 4*d - 8*d - 5*l + 23 = 0. Let s = 21.34 + -36.34. Which is bigger: s or d?
d
Let l = -148 + 163. Which is greater: -3 or l?
l
Let q = 36 - 40. Suppose -3*u + 0 + 3 = r, -u - 5*r = -15. Let k be (9/q)/(u + 3). Which is smaller: k or -1?
-1
Suppose -b = 4*b - 5. Let j = 2 - b. Let w = -10/321 + -412/7383. Is j greater than or equal to w?
True
Suppose 5 = -3*s + a, 4*s - 4*a = -a. Which is smaller: s or -1.03?
s
Suppose 44 = 14*o + 58. Let k be 4/3*(-21)/(-2). Let l be (-4)/k + 4/14. Are l and o equal?
False
Let a be (-890)/130 - -9 - 0/2. Which is bigger: a or 3?
3
Suppose 2*b - p = -4 + 21, 0 = 3*b + p - 33. Suppose 0 = 3*f + h - 30, -15 = -4*f + 3*f - 2*h. Which is smaller: b or f?
f
Let w = -1 - -1. Let q be -2 - (-2 - (-2 - w)). Suppose -2573*x = -2559*x + 42. Is x > q?
False
Let d = -82 + 86. Suppose d*h + 5 = 4*b + 1, b + 9 = 3*h. Which is smaller: b or 14/3?
14/3
Let w be (-63)/(-105) - (-6)/15. Which is smaller: -21 or w?
-21
Suppose 12*u - 54 = 6*u. Is 10 < u?
False
Let l = -354 + 318. Which is smaller: -30 or l?
l
Let p be ((-4)/(-2))/((-1)/2). Let o be 2*(45/10)/(-9). Let c be 1/3 + o/((-9)/(-30)). Which is bigger: c or p?
c
Let r = -44 - -67. Suppose 5*y + h = r, 3*y - 2 = -4*h + 5. Suppose 1 = y*v - 9. Which is smaller: 1 or v?
1
Let n be (0 + -6)/((-21)/(-14)). Let l(t) = -t - 2. Let z be l(n). Suppose 3*u - z = -2*v + 16, -5*u + 2*v = -46. Is u bigger than 8?
False
Let l be ((-6)/1)/(-2) - 0. Let k be (27/15)/((-2)/(-20)). Let w(s) = -s**3 + 19*s**2 - 20*s + 38. Let o be w(k). Is l greater than o?
True
Let s be (-92)/(-322) + -2 + 162/21. Let i(n) = 2*n - 1. Let r be i(1). Let x be -8*1*r/(-2). Are s and x unequal?
True
Let x = 8869 + -5418962/611. Which is smaller: 0 or x?
x
Let p be (-624)/(-5) - 2/(-10). Let t = -6 + 13. Let l be p/35 + 3/t. Is l at least 2?
True
Let c = 178 - 178.6. Which is bigger: -11 or c?
c
Let q = 1 + -1. Let d(b) = -b**3 + 3*b**2 + b. Let k be d(3). Suppose -y + 6*z - 3*z = k, -2*y + 5*z - 5 = q. Which is greater: y or 3/7?
3/7
Let t = 0.251 - 15.551. Let k = t - -15. Let g = 6 - 6. Is g at least k?
True
Suppose 0 = 2*g - 4, -2*g + 0 + 112 = 3*m. Suppose -m*y = -29*y + 98. Which is smaller: y or -18?
-18
Let j = 0.11 + 0.01. Let k = j + 6.88. Let s = k + -6.9. Is -1/2 at most as big as s?
True
Let b = 48 - 102. Let l be 0/(-1) - (-3)/b. Which is smaller: 1/2 or l?
l
Suppose -3*o + 5*c - 25 = 0, -20 = 2*o - 0*c - 5*c. Let i be 1*(-4 + 8) + o. Which is smaller: i or -1/6?
i
Let p be (-10)/(-4)*(-16)/(-5). Suppose 5 = -z + 10, -c - z = -p. Which is smaller: c or 4?
c
Suppose 3*w = -17 + 23. Suppose 13 = w*p - 31. Is p smaller than 22?
False
Let k be 29/(-4) + (-1)/(-4). Let d = 47 + k. Suppose h - 6*h = d. Which is bigger: h or -7?
-7
Let h be -5*(24/(-12) - -3). Suppose 14 = -5*m + x, 4*m - 5*x + x + 8 = 0. Is h >= m?
False
Suppose 13 = 3*n + 37. Let v = -14 + n. Is v less than or equal to -23?
False
Let o be 41538/110 + 14/77. Let l = o - 376. Is 2 at least as big as l?
True
Let j be (19 - 0) + (1 - 0). Suppose 20 = 1762*a - 1761*a. Is a bigger than j?
False
Let j = -0.38 + 0.98. Is -0.06 greater than j?
False
Let r(w) = w**2 + 5*w - 7. Let z = 46 + -32. Let l = -20 + z. Let h be r(l). Which is smaller: h or -3?
-3
Let k = 156927/8173 - 14/743. Which is smaller: 20 or k?
k
Let p = 203 + -261. Does p = -56?
False
Suppose -87 = 5*b - 487. Let f = 8332 - 8252. Is b < f?
False
Let b = 2 - 4. Let m be b/(-8) - 531/(-36). Suppose -5*t + 3 = -r - 10, -m = 5*r. Is t at least 4/5?
True
Suppose -5*a + 18 + 7 = 0. Suppose 5*z = a + 10. Is z greater than or equal to 11/3?
False
Let r(o) = 2*o**3 + 5*o**2 - 6*o - 5. Let y = 67 - 70. Let f be r(y). Is 5 at most as big as f?
False
Suppose 5 = -c - 3*r, 3*c - 2*c + r = -1. Which is smaller: -4/243 or c?
-4/243
Let u = -0.33 + 0.63. Let f = u - 24.3. Which is smaller: 1 or f?
