6. Let p be g(-1). Which is bigger: p or -62/7?
-62/7
Let d = -13 - -5. Let n = d - -9. Suppose 5*x - 4*m + 12 = x, 4*x + 5*m + 3 = 0. Is x at least n?
False
Let p be 1650/(-225)*6/4. Are 2 and p nonequal?
True
Suppose 0 = -5*i - 5*x - 4054 - 5076, 5*x = -i - 1814. Let z = i - -5411/3. Is z >= -24?
False
Let s = -171 + 166. Which is greater: s or -3?
-3
Let y = 138 + -138.2. Is y bigger than 1/106?
False
Let f = -115/2 + 51. Which is greater: f or -7?
f
Let q = -264 + 134. Is 1 < q?
False
Suppose 14084 = -41*b + 13*b. Which is smaller: -504 or b?
-504
Let d = -6.9 - -6.84. Suppose -4*z = -4*j - 5*z - 10, 3*j + 4*z = -14. Which is smaller: d or j?
j
Let h = 642 - 641.92. Which is smaller: -3.4 or h?
-3.4
Let a(j) = -j + 29. Suppose 4*s = -s. Let k be a(s). Let z be k/28 + 30/(-40). Which is smaller: z or 0?
0
Let l be (-1)/(2 - 1) + 18/18. Let h be (-10)/700*(2 - l). Is 0 less than h?
False
Let f be 123/82*(2 + (-8)/3). Is -17/33 greater than f?
True
Let s(j) be the first derivative of -j**3/3 + 15*j**2/2 - 17*j + 5. Let t be s(14). Is -1 not equal to t?
True
Suppose -3*w - 3*r = -9, -2*w + 4*r = -3*w + 15. Let n be (1 + -1)/(-7 - -6). Let z be 11/(-22)*n/(-1). Is z > w?
True
Let r(b) = 2*b**2 - 6*b + 2. Let z be r(7). Let v = -57 + z. Is v less than or equal to 1/68?
False
Let d be 1/3 + (-68)/(-12). Let t(i) = -i + 4. Let n be t(d). Let g = n - -2. Which is greater: 1/5 or g?
1/5
Suppose 4*c = 5*z + 10, 0 = 5*z + c + 14 - 4. Let h be z - (-4 + 1 - 1). Suppose 6*v = h*v + 20. Which is greater: 4 or v?
v
Let z = -67 - -66.8. Suppose -1 = -d, -2*j - d = -4*d - 25. Let l be -2*(j/(-16))/7. Which is greater: l or z?
l
Let r = 468 - 383. Which is smaller: r or 88?
r
Let w = 1430.831 - 1431. Do 4 and w have the same value?
False
Let p = -12.4 + 11.9. Let o = 1 - 3. Is o less than p?
True
Let h = -29.1 - -29. Let a be 3*(-2)/(-12)*16. Which is smaller: h or a?
h
Suppose -132 = -2*k + 52. Let x = 91 - k. Is x > -5?
True
Let f = 459 + -459. Are 4/291 and f nonequal?
True
Let r = -1.1 - -5.1. Let y = 5 - r. Let f = -0.018 - -0.218. Which is greater: f or y?
y
Let l(m) be the second derivative of -m**3/6 - 13*m**2/2 + 5*m. Let o be l(11). Let f be (o/15)/((-2)/(-15)). Is f less than -11?
True
Suppose 0 = 2*t - d - 362, 0 = 4*t + 3*d - 588 - 146. Which is smaller: 181 or t?
181
Suppose 5*b = -4*z - 4, 4*b - 10 = -35*z + 34*z. Let m = -0.1 - -0.1. Is m greater than z?
True
Suppose -40 = -u + 5*z, u + 5*z = -0*u + 30. Let t = u + -36. Which is bigger: t or -5/8?
-5/8
Let q = -4824 + 1640157/340. Which is bigger: q or 1?
1
Let z(x) = x**3 + 7*x**2 - x - 5. Let k be z(-7). Suppose 1 = k*j - 1. Let i be -1 + (-5)/(-2) - j. Which is smaller: i or -3?
-3
Let b(x) = x**2 - 11*x - 12. Let p be b(-1). Is p <= -6/359?
False
Let g be 2373*(-25)/(-9885) + -6. Which is bigger: g or 0?
g
Suppose 10*l = 46 + 24. Let g be (4/168)/((-1)/(-4)). Let c = -16/21 + g. Is l bigger than c?
True
Let m = 19 - 75. Let h = -18 - m. Let p be h/9 - (-2)/(-9). Is p at least 5?
False
Let z = 64 - 36. Let r = z - 28. Is r <= -2?
False
Let h = -121 + 45. Let p = 61 + h. Are -41/3 and p non-equal?
True
Let a be (1 - 1 - 3)*(-344)/(-774). Suppose -4*v = -5*v. Is a not equal to v?
True
Let n(b) = -b**2 + 2*b + 1. Let f = 7 + -4. Let x be n(f). Suppose 2*i = -q - 3, -3*q - 4*i - 1 - 8 = 0. Which is smaller: x or q?
q
Let j = -36.4 + 3.3. Let h = -33 - j. Which is smaller: h or 0.16?
h
Let d = -0.2 - -0.1. Let n = d - -0.2. Suppose 8 = 2*f + 10. Is f > n?
False
Let m = -0.02 + 0.42. Let x = m - 0.5. Let h = 1.2 + -8.2. Are x and h equal?
False
Let v = 335 - 315. Is v equal to 9?
False
Let z = 1907.1 - 1767. Let i = z - 146. Let d = i - -6. Which is smaller: d or -1?
-1
Let i(d) = -7*d**2 + 27*d + 2. Let m be i(5). Is m bigger than -41?
True
Let m be ((-9)/4)/(96/2048). Is -47 greater than m?
True
Let y be (-2)/(-4)*2/3. Is y at most as big as 0?
False
Suppose -x + 0 = 10. Let o(r) be the second derivative of -r**5/20 + r**4/3 + r**3/2 + r**2/2 - r. Let h be o(5). Which is smaller: x or h?
x
Let o be (6/(-435))/((-3)/(-5)). Suppose 15*f + 25*f - 122 = -82*f. Which is smaller: o or f?
o
Let l be (10/(-30))/(2/6). Let w = 65/66 + -9/11. Which is smaller: l or w?
l
Let z = 1.147 - -50.153. Let q = -49 + z. Let r = q - 2.3. Which is bigger: 16 or r?
16
Let l = 21 + -31. Let d be (36/30)/((-4)/l). Is d at least as big as 1?
True
Let r be 0*(18/(-4))/9. Suppose r = d + 3*d - 4. Do 3 and d have the same value?
False
Let a = 1689.9 - 1690. Suppose n + 4 + 0 = 0. Which is smaller: a or n?
n
Let j be 47/7 + 4/14. Suppose 3*b - j - 5 = 0. Suppose -b*v = 2*v. Is v smaller than 1/21?
True
Let o = -0.4 + -10.5. Let h = -2.1 + o. Are -0.1 and h unequal?
True
Let x = 17044 + -17045. Let g = -65 - -4. Do g and x have the same value?
False
Let q = -26 - 4. Let g = 30.72 + q. Let y = g + -0.12. Are y and 1 equal?
False
Let j be -75*(-8)/(-168) + 10/2. Which is greater: -18/5 or j?
j
Suppose 12*c - 24 = 8*c. Let v be (-191)/(-3) - (1 + (-2)/c). Which is smaller: v or 62?
62
Let r = 19528/30556701 - -2/12257. Which is greater: 0 or r?
r
Let l = 4.31 - 4.26. Is l equal to 3?
False
Let s = 318 + -317.945. Which is greater: 0.1 or s?
0.1
Let i = -875741/251 + 3489. Is i at least -1?
True
Let n be (-10)/(-14) + (-10)/(-35). Let j be (n - 212/180)*5. Let v = -19/18 - j. Is 7 > v?
True
Let t = 1526 + -1527. Do 0.163 and t have the same value?
False
Let v(k) = -k**2 - 11*k - 12. Let o be v(-6). Suppose 0 = 21*x - o*x + 54. Which is bigger: x or -17?
-17
Suppose 0 = -2*j + t - 15, 3*t - 13 = 2. Is j less than -5?
False
Let a = 693694 + -9716381/14. Let h = a - -671/2. Let k be (-46)/(-14) - 1 - (-12)/(-42). Which is smaller: k or h?
k
Let v(h) = -h**3 + 6*h**2 + 8*h - 8. Let p be v(7). Let w(r) = -53*r - 1. Let q be w(p). Suppose 17 - q = 5*y. Is y less than -7?
False
Let v = 322.8744 + -323. Let t = v - 6.9044. Let o = 7 + t. Which is smaller: -2 or o?
-2
Let k(f) = -8*f - 12. Let m be k(-4). Suppose 2*t = m + 14. Is t at most as big as 18?
True
Let j = -84 + 83.995. Let r = j + -69.995. Is r > 0.1?
False
Suppose -45*d = -40*d + 20. Let a = -95 - -91. Is a at most d?
True
Let p = 42116/2303 + -4/2303. Which is greater: p or 19?
19
Suppose f = 1, -2*k + 7 + 1 = 2*f. Suppose -k*g = -40 - 35. Let r be 10/g - 14/10. Is -1 equal to r?
True
Suppose 4*n = -5*r + 4, -5*r - 1 = -3*n + 2. Is r equal to 374?
False
Suppose -3*u = 2 - 8. Let k be (u + 0/3)/2. Let g be k*(4 - 3) - -1. Which is greater: g or 1?
g
Let d = -37 + 37. Let h be 1/(4/12 + d). Suppose 0*p + 2*p = 5*c, -13 = c - h*p. Is c >= 16/7?
False
Suppose 4*x = -4*x + 8. Which is smaller: x or -2/301?
-2/301
Let a = 14.4 - 39.4. Are a and 3 nonequal?
True
Suppose -3*o = -o + 64. Let l = o + 42. Which is smaller: l or 11?
l
Let u = -78871/183 + 431. Which is smaller: 1 or u?
u
Let i be 6/(-4)*188/(-6). Which is smaller: 35 or i?
35
Let k be (-5304)/(-40) + (-6)/(-15). Is k not equal to 2/7?
True
Let s be (-1136)/12*(-45)/20. Which is bigger: 3 or s?
s
Suppose -14 - 6 = -4*v, 0 = -2*h + v - 37. Let a = 16 + h. Let c be (a - 1) + 2 + -1. Is c >= 1?
False
Suppose -5*v - 12*b - 20 = -15*b, 5*b - 25 = 0. Which is smaller: 1/771 or v?
v
Let z be 3 - (1 - (2 - 0)). Suppose y + 20 = 3*y. Suppose -6*r + 40 - y = 0. Are r and z equal?
False
Let k = 2.0092 - 0.0092. Which is smaller: 161 or k?
k
Suppose -6*w - 29 - 19 = 0. Suppose 4*a = 2*a + 6. Let g be (-2)/(-2*a/(-24)). Is w greater than or equal to g?
True
Let j(a) = a**2 - 6*a + 6. Let i be j(5). Let d = 2/37337 - -5973902/336033. Let u = 1763/99 - d. Which is smaller: i or u?
u
Let y be (-2)/14 + (-6240)/(-70). Let x = -88 + y. Which is smaller: 3/23 or x?
3/23
Let m(v) be the third derivative of -v**5/20 - v**4/12 - v**3/6 + 6*v**2. Let l be m(-1). Let p be (l/(-28))/(2/(-6)). Do -1 and p have the same value?
False
Let v = 0 - 6. Suppose -45*k + 5*c = -47*k - 13, -3*c - 14 = -5*k. Is v greater than or equal to k?
False
Let d = -251 - -225.9. Let t = d - -25. Is 1/4 smaller than t?
False
Let y = -6.03 + 5.03. Suppose c = 6 + 13. Let n = 29 - c. Which is bigger: n or y?
n
Let t be ((-40)/(-12))/(4 - 20/6). Let n = 2/469 + 465/938. Is n at most t?
True
Suppose -170 - 1025 = -5*b. Is 240 > b?
True
Let n be 9*(-2)/4*4. Let o = 