 - 8. Let d(m) = m**3 - m**2 - m + 1. Let z(q) = -d(q) + t(q). Let f be z(-8). Do f and -1 have different values?
False
Let u = -118 + 118. Which is greater: u or -1/42?
u
Let s be (1 + (0 - -4))*1. Which is smaller: 2 or s?
2
Let a be 33/(-12) - 3/(-4). Let q be 0/a*1/3. Suppose -2*u + 2*v = -q*v - 4, -v = -4*u + 5. Which is bigger: 3 or u?
3
Let x be -3 + 1 - (-7 - -10). Which is greater: -4 or x?
-4
Suppose 2*u - 4 = -22. Which is greater: u or -11?
u
Let q = 72 + -140. Is -68 at most q?
True
Let j = 751/21 + -106/3. Let g(z) = -z + 6. Let a be g(4). Let n be 0/a - 0/(-9). Which is smaller: n or j?
n
Suppose 0 = t - 0 - 1. Suppose g + t = -0*g. Is -2 greater than g?
False
Let t(h) = -h**2 + 9*h - 12. Let g be t(7). Let m = 3 + -3.2. Which is smaller: g or m?
m
Suppose -2*d = -d. Let r = 0.1 - 0.6. Let u = r - -1.5. Which is smaller: d or u?
d
Suppose 6*a + 2 = -10. Are -8 and a non-equal?
True
Suppose -3*p + 3 = 5*c + 33, 4*c + 22 = -2*p. Let u be ((-3)/3)/(1/(-3)). Let m = c + u. Is 2/9 at least as big as m?
True
Let v = -45 - -59. Are 14 and v unequal?
False
Suppose -18 = -10*k + 4*k. Suppose -2*y - 1 = -k*y. Let h = 202 + -2218/11. Which is greater: h or y?
y
Let h be -2 + (6/3 - -2). Suppose h*q - 14 = -f - q, 2*f = -2*q + 12. Suppose 5*k - 15 = -5. Is k bigger than f?
False
Let a be (-3)/(-9)*-1 + (-7)/51. Which is bigger: a or 0?
0
Let v = 58 + -58. Is 2 bigger than v?
True
Let k be 10/(-4) + (14 - 12). Is 5 less than or equal to k?
False
Let o = 4 + -4. Let m be -2 + 0 + 2 + o. Let s be (m - 0)/(3 - 0). Is s != -2/11?
True
Let g(u) = u**3 + u**2 - u. Let i be g(1). Suppose 0*q - i = -q. Let a be 1 - (-2 + 2)/q. Which is greater: a or 3/5?
a
Suppose 5*r = -0*r. Let d be (2 + r)*(7 - 6). Which is smaller: d or 1?
1
Let o(i) = -4*i**2 - 8 + i**3 + 2 - 3*i**2 - 8*i. Let m be o(8). Is -6 at most as big as m?
True
Let n = 77 - 69.8. Let h = n + -7. Is h greater than 1/5?
False
Suppose -3*w + 8 = -x, 0 = -3*x - 2*x + 2*w - 1. Which is smaller: 1/23 or x?
1/23
Let x = 0 - 0. Let l = -0.08 - -0.38. Let i = -1.3 + l. Is x greater than i?
True
Let u = -1899/212 - -11/53. Is -9 smaller than u?
True
Let x(g) = 3*g**3 - 4*g**3 + 0*g**3 - 3*g - 3*g**2 - 1. Let a be x(-2). Let p = -125/3 - -42. Is a greater than p?
True
Suppose 2*p + p = 5*i - 141, 6 = 2*i. Let l be 6/(-21) + (-40)/p. Which is bigger: l or -2?
l
Let t = 25 - 25.11. Let r = -4.11 - t. Let p = r - -3.8. Which is bigger: 1 or p?
1
Let q = -191/10 + 94/5. Are 1 and q unequal?
True
Suppose 5 = -2*w + 9. Suppose 5 = -w*k + 7. Which is greater: -2/35 or k?
k
Let x = -3 - -3. Let m be -2 + 3/(1 + x). Which is bigger: m or 0.1?
m
Suppose -4*k = -0*k - 4. Which is bigger: 3/2 or k?
3/2
Let i(f) = -f**2 + 4*f + 2. Let p be i(4). Is p > 3?
False
Let f = -8 + 8. Suppose 2*l + f = -4. Let i be -3 - (2 - (7 + l)). Which is greater: -2/5 or i?
i
Let i = 12 + -12. Let b = 3 + -4. Which is smaller: b or i?
b
Suppose 4*l + 4*f = -16, f - 4*f - 16 = -l. Let n be ((-15)/9 + l)/111. Let c = n - -1342/1665. Which is smaller: 1 or c?
c
Let t = 5 - -2. Which is bigger: t or 8?
8
Let l = -3.03 - -2.9. Which is greater: l or -1/2?
l
Let g(c) = -c**3 + 4*c**2 + c - 4. Let v be g(3). Let s(d) = 5*d - 10. Let l be s(3). Suppose l*f = f + v. Is 2 at least as big as f?
True
Let c(d) = -d**2 + 2*d. Let x be c(3). Let r(h) = -2*h + 2 + 184*h**2 - 368*h**2 + 183*h**2. Let t be r(x). Is -1 >= t?
True
Suppose 0 = -b - 4*b + 15. Is b at most as big as 17/9?
False
Let c(x) = x**2 - 8*x - 3. Let z be c(8). Let b be (-1 + 0 + 2)/z. Which is greater: b or -1?
b
Let y = -10 + 4. Let d(q) = q**2 - 2*q - 4. Let s be d(4). Let w be y/4*s/6. Which is smaller: 6 or w?
w
Suppose 30*n = 29*n + 6. Which is bigger: n or 10?
10
Let s = -3 + 2. Let c be ((-13)/260)/((-4)/24). Which is greater: s or c?
c
Let w(s) = s**2 + 9*s + 1. Let l be 9/6 + (-3)/6. Let z be (-16)/2 + l/(-1). Let o be w(z). Is o bigger than 4/3?
False
Let g be (0 + (-2)/1)/(-9). Is g less than or equal to 3?
True
Let t = 126 + -180. Is t equal to -55?
False
Let q be ((-9)/(-12))/((-15)/(-8)). Let m(g) = -g**2 + 4*g. Let x be m(4). Is x at most q?
True
Let s = 0.1 + 0. Let j = 0.07 + 1.93. Let f = -3 + j. Does s = f?
False
Let r = -22/911 - -48811/21864. Let s = r - 15/8. Let i = 2 - 1. Are s and i unequal?
True
Let w = 0.2 - 0.4. Let s = -0.85 - 3.05. Let r = s - -4. Is r less than or equal to w?
False
Suppose 0 = 3*j - 149 + 41. Let f be 128/9 + (-8)/j. Which is greater: f or 15?
15
Let b(n) be the second derivative of -n**6/360 - n**5/60 + n**4/4 + n. Let l(t) be the third derivative of b(t). Let g be l(-3). Is 3 < g?
True
Let f = -3 + -5. Let g be (-27)/(-12) - (-2)/f. Is 2 smaller than g?
False
Suppose 4*i + 14 = -2. Let f = i + 7. Suppose 16 = -4*p - v, -2*v + 21 = -f*p - 5*v. Which is smaller: -4 or p?
-4
Let o be 11/(-8)*2 - -2. Which is smaller: o or -2?
-2
Suppose 2*p = 2*a - 16, p + 0*a - 5*a + 24 = 0. Let d(u) = -u**2 - 6*u - 6. Let s be d(p). Suppose 6 - s = 4*h. Which is smaller: 1/6 or h?
1/6
Suppose 18 = -0*d + 2*d + 3*x, 0 = 5*x. Suppose -7 = -4*h + d. Which is smaller: h or 5?
h
Let p = -99.4 - -99. Which is bigger: p or 8?
8
Let y = -47486/9 + 5216. Let z = y + 60. Which is greater: z or 0.2?
0.2
Let o be ((-4)/2)/((-10)/(-15)). Is -18/11 < o?
False
Let s(x) = x**3 + x**2 + x + 4. Let m be s(0). Suppose -m*d - 3 = -g + 2*g, 0 = 2*d + g - 1. Is d at least -2?
True
Suppose -3*m = 3*d - 18, m + 30 = 5*d - 0*m. Let n(j) = 8*j**3 - 2*j**2 + 3*j - 2. Let l be n(1). Is d bigger than l?
False
Suppose -12 - 56 = -4*m. Is 19 at most m?
False
Let b be (-6)/56 + (-2)/(-8). Let t = 0.6 - -0.5. Let c = t - 1.2. Which is smaller: c or b?
c
Let c = -0.29 + -0.81. Are c and 1 equal?
False
Let u(i) = 14*i**2 - 1. Let v be u(-1). Let c = v - 11. Which is smaller: 1 or c?
1
Let a be -4 - (-2746)/648 - (-2)/(-8). Which is bigger: a or 0?
0
Let f be (-6435)/(-1606) - (2 - -2)*1. Which is smaller: 0 or f?
0
Let t = 0.008 + -1.008. Are t and -0.46 non-equal?
True
Let d(z) = -z + 8. Let y be d(-7). Suppose 13*s = y*s + 24. Is -13 at most s?
True
Let u = 13 - 15. Is u at most as big as -1/4?
True
Let z be 4/8 - (-6)/(-4). Let y be (-9)/6 - 0 - z. Let m = 0.3 + -0.5. Do y and m have the same value?
False
Let j(z) = -z + 2. Let v(o) = 4*o - 7. Let k(i) = 9*j(i) + 2*v(i). Let x be k(5). Let m be (-6 - -1)*(-4)/(-50). Is m at most x?
False
Let d = 33 + -24. Which is smaller: 12 or d?
d
Let v be 14 + 2 + 0 + 4. Is 18 smaller than v?
True
Let t = 4 - 3. Let l be (3/(-2))/(10/(-4)). Is t > l?
True
Suppose -3*u - 37 = 5*f, -3*f = -0*u + 4*u + 31. Is -5 less than u?
True
Let p = 2145/32 + -67. Is p > 1?
False
Let q = -2/147 - 628/147. Let t = 33/7 + q. Is -1 equal to t?
False
Let z(u) = 4*u + 8 - 5*u + 3*u. Let o be z(-4). Is o at least as big as 0.1?
False
Let j = 683702/215 + -3180. Let x = -336275 - -72299252/215. Let w = x + j. Which is smaller: w or 2?
w
Suppose 2*o + 22 = 20. Which is greater: o or 2/9?
2/9
Let p = -52 + 55. Which is smaller: p or 13/3?
p
Suppose 6*d = d - 2*g + 13154, -4*g - 12 = 0. Let j be 4/6 + d/30. Let b = 88 - j. Is -1 at most b?
True
Suppose 4*w = 5*z + 24, -5*z = 4*w - 6*z - 8. Suppose 6 = 2*s, -4*u + 4*s + 800 = -0*u. Let m = -3047/15 + u. Is w < m?
False
Let t be 4/(-14) + 43/28. Is 2 at least t?
True
Suppose 3 + 9 = 3*h. Are h and 3 unequal?
True
Suppose 0 = 13*h - 3 - 10. Is h at least 2/57?
True
Suppose -t - 5 - 1 = 0. Suppose 8 = -r + 1. Which is smaller: r or t?
r
Let p = -0.06 + 0.09. Let r = -4.03 - -4. Let x = r + 1.03. Which is smaller: x or p?
p
Let p(y) = -y**3 - 7*y**2 - 6*y + 2. Let n be p(-6). Let t be (n/(-6))/1*-2. Is t at most as big as 1?
True
Let z = -16 - -16. Are z and -2 unequal?
True
Let j = 5.5 - -0.5. Let m = j - 6.4. Let i(g) = -g**2 + 2*g + 3. Let n be i(3). Is n at least as big as m?
True
Let f = -3.9 - -4. Let v be (-22)/(-99) + 38/(-36). Which is greater: v or f?
f
Let y(m) = -m + 3. Let i be y(0). Let r be (-2)/i - 55/(-33). Which is smaller: 0.3 or r?
0.3
Let i be (2/4)/((-273)/14). Is i equal to 1?
False
Let o = -51/305 - 2/61. Which is bigger: 8 or o?
8
Let d = -7 - -11. Suppose 5*t + d = -1. Which is smaller: -3/8 or t?
t
Let g(h) = h + 1. Let d(y) = y**3 + 6*y**2 - 8*y - 3. Let o be d(-7). Let w be (-49)/63 +