r: b or i?
b
Let y = -6 - -5. Let c be (1/y)/(2/8). Let l be 1 + c - (-15 - -4). Is 9 smaller than l?
False
Let z be 32/(-6) - (6 + -4). Let l = z - -41/6. Suppose -2*y - 3 = 3*y + 3*b, -y + 3*b + 3 = 0. Is y bigger than l?
True
Let o be 1*(1 + 0) - 1. Suppose o = 5*s + b - 11, 2*s + s = -4*b + 10. Is 4/5 bigger than s?
False
Let g = -8 - -20. Let t be (4/6)/((-88)/g). Is t > -1?
True
Suppose -2*s - 5*a - 9 = 7, 0 = -s - 4*a - 8. Let r be ((-4)/s)/((-2)/(-16)). Suppose 3*i = r*i + 4. Which is bigger: -3 or i?
-3
Let a = -26 - -28. Which is smaller: -3 or a?
-3
Let a = -8 - -5. Let k = 9 - 6. Let w be (-2)/10*6/k. Which is greater: a or w?
w
Let y be -4 - (21 + -1)/(-5). Which is smaller: y or -3/10?
-3/10
Let f(k) = k**3 - 5*k**2 + 6*k - 6. Let q be f(4). Let m(h) = h**2 - h - 2. Suppose 5*x - 3 = 4*i, -3*x - x - 8 = 2*i. Let v be m(i). Are v and q equal?
False
Let k = -92/387 + 2/129. Which is smaller: -1 or k?
-1
Let g be 2 - 2 - (-4 + 4). Let d(x) = x**3 + g*x**3 + 7*x - 1 + x**2 + 7*x**2. Let w be d(-7). Which is smaller: w or 2/15?
w
Suppose 11 = 2*c + 1. Suppose 3*a - 5*m - 5 = -a, 0 = -3*a - c*m + 30. Is 6 > a?
True
Let w = -0.05 + 4.05. Let o = w + -8. Let y = 4 + o. Is y less than -3?
False
Let i be (-18)/(-38) + (-3 + 5)/(-4). Which is greater: 0 or i?
0
Let n be (-28)/80 + (-2)/8. Let o(k) = -3*k + 1. Let s be o(1). Let h be 0 - s - 9/3. Which is greater: h or n?
n
Let v be (-48)/(-6)*(-1)/(-26). Which is smaller: 1 or v?
v
Let y = -12 + 7. Suppose -5*j - 29 = 1. Let c = y - j. Which is greater: 2/13 or c?
c
Let n = -0.11 + -15.89. Let s = n - -10. Let x = s - -5.9. Is 0 < x?
False
Let s = 56 - 43.6. Let w = s + -12. Which is greater: w or 0.1?
w
Let c = 3 - 1. Which is smaller: c or -2?
-2
Let x be (4/(-12))/(3/(-63)). Which is greater: 15/2 or x?
15/2
Let c be (-1)/(4/16) + (-58)/(-14). Is 2 at most as big as c?
False
Suppose -2*x + 5 = 1. Let s = x + -1. Let n(z) = -z + 1. Let p be n(1). Is s less than or equal to p?
False
Suppose 8 = -2*y + y. Suppose -2*p - 155 = 3*p. Let d = 22 + p. Is y at least as big as d?
True
Let s = 2/15 + -23/60. Let v = -5 + 4. Let n be (v*3)/(-6)*0. Is s < n?
True
Suppose -4*q = -q - 5*s - 27, 4*s - 54 = -3*q. Suppose -4*x - 15 - 3 = 3*h, 4*x = -h - q. Let p be (x/(-8))/((-3)/(-2)). Is -1 bigger than p?
False
Let t(u) = 2*u. Suppose 0 = i - 3*s + 2*s - 7, 0 = 3*i - 4*s - 23. Let w(p) = 3*p. Let o(c) = i*w(c) - 7*t(c). Let b be o(0). Which is bigger: b or 2/11?
2/11
Suppose 4*u + 6 = -6, 4*w + 5*u = -7. Let s(b) = 0 - b - 1 + w*b. Let c be s(2). Does -2/7 = c?
False
Suppose z + 3*y + 6 = 0, 0*z + 4*y = -2*z - 6. Suppose -5 = z*p + 2*p. Let f be ((-1)/(-6))/((-55)/(-44)). Which is smaller: p or f?
p
Let y(t) = t + 4. Let i be y(-2). Suppose i*j - 3 = 3*j. Which is greater: -5 or j?
j
Let i be 50/4 - 27/(-18). Is 15 < i?
False
Let j(n) = -n**2 + 6*n - 5. Let y be j(4). Suppose y = 6*m - 3*m. Let x be (2/((-4)/(-10)))/m. Are x and 4 equal?
False
Let q = -0.15 - 1.45. Which is greater: q or 2?
2
Let a = 0 - -4. Suppose 30 = 3*p - 0*d - a*d, -d = -3*p + 21. Suppose -4*w + p = -k, 2*w - 2 = -2*w - k. Is -2/27 not equal to w?
True
Let c = 0.2 + 0.2. Let g = c - 3.4. Which is smaller: 0 or g?
g
Let i = 0.3 - 0.2. Let m be (-1 - -2)*(6 + -9). Let v be 9/12*m/9. Which is smaller: v or i?
v
Let c be 7 + -6 + 3 + 1. Which is smaller: 3 or c?
3
Let o be 7/(7/38)*-2. Let c be o/60 + (-4)/(-6). Which is smaller: c or -1?
-1
Let g = -6536/313731 + 2/3169. Do g and 0 have the same value?
False
Let i(f) = f**3 + 2*f**2 + 2. Let b be i(-2). Let p be (-1 - -2)*(b - 3). Let t(r) = r**3 - 2*r**2 + 1. Let q be t(p). Are -3/2 and q non-equal?
True
Suppose 5*t + 8 = 33. Is t less than or equal to 7?
True
Let k = 119/3 + -40. Is 0.08 bigger than k?
True
Let y(o) = o**2 - 5*o + 2. Suppose -6 = 4*s - 22. Let j be y(s). Let h be (1/j)/((-5)/(-10)). Which is smaller: h or -2/5?
h
Let f = -4 + 2. Let t be -2 + (0 + -1)*1. Is t at most f?
True
Let i(l) = 2*l + 14. Suppose 4*c - 23 = -63. Let t be i(c). Let u be (-26)/22 - t/33. Which is bigger: -3/2 or u?
u
Let y = 2647/616 - 30/7. Which is bigger: 1 or y?
1
Let p = -6260/21 - -298. Is p bigger than 0?
False
Let p = -24.3 - -25.33. Let j = p - 1.1. Which is smaller: j or 0.1?
j
Let q(b) = -b**3 + b**2 - 4. Let i be q(0). Let p(n) be the third derivative of -n**5/60 - 2*n**3/3 + n**2. Let m be p(0). Is m less than or equal to i?
True
Let y = 0.2 + 0.3. Let z = y + -0.4. Let i = z - 0.2. Which is bigger: 1 or i?
1
Let b = -1 + 1. Let d be (-5)/15 - (-19)/3. Suppose d*l = l - 10. Is l at most b?
True
Let d(q) = -q**2 - 8*q + 5. Let r be d(-8). Suppose b = -5*u - 25, -b + r*u - 4*u = -5. Suppose 5*m - 4 = 1. Which is smaller: b or m?
b
Let t = 2 + -9. Let j = -51 + 57. Let r = j + t. Which is greater: r or 0.3?
0.3
Let o(i) = -i**3 - 4*i**2 + 5*i. Let m be o(-5). Which is smaller: 2/51 or m?
m
Let y be (-20)/14 + 0 + 1. Suppose -2*r = -3*p - 3, r = -5*p + 1 + 7. Is y at most p?
True
Let k = 41 - 29. Is 1 less than k?
True
Suppose 3*d - 30 = -2*r, -4*d + 23 = -0*r - 3*r. Let n be (-10)/(-14) - d/(-28). Is n less than -1/5?
False
Suppose 17 = 4*r + x, 0 = -r - 6*x + 5*x + 2. Let f = r - -10. Let j be (-58)/120 + 6/f. Does j = 0?
False
Let s = -1 + -39. Let b be ((-3)/(-4))/((-135)/s). Is 0 <= b?
True
Let b = 9 - 10. Let r(i) = 2*i**2 - 2*i - 1. Let k be r(2). Suppose -2*y - 2 = -k*y. Which is smaller: b or y?
b
Let q(k) = 3*k + 17. Let g be q(-6). Are g and -2/125 equal?
False
Let c = -23 - -22. Which is smaller: c or -1/7?
c
Let b = 1.5 - 1.3. Let h = 2/203 + -213/1015. Is b at least h?
True
Let k be ((-2)/(-1))/(2/4). Let i be ((-6)/12)/((-2)/k). Which is smaller: 1/6 or i?
1/6
Suppose a = 5*x - 3 - 2, 3*x - 20 = 4*a. Suppose 2*j = -x - 8. Is -4 > j?
False
Let b = 33 + -33. Is 5 less than b?
False
Let q be (2/(-6))/(1/(-12)). Is 5 greater than q?
True
Let o be 1/(-1)*(-1 - -3). Suppose 0 = -5*q + 25 - 10. Suppose 0 = -8*l + 3*l + 3*t - 14, q*l + 3*t - 6 = 0. Is l smaller than o?
False
Let c = -1.7 - -2. Let h = -0.39 - 0.01. Let n = h + c. Which is smaller: n or 1?
n
Let p be 28/98 - 184/(-91). Is p > 2?
True
Let q be (2/(-8))/(0/(-8) - 1). Let f(u) = -2*u - 4. Let r be f(-4). Which is smaller: r or q?
q
Let r be 3*(-6)/(-135)*3. Suppose -2*g = -3*g + 3. Let n be 2 - g/(-27)*-16. Is r != n?
True
Let s(f) = 0*f - f - 4 - 2. Let k be s(-5). Which is smaller: 0.2 or k?
k
Let k be 6 + -1 + 0 + 2. Let i be (1 - k)/((-3)/(-2)). Let h be (-3)/1 - (-4)/(-4). Is h != i?
False
Suppose 3*h - 3 - 1 = -4*l, 0 = 4*h + l - 1. Suppose h = -q - 0*q - 1. Let o = 0 - 1. Does q = o?
True
Let x be ((-10)/(-25))/(226/(-10)). Which is smaller: 1 or x?
x
Let g(a) = 41*a**3 - a**2 + 2*a + 2. Let l be g(-1). Is l != -42?
False
Suppose c = -2*c. Are c and -3/10 nonequal?
True
Suppose -5*b + 3*b = -82. Are 41 and b equal?
True
Let o be (-56)/10 + 2/(-5). Let m be ((-9)/(-4))/(o/(-24)). Let l be 3/m + 3/9. Which is bigger: l or 0?
l
Suppose -t = -q - 13, 4*q + 3*t + 26 - 2 = 0. Suppose 0 = 2*j + 2*s + 28, 0*j + 2*s = -j - 19. Is j != q?
False
Suppose -3*y - y + 20 = -5*r, 0 = -4*r + 2*y - 10. Suppose 0 = 2*k - 5*i - 90, 5*k = -2*i + 71 + 125. Let f be 2/k*(-8)/(-2). Which is greater: f or r?
f
Let h be 6/(-34)*(-8)/(-6). Which is smaller: 0.1 or h?
h
Let m = 0.5 + 0.5. Let p = 0.08 - 0.38. Let h = p - -0.1. Which is bigger: h or m?
m
Let a be ((-4)/12 + -2)*3. Let x = a - -12. Are x and 0.2 equal?
False
Suppose -p - 4*q - 11 = -2*q, 4*p = -2*q - 38. Is p at least -7?
False
Let h(b) = -b - 4. Let d be h(-7). Suppose -g = 4*v - 4*g - 18, 5*g + 1 = -d*v. Suppose 0 = v*w - 5 + 2. Is 1 > w?
False
Let z(x) = 3*x + 6. Let n(w) = w. Let i(f) = 4*n(f) - z(f). Let b be i(7). Is 1/6 at least b?
False
Suppose -24 = -6*n + 3*n. Let x be (4/18)/(-7 - (-120)/18). Is x at least as big as n?
False
Let x(o) = o**2 - 5*o + 4. Suppose 2*m - 6*m + 16 = 0. Let k be x(m). Let p(w) = w**3 + 5*w**2 - 5*w + 5. Let q be p(-6). Which is bigger: q or k?
k
Suppose 0*z - 14 = -z - 4*p, -5*p = -25. Let q be 12/117*z/4. Which is greater: 1 or q?
1
Let a(q) = -q**3 - 2*q**2 + 2*q - 1. Let c be a(-3). Let w(d) = -3*d**2 + 35*d + 11. Let z be w(12). Which is greater: z or c?
c
Let m be (-2)/3*(-9)/6. Suppose 16 = -7*d - 5. Which is smaller: m or 