6. Suppose c - 5*c = -g. Let v = 6.03 + -0.03. Is c less than or equal to v?
True
Let x = 1492 + -1489. Are -100 and x equal?
False
Let o(m) = 2*m**2 - 15*m + 7. Let g be o(7). Suppose 4*z - 5*z = g. Let r = 12/49 - -88/441. Which is greater: r or z?
r
Let f(y) = -2*y**2 - 24*y + 29. Let w be f(-14). Which is smaller: -26 or w?
w
Suppose -2*h + 6 = -66. Is h <= -1?
False
Let i = 10 - 5. Let r = -8 - -2.7. Let n = i + r. Which is greater: n or -3?
n
Let p be 39/52*(-1 - -5). Let r = p + -13/4. Let t = -1 + 0. Is r < t?
False
Suppose -3 = p - 4*p. Let h be (-1)/(-3 - (-11)/2)*-5. Suppose -5*b - h*b = -21. Do b and p have the same value?
False
Suppose -4*j - 16 = 0, -3*x - 4*j = -6*j - 302. Let i = -75 + x. Which is smaller: i or 22?
22
Suppose 2*g + 6 - 4 = 0. Are g and -2/13 nonequal?
True
Let o be 3 - (-328)/(-104) - 15/(-13). Suppose -5*w - n - 46 = 0, 0 = -w - 5*n + o - 15. Which is greater: -7 or w?
-7
Let u = -57 + 94. Suppose -4*q - u - 47 = -5*b, 0 = -b - 4*q + 36. Let k = 0.1 + 0. Is k at most b?
True
Let m = -193/10 + 1823/110. Let x = 1143/407 + m. Is x < 1?
True
Let m(w) = w**3 - 5*w**2 + 3*w + 4. Let i be m(3). Let z(u) = u**3 + 7*u**2 + 7*u - 1. Let y be z(i). Suppose 0*c = 2*c - y. Does c = 6?
False
Let u = 326787698/445 - 734354. Let v = u - -2/89. Let z = 24 + -24. Do z and v have the same value?
False
Suppose -117*c = -114*c + 96. Which is greater: c or -39?
c
Suppose -2*j = -3*d + 885, -879 = -3*d + j + 3*j. Which is bigger: 296 or d?
d
Let f = -323 - -2265/7. Suppose -5*g = -3*u + 1, 5*g + 3*u + 5*u - 21 = 0. Which is greater: g or f?
g
Let a = 1 - 6. Let m = 275/2 + -863/6. Is m bigger than a?
False
Let q be 7/(-2) - 4/8. Let z be 1 + q + 2 + 0 + 1. Which is bigger: 1/22 or z?
1/22
Let a = -0.1 + -0.9. Let p = -242.9 + 225. Let o = 18 + p. Which is smaller: o or a?
a
Let q be 28 - ((-8)/(-1))/(-2). Let o(g) = -3*g**2 - 54*g - 19. Let v be o(-17). Do q and v have the same value?
True
Let o = 159 - 161. Which is smaller: -31/10 or o?
-31/10
Suppose 10 = -r + 2*i - 0, -3*r - 3*i - 3 = 0. Let v = -52 + 57. Suppose -2*z + w = 3*z - 10, v*z + 4*w = -15. Which is greater: r or z?
z
Suppose -4*a - 113 = u, 0 = -3*a + 2 + 4. Which is greater: u or -2/7?
-2/7
Suppose 6*b = 3*k + 3*b - 447, -145 = -k + 3*b. Are 151 and k non-equal?
False
Let k(i) = -6*i**2 + 24*i - 62. Let x be k(4). Which is bigger: x or -66?
x
Let w be 9885/(-25) - -1 - 6/(-2). Let d = -386 - w. Does d = 6?
False
Suppose 192 = -5*q + q. Let u = q + 143/3. Which is smaller: 1/7 or u?
u
Let o(c) = c - 20. Let g be o(23). Let r(t) = -t - 4. Let p be r(-4). Suppose p = g*q - 3*a + 3, q + 4*a - 2*a = 5. Which is smaller: 1/4 or q?
1/4
Let n = -0.038 - -0.09. Let g = n - -0.048. Which is bigger: -4/19 or g?
g
Let r be 7/(((-480)/(-28))/(-6)). Which is bigger: r or -2?
-2
Let c = -26.93 - -27. Let s = -0.08 + c. Which is smaller: -4 or s?
-4
Let h(b) = b**2 - 9*b + 20. Let v be h(8). Let j be ((-21)/14)/((-9)/v). Which is smaller: 16/9 or j?
16/9
Let q = 12.2 + 12.3. Let k = -5.5 + q. Which is greater: -2/3 or k?
k
Let j = 1435 - 1434. Is j bigger than 1/977?
True
Let p = 34 - 1. Which is bigger: 35 or p?
35
Let q = -289 - -305. Is q >= 10?
True
Let q(y) = 17*y**3 + 2*y**2 - 5*y + 1. Let x be q(2). Which is smaller: 131 or x?
131
Let v = 0.305 - 0.205. Is v at most -217?
False
Let x = 6.1 - 10.2. Let h = x + 4. Suppose 6*s = s + 15. Which is greater: h or s?
s
Let n be (-5)/(-22)*(-11 + 372/20). Is 3 at most as big as n?
False
Let z = 14 - 12.8. Let a = 10 + -10.8. Let v = z - a. Is v <= -1/5?
False
Suppose 2*y - 6 = -3*l, 5*y + 43*l - 8 = 39*l. Which is smaller: y or 3?
y
Let k(d) be the third derivative of 4*d**2 + 0*d - 1/120*d**6 - 4/3*d**3 + 0 + 1/12*d**5 - 1/24*d**4. Let r be k(4). Is r at most as big as -2?
False
Let g(d) = -d**3 + 6*d**2 - 2*d + 3. Let w be 56/10 - (-9)/(-15). Let j be g(w). Let x = -7 + j. Is 11 less than x?
False
Let b = -86 - -86.09. Let j = b - 0.051. Does -1 = j?
False
Let c = 897 - 35883/40. Let t = -107/1960 - c. Suppose -n + 23 = 2*n - 5*p, -n - 7 = 2*p. Which is smaller: t or n?
t
Let b = 2357291197/1170 + -2014779. Let i be ((-5)/390)/(-2 + 46/18). Let q = i + b. Which is bigger: q or 1?
1
Suppose -k - 3*l + 4 = -6*l, 3*k + 1 = -4*l. Let j be (k/(-5))/(10/(-50)). Which is smaller: j or 4/15?
4/15
Suppose -2*c - 3*t + 319 = -3*c, -4*c = 2*t + 1318. Is -332 not equal to c?
True
Suppose -b = 7 - 8. Let f be 13/(-18) + 4 + 6/(-2). Are f and b unequal?
True
Let m = 0.24 + -0.14. Let z = 0.06 - 0.16. Let s = m + z. Which is greater: -13 or s?
s
Let o(j) = j**2 - j + 7. Let w be o(0). Let u = 22 + -22.1. Which is bigger: u or w?
w
Suppose -65 = -5*c + 3*w, 5*c + 5*w = -0*w + 25. Is 10 less than or equal to c?
True
Suppose -9*k - k + 220 = 0. Do 27 and k have different values?
True
Let t = -10 + 19/2. Let z be 5/1*2/(-12). Let r = t - z. Which is smaller: -1 or r?
-1
Let v(n) = 12*n - 1. Let o(z) = z. Let g(f) = o(f) + v(f). Let p be g(0). Is p equal to -1?
True
Let p = -723 - -720. Let d be (-39)/(-6) - (-2)/(-4). Let f be 0 + d/2 + -1. Is f != p?
True
Suppose 34 - 442 = 4*d. Let u be (-4)/(-28) + d/(-21). Suppose -4 = l - u*l. Is 2/59 at most l?
True
Suppose 0 = -5*p + p - 1212. Let u = -4547/15 - p. Is u less than -2?
False
Suppose 2 = -3*w + 5*l - 3, 0 = w + 5*l - 25. Suppose w*q + 11 = z, q = -z - 2 + 1. Let i be (q/(-7))/((-4)/6). Which is greater: i or 0.2?
0.2
Suppose 0 = -2*r + r + 10. Suppose -3*a = 2*m + 2*m + r, 2*m + 4*a + 10 = 0. Are m and -1 nonequal?
False
Let k(w) = 73*w**2 - 2*w - 2. Let m be k(-1). Suppose -9*h + 10 = m. Do h and -7 have the same value?
True
Suppose -6 - 2 = 2*b, 5*t + 3*b = 93. Let k = -19 - -13. Let y = k + t. Is 14 equal to y?
False
Let v = -20 + 18. Let k = -139/296 - 15/37. Which is smaller: v or k?
v
Suppose 3 - 8 = -i. Let o = -147 + 150. Let q = i - o. Which is smaller: q or 1?
1
Let x = -142251/14 + 10165. Are x and 4 unequal?
True
Let g(t) = t + 9. Let d be g(-7). Let l be d + -4*(-3)/6. Let s be l/(-12)*0/(-1). Is s less than or equal to 0?
True
Suppose -4*x + 2*n = 680, x + 0*x - 4*n = -170. Let q be 62/155 + 58/x. Which is smaller: 1 or q?
q
Let o = -14 - -50. Let k = o - 37. Are k and -2/21 nonequal?
True
Suppose 5*y - 5*x - 30 = 0, 3*x - 4*x + 3 = 0. Suppose y*v + 12 = 11*v. Let m = 9 + -5. Do m and v have the same value?
False
Let q = 139 + -138. Let t = 1 - 0.9. Which is bigger: q or t?
q
Let k(w) = -2*w**2 + 11*w - 12. Let y be k(1). Let s = -0.04 - -0.74. Is y != s?
True
Let s = 72 - 671. Is -599 at most s?
True
Let j be 3*(-5)/45 + 7/57. Are -3/2 and j unequal?
True
Let y be (-3)/(1 - 1 - (-30)/(-63)). Is y at least 7?
False
Let c(b) = 6*b + 3. Let u be c(0). Suppose o = 5*x, -3*o - 10 = u*x - 8*x. Which is greater: -2/89 or x?
-2/89
Suppose -5*c + 4*d = 40, 3*d = 8*c - 12*c - 1. Which is bigger: -25 or c?
c
Let c = -0.4 + -2. Do 6/5 and c have the same value?
False
Let m be 0/(65/13)*1. Is 27 at most m?
False
Suppose -3*q = -c + 12, -c - c = -q - 9. Let d(r) = r**2 + 6*r - 18. Let x be d(-8). Let i be x/q*(0 - -15). Is 10 != i?
False
Let g = -2869/4908 - -1/818. Suppose -5*j + 5*c + 10 = 0, -6 = -5*j + c + 2*c. Is g < j?
True
Let g be 430/(-55) - 4/22. Suppose -9*b + 4*b - 35 = 0. Which is bigger: b or g?
b
Let k = 19 - 19. Which is smaller: 2 or k?
k
Suppose 14*d - 20 = 9*d. Suppose -3*w - 21 = 5*l + 1, d*l = w - 4. Let r be ((-40)/35 - -1)*l. Which is greater: -23 or r?
r
Let k(d) = 2*d**3 + 40*d**2 + 33*d + 16. Let q be k(-19). Is 1/5 smaller than q?
True
Let l be (292 + 2)*5/20. Are 74 and l equal?
False
Let h(b) = 2*b**3 + 3*b**2 - 4*b - 1. Let o be h(2). Suppose 3*r + d = -4*d + o, 3*r - 2*d = 5. Is 14/9 > r?
False
Let f(l) = l**2 + 11*l + 22. Let c be f(-9). Suppose -35 = c*k - 251. Which is bigger: k or 53?
k
Let o = -106 + 274. Let u = -106 + o. Which is bigger: 0.1 or u?
u
Let m = 93.841 + 0.159. Let t = m + -92. Is -6/41 greater than t?
False
Let n = -3 + -1. Let i = 2093 - 2095. Which is bigger: n or i?
i
Let d = 1/589 - 1774/4123. Which is smaller: d or 1?
d
Let c = -43 + 42. Let p = 7025382882 + -1045145135200762/148767. Let g = p + 2/2917. Is c >= g?
False
Suppose 2*n + 2*z - 18 = 0, 12 = n - 3*z + 7*z. Suppose 7*l + 2 = n*l. Let a be (-1)/(l - (-84)/(-40)). Which is smal