6. Let y be 39585/5649 - g/(-2). Which is greater: y or -1?
y
Let a be 2*(3 - -9)*(-6)/(-6). Are -25 and a equal?
False
Suppose 4*b - 4*i - 4 = 0, -6 + 24 = 4*b + 3*i. Let r be 20/(-40) - 34/(-16). Which is bigger: b or r?
b
Let l be 21/(-9) + 2/6. Let r be 568/(l + 6) + -4. Let b = r + -54. Do 83 and b have different values?
True
Let l = 243 - 239. Suppose 2*j + j = -5*x + 17, 0 = -x + l. Is -2/101 != j?
True
Suppose 4*q + 523 = 4*k - 225, 395 = -2*q + 5*k. Which is bigger: q or -170?
-170
Suppose -3*u - 3*a = 1098, -3*u - 4*a - a = 1108. Let v = -362 - u. Are -24 and v nonequal?
True
Suppose v = -4*c + 15, -5 = -2*c - v - 0. Suppose c*h = b - 40, 11 - 49 = 4*h - 2*b. Is -9 equal to h?
False
Let u(f) = f**3 + 5*f**2 + 2*f - 6. Let y be u(-5). Let l = -97 + 106.1. Let n = l - 9. Do n and y have different values?
True
Let z be -5569*(2 + 0 + (-4 - -3)). Let b = -24039/4 - z. Let u = b + 437. Is u < -3?
True
Suppose 8*s + 572 = 12*s. Let r = s - 303/2. Suppose 0*p = p + 10. Is p at least r?
False
Suppose 5*x - 52 = s, -s - 4*x + 37 = 107. Let z = s + 61. Let v be (1*z/(-2))/(4/14). Which is bigger: 3 or v?
3
Let w(r) be the third derivative of -r**5/60 - 5*r**4/24 + 10*r**3/3 + 68*r**2. Let p be w(0). Is 18 != p?
True
Let n(d) = 126*d**3 + 6*d**2 - 13*d + 7. Let y be n(3). Is 3424 at least y?
True
Suppose 45*f = 99*f + 108. Which is greater: 5/18 or f?
5/18
Suppose 84*d - 89*d - z = -14551, -2*z - 5806 = -2*d. Which is greater: d or 2910?
2910
Suppose 5*z + w - 810 = 0, z = w + 201 - 39. Let y = -151 + z. Is 30 < y?
False
Let o = 2383 - 9531/4. Which is bigger: o or -298?
o
Suppose 5*x = -4 + 9. Suppose 34*j + 156 = 86*j. Let z be ((-3)/225)/(1/j). Which is smaller: z or x?
z
Let u be 1 + ((-2011535)/(-15) - 1)/(-90). Let c = -1489 - u. Is c less than -1?
False
Let l = -52 + 54. Let j be (80/4 - -1) + (-6)/l. Let b(q) = -q**3 + 10*q**2 - 7*q + 2. Let y be b(9). Do j and y have the same value?
False
Let t = 89.5323 - -0.0677. Let q = 1.02 - 89.02. Let g = q + t. Is -2/7 < g?
True
Suppose -2*s + z = 21, -188*s - z = -185*s - 6. Let n = 2 + 0. Suppose 3*o = 4*o + n. Which is bigger: s or o?
o
Let c(o) = 18*o**2 + 126*o - 833. Let z be c(6). Which is bigger: 1143/2 or z?
1143/2
Suppose 303*c = 431*c + 34432. Which is smaller: -67 or c?
c
Suppose 2*o + o = -36. Let v be 0/79 - ((-4)/(-8))/((-1)/(-2)). Which is bigger: v or o?
v
Suppose -3*j + 5 = 14. Let u be 3/6*j*2/9. Do -21 and u have different values?
True
Let c(k) = -779*k + 9347. Let n be c(12). Which is greater: 4/5271 or n?
4/5271
Suppose -27*k = -29*k. Let u(z) = 4*z + 100. Let j be u(k). Suppose 2*o - 4*d - j = -2*o, -2 = d. Is 65/3 not equal to o?
True
Let y be 1446/8 + 75/60. Let o = 2367/13 - y. Which is bigger: -1 or o?
o
Let m = -0.323 - -0.585. Let d = m + -0.262. Which is greater: d or -2.45?
d
Let z be -3 - 448/(0 + 4). Let r = z + 114. Which is smaller: 10/59 or r?
r
Let r = -1648/39 - -37748/897. Let g(k) = k**2 - 4*k - 1. Suppose -3*d + 8 = -d. Let s be g(d). Is s equal to r?
False
Let n be ((-11980)/6)/(-5 + 693) + 3. Let z = -6/43 + n. Which is smaller: -0.2 or z?
-0.2
Let u = -160 + 236. Let s = 20639261/274276 + 2/68569. Which is bigger: s or u?
u
Suppose 7*h - 18 = 17. Suppose 68 = 4*f - 4*l - 0*l, -h*f + l = -69. Suppose -9 = -f*x + 4*x. Which is bigger: 0.1 or x?
x
Let x be (-2 + (-2005)/25)/(47/235). Is -401 > x?
True
Let j = 4221652 + -6454905513/1529. Let q = -2/139 - j. Does q = -0.27?
False
Let h = -2301 - -2304. Suppose -6 = 2*v + v. Let u be v/(-28)*(7 - 3). Which is greater: h or u?
h
Let m = -183.2431 + 0.2431. Is 0.1 < m?
False
Let k be -330*((-77)/(-63) - (-32)/(-144)). Which is bigger: k or -332?
k
Let c = -67 - -82. Let g be ((-216)/c)/((-3)/10). Suppose -v = 3*v - 2*d + 202, -d + g = -v. Which is smaller: -51 or v?
v
Suppose z - 2*z - 43 = u, -2*z - u - 90 = 0. Suppose 68 = 5*j - 6*l + 280, 3*l - 83 = 2*j. Is j greater than z?
True
Suppose i = 3*c - 7, 2*i + 0 = -5*c + 8. Let z be 1/(1*(6 - 7)). Let k be (z*c)/((-12)/(-120)). Is -20 > k?
False
Suppose 0 = -5*h - 24 - 736. Let j = 161 + h. Is 19 at most j?
False
Suppose 5*w = 3*s - 6193, -s + 3589 = -4*w - 1364. Is -1238 not equal to w?
False
Let v(i) = -708*i + 3881. Let h be v(-3). Which is greater: 6007 or h?
6007
Let d = -1619279/960 - -259/192. Which is bigger: -1685 or d?
-1685
Let w = -160804 - -187658284/1167. Which is smaller: w or 1?
w
Let y be 0 + (0 - -11*9). Suppose 3*r + 4*d = -5, -9 = -5*r + 2*r + 3*d. Let q be y/27 - r/(-3). Does q = 6?
False
Let g be (44/33*(-36)/220)/(63/690). Which is bigger: g or -1?
-1
Suppose -6 = h + 2*n, 104*n - 46 = 3*h + 103*n. Which is smaller: h or -9/2?
h
Suppose 139*o = 27*o - 138*o + 6129250. Which is smaller: o or 24518?
o
Let b = 53 + -6. Let z be 6/(-22) + (-3186)/(-66). Which is greater: z or b?
z
Let o(c) = -c**3 + 19*c**2 - 67*c - 42. Let m be o(14). Is 20/477 bigger than m?
True
Let j(a) = -a - 25. Let u be j(-21). Let t be (-1)/u + 0 - 40375/(-100). Let m be (-4)/1 + t/100. Is 0 at most as big as m?
True
Let f = -2811 + 2811.2. Suppose -8*x - 9*x + 986 = 0. Which is smaller: f or x?
f
Let p = -0.34 - -0.04. Let m(l) = -3*l - 18. Let w(q) = -q - 6. Let a(g) = 4*m(g) - 11*w(g). Let c be a(-12). Do p and c have different values?
True
Let f be 4 - (0 - -6) - -10. Let w be (f/(-6))/((-11)/(66/(-1404))). Which is smaller: w or 0?
w
Let v = -186.93 - -187. Let n = -248.5 + 249. Is v less than or equal to n?
True
Let r(l) = l**3 + l**2 + 4*l - 4424. Let h be r(0). Let t = h + 92921/21. Is 1 at least t?
True
Let h be -12 + (-442)/(-39) - (-3)/18. Is h smaller than -1?
False
Suppose -1691*b + 1661*b = 18120. Is b <= -606?
False
Let g = -8943 - -10832. Which is bigger: 1890 or g?
1890
Suppose 59*d - 15283 - 588 = 0. Which is greater: 809/3 or d?
809/3
Let p = 0.3 + 62.4. Let t = -5.3 - p. Let b = 70 + t. Which is bigger: b or 3?
3
Let q be ((-4)/46)/((-2 - -5) + (7 - -12)). Which is smaller: q or 0?
q
Let k be (1 - (-170 + -2))/((99/(-45))/(-11)). Which is smaller: 874 or k?
k
Let g = 5760 - 5735. Let q be (-242)/(-10) - (-1)/(-5). Which is bigger: g or q?
g
Let t(o) = -o**2 - 10*o + 15. Let u be t(-9). Suppose -4*z = -2*d - u, -5*d - 48 = -2*d - 2*z. Let f = d + 19. Is f at most 1/13?
False
Let d = -1089 - -834. Which is smaller: 0.07 or d?
d
Let i = 7 + -2. Let c = 1446 - 1444. Suppose -c*g = -i*n, 4*g + 46 = -3*n + 20. Which is bigger: g or 0?
0
Let x be (-26)/(-6) - 80/24. Which is bigger: x or 3/986?
x
Let o(h) = -h - 6. Let a be o(-7). Suppose 0 = 4*k, 2*t + 0*t - 4*k + 920 = 0. Let s be t*5/(-590) + -4. Which is smaller: s or a?
s
Let n = 0.06 + 0.74. Let c = 1.77 + -2.67. Does n = c?
False
Let c = 155 + -35. Let z be c/(-13740)*(-1)/(-1). Is -2 >= z?
False
Let w = 381 + -402. Let r = 3 - 2.9. Which is greater: r or w?
r
Let n be (-22)/(-3201)*(2 + -38). Is -1 <= n?
True
Suppose 10*i - 7*i + 3*b = 27, 0 = 4*i - 5*b. Suppose i*v + 105 = 20. Which is greater: -31/2 or v?
-31/2
Suppose 4*l + 1477 = -5*b, 3*b = -l + 389 - 1278. Which is greater: b or -296?
-296
Let d(p) = p**2 - 213*p + 2599. Let n be d(13). Which is smaller: 10/69 or n?
n
Suppose 49*n = 39*n + 67 - 17. Let l = -3 + 3. Let z = l + -0.2. Is n bigger than z?
True
Let g(s) = -s**3 + 2*s**2 - 92*s - 41. Let l be g(-17). Is 7014 >= l?
True
Let a be ((-148)/1110)/(4/174). Let i(k) = -k**3 - 6*k**2 - 3*k. Let z be i(-5). Let n = -17 - z. Which is greater: n or a?
a
Let l(r) be the third derivative of r**4 - 33*r**3/2 - 4*r**2 + 1. Let c be l(-9). Which is bigger: c or -314?
-314
Let x(v) = -1425*v - 411. Let m be x(-1). Is m != 1014?
False
Let w(z) = z + 37. Let y be w(-4). Let i be (2/2)/(y/(-1551)). Which is greater: -48 or i?
i
Let o = -2 + 3. Suppose 0 = 3*c + 2*b - 15, c = -0*c - 2*b + o. Suppose 0 = -4*p - 4*z - 64, 5*p = -c*z + 4*z - 82. Is -17 less than or equal to p?
True
Suppose -25*z - 53 + 65 = 487. Do -24 and z have different values?
True
Let p = 21339865/2184 - 9771. Which is smaller: -1 or p?
-1
Let m = -49.17 + -79.83. Which is smaller: m or 3.6?
m
Let g = 104 - -44. Let s = -148 + g. Let n = 0.36 + 0.07. Is s at least as big as n?
False
Let n(d) = -d**2 - 1. Let c = 52 + -26. Let s = c + -23. Let x be n(s). Is -3 smaller than x?
False
Let l(g) = -696*g - 1381. Let i be l(-2). Suppo