270. Which is greater: -2 or o?
o
Let w(i) = -4*i + 32. Let d be w(13). Let f be ((-8)/d)/((-1)/(-10)). Suppose -2*m = 4*k + k + 5, -3*m - f*k = 4. Which is smaller: 2/25 or m?
m
Let y(k) = -87*k**3 - 2*k**2 + 8*k - 15. Let i be y(3). Which is smaller: i or -1?
i
Let a = 0.5 - 0.6. Let b = -21/706 + 11485/6354. Which is greater: b or a?
b
Let y(z) = -10*z**2 + 13*z + 27. Let s be y(-12). Which is greater: -1567 or s?
-1567
Let j = -103868.8 + 103869. Let v = -0.015 + 84.015. Which is bigger: j or v?
v
Let g(m) = -6*m - 8 + 37 + 50. Let h be g(11). Suppose 0 = 4*z - 72 + 20. Is h > z?
False
Let j(w) = -2*w**3 - 2*w**2 + 18*w - 184. Let q be j(8). Which is greater: -8336/7 or q?
-8336/7
Suppose 0 = -14*c - 6682 + 1446. Are c and -374 equal?
True
Let c(k) = 51*k + 494. Let n be c(-45). Which is greater: -1802 or n?
n
Let h be (42/(-10) - -3)/(84/200). Let u = 9 + -11. Is u bigger than h?
True
Let z = 24 + 15. Suppose -36 = -c - z. Let v be (-1344)/268 - 15/c. Is -1 at least as big as v?
False
Suppose -5*o + 3*n = 12, -3*o + 3*n = -2*n + 20. Which is bigger: o or 62/5?
62/5
Let w = 28 + -29. Do w and -372 have the same value?
False
Let a = 27 - 15. Let q = 170 + -171.96. Let z = 1.66 + q. Is a equal to z?
False
Let i(p) = 13*p - 37. Let y be i(3). Suppose 5 = 5*w - 85. Let t be 2*5*w/255. Is y > t?
True
Suppose -t = -4*n + 50, -5*n - 2*t - t = -54. Suppose -38 = -3*d - 43*q + 44*q, 44 = 3*d - 4*q. Is n <= d?
True
Let i = -2808/23 + 29985/184. Is 42 equal to i?
False
Suppose -4*o = -3*l + 1056, -568*l + 567*l + 264 = -o. Is -265 >= o?
False
Let s(n) = 2*n**3 - 5*n + 3. Let t be s(2). Let k be (-83)/4*t/3 + -3. Which is smaller: -66 or k?
-66
Suppose 0 = 4*z + 20, 4*g + z + 96 = 23. Let i be (-17 - g)*(-1 - 0). Suppose -2*c = 7*c. Are c and i unequal?
False
Let r be 5/(35/34799) - (-2)/(-14). Let o = r + -4984. Are o and -14 unequal?
True
Suppose 16*f = 22*f - 18. Suppose -6*u + 5*u - f*s = -4, -4*u = 5*s - 16. Is 30/7 equal to u?
False
Let g be (-686)/(-1020) + (-2)/3. Let q be 40/160 - 21/(-28). Is q < g?
False
Let g be 1/7*455/(-30)*(-108)/4356. Do g and 0 have different values?
True
Let g = -4424 + 4423. Let s be 2/368 - 0/6. Is s greater than g?
True
Suppose 2 = 4*x - 2*x. Suppose 0 = 2*c + 4*b - b - 44, 4*c = -5*b + 84. Suppose o + 8 = -2*p - o, 5*p - 4*o = c. Are p and x equal?
False
Let y(m) = 2*m - 2. Let p be y(-6). Let l be 10/p - (-8)/(-28). Let u be 5/25 - 3/9. Which is smaller: l or u?
l
Let i be 8/7 + 4721502/(-4145757). Is i != -1?
True
Let o(u) be the first derivative of -3*u**2/2 - 4*u + 1. Let v be o(-5). Let j = 5.12047 - 0.12047. Which is greater: v or j?
v
Let b be (1*(556 + 1))/(-5). Let t be ((-6)/(-1))/((-730)/185 - -4). Let c = b + t. Is -6 at least as big as c?
False
Let w(g) = 2*g - 18. Let z be w(9). Let k be 5/(4140/440788) + 2/(-9). Let h = k - 532. Is h less than z?
False
Let i = -5 - -57. Let n = i + -46. Let d be 29*(-6)/n*(-2 - -1). Is 57/2 smaller than d?
True
Suppose -3*w + 2*u = 116, -3*w - 5*u + 20 - 108 = 0. Let g be (1611/6)/(12/(-32)). Let b be (-2)/12 - (g/(-24) - -7). Which is smaller: w or b?
b
Let j = 12106523/903 - 13407. Which is smaller: j or -1?
-1
Let b(z) = -z**2 - 5*z. Let l be b(-4). Suppose 0 = -l*u + u. Let h be (6/2 + -2 + u)/(-1). Which is greater: h or -6/11?
-6/11
Let a = -3.99 - 0.01. Let c(f) = -f**3 + 27*f**2 + 43*f + 435. Let i be c(29). Which is smaller: i or a?
a
Suppose -2*l - 115 + 93 = 82. Suppose -3*p - 127 = 32. Is l not equal to p?
True
Let l = -41.4 - -217.4. Let t = -173 + l. Which is smaller: t or -16?
-16
Let x(h) = h + 111. Let z be x(-30). Let u be -3 + (-270)/z*(-198)/(-10). Which is smaller: u or -68?
u
Suppose 34*i + 1620 = -11*i. Let r be 8/i + -2*519/(-2970). Which is smaller: r or 0?
0
Let t = -87856969/161 - -545699. Which is bigger: t or 4?
4
Let v = 12723 + -12724. Which is smaller: v or -1/8376?
v
Let q = -1692/11 + 152. Let r(p) = -p + 31. Let g be r(-10). Let c = g + -43. Which is greater: c or q?
q
Let w(u) = -2*u**3 - 9*u**2 + 5*u - 1. Let c be w(-5). Let q = -2/185 + 36/37555. Does c = q?
False
Let k be (-7)/((-7)/(-10))*1/(-2). Suppose -106 = -2*i - k*w, -2*i - 3*w = -34 - 72. Let y = 55 - i. Is y equal to 4?
False
Let a = -100.23 - -100. Let q = -26.77 + a. Let h = 1384/7 - 198. Which is smaller: h or q?
q
Suppose -45 + 32 = -4*x + 3*y, 0 = 3*x + y. Is 18/1829 greater than or equal to x?
False
Suppose 192*k + 14301 = 3*c + 195*k, -23849 = -5*c + 2*k. Do c and 4769 have different values?
False
Suppose 5 + 10 = -3*j. Let k be 26/j*(-10)/4. Let o be 0*(-1 - 1)/(k + -9). Is -3/13 less than o?
True
Let k = 1922 - 1924. Let l = 28.08 - 0.08. Is k <= l?
True
Let c = -426 + 427. Let z be ((-4)/5)/((-20)/350*c). Is z at least 19?
False
Let p(k) = 84*k**2 + 2*k - 14*k**3 - 21*k**3 + 32*k**3 + 35. Let u be p(28). Which is smaller: u or 87?
87
Suppose 256 = -7*w - 9*w. Let b be w/160 - 3298/(-180). Do b and 2/3 have the same value?
False
Suppose 2*h + 22*i - 23*i + 4392 = 0, -3*h - 5*i = 6614. Is h not equal to -0.1?
True
Let x be ((-2)/(-10))/(((-52)/(-325))/4). Are -30.8 and x nonequal?
True
Suppose 20 = 17*m - 7*m. Suppose 3*y - 78 = -m*i - 17, -4*y + 2*i + 72 = 0. Which is smaller: y or -2/13?
-2/13
Suppose -2*s - 1 = 2*i + 9, -2*s = -i + 10. Suppose -561 = 7*p + 1112. Which is bigger: i or p?
i
Let r = 0.09 - -0.01. Let c = -0.9 - r. Let n(k) = 4*k - 190. Let a be n(41). Which is smaller: a or c?
a
Suppose 3*f = 2*i - 276, 0 = 3*f + 5*i - 196 + 472. Suppose 0 = 2*q + 179 + 5. Is f bigger than q?
False
Let f = 51 + -83. Let c be (-8)/(-10)*(-720)/f. Which is smaller: c or 17?
17
Let t = 286468/55 + -25868/5. Which is bigger: 35 or t?
35
Let w(p) = p**3 + 11*p**2 - 20*p + 82. Let m be w(-13). Let r(s) = 4*s + 1. Let x be r(-7). Let d be (-6)/x + (-52)/(-9). Which is smaller: m or d?
m
Suppose -5*a + 3*d - 14 = 0, 0*d - 16 = 4*a - 4*d. Let h = -330 + 338. Which is smaller: a or h?
a
Suppose -5 + 71 = -4*f + 5*w, 5*w + 67 = -3*f. Let c = 55 + f. Does 37 = c?
False
Let d = 420 - 630. Let k = -67 - d. Is k < 144?
True
Let f = 17 - 28. Let w(y) = y**3 + 12*y**2 + 11*y - 6. Let j be w(f). Suppose 9 = 3*s, -4*k - 15 = s - 2*s. Which is smaller: k or j?
j
Let l = 2121875914299/108596110 + -33108/209645. Let o = -19539 + l. Is o at most 1?
True
Let w = -8270 + 9281. Is 1016 greater than w?
True
Let s = 1.99 + 14.01. Is s not equal to -134?
True
Suppose -15 = 9*l + 660. Let s = l + 78. Suppose s*n - 4*n - 17 = -3*j, -4*n - 3*j = -7. Which is smaller: n or -1?
n
Let b = 0.55 + 11.45. Let v = b + -10.57. Let i = -2.57 - v. Is -0.02 bigger than i?
True
Let q = -2375 + 4668. Let m = q - 1609. Let i = 97129/142 - m. Is -1 equal to i?
False
Suppose 545*l - 548*l = 6. Let g(a) = 2*a**2 - 2*a - 1. Let h be g(-1). Let n be (3/l)/(h/2). Which is greater: 1/43 or n?
1/43
Let b be ((-1)/(-1)*0)/1. Let g be 2 + b - 2 - -17. Let o(u) = -u**2 + 39*u - 92. Let p be o(36). Is p at least g?
False
Suppose -5*c + 13*c + 4*c = 0. Let z = 9 - c. Are z and -3 unequal?
True
Let w = -645/2 - -5749/18. Let p(d) = -6*d - 30. Let t be p(-7). Suppose -3*u + 2*g - 1 = -2*g, 2*u + 3*g + t = 0. Is u < w?
False
Suppose -4215 = -21*b + 7608. Let k be (1820/15 + 4)*36/8. Which is greater: b or k?
k
Let h = 2250 - 2247. Suppose -7*b + 2*b + 40 = 0. Is h >= b?
False
Let t be (-126)/66 - 4/44. Which is greater: t or -30/13?
t
Let c be (-6)/9 + 24/9. Suppose -21*a + 20*a = -27. Suppose -a*m = -23*m - 4. Which is smaller: m or c?
m
Let u be (2/8)/((-327)/(-1308)). Is u less than -3/179?
False
Suppose 6 = c, -2*b - 20*c = -18*c + 32. Let p(s) = 239*s**2 + 3*s + 1. Let z be p(-2). Let x = z - 2923/3. Which is greater: b or x?
b
Let k be 11/4 + 9/(-12). Suppose l = -k*d - l + 20, 5*d + 4*l = 45. Suppose d = 6*g + 5. Is -49 > g?
False
Let j = 37133 - 37132. Is j bigger than 15/557?
True
Let r = -0.73 + 1.24. Let k = -141 + 141.61. Let h = k - r. Which is smaller: -9 or h?
-9
Let d = -9 + 13. Let c be (10 - 15)/(-30)*76/3. Is c greater than or equal to d?
True
Let i(l) = -l**2 - 11*l + 3. Let r be i(-11). Suppose -r = -4*j + 41. Let u be 0/(-2) - (10 - j). Is -2/13 < u?
True
Let y be (-2)/(-1) + (-7 - -2). Let z be -198 + 1 + -6 - y. Are z and -200 nonequal?
False
Let f be 6/21 - (-60)/35. Suppose -3*s - 81 = 3*h,