6. Let r = 92 + -80. Let u = h + r. Which is bigger: u or 3?
u
Let d = 12 + -13. Let i be (27/36)/((-2)/(-24)). Let s be -2 + 40/i + -2. Is d <= s?
True
Let t = 12 - 17. Let z = 7.954 - 1.954. Which is smaller: t or z?
t
Let s = 0.029 + -0.031. Let k = s + 0.102. Is k at most 3/31?
False
Let p be (-2)/(-6)*2/(-6). Suppose 23*l = 9*l. Is l at most as big as p?
False
Let x = 1.6 - 2.6. Let u = -3 - x. Let o = 5.7 + -0.7. Is o < u?
False
Suppose 0 = -5*b + 2*b + 12. Suppose -144 = -5*a + 4*j, 28 - 12 = b*j. Let g be a/(-161) - (-2)/7. Which is smaller: 1 or g?
g
Suppose 4*f + 4*t - 3*t = 32, 5*t + 47 = 3*f. Suppose w + f = -s + 4*s, -4*w - 4*s + 12 = 0. Let z be (3/(3*22))/(3/18). Is w greater than z?
False
Let c = 4.12 - 0.12. Let x = c + -12. Let m = x + 2. Which is bigger: -1/3 or m?
-1/3
Let o = -865 - -866. Does o = -1/372?
False
Suppose -2*c = -x - c - 1, c + 7 = 5*x. Suppose x*s = -3*a + 26, 11 = 7*a - 4*a + 5*s. Is a at least 0.2?
True
Let w = 0.42 - 4.48. Let h = -4 - w. Let s = h + -0.04. Is 0.1 equal to s?
False
Let p be ((-12)/4)/(0 - -2). Let i = -17.96 + -0.04. Let t = i - -19. Is t <= p?
False
Let g(t) = t**3 - 2*t**2 - 9*t + 20. Let m be g(3). Which is greater: m or 26/15?
m
Let u = -767 - -766. Let f(s) be the second derivative of -s**5/20 - s**3/3 - s**2/2 + s. Let r be f(u). Which is bigger: 3/4 or r?
r
Suppose 4*v - 77 + 69 = 0. Let k be v + -3 - (-225)/222. Does 1 = k?
False
Let o = 3 - 129. Let t be (-2)/(-6) - 390/o. Is t at most 2?
False
Let g = -14 - -18.7. Let r = g + -4.52. Is 0.2 <= r?
False
Suppose -302*q + 312*q = 0. Does 6/265 = q?
False
Let t = 150 - 150.31. Let f be 16/(-12)*(-1)/(-4). Is t smaller than f?
False
Suppose 0 = -4*f + 2*f + 78. Let z = f - 27. Suppose n - z = 4*n. Is n bigger than -5?
True
Let g be (29/2)/(68/(-136)). Is g greater than or equal to 2/49?
False
Let i(w) = -w**3 + 5*w**2 + 6*w. Let d(g) = g**3 - 7*g**2 - 5*g - 10. Let t be d(7). Let f be (1 - 5)/(30/t). Let j be i(f). Is 12/11 < j?
False
Let a = -2.2 + 2. Let t = -0.198 - 0.502. Which is smaller: t or a?
t
Suppose -143*h + 142*h - 370 = 5*a, 5*a = -5*h - 390. Is 6 greater than or equal to a?
True
Let v be -9 - -11 - 6/2. Let d be (234/(-30))/(66/(-4)). Let w = -3/11 + d. Is v smaller than w?
True
Let h = 24/17 - -3/34. Which is bigger: 0.98 or h?
h
Let b = -4.7 + 4.49. Let d = b - 0.09. Let x = -205 - -201. Which is smaller: d or x?
x
Let c = 377549249 + -10382981898079/27501. Let u = c - -8/309. Which is greater: u or 0?
0
Suppose -4*f - 28 = 4*y, 0 = -y - 2*f + 1 - 11. Let d(z) = -2*z - 28. Let u be d(-14). Let t be u - -3 - (138/14 - 4). Is t not equal to y?
True
Let c = 0.7 + 0.3. Let f = -37 - -36.81. Let r = 0.15 + f. Which is smaller: r or c?
r
Let z be (45/10 + -4)*0. Suppose -2*a - a = z. Which is smaller: a or -3/2?
-3/2
Suppose -d + 6*d = 0. Suppose -3*a + 16 + 5 = d. Suppose a*w = 5*w. Are w and 0 non-equal?
False
Suppose 0 = b - 55*b + 2106. Which is smaller: b or 198/5?
b
Suppose -2*x + 93 = -43. Suppose 2*l - 32 = -x. Let f(i) = i**3 - i + 1. Let v be f(0). Which is smaller: v or l?
l
Let z = -2.03 - -0.03. Let v = 2573.7 - 2704. Let k = v + 130. Which is bigger: z or k?
k
Let c = -1.69 + 2.07. Is -0.8 > c?
False
Suppose -32*i = -28*i - 8. Which is smaller: 225 or i?
i
Let y = 20 - 21. Let d = -4.5 + -0.5. Let h = d + 11. Is h > y?
True
Let z be ((-2)/30)/(2/(-8)). Suppose 6*m + 74 = 68. Which is greater: m or z?
z
Let g = 0.029 + 1.971. Is 16/5 smaller than g?
False
Let t be 28/12 + 4 + -6. Is t bigger than -2/61?
True
Suppose -22 = -3*w - 7. Suppose -36 = -x + w*x. Let t be (-7)/((-147)/x) + 1. Which is greater: t or 0?
t
Let x = -12 - -8. Let g = -26 + 70. Let v = 39 - g. Which is smaller: x or v?
v
Let g = 16.81 - 13.9. Let u = 3 - g. Let v = -0.09 + u. Which is smaller: v or -3/10?
-3/10
Let k be ((-660)/(-66))/(5/2). Suppose -2*c - 8 = 3*g + 9, 5*g = -2*c - 23. Is k greater than c?
True
Let s(z) = -9*z**2 - 4*z + 24. Let m be s(4). Which is smaller: -406/3 or m?
m
Suppose 2*q - 12 = -q. Suppose q*a - 2*a = 4. Let w be (32/(-20) + a)*-5. Is -1 > w?
True
Let z be 60/35 - (-6)/21. Let t = -194 + 587/3. Are z and t unequal?
True
Let z(k) = k**3 - 14*k**2 - 16*k - 10. Let b be z(15). Let y = 84 + b. Suppose y = 4*s + 7. Which is bigger: s or 12?
s
Let k = 5.8 + -5.846. Is k less than or equal to -1?
False
Let o(a) = -2*a**2 - 6*a - 5. Let c be o(-1). Let p(q) = -q**3 - 2*q - 2. Let v be p(c). Let k be 2/(1/(3/4)). Is v less than or equal to k?
True
Let l = 1.72 - 1.92. Which is bigger: l or -48?
l
Let z be 140/(-1050) - 2/(-15). Which is bigger: 2/31 or z?
2/31
Let w be 7/(14/(-4)) - -6. Suppose l + 3*l - 3*u + 14 = 0, 4*l + 16 = w*u. Let r = 2869/7 + -411. Which is greater: r or l?
r
Let z = 81305/53 - 1534. Which is smaller: z or 1?
z
Suppose 14*a - 16*a + 8 = 0. Suppose 0 = -a*d + d. Which is smaller: -2/3 or d?
-2/3
Let d = 9 - 25. Let k be 2/4*2*(-29)/2. Is k > d?
True
Let y = 1/132 + -58/33. Which is smaller: y or -5/22?
y
Let n be (-14)/(-3) + 4/12. Let o(d) = -10*d + 66. Let k be o(6). Which is greater: k or n?
k
Let q = 35 - 46. Suppose 5*k = 6*k + 13. Is q greater than or equal to k?
True
Let c = -1825907/15 + 122103. Let k = 376 - c. Is -1 at most k?
True
Let u = 1129/51380 + -1/1835. Let z = u - -2231/420. Is 4 less than or equal to z?
True
Let j be (-15)/20 - 447/12. Let y = j - -68. Is y at most 29?
False
Let u(p) = -3*p - 5. Let q be u(-5). Let o(c) = 7*c**2 + 2*c + q*c - 11*c. Let g be o(1). Which is smaller: g or 2?
2
Suppose -14*c = -8*c - 216. Let a = c - 37. Which is bigger: 1.8 or a?
1.8
Let g be (-32)/7 + (-3)/7 - 36. Do g and 0.1 have different values?
True
Suppose -b = -2*z + 5, 6*z = 4*z - 3*b - 7. Let r be (-126)/210 - 292/(-470). Is z <= r?
False
Let k = -9720 + 9725. Let y = 18621/866 + -1/433. Let m = -21 + y. Is m at least k?
False
Let u = -430 - -267. Which is smaller: -0.2 or u?
u
Let o be -2 - -13*(-4)/(-24). Suppose p - 6 = -3*a, -3*a + 9 = -4*p + 3. Suppose p = -5*c + 2*c - 3. Do o and c have the same value?
False
Let h(c) = c**2 + 5*c - 1. Suppose 4*d + 23 + 1 = 0. Let f be h(d). Let x be -1*(4/(-4) + f). Which is greater: x or 0?
0
Let g = -22/15 - -203/135. Is g smaller than -0.3?
False
Suppose -2*z - k - 183 + 195 = 0, 0 = 4*z + k - 26. Is 74 equal to z?
False
Suppose 12*n - 11*n - w + 134 = 0, -4*w - 536 = 4*n. Which is bigger: n or -137?
n
Let j = 31 + -29. Suppose -j*x + 7 + 17 = 0. Let r be (x - 4)*2/2. Are r and 6 equal?
False
Suppose 68 = -8*p + 12*p. Is p bigger than 20?
False
Let i be (2166/(-24))/((-3)/6). Let g = -191 + i. Which is greater: g or -10?
-10
Let u be (716/10)/((-12)/(-90)). Are u and 536 non-equal?
True
Let z = -791 + 790.617. Is z bigger than 2/7?
False
Let g = -23 - -23.2. Let s = 0.1 + g. Is s smaller than 0.3?
False
Suppose 0 = -t + 2*h + 144, 0*h + 134 = t + 3*h. Let s be (6/4)/(15/t). Is s smaller than 14?
False
Let y be (-25)/10*(-4)/(-45). Let c = -65 + 64. Which is smaller: y or c?
c
Let h = -0.223 + 0.203. Is h less than -1/7?
False
Suppose -5*x + 71 - 171 = 0. Let i be (-8)/20 + (-188)/x. Which is greater: i or 8?
i
Let z be -6 + (-30)/(-6) + 49. Let i be 0 + -1 + 0 - -23. Let h be i/(-8) + (-12)/z. Is -4 at most as big as h?
True
Let h be (-154)/8*138/161. Which is bigger: -17 or h?
h
Let w be ((-96)/(-60))/((-4)/(-50)). Suppose -15*z = -w*z + 5. Which is smaller: 1/3 or z?
1/3
Let f(x) = -4*x - 111. Let w be f(-27). Let a = 2 + -7. Let z be a*(-3)/((-30)/8). Is z less than w?
True
Let s(t) = 4*t + 9. Let v(n) = n + 1. Let h(z) = s(z) - 2*v(z). Let g be h(0). Is g equal to 33/5?
False
Suppose -2*y - 2*y - 4 = 0. Let m = 8 - y. Let v be (-6)/(-9) - 6/m. Is v at least -1/9?
True
Let x = 49135 + -145340/3. Let w = -220949/321 + x. Is w smaller than 0?
False
Let r = -2251 + 1130003/502. Do r and 0 have different values?
True
Suppose 14*h - h = 39. Suppose -y + 15 = -n - 2*n, -15 = h*n. Which is bigger: y or 2?
2
Let u(s) be the first derivative of -1/2*s**2 - 9*s - 3. Let o be u(-8). Which is smaller: o or -2/7?
o
Let p = 2249/34 - 133/2. Let l(u) = 2*u**2 + 13*u + 6. Let s be l(-6). Are s and p equal?
False
Let o(y) = 15*y - 40. Let s be o(4). Which is smaller: s or 2?
2
Suppose 0 = 3*w - 13*w. Which is bigger: 10/73 or w?
10/73
Let o = 0.04 - -0.