5/7. Which is greater: k or o?
o
Suppose 3*k - 5*z - 6 - 8 = 0, 5*k = -3*z + 46. Let h = k + -2. Let w be h/(-42)*(-4 - 2). Which is greater: w or 0?
w
Let u = -1037 - -1066. Suppose m - 116 = -3*v - v, 58 = 2*v - 5*m. Is u >= v?
True
Suppose -4*m + 16*m + 7 = 19. Let z = -6959/153 - -412/9. Which is smaller: m or z?
z
Suppose -2*g + 5 = -3*l, -2*l - 16 = -g - 14. Are l and 1/57 non-equal?
True
Let w = 5/147 + 97/1470. Are 8 and w equal?
False
Let t be 0*1/(-2) + -23. Let s = -24 - t. Which is smaller: -1/3 or s?
s
Let w be (1 - 0) + -4 - 10868/(-3610). Is w at most as big as 0?
False
Suppose 5*u = -4*i + 3*i + 36, 4*i - u - 165 = 0. Suppose 5*a + 127 + 33 = 0. Let n = a + i. Which is greater: 1/4 or n?
n
Suppose -5*r + 11 + 4 = -4*b, 3*r - 22 = 5*b. Let x be 0/(8/(-4)) + 10. Let w be x/(-68)*12/(-10). Which is bigger: w or r?
w
Let x = -50 + -5. Let s = x + 52. Are s and -4 nonequal?
True
Let c = -12733 - -12737. Let r = 15812/7 - 2255. Which is bigger: r or c?
c
Let o be (-3 - -2) + 1 + -6. Let y = 7/1093 + -1114/3279. Is y less than or equal to o?
False
Suppose -3*a - 9 = -3*r, a = -r + 6*r + 1. Let x(v) = v**2 - v - 6. Let q be x(-3). Let t be (q + a)/(2 + 2). Which is smaller: 2 or t?
t
Suppose 0 = -k - 3*k - 4*p - 28, 0 = 3*p. Let h be (k - -10)*-1 + -1 + 0. Which is bigger: h or -36/13?
-36/13
Let l(p) = 6*p + 252. Let d be l(-42). Let s be 4 + (-14)/9 + -1. Which is greater: d or s?
s
Let x = 0.228 - 18.228. Which is smaller: x or 2/5?
x
Let y(t) = 4*t + 1. Let z be y(-2). Let x(a) = -4*a + 17. Let r be x(6). Let l be -1*(1 - (-4)/(-4)*r). Which is bigger: l or z?
z
Let l = 132 + -86. Let h be 2/l*(-2)/(-1). Suppose -3*x = 3*z - 6, x + x - 6 = -4*z. Is z at most h?
False
Suppose 0 = 10*h + 2 + 28. Let r(p) = -p - 1. Suppose 3*y + 4*i = 3, y + 2*y + 2*i - 3 = 0. Let u be r(y). Is h greater than or equal to u?
False
Let q(b) = -3 + 38 - 5 - 10*b. Let c be q(5). Which is bigger: -22 or c?
c
Let u = 173 - 170. Which is greater: 1 or u?
u
Let r = -2.652 - -2.69. Do 0 and r have different values?
True
Suppose -t + 0*t - 19 = 0. Suppose -3*p + 69 = -4*o, 0*o = 5*o - 2*p + 95. Is t not equal to o?
True
Suppose 17*b - 94 = -60. Suppose -45 + 365 = 4*f. Let n = f + -155/2. Is n bigger than b?
True
Let j = -0.3 + 0.32. Let b = 44.19 - 44. Let u = b + 1.81. Which is smaller: u or j?
j
Let c(g) = 2*g + 4. Let d be c(-2). Is d smaller than -240?
False
Let u be (-332)/(9 + (-170)/30). Which is bigger: u or 1?
1
Let s = 1538/7 + -220. Let l(k) = 3*k**3 - 7*k**2 - 2*k**3 + 0 + 5 + 5*k. Let x be l(6). Is x at least as big as s?
False
Suppose 8*o + 6 = 14*o. Suppose -4*g - 3*x = -90, g - 14 = -7*x + 2*x. Let u be (-38)/g - 6/(-4). Is o != u?
True
Let u be 5*(-1)/20*-4. Let s be (u/(-2))/(7/(-364)). Let m = s - 15. Is 10 less than m?
True
Let h(s) = s + 26. Let l be h(-15). Suppose -4*u - l = 9. Suppose 5 = -2*t - 1. Which is smaller: u or t?
u
Suppose -4*i = 102 - 10. Suppose 26 = -10*j - 204. Is j bigger than i?
False
Let m be ((-6)/(-7))/((-2)/(-14)). Let b(p) = p**2 - p. Let x be b(0). Suppose 2*g - m = -x. Which is smaller: g or 2?
2
Let x be (-4)/(-22) - ((-195)/(-165) + -1). Let a be 8/(-28) + 120/469. Which is bigger: x or a?
x
Let d be -4*(1 - (2 + 1)). Let a be (18/(-66))/((-6)/d). Let b(r) = 2*r**2 - 5*r + 3. Let f be b(2). Is a bigger than f?
False
Let f = -1 + 1.2. Let w = -0.28 + -2.52. Let q = w - f. Is q smaller than 0.2?
True
Let b = -123 + 617/5. Let m = -6001 - -5997.3. Are b and m nonequal?
True
Suppose 2*r = 2*p - 4, 4*r - 9*r + p + 10 = 0. Is r equal to 44/25?
False
Let y = -106/7 - -687/56. Which is greater: y or -3?
y
Let y be (-7)/(-7) + 338/6. Let f = y - 53. Let j = f + -4. Is 0.03 greater than or equal to j?
False
Let c = 0.6 + -0.75. Let j = -0.45 - c. Which is bigger: j or -1?
j
Let l = -10.84 + 10.94. Is 332 greater than l?
True
Let z = -2628 + 23684/9. Suppose -5*r + 10 = q, 29*r - 3*q = 31*r + 9. Which is bigger: z or r?
z
Suppose -2*l + 7*l + 4890 = 0. Let o be 4/22 + l/(-66). Which is greater: o or 14?
o
Let f(p) = 14*p + 405. Let j be f(26). Which is greater: 770 or j?
770
Suppose 4*h - 11 - 37 = -2*w, -2*h = -w - 28. Suppose -97 + 19 = -h*b. Are 0.3 and b non-equal?
True
Suppose 11*y = -12*y + y. Let b be ((-8)/(-102))/(4/(-18)). Is b less than or equal to y?
True
Let z(p) = 2*p**2 - p - 1. Let o be z(2). Suppose -l - 4 = -8*j + 4*j, 3*l - 5*j = -o. Let v be (-3)/(l - -6)*-20. Is 8 bigger than v?
False
Let i be (0 - 0) + -1 + -49. Let c = i + 74. Which is bigger: 25 or c?
25
Suppose 0 = v + 3*v - 5*p - 276, 3*v - 207 = 5*p. Is 70 <= v?
False
Let k(v) = -7*v - 298. Let p be k(-42). Is -78/17 bigger than p?
False
Let v(j) = j**2 - 2*j - 28. Let o be v(6). Suppose 0 = n - 2*q, -q - 10 = -n - 2*n. Suppose -n*z - 4 = -12. Which is greater: o or z?
z
Let c = -13 + 15. Suppose -t = -2 - c. Let s = t + -10. Which is smaller: -7 or s?
-7
Suppose -3*p = -s - 443, -4*s - 15*p - 1759 = -14*p. Is -440 at least as big as s?
True
Suppose 3*i = i + 6. Suppose -4*o + 4*f - 6 = -f, i = -o + 2*f. Let s be 0/(-9 - (3 + -2)). Which is greater: o or s?
o
Let w = 176.6 + -66.6. Is w equal to 2/11?
False
Let d(m) = m**2 - 2*m + 280. Let x be d(0). Let s be ((-2)/(-7))/((-8)/(x/(-75))). Suppose o + 2*t + 7 = 0, -t = -3*o + 2*o + 5. Which is greater: o or s?
o
Let g(w) = w**2 + 5*w - 6. Let r be g(-6). Suppose 3*u - l + 41 = r, -4*l + 4 = u - 4. Which is greater: u or -9?
-9
Let k = -5 - -11. Let j = -6 + k. Is 1/7 less than or equal to j?
False
Suppose 13 = 5*h - 27. Let a be (-85)/(-300) + -1 + h/10. Which is smaller: a or 0?
0
Let z(k) = -3 + 1 + 2*k**3 - k**3 - 7 - 4*k**2 + 6*k. Let c be z(3). Suppose -2*w + 5 + 5 = c. Which is bigger: 11/3 or w?
w
Suppose 0*f + 27 = 3*f. Suppose -20 - 12 = -4*c. Let n = c - f. Which is smaller: -2/17 or n?
n
Suppose t - 4*t + 471 = -4*f, f + 157 = t. Is 156 <= t?
True
Let r be (3346/2151)/((-2)/18). Suppose 122 = 2*t - 0*t. Suppose x + v = -4*x - 63, 0 = 5*x + 2*v + t. Which is smaller: r or x?
r
Let g be (3 + -3 + -1)*-1. Let c be ((-36)/(-21))/(g/7). Let s = -7 + c. Is s less than 5?
False
Suppose -u = 30 + 31. Let m = -247/4 - u. Which is greater: m or -0.16?
-0.16
Let s = 2059278/3175 - 65658908494/101038025. Let x = s - -70479308/39174113. Let h = x - 2/1231. Which is bigger: h or 1?
1
Let u(n) = -n**2 + 26*n - 51. Let l be u(22). Which is smaller: 2 or l?
2
Let o = 302769/274 - 1105. Do o and 1 have the same value?
False
Let t = -1.02 + -30.08. Let f = t - -31. Let r = 13 - 13. Is f less than r?
True
Let g = -0.254 - 0.036. Let t = -0.39 - g. Are 1 and t equal?
False
Let u = -4 + -38. Let l = u + 19. Do 3/7 and l have the same value?
False
Suppose 3*i - 2*i = -5. Suppose -g = 2*m - 36, 5*m - 4*g - 75 = g. Suppose -m*z + 18*z = -5. Are z and i nonequal?
False
Let a = -332 + 342. Is a at most as big as 3/4?
False
Let t = -627.045 + 631. Let a = -0.045 - t. Is 0.1 less than a?
False
Let o(n) = n - 12. Suppose 5*u + 30 = 2*r + 3*u, -r - 5*u + 3 = 0. Let l be o(r). Let s be (-3 + 3)/(l/(-1)). Which is greater: 1 or s?
1
Suppose -3*z - 32 = -7*z. Let w be (-2)/z*(-76)/(-9) - -3. Is w < 0.1?
False
Let x = -89.02 + 87. Let n = x - -2. Let c = 2 + 0. Is n smaller than c?
True
Let h be (1 - (-188)/64) + -4. Is 6/13 < h?
False
Let z be 10 + (-3 - -2)*-1. Let s(a) = a**2 - 12*a + 14. Let t be s(z). Is t at least 7/2?
False
Let m = -963 - -752. Which is smaller: m or -632/3?
m
Let o(a) = 2*a**2 - 8*a + 2. Let n be o(7). Let z be -4 + (-7080)/n + 0. Let h = z + 165. Is h greater than 1?
False
Let h = -60 + 54.9. Which is greater: h or -5?
-5
Let g be ((-2)/(-36))/(4/16). Let v = -45 - -84. Let r = v - 31. Is r bigger than g?
True
Let o(y) = 2*y**3 - 2*y**2 + 2*y - 1. Let j be o(1). Let h(x) = -4*x**2 + 5*x**2 + 0 - j - 17*x. Let t be h(17). Is -7 greater than or equal to t?
False
Let n = 0.31 + -0.95. Let d = 0.06 - n. Let h = 0.5 - d. Which is greater: h or -2/5?
h
Let k = 65.02 + -65. Does 2/23 = k?
False
Let f(z) = -8*z**2 - 3*z**2 + 13*z**2 + 1. Let s be f(-2). Let x be s/(-6)*2/(-3). Which is smaller: -1/4 or x?
-1/4
Let y = 31845497/112 - 284322. Let q = y + -90/7. Let i = -211 - -210. Which is bigger: i or q?
q
Let m(b) = b**3 + 12*b**2 + 12*b - 5. Suppose -4*z + 33 = -3*t - 2*z, 2*t - 3*z = -22. Let y