 is greater: k or 1/7?
1/7
Let i be 126/(-10) - 6/120*8. Which is smaller: i or -12?
i
Let d = 6 - 0. Let j(s) = s**3 - 7*s**2 + 6*s - 2. Let f be j(d). Is f less than or equal to -5/3?
True
Let a be 304/56 - (-3)/(-7). Is a at most 0?
False
Let g(c) be the second derivative of -c**3/6 + 2*c**2 - 2*c. Let w be g(2). Which is smaller: 3 or w?
w
Let s = -13.026 - -0.026. Is s at most -3/2?
True
Let b be ((-6)/15)/(8/(-10)). Let j be 23/(-2) + (-7)/14. Let n be (-2)/4 - j/12. Is n at most as big as b?
True
Let x be (12/(-63))/(3/(-28)). Do 2 and x have the same value?
False
Suppose -5*o = 12 - 17. Let l = -4675/16 - -292. Which is smaller: o or l?
l
Suppose -16 = -4*o, -h + 5*o - 15 = -1. Let q be h/8*3/9. Is -1 bigger than q?
False
Suppose 5*o + 4 = 69. Let r = o + -1. Let p be (-12)/8 + 15/r. Is p != -2/3?
True
Let c be 0 + 0 + -1 + 1. Suppose 0 = 5*g - 2*v, -4*g - 4*v + 18 + 10 = c. Is -2 less than g?
True
Suppose -7 = -q - o, 13 = 4*q - 3*q - 5*o. Is q >= 7?
True
Let z be (59/(-30) + 2)*4. Suppose 5*l - 20 = -q, -5*q + 2*l - 2 = 6. Is q greater than or equal to z?
False
Let h = -4.7 + 4. Let t = 1.5 + h. Let s = -1 + t. Which is greater: s or -1?
s
Suppose 1 = -l - 1. Let z(a) = 2*a - 3. Let m be z(l). Is m less than or equal to -6?
True
Let b = 7 + -7. Is -1/2 < b?
True
Let x be 3/(3 - 6)*1. Which is bigger: -0.1 or x?
-0.1
Suppose 8 = -11*f + 10*f. Is f != -10?
True
Let b = -24 + 23.8. Which is smaller: b or 0.23?
b
Let l be (8/40)/(22/(-5)). Is 0 != l?
True
Let o be (72/(-3))/((-4)/(-482)). Let l be 0 + -2 - o/(-28). Let v = l - -105. Is -1 smaller than v?
True
Suppose -2*d = 3 + 1. Let m = d + 5. Is 5 equal to m?
False
Let f = -17058095/72 + 236913. Let t = f + 39/8. Is t less than -1?
False
Let y = -3.25 - -1.27. Let b = y + -0.02. Which is greater: b or 1?
1
Let t = -7 - -59. Let k = t + -417/8. Is k greater than or equal to -1?
True
Let d be 14/49 + (-150)/(-14). Let t be d/(-55) + 1 + -1. Which is greater: -1 or t?
t
Suppose 11 = -3*f + 2*v, -v - 40 = -0*f + 5*f. Is 2 != f?
True
Let i = 29 - 47. Let w = 12 + i. Which is smaller: -2 or w?
w
Let u = -1 - -7. Suppose -13 = w - v, v + 32 + 0 = -4*w. Let i = u + w. Which is smaller: i or -2?
i
Let n be (-1448)/36 - (-4)/18. Is -39 at least n?
True
Let u = -646/7 - -92. Are 0 and u unequal?
True
Let i = 128/15 - 46/5. Let w be 6/(((-4)/(-1))/(-2)). Let t be 1 + w*10/54. Which is greater: t or i?
t
Let t = -814 - -126172/155. Are 1 and t unequal?
True
Let j(d) = 3*d**2 + 11*d - 5. Let w be j(-4). Which is smaller: w or -2/511?
w
Let b = 16 + -15. Let j be (-4 + 3)*(b + 0). Suppose -2*k - 2*y - 12 = 0, 4*k + k + 2*y = -18. Is j > k?
True
Let x(f) = f**3 - 2*f**2 - 7*f - 9. Let m be x(4). Do m and -4 have different values?
True
Suppose -3*t = -6 - 3. Let m be (0 + -96)/(0 - -1). Let a = 482/5 + m. Which is smaller: a or t?
a
Let l be 20/30 + (-4)/3. Which is bigger: l or 1?
1
Let m = -6 - -2. Which is greater: -0.1 or m?
-0.1
Suppose -8 = -0*n + 4*n. Let w be -1*(1 + n*1). Suppose -2 = -3*b + 5*g + w, -4*g - 5 = -5*b. Is 4/5 bigger than b?
False
Suppose -3*m - z = -11, -5*m + 33 = 5*z - 2. Suppose -m*p - 10 = -3*p. Let w be ((-6)/(-45))/(12/p). Which is bigger: 1 or w?
1
Let s(j) = j + 4. Let q be s(0). Suppose -2*i + 5*u = -i + 16, -4*i + 8 = q*u. Let k be 1 + 3/((-21)/13). Which is smaller: k or i?
i
Let s be ((-8)/(-12))/(4/6). Let w be -6 - ((-1)/1)/s. Are w and -5 equal?
True
Let f be (-6)/150 + (3 - 3). Is f greater than or equal to -1?
True
Let j(l) = 6*l + 24. Let v be j(-4). Is v >= -35/4?
True
Let u = -0.04 + 0.54. Let j = u + -5.5. Is j greater than -1?
False
Let k be -2 + (-80)/45 - -4. Let w(f) = f + 1. Let j = 2 - 2. Let g be w(j). Which is smaller: k or g?
k
Let h(r) = -4*r**3 - 11*r**2 - 6*r + 13. Let f(b) = 9*b**3 + 22*b**2 + 11*b - 26. Let t(l) = -3*f(l) - 7*h(l). Let k be t(-10). Which is smaller: -1 or k?
k
Let r(s) = s**2 - 2*s. Let j be r(4). Let f = 7 - j. Let v be (-3 - (-5 + 1))/(-1). Are v and f unequal?
False
Let o = -40.3 - -40.1. Suppose 5*f = 71 - 21. Let k be ((-2)/5)/(6/f). Which is smaller: o or k?
k
Let s be (-6)/(-9) - 1190/(-24). Let m = s - 50. Are m and -2 non-equal?
True
Let t be (-32)/(-14) - (-2)/(-7). Suppose 0 = 5*q + 3*k, -4*q = -3*q - 3*k - 18. Let f be 2 - 5 - (q - 7). Which is smaller: f or t?
f
Let j = 1415/12 - 118. Which is bigger: 0 or j?
0
Let x = 7875530/9 + -874094. Let k = x + -966. Is 0 bigger than k?
True
Let b be 56 + (-2)/(-1) - -1. Let z = b + -19. Let m be (-1)/5*50/z. Which is greater: -1 or m?
m
Suppose -2*l = -4 - 0. Suppose h - 6 = -5*q, l*h - 5 = -3*q - 7. Suppose d + 0*d - q*v + 7 = 0, 4*d - 3*v = -13. Is d smaller than -1?
False
Let x = 2 + -1. Let l = -2 - x. Let f be l/(-5) + 6/(-10). Which is bigger: f or 2?
2
Let r = 316/51 + -60/17. Are 1 and r non-equal?
True
Let p(l) = -l**2 - 4*l + 3. Let a be p(-4). Suppose -a*s + 4 = -5*s. Is s greater than -2/3?
False
Let u(t) = 0*t**2 - t**2 - 5 + 4*t + 2*t. Let y(i) = -2*i - 9. Let d be y(-7). Let l be u(d). Is l at most 1?
True
Let b = 84 + -77. Is b <= 1?
False
Let l be 279/238*(-8)/6. Let n = l + 12/17. Which is smaller: -1 or n?
-1
Let b(m) = -m - 6. Let s be b(-4). Let c be 10/80 - (-14)/(-16). Are s and c equal?
False
Let o = -40 + 38. Which is smaller: o or 0.05?
o
Let v(l) = 2*l + 34. Let f be v(-17). Let o = 2261/13 + -174. Which is smaller: f or o?
o
Let r = -2 + 3. Let o be (r + 0)*4/2. Suppose 0 = o*p + 2. Are p and 1/3 equal?
False
Let h = 7 + -7. Suppose h = -y + 5*y. Let g = 702/5 - 141. Which is smaller: y or g?
g
Let a = 2 - 10. Let m = -2 - a. Let r be 10/8 + m/(-4). Are r and -1 equal?
False
Suppose 5*u - 8 - 2 = 0. Let p = 9 - 6. Suppose 5*i + 5*g - 5 = 0, i + 5*g = -2*i + p. Is i >= u?
False
Suppose 3*r + 66 = 5*l, 3*r = -3*l - 0*r + 54. Let y be (3 + 1)*(-6)/(-8). Suppose y*p - 1 = -2*v + 2, 2*p = 3*v + l. Which is bigger: 2 or p?
p
Suppose 3*m - g = 49, -3*m = 3*g + g - 74. Suppose 30 = 5*h - 4*v, -4*h + h - v = -m. Let q be -2*(3/h - 1). Does q = 0?
False
Let g(y) = y**3 - 3*y**2 - y. Let u be g(2). Is u bigger than -4?
False
Suppose 0 = -0*p + 4*p. Which is smaller: p or -11?
-11
Let y = 9 + -7. Let w = 0.1 + 0.1. Let i = 0.2 - w. Is i < y?
True
Let j = -10 + 12. Suppose j*y = -0 + 2. Which is smaller: y or -7?
-7
Suppose l + l - 3*b = 15, -3*l = -2*b - 10. Suppose 3 = 3*q + 4*r, 2*q + 0 = 5*r + 2. Let z = q - 1. Is z <= l?
True
Let k = -3 + 2. Let c = 0.11 - 0.08. Let f = -2.97 - c. Which is smaller: f or k?
f
Suppose 9*a - 2*a = 0. Which is smaller: 4/9 or a?
a
Suppose 1 = -4*m + 5. Let l = 0 + m. Let t = 23/3 - 89/12. Are l and t unequal?
True
Let c(x) = 38*x**2 - 2*x + 3. Let d be c(2). Let m = d + -460/3. Which is greater: m or -1?
-1
Let c = 8.7 - 8. Let p = 0.9 - c. Is p less than -3?
False
Suppose 5*t = -0*t - 40. Let b be 8*((-20)/t)/5. Is 2 < b?
True
Let n = -482/9 - -160/3. Let f be (2/5)/(6/(-10)). Which is smaller: n or f?
f
Let j = -59.26 - -59. Which is greater: j or 1?
1
Let s be 1/2*(5 + -5). Let c = -9 - s. Let b = c + 7. Which is smaller: b or -3?
-3
Let k be ((-4)/(-12))/(3/(-27)). Is k >= 1/3?
False
Suppose 18 = -3*x - 12. Is -10 <= x?
True
Let k = -25 + 7. Does k = -17?
False
Let k = -777 - -350. Let m = -4700/11 - k. Is 0.1 at least as big as m?
True
Let o = 31 - 25. Which is smaller: 1 or o?
1
Let x be (1 + -1 - 0)/(-1). Let n be (2 - 1)*(-1 + x). Are n and -2/9 nonequal?
True
Let l = 6.99 + 0.01. Let f = 6.8 - l. Which is bigger: f or 2/3?
2/3
Let r = 159/28 - 38/7. Is -1 at most as big as r?
True
Let s be -3*((-4)/3 + 1). Suppose -4*h + 2*n - 86 = 0, 3*h + 2*n = 7*n - 68. Let x be 2/h*14/6. Which is bigger: x or s?
s
Suppose m = -y - 8, -4*y = -m - m + 20. Which is smaller: -7 or y?
-7
Let j = 463/646 - 19/34. Let k be (-2)/6 + (-169)/(-228). Let u = j - k. Do u and 1 have the same value?
False
Let v = 2 - 2.8. Let d = 1.1 + v. Is 0 not equal to d?
True
Let h = -7 + 4. Which is bigger: -5 or h?
h
Let o be (-32)/24 - (-1 + 0). Let h be (-2 + 3)*-1*1. Does h = o?
False
Suppose -6 - 6 = -3*s. Suppose s*h - 8 = 8. Suppose -h*p - 3 = 3*a + 5, -4*p + a = 8. Is p not equal to -2?
False
Let g = -30 + 29. Which is smaller: 34 or g?
g
Let h(g) = -g**2 + 11*g - 10. Let w be h(10). Which is greater: w or 2/7?
2/7
Suppose 0 = 4*p - 6*p - 