8 - 39393/34. Let x = g - d. Which is smaller: 0 or x?
x
Let f = 2/4079 + 32594/77501. Which is greater: -1/3 or f?
f
Let q be (-1 - -7) + 0 + -2. Suppose -9*y + 5 = -q*y. Which is smaller: y or 2?
y
Let w = -3.9 + 0.9. Let g = -3.1 - w. Which is bigger: -5 or g?
g
Suppose 20 = 4*n - 4*y, -3*y + 57 = 4*n + n. Let w = n + -10. Which is bigger: -1/3 or w?
-1/3
Let i be 0/(-1) + -1 + 4. Do 14/5 and i have the same value?
False
Let b be (62/(-18) + 1)*-1. Is 2 at most as big as b?
True
Let n be (-2)/(-12)*-2*57. Let p be (-2)/(-7) - n/7. Let t = 12 - 8. Are p and t unequal?
True
Let g(f) be the first derivative of 2*f + f**3 - f**2 - 1/4*f**4 - 1. Let c be g(2). Which is smaller: 3/5 or c?
3/5
Suppose 2*p - u = 4 - 0, 5*p - 9 = 3*u. Suppose s = 2*b + 5, -3 = b - p*s + 2. Let t = -3 - b. Which is bigger: t or 1/6?
1/6
Let o be (-1)/((-3)/(-6)) - -10. Do 9 and o have different values?
True
Let d = -138 + 88. Let w = d - -348/7. Is w greater than or equal to -1?
True
Let h(j) = -j**3 + 7*j**2 - 4*j - 10. Let c be h(6). Suppose 3*l + 0*f + 26 = 5*f, 14 = 3*l + 5*f. Let s be l/4*1*-2. Which is bigger: c or s?
c
Let y(c) = -c**3 + 5*c**2 - 5*c. Let g be y(4). Let j be 14/(-21)*6/g. Which is bigger: 3/5 or j?
j
Let p = 43 - 40.7. Let a = -0.3 + p. Let r = a - 3. Which is smaller: 2/7 or r?
r
Let u = 4.3 - 4.2. Is u >= -8/3?
True
Let d = -4.12 - -0.12. Let m = -3.7 - -0.7. Let i = d - m. Which is smaller: i or 3?
i
Let n = 71/42 + -5/14. Which is bigger: n or 1?
n
Let d be 26/(-42) - 4/(-14). Let o be 13/5 + (-4)/(-10). Suppose b = -o*b. Which is smaller: d or b?
d
Suppose -4*x + 4*i = i + 7, 0 = -x - 5*i + 4. Let r be (-9)/15 + 26/15. Let c = -4/5 + r. Which is greater: x or c?
c
Suppose 47*b = 45*b. Is b < -3/65?
False
Let h(d) = -3*d**2 - 2*d + 1. Let z be h(1). Let q = z + 5. Let k = 2/63 + -23/63. Which is greater: q or k?
q
Let u = 0.4 + -0.45. Let v = -0.05 + u. Which is greater: v or -1/2?
v
Let l = -238/5 + 49. Let i(t) = t**3 - 11*t**2 + 11*t - 8. Let x be i(10). Is x equal to l?
False
Let h = -14 + -3. Do h and -16 have the same value?
False
Let k(u) = -u**3 - 1 + u**2 + 4*u**2 - 2*u**2 - 2*u + 0*u**2. Let x be k(2). Which is smaller: x or 1?
x
Suppose -60 = 3*o + 2*o. Let z be o/10*2/4. Which is smaller: -2 or z?
-2
Let u(m) = 6*m + 1 - 5 + 1. Let x be u(3). Suppose 0 = -5*b + 3*r + x, -4*r + 2*r + 15 = 5*b. Which is bigger: 2 or b?
b
Suppose 5*s + 0 = -5. Is 1/8 < s?
False
Suppose r + h = 7, 0*r = 4*r - 5*h - 19. Suppose 0 = 5*j + i - 12, 5*i = -5*j + 2*i + r. Which is smaller: 4 or j?
j
Suppose -2*b = -3*o + 4 + 3, 3*b = 5*o - 10. Which is bigger: o or -2/67?
-2/67
Let r = -3961913633/151424370 + -32/522153. Let m = -269/10 - r. Let o = m + 2/29. Which is smaller: o or -1?
-1
Let a = -3.4 - -3. Let s = a + 0.3. Let f = s - -0.2. Which is smaller: 0 or f?
0
Suppose 2*d - 5*d - 393 = 0. Let p = d - -1707/13. Is -1 less than or equal to p?
True
Let o(q) = 4*q - 2. Let m(t) = 2*t - 1. Let j(r) = 5*m(r) - 2*o(r). Suppose -7*i + 9 = 2. Let w be j(i). Is w <= -1/12?
False
Let y(a) = a**3 - 5*a**3 + 2*a**3 + a**2 + 2 - 2*a. Let b be y(1). Is b at most -1?
True
Suppose 2*t - 4*t - 4*w = 122, 2*t + 2*w + 126 = 0. Is t smaller than -66?
False
Let y = -52 - -35. Let z = -17.1 - y. Let n be (-14)/60 + 2/5. Which is smaller: n or z?
z
Let z = -14 + 14. Let q = 17 - z. Are 0.1 and q equal?
False
Let g be (-2)/(-2)*6/(-6). Is 1/4 greater than g?
True
Let l = 45.6 - 50. Let o = 0.4 + l. Let x = o + 6. Is x smaller than 2/3?
False
Let d be 3*(-3 - (-16)/(-6)). Which is greater: d or -16?
-16
Let r be -5*((-1 - -1) + -1). Let c = r + -4. Let s = c + -1. Which is greater: s or 2?
2
Let p(y) = -y**3 - 8*y**2 + 6*y + 4. Let f be p(-9). Is 0.1 >= f?
False
Let n = 2 + 1. Suppose 0 = -0*q + 4*q - 8. Which is smaller: n or q?
q
Let u = 0 + 4. Let r(m) = m**3 + 8*m**2 - 11*m - 13. Let q be r(-9). Is q less than u?
False
Let l be 197/(-65) + 2/(-10). Let h be ((-758)/(-130) - 3) + 0. Let v = l + h. Which is bigger: 1 or v?
1
Let w = -1529/36305 + 3/685. Let x = w - 155/106. Let v(c) = c**3 - 5*c**2 - 6*c - 3. Let p be v(6). Is x >= p?
True
Let y(q) = 2*q**2 - 1. Let x be y(1). Let k be (-1134)/24 + x/4. Let g = k - -139/3. Does 1/2 = g?
False
Let s = 107 - 78. Which is smaller: 28 or s?
28
Let n = -320 + 1927/6. Which is smaller: n or -1/2?
-1/2
Let u = 11 - 5. Suppose 5*x - 11 = -81. Let l = 20 + x. Is u greater than l?
False
Suppose 6 = 3*w, 2*p = -0*p - 3*w - 58. Does -33 = p?
False
Let n(l) = -l + 11. Let u be n(7). Suppose -7 = -u*f + 5. Is f equal to 2?
False
Let p = 0.01 - -0.09. Which is greater: -6 or p?
p
Let b(z) = -z**3 - 2*z**2 + 1. Let u be b(-2). Is 0 at most as big as u?
True
Suppose a - 4 = 0, -4*x = -0*x + a - 4. Suppose x = 3*p - 6*p - 6. Let w(y) = -y**2 - 4*y - 3. Let z be w(p). Are z and -2/9 nonequal?
True
Let g = 22 + -25.5. Is g greater than or equal to 1?
False
Let w = -217/184 - 16/23. Which is bigger: w or -3?
w
Let v be 76*(12/16 - 0). Let b be -1 + (-3)/v*-17. Does 0 = b?
False
Let h be (-2 + 6/4)*-2. Are 2/7 and h equal?
False
Let d(q) = q**3 - 6*q**2 + 6*q. Let j be d(5). Suppose j*w - 5 + 25 = 0. Let n(y) = y - 9. Let f be n(6). Are w and f equal?
False
Suppose -3*k = -5*p - 47, 2*k - 2*p - 3*p = 33. Suppose -2*h = 4*c + 12, 2*c + h = -2*h - k. Is -5/8 bigger than c?
True
Let k = -8.9 + 8. Let h = k + -0.1. Is 2/3 bigger than h?
True
Let u be 2*(-2)/8*14. Let c = u - -6. Is c greater than -1?
False
Let y(x) = -2*x + 6. Let q be y(0). Suppose -4*w - 21 = -4*r + 3*r, -4*r = 2*w + q. Which is smaller: r or 1/3?
1/3
Let m(g) = -3*g - 10. Let o be m(5). Is -24 at least o?
True
Let r = 0.77 + -0.8. Let i = -0.07 + r. Is 2/3 > i?
True
Suppose -2*d - 3 = 4*y + 13, 0 = 3*y + 4*d + 17. Let w be 3 + 1 + y/3. Suppose -5*p + 4*i + 4 - 1 = 0, 0 = -w*p + 2*i + 1. Is p < -1?
False
Let s = -42 - -66. Let z = -24 + s. Is z smaller than 4?
True
Let c = -23 - 2. Let d be (c/(-4))/((-4)/16). Let t be 90/d - (0 - 3). Which is greater: t or 0?
0
Let r = 46512 - 16604914/357. Let l = 4/51 + r. Which is smaller: l or 0?
l
Let r = -17/84 - -1/28. Is 1 greater than or equal to r?
True
Let f = -4.89 + -0.11. Let x = f - -4. Let a = 0 + -1. Is a < x?
False
Suppose 2*z - 4 = 0, -3*s + 5*z = -5 - 9. Let o = s + -2. Suppose 3*j + 3 = 0, -3*t + o*t - 2*j - 5 = 0. Is t <= 0?
False
Let i = 0 + 3. Let f(o) = o - 2. Let u be f(5). Let y be (5/u)/((-1)/i). Which is bigger: y or -2/7?
-2/7
Let k = 27.39 + 0.61. Let r = -28.05 + k. Is -2 at most r?
True
Let n be 1/4 - 90/(-24). Suppose n*a = a. Which is greater: -2 or a?
a
Let m be 34/(20/(-7) + 2). Let a = m - -40. Which is smaller: -1/3 or a?
-1/3
Let a be 2/6 + (-2)/(-6). Let l be (-3)/(-15)*(-30)/18. Is a greater than or equal to l?
True
Suppose j - 4*j = -18. Suppose -4 - j = 5*i. Is -1 at most i?
False
Let m be 5 + -5 - (-12)/(-3). Let a be 4/(-3)*9/2. Let l = m - a. Do 3 and l have different values?
True
Suppose 2*t + 2*w = 74, 2*w - 6 = -14. Is 79/2 at most t?
True
Suppose -76 = 2*w + 4*z, -6*z = -3*w - 7*z - 104. Do -2/7 and w have the same value?
False
Let s(k) = -k**3 - 19*k**2 - 11. Let j be s(-19). Is j at most as big as 4?
True
Let q(c) = -c**3 - 5*c**2 - 4*c + 4. Let l be q(-4). Suppose 2*f = f - l. Let b = -1 - 3. Is f smaller than b?
False
Let g(t) = -t**3 + 2*t**2 - 3*t + 1. Let y(i) = -i**2 + i. Let f(n) = -g(n) - 3*y(n). Let l be f(0). Let h = 0 - 1. Is h greater than l?
False
Let b be (-27 - 5)*3/(-6)*1. Which is greater: b or 14?
b
Suppose -3*v + 0 = -6. Let z be (v/(-3))/((-4)/(-18)). Let h be 1*-2 - z/1. Which is greater: -2 or h?
h
Suppose 3*m = -9, 2*m = x - 3*x - 6. Is 5 != x?
True
Let b = 32 - 31. Is 1 not equal to b?
False
Let f be 204/20 - ((-11)/(-5) + -2). Let d = 28 - 19. Which is smaller: f or d?
d
Let u = 23.6 + -24. Does -3 = u?
False
Let i be -114*3/(-780) + 4/(-10). Which is smaller: i or 1?
i
Suppose -2*r = -4*r. Let s be (-2 - (-81)/(-78)) + 3. Let o = s - -57/130. Is r smaller than o?
True
Let a = 95/9 - 13. Which is smaller: a or -3?
-3
Let y = 167/5 - 35. Which is greater: y or -3?
y
Let a(b) = b**2 + 7*b + 6. Let j be a(-6). Let k = 741/5 - 147. Is k less than j?
False
Let v = 1879 - 16942/9. Let z = -3918 - -35207/9. Let b = v - z. Which is greater: 3 or b?
3
Let k = 8 + -6. S