6))/(-1). Let m = -8/13 - b. Which is bigger: m or 0.1?
m
Let z(h) = -h**2 - 8*h + 1. Let x(o) = -o**3 + 13*o**2 + 14*o - 8. Let u be x(14). Let n be z(u). Which is greater: n or 5/6?
n
Let w be ((-12)/15)/((-18)/(-10)). Which is smaller: 0 or w?
w
Let a = 16 + -13. Suppose 2*q - q = -a. Is q at least -2?
False
Suppose 2*f + 6 + 8 = 0. Which is bigger: -9 or f?
f
Let n = -0.8 + 0. Let s = n - 0.2. Let v = 4 + -4. Is v <= s?
False
Let x(a) = a**2 + 8*a - 8. Let z be x(-8). Let t = z - -16. Is 8 not equal to t?
False
Let c = -1 + -2. Let d(n) = n - 5. Let t(f) = -3*f + 11. Let k(g) = 5*d(g) + 2*t(g). Let o be k(c). Do 2/3 and o have the same value?
False
Suppose 3*f = t + 11 - 0, 0 = -2*f + 5*t + 3. Suppose 0*z - 12 = -f*z. Suppose -w = -0*w + z. Is -1 less than w?
False
Let q(d) = d**2 - d - 2. Let i be q(-2). Let m be (-4)/(-26) - i/26. Suppose m*v - 3 = -3*v. Is 2/17 bigger than v?
False
Suppose -i - 5*a = -24, 4*i - 5*i + a - 6 = 0. Let z = 2 + i. Suppose r + z + 0 = 0. Which is bigger: 1/3 or r?
1/3
Suppose -26 = 7*i - 10*i - 4*c, -3*c - 23 = -2*i. Which is smaller: i or 11?
i
Let q = 6 - 44/7. Let g be 8/(-48) + 2/(-4). Which is smaller: g or q?
g
Let b = -78 + 69. Is b greater than -35/4?
False
Let p(d) = -d**2 - 7*d + 5. Let g be p(-7). Is g at most 2?
False
Let z(a) be the third derivative of -a**5/60 - 7*a**4/24 - a**3/2 - 7*a**2. Let x be z(-5). Do 7 and x have the same value?
True
Let z = 1 + -1.2. Let p = 10 - 9.95. Let k = 0.05 - p. Which is greater: z or k?
k
Let k(j) = -j + 7. Let z(o) = -o**2 + o + 3. Let x be z(0). Suppose -2*v + 45 = x*v. Let q be k(v). Which is bigger: q or -3/4?
-3/4
Let x(k) = k**2 + k + 4. Let l be x(-3). Let g be (-2)/4 - l/(-4). Let h be g + ((-21)/6 - -2). Which is bigger: h or 2?
2
Let h = 18 + -20. Suppose 0 = -3*s + 4 - 13. Which is smaller: s or h?
s
Let q be 7/111*(-6)/105*-5. Which is smaller: q or 1?
q
Suppose -6 = 2*a, 0 = -2*x - a + 26 - 5. Suppose -4 = -v - x. Let w be (-6)/(-45)*(-10)/v. Is w < 1?
True
Let p be (-22)/(-7) - (-2)/(-14). Suppose 3*a = -a. Suppose -v - p*v = a. Is v bigger than 1/4?
False
Suppose -c + 1 + 0 = 0. Let l(x) = -x**3 - 3*x**2 + 3*x - 2. Let i be l(-4). Suppose -o - 4 = -i. Does c = o?
False
Let z = -17 - -17. Which is smaller: 1/2 or z?
z
Let t = -186 - -1103/6. Let s = t + 23/10. Is s at least as big as 0?
True
Let w = -473/1044 - -1/116. Let r(d) = -2*d + 2. Let c be r(2). Let s = 3 + c. Is w at most as big as s?
True
Let x = -7967/564 - -169/12. Which is smaller: -1 or x?
-1
Let t = -1.99 - 0.01. Let m = 15.93 + -16. Let l = m + -0.03. Is t != l?
True
Let g be 2/4*20/(-50). Which is smaller: g or -1?
-1
Suppose -2*c = -6*c + 12. Let a be -4 - (-3 + 12/c). Is a <= -5?
True
Let j = 115/14 + -17/2. Let o = 1.4 + 0.6. Let z = o - 0. Is z less than or equal to j?
False
Let s(z) = -z. Let b be s(0). Let t be (b*3/3)/2. Is t at most 3/5?
True
Let j be 3 - (83/4 - 0). Let f = j - -18. Which is smaller: f or -0.01?
-0.01
Let c = 2 - 3. Which is smaller: c or 4/3?
c
Suppose -7*z = -2*z. Suppose 0 = -4*o + 5*o - 3. Let a be (o/(-6))/((-7)/(-12)). Is z > a?
True
Let k = 0 + 0.1. Suppose 4*h - 22 = -6. Suppose -4 = h*q, -x + 3*q + 2 = -4. Is x >= k?
True
Suppose -b - b = -4*v + 36, 2*b = -5*v + 9. Suppose 0 = 5*d - 4*d + 7. Which is greater: d or b?
d
Let m(q) = -q**3 + 3*q**2 + 4*q + 5. Let o be m(4). Let f = 19 - 14. Are o and f non-equal?
False
Suppose -3*q + 80 = -5*a - 9, -4*q = 2*a + 20. Let w = a + 10. Is w smaller than -6?
False
Suppose 0 = 5*h - a, -3*h + 0 + 2 = -a. Which is smaller: 2/65 or h?
h
Let z = 33477 + -166677/5. Let k = -408 - -266. Let j = k + z. Is j < 0?
True
Let l = 5 - 5.8. Let v = 1.3 + l. Are 1 and v non-equal?
True
Let z = 0 - -3. Suppose 0 = -h - z + 1. Are h and -2 unequal?
False
Let p = -1 + 5. Suppose -p*n + 0 - 7 = 5*f, 3 = -f. Let k = 2 + -1. Which is smaller: n or k?
k
Suppose -8 = h - 11. Suppose 2*x - 48 = -2*x. Suppose 0 = l - b - 1, -2*b = 5*l - 0*b - x. Which is bigger: l or h?
h
Let x(u) = -u - 2. Let m be x(0). Suppose 0 = -0*i + 3*i - 15. Suppose -3*l + 2 = v, 10 = -i*l - 0*l + v. Is m greater than or equal to l?
False
Let g(o) = o**2 - 5*o - 14. Let r be g(7). Suppose r = z - 0*z. Let c = 24/65 + 3/13. Is z < c?
True
Let t(v) = v + 10. Let o be t(-8). Let u = 3 - o. Suppose 5*a + 2 = 2*p - 7, -1 = a. Do u and p have the same value?
False
Let k = -5.2 - -1.2. Let c = -2 - k. Which is bigger: c or 1/6?
c
Suppose 2*l = t - 1, -4*l - l + 5 = 5*t. Which is smaller: 2 or t?
t
Let a be (-2 + 3)*3/(-5). Let r = 0.3 + -1.3. Which is greater: a or r?
a
Let q = 14 + -14. Which is smaller: q or -3?
-3
Let d = 0.978 - -0.022. Suppose k + 94 = -42. Let o be (-1)/4 - 50/k. Which is smaller: d or o?
o
Suppose 3*v = 6*v - 33. Which is smaller: 32/3 or v?
32/3
Let m be (11 - -2) + (2 - 3). Is 12 >= m?
True
Let t be 15/(-6)*2/(-1). Let f = -3 + t. Let w be 2/(-16)*f - 0. Which is smaller: w or 0?
w
Let r = -1.7 + -5.3. Let n = r - -6.9. Is -0.1 >= n?
True
Let l be (5/(-15))/((-3)/6). Is -12 <= l?
True
Let l = -3.6 - -3.4. Is -2 != l?
True
Let p be (-6)/(-4) + -1 - 1. Let g be ((-12)/8)/(3/(-4)). Suppose j + g*k = 2, k = j + j + 1. Which is bigger: j or p?
j
Suppose 0 = -2*u + 4*x - 9*x - 2, -x = 3*u + 3. Let l be (375/30)/((-2)/4). Let j = -77/3 - l. Which is smaller: j or u?
u
Let x = 116/3 + -39. Let c = -12.7 - 0.3. Let j = c + 12.9. Is x at least j?
False
Suppose d - 1 = 2*b - 8, -3*d - 9 = 0. Let w be (-1)/b*20/(-2). Suppose 5*l + 2*j = -10, -w*l + 15 - 35 = 4*j. Is -1 equal to l?
False
Let j be (-30)/75 - 2/5. Is 1 less than or equal to j?
False
Let n(c) = c**3 - 9*c**2 + 9*c + 2. Let m be n(8). Suppose -15 = -m*w + 5*w. Let y = 4 - w. Are -1/3 and y equal?
False
Let t be 2/(-4)*(-4)/(-2). Let x be t*(-48)/(-5 + 2). Do x and -16 have different values?
False
Suppose -4*k - 10 = -5*k + 4*x, -4*x = -5*k + 2. Let y(c) = -c**3 - c**2 - c + 18. Let u be y(0). Let t be 51/u - (-6)/k. Which is greater: 0 or t?
0
Let u = -2/11 - 7/22. Which is greater: -0.1 or u?
-0.1
Let v = -69 - -71. Is v greater than 3?
False
Let b = 28.7 + -29. Are b and -7 equal?
False
Suppose -2*q - 14 - 16 = -c, q = 5*c + 3. Let i(m) = -m**2 + 9*m - 8. Let r be i(10). Is q at least as big as r?
True
Let c be (19/(-2))/(2/(-4)). Suppose m + c = -m - 3*g, -m + 3*g = 5. Let y(r) = -r**3 - 8*r**2 + 2. Let w be y(m). Is 2 less than or equal to w?
True
Let x = -9/16 - -5/16. Which is smaller: x or 10?
x
Let q = 559/7 + -80. Let k be (1 - 2)/(1/(-3)). Suppose -j + k = 1. Are j and q equal?
False
Let p be (-180)/(-24)*(-8)/3. Is p < -20?
False
Suppose -5*g + 0*y = -2*y - 26, -4*g + 4*y = -28. Let j be (-32)/(-63) + g/(-18). Let k = 0.6 - 0.5. Is k at least j?
False
Suppose 4*j = 4*m - 0*m - 20, -15 = -4*j - 3*m. Is j smaller than 1?
True
Let l = -14 + 14.1. Are -4 and l equal?
False
Let o be 2 + 6 + -3 + 6. Suppose l - 2*l + o = 0. Suppose -5*w - 3*f = 19, -2*f - f - l = w. Which is bigger: w or -3/5?
-3/5
Suppose 123 = -5*h + 33. Let x = h - -9. Let t be 4/(-8)*(1 + x). Are t and 3 unequal?
True
Let w = -104 - -116. Which is smaller: w or 1/6?
1/6
Suppose -2*b + 3*y + 12 = -b, -4*b + y + 4 = 0. Which is smaller: b or 1/23?
b
Let j = 9.85 - 10. Is -1/2 less than j?
True
Let p = -37 - -14. Is -24 != p?
True
Let t = -5.9 + 10.9. Which is greater: t or -1?
t
Let v(l) = -4*l + 53. Let y be v(13). Which is bigger: y or 34?
34
Let m(s) = -5 - s**3 + 3 + 5*s**2 + s - 2. Let w be m(5). Let y = 8 - 6. Is y smaller than w?
False
Let i = -27 - -39. Is -1 at least as big as i?
False
Let r(u) be the third derivative of 0 - 1/2*u**3 - 3*u**2 + 0*u - 1/12*u**4. Let x be r(-2). Which is greater: x or -2/9?
x
Let b be (-32)/(-10) - 3/15. Suppose 5*a - 2 = b. Is -1/4 equal to a?
False
Suppose 0 = 3*s - b - 3, 0*s + 4*b - 3 = -3*s. Let l = s + 0. Does l = 2?
False
Let o = -0.2 - 0.3. Let y = o - -0.4. Is -2 greater than y?
False
Let n be (-3)/(-2) - 2/4. Suppose 5*p + n + 4 = 0. Let r(h) = -3*h**2 - 16*h + 12. Let a be r(-6). Is p <= a?
True
Suppose -4*c + 12 = -c. Suppose -c*n + 9 = -n. Are 3 and n unequal?
False
Let d be 18/24 - 2/(-8). Which is greater: -4/13 or d?
d
Let x = 1/2 + -5/6. Which is greater: x or 1?
1
Let v be 0*(-1 + (-6)/(-4)). Suppose v = 4*d - t - 21, -5*d = -4*t + 1 - 41. Do 2 and