be the third derivative of j**4/12 - j**3/3 - 2*j**2. Let w be q(1). Is w at least -2/3?
True
Suppose -3*r + 16 = 2*w + r, -w - r + 8 = 0. Let x be 51/153 - (0 - w/6). Is x not equal to 3?
True
Let s = -0.814 - -0.8382. Is 1 < s?
False
Let f(k) = -12*k**2 + 5*k - 8. Let z be f(-7). Let v = -18301/29 - z. Is 1 at most as big as v?
False
Let z be (2/(-706))/(702/(-52) + 14). Which is smaller: -1 or z?
-1
Suppose 112*z - 119*z = 84. Is z <= 3?
True
Let m = 9 + -3. Let x = m + -5.6. Suppose -3*l + 3*o = -3, 7*o = 4*l + 9*o + 26. Is x smaller than l?
False
Suppose 4*u - 696 - 108 = 0. Which is bigger: u or 202?
202
Let j = 40 - 56. Let z = -19.33 - -3.43. Let i = j - z. Do 9 and i have the same value?
False
Let h = 57 - 52. Suppose 4*v = h*s + 28, -v = -2*s + 5*s + 27. Is s greater than -55/6?
True
Let q(x) be the third derivative of 7*x**4/12 + 3*x**2. Let f be q(-1). Let j be f/(-91) + (-32)/39. Is -0.02 greater than j?
True
Let z be (-7)/(350/440) + (-4)/20. Is -13 >= z?
False
Let r(w) = w**3 - 3*w**2 - 4*w + 3. Let d(s) = 3*s**3 - 9*s**2 - 12*s + 10. Let i(k) = 2*d(k) - 7*r(k). Let j be i(4). Let v = -3/17 + 10/153. Is v equal to j?
False
Let l = 2/27 - 11/27. Which is smaller: l or 1/11?
l
Suppose 3*w - 10 = 53. Let x be (-8)/6 + (-4 - (-343)/w). Is x < 11?
False
Let g = -6 - -6.48. Let v = 0.52 + g. Do 5/4 and v have the same value?
False
Let r = -15.279 + -0.721. Let s = 22 - 21. Which is smaller: s or r?
r
Let o = 5 - 2. Let b = -33.88 + 34.18. Is b < o?
True
Let j = 28 + -4. Let k = 214/9 - j. Which is greater: k or -0.1?
-0.1
Let b(z) = -7*z + 1. Let f be b(-1). Suppose -2*n - 2 = -f. Let h be 12/n - 0 - 3. Which is bigger: h or 2/11?
h
Suppose -26*g = -23*g - 5*d - 7, 0 = -3*g - 3*d - 9. Which is greater: 1/386 or g?
1/386
Let x be ((-4)/12)/((-2)/(3 + 13)). Which is bigger: x or -4?
x
Let z = 280/143 - 42/13. Let r = 38 - 38. Which is bigger: r or z?
r
Suppose 0 = 2*v - 3*v. Let r = 13147/140868 - 1/3276. Which is smaller: v or r?
v
Let k = 501 - 1447/3. Which is smaller: k or 19?
k
Suppose -3*v - 47 = y - 11, 3*y = -4*v - 93. Is -8 bigger than y?
True
Let j = 0.9 - 1. Let l = -173 - -104.5. Let d = 69 + l. Which is smaller: j or d?
j
Let h = -551/12 + 46. Let l be -3*417/(-12)*4/6. Let v = 71 - l. Which is smaller: h or v?
h
Let o = -57 + 291/5. Let i = -7550 + 7551. Which is bigger: i or o?
o
Let k be 1 - (2 + 14 + 2). Which is bigger: -18 or k?
k
Let b = -266 - -221. Is b greater than or equal to -44?
False
Let c(m) be the third derivative of -m**6/120 - m**5/60 + m**4/24 + 2*m**3/3 + m**2. Let q be (0/5)/(-3 + 1). Let n be c(q). Which is greater: 2 or n?
n
Let w(l) = -l. Let y be w(-2). Suppose -y = -p + 4. Suppose 2*s - 4*x = 10 + p, 4*s + 5*x - 6 = 0. Are s and 4 non-equal?
False
Suppose -269 = -6*p - 305. Let r(q) = -2*q**2 + 3*q + 4. Let x be r(3). Is x > p?
True
Let z = 4 + 3. Suppose -z*j - 4 = -67. Is j less than or equal to 8?
False
Suppose -2*x + 0 = -6. Suppose -5*o - 4*y = -60, -x*y = -4*y. Let n be o/(-2)*2/(-3). Which is smaller: 6 or n?
n
Let q(l) = -2*l**3 + 11*l**2 - 16*l + 11. Let i be q(6). Which is smaller: -120 or i?
i
Let x = -779 - -747.7. Let c = x - -31. Does -5 = c?
False
Suppose 0 = -12*s + 1549 + 1223. Is 231 > s?
False
Let l(z) = -z**2 + 23*z + 1. Let c be l(23). Let m be (4/(-882))/((-8)/24). Which is bigger: m or c?
c
Suppose 8*p - 134 = -86. Which is smaller: 22/3 or p?
p
Suppose 0 = s + r - 0*r - 36, 4*s = 3*r + 109. Suppose 0*i = -5*m - 4*i - 84, i - s = 2*m. Let n = m + 15. Which is smaller: -3 or n?
-3
Let n be (-7)/2 + 2 - 469/(-301). Is 1 >= n?
True
Let k = 53 - 157/3. Let v = 7/6 - k. Is -2 != v?
True
Suppose -3*g = -3*y - 6 + 21, g = 5*y - 17. Suppose y*v = -11 + 8. Let m be 20/6*2/(-8). Is m < v?
False
Let y = -46.52 + 0.52. Let n = y - -35. Is 1/6 at least n?
True
Let k(i) be the first derivative of i**3/3 + i**2 + 11*i - 29. Let s be k(-3). Which is smaller: s or 3?
3
Let k = 2267917/406 + -5586. Is k <= -1?
False
Let m be (1*-2)/2 + (-132)/(-44). Suppose m*l = l - 41. Are -39 and l equal?
False
Let i be (-22)/(-4)*(-2)/(-1). Let z = i + -6. Suppose -4 = -z*v - 9. Is -0.2 at least as big as v?
True
Let v = -1024 + 29706/29. Let d = v + -233/87. Is -3 less than d?
True
Let g(n) = -n**3 + 10*n**2 - 10. Let j = 3 + 7. Let a be g(j). Are -10 and a non-equal?
False
Suppose -4*c + 4 = 0, 0 = -3*t + 7*c - 3*c - 25. Which is greater: -28/5 or t?
-28/5
Let l = -96.94 - -98. Let d = 0.06 - l. Let g = -22 - -20. Is g equal to d?
False
Suppose -37*t - 37 = 37. Let y(l) = -l**2 - 7*l + 10. Let v be y(-8). Which is greater: v or t?
v
Suppose 134 = -8*i + 1126. Which is greater: i or 123?
i
Let m be -4 - (-18024)/65 - (-4)/10. Let r = -274 + m. Suppose -4*b + 5 = b. Is r greater than or equal to b?
False
Let c be 14/3 + (-1)/(-3). Suppose -c*d = 2 + 3. Let g be (-14)/(-12) - (-2829)/(-1242). Is g > d?
False
Let q = 186 + 0. Which is bigger: -1/2 or q?
q
Let y(x) = -12*x - 95. Let h be y(-8). Which is smaller: 5.9 or h?
h
Let s(v) = 14*v**3 - v + 1. Let f be s(1). Let j be (-4)/12 - f/(-6). Suppose -10 = -j*g, 3*b - g - 1 = -0. Which is smaller: 6/7 or b?
6/7
Let m be (-1)/38*(-2)/3. Let u = 107/399 + m. Which is smaller: u or 2/3?
u
Let t = 1136 - 10199/9. Is 3 not equal to t?
True
Suppose 7*c - 5 = 4*f + 4*c, -4*f = 2*c + 10. Let i = 0 - f. Let v be ((-3)/21)/(1/i). Is v at most -0.1?
True
Let n = 11 - 7. Let v = n + -1. Suppose -h - v = 4. Which is bigger: -6 or h?
-6
Let j = -2996 - -2994. Suppose 0 = 5*y + 3 - 13. Which is smaller: y or j?
j
Let x(a) = 2*a**2 - 3*a - 35. Let t be x(0). Is t >= -237/7?
False
Let d be (5/(-10))/(111/2). Let g = d - 35/222. Let b = 63 - 64. Is b bigger than g?
False
Let z be (0 + (-20)/(-8))*8/(-5). Is 8 at least z?
True
Let y = 36.72 + -36.6. Let x = -3.03 + 0.03. Is y bigger than x?
True
Let k = -6 - 4. Let b = k - -2. Suppose -66*p = -70 - 62. Which is smaller: b or p?
b
Let k = -12.86 - -16.8. Let a = k - 0.64. Let d = -3.2 + a. Is d <= -0.4?
False
Let t = -149 - -149.1. Is t greater than 142?
False
Let m = 983 + -985. Let y be ((-4)/25)/(9/1415). Let n = y + 123/5. Is n smaller than m?
False
Suppose 3*k - 1536 = 4*n, 5*n + k + 1889 = -3*k. Does n = -381?
True
Let q = -8.75 + 8.5. Let o = q + -0.14. Is o at least -1/2?
True
Let z be (2/(-335)*-1)/(128/480). Is z smaller than 0?
False
Let h = -249 + 290. Is 0.4 < h?
True
Suppose l - 8*d = -6*d - 6, 0 = 2*l + 4*d - 20. Let g be (-1)/(-2)*l + 121/(-143). Is 0 bigger than g?
False
Let g be (-146)/(-4) + (-30)/(-36). Is 37 less than g?
True
Let p = -13.87 - 0.13. Let c = p - -16.6. Let f = c - 0.6. Is f at least as big as 1?
True
Let y = -153 - -155.95. Let b = 1.95 - 2. Let k = y - b. Is -1 < k?
True
Let g be 5 - ((-1696)/(-264) - 2/(-12)). Which is smaller: g or -2?
-2
Let y = 22.28 + -0.28. Let b = y + -23. Which is smaller: b or -2/7?
b
Let f(k) = -2*k + 2. Let u be f(1). Is u at most as big as -1/255?
False
Let m be (11/(-121) + 25/33)/2. Let q(o) = o**2 + 6*o. Suppose -2*c = -2, 0 = -w - 4*w + 5*c - 35. Let p be q(w). Is p at least as big as m?
False
Suppose 9 + 9 = 18*k. Let q = -5 - -7. Let v(c) = -c**2 + 3*c - 2. Let s be v(q). Is s equal to k?
False
Suppose -2*g = 4*s - 31 + 189, -3*s - 374 = 5*g. Let z = -39 - g. Is z != 35?
True
Let l be ((-2)/(-8))/(-1) - (-62)/8. Is l bigger than -5?
True
Let u = 4.5 + -4.42. Let v = 1.8 - 3. Let y = v + 0.2. Is u less than y?
False
Let a be (-4)/26 - 1085*40/1820. Let s = 0.3 - 0.2. Is a at least s?
False
Suppose 66*u + 287 = -109. Which is smaller: 24 or u?
u
Let p be (-4)/(-18) + (-46)/(-6) + -8. Which is bigger: 56 or p?
56
Suppose 4*b - 8 = 2*b. Suppose 0*d + 2 = 3*v + 2*d, 0 = 2*v + 4*d + b. Which is smaller: 0 or v?
0
Suppose -1375 = -0*g + 2*g + 3*w, -2*w = -3*g - 2043. Does g = -682?
False
Let g be 2/8 + (-165)/52. Suppose -71*l - n = -72*l - 6, 0 = -3*l - 4*n - 4. Is l at least as big as g?
False
Let o be (1 - 22/6)*-3. Let p = 1881 - 1877. Which is smaller: p or o?
p
Suppose -116 = r - 4*v, 3*v + 219 = -3*r - 84. Let s be ((-13)/r)/((-5)/(-4))*18. Which is greater: s or 1?
s
Let v be ((-26)/4 - -6)/((-549)/(-270)). Which is smaller: v or 1?
v
Suppose -780 = -5*d + 2*b, 4*b = -0*b + 20. Let z = d + -159. Let a be 2/27*(-1 - 2). Is z != a?
True
Let y(q) = -q**2 