2*b + 1, 5*w - b - 2 - q = 0. Let t = w + -4. Which is smaller: -2/7 or t?
-2/7
Let x(i) = -i**3 - 7*i**2 - 5*i + 8. Let a = -15 + 9. Let q be x(a). Are q and 3 nonequal?
True
Let n = -1 - -4. Is 4 > n?
True
Let y be 4/(-14) + 40/(-105). Let b = -45 + 44. Which is greater: b or y?
y
Suppose -6*x = -3*x + 12. Let z be (3 - 3) + 178/x. Let t = z - -619/14. Is t less than or equal to -1?
False
Suppose 4*m + 2*w - 182 = 3*w, w = -3*m + 133. Let c = m + -18. Let x be c/(-204) + 3/12. Which is bigger: x or 1?
1
Let r = -0.1 - -7.1. Let v = 6 - r. Which is smaller: v or -2/13?
v
Let j(r) = -r**2 + 2*r + 2. Let g be j(2). Suppose 3*n = 5*n - g. Is n >= 0.1?
True
Let f be 1/(-3)*134/(-201). Let i be (2/(-10))/(2/(-6)). Is f at least as big as i?
False
Let s be (5 - 0)*(-4 - 1 - -6). Which is smaller: 35/6 or s?
s
Suppose -3*f + 0*b + 19 = 2*b, 0 = -5*f - 4*b + 33. Which is greater: 3 or f?
f
Suppose 0 = -c + 101 - 18. Which is greater: 82 or c?
c
Let b = 25 + -29. Is -3 bigger than b?
True
Let t be ((-3)/(-6))/((-3)/(-6)). Suppose -4*g - t + 11 = 2*f, f + 4*g = 11. Is f greater than -2/7?
False
Let j be ((-10)/3)/(2/(-9)). Let z be 6/j - 34/10. Let r(o) = -o**3 + 4*o**2 + o - 6. Let h be r(4). Which is smaller: z or h?
z
Let y = 161/2623 - 8/61. Is -1 at most as big as y?
True
Suppose 0 = -4*z, -2*z = -0*y + 4*y. Let n = -20 + 21. Which is greater: y or n?
n
Suppose k + 4 = 8. Is k at most 3?
False
Let x = -0.3 + 0.4. Let u be (-2 - (-21)/9)/(15/135). Is u >= x?
True
Let l(i) = i**2 - 10*i - 10. Suppose 2*v + 0*v = 22. Let y be l(v). Suppose 2*x = 2 - 4. Is x >= y?
False
Suppose 439 - 97 = -2*b + 2*t, 0 = 5*b + 2*t + 883. Let c be (-30)/b - (-9)/(-15). Which is greater: c or -1?
c
Let w be ((-4)/(-18))/(20/174). Let m = w + -4/15. Do -0.1 and m have the same value?
False
Let x = 611/2 + -299. Let n(z) = -6*z**3 - z**2 + 1. Let d be n(-1). Let r = x - d. Which is greater: r or 2/7?
r
Let z be (4/(-1))/(8/(-12)). Let g = -4 + z. Suppose -u - 14 = -3*u + g*t, 5*u - t = 15. Is 1 < u?
True
Suppose 5*s = 11 + 4. Suppose 5*z = -2*u + 8, 2*u = -s*u + z + 20. Suppose u*g - 15 = 1. Which is smaller: 2 or g?
2
Let v = -1 - 3. Let l = v - -2. Let i = 0.02 + -2.02. Is l at least i?
True
Let d be (-83)/(-9) - 12/54. Which is greater: d or 10?
10
Let j = 2 - 2. Let z = -35.6 + 29. Let y = z - -7. Are y and j equal?
False
Let x(k) = -k**3 - 4*k**2 - k - 5. Let p be x(-4). Suppose -3*i = -5 - 1. Suppose -5*n + i*n - 6 = 0. Is p at least as big as n?
True
Suppose -3*b + 8 = -4*q, 0*b + b = -4*q + 24. Is b < 8?
False
Let j be 4/14 - (-14)/(-49). Let b = 3 + 1. Let f be -2 + b/((-32)/(-18)). Which is smaller: j or f?
j
Let n(a) be the first derivative of a**4/4 + 4*a**3/3 + 3*a**2/2 + 2*a + 1. Let g be n(-3). Suppose g = -3*h + h. Is h greater than or equal to 1?
False
Suppose -2*l = -s + 10, 0 = 2*s - 5*s + 4*l + 24. Suppose a + 2 = p, -p + 7 = -4*a + 4*p. Let j be (2/a)/(3/(-9)). Which is smaller: j or s?
j
Let l(f) = f**2 + 3*f - 12. Let r be l(0). Which is smaller: r or -11?
r
Let o(y) = -y**2 - y + 2. Let z = 0 - 0. Let w be o(z). Suppose -f = w*f + 6. Which is greater: f or -1?
-1
Let i be (-1)/5 - 7/(-35). Is 24/17 less than i?
False
Suppose 0 = w + 4*o - 1, -5*o + 3 - 8 = 0. Is 4 less than or equal to w?
True
Let u be (-52)/(-78) + 1/(2*3). Are 0 and u equal?
False
Let j = 3 - 3. Which is smaller: -3/13 or j?
-3/13
Suppose -8 = -7*b + 3*b. Do b and 8/9 have different values?
True
Suppose -5*b = j - 5*j + 97, -b = -5*j + 95. Suppose 2*x + 18 = -j. Let z be (-3)/x + (-1)/(-3). Which is smaller: z or 3/7?
3/7
Let l = -97/58 - -263/2030. Let b = -1537/70 + l. Let a = b - -24. Is 0 greater than a?
False
Let z = 4 + -1. Suppose 4*o + 0 - 16 = 0. Suppose o*c - 9 = 5*y, 0 = -2*c + 3*y - 4*y + 1. Is z >= c?
True
Let n = 0 - 0.4. Let i = -2.4 - n. Let q be ((-418)/84)/11 - (-4)/24. Is q < i?
False
Let j be (-1 - 1)*1/(6/(-30)). Is j at most 8?
False
Let v = 42 - 34. Is 8 not equal to v?
False
Let g(u) = u**3 + u**2 + u - 1. Let p be g(1). Let v be (2/(-10))/(p/(-5)). Which is smaller: 1 or v?
v
Let s(f) = -f**2 + 6*f + 9. Let y be (-7)/(7/2)*-4. Let t be s(y). Let a(m) = -2*m**2. Let u be a(2). Is t > u?
True
Let z = 0.27 + -2.27. Is -2 at least as big as z?
True
Let q(a) = -a**3 + a**2 + a + 4. Let f be q(0). Let w = 14 + -13. Let h be (1/2)/(w/f). Is 2 at least as big as h?
True
Let x be 2 + -3 + 4 + 105/(-33). Which is smaller: x or -0.5?
-0.5
Let p = -24 - -19. Is p < -1/3?
True
Let g be -1 + 6 - (3 - 2). Let o be (g/(-10))/(6/(-30)). Suppose -b - r = 2, -o*r - r - 12 = 5*b. Is -3 bigger than b?
False
Let r(p) = -p**3 + p**2 + p + 1. Let h be r(-1). Let w be (9/(-6))/(h/4). Suppose -8*n = -2*n + 12. Is n smaller than w?
False
Let j = 40 - 37. Which is smaller: j or 8/5?
8/5
Let d = 162 + -163. Which is smaller: d or 2/79?
d
Suppose l = -3*f + 7, 4*l + 5*f - 9 = l. Is -29 less than l?
True
Let k be (102/15)/((-3)/5). Let y = -11 - k. Is y at most as big as 1?
True
Let w be 15/6 + -1 + 0. Which is smaller: 1 or w?
1
Suppose -5*o + 5*l - 398 = l, l = -o - 85. Let t be (1/(-4))/((-1)/(-322)). Let y = t - o. Is 3 equal to y?
False
Let c = -72 + 81. Is c less than or equal to 61/7?
False
Let l(a) = 2*a**3 + a - 1. Let y be l(1). Let o be (15/(-6))/(-5)*y. Is 1/10 at least o?
False
Suppose -1 = w - 0. Let h be (-6*(-1)/(-2))/w. Is h at most 3?
True
Let t(s) = 2*s - 11. Let f be t(8). Let j be 96/(-140) + 2/f. Which is bigger: j or 1?
1
Suppose 10 = -2*k, 0 = 5*d - k - 3*k - 30. Let i be 1 - (11/5 - d). Is 2 less than or equal to i?
False
Let d = 2.002 - 0.002. Which is smaller: d or 3/8?
3/8
Let b = -23 + 23.01. Is b >= -1/2?
True
Let f = -6 - -5. Do -0.02 and f have different values?
True
Suppose -2*f = -4, 6 = t + 4*f - 2. Which is greater: t or 2/11?
2/11
Suppose -3*q + 2*s = -53, q + 5*s - 2*s - 3 = 0. Do q and 15 have different values?
False
Suppose 2*h = -3*h + 90. Let w be ((-2)/(-6))/((-12)/h). Suppose -3*r = r + 8. Is w greater than or equal to r?
True
Let h be (46/(-16))/(-1) + 13/104. Which is greater: h or 7/2?
7/2
Let z(p) = 6*p. Let m be z(-1). Suppose 0 = -3*j - j + 112. Let c = -33 + j. Is m > c?
False
Suppose 0 = -4*s + 8*d - 9*d + 7, -5 = -3*s - d. Let h be 8/5 - (-2)/(-2). Does h = s?
False
Let l be (-238)/147 + (-2)/(-7). Is l greater than or equal to 0?
False
Let x = -58 - -56. Which is bigger: 18 or x?
18
Let u be (3 + 8/(-3))/(0 - -1). Which is smaller: u or -3/5?
-3/5
Let h = -3 - 3. Let y = 6 + h. Suppose y*n = -2*n. Is 1 != n?
True
Let d(q) = q + 11. Let f be d(-8). Suppose 5*h - 6*x - 6 = -f*x, 5*x + 10 = 0. Which is smaller: -2/7 or h?
-2/7
Let p(w) = w - 4. Let o be p(6). Let f be 16/12 - o/3. Which is bigger: 0.1 or f?
f
Suppose 20 = -4*m - 5*z, -3*m + z - 3*z = 8. Which is smaller: -1/2 or m?
-1/2
Let p = 79/54 + 1/27. Let c = 2 - p. Is c != 3?
True
Suppose -20 = -3*p - p + d, 0 = d + 4. Suppose p*l + 3 = 3*l. Which is greater: -4 or l?
l
Let j(g) = -3*g + 10. Let u be j(3). Is -6/41 less than or equal to u?
True
Let p = 0.5 - 0.3. Suppose 2*s = 3*v - 2, -s + 8 = 3*v - 0*v. Suppose -2*u = -3*f - 5, -f + 2*f - s = -3*u. Which is smaller: f or p?
f
Let b be 4/6 + (-28)/(-12). Let u be (-5 + 2)*4/b. Let m be u/4 + 0 + 1. Is m not equal to -2/7?
True
Suppose -4*m + 42 = -4*c + 10, 2*c = m - 20. Which is smaller: -11 or c?
c
Suppose 922 + 233 = 5*n. Let y = -2313/10 + n. Let w be ((-1)/3)/((-7)/21). Is w less than y?
False
Let m be 10 + (0 - 0)/(-2). Which is bigger: m or 16?
16
Let c = -1 - -0.98. Let z = -327.02 + 330. Let f = z - c. Is 0 >= f?
False
Let w(p) = p**2 + 11*p + 10. Let k be w(-11). Is -1 != k?
True
Let x(w) = -w**2 - 5*w - 2. Let i be x(-3). Suppose j + j = -i. Suppose 0*n - 5*n - 16 = -2*v, 0 = -2*n + v - 7. Is n greater than or equal to j?
True
Suppose -2*c = 3*b + 12, 0 = -6*b + b - 20. Let d be -27 - ((-6)/(-9))/2. Let l = 28 + d. Which is smaller: c or l?
c
Suppose 0 = -p + 3*p - 4. Suppose -p*v + 5 = -3, -3*h - 5*v = -20. Which is smaller: h or 1/23?
h
Suppose 16 = 3*w + w - 3*h, 0 = 2*h - 8. Let q = w - 8. Is q > -2/7?
False
Let t = -6 + 11. Suppose -4*c + c = 0, -3*n - 3 = -t*c. Suppose -5 = 3*u + w, -2*w + 5 = 3*u - 2*u. Which is greater: u or n?
n
Let n(y) = -y - 5*y**2 + y**3 - 1 - 3 + 0*y**3. Let f be n(5). Let c be (2