 - -6)/(-4)). Let u be ((-4 - l)/1)/((-64)/(-832)). Which is bigger: u or -51?
-51
Let t(d) = -4*d + 33. Let b be t(6). Suppose 2*g = -1 - b, f = -g - 99. Let y = f - -1220/13. Is y equal to 1?
False
Let a be (-190)/(-6) + 12/36. Suppose 21*l = a*l - 11. Is l at most as big as 1/20?
False
Let i = 0.421 + -0.374. Let b = 8.7 + -8.647. Let g = b + i. Are -1/30 and g unequal?
True
Let k be ((-46)/(-4))/((-10)/20). Let t = k + 20. Is t smaller than -2?
True
Let s = -41896.737 - -41897. Which is greater: -0.017 or s?
s
Let r(n) = -1941*n + 5255. Let y be r(3). Which is smaller: y or -572?
-572
Let q(c) = c**3 + 6*c**2 + 7*c + 10. Let i be q(-5). Let u = 30.54 - -0.46. Let k = 31.4 - u. Is k > i?
True
Let s = 23 - 40. Let k be (-6)/(-11880)*1240 + 4/(-22). Does k = s?
False
Let b be (-4)/30 - 26/30 - 1. Let o be (2 + 0)/b - (-100)/105. Let s = 31/231 - o. Which is bigger: 0 or s?
s
Let z be 6*3/36*8 + 313. Let r = z + -334. Which is greater: r or -13?
-13
Let d = -468 - -463. Let b be ((-5)/((-75)/65) + d)*-27. Which is smaller: 15 or b?
15
Let o(z) = z**3 + 15*z**2 + 12*z - 30. Let k be o(-14). Let m be ((-49)/28)/(k/(-8)). Let q(y) = y**2 + 5*y - 22. Let h be q(m). Is -8 at most as big as h?
True
Let y be (-560)/224*(-2)/(-196). Is y < 1?
True
Let h = 0 - -1. Let c = 185303 - 12415300/67. Does c = h?
False
Let g = -25.7 + 29.52. Let y = g - 0.82. Which is smaller: y or -3/26?
-3/26
Suppose 702*z - 5*j + 6404 = 706*z, 6*z = 4*j + 9606. Is 1601 smaller than z?
False
Let j(t) = -4*t + 3. Let k be j(0). Suppose 2*n + 4*b = 20, b = -k*b + 16. Let x(w) = 17*w - 95. Let z be x(6). Which is greater: z or n?
z
Let i = -671 - -210. Let o = i + 422. Are 2 and o unequal?
True
Let p(y) = -2*y + 12. Suppose -1 = 5*b - 6. Let a be b + 0 - (-7 + 9 + -6). Let h be p(a). Is 1/2 at most as big as h?
True
Suppose 412*h = 501*h + 1036850. Which is smaller: h or -11649?
h
Let i be (4/6)/(68/930) - (-35 + 40). Is 4 bigger than i?
False
Suppose 2*v - v = 12. Let k(b) = -3*b**2 + 25*b - 43. Let o(q) = 4*q**2 - 37*q + 65. Let n(x) = 7*k(x) + 5*o(x). Let s be n(-11). Is s equal to v?
False
Let j = 2668 - 2651. Which is smaller: 3.1 or j?
3.1
Let j be (-453215)/(-16850) + 2 + -2. Let d = -269/10 + j. Let s = 5399/2359 + d. Which is greater: 1 or s?
s
Let v = -14329 - -71952/5. Let z = -334/5 + v. Let w = z - -71/15. Does 2.2 = w?
False
Let t be (-17 + 20)*((-3)/18)/(3/6). Which is greater: t or 9/400?
9/400
Let v(m) = -m - 6. Let n be v(-5). Let h be (n/(-6))/((-30)/(-96)). Which is bigger: h or 2?
2
Let k(c) = c**2 + 3. Let y be k(-2). Let i(r) = r**3 - 6*r**2 - 8*r + 2. Let g be i(y). Let o be -1*5/10*(-2 - -16). Which is smaller: g or o?
o
Suppose 7*f + 3*c - 37155 = 4*f, -f = 4*c - 12400. Let b = -136088/11 + f. Is 7 >= b?
False
Let m(n) = n**3 - 6*n**2 - 11*n + 19. Let f be m(7). Suppose -2 = -6*g + 10. Suppose 9 + 1 = -g*l. Which is smaller: f or l?
f
Let d = 46.605 + -47.055. Which is greater: d or 149?
149
Suppose 0 = -0*u + 5*u - 5, q = -5*u + 80. Suppose 4*x + q + 117 = 0. Is x != -52?
True
Let f be ((96/15)/1)/(30/950). Which is bigger: 202 or f?
f
Suppose 0 = 4*r + 34*f - 31*f + 6, -f = -4*r + 2. Let v = -18826338669/116 + 162294611. Let z = v + 1412. Is z < r?
True
Let g = 416/21 - -214/3. Is 91 < g?
True
Let o be -1 + (-5 + -1 - -3). Let j = o + 1. Is -4 < j?
True
Suppose 2*n + v = -9, 0 = 45*n - 43*n + 5*v + 13. Let y be (3 + -4)*n/(-1646). Which is smaller: y or 0?
y
Let q(w) = -77*w + 14221. Let o be q(185). Let p = 43 + -70. Is o at most as big as p?
False
Let w = -7/12 + 59/60. Let u = 67 - 67.09. Let a = u + 0.11. Do w and a have the same value?
False
Let i be (-22 + 0/(-1))*(-27 + 2950/110). Which is bigger: i or 145?
145
Let d(y) = 35*y**2 - 49*y - 35. Let h(x) = x + 1. Let j(p) = d(p) + 42*h(p). Let s be j(1). Is 33 not equal to s?
True
Let r(k) = 51*k + 237. Let w be r(-5). Which is greater: w or -426/23?
w
Let d = 276.587 - 108.664. Let s = d + -168. Let q = s - 6.923. Are -1 and q nonequal?
True
Let k be 2*(-5)/(-2) - (-125026)/308. Let f = 411 - k. Are -7 and f nonequal?
True
Let a be (-3)/(-24) + 755010/240. Let f be (-3)/12 - a/88. Suppose -2*l - 81 = -11. Which is smaller: f or l?
f
Let o be (104/130)/((-4)/(-10) + 0). Suppose -o*p = -0*p + q - 225, -2*p + 5*q + 255 = 0. Which is greater: 0.2 or p?
p
Let g = 28 - -47. Let a be (-235)/(-2)*30/g. Suppose 4 = -a*m + 43*m. Which is bigger: -3/32 or m?
-3/32
Let m = -6.169 + 6.269. Let l = 212.322 - 0.322. Is l < m?
False
Suppose 3*r + w = 2*r + 4, -3*w - 6 = 0. Let m be (2/r)/(8/(-24)). Let p be 13/((-2)/1 - m). Is p > -14?
True
Suppose -5348 = -5*c + l - 14992, 3*c = 2*l - 5778. Is c at least as big as -7719/4?
False
Suppose -32682 - 8398 = -65*t. Which is greater: t or 629?
t
Let a = -99326/3 + 33109. Let g = 3 - 3.2. Let n = g - -0.37. Are n and a unequal?
True
Suppose -7 - 22 = -g. Let m = -1/43 - -6326/215. Which is greater: g or m?
m
Let f(p) = -p**3 + 14*p**2 + 13*p + 40. Let i be f(15). Let v be (-14)/i*(-42)/(-147). Which is greater: v or -4/5?
v
Suppose -7*l = 7*l - 12*l. Let q(n) = n**2 + 3*n + 31. Let k be q(l). Suppose 0 = k*d - 39*d + 176. Is d greater than 0?
True
Suppose -315*d = -312*d - 3*i + 21, -6*d + 14 = 2*i. Is 3768 bigger than d?
True
Suppose 51*f = 10*f. Let t be f + -8 + -584 + -4. Are -596 and t equal?
True
Let n = -0.1 + 0.1. Let r = 381 + -380.703. Let f = r - 0.254. Which is smaller: n or f?
n
Suppose 0 = c + 4*f + 4, f = 3*c - 2*c - 1. Let u = 201 + -5217/26. Does c = u?
False
Let s = -3 - 2. Let x(j) = -j - 3. Let o be x(s). Let t be 15/(-63 - -18)*15. Which is greater: o or t?
o
Let i = -2.4 - -40.4. Let s = 2434 - 2434.3. Is s < i?
True
Let r be (-3772)/(-207) - 4/18. Suppose r*v - 275 = -5*k + 17*v, 3*k + 4*v = 182. Is 52 equal to k?
False
Suppose 22*j = -19*j. Suppose j = -29*p - 19*p + 528. Which is smaller: 26 or p?
p
Suppose -2*c = c. Suppose 3 = 2*y + 2*t + 9, 2*t + 12 = y. Suppose c*d = 3*d - y*s - 17, 4*d - 2*s - 22 = 0. Is 5 bigger than d?
False
Let o(q) = 3*q**2 - 42*q + 1. Let m be o(14). Let d(c) = 89*c**3 + 3*c**2 + 3*c - 6. Let w be d(m). Is 89 at least w?
True
Suppose a + 6581 = -4*o - 0*a, -6556 = 4*o - 4*a. Let b be ((-7)/(-21))/(4/o). Is -136 > b?
True
Let t = 28969/155 - -865/31. Let c = -215 + t. Let i be 7*-1*1/(-4). Are i and c nonequal?
True
Let j = -0.02 + -0.1. Let r = j - -0.02. Let k = -34363/15 - -2291. Is r less than k?
True
Let s = -510 + 734. Suppose -2*g = -3*j + 678, 887 = 4*j + 4*g - g. Is s > j?
False
Let s = -0.2 - -0.1. Let a = 0.1 - s. Let c = 6028 + -6027. Is a at most as big as c?
True
Let m = 61/10 + -8/5. Let l = -3128/3 - -1043. Is l >= m?
False
Let r be ((-1422)/(-72) - 19)*8/15681. Which is greater: 0 or r?
r
Let j(o) = -22*o - 572. Let d be j(-29). Let m = -89 + 154. Let x = d - m. Is x < 4/11?
False
Suppose 51*m - 57*m + 36 = 0. Suppose 5*l + x - 13 = 0, 0 = -4*x + m + 6. Suppose s - 5*i = 3 - 26, s = l*i - 11. Is -2 less than s?
False
Let o(t) = 4*t + 15. Let d be o(-3). Let z(l) = l**2 + l - 10. Let x be z(d). Suppose 5 - 9 = -x*k. Do 5/4 and k have the same value?
False
Let o = 2.1 - -18.9. Let d = -0.5183 - 0.0447. Let z = d - -0.463. Is z greater than o?
False
Let d = -5060 + 4745. Is -315 at least d?
True
Let s be -41 + 39 + (-318)/20*(-140)/45. Which is smaller: 46 or s?
46
Suppose 104*c = 138396 + 39132. Is 1706 at least as big as c?
False
Let v be (-10)/(-95) - 80346/133. Let o = -242 - v. Which is smaller: 361 or o?
361
Let x(l) = -49*l**2 + 14*l + 46. Let g be x(-3). Is g at least as big as -440?
True
Suppose 5*w - 8 = 7, -5*t = -w + 8. Let r be (-2)/(-5) + 6/(-150). Is r bigger than t?
True
Suppose 2*k = -c - 70 - 1, -5*c = -4*k - 177. Let v = k + -182. Let b be ((-676)/v + -3)/((-4)/10). Which is smaller: 0 or b?
b
Suppose -2*n + 17 = -3. Let z be (-1*43)/(n/(-20)). Let i = 90 - z. Which is bigger: 33/8 or i?
33/8
Suppose 2*u + 707 = 509. Let i be (-6578)/(-14) + (-1)/(-7). Suppose -5*r = 20 + i. Are r and u nonequal?
True
Let g(y) be the third derivative of -21*y**4/4 - 257*y**3/2 - y**2 + 34*y. Let x be g(-6). Let j(b) = -b**2 + 3*b - 6. Let n be j(5). Which is bigger: x or n?
x
Suppose -705 = 11*k - 6*k. Let t = -115 - k. Suppose 8*x + t = 18. Is -4 less than or equal to x?
True
Let l(g) = g + 1. Le