.8. Which is smaller: u or s?
u
Let g = 0 + -4. Let x = -4 - g. Is -1 >= x?
False
Let v(w) = 0*w**2 + 3 - 2 - 3*w**2 - w + 4*w**2. Let j be v(2). Suppose -7*k + j*k + 12 = 0. Is 3 greater than k?
False
Let j = -20 - -20. Which is bigger: j or -1/31?
j
Let s be ((4 - -2)/(-3))/((-64)/(-3)). Is -1 < s?
True
Suppose 5*j = -5*c - 50, 4*c - 2*c + 10 = -4*j. Let k be (c/25)/((-1)/10). Let d be k/(6/(-8)*2). Which is greater: d or -3?
-3
Let r = 7 - 5. Suppose -r*j - 3*j + 50 = 0. Suppose 4*l - 3*b = -27, j*l = 5*l - 3*b. Is l > -3?
False
Let i = -3 - -1. Let n = 1 + -4. Let d be 1 + (n - (0 + 0)). Are i and d equal?
True
Suppose -2*l + 3 = -l. Suppose -d - l = -6. Let x be 3 + 12/(-3) - -4. Is d != x?
False
Let o = -151 - -151. Is 1/4 less than o?
False
Let d = 11.1 + -11. Which is smaller: -1.2 or d?
-1.2
Let v = -1111/5 + 220. Is -3 bigger than v?
False
Suppose -s + 5*j + 48 - 7 = 0, -j + 2 = 0. Which is smaller: 50 or s?
50
Let x be (5/(-4) - -2)*4. Suppose 6*n + x = 3*n. Which is smaller: -2/9 or n?
n
Let z = 10 + -15. Do z and -5 have different values?
False
Suppose -6*r = -2*r + 12. Which is smaller: r or -8?
-8
Let k be 1 + ((-39)/12)/(-1). Let c = k + -103/28. Is c greater than 2?
False
Suppose 3 = -d - 35. Is -1 less than d?
False
Suppose 22*r - 11*r = -11. Is r greater than or equal to -12/13?
False
Let i = -3 - -2.6. Let r = 2.4 + -2. Let d = r + i. Which is greater: d or 2/11?
2/11
Let l be 118/3 + (-6)/(-9). Suppose 20 + 4 = -y + 5*q, 5*y - 5*q = -l. Is y at least -5?
True
Let n = 0.9 + -0.8. Suppose -2*m = -3*l - 17, 4*l = m + 3*m - 24. Which is smaller: n or m?
n
Suppose -4*w + 28 + 0 = 0. Suppose 5*x - 2 + w = 0. Which is bigger: 0 or x?
0
Let q = 1.8 + -0.81. Let v = q + 0.01. Does 1 = v?
True
Let m = -5 - -7. Suppose -4*g = -3*p + 8, -1 = -5*p - 4*g + 23. Is m equal to p?
False
Suppose 4*m - 4 = 8*m. Is 1/91 at most as big as m?
False
Let l = 31 + -19. Is l < 1?
False
Let r be 1 + -1 + 2 + 1. Is 3 smaller than r?
False
Suppose 3*w = -4*n - 0*n + 8, 2*n = 3*w + 4. Which is bigger: 1 or w?
1
Let y = 77 - 78. Which is smaller: y or -5/4?
-5/4
Let z = -20 + 26. Let n = 15 + -9. Is n greater than z?
False
Let p = -4 + 2. Let u be ((-1)/p)/(4/40). Is u < 5?
False
Let p(u) = u + 9. Let w be p(-8). Is 8/13 equal to w?
False
Suppose -7*n = -12*n + 30. Let a be (2 + (-15)/n)*0. Is a != 5?
True
Let q be (-1)/(-2) + 5/2. Let u(f) = 1 - 6*f + 4*f + 3*f. Let s be u(q). Which is greater: 3 or s?
s
Suppose 4*g - w + 200 = 0, -6*g + 5*g - 2*w = 50. Which is greater: -49 or g?
-49
Suppose -2*h = 3*s + 3, -2*s + 0*s - 3*h - 2 = 0. Let b(a) = -a**3 - 4*a**2 + 6*a + 4. Let j be b(-5). Is s less than j?
False
Let h be 19/5 - 3/(-15). Suppose -3*v + h = -2. Suppose -3*i = 2*l - 6, v = -l - l + i. Which is greater: -2/5 or l?
l
Suppose 4*z - 5*a + 16 = 0, 5*a + 5 - 13 = 2*z. Let w be 1/((-1)/z*2). Let t = -3 + w. Is 1/2 at most as big as t?
False
Let t = -7/2 + 3. Are 0 and t unequal?
True
Let q = 29 - 28.84. Which is smaller: q or 2/3?
q
Suppose 0 = 4*t + y + 289, 0*y = 5*t - y + 368. Are t and -73 nonequal?
False
Let p(v) = v**2 + v + 4. Let w be p(0). Suppose -d - w*d = 20. Let r be (6/(-4))/(9/12). Which is bigger: d or r?
r
Let y be (-8)/12*(-1 - 2). Let z(c) = 3*c. Let w be z(y). Is w equal to 6?
True
Let m = -5119/17 + 301. Suppose -2*s = 2*y + y + 8, -5*s = y + 7. Which is bigger: s or m?
m
Let c = -0.3 + 1.3. Which is smaller: 3/14 or c?
3/14
Let t = -0.9 - -1. Let v(d) = -2*d**2 - 7*d + 2. Let p be v(-5). Let o = 27/2 + p. Which is smaller: o or t?
t
Suppose -2*t - 2*t = 4*d - 4, t - 7 = -3*d. Let w be 12*(-1)/(d/(-2)). Let h(x) = x**3 - 8*x**2 - x + 6. Let m be h(w). Which is bigger: m or -3?
m
Suppose 3*n + 3 = -3. Does n = -2?
True
Let q(i) be the second derivative of i**4/12 + 5*i**3/6 - 5*i**2/2 + 3*i. Let o be q(-6). Let f = -13 + 89/7. Which is greater: o or f?
o
Let y(f) = -f**2 - 4*f + 14. Let n be y(-7). Suppose j + 110 = 6*j. Let v = 16 - j. Is n at most as big as v?
True
Let g(l) be the second derivative of -l**4/12 + 11*l**3/6 - 6*l**2 - 3*l. Let d be g(10). Suppose 4*r = -0*r - 12. Are r and d equal?
False
Let n be 38/84 - 1/6. Let c(r) = -r - 6. Let l be c(-6). Which is greater: l or n?
n
Let c be (284/6)/((-2)/6). Is -142 at most as big as c?
True
Let l be 3*(-5)/((-60)/32). Suppose 3*p + p - l = 0. Which is greater: 1/2 or p?
p
Let w(z) = -z**3 - 12*z**2 - 21*z - 9. Let j be w(-10). Which is bigger: j or 1/4?
j
Suppose 1 = u + 3. Let t = 16 + -23. Let q = -8 - t. Is q > u?
True
Let v(b) = -3*b**2 + b**2 + 6 + 6*b**2 - 5*b - 3*b**2. Let r be v(4). Which is greater: 3/5 or r?
r
Let v be 250/7 + 18/63. Let n be 1*2*v/(-6). Let c be (-4)/n - (-2)/(-6). Is c greater than 1/5?
False
Let p = -0.25 - 0.05. Let v = 2 + -1.9. Let b = v + p. Which is smaller: 1 or b?
b
Let n(l) be the first derivative of -l**4/4 - 4*l**3/3 - 2*l**2 + l + 2. Let k be n(-3). Suppose 0 = -h - 2*a + 10, -5*h = -h + k*a - 20. Does h = 2/17?
False
Suppose 147 + 56 = 7*k. Which is bigger: k or 30?
30
Let z = -9 + 15. Let b = z + -3. Suppose r = 4, l + 12 = b*r + r. Is 5 at most as big as l?
False
Let y = 39 - 33.8. Let x = -28 + 23. Let d = x + y. Which is bigger: d or 0.1?
d
Let k = -0.32 + 0.22. Are 4 and k equal?
False
Suppose 0 = -n + 4, 20 = -b - 0*b + 4*n. Let u = 7 - 2. Let s = u - 8. Which is greater: b or s?
s
Let b(z) = z**3 + 4*z**2 - z. Let m be b(-4). Let c be (-27)/(-15) + (2 - m). Is c <= -1?
False
Let t = 17 - 20. Let f(p) = -p. Let u be f(4). Which is smaller: u or t?
u
Let z be 1*22 - (11 + -14). Which is smaller: z or 24?
24
Let t(i) = -i**3 + 5*i**2 + 2. Let b be t(5). Let c = -175 + 871/5. Let g = c - -23/10. Which is bigger: b or g?
b
Suppose w - 80 = -w. Let k be w/(-6)*(-3)/2. Let g be (-6)/15*1*k. Is -5/2 <= g?
False
Let r = 26 + -26. Let n = 8 - 7.99. Is r > n?
False
Suppose -2*v + v - 1 = 0. Let g be -1*(-2)/v + 1. Let r = -8 - -6. Is r bigger than g?
False
Let y = 18541/31 - 598. Which is smaller: 1 or y?
y
Let i(g) = 2*g**3 - 2*g**2 + 2*g + 3. Let j be i(-1). Which is smaller: -0.05 or j?
j
Let o(n) = 3*n. Let g be o(0). Let k be (-6)/27 - 11/(-9). Which is smaller: g or k?
g
Suppose -3*g - g + 16 = 0. Suppose -4*k + 4*x + g = 0, 3*k = -0*x + 4*x + 8. Is k less than or equal to -4?
True
Let c = -24 + 15. Let f = -5 - c. Which is greater: f or -1?
f
Let w be (0 + -1)*(2 + 8). Let r = 11 + w. Let y(a) = -a**3 - 3*a**2 + 4*a - 5. Let i be y(-4). Which is smaller: i or r?
i
Suppose 0 = -10*z + 20*z + 80. Suppose 2*x + 27 = -x. Is z at most x?
False
Suppose 27 = -3*s - 2*s + 3*f, -5*s + 5*f - 25 = 0. Which is bigger: s or -0.1?
-0.1
Let p = 14 - 29/2. Let b = 0 + p. Is b at most -1?
False
Let s = -7 + 5. Is s >= 2/3?
False
Suppose 16 = 5*t - t. Suppose 0 = -o + 1 + t. Which is greater: o or 4?
o
Let x(s) = s**2 - s - 1. Let z be x(4). Let p = -28/3 + z. Which is smaller: p or 1?
1
Let x = -44 - -47. Which is greater: x or 4?
4
Let f = -19153/996 - -1624/415. Let z = 91/6 + f. Which is smaller: z or -1?
-1
Let q(m) = m**2 + 5*m - 1. Let x be q(-5). Let l = 704/105 + -46/7. Is l greater than x?
True
Let k be (5/(-380)*2)/((-3)/(-2)). Which is bigger: 1 or k?
1
Let v(o) = -2*o**3 + 5*o**2 + 7*o - 7. Let n be v(-3). Which is smaller: 70 or n?
70
Suppose 0 = -x + 1 + 2. Suppose -u = -2*i + x - 2, 5*u - 3*i - 9 = 0. Suppose m + u = 4*m. Is -1/3 >= m?
False
Let u(s) = -s**3 + 11*s**2 - 7. Let f be u(11). Let j(d) = d**2 - 7*d. Let a be j(6). Is f != a?
True
Let a = 42 - 47.4. Let n = 5 + a. Which is greater: n or 0.2?
0.2
Let d be (10/(-4))/(7/21). Which is greater: -9 or d?
d
Let c be ((-1)/2)/(-2 + 3). Suppose 0 = -5*i + x + 6 + 4, 2*i - 2*x = -4. Suppose 0*k + k = -i*n, k = 2*n + 5. Is k at most as big as c?
False
Let b(w) = -3*w**2 + w + 4. Let f be b(2). Which is smaller: f or -0.1?
f
Suppose -c + 5 = -7. Let o be c/18 - (-4)/(-6). Suppose 4*t - 1 - 3 = o. Which is bigger: t or 1/5?
t
Let t(p) = -4*p. Let u be t(-1). Let z(n) = -n**3 + 4*n**2 + 2. Let j be z(u). Let b(l) = l**3 + 5*l**2 - 6*l + 1. Let o be b(-6). Is j at least o?
True
Let v = -32 + 11. Let d = v - -21. Is d <= 1?
True
Let c(k) = k + 2. Let q be c(8). Is 9 < q?
True
Let f(r) be the second derivative of 1/20*r**5 + 2*r - 5/12*r**4 - r**3 + 0 - 1/2*r**2. Let m be f(6). Do 