 Suppose -5*m + 170 = 3*k, -2*k - k - 4*m = -a. Does 21 divide k?
False
Suppose 8*a = 3*a - 50. Is (-4)/(1*2/a) a multiple of 20?
True
Let g be (-125 - 0)*(1 + -2). Suppose 6*y = y + g. Is y a multiple of 14?
False
Let c(z) = z**3 - 7*z**2 - 4. Let s be c(7). Does 6 divide (-3)/s + (-100)/(-16)?
False
Let g(a) = -a**2 + a + 36. Let y be g(0). Let d = y + -18. Is 9 a factor of d?
True
Let n(h) be the third derivative of -h**4/2 - h**3/3 - 6*h**2. Does 11 divide n(-2)?
True
Let c = 21 - 14. Is 3 a factor of c?
False
Let b(o) = o**2 + o + 6. Is b(9) a multiple of 17?
False
Suppose -4*i + i - 66 = 0. Suppose 0 = -0*y - 2*y + 92. Let p = y + i. Does 10 divide p?
False
Suppose -13*d + 390 = -8*d. Is d a multiple of 17?
False
Let f(n) = -2*n - 7 - 2*n - n**3 - 3*n - 6*n**2. Let c be f(-5). Is 12 a factor of 37/c - (-3)/(-9)?
True
Let y(g) = -4 + 1 + 0 + 5*g + 4*g. Let x = -5 - -7. Does 15 divide y(x)?
True
Let i be (-4)/(8/(-94)) + -3. Let v = i + -30. Does 4 divide v?
False
Let w = 3 - 6. Does 18 divide (-132)/w*1 - -3?
False
Let z be (-1)/(-7) + (-68)/(-14). Suppose 0*t + t - 3 = 0, -t = -4*o + z. Suppose 4*s + 3*u - 48 = o*u, 4*s = 4*u + 48. Does 12 divide s?
True
Suppose 4*w = 0, -5*c + 6*w - 4*w - 10 = 0. Does 6 divide (c + 184/4)/2?
False
Suppose 0 = 4*l + 23 - 71. Is l a multiple of 4?
True
Suppose 5*j + 3*s - 8*s = -5, 0 = 3*s - 12. Is 11 a factor of j - (-7)/((-14)/(-72))?
False
Let q(j) = -2 + 2*j**2 + 0*j - 3*j - 2*j. Is q(4) a multiple of 5?
True
Suppose 4*f - 4 = 3*f. Suppose 4 = i - o, 4 = -f*o - 12. Suppose -h + 11 + 6 = i. Does 11 divide h?
False
Let a = -37 - -67. Is a a multiple of 6?
True
Let r be (-2)/(-3) - (-16)/3. Suppose 4*y + z + r - 25 = 0, 0 = 4*y + 3*z - 25. Suppose 60 = 4*d - 4*i, 4*d - 57 = i + y*i. Is d a multiple of 6?
True
Suppose 3*w - 33 = 3*y, -2*w + 3*y = -5*w + 15. Let z be 1/(w/(-6))*-4. Suppose 20 = 4*x - 2*n, -2*x - n - z = -17. Is 4 a factor of x?
False
Is 7 + 488/(-72) + (-430)/(-9) a multiple of 3?
True
Suppose 3*w = 159 + 138. Does 33 divide w?
True
Let o be (1 + 3/6)*2. Suppose 2*v - 5*m + 15 = 7*v, o*v = 4*m + 2. Suppose 31 = 4*x - 5*h, 2 = -x + v*h + 12. Does 4 divide x?
True
Suppose j = 5*n + 70, -3*n + 0*n + 140 = 2*j. Does 9 divide j?
False
Let p = -73 - -236. Is p a multiple of 10?
False
Let u(b) = -b + 47. Is u(4) even?
False
Suppose -4*g - 12 = -0, 0 = -4*l + 4*g + 28. Suppose 0 = z - h + 3, -9 = 2*z - l*h + h. Is 5 a factor of -7*(z/(-3) + -2)?
False
Let p(k) be the third derivative of -4*k**6/15 + k**5/60 - k**4/24 - k**3/6 + k**2. Let w be p(-1). Let z = 51 - w. Is 18 a factor of z?
True
Is 19 a factor of ((-3)/(-2))/((-9)/(-252))?
False
Let r = -5 + 5. Suppose -2 + 14 = -2*x + b, -x + 5*b - 15 = r. Let k(z) = z**2 + 4*z + 5. Does 5 divide k(x)?
True
Let r be (-2)/6*(-2 - 1). Suppose 0*f = f - r. Let m = 4 + f. Does 2 divide m?
False
Let g(u) = -43*u - 21. Does 14 divide g(-3)?
False
Suppose 40 = 5*i + 2*x, 0 = -0*x + 5*x - 25. Let t = i - -11. Is 17 a factor of t?
True
Suppose 183 = 4*x + w, 0 = 4*x - 0*x - w - 185. Is 11 a factor of x?
False
Does 20 divide 40 - (-2 + (-3 - -5))?
True
Let k be 0 + -3 + 6 - 15. Let x = 20 + k. Does 3 divide x?
False
Suppose 0*r + 3*r + 9 = -3*v, 4*r - 4*v - 4 = 0. Let a be (-2 - (-4 + r)) + 1. Suppose -a*t = -t - 12. Is t even?
True
Let n be (1/2)/(3/126). Suppose -i + 19 + n = 0. Is 20 a factor of i?
True
Suppose 0 = 3*z, -2*z + 0*z + 8 = 4*n. Let p be -1 + n + 1 - 4. Is (-1 - (2 + p))*-21 a multiple of 14?
False
Let h(r) = -r + 10. Let n be (-9)/3 + (-6)/2. Is 8 a factor of h(n)?
True
Let v(f) = 2*f**3 - 6*f**2 - 7*f + 1. Let w = -9 + 14. Is 33 a factor of v(w)?
True
Suppose 3*b - 7*b = -124. Is b a multiple of 14?
False
Let c be (-4 + 1)*(-10)/3. Suppose -3*p - 18 = -3*k, -5*k + c*k - p = 14. Suppose -k*j - j + 45 = 0. Does 5 divide j?
True
Suppose 2*x - 10 = -3*x. Let p(u) = -u**x + 6*u + 2 + 6 + u + u. Does 10 divide p(6)?
True
Let b = 239 - 64. Is 25 a factor of b?
True
Suppose -2*x + 26 = -4. Does 5 divide x?
True
Let a be (24/3)/(1/(-4)). Let j = 16 + a. Let n = 30 + j. Does 5 divide n?
False
Let f be (-940)/(-15) + 4/(-6). Suppose -2*d = -5*g + f, -4 = 3*g + d - 39. Is 12 a factor of g?
True
Let z(b) = -2*b**3 - 3*b**2 - b + 1. Let o be z(-2). Is (-69)/(-21) - 2/o even?
False
Suppose t = -2*t. Suppose -2*i + 12 = -t*i. Is i a multiple of 4?
False
Let c = -9 - 9. Let d be c/(-4) - 2/4. Suppose 0 = -5*o + 3*v + 99, -4*o = -0*o + d*v - 60. Does 14 divide o?
False
Let l = 8 + -11. Let k = 12 - l. Is 15 a factor of k?
True
Let b(o) = 3*o**2 - 4*o + 4. Is 17 a factor of b(-4)?
True
Let r = -14 + 13. Is (13 - 2)/(r/(-3)) a multiple of 6?
False
Let l = -10 + 15. Suppose 0 = -l*f + 30. Is f a multiple of 6?
True
Let u = -375 + 681. Is u a multiple of 34?
True
Let p(n) = 2*n**2 + 13*n + 9. Let i(o) = 2*o**2 + 4*o + 3. Let j be i(-2). Suppose j*s + 14 = -10. Is p(s) a multiple of 11?
True
Let u(a) = 2*a - 10. Let r = 119 + -78. Suppose 4*y + r = 5*h + y, 18 = 2*h - 2*y. Does 4 divide u(h)?
True
Suppose 5*k - 2 = h + 2*k, 0 = 5*k - 25. Let c(y) = h - y**3 + 0*y + 0*y**2 - y - 2*y**2 + y**2. Is 13 a factor of c(0)?
True
Let l(t) = t**3 + 17*t**2 + 11*t - 30. Is l(-16) a multiple of 9?
False
Is 1/(((-21)/(-174))/7) a multiple of 13?
False
Suppose 2*m - 3*f + 53 - 382 = 0, 0 = 2*m - 5*f - 319. Is 39 a factor of m?
False
Suppose -154 = -2*y + 3*r, 2*y + r - 142 = -2*r. Is 10 a factor of y?
False
Let l(h) be the first derivative of -h**4/4 - 4*h**3/3 + h**2/2 + 3*h - 2. Is l(-5) a multiple of 17?
False
Let v = 0 - -6. Let t(p) = -2*p + 6. Let g be t(v). Does 9 divide (38/(-3))/(g/9)?
False
Let i(r) = -r**3 - 4*r**2 - r + 1. Let k be i(-4). Suppose 4*b = 2*b + 2, -2*b = -k*f + 18. Suppose -f*p + a + 45 = 0, -p - 3*a + 12 = -4*a. Does 11 divide p?
True
Let b be (22/(-3))/((-4)/60). Suppose -2*r - 2*r = 5*x - b, 2*r + 88 = 3*x. Does 13 divide x?
True
Let c be (2/(-4))/((-8)/32). Suppose 8 - 44 = -c*d + 2*z, 4*d = 2*z + 76. Is 20 a factor of d?
True
Let d = -121 + 247. Let r = -89 + d. Is 19 a factor of r?
False
Let o(q) = -4*q - 7. Suppose 3*m - 12 = 0, -5*p + 5*m = -0*m + 40. Let u = -1 + p. Is 5 a factor of o(u)?
False
Let b(k) = k**3 - 7*k**2 + 9*k - 6. Let m be b(6). Suppose 0 = n + 3*v - m, -v = 2*n - 3*v. Suppose 74 = n*d + 2*w, w + 0*w = -2. Is d a multiple of 10?
False
Let z(t) = -12*t - 9. Let f be z(-7). Suppose -w = 2*w - f. Is w a multiple of 25?
True
Let m(y) = -y - 4. Let h be m(3). Let t(q) = q**2 - 4*q + 6. Let g be t(5). Let a = g + h. Is a a multiple of 2?
True
Let l = -14 + 9. Let a(h) = -h**2 - 10*h + 3. Is 7 a factor of a(l)?
True
Let x(j) be the second derivative of 2*j**3/3 + 3*j**2/2 + 2*j. Let a be x(-2). Let s(u) = u**3 + 6*u**2 + u + 1. Does 21 divide s(a)?
True
Let a = 12 - 4. Let s = a + -26. Is 18 a factor of s*2/(1*-2)?
True
Suppose 0 = -v + 5*v. Suppose -a + 20 = -5*w, v = -a + w + 20 + 20. Is a a multiple of 36?
False
Suppose -3*v + v + 5*j - 31 = 0, 4*v = -5*j + 13. Does 9 divide (3 - 3) + (-27)/v?
True
Let o be (-6)/(-2) - (-1 - 0). Suppose -32 = -o*l - 0. Does 7 divide l?
False
Suppose -20 = -2*r + 2*q, -4*q + 33 - 1 = 5*r. Is (-54)/(-7) + r/28 a multiple of 4?
True
Let a(o) = -4 - 1 + 0 - o. Let d be a(-6). Let t = 4 - d. Does 2 divide t?
False
Let g(r) = -r**3 - 5*r**2 + 2*r - 4. Is g(-6) a multiple of 4?
True
Does 11 divide (-276)/(-9)*(-6)/(-4)?
False
Let d = 10 - -8. Is 13 a factor of d?
False
Let g be (-1)/(-2)*(1 + -1). Suppose g*k = -k + 30. Does 10 divide k?
True
Suppose -8 = -2*a + a. Is 4 a factor of a?
True
Suppose 0 = -5*s - 4*a - 83, 0 = 3*s - s - a + 28. Let p be (-1)/(-3) + 20/s. Does 13 divide 258/10 + p/(-5)?
True
Let a(l) = l**3 - 7*l**2 - l + 6. Let j be a(7). Does 4 divide 3/(-9*j/57)?
False
Let l(s) = s**3 - 11*s**2 - 12*s + 18. Is 14 a factor of l(12)?
False
Suppose a - 5*a = 2*w - 102, 2*w = 4*a - 82. Is 5 a factor of a?
False
Let s = -22 - -34. Is s a multiple of 3?
True
Suppose 3*t - 52 = 86. Suppose 4*i - t = -10. Is 7 a factor of i?
False
Let r = -20 - -43. Suppose -5*p + r = -17. Is p a multiple of 4?
True
Suppose -4*x + 0*x - 28 = -3*o, -o = -2*x - 14. Does 5 divide (0 + x + 2)*-5?
True
Suppose -4*d - d = 0. Let i = d - -4. Is -1*4*(-20)/i a multiple of 9?
False
Suppose -3*v + a = -4*a - 32, -3*a = 2*v