-265*i = -267*i + 4*a + 1352, -3*i + 2*a = -2020. Which is greater: 675 or i?
675
Let t = -109 + 114. Suppose -4 + 13 = -n + x, -5*n - 35 = t*x. Let f be (-28)/(-21)*(-9)/n. Which is smaller: f or 6?
f
Let j(l) = 116*l - 57. Let s be j(5). Suppose 5*r - r - 332 = 2*n, -r + s = -3*n. Which is greater: -177 or n?
n
Suppose 3 = h - 5*u + 2*u, 5*u = 0. Let g = -103088181569/2670 - -38609809. Let y = g + -1/445. Are y and h equal?
False
Let h = 0.87 - 0.11. Let d = -0.16 + h. Let l = -2514 - -7543/3. Is d at most l?
False
Let v(n) = -541*n - 140. Let u be v(-3). Is 1488 <= u?
False
Let u = 124.2 + -136. Let z = u + 13.07. Is z <= -0.1?
False
Let s = 16930 + -16930.61. Is 0.024 greater than s?
True
Let m = 822.08475 - 0.08475. Which is bigger: 1 or m?
m
Let l be -3 - ((1240/(-6))/10)/(19/3). Is l smaller than 2?
True
Suppose 4*o + 2*z - 14 = -0*z, -5*o - 3*z + 20 = 0. Let u(r) = -r**2 + 10180*r + 183511. Let x be u(-18). Which is smaller: x or o?
x
Let a be -37*((-4)/9 - (-71700)/(-270)). Suppose -27*k + 6493 + a = 0. Is k greater than 606?
False
Let x = 107.0589 + -0.4589. Let f = 0.09 - -106.91. Let w = f - x. Which is smaller: 0 or w?
0
Let g(z) = 122*z + 3569. Let m be g(-29). Is 44 bigger than m?
True
Let s be (18/8)/((-4)/(-16)). Suppose -s*k - 8 = -13*k. Suppose -4*a = -5*z + 7, -5*a + k*z + 12 = 42. Which is bigger: a or -6?
-6
Let l be (-7)/(77/2) + 138/33. Suppose 0 = -8*y + 9*y - l. Which is greater: y or -72?
y
Let d = 94.022 + -0.022. Let n = d - 88. Is -4/11 < n?
True
Let n = -1.1 - -1.1. Let x = 39.54 + -51.14. Is n >= x?
True
Let m(f) = -673*f - 648. Let d be m(-1). Which is bigger: d or 501/20?
501/20
Let l = 1.98 + -2. Let a = 17 - 74. Let b = a + 57.01. Which is smaller: b or l?
l
Let n = -1501 + 3720. Are n and 2220 unequal?
True
Let h be 50/(-4) - 24/16. Let v = h + 20. Suppose 138 = -9*k + v*k + 3*q, 5*k + 227 = 4*q. Is k greater than or equal to -43?
True
Let l = -44.7 + 2.7. Let h = -46 - l. Let f = 0.265 + -0.155. Is f > h?
True
Let b = 8229 + -7329. Is 902 at least as big as b?
True
Suppose v + 13 = -4*q, 7*v - 2*v - 23 = 2*q. Suppose -3*x = -3*s - 15, 3*x = 262*s - 265*s + 9. Let h be (3 - 279 - 0)*s/v. Which is smaller: 93 or h?
h
Let j = 45.43 - 2.48. Let t = 43 - j. Let b = -0.15 + t. Is -7 at least as big as b?
False
Let x be (-6)/8*(-6)/51. Let c(h) = 12*h**2 + 66*h - 78. Let k be c(1). Which is smaller: k or x?
k
Let u be (0 - 18/8)*(-2048)/(-192). Suppose 3*a = -a. Suppose 46 = -2*j - a*j. Which is greater: u or j?
j
Let d(r) be the second derivative of 7/6*r**3 - 3*r**2 + 1/20*r**5 - 13*r + 0 + 2/3*r**4. Let w be d(-6). Is 26 greater than or equal to w?
True
Let j be 5/(-2290)*(-120)/70. Which is bigger: j or -1?
j
Suppose -5*i - 3*n = 2*n - 285, -151 = -3*i + 2*n. Suppose -58*v = -i*v - 20. Is v at least as big as 16/5?
True
Let g = -0.1813 - 0.6187. Is g at least 69?
False
Let z = 4.6 - 5. Let o = -253021 - -253019. Is z <= o?
False
Let p be 840/16*(4 + 5/((-15)/16)). Is p greater than or equal to -55?
False
Suppose 13*x - 190 = -6*x. Suppose 3*q = 2*j - 9 - x, 2*j + 5*q + 21 = 0. Is j greater than or equal to -9?
True
Let k(d) = d**3 + 5*d**2 + 5*d + 2 - 6*d - 5*d. Suppose 11*b + 2 = -53. Let t be k(b). Which is greater: t or 0?
t
Let t be (-22 - (-9 + 5360)) + (5 + -3)*-1. Is -3 at most as big as t?
False
Let v = -81.7 - -10.7. Let r = 30 + v. Let p = -39 - r. Which is greater: 5/7 or p?
p
Let g be (1/(-4))/((-1)/8565). Let k = g + -2130. Which is smaller: k or 11?
11
Let p be (3 + (8 + -3 + 8)/(-4))/(-1). Is p smaller than 0.7246?
True
Let y(f) = -f**3 - f**2 - 214*f - 1659. Let a be y(-7). Which is greater: a or 805/6?
805/6
Let h = 115 - 114. Let d(q) = -q**2 + 2*q. Let g be d(h). Let z be (1/(-27))/((-49)/(-21)). Which is smaller: g or z?
z
Let c = 88 - 102. Suppose -5*b = -2*o + 58, -5*b = -8*b + 3*o - 33. Which is greater: c or b?
b
Let x(u) = -2*u + 18. Suppose 66 = 9*i - 15. Let l be x(i). Which is smaller: -121 or l?
-121
Let b = 78.092 + -78. Let d = 0.092 - b. Let r = 5 - -2. Which is bigger: d or r?
r
Let w = 209 - 466. Let g be w - ((-3)/(-5) + (-72)/20). Is -255 >= g?
False
Let y(u) be the second derivative of -u**4/12 - 2*u**3 - 5*u**2 - 21*u. Let k be y(-10). Let m be (-21 - -26)*8/k. Which is greater: m or 14?
14
Let m = -3799 + 3800. Is -2/18041 equal to m?
False
Let r be 1698/((-8 - (-3 + 2)) + 9). Is r bigger than 850?
False
Let k be 2*1 - (-8)/(-4). Let m(q) = -q**2 + 9*q - 22. Suppose -5*z + 2 + 18 = 0. Let r be m(z). Is r equal to k?
False
Let l = 87720.151 - 87879. Let x = l + 159. Which is greater: 0 or x?
x
Let q = -20.2 + 13. Let d = q + 1. Let c = d - -2.2. Which is bigger: -1/3 or c?
-1/3
Let b = 21610 + -21650. Which is smaller: 47 or b?
b
Let p be 3/(-12) + (4 - 74/16)*-2. Which is greater: p or 0.01537?
p
Let t(a) = a**3 - 7*a**2 - 124*a + 549. Let w be t(4). Is w smaller than 2077?
True
Let f = 9/6647 - -26076163/13294. Which is smaller: 1963 or f?
f
Let w = 11976 + -11987. Is w less than or equal to -370?
False
Let q = -0.3832 - 0.7168. Which is greater: 8/7 or q?
8/7
Let n = 21599 + -21594. Suppose 0 = w - 4*l - l + 38, w - 2*l + 23 = 0. Let y = -9 - w. Is y bigger than n?
False
Let s(p) = -p**3 + 3*p + 2. Let x be (-30)/80 + 6/16. Suppose -2*a + 3*a = c, x = -c - 4*a - 10. Let b be s(c). Is 0 smaller than b?
True
Let n = 5302/5 - 58262/55. Is -2/59 at least as big as n?
False
Let l = -67 - -69. Let w be ((-448)/60)/(-2) - 3. Let y = w + 3/5. Which is smaller: y or l?
y
Let o be -1 - 9 - 59536/(-5978). Suppose 2*f - s = 165 + 69, -3*f + 351 = 4*s. Let a = f - 817/7. Which is greater: o or a?
a
Let w(v) = 7*v**2 - 1. Let y be w(-2). Let t = -11 + y. Let m be 1/(1 - -5) - (-1313)/78. Is m bigger than t?
True
Let k = 3527 + -3739. Is -217 at least k?
False
Let m = -54.872 - 0.128. Let a = 56 + m. Let t = 10 - 4. Which is smaller: t or a?
a
Let x be (-143)/231 - ((-15)/5)/9. Which is bigger: x or -67?
x
Let f(g) = -4*g - 99. Let d(w) = 2*w + 99. Let i(n) = -7*d(n) - 6*f(n). Let h be i(10). Which is smaller: -20/43 or h?
-20/43
Let p be (30/9)/((-48)/(-864)). Is p < 66?
True
Suppose 5*d - u = 92, 19*u - 66 = -3*d + 16*u. Which is smaller: d or 10?
10
Let u be (48/224 + 24/(-14))/1. Let v = 15 + -13. Let h be v/(-3)*(-9)/(-6). Which is greater: u or h?
h
Suppose 0 = -3*c - w - 529, -3*c - 105 - 419 = -4*w. Let r = c - -173. Suppose -19 = 3*b - 7. Are r and b unequal?
True
Let s(j) = 11*j**3 - 8*j - 8. Let h be s(-1). Let v(d) = -d**2 - 12*d - 10. Let z be v(h). Which is greater: 3/196 or z?
z
Let h be ((-624)/(-60) - 12)/((-12)/15). Which is bigger: 329/3 or h?
329/3
Let s = -0.098 + 45.098. Let f = s - 92. Let m = f + 75. Is m > 1/2?
True
Let s = 27 - 49. Let x = -7 - s. Let k = -14.8 + x. Which is smaller: 0.13 or k?
0.13
Let p = 246.93842 - -1.99058. Let x = p + -249. Which is smaller: x or -1?
-1
Let a be (-1792)/(-12691)*(-2129360614)/(-12). Let o = a + -25055907. Let t = 11/49 - o. Is 0 > t?
False
Let m(j) = -119*j - 1919. Let z be m(-15). Does 13 = z?
False
Suppose -9*z = -18*z - 9*z - 12*z. Is z less than -1/2171?
False
Suppose 4*q - z = -157, 0 = -4*q + 5*z - 2*z - 159. Let r = q + 41. Which is smaller: r or -1?
-1
Suppose 0 = -3*m - 10*m - 117. Let x be ((-48)/54)/((-10)/m*3). Let i = 6 + -5.7. Is i at least as big as x?
True
Let d = -973/12 + 2624/33. Which is greater: d or -3?
d
Let v be -28658*5/(-360) - 2/8. Let k(i) = 16*i**3 + 4*i**2 + 2*i + 5. Let n be k(-3). Let m = n + v. Which is smaller: m or 0?
0
Suppose -39*v + 36*v - 3*q - 9 = 0, -2*q + 1 = -5*v. Which is smaller: -2/113 or v?
v
Let v = 59.6 - 1.6. Let j = -72 - -71.9. Which is bigger: j or v?
v
Let r = 51 + -61. Let l be 63/(-18)*(-9)/(-7)*-2. Let m be l/((-945)/r)*6/2. Which is bigger: m or 1/4?
m
Let f be (-11)/((-22)/10)*2604/(-10). Let x = f - -76820/59. Let d = x - -170/1947. Which is smaller: 0 or d?
0
Let x = 802/27 - 280406/9531. Is -1 equal to x?
False
Let m be (-32)/(-52)*(-11 - (-405)/36). Which is smaller: m or -12/17?
-12/17
Let t = -1485 - -1469. Is -1 >= t?
True
Suppose -1004 + 12360 = -57*n - 3578. Which is bigger: -2095/8 or n?
-2095/8
Let f = -1.24877 - -0.24877. Which is bigger: 17259 or f?
17259
Let f(z) = -29*z - 211. Let w be f(-7). Let i(n) = n**3 - 15*n**2 - 24*n - 18. Let b be i