-b**3 + 8*b**2 - 6*b - 2. Let v be n(i). Suppose 5*o = v*s - 20, -s + o = -4*s. Which is greater: 6/13 or s?
s
Suppose 7*u = 3*u. Which is greater: u or 3/5?
3/5
Let q(o) = o + 1. Let p be q(-3). Let g be (-20)/(-8) + p/(-4). Let z = 3 - g. Which is smaller: 2/13 or z?
z
Let l = 206/9 + -23. Let g(m) = -m**3 + 2*m**2. Let j be g(1). Which is bigger: l or j?
j
Let i be 0/(-2 - (-3)/1). Let l be (6/(-8))/((-18)/16). Which is bigger: i or l?
l
Let i be -3 + (5 - 6) - 0. Let s = 0.9 + -1. Let h = -1.9 + s. Which is smaller: i or h?
i
Let h(k) = -k**2 - 14*k + 1. Let f be h(-14). Suppose 3*i = 4 - f. Let w be (3/(-3))/(0 - -5). Which is greater: w or i?
i
Let j = -6 + 9. Suppose -23 = -4*w - 4*k + 1, -j = -w - 4*k. Let s(m) = m**3 + 8*m**2 - 11*m - 11. Let z be s(-9). Is w greater than or equal to z?
True
Suppose 2*r = -10, -16*r = 5*f - 11*r - 160. Is f at most as big as 37?
True
Let w be (2 - 8/4)/(-2). Suppose -2*o - 4*p - 12 = 0, 2*o - 2*p - 6 = -w*o. Do o and 3/2 have the same value?
False
Let c be (5/(-30))/(((-190)/(-4))/(-5)). Which is smaller: c or 1?
c
Let j(s) = 3*s + 30. Let g be j(-13). Is -9 at most as big as g?
True
Let k(t) = 12*t**2 + t - 1. Let z be k(-1). Does z = 80/9?
False
Let a(o) = -o**3 - 5*o**2 - 1. Let z be a(-5). Let v be 4/18 + (-7706)/90. Let j = -86 - v. Is j equal to z?
False
Suppose 0*g = -2*g. Let j be 2 + (-6 - -1) + 3. Suppose -5*n + j - 5 = g. Is n at most as big as -1/9?
True
Let d = -0.81 - 0.19. Which is bigger: -7/3 or d?
d
Let k be (-2)/8*(-13 + 15). Let l be (-7 - -1)/3 + 1. Is k at least as big as l?
True
Let x = 2 + -4. Let r = 17 + -4. Suppose 9*a - 4*a - 3*p - 1 = 0, -5*p = 3*a + r. Which is greater: a or x?
a
Let x be 1524/(-42) - 4/(-14). Let q be x/54 - (1 + -1). Which is greater: 2/7 or q?
2/7
Let i = 8 - -5. Let t = i + -19. Is -6 != t?
False
Let w = -1.1 + 0.3. Let h = w + 1. Let f = -2.9 + 3. Is f equal to h?
False
Let q = 2958149/108 - 27390. Let w = 695/43362 + 2/803. Let s = q - w. Which is smaller: s or -1?
-1
Let t be 2*(1 + (-123)/(-6)). Let g be t/3 + (-2)/(-3). Suppose 3*v - g = -5*m, 3*v = -v - m + 3. Which is bigger: -1/4 or v?
v
Let x = 6 - 4. Suppose -x*h = z - 13, 2*z + 0*z = h + 6. Which is smaller: h or 6?
h
Let k = 5 - -2. Let d = 10.06 + -0.06. Let q = k - d. Which is smaller: q or -1?
q
Suppose 5*f + 208 = -3*o, -4*o = f + f + 268. Let z be (1 + -5)*o/(-24). Is z at most -10?
True
Let q = 2 - -2. Let m be (-3)/((-54)/q) + 0. Which is smaller: 1 or m?
m
Let c = -1.08 - -1. Let k = c - -0.18. Which is bigger: 6 or k?
6
Suppose -6*d + 5*d - 15*d = 0. Which is bigger: 1/143 or d?
1/143
Let g(i) = i**2 - 11*i - 17. Let k be g(12). Is -36/7 >= k?
False
Let g = -43.1 - -43. Which is greater: g or 0.021?
0.021
Let p = 0.7 - 0. Let r = -2.3 - p. Let k be -2 + 1 + 0/(-1). Is k at most as big as r?
False
Suppose 3*v = 2*v - 3*h + 3, 3*v - h = 9. Suppose -c = -5*m - 4*c - 58, 0 = -v*m + c - 32. Which is smaller: m or -10?
m
Let k = 0.044 + -3.244. Which is smaller: k or 0.1?
k
Let u be (-6*1/(-18))/((-1)/(-9)). Are u and 30/17 equal?
False
Let h = 0.2 + 0.8. Let a = h + -2. Let t = a - -1. Do -2/7 and t have different values?
True
Let h = -7 - -10. Let o(t) = -t**2 + t - 1. Let w(u) = -2*u**2 - 2*u - 2. Let y(a) = 3*o(a) - w(a). Let c be y(4). Is h at least as big as c?
True
Let g(t) = t + 11. Let j be g(-7). Suppose 2*i + 2*i = j. Do 3/7 and i have the same value?
False
Let n = 0 + 1. Which is bigger: 0 or n?
n
Let m(d) = d**3 - 7*d**2 + 5*d + 6. Let r = 21 - 15. Let v be m(r). Suppose -22 = -5*s + 3*j - v*j, 4*s - 25 = -5*j. Is s bigger than 1?
True
Let l(j) = j + 6 + 2*j - 2*j. Let i be l(-5). Let n be (i + (-6)/8)/(-1). Which is smaller: 1 or n?
n
Let d = 7 - 7. Let q be 6 + (0 - d) - 1. Is q at least 5?
True
Let w = 1/22 + 347/110. Are 2 and w non-equal?
True
Let d = 19 + -1. Suppose -4*i + d = 2. Let x be 1*-3*i/(-8). Which is bigger: x or 1?
x
Suppose -5*q + 5 = -0*q. Let w(t) = -3*t**3 - t**2 + 1. Let n be w(q). Let j = 4 + n. Is j less than or equal to 2?
True
Let w(v) = -v - 1. Let d be w(-1). Which is smaller: 2/21 or d?
d
Suppose 5*j - j = -4*s + 16, 4*s + 5*j - 14 = 0. Which is smaller: s or 7?
s
Let k be -2*((-6)/4 - 1). Suppose -5*m - 2*v = -23, 5*v - 5 = -3*m + 5. Suppose b = -m*j + k, -5*j = 3*b - 0 - 5. Does 2 = j?
False
Suppose -4*w = -5*w + 4. Let d = w - 4. Let c = d + 2. Are 1/2 and c unequal?
True
Let f = 0.7 - -1.2. Is 2/3 smaller than f?
True
Suppose -2*g + 26 = 3*m, 44 = 6*m - 2*m + 5*g. Suppose -m*q = -3*q. Let d be 2/3 + (-2)/(-6). Which is greater: d or q?
d
Suppose -5*a + 5 = -5*o, a + a - 3*o - 2 = 0. Let v be -9 - -12 - (a - -1). Is 3/2 > v?
True
Let u = 2579/3017 + 1/431. Suppose -5*w + 20 = -40. Suppose -5*m + 4*i = 16, 3*m = 3*i - 0*i - w. Which is greater: u or m?
u
Let t = -2.4 + 0.4. Let i = -1.98 - t. Let b = i + -0.02. Is b not equal to -3/7?
True
Let z = -3 - -8. Which is bigger: z or 2/11?
z
Let l = 5.36 + -0.36. Let w = -25 - -123/5. Is l > w?
True
Let l = -4 - -4. Are l and -3/19 equal?
False
Let u = -33 - -18. Is 1 greater than or equal to u?
True
Suppose -5*m - 27 = -3*r, -2*m + 3*r = -m + 3. Let j be 2/(3/(81/6)). Let q = j + m. Which is greater: q or 2?
q
Let o(d) = 2*d**3 + 11*d**2 + 4*d - 4. Let k be o(-5). Is 1/22 at least k?
False
Let i be 2*((-2)/(-2))/(-4). Suppose -q - 43 = -2*x, 2*x + 5*q - 12 = 13. Is i <= x?
True
Suppose 5*l - 19 = 6. Let p be (-1)/((-6)/l + 1). Is 5 at least p?
True
Let q(x) = x**2 - 20*x + 6. Let n be q(20). Which is smaller: 5 or n?
5
Let s be (54/165)/((-3)/(-30)). Are s and 4 equal?
False
Suppose -2*o = 4*y - 10, -o = 3*o + y + 1. Is o greater than -2/11?
False
Let t(w) = w**2 + 5*w - 8. Let y be t(-4). Which is bigger: -1 or y?
-1
Let q = -15 + 15.5. Let t = -6.5 + q. Which is smaller: t or 0.1?
t
Let r be (2 - (6 - 2)) + -3. Is r less than 1?
True
Let s be (-3 - 28/(-12))*-2. Let n = 6 + -6. Which is smaller: s or n?
n
Let c(g) = -g - 4. Let l be c(-4). Let w be (l/(-2))/(-3*1). Which is bigger: 3/4 or w?
3/4
Let g = 34/19451 - 3958243/5543535. Let n = g - 5/57. Let x(s) = s**3 - 5*s**2 - 2*s + 10. Let q be x(5). Is n greater than or equal to q?
False
Let h(q) = -q**3 - 7*q**2 - 16*q + 11. Let z be h(-8). Let m = 1427/7 - z. Which is greater: m or 1?
1
Let f = 0.03 + -0.43. Let w be -8 + 8 + 1/3. Which is smaller: f or w?
f
Let l(w) = w + 4. Let b be l(-18). Is b > -14?
False
Let y be (-15)/23*(-3342)/5. Let n = y - 436. Which is smaller: n or -1?
-1
Let l be (-6)/(-39) - 18/(-52). Is 6 not equal to l?
True
Suppose 2*n - 5*n = 0, -5*x - 4*n = -35. Do 6 and x have the same value?
False
Let v be 3 + (1 - (-1)/(-1)). Suppose -5*h = 2*k - 2, -h = 4*k - 7 + v. Is 2 at most k?
False
Suppose 4 = g - 0. Let f be 6/4*g/(-6). Is 1/4 > f?
True
Let i be (-4)/(-10) - 2/5. Suppose -2*h - 2*h + 4*t = -24, 0 = -2*h - 2*t + 24. Let j be (-7)/h - (0 + -1). Which is greater: j or i?
j
Let y = -831/4 + 209. Which is smaller: -3 or y?
-3
Let u = -1558/4607 + -4/271. Which is greater: 1 or u?
1
Let f = -7 + 6. Which is smaller: -9 or f?
-9
Suppose 2*x = -m - 14, -1 - 4 = 5*m - 3*x. Is m not equal to -2?
True
Let h be (-7)/(-42) - 1/6. Do -21 and h have the same value?
False
Let x(r) = r**3 - 4*r**2 - 3*r - 7. Let z be x(5). Suppose -z*k - 8 + 2 = 0. Which is greater: k or -3?
k
Suppose -a + 3 + 2 = 0. Suppose 9*j + 24 = a*j. Is -6 > j?
False
Suppose -2*m = -3*m + 1. Let b = 110 - 157. Let v = 140/3 + b. Is m > v?
True
Let t be (6/(-2))/((-5)/5). Suppose -2*f - t + 7 = 0. Is 0 != f?
True
Suppose -25 = 5*p + 6*l - 2*l, -4*p + 2*l = -6. Let m(r) = -5 - 3*r**2 + 3 + 8*r + 6 + 2*r**2. Let a be m(8). Which is smaller: a or p?
p
Let c = 26 - 25.8. Is 4/5 != c?
True
Suppose 0 = -2*a - 3*a + 1090. Let o = a - 1964/9. Does 0 = o?
False
Let r = 0.452 + 0.078. Let u = -0.03 + r. Is -1/3 < u?
True
Let l = 0.06 + 9.94. Let o = 9.9 - l. Is -1/2 smaller than o?
True
Let i = -68 + 66. Which is smaller: -0.11 or i?
i
Suppose -1 = -5*q - n, -10 = -2*q + 4*q + 3*n. Suppose 2*i + 1 = -q. Is -1/4 smaller than i?
False
Suppose 5*m + 4*r - 192 = 0, -5*r + 47 = m - 4. Suppose -5*c = -0*g + 4*g - 14, -3*c = -5*g + m. Is 7 greater than or equal to g?
True
Let p = 66 + -123. Do p and -57 have different values?
False
Suppose a = 5*a. Which is smaller: a 