ppose -5*g = 4*s - 75, 101 = 3*s + g + 31. Which is bigger: k or s?
k
Suppose -4*i + p = 2491, 2*i + 1852 = -i + 4*p. Let k = 225061 - 225686. Is k at least i?
False
Let u(a) = -a**3 - 10*a**2 + 23*a + 62. Let y be u(7). Which is bigger: -611 or y?
y
Let o = 8 - 4. Let y = -197/742 + 4840749/8162. Let h = y + -593. Is h less than o?
True
Let t = -86 + 133. Let u = -499 - -580. Let q = t - u. Is -34 at most q?
True
Let y = -3709 - -2599. Let g = -1599 - y. Is 0 < g?
False
Suppose -10*l = 17284 - 3434. Let k be (9/7 - 1)/(l/(-35)). Which is greater: 1 or k?
1
Let w = -2846 - -2846.2. Is w at least as big as 6/61?
True
Let p(v) = 1130*v - 3396. Let f be p(3). Let i = 8 - 17. Let r = -8 - i. Is r smaller than f?
False
Let o = -18581 + 22456. Is 3875 bigger than o?
False
Let o(y) = -y**2 + 13*y - 24. Suppose -5*i + 2*k + 65 = -1, -k + 45 = 4*i. Let f be o(i). Let s be 2/(4/6) - f/(-6). Does 0.001 = s?
False
Let q be 1 + (-6)/9 + (-17750)/(-75). Let n = -240 + q. Which is greater: n or -0.032?
-0.032
Let z = 77.3 - -22.7. Let t = z - 91.3. Let v = t + -9.5. Is v at most -2/7?
True
Let s = 81.11 - 62.11. Is 51 smaller than s?
False
Let x be 6 - (-99 + 3/27*0). Let q = -203 + 307. Are x and q non-equal?
True
Let f = -181 - -197.2. Let d = 0.36 + 15.64. Let u = f - d. Is u > -0.02?
True
Let f = 2713 - 2714. Which is greater: 7/610 or f?
7/610
Let c = -581544 + 19207816774/33029. Which is smaller: c or 1?
c
Let q be ((-3)/2)/3*0. Let o be ((-282)/(-329))/(0 + 275/10 + 1). Which is bigger: o or q?
o
Let z(u) = -6*u**3 - 2*u**2 + u + 79. Let d be z(0). Which is greater: 84 or d?
84
Suppose -220*y = -215*y - 630. Let t be (-4680)/y - (-8)/(-14). Which is bigger: -38 or t?
t
Let f be ((-1)/(14/4))/(30/(-210)). Let i be -1*4 - (f - 10 - -3). Is i greater than 0.01?
True
Let a = -12216/5 - -2443. Which is smaller: a or -1074?
-1074
Let b = -44925 - -45305. Which is greater: 367 or b?
b
Suppose 311*u = 316*u + 225. Let d be (-120)/(-18)*u/35. Is -9 <= d?
True
Suppose -m = 3*v + 36, 6*m + 112 = 2*m - 4*v. Let l = m + 24. Suppose -y + 72 - 71 = l. Is -1/5 less than y?
True
Let o(q) be the first derivative of -q**4/4 + 13*q**3/3 + 14*q**2 + 27*q + 102. Let y be o(15). Which is bigger: -140 or y?
y
Suppose -2 = 3*d + 22. Let u(s) = -s**2 - 16*s - 10. Let i be u(d). Let p = 1437 - 1437. Which is greater: p or i?
i
Let r(u) = -u**2 - 22*u + 190. Let f be r(-23). Let t = f + -133. Which is greater: t or 35?
35
Let y(b) = b**3 + 3*b**2 - b - 8. Let g be y(-4). Let n(i) = i**2 + 23*i + 65. Let f be n(g). Is f <= 5?
True
Let n = -20854 - -20854. Is n greater than -2/4935?
True
Let o be 218 + (-27)/(-4) + 75/(-100). Let s be ((-10)/476)/((-64)/o). Is s >= 1?
False
Let y be -220*(-2444)/(-78)*3/(-4). Are y and 5170 non-equal?
False
Let t be 1 + 0 - (-6)/14. Let g be 4 - (8 + -4 - 3)*-22. Suppose -3*q - g = -26. Which is smaller: t or q?
q
Let u(f) = 169*f - 14631. Let t be u(0). Is -14631 <= t?
True
Let q(r) = -r**2 - 18*r - 21. Suppose 55 = -6*c - 29. Let u be q(c). Let g = u - 46. Is g smaller than 2?
True
Suppose 42*z - 145 = 41*z + 110. Which is bigger: 259 or z?
259
Suppose 0*r + 3*r + 134 = t, -5*r = -15. Let g = 195 - t. Is g > 53?
False
Let m = 0.0113 + -226.0113. Let b = -226 - m. Which is greater: 1.39 or b?
1.39
Suppose 4*o + 30 = -4*x + 2*o, -2*x = -4*o + 40. Let v be (11/55)/(174/x). Let w be 4/(-8) + 1/2. Which is smaller: w or v?
v
Let g = 0.87 + -0.87. Let b = 0.287 - -27.913. Let d = b - 27. Which is smaller: d or g?
g
Let x = -62 + 60. Let s(m) = 3*m**3 + 5*m**2 + 3. Let f be s(x). Is f at least 2/305?
False
Let i(o) = -o**3 - 41*o**2 - 414*o + 8. Let f be i(-23). Do f and 3/8 have different values?
True
Let m = 12178841/21 + -580077. Let i = -529/4 - m. Do 0 and i have different values?
True
Let l = 579 - 561. Let h(b) = -11*b - 70. Let v be h(-8). Are l and v equal?
True
Let w be ((-806)/78 - -14)/((-33)/(-9)). Is w <= -3/20168?
False
Let n be 11 + (-2300)/120 - 1/(-6). Let i be 165/(-20) - (-2)/4. Is n <= i?
True
Let s be 1 - 3 - 3/((-12)/(-7216)). Let n = s + 23466/13. Suppose -27*k - 16 = 11. Which is bigger: n or k?
n
Suppose 62*v - 6742 = -728. Does v = 89?
False
Let u = 1292.2883 - 1743.261. Let x = 451 + u. Are -1 and x unequal?
True
Let l be 41/((-410)/(-60)) + 176317/17. Let p = 10385 - l. Is 6 at least p?
False
Suppose 15*s - 259 = 101. Let q be (6/(-28))/(126/s). Suppose 5*d = 4*d. Which is smaller: q or d?
q
Let w = -665 + 609. Let q = 55.9 + w. Is q >= -291?
True
Let o(a) = -9*a**2 - 11*a + 9. Let j be o(2). Let f = -51 - j. Which is greater: 13 or f?
13
Let r = -22/13 - -19/13. Let s = -69 - -68. Which is bigger: s or r?
r
Let i = -5482 + 6136. Is 655 smaller than i?
False
Let c = -6.3 + 5. Let u = c - -1.3. Let n = -306 + 304. Is n at most as big as u?
True
Suppose -y + 278 = -4*a - 105, 3*a + 378 = y. Let q = 403 - y. Is q < 45?
True
Let m = 1549 - 1602. Is m bigger than -9?
False
Let y = 147 + -149. Let i be 3/1 - 1036/348. Is y < i?
True
Let b = -32507 - -32499. Are -3034 and b unequal?
True
Let i = 187 - 187.07. Let v = 12.93 - i. Which is smaller: v or 0.1?
0.1
Suppose -44*x + 37*x = 82*x + 19046. Does 4 = x?
False
Let x(a) be the second derivative of -a**5/20 + a**4/12 - 14*a + 3. Let g be x(1). Is g <= -2/21?
False
Let r(p) = -2*p + 34. Let m be r(16). Suppose -3*y = m*y. Suppose -2*d - g - 23 = y, -2*d - 3*g + 5 - 18 = 0. Which is greater: d or -11?
-11
Let k = 1006426243/3021603 + -1/232431. Is k at least 334?
False
Let z(j) = 3*j + 6. Let p(h) = 7*h + 12. Let q(k) = -6*p(k) + 11*z(k). Let r be q(-1). Suppose 0 = -2*m + 4*m - 10. Are r and m equal?
False
Let k = 207 - 198. Let l = 8 + -4. Let n(u) = 2*u**2 - 6*u. Let r be n(l). Which is smaller: k or r?
r
Let d = -1971.7 + 1970.7. Which is smaller: -7963 or d?
-7963
Suppose -5*g + 9 = -2*g, -v + 18 = 2*g. Suppose -2*k = -2*c + 92, 15*c = -2*k + v*c - 107. Which is bigger: k or -51?
k
Let a be 0 - ((-8)/(-12) + (-2139)/9). Suppose x - n - 235 = 0, -15*n = -4*x - 17*n + 958. Is x greater than a?
True
Let o = 129/74 + 1/148. Suppose 2*z - 1 - 11 = -4*c, 3*c + z - 8 = 0. Is c at most o?
False
Let l(y) = y**3 + 4*y**2 + 20*y + 92. Let w be l(-4). Which is bigger: w or 150/13?
w
Suppose -24*z = 2*z + 61360. Which is bigger: -2361 or z?
z
Let z = -226 - -114. Let k = z + 1117/10. Suppose -33*t - 104*t = 0. Which is greater: k or t?
t
Let q be (-3 - -5)/((-5)/(-1))*-30. Let b be -5 - ((-20)/(-5) + q). Which is greater: 19/5 or b?
19/5
Let n = -103613 - -1120160141/10811. Which is smaller: -1 or n?
-1
Let s(m) be the first derivative of -m**3/3 + 9*m**2/2 + 11*m - 2. Let j be s(10). Suppose -15 = 7*q - j. Is q at most as big as -1?
True
Let f = 1400/529 - 6864016/14283. Suppose 4*z + 1066 = -846. Let s = z - f. Is -1 >= s?
False
Suppose 38*s + 516 = -92. Let g be 3/2 + 188/s + 0. Which is greater: g or -10?
-10
Suppose 0 = -n + 3*n - 4. Suppose -n*r + 12 = 4. Let h be r/(-60)*-6*-5. Which is greater: h or -4?
h
Let y = 14 + -3. Let f(n) = n**2 + 10*n - 4. Let z be f(3). Let m be 7/z + (-132)/(-15). Is y < m?
False
Let d be (-1 - -8)/7 + (0 - 1). Suppose 4*z - 6*l + l - 36 = d, -3*l = 12. Let m = -4781 + 52651/11. Which is smaller: m or z?
z
Let k be (-729)/(-99) - (4 - -4*12/16). Let l = -15416/3 - -5182. Let m = l - 43. Which is smaller: k or m?
m
Let q = -379.7 - -388.7. Let k = -29 - -494/17. Is k smaller than q?
True
Let a = 3644.59 + -3618. Let x = a + -0.59. Which is smaller: x or 9?
9
Let o = -3005 - -3048. Which is bigger: -2/15 or o?
o
Let d = -32202 - -32048. Let x(i) = -38*i - 2. Let q be x(4). Are q and d equal?
True
Let o = 1249 + -1359. Do -110 and o have different values?
False
Suppose -5*b = -4*a - a + 55, 3*a + 4*b = 26. Suppose -3*w - 4*x + 44 = -59, a = -5*x. Which is greater: 17 or w?
w
Let o = 828 - 830. Which is greater: 20 or o?
20
Let n = 2673 + -2688. Which is smaller: -0.04 or n?
n
Let v be (-616)/(-165) - -8*1/30. Are 7158 and v nonequal?
True
Let v = -6689/112 + 418/7. Let s be 0/(-1) - (4 + (-35)/5). Suppose -4*n = -d - 11, 11 = d + d + s*n. Is d at least as big as v?
True
Let n = -1.4 - -0.1. Let y = -374/91 - -20/13. Let j = y + 104/35. Which is greater: n or j?
j
Suppose 13 - 8 = 5*t. Let f be (1 - 2) + 3 + -3 + t. Let h = 5.1 - 5.12. Which is smaller