 41*a**2 + 39*a - 219. Let n be v(-1). Is n less than -87/2?
False
Let d(h) be the third derivative of -h**6/120 - h**5/4 + 7*h**4/12 - 44*h**2. Let x be d(-17). Let r be 2/(-11) - (-7)/(1232/x). Are r and 2 nonequal?
True
Suppose -2*d - 3 = 3*l, -5*l + l - 4 = -2*d. Suppose 0 = 5*n + 12 + 603. Let r = -2215/18 - n. Which is smaller: r or l?
l
Suppose q + 14765 = -3*t, -42*t + 41*t + 11*q - 4865 = 0. Which is smaller: -4918 or t?
t
Let i = -109.92 + 0.92. Let w = i - -97. Which is bigger: 6 or w?
6
Let f be 16/(-64) + (-14)/(-24). Let l = -6 + 6. Suppose -2*k + 0*k = l. Is f equal to k?
False
Let l = -3/37 - -52/185. Let k(a) = a**2 - a + 12. Let i be k(-8). Let y be 36/i*(-2)/(-3). Is l >= y?
False
Let y be 10/(-55) + 62/(-22). Let x be (-9)/(-756)*y/(-2). Let q = 3317 - 3318. Which is greater: x or q?
x
Let b = 45 + -93. Let z = -48 - b. Let p = -9 - -11.5. Do z and p have different values?
True
Let s = 2/25869 + 16868/4889241. Suppose 6*d - 4*d = 0. Is d at least as big as s?
False
Let k = -230 - -232. Suppose 0 = -6*f + 26 + 4, 0 = k*g + 2*f + 350. Is g at most as big as -178?
True
Let m(f) = -3*f - 2*f - 4 + 6*f + 5*f. Let c be m(1). Suppose 5*l = 3*j + j - 15, -j + 3 = -c*l. Which is smaller: 3/25 or l?
3/25
Let m be (-25)/4 + 12/(-16). Let d(u) be the third derivative of -u**4/24 + 5*u**3/6 - 14*u**2. Let a be d(13). Which is smaller: m or a?
a
Let p be 159*(-2 - -1)*34/(-51). Let f = -14 + p. Let c = f - 110. Which is smaller: -19 or c?
-19
Let r = -244 - -245. Which is smaller: 1/6018 or r?
1/6018
Let v be (-9 + (-407)/(-33))*(1739/(-2) + -1). Which is bigger: -2902 or v?
v
Suppose 0 = -0*s + 5*s - 4*g - 100, -s + 4*g = -36. Let a be 512/17 - (-6 + 312/51). Let m be 5*a/(-25) - -21. Is m less than s?
True
Let x = 23564 + -75239848/3193. Which is bigger: 0.1 or x?
0.1
Let y = -3973.9 - -3974. Is y at least -4/605?
True
Let j = 0.19 - 0.05. Let t = j - 0.04. Let o be 0/(0 + 4) + 10/9. Which is bigger: o or t?
o
Suppose 8*l = 2*o + 4*l - 1170, 2899 = 5*o + 3*l. Let i = o + -294565/507. Which is smaller: i or 0?
0
Suppose -5*w = -12 + 2. Let a = 17 + -17. Suppose -v - 1 - 2 = a. Which is greater: v or w?
w
Suppose 0 = 69*g - 24491 + 90179. Is -953 < g?
True
Let l be 6 + (2 - 42)/4. Let k = 4 - l. Is 4 greater than k?
False
Let u be 2067/52*12/9. Is u > 105/2?
True
Suppose 56*j = 39*j - 544. Let g = j - -2. Which is bigger: g or -147/5?
-147/5
Let k(s) = 2*s**2 + 10*s + 14. Let g be k(-3). Suppose g*i - 8 = -2*t, 4*i - 9*i = t - 8. Which is bigger: 617 or i?
617
Let z be 3/(-9)*(5 + 25)*-2. Let g be -60 + 2 - 12/z*5. Is g less than -61?
False
Let h be ((-2)/(-16050))/(264/(-32) + 9). Which is bigger: 1 or h?
1
Let i(a) = 3*a**3 - 13*a**2 + 17*a + 4. Let y be i(6). Suppose -297*k = -y*k. Which is smaller: k or 3/71?
k
Let d(i) = -2*i**2 - 12*i - 8. Let z be d(-5). Suppose -2 = t + 3*j, -z*t - j = -6*t - 60. Let m be (1/((-98)/(-8)))/((-12)/t). Which is smaller: m or 0.1?
m
Suppose -14*h - 13*h - 18 - 36 = 0. Is -138/53 greater than or equal to h?
False
Suppose 2*r = 3*u + 290, -195 = 2*u + 4*r - 7*r. Let o be (-44)/u - (-4)/(-3). Which is smaller: o or -1?
-1
Let z be 9/(63/35)*4/10. Suppose 10 = 4*m - 2*m, -m = z*c + 275. Which is smaller: -142 or c?
-142
Let f(u) = -u**2 - 12*u - 13. Suppose 64 = 7*p + 155. Let w be f(p). Let m be 2 + 76/w + 1. Which is smaller: m or -1?
-1
Suppose 5*g + 737 = 4*d, -1203*d = -g - 1198*d - 139. Which is smaller: -154 or g?
-154
Let m(w) = 4*w**3 + 2*w**2 + 13*w + 1. Let o be m(0). Are 2/463 and o equal?
False
Let p(w) = -w**3 - 11*w**2 - 11*w - 45. Let k be p(-10). Let b be 8/((-192)/18) - k/4. Do 8 and b have the same value?
True
Let o be 10 - -1 - -5*6/9. Which is smaller: -21 or o?
-21
Let s = -66/19 - -25353/7315. Let c = 2/77 + s. Which is smaller: 0 or c?
0
Let a be (50 + -37)/(10387/34). Suppose 0 = 2*w + 3*w - 5. Which is smaller: a or w?
a
Let i be (-3)/(-36)*(-3 - 1)*(-124 + 1). Is 60 at least i?
True
Suppose 0 = 4*f + 35582 - 206. Which is bigger: f or -8843?
-8843
Let b = -23461/4 - -5824. Let r be 1077 - 1105 - (12 - -2). Is r <= b?
True
Let a(p) = -p**3 + 22*p**2 + 21*p + 51. Let u be a(23). Suppose 5*l = u*f - 185, 3*l - 2*f - 76 + 188 = 0. Do l and -38 have the same value?
True
Suppose 102*o = 98*o + 12. Suppose -487*a - o = -490*a. Is a not equal to -5?
True
Suppose 8467 = 5*g - 4343. Let p = g + -12746/5. Is p smaller than 14?
True
Let x = -245 - -228. Which is bigger: x or 247?
247
Let i(l) be the third derivative of l**6/120 - 7*l**5/30 - 2*l**4/3 + 13*l**3/6 + 3*l**2 + 5*l. Let c be i(15). Are c and -6.2 non-equal?
True
Let b = -3/925 - 94317/10175. Let s = 4772/517 + b. Let z = 257 + -256. Is z greater than s?
True
Let t(s) = 15*s - 5*s**2 + 3*s**3 - 18*s**2 - 3*s**2 + 6. Let o be t(8). Is o greater than or equal to 4?
False
Suppose -2*j = 9 - 3, 3*q - j - 3 = 0. Let c be 3 + 7 + 3 - (q + -4). Let h be 19 + (0/2 - 2). Is h at least c?
True
Let n(q) = -3*q + 38. Let g be n(12). Let w be (g/6)/(23/(-69)). Let j = -39 + 36. Are w and j non-equal?
True
Let l(o) = o**2 - 8*o + 3. Let z be l(5). Let h be (5 - 336/18)/(4/z). Which is smaller: h or 42?
h
Let f(b) = b**3 + 70*b**2 - 14*b - 979. Let t be f(-70). Which is bigger: t or -18/95?
t
Let d be (-639 - -635)*((-30)/(-8) + -1). Let a = 19 - 58/3. Is d greater than a?
False
Let m = 1.137 + 0.043. Let a = m + 3.92. Let w be 2/(-1) + -9 - -9. Which is greater: a or w?
a
Let m = 518 - 243. Let j be (-22)/m - 706/550. Which is smaller: 0.2 or j?
j
Let d(m) = -5*m**2 + 3*m - 1. Let c be d(3). Let l = -36 - c. Let s = 5172/17 - 304. Is l at least as big as s?
True
Let y = 338 - 361. Let b = -359/2 - -158. Is y at least b?
False
Let g be (-1)/(75/(-39) - -2). Let v(m) = m**2 + 15*m + 27. Let w be v(g). Is w < 1/451?
False
Let w = 2429 + -2524. Which is bigger: w or -12?
-12
Let c(r) = -3*r**2 + 7*r - 11. Let f be c(2). Suppose -5*z = 20 - 0. Let h = -6 + z. Do h and f have different values?
True
Let i(u) = u**2 - 23*u + 12. Suppose 36*v - 27*v - 180 = 0. Let d be i(v). Let p be d/(-15) + (-1)/5. Are -19 and p nonequal?
True
Let c(i) = -426*i - 1740. Let l be c(-4). Which is smaller: -941/26 or l?
-941/26
Let b be (-5)/15 - 16/6. Let i be 10/65*(-1 + 14). Suppose -3*r - 2*r = -2*d + 92, 0 = 2*r - i*d + 32. Which is bigger: r or b?
b
Let w = 52247.03 + -52247. Let a = -158 + 4583/29. Which is greater: w or a?
a
Let y be (3 - 6 - -2) + -40. Let p = -126 + 128.1. Let f = -2.1 + p. Which is smaller: f or y?
y
Let p = 480 + -292. Let r = p - 106. Let g = r + -82.2. Do g and -34 have the same value?
False
Let b = 42/491 + 24781/117840. Let j = b - 39011/240. Let c = j + 163. Do 0 and c have the same value?
False
Let t be -4*20/(-80)*(-3 + 1). Let r(g) be the first derivative of g**4/2 + 2*g**3/3 + g**2 + 2*g - 2. Let x be r(t). Is -9 <= x?
False
Let b be 27284/246204 - 12/108. Is b at most as big as -1?
False
Let k = -90.2 + 119. Let h = 26.71 + 2.29. Let n = h - k. Which is smaller: -0.7 or n?
-0.7
Let j(r) = 121*r**2 - 1810*r - 43. Let a be j(15). Is 86 != a?
True
Let y = 32 - 26.2. Let s = y - 5. Let r = 0.107144 + -0.307144. Is s < r?
False
Let v = -625647224 + 379142306333/606. Let x = -877/6 + v. Are x and 1 equal?
False
Suppose 9 + 15 = -2*i. Let q = -3 - i. Let x(b) = -b**3 + 49*b**2 - 223*b + 141. Let r be x(44). Is r greater than q?
False
Let u be ((-22)/12*-4)/(68/102). Suppose -m = 4*r + u, -2*m + 1 = -2*r + 3. Which is smaller: 11 or r?
r
Let y = 138277/1490 - 464/5. Is y smaller than 1?
True
Let n = 109/357 + -1/51. Let k(r) = -r**2 - 36*r - 79. Let l(h) = -2. Let b(m) = k(m) - 5*l(m). Let a be b(-34). Is n <= a?
False
Let m(k) = -k + 1. Let i be m(1). Let j be (i - -1)*(-2 + 0). Let a be -1*j*3/6. Do a and 4/15 have the same value?
False
Let l = -15782672 + 142592396/9. Let i = -60774 + l. Let c = i - 154. Is -2/5 greater than c?
True
Let f be (-199546)/(-153) + (2/(-8) - (-2)/72). Is 1306 < f?
False
Suppose 19*f + 586 + 2036 = 0. Let c = -337 - -717. Let r = 242 - c. Is f >= r?
True
Let d = -244 + 245.5. Let o = -1.58 + d. Let z = 0.4 + 0. Which is smaller: z or o?
o
Let b be 16/186*9417/(-2). Suppose -d - 1190 = 2*d - 5*x, -3*d - 4*x - 1235 = 0. Let y = d - b. Is y >= -1?
True
Let d be (-1 - 2)*(-2)/(-135). Let j(k) be the second 