4/(-213)). Suppose -2*r - 5*a = -14, -4*r - 5*a + 52 = 4. Let i = r - p. Is -1 smaller than i?
True
Suppose -867 = -c - 61*b, -156 = 4*b - 3*b - 170. Let s = -4.03 - -0.03. Let q = s + -2. Which is smaller: q or c?
q
Let a be 411605/(-44312) - (-1)/(-8). Which is smaller: a or -9?
a
Let q be (-104)/(-364) - (-1 - (-2389)/7). Is q bigger than -340?
False
Let g = -270 + 281. Suppose -3 = 8*h - g. Which is bigger: h or -6/437?
h
Let d = 407 - 489. Which is bigger: d or -568/7?
-568/7
Let j be (266/42 - -12)*11. Is 203 greater than j?
True
Let y(s) be the second derivative of -s**4/12 - 5*s**3/6 + s**2/2 + 4*s + 1. Let k be y(-5). Is -1/6 greater than k?
False
Let l = -1.9 + -4.8. Let v = l + 32.7. Is -0.2 at most v?
True
Suppose f + d - 83 = 11, 4*f - 362 = 3*d. Suppose 0 = 8*v - 4*v - f. Suppose -27*z = -16*z - 242. Is v greater than z?
True
Suppose -5*m + 6 - 21 = 0, -u + m + 395 = 0. Suppose -9*t + 2*t = -u. Suppose t = -16*q + 18*q. Are q and 28 non-equal?
False
Suppose 0 = 168*u - 171*u + 3*w + 222, 152 = 2*u + 2*w. Let p = 241 + -167. Is p at most as big as u?
True
Let a(c) = c**3 - 9*c**2 - 8*c + 68. Let p be a(10). Which is smaller: p or 77?
77
Let b = -6226/17 + 366. Suppose -5 = -5*p, 3*f + 2*p - 6 - 8 = 0. Suppose -5*i = -f*i - 3*i. Which is smaller: b or i?
b
Let r(c) = -39*c - 47. Let s(p) = 1. Let f(z) = r(z) + 6*s(z). Let l be f(4). Is -196 equal to l?
False
Let t = 2559 + -2564.991. Let c = 0.009 - t. Let h = -3 + c. Does -20 = h?
False
Let x = 46 - 44. Suppose -65 = 3*j + 4*d + 41, x*j = 3*d - 99. Let p = j - -42. Is p greater than or equal to 2/33?
False
Let v be (6*(-30)/(-45))/14. Which is greater: v or -264.6?
v
Let r = 536 - 249. Let a be 4395/12*(-2 - (-570)/r). Let i = -25/41 + a. Which is bigger: i or -7?
i
Let b = -5.4315 - 133.5685. Let u = 0.5 - -0.5. Which is smaller: u or b?
b
Let v(y) = 5*y + 69. Let s be v(-14). Let a be (-18)/s*(-27)/(-54). Which is greater: a or 17?
17
Suppose 0 = 4*q - 236 - 376. Suppose 0 = -3*i - 3*z + q, -3*i - 3*z = -5*i + 107. Let n = 25 - i. Are n and -28 non-equal?
True
Let i = 121.2956 - -0.5844. Let o = i - 122. Let s = 2/37 + -41/74. Is s greater than or equal to o?
False
Suppose 0 = -2*a - 4*k - 13 - 27, 0 = 5*k + 20. Let m be (-2 + -1)*(120/(-175))/a. Which is smaller: -1 or m?
-1
Let l(y) = -y + 22. Let c(f) = -f + 11. Let t(o) = -5*c(o) + 2*l(o). Let h be t(9). Suppose -373*d + 372*d = -18. Which is greater: h or d?
d
Let j be (-5 - (-4572)/924)*-7. Is -63 > j?
False
Let a(r) = -r**3 - 6*r**2 + 19*r + 30. Let b be a(-8). Is -155 less than or equal to b?
True
Let i = 2533 - 2520. Are i and 0.33 non-equal?
True
Let l(c) = -4*c - 34. Let r be l(-8). Let q be ((2 - 2) + r - -2)/3. Which is smaller: q or -65?
-65
Let m = -118 - -124. Suppose m*g - 31 = 5. Let y be (-2)/g + 5*6/9. Is 4 greater than y?
True
Let h(s) be the second derivative of 7*s**6/360 + s**5/40 + 5*s**4/12 - 10*s. Let m(a) be the third derivative of h(a). Let p be m(-1). Is p at most -10?
True
Let t = 11801558/2171 - 5436. Is t >= -1/2?
True
Suppose -396*r + 21402 - 296622 = 0. Which is smaller: -701 or r?
-701
Let f be (-20)/(-90)*-3 + (-35)/(-3). Let b be 5/75*(f - 6/3). Let s be 4/(-10) - 31/(-65). Which is bigger: s or b?
b
Let r = -1195 + 199. Let q be (r/24)/((-4)/20). Is q less than or equal to 208?
True
Suppose 11*f = 10 + 67. Let d be (-530)/f + -6*3/63. Is -75 at least as big as d?
True
Suppose 32*i = 35*i - 6. Let o be i - (-60)/(-33) - (-13425)/(-330). Which is smaller: o or -42?
-42
Suppose -809 = -39*u - 1219 - 2086. Do -194/3 and u have the same value?
False
Let v(f) = 2*f**2 + 4*f + 1. Suppose 2*q - 2 = 3*n, 3*q + 8 = -5*n + 4*n. Let r be v(n). Is r equal to -1/35?
False
Let o(a) = 288*a - 620. Let v be o(2). Which is greater: v or -39?
-39
Suppose 3*s + 2 = -q, s + 11 = 5*q + 5. Let j(f) = -f**3 - f**2 + f + 2. Suppose 0 = i + 2*i - 0*i. Let l be j(i). Which is greater: l or s?
l
Let n = 13 - 11. Suppose 2*w = -z + 21, -5*z + 51 = 5*w - n*z. Suppose -5*o + 154 = -w*o. Are o and -22 nonequal?
False
Let x = 154/17 + -1211/68. Let g be (-460)/56 + 2/(-7). Let j = x - g. Does 0 = j?
False
Let v be (2/3)/((-1)/(-105)). Let f(w) = 3*w**2 + 64*w - 234. Let c be f(4). Is v at least c?
True
Let i = -171569/70 + 2451. Let w = 31 - 32. Do w and i have the same value?
False
Let h = 47.4 - 47.703. Let c = -0.403 - h. Let f(l) = -l**3 - 3*l**2 + 5*l + 4. Let d be f(-4). Is c at most d?
True
Let t = -442 + 443. Which is smaller: t or 8337?
t
Let i = -27.2 + -49. Let b = i - -67. Let q = 0.2 + b. Are q and 1 equal?
False
Let c = 1549 - 68153/44. Suppose -4*u - 1 = -5*n, 7*n = -5*u + 5*n + 7. Which is greater: c or u?
u
Let p(b) = 5*b**3 - b**2 - 37*b - 36. Let w be p(-1). Is 1975 less than w?
False
Let s be (5 + 91/(-14))/((-2)/(-116)). Let y = -75 - s. Let w be y/(-20)*(1 + -2). Which is smaller: w or 0?
0
Let w = 30/7 + -246/77. Let c = 0.006 - 55.206. Let s = -55 - c. Which is smaller: s or w?
s
Let s(w) = w**2 + 4*w - 3. Let z be s(-8). Suppose 7*r + z = -27. Let h be 2/r + 75/140. Is h >= -0.1?
True
Let p be (1 - -2)/((-6)/(-16)). Suppose -p*y - 44 = -12*y. Suppose -c - 26 = -5*v, 2*c - 2*v = -1 - y. Which is greater: 2 or c?
2
Let c be -151 - -2 - (-3 - -3). Let q = 85 + c. Let h be (-2)/q*(-2 + (-6)/(-2)). Is 1 at most as big as h?
False
Let k(u) = -2*u**3 - 3*u**2 - 2*u + 1. Let n be k(-2). Suppose s + 0*g - 17 = -2*g, -5*g = -4*s + 55. Suppose 34*j + s = 37*j. Is j greater than n?
False
Let m be -1 + 1/(113/110). Let k = -19637 - -19637. Which is bigger: m or k?
k
Let j = -30742 + 30637. Is 0.9 not equal to j?
True
Let v be 245/(-75) + (-11)/(-33). Let f(a) = a - 3. Let d be f(1). Which is smaller: d or v?
v
Let j be 15096/340 - ((-7)/(-5) + -2). Let b be (-3)/j*40/(-8). Which is smaller: b or 98?
b
Suppose 2*u - 2 = -0, 0 = -3*l + 2*u + 4. Let s be (77/(-2))/(-11)*2. Suppose s*j = -2*j. Is j < l?
True
Let b(p) = p**2 - 12*p - 50. Let v be b(-14). Suppose 0 = 2*c + 296 - v. Which is smaller: -2/5 or c?
-2/5
Suppose 44*c - 22582 - 25378 = 0. Is 1096 at most c?
False
Let d = -12252 - -11286. Do 0.07 and d have different values?
True
Let i be (((-160)/(-30))/(-8))/((-888)/(-18)). Which is bigger: 1.31 or i?
1.31
Suppose 0 = -14*g + 10*g - 16*g - 4460. Is g less than -219?
True
Let r be (-2)/(-28)*(725 - -37 - -38). Is 56 < r?
True
Let u be (10/4)/(79/(-1738)). Suppose -5*o = -5*c - 275, 0 = -8*c + 3*c - 5*o - 275. Is c != u?
False
Let f = 10693 - 15048. Which is smaller: f or -1?
f
Suppose 1 = -47*o + 48*o. Let s = 10027 + -1694569/169. Which is smaller: s or o?
s
Let v(k) = -256*k - 1282. Let l be v(-5). Is -0.0426 <= l?
False
Suppose b - 1 = -0. Suppose 204*l - 51 = 184*l + 49. Which is smaller: b or l?
b
Suppose -1295 + 160 - 282 = 109*x. Which is bigger: x or -15?
x
Suppose 23*y = -8 + 77. Let p = 0 - -2. Suppose -11 = f + y*c, -p*f + 3*c - 43 = 2*c. Do f and -19 have different values?
True
Let a = 0.1 - -0.1. Let u = -0.566 + -7.492. Let z = -0.058 - u. Are z and a nonequal?
True
Let y be -7*(-74)/92*-1. Let u = y - -26/23. Let w(o) = o**3 + 12*o**2 + 15*o + 39. Let v be w(-11). Is u at least v?
True
Let r(j) = 8 - 21*j**2 - 3 + 9*j + 22*j**2. Let q be 92/(-16) + 2/(-8). Let t be r(q). Is t != -11?
True
Let k = 0.9695 - -8.6305. Let r = 0.35 - -0.65. Is r > k?
False
Let c = -669 - -400. Let v = c + 286. Which is smaller: v or 2?
2
Let f be 2/87 + (0 - 0). Let q be (-49)/(-21) - (-6)/9. Let g be 4 + (q - 7 - 0). Is f at least as big as g?
True
Let h be (-484)/70 + 4 - -3. Let t(g) = 4*g**2 + 84*g + 4. Let z be t(-21). Suppose 0 = -z*m + 2*c - 10, 0 = 4*m - 5*c + 6 + 13. Which is smaller: m or h?
m
Let m be (-10 - -18)/(258/(-36)). Is -0.1 greater than or equal to m?
True
Let s = -57 + 106. Suppose 434 + 231 = 19*c. Let n = s - c. Are 2/5 and n unequal?
True
Let i = -131109/4 + 33011. Which is smaller: i or -1?
-1
Let g = 2 - 0. Suppose 4*t + 5*u - 11 = 0, -t + g*t = -u + 2. Let d be (0 - 8/6)/(28594/2523). Which is greater: d or t?
d
Let k = -60 - -33. Let i = 0.0818 + -105.1818. Let n = i + 104.1. Which is smaller: k or n?
k
Let v(i) = -i**2 - 25*i + 52. Let j be v(-51). Is -1274 equal to j?
True
Let b be (6/(-21))/(-2 - (-13)/7). Suppose b*t = -t - 5*o - 34, -4*o = 5*t + 48. Let y be (-250)/8 - (6/t)/