 4 = 0. Let g = -40 + u. Which is smaller: g or 105?
g
Let c = -54 + 173. Let w(l) = 4*l**2 - 25. Let j be w(6). Is j less than or equal to c?
True
Let l be (-10)/25 + 13/(-5). Let y be l/7 - 190/(-35). Let b = 3 - -1. Which is smaller: b or y?
b
Let b(w) = -w**2 - 17*w - 10. Let y be b(-11). Let m = y - 179/3. Let z = 412 - 415. Which is smaller: z or m?
m
Suppose -5*s = -20 + 5. Suppose -s*z - 2*k - 26 = -3*k, -5*k = -5*z - 50. Let q = 27 + -32. Which is smaller: z or q?
z
Suppose -15*r + 539 = 44. Suppose a = -r + 19. Let m = 657/2 + -342. Which is smaller: m or a?
a
Suppose -1916 = 4*k - 60. Let p be 2/(-16)*-1 - (-90)/k. Suppose -2 + 1 = r. Is r < p?
True
Let n(x) = x + 3. Let q be n(5). Suppose 0 = -4*v - 4, a + 158 = -2*a + 4*v. Let f be a/21 + -1 + 4/7. Which is smaller: f or q?
f
Suppose 306*g = -54*g + 156399 - 376719. Which is smaller: -1221/2 or g?
g
Let r be 9/(-15) - (-85092)/(-280). Which is smaller: -306 or r?
-306
Let t(w) = -532*w - 240. Let p be t(-3). Which is smaller: p or 1353?
1353
Let s(b) = b**3 + b**2 - 2*b. Let q be s(-2). Let o = 48434708152/159 - 304622485. Let v = -1679 - o. Which is smaller: v or q?
q
Suppose 3*s = -4*m - 31, -s + 198 = m + 206. Let w be (-2)/5 + (-19)/(-10). Which is smaller: w or s?
s
Suppose 268*f - 269*f = 60. Is f less than or equal to -57?
True
Let b be (-7570)/60 + -1 + -6. Does b = -132?
False
Let o = 48386 - 145160/3. Let p = 5 + -3.36. Which is smaller: p or o?
o
Let h = 9867 + -9866.9. Is -2.577 less than h?
True
Let y = 1990 - 1976. Is y bigger than 211?
False
Let j(r) be the second derivative of r**5/20 + 5*r**4/12 + r**3 + r**2 - 11*r. Let g be j(-4). Which is greater: 0 or g?
0
Let g be ((-8)/6 - 2/12)*-2. Suppose 3*z + 282 = -3*y, 5*y - g*z + 12 = -450. Which is bigger: -92 or y?
-92
Let a be (-2)/8 + (-113)/(-4). Let k = 31 - a. Suppose k*s - 10*s = -7. Are 1/55 and s unequal?
True
Let n be (408/27)/4 - 4/(-18). Suppose 0 = 3*f + f - n. Do -2.1 and f have the same value?
False
Let i(u) = u**2 + 16*u - 137. Let q be i(6). Suppose 2*z - 6 = r + 4*r, r + 9 = 3*z. Let m be (-6)/4*8/z. Which is smaller: q or m?
q
Suppose -13*y = -17*y + 44. Let k be 6*(-9)/((-594)/201) + -6. Which is smaller: k or y?
y
Let x be (515/(-70))/(21/2436). Which is smaller: -854 or x?
-854
Let s(k) = k**3 - 13*k**2 + 12*k + 7. Let o be s(6). Let z = -174 - o. Which is smaller: 8/21 or z?
z
Suppose -2364 = -34*j + 5864. Let q = j - 2660/11. Is q greater than -103?
True
Let m = 81 + -19. Let k = 65.419 + -0.619. Let w = k - m. Which is smaller: -1 or w?
-1
Let q be ((-6)/3285)/((-60)/(-92265)). Let f = q + -20/219. Which is bigger: f or -2?
-2
Let q = 425/22113 + -2/243. Suppose 44*s = -13*s - 18*s. Which is greater: q or s?
q
Let s = -3374 - -118086/35. Let y = -2 - -8. Let w be 0 - (1 - y/3). Which is bigger: w or s?
w
Let n be 9/(-45) + 832/10. Let x be 6 - (-303597)/3933 - 6/69. Let f = x - n. Which is bigger: f or 1?
1
Let r = 5958.9648 - 5968. Let u = r - -0.0352. Which is greater: -1 or u?
-1
Let z be ((-75)/50)/((-2)/(-8)*2). Let o be 4 - (-1 - (-2)/2). Let a be o*(z + 26/8). Is a at most as big as -1/15?
False
Let u = 47807/43 + -1112. Let t = -788707/30231967 - -4/41357. Let s = t + u. Is s smaller than 0?
True
Let l be 24445/40 + (-28)/224. Which is smaller: 609 or l?
609
Let n = 957844/55665315 + -2/68301. Which is smaller: n or -1?
-1
Suppose 10 = -40*o + 81*o - 31. Let y be 4/(-14) - (-6)/(-56). Which is bigger: o or y?
o
Let j = -40 + 44. Suppose -117 = 2*h - j*t - t, -45 = h + 2*t. Let v be 2/24*-4*156. Which is smaller: h or v?
v
Suppose -22*x + 2534 = 114. Let o = 222 + x. Is o smaller than 332?
False
Suppose 37*f + 47*f = -36*f - 842040. Which is bigger: f or -7016?
-7016
Let w = -148 - -118. Let j be ((-287)/(-35) - 7)/(9/w). Is j > 1/4?
False
Let g = 9841 + -9860. Let z = -2 - -2. Suppose z = 4*y - 6*y - 2. Which is smaller: g or y?
g
Let l(b) = 6*b**2 + 159*b + 361. Let p be l(-25). Suppose 5*i = 407 + 263. Which is greater: p or i?
p
Let u be (-5 + 1)*(-1 + 2). Let l be (-6)/u + 92/(-8). Let z be (1 - 10 - -2) + -3 + 2. Is z > l?
True
Let z(d) = d**2 + 21*d + 5. Let f be z(-25). Let u be (-2)/5 - (-462)/f. Is u at least -9?
True
Let u = 402 + -187. Let h = 204 - u. Is -41 at least as big as h?
False
Let t = -31.7 + 0.7. Let p = t - -28.9. Let y = p - -2. Which is bigger: -0.53 or y?
y
Let s(o) = -4*o + 8. Let f be s(-31). Let w = -123 + f. Let l be -7*(-1)/((-21)/(-36)). Which is greater: l or w?
l
Let f be (1344/(-8) - -4)/(1 + (-14)/6). Is 110 less than or equal to f?
True
Let x be (10/(-9) + 81024/(-48384))*2/3. Let f = -8 - -5. Do f and x have the same value?
False
Let n = 13/68 + 19/68. Let i = -22680 + 114108/5. Let s = -142 + i. Which is smaller: s or n?
s
Let m = -0.134 - -0.034. Let t = -4825 - -4976. Is t greater than or equal to m?
True
Suppose 0 = -2*h - 5*p + 284, 3*h + p = -p + 415. Suppose 0 = 2*d - 173 + h. Let t(x) = 2*x**2 - 34*x - 27. Let m be t(d). Which is greater: 11 or m?
11
Let h(w) = 6*w**2 - 24*w - 43. Let n(p) = p**2 + 1. Let o(a) = -h(a) + 3*n(a). Let q be o(-2). Is q at least as big as -21?
True
Let h = -0.4 + -0.1. Let t = h + 2.5. Let u be 49 + -32 - 665/40. Is u at least t?
False
Let a(f) = -39*f**2 - 17*f + 4. Let t be ((-15)/9)/((-52)/(-24) + -3). Let d be a(t). Is d greater than -187?
True
Let h = 33.7 + -4.7. Let s = -602 + 637. Let q = s - h. Which is greater: q or -2?
q
Let r = 245 + -335. Let u = r + 124. Which is bigger: u or 32?
u
Suppose 10*z - 3*s = 6*z + 15, 3*z - 3*s - 9 = 0. Suppose -181 = z*y + 911. Are y and -184 equal?
False
Let s = 23.641952 - -0.025048. Let p = -0.333 - s. Is 0.07 equal to p?
False
Let f be 0 - (-4)/((-192)/9). Suppose -18*w + 150 = 7*w. Let v be (-1 - -1)/(-1 + 12/w). Is f at most as big as v?
True
Let x be 297/55 - (-2)/(-5). Suppose -10 = -2*k - 2*k + 2*i, 5*k = -x*i + 5. Let y be k*-2 - (-280)/63. Which is smaller: 1 or y?
y
Let a be (-3 + (-2)/1)*-1. Let j be a/((-5)/(-4)) - 4. Suppose j = -22*z + 23*z + 9. Which is greater: z or -8?
-8
Let d = 30.204 - 30.2. Is d >= 0.2?
False
Let y = -4026 + 4165. Do 141 and y have the same value?
False
Let f(t) = -2*t**2 + t + 7. Let p be f(-7). Let i be 11064/(-114) - 34/(-646). Which is bigger: p or i?
i
Let k = -644 + 684.9. Let f = k - 39.9. Which is greater: -1.32 or f?
f
Let j be 4 + -925 - -5 - (3 + 2). Let d be (-12)/(-2) - (-1)/153*j. Let w(o) = -o**3 - 4*o**2 - 3*o + 1. Let g be w(-3). Is d smaller than g?
True
Suppose -4*t + 13 = -17*t. Let m be (-2)/28*-9*(-3705)/(-13). Let s = m - 183. Which is smaller: t or s?
t
Suppose -s = -2*f + 6, -3*f + 2*s + 12 = -s. Suppose f*u + u + 3 = -n, 5*n - 3*u = 3. Suppose -26 = -5*c - m + 4*m, 3*c + m - 24 = n. Which is greater: 1 or c?
c
Let s be (1 - (-13)/(-21))*45/4. Let j = 60 + -56. Suppose -j*v - 2*z = -18, v = -3*v - 3*z + 19. Which is smaller: s or v?
v
Suppose -2*i = 4*q - 332, -2*i = 2*q - 81 - 255. Let h = 221 - i. Which is smaller: 53 or h?
h
Suppose 10*p - 24 = 6*p. Let d(m) = 7*m**2 - 41*m - 7. Let f be d(p). Is f < 3/44?
True
Let i = -0.23 - 68.77. Let k = i + 68.98. Which is smaller: -0.11 or k?
-0.11
Let j = 37271902/3465 + -376728/35. Let v = -20/231 - j. Is v at least 7?
False
Suppose g - 15*g + 56 = 0. Let y be 1*(g - 7) + 20. Which is bigger: 14 or y?
y
Let n(o) = 32*o - 214. Let v be n(-14). Which is greater: 6 or v?
6
Suppose 5*g = -25, -3*g = 4*w - 5*g - 6. Let c = -1239/17 + 73. Which is bigger: c or w?
c
Suppose m - 6 = -5. Let j = 1534 - -1084. Let x = 301068/115 - j. Is x <= m?
True
Let q = -10 - 3. Suppose 5*a + n + 3 = 4*n, 0 = a + n - 1. Suppose a*t = 7*t + 84. Are t and q equal?
False
Let i be (62/93)/((-70)/63) + 2/(-5). Which is smaller: -39/40 or i?
i
Let f(y) = -y**3 + 5*y**2 + 6. Let n be f(6). Let s = 83 - 88. Let h be 5*s + (-44)/11. Which is smaller: n or h?
n
Let k be 2514/1134 + (-54)/729. Let n(l) = l**2 + 5*l + 3. Let g be n(-3). Which is greater: g or k?
k
Suppose -2*m + 21 = 5*m. Let d = m + -1. Let i be (d/(-12))/(6/(-36)). Which is bigger: 2.1 or i?
2.1
Suppose 144*b = 140*b - 16, -3*b = v - 738. Is -2 < v?
True
Let a be 1/((-35)/40) + 1. Suppose -5*d - 3*x = -20 - 7, -x = 4*d - 16. Suppose 43*p = 46*p + d. Which is greater: p or a?
a
Let j = -2101/130 - -123/13. Which is bigger: