 -63. Let n = c - -106. Is 26 a factor of n?
False
Let p(k) = -9*k**3 + 2*k**2 - 2*k - 1. Let y = 32 + -30. Suppose 3*o = -i - 6 - y, i + 2*o + 6 = 0. Does 25 divide p(i)?
False
Let u(q) = 3*q**2 + 6*q + 21. Let v be u(7). Suppose 0 = -7*t + 77 + v. Is t a multiple of 7?
False
Suppose -5*x - 79 - 54 = -4*d, -157 = -4*d - 3*x. Let q = 29 - d. Is 5 a factor of q/20 - (-54)/10?
True
Let s(k) = -k**3 + 22*k**2 - 6*k - 95. Is 15 a factor of s(20)?
True
Let m = -4 - -7. Suppose 5*j - 170 = -r + 225, m*r = j - 63. Let b = j - 46. Is b a multiple of 12?
False
Let a(d) = 175*d**2 + 15*d + 2. Does 8 divide a(1)?
True
Let t(q) = 74*q - 36. Let y(c) = 25*c - 12. Let z(u) = 3*t(u) - 10*y(u). Is 16 a factor of z(-3)?
True
Let b = -4225 + 6056. Is b a multiple of 10?
False
Suppose -3*h + 2 = -58. Suppose 3*w = -3*y + y - h, -3*w - 28 = 4*y. Is (-82)/w + (-9)/18 a multiple of 4?
True
Is 7 a factor of 41 + 18/12*(0 - -4)?
False
Let s(x) = 16*x**2 - 14*x + 18. Is 25 a factor of s(10)?
False
Suppose -h + 5*h - 2*q - 14 = 0, -3 = -3*q. Let l be 522/(-14) - h/(-14). Let a = -17 - l. Is 10 a factor of a?
True
Let p = 293 - 525. Let f = p + 340. Is 9 a factor of f?
True
Suppose -3*k + 47 = 5*c, -3*c = -3*k + 2*c + 7. Does 26 divide ((-15)/(-4))/(k/360)?
False
Let g = 20 - 13. Suppose 8*s - g*s + 5*n = 47, 5*s - n - 105 = 0. Is s a multiple of 22?
True
Let f(i) be the third derivative of i**4/4 + 7*i**3/3 + 2*i**2. Let n be 1/7 - 380/(-35). Does 25 divide f(n)?
False
Let z be 1/(-3) - (-248)/6. Suppose 1 = f - 2*w, 5*f = -0*f - w - 28. Let u = z + f. Is 18 a factor of u?
True
Does 25 divide (-345)/(-92)*200/2?
True
Let a(f) be the third derivative of 7*f**5/15 + f**4/24 - f**3/6 + 4*f**2. Let p be a(1). Suppose 4*y = 3*x - p, 4*x + y - 38 = x. Is 12 a factor of x?
True
Let x(v) = -4*v**3 - 14*v**2 + 2*v - 6. Does 27 divide x(-6)?
False
Let j be (23 - 2) + 2 + -3. Let s = j + 7. Does 8 divide 35/3 + (-18)/s?
False
Let x = 6 - -11. Suppose 4*c = -5*k + 2*c + 34, -3*c = -k + x. Let i = k - 2. Does 3 divide i?
True
Let j(z) = -z + 12. Let t be j(-15). Suppose 6*m - t = 33. Is 5 a factor of m?
True
Let b be ((-28)/16 - 3/(-4)) + -18. Let n(a) = a**2 + 17*a + 34. Is n(b) a multiple of 18?
True
Let x = -10 + 12. Suppose -2*n + 404 = x*n. Suppose -j = s - 25, -3*j - s - n = -8*j. Is j a multiple of 12?
False
Does 9 divide (6723/18)/(3/6)?
True
Let u(g) = 2*g - 8. Let y be u(5). Suppose b - y*b + 9 = 0. Is b a multiple of 9?
True
Let d(w) = w**3 - 4*w**2 - 2*w - 7. Let a be 4 + (-1 - 2 - -2). Suppose -5*m = 3*v - a*m - 7, 17 = v - 3*m. Does 3 divide d(v)?
False
Suppose -60 = -8*v + 3*v - 3*n, v - 29 = -4*n. Suppose -182 = -v*x - 47. Is x a multiple of 3?
True
Let k(w) = 7*w**3 - 9*w**2 - 2*w - 10. Let s(v) = 15*v**3 - 19*v**2 - 4*v - 21. Let y(d) = -13*k(d) + 6*s(d). Does 10 divide y(3)?
True
Let c = -100 + 84. Let q(r) = r**3 + 15*r**2 - 15*r + 30. Is 7 a factor of q(c)?
True
Suppose -b = -2*c - 181, 2*c - 3*c = -5*b + 77. Let a be (c/16 + -1)*-4. Suppose 0 = 2*k + 2*o - a - 55, 4*k - 119 = 5*o. Does 9 divide k?
True
Let a = -30 - -61. Suppose -3*r = -35 - a. Is 22 a factor of r?
True
Suppose 316*i = -4*p + 314*i + 14086, 3*i - 10572 = -3*p. Is p a multiple of 103?
False
Suppose -4*u + u + 24 = 0. Suppose q - u*q + 35 = 0. Suppose -6*d = -3*d + q*n - 116, 2*n - 8 = 0. Is d a multiple of 24?
False
Let y(g) = -78*g**2 + 6*g + 4 + 79*g**2 + 7*g. Does 17 divide y(-15)?
True
Let b(j) = -2*j**2 + 7*j. Let a be b(5). Let c = a - -12. Is -5*c/(-9)*-6 a multiple of 5?
True
Let t be -11*(2 - 3) + -5. Is 4 a factor of (-3 + t)*(-69)/(-9) - -2?
False
Suppose 2*r = -4*h + 24, -4*h - 4*r = -12 - 4. Let n(x) = 12*x - 5. Is 14 a factor of n(h)?
False
Suppose 3264 + 16195 = 11*z. Is z a multiple of 31?
False
Let h = 13 - -7. Let w = -37 + h. Let j = w + 25. Is 5 a factor of j?
False
Suppose p + 4*p + 45 = 0. Let x(h) = h**2 + 8*h - 5. Let q be x(p). Suppose -q*b + 39 = -13. Is b a multiple of 13?
True
Suppose -2*a - p + 749 = 62, -4*p + 1018 = 3*a. Suppose -5*v + a = -59. Does 27 divide v?
True
Suppose 5*g - t - 3277 = 0, -2*t + 1297 = 2*g - 7*t. Does 38 divide g?
False
Let z(t) = t**2 - 8*t + 10. Let r be z(7). Suppose r*v + 0*v - 24 = 0. Suppose 0 = -p + 2*y + v, 0 = -4*p + y + 25. Is 6 a factor of p?
True
Let a be (-34)/4 + (-1)/2. Let z(u) = u**3 + 10*u**2 + 9*u + 4. Let y be z(a). Suppose 316 = y*g + 52. Is g a multiple of 20?
False
Let n = 660 + -350. Is n a multiple of 5?
True
Let w be 28/12 + -1*6/(-9). Suppose -k = -w - 12. Does 3 divide k?
True
Let p(j) = 8*j + 0*j - 4*j. Let d be (1 + 15)*12/16. Is p(d) a multiple of 12?
True
Let b = -7 - -10. Let a(d) = 11*d**3 - b + 12*d**3 + 5 - 3. Does 11 divide a(1)?
True
Is 15 a factor of (6/(-5))/((-7)/9975)?
True
Let h be 24*(33/9 - 3). Let l be 7/(-4) - 4/h. Is (-46)/((2 - 1)*l) a multiple of 4?
False
Suppose -5*m + 59 = 4*u, -2*u = -1 - 1. Let b = m + -7. Is b even?
True
Let u(p) = 2*p + 8. Let c be u(-6). Let y be c/24 + 165/18. Suppose -q - 17 = -2*g, q + 2*q = -4*g + y. Is g a multiple of 6?
True
Let t = -17 + 17. Let f(j) = -j**3 + 21. Let q be f(t). Does 22 divide 2/(-6) - (-1414)/q?
False
Let j be (102/(-2))/(2/(-14)). Let y be 14 - 2*(-25)/(-10). Is 12 a factor of (-6)/y - j/(-9)?
False
Suppose 4*r = 4*s - 176, s + s - 2 = 0. Let g = 79 + r. Does 9 divide g?
True
Suppose 0 = 4*j - 14 + 2. Suppose h + 5 = 0, 5*f - 76 = -j*h + 24. Does 4 divide f?
False
Suppose 13 = o + 8. Suppose 3*h - 9 = d, -4*h + o*h = -3*d + 13. Suppose d*m = 98 + 70. Does 14 divide m?
True
Let u(k) = 3*k**3 - k**2 + k - 1. Let a be u(1). Suppose a*g = -g + 39. Does 3 divide g?
False
Suppose -9*l + 256 = -5*l. Suppose 150 = 5*c + 3*n, 0 = 3*c + 6*n - n - 90. Suppose c = 2*w - l. Is w a multiple of 15?
False
Suppose 19*d - 16 = 23*d. Let b be -1 + (0 - d) + 0. Let w(y) = y**3 - 2*y**2 + 2*y - 4. Is w(b) even?
False
Let g(s) = 2*s**2 - 5*s - 3. Let b(h) = 5*h**2 - h. Let z(c) = -c + 5. Let u be z(6). Let x be b(u). Does 13 divide g(x)?
True
Let l be (-2)/(-4)*2*-3. Suppose -34 = -2*c - d, -2*c - 2*d = -4*d - 40. Let n = l + c. Is 10 a factor of n?
False
Let w = -225 - -59. Let h = -76 - w. Does 30 divide h?
True
Let d(b) be the second derivative of -b**4/12 - 5*b**3/6 + 3*b**2 + 5*b. Let k be d(-7). Is (156/8)/((-6)/k) a multiple of 13?
True
Suppose -2*n = -5*f + 94, f + 3*n = -f + 49. Let j be ((-5)/(-2))/(2/f). Suppose 0 = w - j + 1. Is 12 a factor of w?
True
Let m(u) be the second derivative of -u**5/20 + u**4/12 + 36*u**2 + 5*u. Suppose 2*t - o - o = 4, 3*t - 4*o = 8. Is m(t) a multiple of 29?
False
Let f = -21 - -4. Let r = 16 + f. Is 4/(4/r) - -28 a multiple of 9?
True
Let w = -120 + 293. Let i = -1477 + 1584. Let m = w - i. Is 10 a factor of m?
False
Let v(r) be the first derivative of 5*r**3/3 + 6*r**2 - 5*r + 11. Is 12 a factor of v(-5)?
True
Let k(y) be the second derivative of -33*y**5/10 + y**4/12 + y**3/3 + y**2/2 + 33*y. Let m(t) = -t**3 + t**2 - t - 1. Let r be m(0). Does 22 divide k(r)?
True
Let o = -43 + 87. Let d(s) = -5*s**2 + 2*s - 2. Let t be d(-2). Let y = o + t. Is 5 a factor of y?
False
Suppose 0*w - 2*a = -3*w + 22, -3*a - 36 = -5*w. Let o = w + 3. Suppose -4*m = -o*m + 115. Does 9 divide m?
False
Let l(x) be the third derivative of 7*x**6/20 + x**4/6 - x**3/2 - 8*x**2 - x. Does 8 divide l(1)?
False
Suppose 8*j - 6 = -30. Let s = j + 42. Does 20 divide s?
False
Suppose 9*m - 11*m = -4, h + 2*m - 430 = 0. Is 10 a factor of h?
False
Suppose -478 = -7*u + 796. Is u a multiple of 55?
False
Let t(l) = -l**2 + 4*l + 23. Let q be t(7). Suppose 0 = -3*j - q*j + 160. Is 12 a factor of j?
False
Let v be ((-1 - -1) + (-7)/(-7))/1. Is v*267 - (-25 - -25) a multiple of 26?
False
Suppose -4*l + 14 - 6 = 0. Is 32 a factor of -3 - (l - 3) - -226?
True
Is (-11874)/(-30) + 12/(-15) a multiple of 41?
False
Suppose u - 3 = -7. Let p be 0 - 4/(u/3). Let v(j) = 4*j**2 - j - 3. Is v(p) a multiple of 10?
True
Suppose -23 + 18 = -z. Suppose -4*q = -z*y + 607, -y + 127 = q + q. Is 25 a factor of y?
False
Suppose n = 2*x - 551, 277 = x - 2*n + n. Does 42 divide x?
False
Suppose 0 = 3*f + x - 50, -4*f + 5*x = f - 70. Let j = -16 + f. Is 3 a factor of (-18 + j)*(-2)/6?
True
Let v(m) = 10*m**3 - 15*m**2 + 6*m + 21. Let w(b) = -2*b**3 + 3*b**2 - b - 4. Let r(s) = 