+ 6. Suppose i - 4 = r. Let w = -8 + i. Is w greater than or equal to -5/2?
True
Let l(z) = -z**2 + 2*z - 2. Let j(d) = 4 - 3 + d - 5. Let o be j(6). Let w be l(o). Which is smaller: -5/3 or w?
w
Let m = 8 - 7. Suppose 5*d - 4*d = -m. Which is smaller: 0 or d?
d
Let l(z) = -z**2 + 6*z + 3. Let m be l(6). Which is smaller: -9 or m?
-9
Let k(c) = -c**2 + 1. Let h be k(8). Which is smaller: -61 or h?
h
Suppose 4*p = p. Let v = p + -10. Let y be (-26)/v - (-8)/20. Are 3 and y nonequal?
False
Suppose 2*v = 6*v + 4, -4*w = -v + 15. Let q be ((-2)/w)/(4/(-32)). Which is greater: -3 or q?
-3
Let i(y) = y**3 - 6*y**2 + 3*y - 3. Let h be i(6). Are 2/3 and h non-equal?
True
Let b(v) = 0*v**2 + 3*v**2 + 11 + 2*v - 10. Let i be b(-1). Let d = -3 + 4. Which is smaller: i or d?
d
Let f be (-8)/(-3) + 2 + -2. Suppose -y - 5 = -2*i, -5*i + 15 + 1 = y. Is i at most f?
False
Let u be (-2)/(8/(-6)*-4). Let n = -31 - -32. Is n greater than or equal to u?
True
Let p = 6.9 - 7. Which is smaller: p or -18?
-18
Let z = 13 + -8. Let g = -5.2 + z. Let n = 0.6 + g. Which is greater: -0.2 or n?
n
Let u = -1768/745 - 4/149. Is -2 greater than u?
True
Let o = 10 + -7.4. Let j = o - 0.5. Let f = j - 2. Which is smaller: -4 or f?
-4
Suppose 14 = -3*n + 5*n. Let u(c) = -c**3 + 5*c**2 + 2*c - 2. Let y be u(4). Suppose -y = -3*l - 1. Is n at least l?
True
Let n = -21 + 21.11. Let j = n - 0.1. Let m = j + -0.01. Which is bigger: m or 1?
1
Let k = 4 - 3. Let a = -3 + k. Let s be (1 - 0) + 4/(-2). Which is smaller: s or a?
a
Let n be ((-31)/(-22))/((-6)/34). Let y = 49/6 + n. Is 2 equal to y?
False
Let l(u) = -u**3 - 16*u**2 + 38*u + 37. Let w be l(-18). Suppose 0 = 4*s - 5*s. Which is smaller: w or s?
s
Let y(d) = 5*d**2 - d - 5. Let k(u) = -4*u**2 + 5. Let p(i) = -4*k(i) - 3*y(i). Let j be p(-5). Let q = j + -5. Which is greater: q or -1?
q
Suppose 3*a = 4*j - 0*j - 2, 0 = -2*j - a + 6. Suppose u - j*u = 0. Let t be (-4)/1 - (-1 - u). Is -5/3 bigger than t?
True
Let c be (29 - 0)/(5/(-1)). Which is greater: -7 or c?
c
Let k = 6 - 5. Which is bigger: 2 or k?
2
Suppose -9 = 3*a + 3*x - 45, 0 = 2*x - 8. Is 2 < a?
True
Suppose 0 = -2*f - 6, -4*s + 3*f = -0*s - 21. Let b = -1 - 0. Let l = b - s. Is l smaller than -3?
True
Let o be (-8)/(-44) - (-43)/(-55). Which is smaller: o or 0.2?
o
Let r = 103.05 + -107. Let w = -0.05 + r. Are -2 and w non-equal?
True
Let v(w) = w. Let x be v(3). Let t(f) = 5*f**3 - 10*f**3 + f + 7*f**2 + 4*f**3 - 5. Let g be t(7). Are x and g nonequal?
True
Let v = -12/13 - -37/26. Is 2 at most v?
False
Let o = 3 - 3.2. Which is smaller: -8 or o?
-8
Let g = 21 - 27. Is g greater than -6?
False
Let n = -629368/243 - -2590. Is n at most as big as 1?
True
Let p = -0.06 - -0.13. Let q = -0.03 - p. Is q greater than -1/2?
True
Let h = -1.2 - -1. Let k = -0.83 - -0.03. Let d = h + k. Is d at most -3?
False
Let u = -7/5 + 9/5. Which is bigger: u or 1/10?
u
Let q = -1.7 + -9.3. Let g = q + 11. Which is smaller: -4/3 or g?
-4/3
Let b = -2.7 - -2.59. Let x = 0.89 - b. Is -2/7 less than x?
True
Let l be (6/(-4))/(9/(-78)). Which is smaller: 14 or l?
l
Suppose 14 = 5*l - 6. Suppose -l*k + k = 0. Suppose 0*v = -5*v. Are k and v nonequal?
False
Let f(u) = -u**2 - 3*u + 2. Let c(y) = y**3 - 11*y**2 + 9*y + 7. Let a be c(10). Let m be f(a). Let o = m - 3. Which is smaller: -1/3 or o?
o
Suppose 0*h - 4*h + 12 = 0, -4*h + 17 = 5*m. Is -2 at most as big as m?
True
Let m = -10 + 9. Let x = m + -7. Let s be (3 - 1) + x + 6. Which is smaller: s or -1/4?
-1/4
Let b = 3 + -2.9. Let i = -17 - -24. Which is smaller: i or b?
b
Let m be 28/(-12) - 1/(-3). Let b be (-52)/24 - m/12. Is b greater than -3?
True
Let d = -498 + 4475/9. Let k = -8/9 + d. Which is smaller: -2 or k?
-2
Let u = 0.45 - 0.05. Let t = u - 1.4. Let i = t - -1. Which is smaller: -1 or i?
-1
Let p = 6 + -5. Suppose -3*x = -5*n + 27, 9 = 4*n - 2*x - 13. Let m be 3/n*4/22. Are m and p non-equal?
True
Let s = 1.8 - 1.8. Is -6 at most as big as s?
True
Let k(q) = -q**3 - 3*q**2 - 3*q - 2. Let z be k(-2). Suppose z = -2*b - 4, 0*u + 4*u = -5*b + 6. Suppose -2*c = -u*c - 2. Does c = 2/3?
False
Suppose -t + 3*x + 4 = 0, -4*t + 2 = -3*x - 2*x. Let h(r) = -r**3 - 3*r**2 + 2*r + 4. Let b be h(-3). Is b at least as big as t?
True
Let x(f) = -f**2 + 1. Let j be x(-1). Let s be 2/99*-76 + (-4)/(-9). Which is smaller: j or s?
s
Let s(n) = -n - 3. Let y be s(-8). Suppose y*z = -9 + 4. Is -3 smaller than z?
True
Let g = -283/2 + 146. Is g != 5?
True
Let i = 0 - 2. Suppose -3*k - 3 = -2*k. Is k bigger than i?
False
Let s(k) = -k**2 + 9*k - 5. Let n be s(7). Let r(j) = j - 9. Let c be r(n). Is c equal to 2/9?
False
Suppose 3*x - 4*x - 2*k - 1206 = 0, 0 = -x + 3*k - 1191. Let j be (-884)/x - 9/12. Let l = -26/75 - j. Which is greater: 1 or l?
1
Let l be -3 + 25 - (0 + 2/2). Is l equal to 21?
True
Let f be 2/(-4) - (-10)/36. Suppose 0 = -4*l - 13 - 3, 2*l + 4 = 2*i. Let x be 3 - (-1 + 1 - i). Is x <= f?
False
Suppose 3*u + 6 = 3*w, -14 = -4*u - 2*w + 2. Is u smaller than -1?
False
Let z(g) = g**2 - 8*g - 8. Let s be z(8). Let m be -2 + 5/((-25)/s). Let w = -0.8 + 0.7. Are m and w non-equal?
True
Let q be (4 + -4)/(-2 + 5). Is q >= 6/25?
False
Let x = 119 + -118. Which is bigger: -12/25 or x?
x
Let d be (-65)/52 - (-159)/(-20). Is d greater than 1?
False
Suppose v + 5 = 6*v. Suppose 4*i - 2 = -2*j, -5*i + v - 3 = j. Suppose -j*f + 2*k - 9 = -1, -4*f = 3*k - 12. Is f < -2/9?
False
Let u(t) = -t**3 + 5*t - 2. Let m be u(2). Is -3/10 less than or equal to m?
True
Let b = -189 + 182. Are -7 and b equal?
True
Let k = 54 - 43. Which is smaller: 2 or k?
2
Let h = 3 - 9. Are -29/4 and h unequal?
True
Let v(m) = -4*m. Let f be v(-3). Let d be (-3)/f - (-13)/4. Is d at most as big as -2?
False
Suppose -26 = 3*i - 5*l, 15 + 1 = 2*i + 5*l. Let r be 1 - 3 - (-25)/5. Suppose -1 = -r*k - 4. Is i < k?
True
Suppose 2*p - 11 = -p + 4*u, 0 = p + 4*u - 9. Let c = 5 + -5. Let m(x) = x**2 + 4. Let i be m(c). Does i = p?
False
Let j = 4 - 6. Let i = 2.04 + j. Which is bigger: 2 or i?
2
Let d = -3 - -2.86. Is -1 greater than d?
False
Let v(p) = p**3 + 7*p**2 - p - 3. Let g be v(-7). Suppose -3*x + 8 = x + 4*q, -g*q + 11 = x. Is x smaller than -4?
False
Let o be (-5 - -3) + (1 - 2). Let t = o - -1. Let a be (-1)/4 + t/(-8). Which is bigger: a or 1?
1
Suppose 0 = -6*j + 15*j + 9. Let u be (-3)/(-5) - (-2)/(-5). Is j equal to u?
False
Let f(c) = -5*c**3. Let h be f(-1). Suppose -4*v = v + h. Which is smaller: -2 or v?
-2
Let i = -6 - -11. Suppose -i*o + o = -4. Suppose -o + 2 = -n. Which is greater: n or 2/9?
2/9
Let w be -1 + -1 + (-108)/(-56). Let h = w + 4/7. Let v = -0.9 + 4.9. Which is smaller: h or v?
h
Suppose 40 = -0*v + 4*v. Suppose -v = -p - p. Let j be p + 0 - (-3)/(-3). Which is greater: 3 or j?
j
Let i = 246 + -91. Which is smaller: i or 0?
0
Let h = 0.92 + -0.82. Which is bigger: -3/5 or h?
h
Let k be (-53 + 20)*(-20)/(-18)*3. Is 0.1 <= k?
False
Let a be 2/8 - (-75)/20. Suppose a*f + 8 = -4*i, 3*i - 2*f + 7*f + 4 = 0. Let b be 1/(-3)*i/(-2). Is -1 less than or equal to b?
True
Let b be 12/15*10/44. Suppose 8 - 3 = r. Suppose 2*y - r*y = 0. Is y greater than or equal to b?
False
Suppose 4*z = -15 - 9. Let d = -4 - 3. Is z smaller than d?
False
Let k = 18 + -27. Let q = 9 + k. Let j = 91 + -636/7. Does j = q?
False
Let w = 3 - 2. Let c be 1*(1 - 0)*w. Is c > -0.1?
True
Let f be (-1 - -1) + (-2)/5. Which is smaller: f or 0.1?
f
Suppose 28 = 3*w - m + 3*m, -5*m = -3*w - 7. Let f be (-9)/w - (-3)/(-6). Let i be ((-2)/3)/1*3. Is i smaller than f?
False
Let k = 5 - 3. Let m be (-9)/(-6)*(-8)/(-21). Are m and k equal?
False
Let f = 19 - 33. Let b = 5 + f. Which is bigger: b or -1?
-1
Let x = 0.05 + -4.05. Which is bigger: 0.1 or x?
0.1
Let a(c) = 2*c**2 - 3*c - 3. Let m be a(-2). Let s = m - 12. Is -1 greater than s?
False
Let x = -0.6 + 2.6. Let y = 2.4 - 0.4. Let q = y - x. Which is smaller: 1 or q?
q
Let d(v) = -v**2 + 5*v. Let w be d(5). Let o = 1 - -10. Let x = -10 + o. Is x smaller than w?
False
Let a = -102 - -103. Is 73 < a?
False
Let k = 0 + 10. Let w be (-3)/k*1/(-3). Let x be 2/(-6) - 2/(-6). Is x smaller than w?
True
Let x = -367/444 - 1/148. Suppose r = -h - 5, 0 = -2*r - 0*h - 4*h - 18. Which is greater: r or x?
x
Let l(c) = 2*c - 1. Let f be l(