t c = u + -296. Which is greater: c or 140?
140
Let a = 43 - -55. Let k = a - 43. Let s = -72.3 + 72.1. Which is bigger: k or s?
k
Let c = -90 + 83. Let s be 1*(-1 + (c - -5)). Let d be -2*(-12)/18 + s/9. Does d = -25?
False
Suppose -37*a = -34*a - 2*k - 10, -a = 4*k + 20. Which is smaller: a or 248/21?
a
Suppose 4*a + 5*l = 289, 0*a - 2*a + 4*l = -112. Let h = -271/4 + a. Let w be 20/(-40)*0/1. Which is bigger: w or h?
w
Let p = 1288 + -993. Which is smaller: p or 296?
p
Suppose 5*z - 583 = 3*r, r + 0*r + 5*z + 161 = 0. Let s = -204 - r. Let y be ((-9)/2)/(1/4). Is y at most as big as s?
True
Let h = -1375/2 + 364371/530. Let s(d) = d**2 - 6*d - 15. Let c be s(-2). Is h bigger than c?
False
Suppose -312 = -21*z - 564. Let k be 2/6*10/1000*z. Is 0 at most k?
False
Let f = -0.962 + 1.185. Which is greater: 24 or f?
24
Let b(v) = 12*v + 125. Let s be b(16). Let x = 635 - s. Is 1/2 greater than x?
False
Suppose 116*y + 7713 = -203639. Which is greater: y or -1820?
-1820
Suppose -41 = 6*k - 5*f, -15*k - 4*f = -19*k - 32. Which is smaller: k or -23/784?
k
Suppose -163 = -10*c + 14*c - 3*x, -205 = 5*c - 5*x. Let r be -9*(c/18 + -1). Which is bigger: r or 25?
r
Suppose 5*i - 2*l = -6780, -109*i + 108*i - 1379 = -5*l. Are -1356 and i non-equal?
True
Let x = -16899.7 + 16869.7. Let c = 0.01 + -12.01. Is x at most c?
True
Suppose 104 = -0*f + 4*f. Let i(n) be the third derivative of 11*n**4/24 - 26*n**3/3 - 7*n**2 + 4*n. Let l be i(7). Is f <= l?
False
Let t = 17807 - 20977. Is t < -15853/5?
False
Let w = -5579/20 + 279. Suppose -m + 5*t = -4, -2 + 10 = 2*m - t. Suppose -10 = -4*b + 2*x, 2*b - m*x - 6 - 8 = 0. Which is smaller: w or b?
w
Let g(r) = -8*r**2 - 11*r - 23. Let j be g(-3). Let z = -6 + j. Is -68 greater than or equal to z?
True
Let x be (-2)/8 + 272/64. Suppose 0 = x*p - p - 3. Let u be (7/1)/(p - 0). Is 7 equal to u?
True
Let a be (1078/44 - 35)*(-16)/90*-1. Is -4/13 equal to a?
False
Let w = -11/769 - -11579/3076. Is 0.022 bigger than w?
False
Let o = 2158 - 1474. Let p = -736 + o. Let r = 25 + -77/3. Which is smaller: r or p?
p
Let k be 10/200*((-44)/11 - -2339). Let b be 6/(-15) + (-2960)/(-25). Which is greater: b or k?
b
Let l(b) = 81*b - 1781. Let z be l(22). Which is greater: -3/1391 or z?
z
Let j = -103.7 + 117.7. Do -3/25 and j have the same value?
False
Let b(v) = -v - 33. Let l(o) = -o**2 - 7*o. Let x be l(-7). Suppose 2*p + 4*p = x. Let d be b(p). Which is smaller: -34 or d?
-34
Let s(l) = -2*l**3 - 8*l**2 + 51*l + 172. Let o be s(-3). Which is smaller: o or 2/287?
2/287
Let i = -3 - -4. Suppose -5*b = j + 3, 57 = 4*j + 4*b + 53. Is i equal to j?
False
Suppose -24*f + 429 = -46131. Which is smaller: 3879/2 or f?
3879/2
Suppose 412629 = -275*g + 422*g. Is g bigger than 2807?
False
Let x(v) = -3*v**2 - 173*v - 67. Let g be x(-57). Which is greater: g or -0.022?
g
Suppose -3*d - 7 + 61 = 0. Let w be 158/(-712)*d - -4. Which is smaller: w or -1?
-1
Let j be (-2)/(-4) - 1*(-456)/(-16). Suppose c - 3*h - 9 = 0, 4*c - 5*h - 19 = 3. Let o be (c/108)/(j/(-32)). Which is smaller: o or 1?
o
Suppose -3*p + n - 4 = -2, -4*p - n - 12 = 0. Let b be (-84)/3360*p/(-6). Let w(l) = -l + 9. Let u be w(8). Are b and u equal?
False
Suppose -61*b = b + 5580. Let j(o) = -o**2 - 2*o + 8. Let l be j(-11). Which is bigger: b or l?
b
Suppose -89*h = -83*h - 1872. Let z be 2*(-3 + h/102). Which is smaller: z or -1/2?
-1/2
Let v(l) = -1 + 3*l - 10 - 5*l. Let h be v(-15). Suppose -18*a = -17*a - h. Is a at least 20?
False
Let z be ((-2)/116)/(2/12). Let m = -360 - -747. Let f = m - 386. Which is smaller: f or z?
z
Suppose a + 4 = j, 2*j = 3*a - 5*a - 4. Let p be -1*83*(-2 + 3). Let s be 2/(-5) + p/(-220). Which is smaller: s or j?
s
Let g = 4269287/940 - 18167/4. Which is smaller: g or 1?
g
Let g be (-2)/(-1) + 41/1. Let o = g + -43. Let m be (0 + 0 - o)/3. Is m less than or equal to 1/35?
True
Let y(o) = -3*o + 16. Let l be y(4). Suppose l*i + 34 = d, 0 = 5*d - 0*d + 3*i - 216. Let w = d - 58. Which is greater: w or -17?
w
Let o = -401 - -300. Let c = o + 101. Is c smaller than 8/39?
True
Let h be -1 - 117880428/272*-14. Let u = h + -6067863. Let j = u + 489. Is j equal to 0?
False
Let f(y) = 2*y**2 - 8*y - 16. Let b be f(-5). Suppose 5*o - 346 = -4*t - b, -t - o = -67. Let g be 14/(-32) - t/(-168). Is -1 > g?
False
Let p(h) = -49*h**3 - h. Let v be p(-1). Let k(c) = -c**3 + 7*c**2 + 6*c + 8. Let m be k(7). Does v = m?
True
Let w(l) = l**2 + 7*l + 1. Suppose -4*b + 5*h = b + 5, 0 = 3*b + h - 9. Suppose 3*s = -i + 8, 4*i - b*s + 30 = -8. Let k be w(i). Which is smaller: -14/5 or k?
-14/5
Let k be -10*4/(-40)*14. Let g be 3*(-2)/(k - 2)*0. Is -5/23 smaller than g?
True
Let y be 5516/21*((-77)/(-14) + -4). Is y bigger than 396?
False
Let g = -159 + 174.1. Let b = 15 - g. Let x be 126/(-26) + 12/(-78). Is b less than or equal to x?
False
Suppose 636 = 4*t - t. Suppose 5*m = -2*b - t, -3*m - b = 2*b + 129. Let v = 44 + m. Which is smaller: v or 11?
v
Let w = -3493 - -3443. Let i = 46.939 + 0.061. Let g = i + w. Is -3 at most as big as g?
True
Let f be (-18)/(-4) + 14/(-28). Let a be ((-138)/5)/(6/(-30)) - 3. Let v be ((-1580)/a)/f - -3. Is v > 0?
True
Let y(h) = -23*h**3 - h**2 - 3*h - 2. Let q be y(-1). Suppose 29 = 6*o + q. Is 5/9 != o?
True
Let g = 4919 - 4908. Which is greater: 3/10 or g?
g
Let c = 3482/33 - 322/3. Let o = c + 371/198. Is 1 less than or equal to o?
False
Let h(k) = -k**3 - 6*k**2 - 6*k + 11. Let c be 47/(-9) + 2/9. Let u be h(c). Let t be (-3 + 1 - 12)/(u + -15). Which is smaller: t or -3?
t
Suppose 0 = -49*s + 37*s - 31115 - 59089. Is s < -7519?
False
Let k = -151 + 124. Let a be 4*k/36 + 81/26. Let f be (2 - 2)*1/1. Which is bigger: f or a?
a
Let s(r) = 110*r - 1333. Let j be s(12). Is 14 greater than j?
True
Let s = 97.8 + -62. Let r = 35.87 - s. Is 4/7 < r?
False
Let o = -23.65 - -23.75. Which is bigger: o or -313?
o
Let u = -6586 - -6847. Which is smaller: -1/14 or u?
-1/14
Let l = -177 + 208. Suppose -3*m + 2 = -w - l, -5*m = -w - 53. Is m less than 10?
False
Let n = -5.799 + 0.899. Is n > -12?
True
Let d = -7 + 7. Suppose -5*l = d, -6*z + z + 4*l = 0. Suppose -3*o + 5*h - 20 = 0, z*o = -5*o + 3*h - 12. Which is bigger: 1 or o?
1
Let a = -0.23 + 17.23. Is -1/44 less than a?
True
Let z = 386 - 383. Let s(r) be the third derivative of r**4/24 - r**3 - 2*r**2. Let x be s(z). Which is greater: x or -7/4?
-7/4
Let h(t) = t**3 - 7*t**2 - 8*t + 5. Let v be h(8). Suppose v*n = -3*n - 856. Is -108 at least n?
False
Let h = 17943 + -17516. Is 2/7 less than h?
True
Let f(q) = -10*q + 87. Let j be (-8)/6 - 62/(-6). Let k be f(j). Are k and -9/5 unequal?
True
Suppose 42*f = 40*f - 32. Let z be 0 - (-3 - (1 - f)). Let n be (18/8)/((-5)/(z/1)). Is n less than -9?
False
Let j = -3251 - -3233. Is j <= 502?
True
Let j = -11582 - -11910. Which is smaller: 293 or j?
293
Let x = 66.73 - 66. Let q = 3.73 - x. Are 1 and q non-equal?
True
Suppose 6171*p = 6143*p - 475104. Which is smaller: p or 2?
p
Let j = -1358 + 726. Let i = 1265/2 + j. Is -1.53 greater than or equal to i?
False
Let h(z) = z**2 - z. Let l be h(-1). Let c(d) = -d**3 + 24*d**2 + 60*d - 203. Let p be c(26). Suppose l*a + 5 = 2*g - p, 5 = -4*g - a. Is 3 >= g?
True
Let z = -17 - -30. Suppose -z*l + 7 = -10*l - 5*g, 5*l + 2*g = -9. Suppose -r = -3*w + 5*w + 1, 2*r = 4*w - 2. Is l bigger than w?
False
Let d(v) = -2*v + 3. Let n be d(2). Let z be ((-1168)/(-715) - 2) + 4/10. Let x = 9/110 + z. Is n less than or equal to x?
True
Let o = 4 + -100. Let d be (1*-201)/(-5*189/450). Let p = o + d. Is 2 at most as big as p?
False
Suppose -70*p + 129*p - 42822 = -124*p. Is p greater than 15?
True
Let d = 160.2 - 156.9. Let b be (12/(-90))/((-93)/30 - -3). Which is smaller: d or b?
b
Let n = -6304 - -6304. Which is smaller: n or -1/63?
-1/63
Let s be -3 - (-5)/((-10)/(-4)). Let f be (2 - s - 0) + -5. Let r be (-160)/45 + 52/234. Do r and f have different values?
True
Suppose -3*m = -0*m - 12. Let t(p) = 2*p**3 - 10*p**2 + 7*p + 4. Let j be t(m). Let y(u) = -u + 3. Let b be y(5). Is b greater than or equal to j?
False
Suppose -8*m + 3*m = -275. Let i = 137 + -255. Let c be i/490 + 11/m. Is c at least as big as -1?
True
Suppose 155*x - 118*x + 185 = 0. Which is smaller: -231 or x?
-231
Let k(g) = -2*g**2