3. Suppose 65 + 47 = 8*z. Let h be c(z). Let f = -128 - h. Are f and 6 nonequal?
True
Let z = 268 - 284. Let l = 178 + z. Is 161 smaller than l?
True
Let v be 16 + (-1044)/63 - 3148/126. Let c(q) = q**3 + q**2 - q - 27. Let i be c(0). Which is bigger: i or v?
v
Suppose -1 - 2 = -5*u - 2*k, 5*k - 19 = -u. Let n = 67913/47 + -1445. Is n greater than or equal to u?
True
Suppose c - 110 = -10*c. Let x be (c/2)/60*11. Do 2 and x have the same value?
False
Let k = -107 - -161. Let u be (-3)/(-5)*(-9)/k. Suppose -6*l = 10 - 4. Which is smaller: u or l?
l
Let v(o) = 5*o. Let f be v(16). Let w be f/(-60) + (-2949)/(-2205). Which is smaller: w or 1?
w
Let w be ((-80)/1344*-14)/((-2)/12*-1077). Is w not equal to 1?
True
Let q = 465 - 465.127. Let w = q - -0.327. Are -7.6 and w nonequal?
True
Let v(q) = 14*q**2. Let s be (0 + 6)*7/(-63)*3. Let i be v(s). Let h = 66 - i. Is h less than or equal to 34/3?
True
Let r = -5716 - -5777. Is 63 at most as big as r?
False
Let y(j) = -4*j + 38. Let s be y(10). Let d be (2 + 0)/(s*4/(-12)). Suppose 0 = -d*m - 4*n - 22, 3*n = -8 + 23. Is m >= -14?
True
Let u(n) = -27*n**3 + n**2 + n + 1. Let v be u(-1). Suppose 3*g + 10 = -2*g, -2*q + 2*g = 0. Let h = q + 31. Is v greater than h?
False
Let l = 149/12 - 1985/156. Let r(g) = g - 8. Let a be r(8). Suppose 2*x + 2*x = a. Is x <= l?
False
Let r be (-42260)/(-11340) - 2*2. Let b = r - 1/81. Are 2.5 and b equal?
False
Let h = -8171/649 + 67/59. Which is smaller: -11/10 or h?
h
Let g(r) = r**2 - 17*r + 50. Let b be g(14). Let c be 2 - (18/(-20))/((-3)/b). Is c at least 92?
False
Suppose 11*n + 67100 = -74470. Is -12871 <= n?
True
Suppose -7*u + 5*x - 99 = -9*u, -270 = -5*u - 5*x. Suppose 0 = u*c - 49*c - 8. Which is greater: 13/24 or c?
c
Let d = 83 + -84. Let n = 92.7 - 92.698. Are n and d unequal?
True
Let y be (1 + -6)/((-2)/(-6)). Let x be ((-196)/(-21))/(y/(-9)). Which is smaller: x or 5?
5
Let m be (144/18 + -11)/(((-9)/236)/3). Which is smaller: m or 1409/6?
1409/6
Suppose -58*j - 37062 - 11774 = 0. Which is bigger: j or -839?
-839
Suppose 11*g + 1 = 4*i + 10*g, -i = -3*g + 8. Is i > 3/8395?
True
Let d = 4630 - 7808. Which is smaller: d or 2/5?
d
Let d be ((-5)/(-5) - 2)/((-22)/(-3)). Let i be ((-5)/(-2))/(1/2). Suppose -2*n + n + 5 = i*c, -c + 1 = -5*n. Is d at least as big as c?
False
Let c be (-21)/141*12/1722*-1. Which is greater: 1 or c?
1
Let b be 6/(-27) - (-40)/18. Suppose 2*q + b*s = -20, 4*q = q + 3*s. Let t be (16/10)/((-2)/q). Is t >= 1?
True
Let h(u) = 4*u**2 - u. Let c be h(1). Let v = -24994 - -24998. Which is smaller: v or c?
c
Suppose 4*a - 3*s - 2*s = 169, -a + 3*s = -51. Let x = -96 + a. Let c = 26 + x. Which is greater: -1 or c?
-1
Let d = 182 + -1328. Which is bigger: d or -1?
-1
Let b be 1 + 8 + (-13)/(104/64). Which is bigger: -13/2258 or b?
b
Let w be ((-120)/45 - -5)/((-278)/(-138) + -2). Is 163 greater than w?
True
Let c = 11 - -4. Suppose -25*h - 85 - c = 0. Which is greater: h or 20?
20
Let z = 31 + -20. Let f = -97574/9147 - -2/3049. Let q = f + z. Which is bigger: q or -3.6?
q
Let g(i) be the third derivative of -i**5/120 + 2*i**4/3 - 29*i**3/6 - i**2. Let k(c) be the first derivative of g(c). Let w be k(9). Which is smaller: w or 5?
5
Let s = 21409 + -578015/27. Is s <= 0?
False
Let k = 891 - 65045/73. Let l(u) be the second derivative of -u**5/20 - 5*u**4/12 + u**3 + u**2/2 - 11*u. Let s be l(-6). Which is greater: s or k?
s
Let s be (-34)/119 - (-2414)/119. Is s <= -20?
False
Let c be 1560/(-144690)*(-1 - 38/(-32)). Is c < -1?
False
Let w be ((-3)/9)/((-145)/(-174) + (-1)/2). Which is smaller: w or 13/64?
w
Let o be 3 - 10/2 - -17. Let c be (-21)/o + -1 - 16/(-4). Let l = 7 - 4. Which is bigger: c or l?
l
Let r = 81655/4 + -20619. Which is greater: r or -1/4?
-1/4
Suppose 5*g + 3*b - 6 = 0, -14*b + 2 = -13*b. Which is smaller: g or -1/2014?
-1/2014
Let j be ((1408/(-26))/(-11))/2. Let f be 6/(-12) - 7/(-2). Are j and f unequal?
True
Let d(k) = 148*k + 69. Let m be d(-3). Let i = m - -354. Is i at least as big as -20?
False
Let r = 35329/141284 - 2/35321. Do 30156 and r have different values?
True
Let y = -21387668828093123/62 - -26860646815916227799668137/77865433394. Let i = -62/565973 - y. Let d = i - 1/317. Is 3 greater than d?
True
Let l = -14 + 17. Let r be 268/(-10) + 3/(-15). Which is smaller: r or l?
r
Let j(u) = -7*u + 21. Let n be j(-6). Let r be 3857/n + (-2)/9. Let f = -61 + r. Is 4/39 at least f?
True
Let q = 14 + -32. Let a be 2/q - (-2)/(-3). Suppose -19*d + 15*d + 3*p - 38 = 0, -4*d - 3*p + 22 = 0. Do d and a have the same value?
False
Let n = -3109 - -3062. Let i be 2 + 12/16 + -2. Let m = 1 - i. Is n > m?
False
Let h = -50 + 54. Suppose 3*x = h*a + 15 + 6, 0 = 2*a - 6. Suppose 3*j = 50 - x. Is 15 less than j?
False
Let q = -11.04 + 12.74. Is 0.18 at least q?
False
Let v = 25297 + -13846. Is 11449 <= v?
True
Let x = -3625/13 - -279. Let h = -3.886148 + -0.113852. Which is smaller: x or h?
h
Let p(z) = -z**3 - 8*z**2 + 2*z + 84. Let y be p(-6). Which is greater: 1/4990 or y?
1/4990
Let g be 34/(-12) - (-155)/186. Let w be (g - 5/(-2))/(30/4). Is -1 smaller than w?
True
Let o(j) = -24*j**2 - 84*j - 60. Let a(s) = 5*s**2 + 17*s + 12. Let y(i) = 14*a(i) + 3*o(i). Let h be y(-10). Let u = 31 + h. Is u greater than or equal to -40?
False
Let g = -5.02116 - -0.02116. Is -94 smaller than g?
True
Let i = 1/4553 - -6556309/50083. Which is greater: i or 132?
132
Let l = -27 - -99. Suppose 2*p = -3*g - p + l, -p = 4. Let h = 30 - g. Which is smaller: h or 1/2?
1/2
Suppose 201*l - 39768 + 107103 = 0. Let f(p) = 335*p**3 - p**2 + p + 1. Let u be f(-1). Which is greater: u or l?
l
Let c = -5/4 - -261/212. Suppose 2 - 4 = 2*a. Is c > a?
True
Let y = -4313.9 + 4309. Which is greater: -0.03 or y?
-0.03
Let y = 221 - 120. Suppose -105 = -2*l + 97. Is y > l?
False
Let w = -121044 - -1379901601/11400. Is -1 greater than w?
False
Suppose -115*l + 119*l + a = 0, -4*a = -3*l. Is l at most as big as 8/147?
True
Suppose 4 = -i, 18*v - i - 12 = 14*v. Let t be 4*(246/(-122) + v). Which is greater: t or 1?
1
Let z be (-24)/(-4)*(1 + -2)*-3. Let v(h) = h**2 - 20*h + 36. Let g be v(z). Which is smaller: -5/19 or g?
-5/19
Suppose 35*c + 942337 = -12*c + 292233. Which is greater: c or -13833?
c
Let v be 150/24 - (-1)/(-4). Suppose b - 16 = r + v, -5*r + 130 = 5*b. Let c be (-4)/(-6) - b/(-45). Which is smaller: -2 or c?
-2
Let r(g) = -270*g**3 - 13*g + 271*g**3 + 10 + 14*g**2 - 2*g. Let b be r(-14). Let v be (-48)/b - (-18)/(-30). Is -2 greater than or equal to v?
False
Let x(a) be the third derivative of -7*a**5/60 + 19*a**4/12 + 2*a**3 - 2*a**2 - 33. Let n be x(6). Is -14 at least n?
False
Let u be (3 - 0)/((-11)/(-4) + -2). Let t be 0/((-12)/u - -1). Which is smaller: -1/204 or t?
-1/204
Let l = 6 - 4. Suppose -10*y - 1198 = -1258. Let f be ((-1)/1)/(l/y). Are f and -4 non-equal?
True
Let n(c) = -15*c - 4. Let o be n(-3). Suppose 25 + 7 = 8*q. Suppose -18*d = q*d - 902. Is o bigger than d?
False
Let a = 15741 + -409267/26. Let o = -5 - -10. Let s = -4 + o. Which is smaller: a or s?
a
Let d = -3 - -2. Let j(m) = -m**3 - 12*m**2 - 2*m - 23. Let t be j(-12). Let k be t/(-15)*(-2 + d)*-5. Which is greater: 2/43 or k?
2/43
Let x(c) = -3*c**3 + 33*c**2 - 59*c - 32. Let f be x(8). Are f and 35 non-equal?
True
Suppose -11*a = -7*a - 3*p - 26, -7 = -3*a - 4*p. Suppose k - 5*h = -3*h + 1, -5*k - 5*h = -a. Let l be -1*(8/(-5) + 2). Which is smaller: k or l?
l
Let s = -677.875 + 678. Let x = -11.125 + s. Is 13 < x?
False
Suppose 9 = 3*s, -2*g + 5*s + 41 = -0*s. Suppose -85*k - 4172 = 33*k + 31*k. Let v = k + g. Is v less than or equal to 12/5?
True
Suppose -64*t - 91 = -57*t. Let v(s) = 19*s + 278. Let l be v(t). Is 159/5 at least l?
True
Let h(s) = s**3 - 4*s**2 + 2*s - 7. Let z(o) = -3*o - 19. Let l be z(19). Let c = -72 - l. Let p be h(c). Is 64 <= p?
False
Suppose -4*j - 14 + 6 = 0. Let h be ((-32)/(-12) + -6)/(j/6). Is 5 less than or equal to h?
True
Let n = 8296 - 7931. Which is greater: n or 366?
366
Let y be 29*(-1)/18*4. Let k = y - -308/45. Are k and -32 unequal?
True
Suppose -3*f = u + 190 + 191, 3*u - 2*f = -1209. Let q be 2 + -4 + -395 + -1. Are u and q unequal?
True
Suppose -138*c = -77*c + 13481. Which is bigger: -887/4 or c?
c
Let z = -126.