ter: -2/7 or z?
-2/7
Let h(g) be the third derivative of g**5/60 + 7*g**4/24 + 3*g**3/2 - 32*g**2. Let j be h(-4). Which is greater: -1 or j?
-1
Suppose 0 = -4*c + 2*x + 275 + 23, -c = 4*x - 70. Let m = -102 - -177. Which is bigger: c or m?
m
Let x be (3/(-9))/((-2)/6). Let u(k) = 2*k**3 - 2*k**2 + 2*k - 1. Let p be u(1). Let g be (0 + p)/((-2)/(-6)). Is g at most x?
False
Let d be ((-376)/2350)/((-4)/170). Which is greater: d or 0.05?
d
Suppose 0 = 7*v - 12*v + 45. Let a be v/2*16/3. Which is smaller: 23 or a?
23
Let s = -10119 + 8874365/877. Which is greater: s or 0?
s
Let a = 101 - 64. Let z = a - 21. Let w = -11 + z. Are -2 and w unequal?
True
Let o = 214 - 462. Is o >= -248?
True
Let v(h) = h**2 - 7*h + 10. Let o be v(7). Let u(d) = d**2 - 14*d - 4. Let f be u(15). Let m = o - f. Do -3/4 and m have different values?
True
Suppose -4*t + 105 = 141. Is -41/4 < t?
True
Let b = -8 - 10. Let n = -18 - b. Suppose n = -0*j - 2*j. Does -3 = j?
False
Let i(u) = u**2 - 14*u + 1. Let x = -38 + 48. Let v be i(x). Which is smaller: -38 or v?
v
Suppose 0 = -3*p + 13 + 53. Let l = 2 - 2.23. Let m = l + 1.23. Is m < p?
True
Let r = -10 - -19. Let a(t) = -2*t - 13. Let d be a(-9). Suppose 3*j + 3*i - 19 = 4*i, 25 = d*i. Which is bigger: j or r?
r
Let o be ((-12)/(-60)*-3)/((-30)/25). Let g = -24/385 + -1/231. Which is bigger: g or o?
o
Let x be 2*2/4*(-4)/4. Let o = 198 - 1388/7. Which is smaller: o or x?
x
Let z(j) = 5*j - 7. Let g be z(11). Suppose 15 = g*o - 45*o. Which is smaller: 0.4 or o?
0.4
Suppose -4*j - 16 = b - 2, 4*j + 18 = -3*b. Let c = -15 - j. Which is smaller: c or -13?
-13
Let y = 179/200 - 13/25. Let s(b) = b**3 - b**2 - 11*b + 3. Let p be s(-3). Is p >= y?
False
Let u be (1 + 1)/((-252)/162). Which is smaller: -2 or u?
-2
Let j = 423.1 + -423. Is j not equal to -6/35?
True
Let u = -46.4 - -27.4. Is u greater than or equal to 2/17?
False
Let c = -34/7 + 36/7. Let b = -1 + 13. Suppose 0*j + b = 2*f - 2*j, -19 = f + 4*j. Is f less than c?
False
Let c = -263/2 - -131. Are c and -5/411 equal?
False
Let n be 1/(1 + 4/(-6)). Let z be n + -5 - 97/4. Let i = z + 26. Which is bigger: i or -7/2?
i
Let x = -9/8 + 13/8. Is x greater than 9?
False
Let d be ((-2)/(-10))/(6/30). Is 16/225 less than d?
True
Let t be 150/(-40)*(-8)/6. Suppose 12 = 2*c - t*c. Let x be (-4)/6 + (-21)/9. Is x smaller than c?
False
Suppose 3*c = -4*m - 478, -2*m + 0*m - c - 240 = 0. Which is smaller: -2/9 or m?
m
Let b = -128 - -46. Which is greater: b or -83?
b
Suppose 85*j - 107*j = -22. Let d = -6/5 + 64/45. Is j smaller than d?
False
Let w = 90.66 - 2.66. Which is greater: w or 0.2?
w
Let u = 139899/25 - 5595. Is u not equal to 0?
True
Let x = -107 + 109. Suppose 50 = -r + 6*r. Let j be r/(-7)*(-4)/8. Is x smaller than j?
False
Let u = 223 + -132. Suppose -4*b - 93 = u. Is b equal to -46?
True
Suppose -s = -2 + 8. Let t = 118 + -124. Is t greater than s?
False
Suppose 11 = -4*m - 5*q, -7 = -6*m + 9*m + 4*q. Which is bigger: -62/7 or m?
-62/7
Suppose -8 = 2*x - 2*v, -6*x + 2*x - v + 9 = 0. Is x less than or equal to -3/13?
False
Let g = 15 - 13. Which is bigger: 1/7 or g?
g
Let o be 2 + 0 + (-54)/16. Let a = -9287 + 371511/40. Let n = a + o. Is 2/3 <= n?
False
Suppose 0 = a + 2*a + 69. Let r = 24 + a. Let y = -10.8 - -2.8. Which is smaller: r or y?
y
Let z be 2/(-1) - (-7)/1. Let l be (-3)/z - (-47)/70. Let a = 250 + -249. Is a >= l?
True
Let s = -1.11 - -1.41. Which is smaller: -6/23 or s?
-6/23
Let h = 925 - 1322. Is -398 smaller than h?
True
Let s = -78 - -51. Let c = s - -33. Are c and -1 equal?
False
Let j = -613 + 614. Which is bigger: j or 310?
310
Let o = 368/21 + -31408/105. Let f = o + 283. Which is smaller: 1 or f?
1
Let l be 2/(-6) - (-1)/3. Let n = 2485 - 280803/113. Let c = n - -103/565. Which is bigger: c or l?
c
Let t be (-51 - -1)/((-40)/(-80)). Let o = -159 - -58. Which is bigger: o or t?
t
Let o be 336/3476 - 16/(-88). Is 0 greater than or equal to o?
False
Let t be -18*(-11)/(-22) + 10. Which is smaller: 4/149 or t?
4/149
Let f(x) = -x**3 + 6*x**2 - 10*x + 9. Let w be f(5). Let r = w - -17. Is -3/32 greater than r?
False
Suppose -5*q = -4*g - 5, -7*g + 6*g + 4 = 4*q. Which is smaller: 7/25 or q?
7/25
Let p = -42 + 34. Let k = 10 + p. Suppose -3 + k = -f - y, 0 = 3*y. Which is smaller: 2/29 or f?
2/29
Let n(g) = -36*g - 18. Let y be n(6). Is -235 smaller than y?
True
Let w be -2 - (2 + (-133)/42). Which is smaller: -2 or w?
-2
Let g be (-90)/117*-1*(-65774)/52. Let a = -973 - g. Do a and -1 have different values?
True
Let g = 0.52 + -2.82. Let x = g + 0.3. Suppose -2*f + 40 = -5*c, 16 = -0*c - 2*c - 4*f. Is c > x?
False
Suppose 0 = 68*z - 73*z - 5*h + 135, -93 = -3*z + h. Which is smaller: z or 17?
17
Let i(p) = -4. Let a(j) = -j - 9. Let c(v) = -3*a(v) + 5*i(v). Let w be c(-3). Which is smaller: -4 or w?
-4
Let p(d) = 4*d**2 - 7*d - 12*d**2 - d**3 - 12 + 4. Let y be p(-7). Which is smaller: y or -10?
-10
Let g = -359 + 349. Let p = -4.1 + 4.6. Is g greater than or equal to p?
False
Let y(h) = -h**2 + 10*h - 27. Let a be y(4). Suppose -3*p - 24 = -5*p. Let w be (3/(-10))/((-9)/p). Do a and w have the same value?
False
Suppose 660*z = 668*z + 168. Which is smaller: 0 or z?
z
Let f(m) = -2*m**3 + 9*m**2 - 2*m - 14. Let h(i) = -5*i**3 + 27*i**2 - 6*i - 43. Let k(z) = -8*f(z) + 3*h(z). Let b be k(-9). Do -0.2 and b have the same value?
False
Let y = 7.03 + -7. Let n = y + -0.2. Let d = n + 0.07. Which is greater: 5 or d?
5
Let n = 6.7 - -57.3. Let q = n + -63.89. Is q at most as big as 4?
True
Let k(l) = -12*l**3 - 4*l**2 - 8*l - 5. Let f be k(-1). Let u be ((-128)/(-6))/4*3. Let m = 27 - u. Is f equal to m?
True
Suppose -764 = -9*r + 856. Does r = 182?
False
Let a be ((396/55)/6)/(3/(-230)). Which is bigger: -2 or a?
-2
Let d(l) = -l**2 - 11*l + 3. Let k be d(-12). Are k and -4/11 equal?
False
Let l = -185 - -167. Which is smaller: -58/3 or l?
-58/3
Suppose 0 = 3*w + 2*w - 5. Let g be (140/77)/4 + -2 + w. Suppose 3*m = 4*f + 1, -4*f - 4 = 5*m + 5. Is g less than m?
False
Let o(k) be the third derivative of k**6/120 - k**5/10 - k**4/24 + k**3 - 10*k**2. Let w be o(6). Suppose -2*c = 3*x, -4*c - 2*x + 4 + 4 = w. Is c at least 8/3?
True
Let y(g) = 23*g**3 + 3*g**2 + 2*g - 2. Let o be y(1). Which is greater: o or 24?
o
Let s = 2 - -1. Suppose 4 = -5*x - 3*a - 2, -s*x - 15 = -2*a. Let o be (x + 0)/9 - 1. Are -1 and o unequal?
True
Let h = 18/4171 - -197598/604795. Is h != 1?
True
Suppose -5*u - 36 - 984 = 0. Let h be (1/(-2))/(2 - (-411)/u). Are 33 and h non-equal?
True
Suppose -g + 18 = 3*p + g, -2*p - 5*g + 12 = 0. Suppose 5*s - 95 = -5*z, -z - z = p. Is 22 at least s?
True
Let r(v) be the first derivative of -v**3/3 + 5*v**2/2 + 6*v - 2. Let j be r(5). Let k be -30 + 36 - (-1 - 0). Is j at least k?
False
Let j = 508 + -517. Is -48/5 bigger than j?
False
Let r(b) = -2*b**3 - 25*b**2 + 15*b - 50. Let x(m) = -m**3 - 12*m**2 + 8*m - 25. Let t(j) = 2*r(j) - 5*x(j). Let y be t(-11). Are 14 and y non-equal?
False
Let n be (-16)/(128/72) - 3. Which is bigger: 14 or n?
14
Let b = -206 + 206. Which is greater: 23/21 or b?
23/21
Let g(n) = -n**2 + 8*n - 12. Let i be g(6). Suppose i = 6*d - 4*d. Is d at most 0.2?
True
Let i = 12 - 7. Let o be (-15)/i + (-1 - -2 - 0). Does -0.08 = o?
False
Suppose 2*h - h = -10*h. Which is smaller: 7/148 or h?
h
Suppose -3*b + 2*b + 24 = 0. Suppose 600 = 16*r + 9*r. Is r smaller than b?
False
Let d = 238 + -913. Let n be (-894)/d*3 - 4. Let f = -43/75 + n. Is f smaller than -1/4?
True
Let w = 19.8 + -15.8. Which is bigger: -0.07 or w?
w
Suppose -4 = 2*o + 3*p - 5, -5*o - 35 = -5*p. Which is smaller: o or -1?
o
Let a = 22 + -23. Let t be (2 + a)/(1 - (-21)/(-2)). Which is smaller: 0 or t?
t
Suppose 2*j = -2*j - 2*b + 1530, -3*j - 4*b = -1140. Let l be (j/45)/(-4) - 10/(-75). Which is bigger: l or 0.5?
0.5
Let g = 10 - -23. Which is greater: 31 or g?
g
Let x be 32/(-6) - (-1)/3. Let d be (3 - 169)*x/23. Let w = 36 - d. Which is greater: w or 1?
1
Let h(x) = -5 - 2 + x + 3. Let t be 1 - (-6 - -1) - 0. Let l be h(t). Which is bigger: l or 1?
l
Let o = -4.19 + 0.19. Let r = 4.35 + o. Let g = r - 0.35. Which is bigger: 2 or g?
2
Let w be (8 + -2)/(1 - 0). Suppose s + 8 = 16. Which is smaller: w or s?
w
Let p = -24 - -44. Let g = -20.01 + p