 -29?
False
Let h(i) be the third derivative of -i**5/60 + 5*i**4/12 - 11*i**3/3 + i**2 + 26*i. Let k be h(4). Which is bigger: k or -2/53?
k
Suppose -371*c = -45241 - 21. Let k(g) = 121*g**2 + g. Let d be k(-1). Are c and d equal?
False
Let s(w) = -w + 7. Let q be s(3). Suppose -4*d - q = -l + 8, 0 = -3*d - 9. Let k be (l - 0/(-4))/(-1). Is k less than or equal to -2/31?
False
Suppose 24 = -2*n + 6*n + 4*s, -5*n - 4*s + 32 = 0. Suppose -n*x + 1067 = 3*x. Is 95 <= x?
True
Let n = -1001 - -1000. Are n and 3 unequal?
True
Suppose 0 = -20*g + 16 + 44. Suppose -2*n - 3*n = -4*p + 24, g = -5*p - 2*n. Is 2/227 bigger than p?
False
Let h be 1*(2 + -5) + (2 - 298275/(-298245)). Which is bigger: 1 or h?
1
Suppose -3*n + 611 = 2*w, 5*w = 10*n - 5*n + 1465. Let i = w + -306. Is i > -13?
True
Let l(m) = 335*m + 16. Let h be l(5). Let g = -5159/3 + h. Let c = -28 - g. Is c equal to 1?
False
Let o = 54383 - 379971/7. Let r = o - 4968/49. Let j = 0.5 - 0.5. Which is bigger: j or r?
r
Suppose 0 = -2*y + 213 - 713. Let h = -38/1255 + -312206/1255. Let m = h - y. Is m > -0.2?
True
Let u = 41 + -111. Let z be ((-568)/(-24))/(3/(-9)). Which is smaller: z or u?
z
Let c = -747 - -890. Suppose -c + 376 = o. Which is smaller: o or 2/5?
2/5
Suppose -13*c + 9*c + 4 = 0. Let m be 1/(c + -3) - (-42547)/314. Is m less than or equal to 136?
True
Let s = 127 + -126.23. Let m = -0.519 + -0.243. Let c = m + s. Is 0.1 at most as big as c?
False
Suppose 0 = 2*q + 3*t + 1, 3*t + 2 = q - 2*q. Let b be (1 + q)/1 - 581/238. Is b at least as big as 1?
False
Let f = -70129680/583 - -120291. Which is smaller: -1 or f?
-1
Let s be 13 + 4 + (-7)/1. Let j(l) be the second derivative of -l**3/6 + 12*l**2 + 3*l - 47. Let i be j(s). Is 10 less than or equal to i?
True
Let q = 3028/609 - 74/21. Which is greater: 1 or q?
q
Let q = -21506/7 - -3072. Is 687/8 smaller than q?
False
Let n = 0.006 + -0.062. Let w = n + -8.044. Let a = -8.095 - w. Is a less than -0.1?
False
Let d = 7709.9 + -7710. Let k = -638.9012 - 0.0988. Which is smaller: k or d?
k
Let l(m) = m**2 - 2*m - 51. Let x be l(8). Let j be x/6*(126/(-69) + 2). Does j = -1?
False
Let h = -90.9 - -90.9173. Let p = 3.3173 - h. Which is smaller: -14 or p?
-14
Suppose -n = 0, -8*n = 3*d - 3*n + 45. Let p be 10/(-6) + ((-21250)/d)/10. Is p not equal to 139?
True
Suppose -470 = -4*s + 6. Suppose 6*m + s = -m. Let t(n) = -n**3 - 16*n**2 + 17*n + 10. Let y be t(m). Are 9 and y equal?
False
Let q(j) = 254*j + 55. Let c be q(-1). Which is greater: c or 9?
9
Let c(l) = -l**2 + 12*l - 21. Let u be c(10). Let j be (-10)/(-6)*(2 - u). Let d = 82 - 78. Which is smaller: d or j?
d
Let q = 19040 + -95526/5. Which is greater: -65 or q?
-65
Let a = 0.2983 + -0.4983. Which is greater: -274 or a?
a
Let w = -2987 - -2988. Which is bigger: -48/107 or w?
w
Let v be 4/(-18) + (-47937)/189 - 1. Let u = v - -255. Is u greater than or equal to 3/13?
False
Let s(a) = -a**3 + 30*a**2 + 6*a - 75. Let q be s(30). Let c = q - 105. Which is greater: 1/154 or c?
1/154
Let y(d) = -8*d**2 - 14*d + 51. Let s be y(3). Let a be ((-4)/(-28))/(36/s). Let c = -38 + 22. Which is bigger: c or a?
a
Let d(v) = -v**2 - 13*v + 32. Let r be d(-14). Let f = 28 - r. Let t be (-5)/f*(-2 + 44/7). Is t equal to -2?
False
Let z = -68 + 62.3. Let j(d) = -d**3 - 400*d**2 + 5774*d - 9108. Let u be j(-414). Which is smaller: u or z?
z
Suppose -8*i + 290 = 90. Suppose -4*a - i = -2*a - 5*x, -3*a - 4*x = -20. Let d = -67/3 - -1739/78. Which is smaller: a or d?
d
Suppose -10*u - 4*h - 5 = -9*u, -5*u = -2*h + 47. Let i = -17949/20 - -1171/5. Let w = -671 - i. Is u bigger than w?
False
Let s = -294 + 208. Let u = -84 - s. Let w be u/(-6) - 332/12. Is w equal to -27?
False
Suppose 11177 = -154*v + 134*v - 10483. Are v and -1084 equal?
False
Let j = -4880 + 4553. Which is greater: j or -977/3?
-977/3
Let m = -10684 - -10483.44. Let o = m + 201. Is -2/5 != o?
True
Let y = 6.786 + -9.786. Which is smaller: 1168 or y?
y
Let v = -18319 + 7972. Which is smaller: v or -10348?
-10348
Let s = -8592 + 8594. Which is smaller: 85/132 or s?
85/132
Let h = 1956 + -1948.13. Let q = h - 7.4. Let j = -0.37 + q. Is j greater than 1/7?
False
Suppose -2*f + 56 - 50 = 0. Suppose -f = -d - 2. Let v = 5.06 + -5. Is v at least as big as d?
False
Let d = 9850 - 13753. Which is smaller: d or -3902?
d
Let x = -124 + 123. Let w be (-279)/12*172/(-1). Let n = w + -635839/159. Is n less than x?
False
Suppose -5*g + 3*f + 99 = 0, -3*f + 2*f = 5*g - 107. Suppose g*p - 20 = 1. Is 3/113 less than p?
True
Suppose -2*x + 7*x = 20. Suppose -r = -x*c - 19, 4*r = -0*r + c + 1. Let p be (6/(-16))/(85/(-68) - 0). Which is smaller: r or p?
r
Let q be 38 - (2 + -1 + 2 - 0). Let l = -26506 + 291179/11. Let v = q + l. Is v at most 0?
True
Let u = 48 + 6. Suppose -3*d - 48 = -u. Let g be (d - 3/(-5))*10/(-4). Do g and -3 have the same value?
False
Let y = 165 - 821/5. Let x be ((-3)/(-6))/1*4. Let h(n) = 2*n - 4. Let o be h(x). Is o bigger than y?
False
Let t = 8666 + -15018. Which is smaller: t or -2/5?
t
Let w = -21.2 + 21.177. Let a = w + 1.023. Which is smaller: 0.02 or a?
0.02
Let d = 104 - 97. Suppose -d*g = -434 + 84. Suppose -2*x + 210 = 4*h, -4*x = -4*h + 5*h - 70. Is g less than h?
False
Let y = -0.114 + 0.1. Let x = y - 39.986. Let l = -13.18 + 12.18. Are x and l equal?
False
Let j = 6622 - 5680. Is 941 >= j?
False
Let c = -889/2 + 12427/28. Let s = 93/140 + c. Let q = -27 - -27. Is q at least s?
True
Suppose -3*i = 5*w - 8, 4*w + 5*i = 2*w - 12. Let a be (w*(-6)/(-10))/((-20)/750). Let g be (72/a)/((-6)/5). Which is bigger: 0.1 or g?
g
Suppose 2*l - 6*l + 12 = 0. Suppose l*n = -8*n - n. Let m be -13 - (-5 - -5 - n). Which is greater: -12 or m?
-12
Let t be (-15)/((-138)/(-24) + -6). Let x be (t/560)/((-98)/(-8)). Is x >= 1?
False
Let c = -11.08 - -10. Let b = 0.08 + c. Let q = -1671 - -1671.09. Which is greater: q or b?
q
Suppose 5 = -5*b - 3*p, 5*b + 4*p = 2*b - 14. Suppose 40*f = 3115 + 5613 + 2552. Suppose 0 = b*j + 2*v - 24 + 168, -4*j - f = v. Is -70 less than j?
False
Let q = -81/101 - -17925/3838. Does 5 = q?
False
Let s = -6069.9 + 6073. Which is smaller: s or -50/3?
-50/3
Suppose -138*r = -263*r + 131*r. Is 5/52 less than or equal to r?
False
Let j(b) = -b**3 + 13*b**2 + b - 9. Let i be j(13). Let q(n) = -3*n**3 - 4*n**2 - 3*n + 4. Let z be q(i). Let k be z/(-110)*(-5)/2. Which is greater: k or -8?
k
Suppose 67*a = -102*a - 28392. Which is smaller: -172 or a?
-172
Let v = -239 - -239.95. Let y = -0.85 + v. Is y at most as big as 5.2?
True
Let g(h) = 1 + 32*h + h - h**3 + 11*h**2 + 0*h**3 - 23*h**2 - 5*h. Let d be (-4)/(-10) + 144/(-10). Let l be g(d). Which is bigger: 2/169 or l?
l
Let t be ((-10754)/10 - 75/125) + 4. Let g = -3157/3 - t. Is g smaller than 0?
False
Let y = -11245/2 - -5628. Is 329/5 greater than or equal to y?
True
Let v = -81 - -81. Suppose v = 5*o - 5*d - 25, -4*o - 3*d = -3*o + 11. Suppose 0 = -3*a + 6, r + r - 3*a = 12. Is r > o?
True
Let y = -0.4809 + 0.6809. Which is bigger: -6/7 or y?
y
Suppose -3*u + 4901 = -5*d + 407, -5*u + 4490 = -5*d. Let v be d/(-513) + (0 - (-4)/(-3)). Which is smaller: v or -2/5?
-2/5
Suppose 99 = -j + 4*c, -10*c + 360 = -4*j - 6*c. Is -54 at least as big as j?
True
Let j be 4/(-18) + -16*(-6)/(-54). Let h be (-1)/4 + 13/(-12). Which is greater: j or h?
h
Suppose 0 = 7*a + 219 - 1479. Suppose 8*d + a = 3*d. Let l = d - -145/4. Which is bigger: -39 or l?
l
Let m = 3653 - 3663. Let u be ((-1)/3)/((-1)/(-6)). Let s(g) = 2*g**3 - 2*g. Let r be s(u). Which is bigger: m or r?
m
Let p = -13 - -13. Let k be (4/6 - 1460/534) + 2. Let u = k + 149/890. Which is smaller: p or u?
p
Let o = 9373 + -9373.1. Is o greater than -0.63?
True
Let m(t) = 7*t**2 + 14*t - 13. Let v be m(1). Suppose -p = -3*d + 20, 3*d - 7*p - 22 = -v*p. Suppose -4*w + 20 = w. Does w = d?
False
Suppose 0 = -3289*k + 3278*k - 7172. Which is smaller: k or -651?
k
Let y(h) = -h**2 - 9*h - 11. Let q be y(-7). Suppose 4*i + u - 23 = 0, -q*u + 5 = -4*u. Suppose 0 = i*o - 9*o + 42. Which is smaller: o or 20?
20
Let m = -0.219 + 11.819. Let p = m - 12. Which is smaller: p or -2/7?
p
Suppose 3*k + j - 3*j + 1406 = 0, 4*k + 4*j = -1848. Let z = 477 + k. Which is smaller: z or 5?
5
Let o(s) = -383*s - 2768. Let g be o(-5). 