6. Let g be y(-6). Suppose c - 12 = -4*q, -112 = -4*c - 2*q - g. Is 20 a factor of c?
True
Suppose 4*q - 5*z + 3*z - 2962 = 0, 5*q - 3690 = 5*z. Suppose -5*y = -1803 + q. Suppose 0 = -5*o - h + y, h - 50 = -o - 3*h. Is 17 a factor of o?
False
Suppose q - 14 = -4*c + 2*c, 0 = q - 2. Suppose -50 = c*j - 4*j. Is 9 a factor of (-4)/(-10) + (-565)/j?
False
Let r(y) = -y**3 + 4*y**2 - y + 5. Let p be r(4). Is 3 + 30 + (-2 - p) a multiple of 15?
True
Suppose -4*a = -2*a + o - 149, -3*o - 273 = -4*a. Does 24 divide a?
True
Is (-24)/32 - 366/(-8) a multiple of 5?
True
Suppose 3*y + 2*x - 19 = 0, -21 - 14 = -5*y - 4*x. Let i = -8 + 44. Suppose -i = y*b - 5*b. Does 9 divide b?
True
Suppose 0 = 4*t + 2*i - i - 27, 0 = -t - 2*i + 5. Suppose -o + 2 + t = 0. Does 9 divide o?
True
Let k(r) = -2*r + 0*r - 3*r + 2*r + 3. Is k(-6) a multiple of 7?
True
Suppose 2*y - 6*y - 40 = 0. Let c(k) = 2*k + 10. Let l(g) = 2*g + 9. Let b(u) = -5*c(u) + 4*l(u). Is 3 a factor of b(y)?
True
Suppose -2*p = -8 - 4. Suppose 0 = -f + p + 4. Does 8 divide f?
False
Let o(d) be the first derivative of 3*d**2/2 - d + 1. Let h be o(1). Is (-1)/((-2)/132*h) a multiple of 11?
True
Let n be (-21)/6 - 4/8. Does 2 divide (n/(-1) - 1) + 0?
False
Suppose -4*k + 347 + 4 = 3*d, 177 = 2*k + 3*d. Is 29 a factor of k?
True
Suppose 4*c + 4*y = c - 41, 3*c + 39 = -3*y. Let s = -6 - c. Does 5 divide s?
True
Does 30 divide (-1)/(2 - 7/3) - -27?
True
Let g be (0 - (-2)/(-4))*-310. Suppose 2*d - d - 25 = -v, v = 5*d - g. Does 15 divide d?
True
Let m = -19 + 36. Does 11 divide m?
False
Suppose -2 = 5*z - 4*k, -4 = 4*k - 2*k. Let g = -4 - z. Does 11 divide 29/2*g/(-1)?
False
Let s(m) = m**2 + 4*m - 3. Let n be s(-5). Let u be (12/(-10))/(n/(-40)). Suppose -5*q - 3*w = -16 - 24, -5*w = 3*q - u. Is 4 a factor of q?
True
Let s(g) = -g**3 + 3*g - 2. Let d be s(1). Suppose 6*o = 2*o, 4*n + 5*o - 128 = d. Is 8 a factor of n?
True
Suppose -4*j - 185 = -21. Let f = j - -79. Is 19 a factor of f?
True
Suppose -g - 4 + 0 = 3*a, -5*g - 20 = 5*a. Suppose -4*l + y + 6 = a, l + 3*y = 4*l. Suppose -4 = -l*o + 34. Does 11 divide o?
False
Let t(d) = -2*d + 4. Let k(f) = -f**2 + f - 2. Let m be k(-2). Let o be ((-18)/(-4))/(6/m). Is 13 a factor of t(o)?
False
Let o = 3 + 9. Is ((-3)/(-2))/(3/o) a multiple of 6?
True
Let f = 254 + -136. Does 11 divide f?
False
Suppose -2*u = -0*u - 312. Let q = u - 88. Suppose -2*o = 5*i - 57 + 16, 5*o + i = q. Does 13 divide o?
True
Does 5 divide (2 - 3)/(3/(-21))?
False
Suppose 2*j = j + 5. Suppose -j*w + 3*v - 21 = -136, -5*v = 3*w - 69. Is w a multiple of 6?
False
Let a(v) = v**2 + 9*v - 3. Let z = -4 - 6. Does 4 divide a(z)?
False
Let i be 47 - -6 - (-1 + 1). Suppose 4*m - 2*n = 2*m - 56, 2*m - 3*n = -i. Let k = -22 - m. Is 9 a factor of k?
True
Suppose -3*s + 9*d - 4*d = -164, 2*s + 3*d = 103. Suppose 0 = -f + 2*k + s, f + 2*k = -0*f + 61. Is f a multiple of 13?
False
Let i(q) = -2*q**2 + 10*q - 9. Let j be i(6). Let x = 6 + j. Let v = x + 34. Is 13 a factor of v?
False
Let d = 36 + -2. Is d a multiple of 17?
True
Suppose 2*r = 5*r - 2*j, -4*r - 2*j - 14 = 0. Let w = 5 + r. Let h = 25 + w. Does 12 divide h?
False
Suppose -4*f + 4*j + 24 = j, 4 = 4*f + 2*j. Suppose f*r - r - 56 = 0. Is 14 a factor of r?
True
Suppose 0 = 5*p + 5*o - 20, 0 = 4*o - 3 - 5. Is 21 a factor of 609/14 - 1/p?
False
Let g = -83 + 128. Is g a multiple of 9?
True
Let y(d) = -8*d**2 + 5*d**2 + 11 - 2*d**2 + 4*d**2 - 10*d. Does 12 divide y(-8)?
False
Let c(z) be the third derivative of z**4/24 - 5*z**3/3 - 2*z**2. Let l be c(10). Suppose 2*y - 35 - 5 = l. Does 10 divide y?
True
Let a = 183 + -119. Does 21 divide a?
False
Suppose -2*i = -3*j - 192, 2*i - 98 = i + 2*j. Does 23 divide i?
False
Let d(v) be the second derivative of -v**5/20 - v**4/12 - v**3/6 + 19*v**2/2 - v. Is d(0) a multiple of 19?
True
Suppose 3*y = -3*v + 18, 0*y = -3*v + 4*y - 3. Let u(f) = 2*f - 2. Does 4 divide u(v)?
True
Let b(m) = m**2 - 16*m + 16. Is 3 a factor of b(16)?
False
Suppose -5*h + 3 + 43 = -4*n, -n - 29 = -3*h. Is h a multiple of 10?
True
Suppose 3*c - 132 = 3*p, -c = -2*c + 3*p + 52. Is c a multiple of 4?
True
Let j(i) be the third derivative of 0*i + 1/12*i**5 + 0 - 1/2*i**3 - 3*i**2 + 1/6*i**4. Is 9 a factor of j(2)?
False
Let m = -4 + 65. Is m a multiple of 14?
False
Let a = -5 + 3. Let s(j) = -j**3 + j**2 + 3*j + 1. Is s(a) even?
False
Let u(q) = 2*q**2 + 2*q. Suppose 4*k + w + 18 = -2, k = 5*w - 5. Does 20 divide u(k)?
True
Let z(i) = i + 12. Let o be z(-9). Let m be (o - 4)*106/(-2). Let p = -32 + m. Does 10 divide p?
False
Suppose 3 = 3*k + 2*v, -k + 2 = k + 3*v. Let d be (2/(-4))/(k/(-78)). Let i = d - 16. Is 20 a factor of i?
False
Let b(z) = z + 3. Is 3 a factor of b(6)?
True
Let x be 6/27 + (-86)/(-18). Let h(u) = u**2 - 4*u - 3. Let q be h(x). Suppose q*p + 48 = 6*p. Is 5 a factor of p?
False
Suppose 0*z = 8*z - 864. Is 24 a factor of z?
False
Suppose 0 = -l - 3*r - 4, r + 4*r = -10. Let v = l - -5. Let u = v + 11. Is u a multiple of 7?
False
Suppose 4*l = m + 10, -5*m = 2*l + 3*l. Let x be 0 + (m*3)/(-3). Suppose 8 = x*s + 3*k, 3*s + s - 20 = -4*k. Does 5 divide s?
False
Let v(d) = -d**3 - 3*d**2 - 3*d - 2. Let w be v(-2). Let u be (-8)/(-12)*(-6 + w). Is u/(1/(-1 - 1)) a multiple of 4?
True
Let z(g) = -19*g**3 + 2*g**2 + g. Let o be z(-1). Suppose -3*h - o = -2*a - 0, -5*h = 20. Suppose 5*f - i + 31 = 85, 2*f + a*i - 26 = 0. Is 3 a factor of f?
False
Let r = 45 - 21. Let b be (-3)/2*r/(-9). Is (b/5)/((-3)/(-15)) a multiple of 3?
False
Let l(z) = -z**2 + 16*z - 6. Suppose j - 4 = 0, -3*o - 2*o = 5*j - 55. Is l(o) a multiple of 21?
False
Let l = -1 + 4. Suppose 5*j + y - 107 = 27, 98 = l*j + 5*y. Is j a multiple of 13?
True
Suppose 2*n = -u + 35, -6*u + u + 3*n + 227 = 0. Let g = u + -30. Is 5 a factor of g?
False
Let a be (-456)/(-10) - (-2)/5. Is 21 a factor of (1*-3)/(-3)*a?
False
Suppose -2*q + 4 = -q. Let f = 14 - q. Is f a multiple of 4?
False
Let g(n) = 20*n**3 - 3*n + 2. Let u be g(2). Suppose u = 3*f - 48. Suppose -5*s = -f - 67. Does 11 divide s?
False
Suppose 0 = -2*q - 5*x - 21, -3*q - 22 + 3 = 5*x. Suppose o + q*o = 90. Is 15 a factor of o?
True
Suppose -4*j = -6*j - 16. Let b(p) = p**2 + 4*p - 1. Let t be b(-2). Let o = t - j. Does 3 divide o?
True
Suppose -k - 60 = 1. Let z be k/(-7) + (-6)/(-21). Suppose -5*s - z = -139. Does 13 divide s?
True
Let t(f) be the first derivative of -f**4/2 - f**3/3 + f**2 + 2*f + 1. Suppose k + 2*k + 6 = 0. Does 10 divide t(k)?
True
Suppose 7 = 2*n - 5. Does 14 divide 4/n*1650/20?
False
Let l(d) = 2*d. Let b be l(-3). Is (b - -2)*9/(-12) a multiple of 2?
False
Let a = 37 - 23. Is a a multiple of 7?
True
Let k(c) = -c**3 - 2*c**2 + 2*c - 2. Let u be k(-3). Suppose -w + u + 3 = 0. Is w even?
True
Let g(a) = -a**2 + 4*a + 5. Let k be g(4). Suppose 0 = -2*m + k*m - 54. Does 11 divide m?
False
Let h be (-2)/4 - (-305)/10. Suppose 0 = -2*z + 5*z - 5*r + 14, -h = -5*z - 5*r. Suppose n + 141 = 4*n + 4*y, -z*n = 4*y - 94. Does 22 divide n?
False
Let v = 80 + -20. Suppose -v = -4*m - m. Is m a multiple of 12?
True
Let o(z) = -z + 13. Let w be o(0). Let x(g) = -g**2 + 5*g + 14. Let v be x(6). Let h = w - v. Is 5 a factor of h?
True
Let i = 139 - 117. Is i a multiple of 11?
True
Let w(n) = -29*n - 2. Does 15 divide w(-2)?
False
Let s = 6 - 8. Let g be (-2 - (-9)/6)*s. Is 5 a factor of (2 - -10)/(g - 0)?
False
Let c = -9 - -3. Is c/(-27) - (-642)/27 a multiple of 10?
False
Let h = 3 + -1. Suppose -4*t - 10 = -h*t + 2*m, -2*t = -m + 1. Does 5 divide (t + (-1)/(-1))*-7?
False
Let l be ((-36)/45)/((-1)/5). Suppose -2*n = -n - l. Suppose -4*a = 6*r - n*r - 36, 4*r = a. Does 8 divide a?
True
Suppose 0 = -3*l + 1054 - 142. Suppose 3*u = l + 44. Suppose -4*j + 3*d + u = j, 3*j = -2*d + 62. Does 11 divide j?
True
Let b = -7 - -12. Let i(a) = a**3 - 4*a**2 - 4*a - 3. Let w be i(b). Suppose w*c - 51 + 17 = 0. Is c a multiple of 17?
True
Is (-1845)/(-18) - 2/4 a multiple of 17?
True
Suppose 3*f + 2*f = -20. Let l be f/(2 - 2/2). Is 12 a factor of (l - 0)*6*-1?
True
Let g(b) = -5*b**2 - b. Let m be g(1). Let t = 8 + m. Is t a multiple of 2?
True
Suppose 0 = 3*d + 5*y - 82 - 69, 0 = -5*d - 4*y + 230. Does 6 divide d?
True
Suppose -4*t + 110 = t. Suppose 2*o = 3*v - 66, t = v + 3*o - 0*o. Is v a 