<= c?
True
Let r(h) be the first derivative of h**4/24 + 7*h**3/6 + 2*h**2 - 12. Let t(u) be the second derivative of r(u). Let o be t(-8). Which is greater: -1/3 or o?
-1/3
Let o = 6 + -18. Let p = -11.9 - o. Let f = p - 0.1. Which is smaller: f or 5?
f
Let q(a) = -a**3 + 11*a**2 + 5. Let h be q(11). Suppose 5*l - 23 = -b, h*b + l + 6 = 25. Which is smaller: b or 5/3?
5/3
Let b(j) = j - 10. Let m be b(9). Suppose -2*i + 1 + 265 = 0. Let h = -1863/14 + i. Is m greater than h?
False
Let l = 343901/6690 + -7/1338. Is l >= 51?
True
Let m be (-4)/(-2)*(2*-224)/(-4). Suppose -11*t + 3*t - m = 0. Which is smaller: t or -27?
t
Suppose -2*r - 66 = 5*k, r + 6 = 3*k - 5. Let f be (-32)/6*r/(-276). Let o = 0.2 + -0.1. Which is smaller: f or o?
f
Let g be 14/12*14/(1274/39). Is 23 at most as big as g?
False
Suppose -657*a + 27 = -630*a. Let n(l) = l + 4. Let v be n(-5). Is v equal to a?
False
Let c = -0.7 + -0.3. Let t be (-1)/((-15)/4)*3/10. Is c >= t?
False
Let p be 3*(111/(-27) + -2). Let l = -18 - p. Let b be (-1)/((-4)/16) - 3. Is b equal to l?
False
Suppose 5*k - 4 = 3*k. Suppose 0 = -8*m + m - 112. Let z be (-4)/m + 1/(-4). Are k and z unequal?
True
Suppose -69 = -2*d + 5*v, 0 = 5*d - v - 27 - 88. Is 19 smaller than d?
True
Let i = -154 - -156. Is -29 less than i?
True
Suppose 3*u - 4*r + 223 = 0, 0 = -u - 3*u - 3*r - 314. Let x = 78 + u. Is x less than or equal to 6/47?
False
Let f = -69/364 + 1/28. Which is smaller: f or 1?
f
Suppose -42*n = -48*n + 42. Suppose 2*c + n = 17. Suppose l - 4*l + 15 = 0. Does c = l?
True
Let n = -2.1 - -2. Let s = 1.85 + -1.35. Let o = s - n. Is 1 at most o?
False
Let o = 250/7329 + 2/3839. Is o at most as big as -1?
False
Suppose -v = 2*n + 16, -n + 15 = -2*v - 12. Which is bigger: v or 3/7?
3/7
Let g be 1 + -1*(-1)/(-1). Let n be -4 + -565*12/(-1740). Which is greater: g or n?
g
Let p be 6/(-54)*2 - (-205)/(-9). Let i be 1/((-9)/p) - (-16 + 18). Which is greater: 0 or i?
i
Let i(p) = -14 + 19*p**2 - 6*p - 12*p - 20*p**2. Suppose -x = -4*l + x - 74, 4*l - x + 71 = 0. Let s be i(l). Which is greater: 5 or s?
5
Suppose 5*d = -1946 - 569. Let k = d + 1027/2. Let q = k - 10. Which is greater: q or -0.1?
q
Let o = -33.267 + -0.733. Is 3/8 at least o?
True
Let r be (-7)/(-14)*(0 - 2). Which is greater: 1/145 or r?
1/145
Let c = -0.095 + -11.605. Let a = 48.3 - 51. Let k = c - a. Which is bigger: -2/3 or k?
-2/3
Suppose 0 = -8*l + 22 - 6. Let j be 54/20 - (1 + l). Which is bigger: j or -2?
j
Let a = 53 - 43. Let i be ((-1)/95)/(a/25)*-4. Let r = -3 + 2.9. Which is bigger: r or i?
i
Let z(v) = v**2 + 27*v + 51. Let x be z(-25). Let h be -5*(9548/4775 + -2). Let n = h + 5708/10505. Which is greater: n or x?
x
Let z be 10/(-1)*43/(-86). Is -6 at most z?
True
Let v = -132.1 + 132.2. Let x = -4/3 - -1. Which is bigger: v or x?
v
Let b be 40/(-10) + (-10 - -8). Which is smaller: b or -4?
b
Let m = 658 + -114. Let i be 1/3*4 + m/(-156). Is -3 bigger than i?
False
Let a be 6*(-3)/(-13194)*-2. Let x = 2636550854807/25655 + -102769474. Let q = x + a. Which is greater: 0 or q?
0
Suppose -24*m + 43*m + 19 = 0. Is 2/109 <= m?
False
Suppose 2*c - c = -3*c. Suppose -11*v + 12*v = c. Which is smaller: v or -1/6?
-1/6
Let h be (-12)/(-8)*4/(-18)*-3. Let o = 1/42 + -19/294. Which is greater: h or o?
h
Let r be (24 + -25)/(2/162). Let s be 25/(-99) - 18/r. Is s at most 0?
True
Suppose -36 = 2*c + 4*o - 130, 0 = 5*c + 4*o - 211. Is c greater than 38?
True
Let o be ((-4)/6)/((-2)/(-9)). Suppose 2*m + 4*g = -3*m - 2, m - 2*g = -6. Let a = m - o. Do 2/9 and a have the same value?
False
Suppose -70 = -5*f + 5*p, 46 = 3*f + 3*p - 2. Suppose 0 = 2*j - 4*l - 4 + 24, j - f = -3*l. Let d be 4/(-40)*3/1. Are j and d equal?
False
Suppose 720 = -27*l + 23*l. Let h be ((-32)/l)/((-2)/(-35)). Is h bigger than 0?
True
Let g(w) = -w**3 + w**2 - w - 16. Let h be g(0). Suppose 3*z + z = -5*t - 59, 4*z = 4*t + 76. Is h less than or equal to t?
True
Suppose -22*c - 154 = 171 - 105. Let d = -12 - 1. Is c > d?
True
Let d = 7380 + -29171/4. Which is smaller: d or -2/7?
-2/7
Let p = 99/8 - 503/40. Is 2.4 at least p?
True
Suppose -8*t = 26 + 38. Let d = t + -12. Which is bigger: -19 or d?
-19
Let q be 3/(-6) + ((-615)/(-10))/3. Let n = -19 + q. Is n equal to 4?
False
Suppose 30 = -10*t + 12*t. Suppose 3*n - t = -2*m, 0 = 5*m - 6 - 9. Let w be 30/n*(-2)/(-5). Which is bigger: w or -0.1?
w
Let j = 108.01 + -11.01. Which is bigger: -0.1 or j?
j
Let g(u) = -u**2 + 4. Let h(o) = o**2 - 3. Let n(s) = 4*g(s) + 3*h(s). Let c be n(-3). Let d be (c/(-1))/(6/(-9)). Is -4 greater than or equal to d?
False
Let u be -1*(-104 + 1)*21/(-21). Let q = u - -100. Let v(s) = -2*s**2 + 3*s - 1. Let g be v(2). Is q smaller than g?
False
Suppose 4*d = -s + 36, -12 = 4*d - 7*d. Let j be 6/(-9) + (-122)/(-6). Let i = j - s. Does 2 = i?
False
Let p be ((-20)/(-39))/(2/(-63)). Let i = p - -7692/481. Which is smaller: 0 or i?
i
Suppose -2*a - 2*a + 8 = 0. Let u be a/(-14) + 1/(-91). Is u at least as big as -1?
True
Let l be ((-1)/(-5))/((-8)/10). Let w = 194 + -80. Let b = -120 + w. Which is smaller: b or l?
b
Let v = 59/442 - 5/26. Is -31 less than v?
True
Let h(f) = -f**2 + 2. Let k(t) = t + 3. Let b be k(0). Let d be h(b). Suppose -3*z = 2*a, -5*z + 2 + 18 = 0. Which is smaller: a or d?
d
Suppose -467 - 151 = v. Which is bigger: v or -619?
v
Let j be 10/(-45) - ((-34473)/(-27) - 2). Let v be (-2)/(-15) - ((-3620)/j + -2). Does v = -1?
False
Let j be (-11 - -11)/(2/1). Which is greater: -291 or j?
j
Let z = 5.8 + 0.5. Let b = -16.3 + z. Is -4/5 smaller than b?
False
Let x = 14.8 - 17.1. Which is bigger: -3 or x?
x
Let f(m) = -m - 9. Suppose 19*u + 104 = 6*u. Let c be f(u). Is 1/32 equal to c?
False
Let q be 17/(-4) + -4 + 6. Let b = 4 - 4. Let z = b - 1. Is q <= z?
True
Let z be 1/4 - (-957)/12. Let c be (-11 - -2)/(-1*8/(-71)). Let a = z + c. Which is smaller: a or -1?
-1
Let q(v) = -v**3 + 4*v**2 + 4*v + 6. Let t be q(5). Let o be t/5*(-5)/8. Suppose -18*p = 55 - 37. Which is greater: o or p?
o
Let v = 489/10 - 13183/270. Suppose -3 = -r, 4*j + 10*r - 15 = 5*r. Which is smaller: v or j?
j
Suppose 9 = -0*s + 3*s. Suppose -s*n - 55 - 8 = 0. Let d = n + 16. Is -1/3 not equal to d?
True
Suppose 66 + 37 = -5*m + 4*w, 4*m + 2*w + 72 = 0. Do m and -19 have the same value?
True
Let m = 343 - 338. Is 2/177 greater than or equal to m?
False
Let k = -309 + 340. Is 15 >= k?
False
Let w = 1261 - 836. Suppose n + 4*j + 109 = 0, 5*j + w = -3*n - n. Let i be (-18)/(-4)*(-10)/n. Which is smaller: i or 0?
0
Let l be (-11)/99 - (-62)/(-252). Suppose 5 - 1 = -4*s. Which is bigger: s or l?
l
Let b = -0.14131 + 91.87131. Let m = b + -92. Which is smaller: m or 3?
m
Suppose -30 = -5*w - 0*w. Let t(v) = -v + 4. Let g be t(5). Is g less than w?
True
Suppose 0 = 5*a + 91*m - 96*m - 1935, -4*m = 12. Is 0 less than a?
True
Let a = 575/3 + -194. Suppose 9*s + 4 = 7*s. Is s greater than a?
True
Let o be ((-85)/4)/(50/8 + -6). Let a = o - -81. Is 3/7 bigger than a?
True
Let o = -75 + 85.1. Let q = 10 - o. Is 68 at most as big as q?
False
Let d = -349 + 576. Is d != 226?
True
Let g = 93 - 104.3. Let u = g - -11.1. Is 2/77 not equal to u?
True
Let t be ((-14)/(-85))/(((-7)/(-5))/(-7)). Which is greater: t or -1?
t
Suppose 2*j + 6 = 2*r, -27 = -4*r - r - j. Let i(m) = 5*m - 24. Let x be i(r). Which is smaller: x or 1/3?
1/3
Let s = 8.14 + -5. Let g = s + -0.14. Is g greater than or equal to 28?
False
Suppose 0 = -4*v - 2*w + 214, 2*w + 213 = 4*v + 5*w. Suppose 4*n - 7*n + 4*k + 20 = 0, 5*n + 5*k - 80 = 0. Let i be (9/v)/(2/n). Is -2/31 bigger than i?
False
Let t = -8 - -6. Let r(n) = n**3 - 5*n**2 - 3*n - 6. Let y be r(6). Let v be -2 + 0 + y/14. Which is smaller: t or v?
t
Suppose -222 = -4*c - 3*k + 842, -5*c = -2*k - 1330. Which is bigger: 267 or c?
267
Let s = -0.09 - 0.01. Let y = 1.73 + -1.8. Let u = y + 2.07. Is s >= u?
False
Suppose 4*g = -8 - 40. Let a(m) = m**2. Let c be a(-2). Suppose 0 = -4*p - 4*f - f - 38, c*p - 2*f = -52. Is p > g?
False
Let l(o) = -o**2 - 9*o - 2. Let n(t) = -1. Let p(w) = l(w) + 2*n(w). Let q be p(-7). Let u be (-8)/2 - -4 - -11. Is u at most as big as q?
False
Suppose n - 7 + 25 = s, -5*s + 3*n + 94 = 0. Are 15 and s non-equal?
True
Let v be 3*22*(-24)/999. Let j = v - 3/37. Is -1 grea