t l = -5 + 5. Let c = -0.3 - l. Which is bigger: c or 2/7?
2/7
Suppose -2*k + 0*k = -4. Suppose -i - k*i - 9 = 0. Is i >= -5/3?
False
Let w = 2.9 - -8.1. Let n = w - 10.7. Let y = 0.5 + -0.5. Which is greater: n or y?
n
Suppose 5*b - 17 = -2*u, -5*u + 52 = 2*b - 22. Suppose v - 6*v - 31 = 3*o, -2*o + u = -4*v. Let d be (-4)/((-8)/(-6)) - o. Is d bigger than -2/7?
False
Let y(w) = 4*w**2. Let n be y(-1). Let o be (21 - 1) + n/(-2). Let j be (-4)/(-8)*8/o. Is -1 >= j?
False
Let w = 87/4 - 22. Which is smaller: 16 or w?
w
Suppose 0 = -f, 3*i - 2*i = f + 4. Suppose o + 14 = s - i*o, 0 = 5*o + 15. Is s at most -4/7?
True
Let u = 8 - 6. Let v = u + -1.96. Do -0.2 and v have different values?
True
Let k = -7 - -7. Let m = -5 - -5.3. Let n = m - k. Is n at least as big as 0.1?
True
Let u be (52/(-10))/(6/(-15)). Are 12 and u nonequal?
True
Let s(q) = -q**2 + 5*q - 5. Let z be s(4). Let v be 164/(-10)*(-3)/12. Let t = v - 23/5. Which is smaller: t or z?
z
Let n = -12 + 23. Is 10 not equal to n?
True
Suppose -5*c + 75 = -5*p, -1 = -2*c + 1. Let z be (-4)/14 + (-4)/p. Suppose z = 4*x - 4*b + 8, 4*x + b - 4 = -2. Is x not equal to 4?
True
Let y = 4 - 0. Suppose 5*q + 0*q = 5, 4*i = 4*q + y. Suppose -2*s = 2*t, -i*t + 3*s = t - 24. Is 1/3 greater than t?
False
Let x = 18 + -17.92. Which is smaller: x or -0.2?
-0.2
Suppose -2*d + 18 = 3*k, 4*d + 4*k + k - 32 = 0. Let z be (-7)/d*2/7. Which is greater: z or -1?
z
Let m be (-6)/15 + 2/5. Suppose 89 = -4*a - 3*t, -5*a - 113 - 42 = -5*t. Let k be 3/a*(-12)/(-3). Is m at least as big as k?
True
Let i(h) be the third derivative of -h**6/360 + h**5/20 - 7*h**4/24 + h**3/6 + 2*h**2. Let z(c) be the first derivative of i(c). Let x be z(5). Is x at most -2?
True
Suppose 0 = 3*m - 4*x - 2, 3*x = -5*m + 14 - 1. Suppose m*a - 128 + 48 = 0. Let w be (-24)/a - 3/(-5). Is w >= 1/2?
False
Let y = 1.16 - 0.26. Let u = 0.9 - y. Are u and 4 unequal?
True
Let s be 28/(-18)*(-4)/14. Is s bigger than -1?
True
Let m = 17/4 + -15/4. Let g = 0 + 0. Let c = 0 - g. Which is bigger: c or m?
m
Suppose z - 5 = -2*f + 2, 4*z - 5*f + 11 = 0. Is 1/4 < z?
True
Let w be ((-979)/30)/(-11) + -3. Suppose 6*k - 2 = -8. Which is smaller: k or w?
k
Suppose 3*k = 5*v - 61 + 7, 0 = v - 3*k - 6. Let a be v/9*(-9)/(-6). Let c = 1 + 2. Is a at least as big as c?
False
Let z = 0.15 - -0.85. Which is smaller: z or 24?
z
Let d(s) = 5*s**3 - s**2 - s + 1. Let j be d(1). Let o be (j + -1)*(-2 + 1). Let f = -84 + 422/5. Which is smaller: o or f?
o
Suppose 3*t - 15 = -0*t, -4*o - 4*t + 124 = 0. Let p be -1 - 2*o/(-4). Let l be (-8)/p - (-16)/(-30). Which is smaller: l or -1?
l
Let g be 145/65*(-2)/6. Let t = g + 1/13. Which is smaller: t or -0.2?
t
Let y(v) = v + 2. Let j be y(6). Let p be (-1)/(-2) - 4/j. Which is smaller: p or 4/9?
p
Let s(f) = f**3 - 8*f**2 - 7*f + 14. Let t be s(6). Which is smaller: -101 or t?
-101
Let l = -162/35 - -26/5. Which is smaller: 1 or l?
l
Let j = -12961/7 + 1855. Is 4 > j?
True
Suppose 0 = -2*r + 4*b - 20, 3*r = 3*b - 16 + 1. Let x = 0 - r. Suppose 0*f - 3*f = 0. Is x at least as big as f?
True
Let r be (-44)/(-14) - (5 - 2). Is -0.07 less than r?
True
Suppose -2*m + 1 = -r, -6*m + 13 = r - m. Let h = r + 3. Suppose w - h = -5. Is w at most 1?
True
Let r(j) = -2*j - 5. Let i be r(-7). Let c be 0/(i/3 - 2). Which is smaller: -1 or c?
-1
Suppose 4*x - 2 + 10 = 0. Is x bigger than -2?
False
Let u(o) = -o - 9. Let k be u(-8). Which is smaller: k or 2/39?
k
Suppose 3*g = -3*a, 3*g = 5*a + 3 - 11. Do g and -12/5 have the same value?
False
Let o = 1 + -1. Suppose o = -4*j - 0 + 4. Which is bigger: -2 or j?
j
Let l(u) = 2*u + 28. Let g be l(-9). Is g >= 9?
True
Let t be 1*4/8 + (-1)/(-2). Let r = 207 - 1452/7. Which is smaller: t or r?
r
Suppose -2 = -4*s - 6. Let j = -128 + 1407/11. Which is greater: j or s?
j
Suppose -b = -3*b + 2. Let a(i) = -2*i**2 + 8*i + 1. Let v be a(4). Is v at least as big as b?
True
Suppose 3*i + 17 = -4*s, 3*i + s - 5 = -16. Which is bigger: i or 2?
2
Let h be -4 - (-33 + (7 - 5)). Is 27 bigger than h?
False
Let o(m) = -m**3 - 14*m**2 - 11*m + 9. Let u be o(-13). Is u less than -14?
True
Let x(s) = -s**2 + 3*s - 1. Let h = -8 + 11. Let j be x(h). Which is greater: -3 or j?
j
Let g(v) = -v**2 + 7*v + 4. Let b be g(6). Suppose 4*i = -i - b. Let u = -4 - -4. Which is smaller: u or i?
i
Let j be 4/(-6) - 60/(-9). Is 5 smaller than j?
True
Let q = 7 - 7. Let v be (-10)/15 + q/(-2). Is -1 at least as big as v?
False
Let p be 17 + (-3)/((-3)/(-1)). Let q = p - 13. Let j = -2 + 0. Is j greater than q?
False
Suppose 4*b - 3*b + h + 50 = 0, 2*b + 5*h + 100 = 0. Let g be (-6)/(-4)*b/15. Are g and -5 unequal?
False
Suppose 0 = -0*i - i. Let f = 34 - 76. Let l be f/(-28)*8/(-90). Are l and i unequal?
True
Let b(v) = v**2 - 4*v - 4. Let h be b(5). Let g = -54/35 - -15/7. Let w = 4/15 - g. Is h <= w?
False
Suppose 3*f + 28 = -f + t, 0 = t. Is -0.1 at least as big as f?
True
Suppose -4*n + 198 = 62. Is 35 at most n?
False
Let w = 0 - 0. Let y be -1*2 + -2 + 4. Is y smaller than w?
False
Suppose g - 2*j = -2*g - 5, 0 = -2*g - 3*j + 14. Suppose 0 = 5*w - 4 - g. Which is smaller: w or 7/5?
w
Let x be (0 - -2) + 15/(-12). Let r = x + -1/12. Which is smaller: r or 3/4?
r
Let i(o) = -o**3 + 3*o**2 - 3*o + 3. Let h be i(2). Is 4/5 at least h?
False
Let o = -11 - 10. Let k = o + 14. Which is greater: -6 or k?
-6
Let g = 0.1 + -0.5. Let f = g + 1.4. Let m = f - 1. Are -1 and m nonequal?
True
Let h = 0.5 - -3.5. Which is bigger: 5 or h?
5
Let l = -0.801 + 33.721. Let k = l + -34. Let i = k - -0.08. Which is smaller: 7 or i?
i
Let l(h) = -11*h + 34. Let c be l(3). Does 17/11 = c?
False
Suppose p - 4 = -5*i, 2*i = -2*i. Do p and 10/3 have the same value?
False
Let o be 16 + (-1 + 3 - 4). Suppose -o = 4*t - 6, 18 = 4*c - 5*t. Suppose 0 = -l - 0*l + 2*n + c, 2 = -4*l + 3*n. Is l <= -1?
True
Let y(c) = -c**3 - 4*c**2 + 5*c - 1. Let q(f) = -f**2 + 7*f + 3. Let h be q(8). Let k be y(h). Are -2/9 and k equal?
False
Let q = 101/30 - 25/6. Let s be 18/2*(2 + -1). Suppose -2 = -3*t + 4*h - 14, -4*t = 3*h - s. Which is smaller: t or q?
q
Let j(m) = m + 3. Let p be j(0). Let l be (-1)/(-2) + p/6. Suppose 2*v + l = -3. Is -1 equal to v?
False
Let r = -70 + 67. Is r smaller than -3?
False
Let o be (4 - -1)*204/40. Is 26 at most o?
False
Let t(a) = -a + 4. Let i be t(-3). Let n = i - 5. Suppose -5*p - 5*l + 13 = -2*l, -2 = -2*l. Is n < p?
False
Let s be (-1 - 1 - -2)/(-1). Let b(r) = -r**3 - 4*r**2 + 1. Let m = -11 + 7. Let x be b(m). Is x greater than s?
True
Suppose 0*u = -d - 2*u - 1, u = 3*d + 24. Let i = 14 + d. Is 7 at least as big as i?
True
Suppose 2*c - 4*a - a = -23, c - 21 = -4*a. Which is smaller: 1/8 or c?
1/8
Let m = 2.2 + -0.6. Let d = m + -1.7. Which is smaller: d or 6?
d
Let t = -9 + 19. Let r be (4 - 3) + t/(-2). Let k be 28/(-20) - (r + 2). Is 2 <= k?
False
Let p(c) = 41*c**3 - c**2. Let y = 3 - 2. Let v be p(y). Let g be (-76)/v - 6/10. Is g not equal to -2?
True
Let f = -4744/9 - -528. Let n = f + -13/45. Let k = 9/10 + n. Which is greater: 3 or k?
3
Suppose -32*x + 26*x = 0. Is -1/28 greater than x?
False
Let q be (-6)/4 - (37/6 - 7). Is q greater than or equal to 78?
False
Let b = -527/664 + 14/83. Which is smaller: 0 or b?
b
Let u = -1 + 2. Let p(v) = -v**3 - 5*v**2 - 9*v - 5. Let o be p(-3). Suppose o*f - 3*m - 12 = m, 0 = -3*f + m + 7. Is f less than u?
False
Let v = 5/2 - 3. Let g = 5/69 + 6/23. Which is bigger: g or v?
g
Suppose 12 = 3*y, j + j - 3*y = -30. Are j and -11 equal?
False
Let v = -281.06 - -284. Let i = 0.06 + v. Let d be (-2 + 5)*6/63. Which is smaller: i or d?
d
Suppose 3*p - 2 = 10. Suppose 19 = f + 5*m, 0*f + 5*f = p*m - 21. Is f != -2/17?
True
Let b = -0.2 + 0.3. Suppose 5*g - 4*y = 7, -3*g - 4 + 17 = 2*y. Which is bigger: b or g?
g
Suppose -5*r = 8*h - 3*h - 5, -9 = 3*r. Suppose -2*j = -h + 2. Is 3/5 greater than or equal to j?
False
Let i be (-602)/(-2604) + 2/(-12). Let q = 1 - 2. Which is greater: q or i?
i
Let n(r) = r**2 + 10*r + 9. Let v be n(-10). Let i = 5 - v. Let w = -4 - i. Which is greater: -2 or w?
w
Let g = -4 + 9. Suppose 0*b - g*b = 0. Let m(o) = o**3 + o**2 - o - 3. Let d be m(b). Is d at least -2?
False
Suppose z = 3*z. Suppose 3*x - 25 = 2*c + 38, -2*c = x + 43. Let v be c/11 - (