90. Which is greater: o or 0?
o
Suppose 3*y - 3*k - 777 = 5*y, -4*k = 5*y + 1925. Is -382 greater than y?
False
Suppose -u = 145 - 144. Let r be u*(-10)/375 + (-6)/9. Which is smaller: r or -2?
-2
Let c(t) = -t**2 - 860*t + 10476. Let d be c(12). Let r = -2899 - -26207/9. Is d at least as big as r?
False
Suppose -24*t + 30 = -19*t, 0 = 4*s - 5*t - 450. Which is smaller: 118 or s?
118
Let d = 4662 + -4802. Which is smaller: -138 or d?
d
Suppose 5*w + 2*d + 3931 = 8*w, -8 = 4*d. Suppose -w = 8*g + 1563. Is -358 > g?
True
Suppose -4*g - 51053 = -4*a - 2045, 2*a + 36801 = -3*g. Is -12263 less than g?
True
Let f be 1109*-2 - (11 - (-18 + 20)). Which is smaller: f or -2230?
-2230
Let u = -5022 - -7947. Is u at least as big as 2925?
True
Let y be -1*4/(-274285)*-5. Let x = y - -69229618/1151997. Let a = x - 381/7. Which is smaller: 6 or a?
a
Let m(z) = 6*z - 8*z + 11*z**2 - 29 - 10*z**2. Let l be m(-4). Suppose -3*h + 1 = 7. Which is bigger: h or l?
h
Let z(y) = -y**3 + 9*y**2 - 7. Let m be z(9). Suppose -5*g + 43 = 8. Suppose g*o + 10 = -4. Is m at least o?
False
Suppose 2*s + 49 = v, 5*v - 34*s = -31*s + 252. Let j = v + -58. Which is bigger: -15 or j?
j
Let t be 54/(-16)*720/10332. Let u = t + -5/41. Is 1 bigger than u?
True
Let r = -11 - -10. Let x be (4/5)/(r/5). Suppose k - 22 = 5*i, 23 = 3*i - 7*i - k. Are i and x equal?
False
Let v be ((-6 - (-1 - 6))/(-5))/((-4)/(-10)). Is v equal to -8012?
False
Let x = -520 - -524. Suppose -u = x*z + 18, 4*u + 11*z + 55 = 12*z. Which is smaller: u or -22?
-22
Let o be (((-240)/(-725))/8)/(2/(-15)). Which is greater: o or 1/5?
1/5
Let d = 0.50623 + 0.04377. Which is smaller: 28 or d?
d
Let a(x) = 37*x + 277. Let i be a(-7). Let j = -16.998 + -0.002. Which is bigger: j or i?
i
Let x = 1 - -26. Let m(s) = s**3 + 5*s**2 + 5*s + 6. Let n be m(-4). Suppose -v - 32 = -n*k + 20, 3*k + 5*v = 91. Is k >= x?
True
Suppose -4*r + 24 = 4*y, -4*r + 1 = -3. Let w be 4/y*(-75)/(-10). Let d be 0/((-9)/(3 - w)). Which is greater: -2/11 or d?
d
Suppose 3*z = -3*b + 51, -6*b + 3 = -3*b. Suppose z*o + 7 = 14*o + 3*i, -2*o - 2*i - 32 = 0. Let x be 20/6*(-1 + -2). Which is smaller: o or x?
o
Let t = 23 - 27. Let h be t - (-2 - -1) - 3. Let a be (-10)/12 - (h - (-100)/15). Which is bigger: 13 or a?
13
Let o(h) = 12*h**3 - h**2 + 1. Let z be o(1). Suppose 0 = k - 85 + 22. Let i = k - 51. Is i greater than z?
False
Let j = -247 - -119. Let v = j + 143. Is v > 0.2?
True
Let q = 179789493639407/13458 + -13359302537. Let a = -2/2243 + q. Which is greater: a or 8?
8
Let a = 169 + -848/5. Suppose 5*s + 13 = -d + 40, 0 = 2*s - 5*d. Suppose -2*z - 3*n - 27 = -32, 4 = -s*z - 2*n. Which is smaller: z or a?
z
Let b(t) = -3*t + 53. Let c be b(7). Let d = c + -27. Let q be -8 - -6 - 2/2. Which is smaller: q or d?
q
Let v be 2673/495 + ((-6)/(-10) - 1). Suppose 3 = -0*l - v*l - x, 5*l - 5*x + 15 = 0. Which is bigger: 4/475 or l?
4/475
Let i = 1389.1 - 1123.1. Is 3/8 < i?
True
Let w(j) = 20*j - 40. Let r be w(2). Suppose r = -4*h - 5 + 1, 2*h = -b - 120. Is b >= -117?
False
Let c(q) = -16*q + 130. Let r be c(8). Suppose -2*m = 2*s + 258, -r*m - 3*s - 41 - 216 = 0. Is -131 greater than or equal to m?
False
Let n = -15254 - -15213. Suppose -3*d - 164 = d. Is n less than or equal to d?
True
Let y = 9.66 + -9.56. Let q(l) = -2*l**2 - 4*l - 4. Let w = 2 - 6. Let k be q(w). Which is greater: k or y?
y
Let p(d) = -3*d**3 + d**2. Suppose 0 = 4*g + 5*r + 24, 5*g - g - 5*r - 16 = 0. Let j be p(g). Let b be j/(-3) + (-8)/(-6). Is b smaller than 4/17?
True
Let o be ((-36)/(-96))/(-1) + 5*597/24. Which is greater: -2/21 or o?
o
Let l be 1 - (-1 - -1 - -4). Let u = -8.74 + 7.6. Let y = 1.08 + u. Is l <= y?
True
Let w = 9542 + -9542. Which is smaller: 0.15019 or w?
w
Suppose 16 = -3*c - 14. Let n = 67 - c. Do n and -0.1 have different values?
True
Let g = 100 + -100. Suppose 4*h - 273 = -5*x, -h + 4*x = x - 64. Suppose 3*u = 4*k + 139, -5*u + h = -2*k - 6*u. Does k = g?
False
Let y = 5.45 + -5.4. Let r = -34.95 - y. Let w = r + 52. Which is smaller: -2/3 or w?
-2/3
Let i = 226 + 440. Suppose 0 = -3*v - 5*j + i, 5*v - 5*j - 236 - 874 = 0. Which is smaller: 221 or v?
221
Let l be ((-18)/(-27))/((-6)/(-27)). Suppose -408 = -27*w - l. Is w equal to 16?
False
Let u = -83/273 + 440/1547. Which is greater: u or 3/52?
3/52
Let t = 21.8 + 12.2. Let l = 34.1 - t. Let d = l - -0.4. Which is greater: -5 or d?
d
Let f be 1135/10885 + (-2)/14. Is 1 less than f?
False
Let d = -970.6 - -970.6. Is d smaller than 9/4?
True
Let f(g) = 50 - 9 - 19 + 55 + 18*g + g**2. Let n be f(-9). Let r = 10 + -7. Is n smaller than r?
True
Let t be 1918/(-9492) + (-1)/(-6). Suppose 2*v = 2*z + 10, 0*z - 6 = -2*z - 2*v. Which is smaller: z or t?
z
Let y(z) = z**2. Let s(u) = 2*u - 96. Let d(t) = -s(t) - 2*y(t). Let m be d(0). Is m smaller than 96?
False
Let w(g) = -g**2 - 9*g + 8. Let o be w(-7). Suppose -5*j + 56*s - 54*s = -36, 4*s + 2 = 3*j. Which is smaller: j or o?
j
Let o(t) = 7*t**2 - 285*t - 460. Let h be o(42). Is h at least -82?
True
Let n = 572 - 569. Suppose 0 = -4*u + y + 65, 4*u - 57 = 5*y + 28. Suppose -3*k = 2*k + 5*r + u, n*k + 5*r = -15. Which is bigger: k or -13/11?
k
Let r(z) = z**3 + 3*z**2 - 2*z - 1. Let o be r(3). Suppose -o = 3*y - 2*y. Let k = 45 + y. Is -28/9 less than or equal to k?
True
Let p = 160991/10 + -16130. Which is smaller: p or -32?
-32
Let c = 226.97 - 228.77. Are -7.59 and c equal?
False
Let x(b) be the third derivative of 7*b**4/24 - 3*b**3/2 - 24*b**2. Let d be x(3). Suppose 2*v + 30 = d. Do -6 and v have the same value?
False
Let a = 305 - 299. Let q be 43/(a - 5 - 2). Is q less than or equal to -43?
True
Let s(u) = -2*u**2 - u - 3. Let x be s(6). Let l = x - -83. Suppose 24 = l*n + 2*c, -3*n = -2*n - 3*c + 4. Is n bigger than -8?
True
Suppose -4*j + 20 = 0, 0 = 4*d - 2*j - 0 - 22. Let m = -62299/48510 - 5/1078. Let i = 55/9 - m. Which is bigger: d or i?
d
Suppose 4*c - 2756 + 2192 = 0. Suppose -1561 = -20*t - c. Which is greater: t or 72?
72
Let o = 43 + 28. Let l = 80095 - 80094. Which is bigger: o or l?
o
Suppose -44*p = -27*p - 1938. Is 118 != p?
True
Let t = 939 + -1049. Let f = 1 + -114. Let l = t - f. Which is smaller: 9 or l?
l
Let g be (-3 + 2)/(2*-37). Let t be (-224)/42 + 1/((-58)/10 - -6). Which is smaller: g or t?
t
Suppose -2*y + 2*i = 6*i - 10, -4*i + 11 = 3*y. Let h be (1908/(-72))/(y/(-8)). Which is smaller: 213 or h?
h
Let a = 2223 - 1238. Which is smaller: a or 0?
0
Let t be 5 - (-20)/15*6/4. Suppose -b = 5*x - 31, t*b - 4*b - 65 = -x. Which is bigger: 2/3 or b?
b
Let h be (4 - 16)*-6*(-62)/(-16). Let k = h + 197. Let y be 9/21 - (-4 - (-1548)/k). Is y greater than or equal to 0?
True
Let c be (114 + -52)*(1 - (3 + -1)). Which is smaller: c or -63?
-63
Let b = 16284 + -16669. Is b less than -13?
True
Suppose -5*y = -5*f + 30, 4*f - 19 = 1. Let m be (15/((-8085)/(-14)))/1. Which is smaller: y or m?
y
Suppose 128*b + 261 = 129*b + 4*t, -5*b - 3*t = -1356. Let r be -204*(-2)/(-3)*-2. Is r at most b?
True
Let m = -140 + 44. Let z = -83 - 14. Let k = z - m. Is 1.5 >= k?
True
Let n = -29 - -28. Which is smaller: 490 or n?
n
Let f be -1 + (-561)/(-44) + -12. Is f less than 34.65?
True
Suppose 636*r - 644*r + 40 = 0. Suppose -a - r*b = 134, -6*a + 9*a + 2*b + 363 = 0. Is -120 > a?
False
Let x = -23 + 41. Let c = 9 - -10. Let b = x - c. Which is smaller: -6/5 or b?
-6/5
Let g be (-28)/98 + 39/182. Is g at least -0.6?
True
Let r = 21 + -18. Suppose -h = -2*w + 105, w = -3*h - 2*h + 47. Suppose -46*g - 48 = -w*g. Is r < g?
True
Let x be (86/(-172))/(0/(-1) + -2). Which is bigger: x or -2686?
x
Let z(x) = -46*x - 320. Let w be z(-7). Suppose 3*l = -w*v + 158, -12*l - 106 = -14*l - 2*v. Are l and 203/4 unequal?
True
Let v = 58457/690 + -853/10. Do -1 and v have the same value?
False
Let x be (20/5 - 2)*(-2)/(-4). Which is greater: x or -4/10461?
x
Let l = -452.6681 + -1.3319. Which is bigger: l or 9?
9
Let y = -70 + 73. Suppose y*z = q + 5, -3*z + q = -2*q - 3. Let k = -26 - -12. Do z and k have different values?
True
Let l(w) = 6*w + 76. Suppose 3*p + 6 = 0, 2*p + 0*p + 46 = 2*u. Let z be l(u). Is 203 < z?
False
Let y = -867 + 53753/62. Suppose 0 = -23*i + 21*i. Suppose 8*s + 4*s = i. Which is bigger: s or y?
s
Let y = 71 - 55. Suppose 0 = 5*n