ond derivative of -z**3/6 + 7*z**2/2 + 6*z. Let f be c(4). Let j be -13 + 9 + (f - -1). Are 0 and j equal?
True
Let a(d) = d**2 - 6*d + 2. Let c be a(6). Suppose -2*q = c*q + 64. Is -16 at least q?
True
Let b = 106 - 96. Let g(r) = 7*r - 55. Let x be g(b). Which is smaller: 17 or x?
x
Let r = -39 - -47. Let m be (2/4)/(r/16). Which is greater: 10 or m?
10
Let l = -7.839 - 0.161. Let v = -65 - -135/2. Is v smaller than l?
False
Let c be 9940/630 + 2/36*4. Which is bigger: -0.09 or c?
c
Let q(t) = t**2 + 5*t + 2. Let y be q(-4). Let o = -9799 + 9800.4. Is o at least y?
True
Suppose 7*o - 19 - 9 = 0. Suppose -28 = 5*q + 2*v, 4 = o*v - 0. Do q and -8 have the same value?
False
Suppose 0 = -11*j + 7*j - 12. Suppose y + 3 = -0. Let z = -6 - y. Is j >= z?
True
Let t = 16 - 28. Let l be 2 - (-4)/t*3. Which is greater: l or 1/10?
l
Let t be (0 + (-1 - 0))/(-1). Let w = -10/13 + 82/39. Let b = w - -1/6. Is t greater than b?
False
Let l(m) = -10*m + 1. Let a be l(1). Let o be a*(12/(-24))/((-2)/4). Let s = -5/22 - -79/154. Is s greater than o?
True
Suppose -j + 4 = 0, 0*m + 4*m - 2*j - 16 = 0. Let g be -59 - 0 - (-21)/(-21). Let b = g - -66. Is m > b?
False
Let p be ((-3632)/(-520) - 7)*-1. Does p = -1?
False
Let l = 5 - -1. Suppose -p + 25 - 2 = 0. Let x = 29 - p. Is l bigger than x?
False
Suppose -4*z + 144 = 2*z. Suppose 4*h + 0*h - z = 0. Which is greater: h or 8?
8
Suppose 3*r = 6*r - 42. Let f = r - 8. Suppose -486 = -9*l - 459. Is f at least as big as l?
True
Let f(r) = 6*r + 1. Let q be f(-1). Suppose -3*p + 3*o = 12, -4*p = 735*o - 740*o + 15. Is q bigger than p?
False
Let p be (-2 - -4) + -3 + 82/78. Which is smaller: p or -7/5?
-7/5
Suppose 0*y = -2*y + 32. Let n be (54/(-48) + 1)*-118. Is y <= n?
False
Suppose 0*w + w - 2*m + 31 = 0, 0 = -w - 2*m - 47. Is w bigger than -39?
False
Let u be (-1)/(-4) - 5/(-20). Let o = 3 - 5. Let l be o - -1 - 2/(-2). Is l less than or equal to u?
True
Let y = 0.317 - -0.683. Is y greater than 21?
False
Let q(h) = h + 1. Let f(v) = 19*v + 1. Let l(i) = -f(i) + q(i). Let o be l(-1). Let b = 20 - o. Are 3/4 and b non-equal?
True
Suppose -18*s - 357 = 3*s. Is -20 at most s?
True
Let a(c) = 2*c**3 - c**2 + c - 2. Let n be a(2). Let u = n - 10. Suppose -4*f = 12, 7 = u*d - 5*f - 4. Is d at most -8/7?
True
Suppose -4*q - 3*v = -4 - 8, -5*q - 20 = -5*v. Let w be (-24)/(-9)*(-2 - 17/(-10)). Which is smaller: q or w?
w
Let s(j) = 12*j - 33. Let m be s(13). Let v = m + -122. Which is bigger: v or 1/10?
v
Let x(d) = d**3 + 4*d**2 - d - 4. Let w be x(-3). Let n(f) = f - 8. Let p be n(w). Suppose 3*u + 3 = p, 4*v + 12 = -v - 2*u. Are -2 and v nonequal?
False
Let k(w) = -w**3 - 17*w**2 + 4*w + 60. Let p be k(-17). Which is smaller: p or -1?
p
Let f = -221008/53 + 4170. Let m be -2 - (1 - 1*2). Which is smaller: f or m?
m
Let x(i) be the second derivative of i**4/12 - 2*i**3/3 + i**2/2 + 8*i. Let v be x(4). Let j = -196 + 2154/11. Which is greater: v or j?
v
Let t(a) = -35*a**3 - 3*a**2 + a + 1. Let w be t(-1). Let u = -32 + w. Which is greater: 2/3 or u?
2/3
Let q = -3482/51 + 205/3. Let u be (-9)/(-3) + -6 + -1. Let n(i) = i + 5. Let k be n(u). Does q = k?
False
Let p(z) = 5*z - z + 8 - 3*z. Suppose -h - 15 = 2*r, 3*h - 7*h = -5*r - 57. Let d be p(r). Is d smaller than 3/7?
True
Let r be (-6)/(-15) + 2601/(-15). Let d = 3980/23 + r. Which is greater: -0.4 or d?
d
Let d be ((-2)/10)/(2826/90). Is d less than or equal to 0?
True
Let i = 94187/7 - 13501. Is -47 less than or equal to i?
True
Let y = -1436 + 109125/76. Let f = -2/19 + y. Is -0.15 not equal to f?
True
Suppose 5*v + 13 = 2*d, 2*v + 3 + 3 = d. Let l be d/14 + (-10)/35. Let w(g) = -g. Let q be w(1). Which is smaller: l or q?
q
Let m = 0.2 + -2.2. Are -19 and m non-equal?
True
Let f(h) = h**2 + 11*h + 18. Let j be f(-9). Suppose 3*y + 11 = -w, 5*w + y + j*y = 1. Suppose -2*m + 12 = 2*k, m = -3*m + 12. Is k != w?
True
Let p(s) = -9*s - 55. Let z be p(-14). Does z = 71?
True
Let h be ((-1)/((-2)/4))/43. Suppose -5*n + 13 = 4*m, 3 + 6 = 4*m + n. Suppose -4*p - 2*j = 10, m*j = 2*p - 2*j - 10. Is h != p?
True
Let o be 357/(-680) + (-6)/(-48). Do 41/2 and o have the same value?
False
Let f be -12*5/(-40)*2/(-7). Suppose 2*k - 1 = l, -5*k = -2*k + l + 6. Is k < f?
True
Let l = -65 + -28. Suppose 1539*k = 1534*k. Is l at least k?
False
Let k = 6 + -4. Let d = 153/176 + -11/16. Which is greater: k or d?
k
Let x be 1/(-8) + 7337/2088. Which is bigger: x or 4?
4
Let n be 2 - 4/((-24)/(-309)). Let u = n - -677/14. Is u smaller than 1?
True
Suppose -5*m - 22*x = -24*x - 62, -4*m + 43 = 5*x. Is 19 at least m?
True
Let v = 786 + -785. Let w be 1 + 0 + (-121)/123. Does w = v?
False
Suppose -54*d + 339 = -255. Suppose 0*p - 10 = -5*p. Is p < d?
True
Let h = 67 - 34. Let a = h + -34. Let r = -1097/7 - -157. Which is greater: a or r?
r
Let t = 349/4 + -87. Which is greater: 0 or t?
t
Let x be (-2)/((-246)/63 + 4). Let r = 21 + x. Which is smaller: -4/19 or r?
-4/19
Let m = -48 - -89. Let y = 1 + m. Is 43 > y?
True
Suppose -2*b = -3*b. Let i be 49/((-57624)/3520) - (3 - 4)*3. Is b at most as big as i?
True
Let g = -358 + 358. Is 0.2 equal to g?
False
Let s = 51 + -49. Suppose -h + 4 = -4*c, 0 = -s*c + h - 2 - 0. Is c > -8/17?
False
Suppose -15*o + 1496 = -17*o. Which is smaller: -746 or o?
o
Suppose -3*j - l - 821 = 0, 0*l + 1084 = -4*j + 4*l. Are j and -273 unequal?
False
Let a = 56 - 58. Let z be -3*a/51 + (-1680)/10234. Which is greater: -1 or z?
z
Let p = -25 + 29. Let h be 16/p - 0 - 4. Is -2 greater than h?
False
Let d = -11 - -14. Let a be (2/d)/((-2)/24). Which is smaller: a or -9?
-9
Suppose 4*x + 12 = 4*p, 5 + 4 = p + 2*x. Let n be p - (6 + -2 + -1). Let l be (7 + -5)*n/1. Which is smaller: l or 5?
l
Suppose 0 = 18*t - 22*t + 12. Let z be 3/t + 1 + -3. Which is smaller: z or -1/4?
z
Let k = 7 + -9. Let i be ((k - -2) + 0)/2. Let c be 12/(-12)*4/2. Are c and i equal?
False
Let i(d) be the third derivative of d**6/120 + d**5/60 + d**4/12 - d**3/6 - 21*d**2. Let w be i(0). Which is bigger: -1/111 or w?
-1/111
Suppose -48 = 3*y + 3*j, -10*j + 7*j = 15. Which is bigger: -7 or y?
-7
Let d = 55.9 + -97.9. Which is smaller: d or 1?
d
Let o = 23/83 - 16363/57851. Do 1 and o have different values?
True
Suppose 0 = c, -5*a + 80 = -0*a - 5*c. Suppose -k + a = -5*k. Which is greater: k or -15/4?
-15/4
Let j = 471.98 + -446. Let n = 26 - j. Are n and 0.2 non-equal?
True
Let j = -73/2 - -38. Suppose 3*f + 3*b = 183, -5*f + 255 + 50 = 2*b. Let r = 64 - f. Is j < r?
True
Let v = 233 - 2561/11. Are -1 and v nonequal?
True
Let k = 30 + -14. Let p be k/(-4) + 4 + 4. Suppose 0 = -d - u - 3, 5*u - 3*u = p*d. Is -4/5 > d?
True
Let b = -34 + 37. Suppose -6 = b*w + 3. Is -13/6 bigger than w?
True
Let t be 0*(-7 - -4)/(-3). Suppose t = o - 3 - 7. Suppose -z + f = 4*z - o, -10 = -5*z - 4*f. Are 6 and z unequal?
True
Let z be (-2346)/(-15) + ((-48)/15)/8. Is z != 156?
False
Let n be 1/44*47650/175. Let b = n - 72/11. Which is greater: b or -1?
b
Suppose -9*f = 58 - 13. Is -0.07 at least f?
True
Suppose -15 = 25*p - 28*p. Let i be 3*p/75 - 1/7. Are 0 and i non-equal?
True
Let g(w) = 2*w**2 + 26*w - 17. Let z(o) = -o**2 - 13*o + 9. Let y(p) = -6*g(p) - 13*z(p). Let s be y(-14). Is -2 < s?
True
Let c be (-5 - (-44)/8)*(-120)/3. Suppose -2*m - 3 - 3 = 0. Let o be c/4 - (-1)/m. Is -4 < o?
False
Suppose -10 + 5 = -5*v. Let f be v*(3/(-1) + 0). Which is smaller: f or -42/13?
-42/13
Let v = -1.9 - -2.7. Let h = 0.3 + -0.1. Let i = v + h. Is i not equal to -1?
True
Let m = -8.7 - -8.8. Let q = 82 - 45. Which is smaller: q or m?
m
Suppose -5*j + 13 = -87. Let f = -12 + j. Suppose 5*s = f + 2, 2*q + 10 = 4*s. Is q at least as big as -5/4?
True
Let r be (5 - -4) + (-3 - 1). Suppose 10 = -r*n + 15. Suppose -z - 5 = -n. Is -20/7 greater than or equal to z?
True
Suppose -3*c - 26 + 20 = 0, -3*c + 21 = -3*p. Which is smaller: p or -30?
-30
Let g = 1616.03 - 1605. Let k = g + -0.03. Let x = 9 - k. Which is bigger: x or -0.02?
-0.02
Let i = -0.561 + -55.339. Let y = i + -0.1. Which is smaller: 1 or y?
y
Let z = 0.73 + -4.6. Let d = 0.13 - z. Let j = d - 5. Is 0 at least j?
True
Let w = -0.31 - -23.31. Let t = 23.05 - w. Let q = -5.95 - t. Does q = 0.2?
False
Let w = -62 - -54.5. Let u = w + 7.3. Which is greater: 0.0