 -y. Which is bigger: o or y?
o
Let y(u) = -u**3 + 2*u**2 + u - 1. Let j be y(2). Let r(h) = -h + 8. Let n be r(6). Are j and n equal?
False
Suppose -3*l = -2*q + 2*l - 27, -4*l + 12 = 0. Is q smaller than -4?
True
Suppose -f - 5 = -1. Let p be (-23)/6 + -2*3/36. Is f at most p?
True
Suppose -5*m - 3*f = 45, -3*m - m - 36 = -2*f. Let t be (10/15)/((-2)/m). Which is smaller: 1 or t?
1
Let v be (-926)/10 + (-3)/(-5). Let g = v - -373/4. Is g bigger than 2?
False
Suppose -4*m + 5*g = 0, 0 = -5*m - g - 0*g. Suppose 0 = -j + 6*j + 15. Let l = -4 - j. Which is smaller: l or m?
l
Let k be ((-3)/(-12) - 0)/1. Is -0.04 at least k?
False
Let a = -8 - -14. Suppose 2*g = a*g + 8. Let d = 7 + -10. Which is greater: d or g?
g
Suppose -2*h = -h - 5. Suppose -h*j = -4*j - 4. Which is smaller: j or 2?
2
Let i = 16 + -8. Is 4 < i?
True
Let g = 0.07 + -0.11. Which is smaller: 1/3 or g?
g
Let w = 66 - 77.2. Let q = 11 + w. Let d = 0.1 + q. Which is smaller: -3/7 or d?
-3/7
Let t(f) = -f**3 + 6*f**2 - 5*f. Let c be t(5). Let b(g) = g - 1. Let u be b(2). Which is smaller: c or u?
c
Let v = -68/23 + 3. Which is bigger: v or 1?
1
Let a = 4/9 - 7/36. Which is greater: a or -4?
a
Let f(r) = -14*r + 1. Let h be f(1). Let p be 4*(2 + 11/(-2)). Is p less than or equal to h?
True
Let p = 5 - 3. Suppose -7 = -j + 5*r, -2 = -0*r + p*r. Is j smaller than 2?
False
Let w = -3 + -1. Is w equal to 0?
False
Let c(f) be the second derivative of -f**5/20 - f**4/2 - f**3 - 7*f**2/2 - 4*f. Suppose -4*a = 11 + 9. Let v be c(a). Is v less than or equal to -1?
True
Let f(j) = -j**2 + 6*j - 3. Let r be f(2). Suppose -q + 9 + 0 = r*w, 0 = -2*q - 2*w + 2. Let l = -0.05 + -0.95. Is l >= q?
True
Let o = 2.9 - 3. Let c = -3 + 0. Let j = c + 3.3. Is j at most o?
False
Let v be 1/8*(-3)/(-1). Let f = -29 - -28. Is v at least f?
True
Let o(i) = -6*i - 2. Let h be o(-1). Suppose -2*v - 4*p + 16 = 0, -p = -h*v + p - 8. Are -2/11 and v nonequal?
True
Let l = -0.009 + -77.991. Is l at least as big as 0?
False
Let i = -4 + 6. Suppose 2*z - i = 4*z. Let d be (-1 - -1 - -1)/z. Which is greater: -1/4 or d?
-1/4
Let l be (-2)/(-2) + 36/(-24). Do l and -1 have the same value?
False
Let i be -9 + 0 + 0 + 2. Let c be i/28 + (-26)/(-8). Suppose -a + c*a = -6. Do -3 and a have the same value?
True
Suppose 0*i = 5*i - 45. Does i = 9?
True
Let z = 27 - 15. Suppose 3*t - z = 6. Is t bigger than 6?
False
Let l = -4 + -12. Which is smaller: -15 or l?
l
Let w be 1/4 - (1 - 1). Let q = -9 - -9.7. Let y = -0.8 + q. Is w at least y?
True
Let n = 8342/100989 - 2/2061. Which is smaller: n or 1?
n
Suppose -77 = n - 4*n - 2*q, 0 = -n + 4*q + 35. Which is greater: 28 or n?
28
Suppose 5*i = -5*z - 5, 14 = 5*i - 5*z - 21. Suppose 11 = v - 2*v. Let l = 12 + v. Is l at least i?
False
Let o = 43 + -66. Let u = o - -17. Do u and -8 have different values?
True
Suppose 0 = g - 4*a - 14, -3*g = a + a - 98. Let c be 17/g - 2/3. Which is smaller: c or 1?
c
Let x = -3.89 - -0.89. Is 6 > x?
True
Let k = -692/55 + 62/5. Let r(a) = -a**3 + 4*a**2 - 2*a - 4. Let t be r(3). Which is smaller: t or k?
t
Let u(x) = -x**3 - 4*x**2 + 5*x + 3. Let n be u(-5). Let g be (4 - (-4)/(-4)) + -6. Let v = g + 7. Which is smaller: v or n?
n
Suppose 0 = -3*w - 0 - 3. Let l = w + 3. Suppose -4 = l*o - 2. Which is bigger: o or 2/5?
2/5
Let v(q) = -q**2 - 5*q - 3. Let u be v(-4). Suppose o + 2*b + u = 0, 3*o + 3*b = 5*o + 2. Let a be (o + 1)/(-2 + 0). Which is bigger: -1 or a?
a
Let m be 2*(140/8)/5. Suppose m = 3*c - 2*q, 3*c + c = -5*q - 29. Which is greater: -2/7 or c?
-2/7
Let n(t) = -3*t - 3. Let g be n(-2). Suppose -2*i - 2*i = 0. Suppose i*a = -g*a - 6. Is -2 less than a?
False
Let z = 0 + 6. Let b(k) = -k**3 + 6*k**2 + k - 8. Let m be b(z). Which is greater: m or -1?
-1
Let y be (-2)/(-4)*4 - -3. Suppose 5*d - 3 - 2 = 3*b, b + 5 = y*d. Is 1/6 greater than or equal to d?
False
Suppose 5*q - 20 = 0, 4*q = -3*u + 2*q + 8. Suppose -2 = z + 1. Let o be 2*((-6)/z)/(-2). Is u smaller than o?
False
Let w(f) = -f**3 - 7*f**2 - 5*f + 6. Let i be w(-6). Which is greater: i or 5/4?
5/4
Let z be 1/(-1)*0 + 9. Let m be -2 - 24/z*-1. Which is greater: m or 0?
m
Let a be ((-364)/(-16))/(1/16). Let i be a/6 + 0 + 1. Let x = i + -61. Is x >= 2?
False
Let h be -4 - 0 - (-7 + 5). Which is greater: h or 1/5?
1/5
Let y be 2/3 + (-6)/8. Which is smaller: -1 or y?
-1
Let x = 0.13 + -0.1. Let q = x - -0.97. Which is smaller: -0.1 or q?
-0.1
Suppose -5*b = -q + 20, 0 = -5*q - 5*b + 2*b + 16. Let n(z) = q + z**3 + 3*z - 9*z**2 + 4 + 4*z. Let p be n(8). Is -1/3 <= p?
True
Suppose 0*c = 3*c + 6. Which is bigger: -1 or c?
-1
Let n = 4 + -8. Let l(f) = -f**3 - 4*f**2 + 2. Let b be l(n). Let d be b/3 - (-40)/(-6). Are -7 and d equal?
False
Let z be 1*(1*2)/(-2). Let x be (16/40)/((-2)/10). Which is bigger: x or z?
z
Let n = 10 - 16. Let r = n + 7. Let j = -4 - r. Are j and 0.1 non-equal?
True
Let y(c) = c - 3. Let l = 11 + -8. Let r be y(l). Which is smaller: r or -1/3?
-1/3
Let y be 9/21 - 1/3. Let t(l) = l**2 + 8*l - 5. Let i be t(-8). Let g = 4 + i. Which is smaller: g or y?
g
Let f = -32 - -18. Let g be (-8 - -2)/(4/10). Which is smaller: f or g?
g
Suppose 0 = 5*j + 3*y + 16 - 60, 3*y = j + 2. Do 8 and j have different values?
True
Suppose 0 = 4*y - y. Let l(n) = -n + n**3 - 2*n**3 + 0*n. Let g be l(y). Is -1/3 at most as big as g?
True
Let k = -0.05 + -0.05. Let y = -0.9 + k. Which is bigger: 0.1 or y?
0.1
Let b = 18 - 19. Is b < -2/7?
True
Let y = 0.5 - 0.1. Let a = 3.7 + -3.4. Which is bigger: y or a?
y
Let f = 38 - 36. Which is smaller: -1/3 or f?
-1/3
Suppose 0 = q - 3 + 1. Let h = -35 - -33.3. Let i = 0.3 - h. Is q != i?
False
Let r be ((-14)/3)/((-3)/(-72)). Let t be 8/(-9)*12/r. Do t and 1 have the same value?
False
Let h = 69 - 41. Is 27 at most h?
True
Let b = -12 - -12. Suppose 2 = -2*l - b. Is -2/5 bigger than l?
True
Let m = 3 + -14. Which is smaller: -8 or m?
m
Let a(y) = y**2 + 5*y. Suppose 4*v + 30 = -v. Let k be a(v). Which is smaller: k or 5?
5
Let j = -6 + 9. Let s = -3 - -3.1. Which is greater: j or s?
j
Let m be (-3)/12 - 3/(-12). Suppose 0 = -3*l + 7*l. Let n be (1 + -2 + l)/(-1). Is m smaller than n?
True
Let u(m) = 3*m + 3. Let o(t) = t. Let w(n) = 5*o(n) - u(n). Let k be w(2). Let i = 4 + -5. Is k >= i?
True
Suppose 0*d - 32 = 4*d. Let o = 4 + d. Let k = o - -2. Which is bigger: -4 or k?
k
Let m = 79 + -551/7. Do m and -2 have different values?
True
Let v be (-28)/(-7) - (-4 + 5/1). Let u(g) = 2*g**3 - g. Let d be u(1). Which is greater: v or d?
v
Let p = 1 + 6. Is p > 8?
False
Let l be -4 + (5 + -1 - 1). Let j = 320 - 221. Let k be (3/j)/(1/6). Are l and k nonequal?
True
Let w = 0.7 - 3.7. Let i = -2 - w. Which is smaller: i or 0.3?
0.3
Let o = -0.1 + -0.1. Let y be 1/(-2)*-6 - -1. Suppose y*b - 5*i = -19, -5*b - i + 1 = 3. Which is smaller: o or b?
b
Let f(d) = -d**3 - 7*d**2 - 6*d - 1. Suppose 24 = -3*l - 3*s, 0*s + s + 2 = 0. Let o be f(l). Let y be 1*(-2 - 12/(-5)). Which is bigger: o or y?
y
Let i be 0/(-2) + 0 - 0. Which is smaller: i or -1?
-1
Let w = 388/15 - 131/5. Is 20 >= w?
True
Let i = 4 - -62. Let y = 10 - 43. Let b be 5/y - 12/i. Which is bigger: 1 or b?
1
Let u be (-85)/(-20) - (1 + 3). Suppose -5*z = -2*z. Is u greater than or equal to z?
True
Suppose 6*a = 5*a + 2. Is 2 smaller than a?
False
Let z(a) = a**2 + 6*a - 3. Let p be z(-6). Let b(h) = -h**3 + h**2 + 2*h. Let j be b(2). Let s = -3 + j. Is s at most as big as p?
True
Let w = 1.6 - 1.69. Let u = -0.01 + w. Suppose 3*f - b = 9, -3*f + 9 + 0 = 4*b. Which is smaller: u or f?
u
Let z be (2 - 0)*155/(-10). Let v = z - -20. Are v and -11 unequal?
False
Let j = -35 + 64. Is j at least 30?
False
Suppose 0 = -3*r - 2*f + 3, 4*f = -4*r - 1 + 9. Is 0.8 less than r?
False
Let j = 1 + -1. Let o = -4 + 2. Is o >= j?
False
Let z = -3 - -6. Which is smaller: z or 7?
z
Let f be (-4)/(-7)*14/4. Let r(l) be the first derivative of -l**2/2 + 2*l + 1. Let n be r(f). Is -2/15 at most as big as n?
True
Let t = -4/4387620565 + 85370025473238097/1351387134020. Let c = 63172 - t. Let d = c - 1/28. Which is smaller: d or 1?
d
Suppose -3*z - 131 = -5*t, t - 2*z + 0*z = 29. Suppose -2*b + 7*b - t = 0. Suppose 4*f - b + 1 = 0. Which is bigger: -2 or f?
f
Let n = -0.3 + 0.3. Let u = 0.4 + n. Let z = -0.4