econd derivative of 2*q**3/3 - 78*q**2 + 37*q. Let i be h(40). Let y(k) = k**2 + k + 2. Let j be y(0). Which is greater: j or i?
i
Let u be 34762/40 - (-39)/195. Let v = 868 - u. Is v <= -1.7?
False
Let o be 1 + (-2)/1 + 0. Let t(y) = -3*y**3 + 16*y**2 - 9*y + 15. Let g be t(6). Let s = -1889/17 - g. Which is greater: o or s?
s
Suppose 12865*k - 190 = 12830*k - 750. Is -770 <= k?
True
Let h be 4 - (140/(-157) + 5) - (-2 + 2). Which is smaller: h or 0?
h
Suppose -6*u = 102 + 60. Suppose z = 282 - 317. Which is smaller: z or u?
z
Let g be 3 + 7 + 11 + -17. Suppose -g*h = 5*u - h - 119, 2*h = -u + 28. Do u and 1 have the same value?
False
Let v = -6761.4 - -6773. Which is smaller: v or -43?
-43
Let d = 77.834 - 0.334. Let t = 77 - d. Let i = -29.5 - t. Is 0.1 greater than or equal to i?
True
Let z be -5 + (6 + 1544)/5. Suppose 511 = 4*p + d, 5*p + 2*d = 330 + z. Is 130 at least p?
True
Let s(i) = 3*i - 1. Let l be s(1). Suppose -k + 4*k - l*o = -9, -5*k - 2*o = -1. Let g = 128623/59 + -2180. Which is smaller: k or g?
k
Let q(r) = r**3 + 10*r**2 + 22*r + 8. Let x = 73 - 75. Let t be (-2)/((x/35)/((-6)/30)). Let z be q(t). Which is smaller: z or -0.3?
-0.3
Suppose 0 = 7963*p - 7931*p - 768. Is p at least as big as 337/14?
False
Suppose -95*k = -91*k - 24. Let d be 45/(-135) + 40/k. Which is bigger: d or 5?
d
Suppose 612 = -17*t - t. Which is smaller: t or -72?
-72
Let h(y) = y - 7*y + 4*y - 37. Let p = -12 - 0. Let i be h(p). Which is greater: -12 or i?
-12
Let s(r) = 2*r**2 + 20*r + 18. Let t be s(-9). Suppose t = 2*h + 5*h. Let c be -27 - -1 - (4 + h). Which is bigger: c or -31?
c
Let a = 1593.1 + -1511. Let g = a - 82. Which is smaller: g or -46?
-46
Suppose 238*c - 273*c - 19 - 121 = 0. Suppose -3*l = l + 5*v + 56, 0 = l + 4*v + 3. Is l smaller than c?
True
Suppose 6*h = 6 + 12. Suppose -l + h = -8. Let z(j) = -j**3 + 10*j**2 + 12*j - 10. Let t be z(l). Does -3/8 = t?
False
Suppose 5*q + 0*q = v + 920, -4*q = 4*v - 760. Suppose -15*b - 50 = -q. Let z = 4 - -5. Are z and b nonequal?
False
Let i(u) = -2*u**2 + 28*u + 11*u**2 + 5 - 29*u - 3*u**2 - u**3. Let v be (-1)/((-1)/18*3). Let n be i(v). Which is bigger: n or 2/25?
2/25
Suppose -2*m + 25 = 2*g - 55, 4*g - 4*m = 184. Suppose -44 = f - g. Are -6 and f equal?
False
Suppose 9625 = 3*c + p + 1079, -c + 2*p = -2844. Is c equal to 2849?
False
Let y(z) = z**3 + 7*z**2 + z - 26. Let s be -3*-4*(-2)/4. Let u be y(s). Which is smaller: 31 or u?
u
Let h(q) = -196*q + 1359. Let g be h(7). Is g < -0.006?
True
Let s = -591/2 + 302. Let z(a) = -a + 40. Let y be z(27). Suppose 3*q - 4*m = 38, -4*q + y = 5*m + 14. Which is smaller: q or s?
q
Suppose -27*s + 48 = -11*s. Let r be 0/((-1 + s)/(-1)). Which is smaller: r or -8/9?
-8/9
Let k be 2 + 4/(20/5). Suppose k*s = 15 + 18. Suppose -s*g - 11 = -10*g. Which is smaller: -10 or g?
g
Let z = -3377 + 37107/11. Which is smaller: -5 or z?
-5
Let j be (-10)/6 + 146663/90147. Is 1 less than j?
False
Suppose -149*z - 7111 = 70092 + 49745. Is z greater than -852?
False
Let j = 5600 + -5601. Which is smaller: -1/823 or j?
j
Let w = 2.998 - 2.7. Let h = 0.098 - w. Which is smaller: h or 0.6?
h
Let x = -10163 + 10319. Is 153 smaller than x?
True
Let u be (-3 + 8 - 0)/(-1) + 47/10. Which is greater: -82 or u?
u
Let h be (13 + (-1750)/135)*(-6)/1. Which is smaller: h or -122?
-122
Let p = -1.1 + 2.1. Suppose -11*u + 1667 = 402. Let c = u + -803/7. Which is smaller: c or p?
c
Let o = -268.0499 - -0.0499. Let b = -332 - o. Is b less than 2?
True
Suppose 148 = 21*b - 1511. Let s(j) = 14*j - 1. Let g be s(-6). Let o = b + g. Is o less than 2?
True
Suppose -2*p + 8 = -3*y, -3*p + y - 7 + 5 = 0. Let n be p/11*(-3 - -2)/(-1). Is n greater than or equal to 7/5?
False
Let p = -32.34 - -29.34. Is p less than -12/73?
True
Let l = 5/1616 - 3511/1265328. Is l at most -1?
False
Let t = 8 - 3. Let p = -4293 + 4283. Which is greater: t or p?
t
Let a = 17 + -7. Suppose 0*w = 11*w + 11. Is w != a?
True
Let s = 4131 + -4143. Is s < -272/21?
False
Let m = -2520 - -2489. Does -365/12 = m?
False
Let h be (-2 + 11)*(-29)/87. Let r be (-8 - h) + ((-344)/(-9))/8. Is -2 greater than or equal to r?
False
Let u = 0.263 - 124.263. Let j = 72 + u. Let d = 51 + j. Which is smaller: d or 19?
d
Let s = 17277540317/32715 + -11793378/727. Let t = s + -2586069/5. Let y = t - -5304. Which is smaller: y or -9?
-9
Let h be (-58)/87*12/128. Does h = -1/11?
False
Suppose 67*i + 178 = -2*i - 2582. Suppose 3*x - 4*p + 55 + 57 = 0, 0 = -2*p - 4. Is i greater than or equal to x?
True
Let c be 10/(-45) - 97/(-477). Let l = -43/530 + c. Let y = l - 1/15. Is 1 at least as big as y?
True
Let w = -454883/117734609 + 24/6299. Which is greater: 1 or w?
1
Let u = 892 + -1262. Is -1 equal to u?
False
Let p be 2314/660 + -2 + (1053/26)/(-27). Which is greater: p or 15?
15
Suppose -4*k - 37 = 3*u, 0 = -2*u - 3*u - 5*k - 55. Let o be (-5)/350*(-7)/(u/6). Which is smaller: 1 or o?
o
Let n = 79 - 74. Suppose 0 = n*c - 4*z - 7 - 9, -2*c + 12 = 4*z. Suppose -k + 15 = -j + 3*k, -c*k + 13 = -3*j. Which is smaller: j or 4/7?
4/7
Let m = -0.14 + -17.86. Let z = 27 + m. Let s = 74.026 + -75.026. Which is bigger: z or s?
z
Suppose -550*g + 546*g - 16 = 0. Let l be 10*(-3)/(-6) - (g - -8). Is l not equal to 7/5?
True
Let g = -4070 - -4053. Is g greater than 7?
False
Let i be 392/49*((-142)/72 - -2)*-1. Which is smaller: i or -875?
-875
Let m = -1903/4760 + -1/4760. Which is smaller: m or 7/255?
m
Let j be (((-168)/7)/(-72))/((-1)/(-4023)). Is j equal to 1340?
False
Let y = 64.8 - 65.1. Which is greater: y or 95?
95
Suppose -6045 = 15*p - 30*p. Which is smaller: 404 or p?
p
Suppose -9*t + 13*t = 29*t - 25. Which is bigger: -42/1789 or t?
t
Suppose 0 = -6*c + 5 - 5. Suppose c = -9*b + 3*b - 12. Let v be (-2)/8*b + (-35)/10. Is -2 equal to v?
False
Let x be (13/(-26))/((-1)/26*17). Suppose -a = n + 4, -3*n = -0*n - a - 8. Is x at least n?
False
Suppose 44*d + 3582 = 35*d. Let v = d + 3580/9. Are -0.01 and v unequal?
True
Suppose 0 = 5*n - 10, -5*b + 9362 = -n + 3479. Is 1179 less than b?
False
Let i be (64/78 + 6/(-39))*75. Which is smaller: -1 or i?
-1
Let s be 18/2 + 120/(-24). Let t be (-3)/s*((-122)/(-36) + -3). Is -1 less than or equal to t?
True
Let y be 3*(-5)/(-75)*5. Which is greater: -2/35 or y?
y
Let h = 10.74 - 5.84. Let z be 4*(-1)/3 + 0. Is h at most z?
False
Let n = 22.21 - 22. Let r = 1337/6 + -222. Let p = r + -1/3. Are n and p non-equal?
True
Let p be ((-4)/(-12))/(1/6) - -2. Let g(k) = 6*k**2 + 5 - 17*k - 5 + 8 + p*k**2 - k**3. Let j be g(8). Which is bigger: j or -1/72?
j
Let u(y) = -2*y**3 - 38*y**2 + 54*y - 58. Let m be u(-21). Is m greater than 591?
False
Let j = 3/1592 + -1263/36616. Are 1 and j non-equal?
True
Let q(l) = -l**3 - 12*l**2 + l + 14. Let b be q(-4). Let j be 3 - b/(-38) - (-218)/3154. Which is smaller: j or 1?
j
Let j = -185.52 - -179. Let s = j + 1.42. Which is smaller: s or 1/5?
s
Let g be (68/(-5))/(-5*22/(-275)). Let n(w) = 4*w**3 + w**2 - 5*w + 1. Let a(q) = -q**3 + q + 1. Let d(m) = -3*a(m) - n(m). Let x be d(3). Is g at most x?
True
Let r = -14335/32 + 448. Let f(i) = 3*i**2 - 29*i - 84. Let d(h) = -h**2 + 7*h + 6. Let g be d(6). Let z be f(g). Is z greater than r?
False
Suppose -5*a - a = -a. Suppose -2*z - 19 = 4*n - 5, a = -z + 5*n + 21. Which is bigger: 2/205 or z?
z
Suppose 5*t = -3*v + 36, 0*t + 2*v = -t + 3. Let w = -5.4 + -12.5. Let k = 16.9 + w. Which is greater: t or k?
t
Let f(x) = -5*x + x**2 - 2 + 16 + x - 4*x. Let y be f(6). Let s be 32/(y - 6) - -4. Which is bigger: -6 or s?
s
Let k be 2 + 4/(-3) + (-7910)/(-105). Suppose 0 = 2*p - 5*x + k + 41, 153 = -3*p + 3*x. Which is greater: p or -44?
-44
Let s = -567 - -304. Which is smaller: s or -262?
s
Suppose i + 2*i - 6 = 0, t + 4*i - 121 = 0. Let s = t + -113. Which is smaller: s or 0.177?
s
Let b(r) = r**3 - 11*r**2 - r + 10. Let t be b(11). Let s be 105/28 + t/(-4). Suppose 3*z + f - 67 = -s*f, f = 5*z - 149. Which is greater: 30 or z?
30
Let i be 8/(-14) + (-367938)/(-1129653). Let j = i + 32/139. Which is smaller: 1 or j?
j
Let f be (-3)/((-4)/(7 + -3)) + 1324/2. Which is smaller: f or 664?
664
Suppose -860 = 14*w + 4320. Let a be (-1108)/w - (14 + (-14 - -3)). Is a equal to 0?
False
Let w be (-7 - -13)/3 + -1. Let u be -4 - (w 