527. Let w = -96/649 + 2/11. Which is greater: w or f?
w
Suppose 0 = 2*s + 4*l + 46, 2*s - l = -2*l - 37. Let z = 15 + s. Let x be (-2 + z)/2 + -11. Is -13 at least x?
True
Let v(y) = 3*y**3 - 4*y**3 + 4*y + 68 - 66 - 3*y**2. Let u be v(-3). Is -11 at most as big as u?
True
Suppose -33 = -3*b + 3*i, -3*b + 7 + 1 = 2*i. Let z be (-204)/(-820) - (b/5 + -1). Is 0 greater than or equal to z?
False
Let m(u) = u**2 - u - 23. Let c be m(0). Let y = c + 25. Is y greater than or equal to 9/7?
True
Let w be (-28)/42 + 308/(-6) - 1. Is -39 smaller than w?
False
Let l be 1 + -6 + (-20624)/(-4124). Which is smaller: l or 1?
l
Let h = -0.86 + 0.8. Let z = 1 - 1.06. Let n = h - z. Is n at most as big as 2?
True
Let d = -146/39 - 12/13. Let a be 4/(1 - (-2 - -4)). Which is smaller: a or d?
d
Suppose 4*q + 125 = 9*q + 5*a, -94 = -4*q - a. Which is bigger: 49 or q?
49
Let g = -654760033/384 - -1705103. Let p = 1/384 + g. Suppose 6*i = 9*i + 3. Which is smaller: p or i?
p
Let f(n) = 12*n + 6. Let i be f(-3). Is i bigger than -30?
False
Let q = 0 + -9. Let z = -11 - q. Which is bigger: 8 or z?
8
Let q = 35.92 - 34. Let s = q - -0.08. Let m = -2.94 - 0.06. Which is smaller: m or s?
m
Suppose 1 = -14*h - 13. Is h greater than 3?
False
Let n = 6 - 10. Let l be (-1)/(1 - (-2 - n)). Let c be 9/(-2) + 2 + 3. Which is smaller: c or l?
c
Let v = 34 + -69. Let o = v - -41. Is -2 not equal to o?
True
Let u be (-5)/3 - 247/39. Let m be 12/(0 - (u/4)/(-2)). Which is smaller: -11 or m?
m
Let j = 770 + -631. Are -2/3 and j nonequal?
True
Let x = 0.0749 - -1550.9251. Which is greater: x or 1?
x
Let u = -8 + 16. Let n = -6.9 + u. Let a = n - -0.9. Is a less than 0.05?
False
Let t be (2/(-5))/((-48)/40). Let c = t - 5/6. Are 3 and c unequal?
True
Let u = 433/20 - 85/4. Which is smaller: u or -4/37?
-4/37
Let o = 414/407 - 68809/48840. Let x = 7/24 + o. Let y be (3 + -5)/(-2 - 0). Are x and y equal?
False
Let u = -1070 + 1050. Do u and -284/15 have different values?
True
Let b = -1.758 - 8.234. Let w = b - 0.068. Let c = w - -0.06. Is 2/3 less than or equal to c?
False
Let p be (-38)/(-72) - (429/(-44))/(-13). Which is greater: -166 or p?
p
Let k be 57/6 + 2/4. Let z(b) = b**3 + 5*b**2 - 9*b - 7. Let n be z(-5). Let x = n - 113/3. Is x at least k?
False
Let a = -23 - -23. Let i = -52 + 36. Let z be (i/102)/((-6)/(-9)). Is z not equal to a?
True
Let q(m) = -m**2 - 8*m. Let k = -125 + 125. Let u be q(k). Is 0.24 at most as big as u?
False
Suppose 1231 = -11*g + 219. Which is greater: -91 or g?
-91
Let p(w) = w - 1. Let k(t) = -3*t - 8. Let n(m) = k(m) + 2*p(m). Let x be n(-6). Suppose 0 = 8*j - 3*j + 10. Is x at most j?
True
Let n(q) = -6*q - 6*q - 2 + 11*q. Let r be n(-5). Let b be 10/(-65)*r*1. Is b at least as big as 1?
False
Let o be (2 + (-194)/96)*3/(-2). Let q(h) = -2*h**2 - 5*h - 6. Let t be q(-4). Let f = t - -19. Is o > f?
False
Let o be (-84)/378 - (745/9)/1. Let h = 83 + o. Is 3/38 smaller than h?
False
Let o(u) = -3*u - 3. Let n be o(-7). Let y = -16 + n. Is y equal to 2?
True
Let m be 10/(-8) + (-1)/(-2). Let f = -1117/231 - -158/33. Is f < m?
False
Let a(k) = 2*k**2 + 31*k + 41. Let v be a(-14). Which is smaller: v or 2/2501?
v
Suppose -20*h = -6*h + 8218. Is -586 bigger than h?
True
Let i be 17/5 + (-24)/(-40). Let t = i - 6. Which is greater: t or -11/4?
t
Let z be 124/6*18/(-20). Suppose -70 = 5*f + 4*m, 2*f - 3*m - 16 = -67. Is z less than or equal to f?
True
Suppose 0 = 76*g - 71*g - 20. Suppose 0 = 56*i - 55*i + g. Let m(u) = -u**3 - u - 1. Let l be m(0). Which is smaller: i or l?
i
Suppose -3*a - 1 = -4. Let w be (-640)/324 + 2/1. Which is bigger: a or w?
a
Suppose 41 = 4*p + 29. Is p greater than or equal to -12?
True
Let x be (-1083)/(-9) - ((-20)/12 + 2). Let r = x - 1319/11. Which is smaller: -2/3 or r?
-2/3
Let p = -1268 - -1270. Are p and 247 nonequal?
True
Let z = 0.2 - 1.2. Let j = 4.1 - -16.9. Let g = j - 20. Is z < g?
True
Suppose -5*k + 47 = -258. Let h = 60 - k. Let u be ((-9)/33)/(1/4). Which is smaller: h or u?
u
Let r = -7.209 + 0.059. Are r and -1/2 equal?
False
Let x = 19 + -11. Let i = -9 + x. Which is greater: i or 2/21?
2/21
Let b(l) = -l**2 + 17*l - 17. Let g be b(16). Is g greater than or equal to -2/353?
False
Let p = 2.37 - 1.37. Is p at most as big as -146?
False
Let r be 18/(-4)*(-28)/(-21). Let z(s) = -5*s - 12. Let b be z(r). Which is greater: 0.1 or b?
b
Let j be (12/(-21))/(8/(-114)). Does j = 9?
False
Suppose -2*p + 348 = 122. Let r = -112 + p. Are -1/78 and r non-equal?
True
Let r = 2/1055 + 12646/7385. Is r at least 1?
True
Let r(f) = -f**3 + 25*f**2 + 4*f - 645. Let w be r(24). Let v = -2670 + 8087/3. Which is smaller: v or w?
v
Let x be (-150)/20*6/(-5). Suppose 0 = 4*v - 2*h - 36, 0*v - h - x = -v. Which is smaller: 11 or v?
v
Let t(o) = o - 4. Let a be t(11). Let g = a - 6. Let b be ((-15)/(-540))/(1/(-2)). Which is greater: g or b?
g
Let o = 1 - -2. Suppose h = -6*d + d + 8, -o*d + 5*h + 16 = 0. Suppose 2*q = -2*w + 4, -3*q + 18 = -0*w - 3*w. Which is greater: d or q?
q
Suppose 2*z + 94 = 3*c, -15 = 6*z - 3*z. Let g be 4 + ((-52)/c - 1). Which is smaller: 1 or g?
1
Suppose -4*n + h - 2*h + 13 = 0, n - h - 2 = 0. Suppose -2*l - 7 + n = 0. Let q = l - -1. Which is greater: q or 1/11?
1/11
Let o be -3 - (86/(-20) + 32/40). Are 1 and o equal?
False
Let h = -1/10769 + -53638/2229183. Let i = h - -841/9108. Which is smaller: i or 1?
i
Suppose 8*c = 5*c + 6. Suppose 0 = -4*x + 3*w - c*w - 9, 18 = 2*x + 4*w. Is x less than -2/23?
True
Let u(s) = -s**3 - 26*s**2 + 155*s - 1. Let n be u(-31). Which is smaller: n or 1/128?
n
Let w be (-2 + (-1)/(-1))*(-61 + 62). Which is smaller: 1/1285 or w?
w
Suppose 5 = 2*y + o - 5, -5*o + 14 = -2*y. Suppose 0 = -3*l + 6*l + y. Is l equal to -7/3?
False
Suppose 0 = -61*u + 50*u - 242. Which is greater: u or -160/7?
u
Suppose -5*h = 5*q - 1715, -q - 4*h + 123 + 208 = 0. Is 345 > q?
False
Let c = 1461/5 - 292. Is c < 2/3?
True
Let o = 1481/19 - 78. Let r = -401 + 400. Which is smaller: r or o?
r
Let v be 13/56 - 4/12*0. Which is bigger: v or 1?
1
Let y(l) = -l**2 - 11*l + 31. Let n be y(-13). Which is greater: n or -1/3?
n
Suppose 7 = 3*k + 4*m, -10*k + m = -7*k + 13. Which is smaller: -39/16 or k?
k
Let o be 9/2*8/12. Suppose -o*i - 2*i - 220 = 0. Which is bigger: i or -43?
-43
Let m = -166.9 + 167. Is m less than or equal to 1/50?
False
Suppose 59 = 11*t + 48*t. Let p be 1 + 24/(-13) + 1. Are p and t unequal?
True
Let i be 72/6 - (-1)/1. Let g = -12 + i. Suppose -2 = l - g. Is l bigger than 1/3?
False
Let r = -1.04 - -1. Let b = -0.64 - -2.6. Let n = r - b. Which is bigger: 2/3 or n?
2/3
Let u = 2 + -1. Let h = -0.4 + -0.4. Let a = -0.79 - h. Are a and u equal?
False
Let m = 44.23 + -0.23. Let v = -41.9 + m. Let p = 2 - v. Is p not equal to 1/2?
True
Let p = 19 + -23. Let s be p + 7/(21/12). Does -1 = s?
False
Suppose 8*q = 4*q - 16. Let h(o) = o + 13. Let s be h(q). Is s < 7?
False
Let v = 357 - 636. Which is smaller: v or -1/2?
v
Let q = 0.077 + 0.423. Let b = 6.5 + q. Is 0 greater than or equal to b?
False
Suppose -16 = 2*c - 3*c. Let u(d) = d**2 - 5*d + 9. Let n be u(6). Is c <= n?
False
Let r = 931/8592 - 3/716. Let q = r - -9/16. Let g = -258 - -255. Is q > g?
True
Let n = 830 + -830.07. Is 0 at most n?
False
Let s(d) = -d**2 + 9*d - 9. Let z be s(7). Suppose 0 = -4*c - 4*l + z*l - 13, l - 1 = c. Let a(x) = x**2 + 4*x - 5. Let f be a(c). Which is bigger: f or -4?
-4
Suppose 4*a + 22*z - 25*z = 15, 0 = 2*a + z + 5. Are 1/15 and a equal?
False
Let s(v) = v**3 + 2*v**2 - 11*v + 6. Let g be s(-5). Suppose 0 = 5*j + 6 + 49. Let u = j - g. Which is smaller: 2 or u?
2
Let p(g) = -5*g**2 - 12*g - 4. Let d be p(-5). Let q = d - -65. Which is bigger: q or -1?
-1
Let d = 327/410 + 1/410. Let c be (-4)/(-6) - 64/78. Is c != d?
True
Let q = -117 - -245/2. Let x = -49 + 247/5. Which is smaller: q or x?
x
Let v be (-28)/70 - (-1)/(8810/3494). Let c = v - -3629/30835. Which is bigger: c or 1?
1
Let q = -178 - -156. Which is greater: 13 or q?
13
Let x(r) = r**3 + 9*r**2 + 2*r + 19. Let g be x(-9). Let m be g/((-4)/6)*-6. Is 11 != m?
True
Let m(g) = -g**2 + 3*g + 4. Let j be m(4). Suppose j = 3*t + t. Suppose t = -6*y + 8*y + 18. Is -9 greater than y?
False
Let a be -3 + (-25526)/40*(-56)/3436. Let z = 1/