t derivative of z**3 - 1/4*z**4 - 1/2*z**2 - 3 + 0*z. Let w be d(3). Which is greater: -2 or w?
-2
Let t be (-173)/33 - 15/(-3). Is t at most 0?
True
Suppose 18*w = 23*w - 5. Let i be -6*(-65)/(-10) - (w - -1). Is i bigger than -41?
False
Let j be (-60)/(-55) + -1 + (-68)/22. Do j and -51/16 have the same value?
False
Let h(o) = o**3 - 10*o**2 + 12*o + 8. Let f be h(8). Let t be f/(-40)*((-5)/(-3) + -1). Is t at most as big as -3/5?
False
Suppose l = -0*x + 5*x, -l + 33 = 28. Let r = 607/5 - 122. Which is smaller: r or x?
r
Suppose 5*t + 4*r = 1141, -3*t - 2*r + 683 = 2*r. Suppose 3*o = 5 + t. Let z be (-3)/(0 - o/4). Which is bigger: z or -1?
z
Suppose -2*o - 158 = -3*x, -15*x + 10*x + 270 = -5*o. Is 405/8 at most as big as x?
False
Let w(k) = 40*k**2 - 135*k + 3. Let u be w(3). Is u bigger than -38?
False
Let d be (1 + -4)/(15/(-6) + 1). Suppose -d*q - q = 24. Which is smaller: -9 or q?
-9
Suppose 0 = -5*t + 2*t + 84. Suppose 6 = 2*g - j - 3, 4*g - 4*j = t. Let p be (-48)/4 - (-6)/g. Which is smaller: -8 or p?
p
Suppose -6*s + 12 = -2*s + 4*g, -4*s = 5*g - 16. Which is bigger: -4/155 or s?
-4/155
Let p be (-4)/(-14) - 10/(-1155)*-12. Which is smaller: p or -6?
-6
Suppose -11 - 4 = 5*l, 0 = -2*t + 4*l + 28. Let o(s) = 3*s - 26. Let d be o(10). Let m = 11 - d. Which is smaller: m or t?
m
Let u be (2/12)/(18/(-12)). Let k(v) = v**3 - 5*v**2. Let t be k(5). Which is smaller: u or t?
u
Let i = -7618 + 7585.97. Let a = i - -32. Let o = -5 - -4. Do a and o have the same value?
False
Let c(v) = v**2 + v - 342. Let h be c(18). Let z = 11 + -16. Let r be 2/(-7) + z/7. Does r = h?
False
Let r = -77.1 - -77. Let k(l) = -l**2 + 6*l - 9. Let x be k(10). Is x <= r?
True
Let d = -1024.03 - -1044. Let u = d + -20. Suppose 4 = -3*f - f. Which is bigger: u or f?
u
Suppose 3*t + 3 + 6 = 0, 3 = f - t. Let u(p) = -p + 7. Let v be u(f). Let l be (2/(-12))/(v/(-6)). Which is smaller: l or 0?
0
Let w be -2 + (-199 + -6)*2/(-10). Let h = -16 - -40. Let z = w - h. Which is smaller: 14 or z?
14
Let a be 6/(-15)*(-35)/(-721). Which is greater: 1 or a?
1
Let h = -5926/63 - -844/9. Which is greater: 196 or h?
196
Let h = 22.75 - 23. Let b = -0.75 + h. Which is bigger: -9 or b?
b
Let p = 20.9 + -23. Let h = 19.1 + p. Is -0.1 greater than or equal to h?
False
Suppose 0*m + 3*m = 0. Let q be 4 - (1485/213 + -3). Does q = m?
False
Let b be (15/(-6))/((-3)/(-30)). Let w = 158 - 184. Is b bigger than w?
True
Let y be (2/(-3))/(4 - (-50)/(-15)). Is 8 at most as big as y?
False
Let n = -16036/79 - -203. Is 1 greater than n?
True
Suppose -4*v = u - 10, -2*v - v = -3*u. Suppose 0*l = -2*h - 5*l + 33, 4*l - 12 = u*h. Suppose 0 = -2*c - 5*g + 2, c = 5*c + 5*g - h. Is 2 smaller than c?
False
Suppose -4344 = -109*z + 97*z. Is z less than 362?
False
Let c be 0 + 0 - (1 + 5). Let j be (-5)/(-7)*c/(-10). Let g be 12/(-10) + 1*(-72)/(-60). Is g >= j?
False
Let k = 1160/3 + -386. Are -26 and k equal?
False
Let c(a) = -a**2 + 2*a + 3. Let y(d) = d**2 - d - 2. Let h(l) = 5*c(l) + 6*y(l). Let z be h(-3). Is z < -0.2?
False
Let s(z) = -2*z**2 + 13*z + 5. Suppose -46 = -4*b - 18. Let c be s(b). Is -2 >= c?
True
Let p = 0.4 + -0.3. Let t = -0.26 + -2.94. Let w = -3.5 - t. Are p and w equal?
False
Let v = -58 - -43. Let m = 10 + v. Is 1 greater than or equal to m?
True
Let y be 18/(-30) + 28/5. Let f be 1/(-6) + 2/(24/146). Suppose -4*r = -0*r + y*c - 4, 3*c - f = 0. Is r > -6?
True
Let d = -2 - -3. Let u be (1 + d)/(4/38). Let w = 7 - u. Which is smaller: w or -13?
-13
Let h = 101 + -102.45. Let i = 1.35 + h. Are i and -64 equal?
False
Let d be (56/42)/((30/(-63))/(-5)). Is 4 greater than or equal to d?
False
Let n = 176 - 122. Let p = n - 696/13. Which is smaller: p or -1?
-1
Let l be (-2)/(-1) + (-1 - 1). Let o = 4/887 + -991/23062. Which is smaller: o or l?
o
Let t = -88473739989/5425 - -507600841/31. Let i = 65698 - t. Let j = i + -42/25. Is -1 less than or equal to j?
True
Let i be 16/3*36/16. Suppose i + 0 = 4*k + 3*u, -2*u = 3*k - 8. Which is greater: -6/7 or k?
k
Let q = 69 - 72. Suppose -6*i + 4*i = -f + 21, 4*i = -f - 27. Which is greater: q or i?
q
Suppose 12*k - 137 + 17 = 0. Suppose 112 = k*t - 17*t. Is t at most as big as -16?
True
Let u = -877 + 3539/4. Which is smaller: u or 7?
7
Let p = 2651/20 - 624/5. Is p >= 7?
True
Let h(z) = z**3 + 3*z**2 + z + 4. Let y be h(-3). Let t = 488 - 496. Let r be (y/(-4))/(5/t). Is r at most -1.3?
False
Suppose 0 = 2*x + p + 13 - 6, -3*x + 22 = -5*p. Suppose -4*l - 3*m - 4 = -m, 2*m - 2 = -l. Let w be x/(13*l/(-4)). Is 0 greater than or equal to w?
True
Suppose 0*j = 4*j - 12. Suppose j*h = 5 - 2. Which is bigger: h or 2/35?
h
Let x = -2 + 11. Let a = x + -6. Suppose a*y = y + 18. Which is smaller: 10 or y?
y
Let n(b) = b**2 - 3*b - 18. Let j be n(6). Let w be (-7)/(-3) - j - (-26)/39. Is w at least as big as -8?
True
Let k(b) = 3*b - 1. Let o be k(3). Suppose 2*t = 10, 3 = 5*f + t - 57. Is o less than f?
True
Suppose 37*i - 38*i + 1 = -4*g, -4*i = -2*g - 18. Is g <= -1/64?
False
Let z be 4/(0/6 - 1 - 5). Which is bigger: z or -19?
z
Let m = -653 + 696. Is -1 bigger than m?
False
Let b = 366 + -365. Which is greater: b or 0.81?
b
Let p(t) be the second derivative of t**4/12 + t**3/6 - 13*t**2/2 - 10*t. Let i be p(-6). Is 19 greater than i?
True
Suppose 4*w - 13 = -5*z, 2*w - 19 = -5*z - 0. Suppose -3*g + z*g - 24 = 0. Let k = 4 - g. Is 2/5 greater than or equal to k?
True
Let o be -11 + -2 + -4*2/(-2). Which is smaller: o or -11?
-11
Suppose 5*w + 7 = -j + 3, -3*w + 4 = -j. Is 19/27 >= w?
True
Suppose -o - 5*p + 15 = 0, -3*p + 41 = 4*o - 2*p. Suppose 0*i - o = 5*i. Which is greater: -7 or i?
i
Let m = -590 + 653. Is m less than 61?
False
Let n be ((3 + -10)/(-56))/(6/(-15)). Which is smaller: -1 or n?
-1
Let b be 4 + (-3 - -3) + -2. Suppose 2 = -b*t + 3*t. Suppose t*s = -o + 7 - 2, 5*s - 15 = -3*o. Which is bigger: 8/7 or s?
8/7
Let a = -3.1 + 3. Let l be (-4122)/684 - 12/(-2). Which is bigger: l or a?
l
Let x be ((-1)/12)/((-24)/(-1806)). Let q = x + 85/12. Is q equal to 0?
False
Let a(w) = 10*w + 22. Let g(r) = 5*r + 11. Let m(c) = 2*a(c) - 5*g(c). Let h be m(-7). Which is bigger: h or 23?
h
Let v = 159 - 159. Let o be ((-49)/(-25) + -2)*-4. Which is greater: o or v?
o
Suppose -16*o = 40 + 248. Is -19 at least o?
False
Let b be ((-6)/(-10))/(9/5). Which is smaller: -6 or b?
-6
Let m(p) = 135*p**2 + 2*p - 4. Let f be m(2). Suppose 3*q - f = 90. Let z be (-6)/(-21) + (-18)/q. Do -2 and z have the same value?
False
Let i(d) = 3*d - 24. Let p be i(8). Which is greater: p or -27/32?
p
Let h = -0.032 + -5.068. Let t = h + 5. Is t less than or equal to -3/4?
False
Let m be ((-14)/(-6)*3)/1. Let t = m + -3. Suppose -5*c + 27 = 4*o + 2, -o + t*c = 20. Is o smaller than 3/5?
True
Let m = -1 + 0.4. Let u = m + 5.6. Let s = -0.539 + 0.339. Is s != u?
True
Let p = -335 + 334. Is 1/61 greater than or equal to p?
True
Let p be (0 + 0 + -5)/((-81)/243). Is p greater than or equal to 78/5?
False
Suppose p + p + 6*p = 0. Let u be 0 + 2 + 16758/(-8650). Let x = 3/173 + u. Which is smaller: p or x?
p
Let d = -2584/7 + 369. Which is smaller: d or -0.2?
-0.2
Let f(q) = -q**3 + 8*q**2 + 9*q - 12. Let n be f(8). Let y be (1 - 4/3)/((-290)/n). Is y at most -1?
False
Let j be 6*111/4*28/(-84). Which is greater: -55 or j?
-55
Let p = -79 + 79.3. Which is bigger: -18/13 or p?
p
Suppose 0 = 10*o - 83 - 67. Suppose -o + 115 = -5*v. Which is greater: -0.2 or v?
-0.2
Let u be -2 - 15/(-6) - (-693)/(-1398). Let q = u + -937/1165. Is q < -1?
False
Let k be (-1)/(-4) - (5 + (-1378)/88). Let q = -5149/473 + k. Is 1 > q?
True
Suppose 5*b + 96 = -24. Let l = b - -25. Is l >= -6/17?
True
Let a = -2.6 - -2.78. Let r = a + -0.08. Let v be 4*(-2 + (-3)/(-4)). Are r and v non-equal?
True
Let w = 856 - 71051/83. Suppose 3*s - 5476 = -5479. Is s equal to w?
False
Let z(f) = f + 4. Let m be z(-2). Let g be 550/143 + m/13. Which is greater: g or 32/7?
32/7
Let t = 1/117540 + 119984/558315. Let j = t + 2/57. Is -2 < j?
True
Let p(n) = 2*n + 13. Let f be p(-10). Let y(x) = -x**3 - 7*x**2 - x + 6. Let t be y(f). Which is smaller: t or 25/2?
25/2
Let m be ((-30)/(-9))/(-5)*39. Let r = m + 42. Let x = -18 + r. Which is greater: 0 or x?
0
Let o = -295/6 - -2053/42. Is 14 >= o?
True
Let x be (