6). Suppose 73 - h = -14*t. Is t greater than or equal to 41/5?
True
Suppose 0 = 75*v - 82*v + 1309. Let k be 189 + -4 - 0/6. Is k greater than v?
False
Let n = -47 + 48. Let i be n/((4/(-4))/(-50)). Let h be (-306)/(-15) - 5/(i/4). Which is greater: h or 19?
h
Suppose 8*d + 711 = 17*d. Suppose 0 = -5*y + 91 + 309. Are d and y non-equal?
True
Suppose 3*s + 2*r - 6056 - 3700 = 0, -3247 = -s + r. Which is bigger: s or 0?
s
Let d be 230 - (-1)/(3 + -2 + 0). Let n = d - 230. Which is greater: 1/153 or n?
n
Suppose 5*x + 3525 = -7*a + 12*a, 4*a = 5*x + 2818. Let r = a + -742. Which is bigger: -37 or r?
r
Let h be (-136)/(6/39 + 216/117). Is h > -478/7?
True
Let v = -0.914 + 1.014. Are v and 0.559 nonequal?
True
Let z be (-1968)/988 + 1 + 1. Suppose -108*u + 327 = 105*u + 114*u. Which is bigger: u or z?
u
Let w = 10/277 - -75521/2770. Let j(r) = r**3 + 16*r**2 + 38*r - 12. Let h be j(-4). Which is smaller: h or w?
w
Let q be (-4)/(-22) + (-11206)/407. Let n = q + 82/3. Let y be (23/(-230))/(1/(-10)). Which is bigger: n or y?
y
Let u(g) = 2*g**3 + 8*g**2 - 9*g + 4. Let s be 2*(-7)/((-42)/(-15)). Let r be u(s). Let x be (2/10)/((-11)/(-2)). Which is bigger: r or x?
x
Let b = -1.11 + 1.87. Let u = -7.34 - b. Let w = u + 7. Which is bigger: w or -2?
w
Let k = 316 - 412.6. Let q = k - -99.6. Let m = 8 + -36/5. Is q bigger than m?
True
Let i(d) = d**2 + 2*d - 1. Let y(a) = 36*a**2 - 10*a + 27. Let b(f) = -3*i(f) + y(f). Let p be b(2). Is p less than 130?
False
Let x = 25/99 + -17/9. Which is greater: -1/4 or x?
-1/4
Let q be (-15)/80*(-136)/24. Is q at least 1?
True
Let s = 17 - -95. Let l = s - 40. Is 72 equal to l?
True
Let q be 2 - ((-145942)/5160 + 4/30). Are q and 30 non-equal?
True
Let h be ((-1)/(-6)*-3)/(74803/152). Is h > 0?
False
Let j be 201*(-1915)/(-15) - -7. Let n = j - 30775930/1199. Is n > 1?
False
Suppose 0 = 4*w + 16 + 72. Let x = w - -26. Which is smaller: -2/23 or x?
-2/23
Suppose k + k = -2*m, 4*k - 35 = 3*m. Let s be ((-88)/(-110))/(-1*2)*k. Which is smaller: s or 46?
s
Let d be (-2 - -6) + 1 + -3. Let j be 4/(-35)*(-155)/d. Let c be (-150)/(-16) - 15/40. Is j > c?
False
Let l = -1300 + -1548. Which is greater: -2849 or l?
l
Let x(u) = 2*u**3 + 4*u**2 - 10*u - 11. Let b be x(-3). Let a be (-2)/(-3 + 2 + 2). Let h be b/a*(-68)/2. Is h greater than or equal to 17?
True
Let x be (-1)/(1 + 84/(-85)). Let j = 90 + x. Suppose -9 = 4*p + 3*n, 0*n = -j*p + 3*n + 9. Is p less than 2/7?
True
Let x be (-8)/7 - 3/(-21). Let g be (-26)/(-13)*(1131/(-42) - x). Which is smaller: -52 or g?
-52
Let o = -2257/4513 - -1/9026. Let r = -60 + 39. Let x be (-4)/r*9/(-6). Is x greater than o?
True
Let i(f) = -f**3 - 15*f**2 - 29*f + 11. Let v be (-1)/(-3)*(-507)/13. Let w be i(v). Let a = -1/10 + -3/20. Do a and w have different values?
True
Let r be (-2)/(-128)*(3893648/(-65052))/11. Let l = 1/2224 - r. Which is bigger: 1 or l?
1
Let d = -3509 - -2249. Let y be -15 + 15 - (2 + d/633). Is 1 less than y?
False
Let d be 10/(-2640)*2*2. Does d = 3?
False
Let f = -618 - -559. Let r = f + 58. Which is smaller: r or -5/119?
r
Let v = 5114 - 2319. Is v equal to 2794?
False
Let l = -2 - 4.7. Let w = -4.2 - l. Let t = -2 + w. Which is smaller: 5 or t?
t
Let i be ((-124)/620)/(2/(-10)). Is 2/1729 not equal to i?
True
Suppose -4 = 7*z - 11. Let a be 21/(0 + -1) + 1. Let o be -1 + (-16)/a*2. Are z and o equal?
False
Let c = 9 - 76. Let v = -42 - c. Which is greater: -2/13 or v?
v
Let v = 24 + -34. Let m = -181827 - -181826. Which is bigger: v or m?
m
Let d = -551.7 - -553.7. Is d less than -185/4?
False
Suppose 8*i - 3*i - 20 = 0. Suppose i = -f - 0*f - 4*u, 4*f + 35 = 3*u. Suppose -99*c - 2051 = 289*c - 95*c. Is f >= c?
False
Let v = -395 + 389.87. Let a = -4.13 - v. Let i = 6.97 - -0.03. Which is greater: a or i?
i
Let m = 202 - 166. Let f be (-1)/(-3) - 210/m. Which is bigger: f or -1/2?
-1/2
Let c = -0.03 - 2.97. Let l = 10 - c. Let v = -0.12562 - 0.07438. Is l bigger than v?
True
Let x(s) = -30*s - 25. Suppose -63 = 4*o + 3*o. Let m be x(o). Suppose -94 = -2*q - y, -3*q - 2*q - 5*y + m = 0. Are 45 and q equal?
True
Let u be 34 - 600 - (-21)/(-3). Which is smaller: -574 or u?
-574
Suppose 37*z - 11*z = -66326. Let b = -12712/5 - z. Which is greater: 9 or b?
9
Let l be 3*3/(-9) - -2. Let d(r) = -r**3 + 4*r**2 + 14*r - 2. Let m be d(6). Let k be (-4)/m*(-1 - 9/(-6)). Is k <= l?
True
Let c = -2012/7 - -71893/252. Is c > -3?
True
Suppose 355*z - 234*z - 2541 = 0. Let y be 6/8 + 3 + -4. Do z and y have the same value?
False
Suppose 251 + 61 = -6*n. Let k = -14 - n. Let v = k - 39. Which is smaller: -1/30 or v?
v
Let d = -43874 + 196774888/4485. Is d at least as big as 1?
False
Let u = 26 + -16. Let t be (-5)/(-34)*8/u. Let i = 0.2282 + -0.0282. Is i at most t?
False
Let b(z) = 9*z - 2564. Let i be b(60). Is i at most as big as -2024?
True
Suppose -258*i - 22527 = -114*i + 3825. Are i and -2 non-equal?
True
Let h = -0.492 + 1.492. Which is smaller: h or 50.9?
h
Let c be ((-2)/(-136))/((-245)/5880). Suppose 0*y - 4*y = 0. Which is smaller: c or y?
c
Let d be (-56)/30 - 27/45 - 21/(-9). Is 0.09 at most d?
False
Let p = -0.9848 - 121.0152. Let f = -28060.43 - -28182. Let c = p + f. Which is greater: c or -1?
c
Let d = -0.15879 + -0.24121. Which is smaller: d or -757?
-757
Let d = -7463 + 38934472/5217. Are d and 1 equal?
False
Let c be ((-3)/(-240))/((-17)/(-102)). Is 2/23 at least c?
True
Let q = 36.95 + -38. Let b = 0.063 - 0.013. Let u = q + b. Is u greater than or equal to 0.7?
False
Let h be (-153)/(-150)*2865/(-135). Let r = -14/75 + h. Which is bigger: r or -21?
-21
Suppose 2*h - 6 = a, h = -0*h - 2*a - 2. Suppose r + 5*u - h + 3 = 0, r - 3*u = -1. Suppose -3 = -3*g + c + 2, -c = 2*g. Are r and g nonequal?
True
Let x = 2695.4 - 2695.39. Let c = 20/11 - 69/44. Which is smaller: c or x?
x
Suppose -5033*h + 4971*h = 1116. Which is bigger: -175/9 or h?
h
Let s = -81 + 81.128. Let w = 0.004 - s. Let y = w - -0.024. Which is bigger: y or 1/2?
1/2
Let v(c) = -15*c - 4*c**2 + 0*c**2 + 3 + 2*c**2 + c**2. Let x be v(-15). Let s = x - 10. Is s < -6?
True
Let f(p) = 7*p**3 - 7*p**2 - 3*p - 3. Let j(h) = 15*h**3 - 14*h**2 - 7*h - 5. Let z(t) = -9*f(t) + 4*j(t). Let n be z(3). Which is greater: -11 or n?
-11
Let i = -2682.58 + 2683. Which is smaller: -2/9 or i?
-2/9
Let p = -72 + 72.7. Let k = -82.3 - p. Let l = k + 83. Is -17/5 bigger than l?
False
Let d = 41779 - 41936. Let w(y) = -y**3 + 10*y**2 - 4*y + 7. Let i be w(11). Is d <= i?
False
Let s be (103 - -3)*(4 + -11 + (-1977)/(-282)). Does s = 2?
False
Suppose 4*c - 5*a + 32 = 0, 0 = -113*c + 112*c + 3*a - 15. Is 4/327 not equal to c?
True
Suppose -10*h + 8*h = -20. Let r be ((-32)/h)/(5/25). Is r >= -33/2?
True
Suppose -7*m + 6*m + 3 = 5*i, 5*i = 5*m - 105. Let k be (m + -21 - -2*1)/1. Is -14/43 at most as big as k?
False
Let k(z) = -3*z**2 + 4. Let c be k(0). Suppose 20 = c*b, -b + 0*b = 3*s - 23. Is 1 <= s?
True
Let i be -4*(((-3150)/49)/9 - -7). Is i bigger than -262?
True
Let t(y) = -y**3 + 13*y**2 + 26*y - 21. Let k be t(14). Let q = -0.066 - 1.934. Which is greater: k or q?
k
Let w = 684 - 641. Is w at most as big as 63?
True
Let u(k) = -7*k + 94. Let x be u(14). Let q be ((-2)/(-3))/(x/12). Suppose -23 = 5*w - 3. Which is smaller: q or w?
w
Suppose -4*u + 25 = -167. Suppose 2*d = -2, 3*w - 4*d = -0*d + 802. Suppose 0 = -9*f + w + 166. Is f at least as big as u?
True
Suppose -3*w + 4*c = 2*c + 16, -31 = 5*w + c. Let o be ((-16)/6)/(w/36). Let l = -4/30875 + 3396278/216125. Is o at most l?
False
Let r be ((-2)/(-3))/(4/18). Suppose 12 = 2*g + 3*i, 5*g - 25 = -5*i - 0. Suppose -m - 7 = g*h - h, 5*h + 17 = -3*m. Which is smaller: r or m?
m
Suppose 5*u - b = 3, u + 2*b + 15 = -3*b. Suppose 2*v + 4 = u, 5*g - g - v + 66 = 0. Is g less than or equal to -19?
False
Let d = 27 - 8. Let n = -203 + d. Let w = n + 1475/8. Which is greater: 2 or w?
2
Suppose 2478 = 21*b + 21*b. Is 0.9 < b?
True
Suppose -49*d - 99 = -21*d - 39*d. Is d < 104?
True
Let l = -15719 - -15719.1. Which is smaller: 51.8 or l?
l
Let m(g) = 2*g**2 + 13. Suppose h - v = -7, -9 = -4*h - 5*v - 28. Let a be m(h). Suppose -3*s + 275 = -a. Is 121 bigger than s?
True
Let f = -2081 + 3679. Which is smaller: f or 1597?
1597
Suppose 0 = 2*t - 1644*v + 1648*v + 30, 