 Does 25 divide p(5)?
False
Suppose 0 = 2*k + 3*m - 3 + 2, 2*m = -6. Let c(u) = -13*u**2 + 15*u + 7. Let d(y) = 7*y**2 - 8*y - 3. Let z(l) = -4*c(l) - 7*d(l). Is z(k) a multiple of 17?
False
Let w(v) = 3*v + 5. Is 23 a factor of w(6)?
True
Let u = -5 - -1. Let f be (-6)/((-15)/(-24) - 1). Let x = u + f. Is 8 a factor of x?
False
Suppose -1 = -3*i + 11. Let b = i + 3. Is 7 a factor of b?
True
Is 9856/198 - 2/(-9) a multiple of 38?
False
Let f = 270 + -126. Is 12 a factor of f?
True
Let h = 12 - 7. Suppose -3*w - 3*k = -5*k + 10, -k + h = 0. Suppose -2*i + w*i = -12. Is i a multiple of 5?
False
Suppose -6 = -3*x, j + 5*x - 29 = -0*x. Let z = j + 48. Suppose 4*w = z + 89. Is w a multiple of 16?
False
Suppose 2*g + 121 = 3*o + 3*g, -5*g + 165 = 4*o. Is (-9)/4*o/(-3) a multiple of 15?
True
Let x = 20 - 12. Suppose 3*z = 7*z - x. Suppose 0 = -z*h + 11 + 11. Does 11 divide h?
True
Let c be 3/(-2)*(-4)/3. Suppose c*i - 15 = -3. Is i a multiple of 6?
True
Suppose -147 = -2*n - n. Let d = -5 + n. Suppose -2*q = -d - 2. Does 20 divide q?
False
Does 11 divide 106/5 - (-16)/20?
True
Suppose -6 = z - 4*k, -k + 2 = -3. Let v be 2 - 7/(z/(-36)). Suppose a = v + 2. Is 22 a factor of a?
True
Let s = 74 + -37. Is s a multiple of 14?
False
Let v(b) = -b**3 - 2*b**2 + 2*b + 3. Let y(s) = -3*s. Let u be y(-4). Suppose u = 4*p - 7*p. Does 16 divide v(p)?
False
Suppose 384 = -14*r + 16*r. Is r a multiple of 32?
True
Let h = 380 + -236. Is 41 a factor of h?
False
Let z(y) be the third derivative of -y**7/5040 + y**6/120 - y**5/60 - y**2. Let d(f) be the third derivative of z(f). Is 10 a factor of d(-5)?
False
Let p(b) = b**3 + 6*b**2 + 5*b - 2. Let u be p(-5). Does 27 divide 2 + u + 2 - -106?
True
Let l(c) = -1. Let w(p) = p + 3. Let q(y) = 10*l(y) + 2*w(y). Is q(7) a multiple of 10?
True
Let z be 104/(-18) - (-4)/(-18). Does 16 divide ((-50)/z)/((-1)/(-3))?
False
Let f(x) be the third derivative of -x**6/120 - 3*x**5/20 - 5*x**4/12 - x**3 - x**2. Does 7 divide f(-8)?
False
Let y(p) = 2*p**3 - 9*p**2 + 14*p - 11. Does 14 divide y(5)?
True
Let c = 27 + -11. Is c a multiple of 16?
True
Let n(d) = d**3 - d**2 - 6*d - 2. Is 11 a factor of n(4)?
True
Let w = -1 - -4. Let b(j) = 5*j. Let s be b(w). Let a = s + -2. Does 7 divide a?
False
Let h(p) = 1 + 3*p - 4 + 3. Is 9 a factor of h(6)?
True
Let z(n) be the third derivative of -n**6/120 - n**4/24 + 7*n**3/6 + 10*n**2. Let j be -1*2 + 4/2. Is 2 a factor of z(j)?
False
Let s(n) = -3*n**2 + 84*n - 17. Does 11 divide s(25)?
False
Let h = 279 - 133. Does 15 divide h?
False
Is 16 a factor of 10*2*42/12?
False
Suppose 0 = -3*w + n - 5*n + 46, -2*n = -8. Let f = 2 + w. Is 11 a factor of f?
False
Let b be 2/(-4) - (-2)/4. Suppose 19 = 5*t - 4*n - 157, b = 5*t - n - 164. Is 14 a factor of t?
False
Suppose -8*u - 51 = -m - 4*u, 5*m = u + 179. Is 7 a factor of m?
True
Let p = 103 + -42. Is -3 + p + 1 - 2 a multiple of 19?
True
Let d = -24 - -165. Is d a multiple of 35?
False
Suppose -2*o + 2*k + 4 = -38, -2*o + 48 = -4*k. Suppose -o = 4*n - 62. Is n a multiple of 6?
False
Let h = -2 - 11. Let f = h - -78. Is f a multiple of 15?
False
Let l = 3 - 7. Let t = l - -9. Suppose 68 + 12 = t*y. Does 8 divide y?
True
Suppose -3*a - 99 = -3*n, -5*a + 4*a = 3*n - 111. Is 12 a factor of n?
True
Let j be -1 + -2 - (-224)/14. Suppose z + j = 2*z. Is 6 a factor of z?
False
Let o(v) = -10*v + 1. Let i be o(4). Let a = i - -55. Let z = a - 5. Is z a multiple of 6?
False
Let n be (1 + 1)*(-3)/6. Let q(y) = -42*y**3 + y**2 + y. Is q(n) a multiple of 21?
True
Suppose -6 = -k - k. Suppose -k*a - a + 36 = 0. Does 9 divide a?
True
Let c(w) = w**2 + 13*w + 2. Is c(-16) a multiple of 15?
False
Suppose -3*g - 3*o - 9 = -2*g, -3*g = -2*o + 5. Let b = g - -3. Suppose b = 4*t - 70 - 6. Is 19 a factor of t?
True
Suppose 0 = 4*o - s - 841, 0*o - 4*s - 214 = -o. Suppose 3*m - o = -2*m. Does 14 divide m?
True
Let d = 24 + -11. Does 3 divide d?
False
Let c be (-1)/2 + 1/2. Suppose c*u - 66 = -2*u. Does 11 divide u?
True
Let j(q) = 3*q + 1. Let o be j(2). Suppose -o*x + 235 = -2*x. Does 16 divide x?
False
Let w = -19 + 23. Suppose 35 + w = 3*l. Does 10 divide l?
False
Let a(i) = 7*i - 1. Let g be a(1). Suppose 0*r + 2 = 4*o - 5*r, -4*r = -8. Let f = g - o. Is 3 a factor of f?
True
Let n = 8 - -1. Let l(w) = w + 9. Let q be l(n). Suppose -4*x + q = -3*c, 0 = -x + 2*x - 3*c - 9. Does 3 divide x?
True
Suppose -3*l - 183 = -d, 2*l = -2*d - 0*l + 390. Does 14 divide d?
False
Let c = 3 + 123. Suppose -3*q - 80 + 23 = 2*r, -c = 4*r + 2*q. Let t = 47 + r. Is t a multiple of 14?
True
Let g(z) = z**2 + 2*z - 8. Let c be g(6). Let v = -8 + c. Is 16 a factor of v?
True
Is (16 - -2) + 0/7 a multiple of 12?
False
Suppose 3*x = -5*q + 97, 4*q - 2*x = 44 + 38. Is q a multiple of 20?
True
Let f(m) = m**2 - 5*m + 5. Let g be f(4). Let u(o) = 3*o**2 + 3*o. Let t be u(-2). Let l = g + t. Is l a multiple of 7?
True
Let b be (-38)/(-8) + (-3)/4. Suppose 0 = b*v + 11 - 491. Does 30 divide v?
True
Suppose -87 = -5*d + 2*d. Let x = 53 - d. Is x a multiple of 8?
True
Let k = 11 - 10. Is 6 a factor of 18 - (1 + 0 - k)?
True
Let y(g) = 17*g + 43. Is 16 a factor of y(5)?
True
Is 13 a factor of (-2)/((-10)/(-15)) - -81?
True
Is 34 a factor of -340*(24/(-160) - 2/8)?
True
Suppose 52 = 5*s - 118. Is s a multiple of 17?
True
Let u(l) be the second derivative of -l**7/840 - l**6/72 - l**5/120 + l**4/4 - l**3/6 + 2*l. Let p(c) be the second derivative of u(c). Does 11 divide p(-5)?
True
Let w(j) = j**3 - j**2 + 1. Let q be w(-1). Let t be q + 1*(1 - -6). Is (-3)/(t/(-2))*14 a multiple of 12?
False
Let a(w) = -w**2 - 7*w - 4. Let g be (0 + -2)/((-1)/(-3)). Let q be a(g). Is 16 a factor of 2*-17*q/(-4)?
False
Let p = 16 + -11. Suppose -p*c = 2*f - 250, -3*c + 211 = -5*f + 61. Is 16 a factor of c?
False
Suppose 0 = -7*z + 2*z + 10. Suppose x - 2 = z. Does 4 divide x?
True
Let c(y) = -y**2 + 4*y - 3. Let p be c(4). Let n be (-10)/4 + p/(-6). Does 12 divide 11/(-1)*-2 - n?
True
Suppose -3*n = -3, -6*r + 4*r - n + 153 = 0. Does 19 divide r?
True
Let m = -147 - -295. Is m a multiple of 31?
False
Suppose -y = -3*t - 137 - 17, 4*t + 3*y + 188 = 0. Let b be 5/(-15) - t/6. Let x = b + 13. Is x a multiple of 11?
False
Suppose i = 2*j - 119, -6*i = -2*j - i + 131. Suppose -o + 3*o - 46 = -3*h, -j = -2*o + 3*h. Does 7 divide o?
False
Suppose -2*a + 120 = a. Suppose -4*g + a = -0*g. Suppose -3*t = -4*t + g. Is t a multiple of 4?
False
Let c = -6 - -12. Suppose -5*d + 4 = -t - 19, 0 = 3*t - c. Is 2 a factor of d?
False
Let k(r) = r**3 - r**2 + r + 24. Does 12 divide k(0)?
True
Let m be (2 - (-4 - -7)) + 6. Suppose 0*o + 240 = m*o. Is o a multiple of 16?
True
Let h(n) = n**2 - n + 1. Let y be h(2). Suppose 0*d - 4 = q + 2*d, 0 = q + y*d + 8. Suppose q*f + 0*f = 88. Is 8 a factor of f?
False
Suppose 0*d + 88 = 2*d. Let q = 74 - d. Is q a multiple of 8?
False
Let x = 297 + -147. Is 16 a factor of x?
False
Let k = 123 + -102. Is 2 a factor of k?
False
Suppose 0 = 5*g - 5*v - 100, -v = g + 5 - 33. Suppose 0 = w + 5*r - 16 - g, -24 = -w + 3*r. Is w a multiple of 16?
False
Let x(o) = 5*o**3 - 2*o**2 - o - 2. Let k be x(2). Let p = 0 - -6. Suppose z = -p + k. Is 12 a factor of z?
False
Let z = -9 + 53. Is z a multiple of 44?
True
Let f = -3 - -5. Suppose m - 2*a + 6 = -f, -20 = -3*m - 5*a. Suppose -t - t + 98 = m. Is 18 a factor of t?
False
Let s = -4 + 1. Let q(a) be the first derivative of -6*a**2 + 4*a + 1. Does 20 divide q(s)?
True
Let z(u) = -u**3 + 5*u**2 + 5*u + 8. Let i be z(6). Suppose 3*b - 100 = 74. Suppose b - 10 = i*h. Is 12 a factor of h?
True
Suppose -3*u + 244 = 28. Does 9 divide u?
True
Let b(p) = 9*p + 2*p**2 - 9*p. Let x be b(1). Suppose 2*y - 14 = 2*m, 11 = -3*y + x*m + 30. Is y even?
False
Let p = 2 - -1. Let b(w) = -w**3 + 4*w**2. Let q be b(p). Suppose 5*d = 4*g + 54 - 4, -4*d - 3*g = -q. Does 6 divide d?
True
Let p = 13 + -38. Let q be p/(-3) - (-1)/(-3). Suppose q = 3*u - 34. Is u a multiple of 7?
True
Is -6*5*35/(-21) a multiple of 10?
True
Let z(r) = r**2 - 4*r + 5. Is z(4) a multiple of 5?
True
Suppose a + 0*a - 15 = 0. Is a a multiple of 7?
False
Suppose 5 = 5*g - 15. Let x(u) = 3*u**2 - 3*u - 4. Does 22 divide x(g)?
False
Suppose 0 = -5*h + 4*l + 31, -h + 5*l + 5 + 18 = 0. Suppose -3*q - 36 = 