9116. Is j a multiple of 32?
False
Let m be (-2)/(-7)*1*7. Suppose 6 = -m*j + 146. Does 29 divide (-3 + 1)*j/(-4)?
False
Suppose 0 = 2*p - 9*p + 84. Suppose 0 = -2*x - t + 33, 3 + p = -5*t. Does 9 divide x?
True
Let a(d) = -d**3 - 9*d**2 + 2*d - 5. Let w be a(-8). Is 26 a factor of -8 - w - (-3)/(-6)*-2?
True
Let d = 3264 + -3012. Does 13 divide d?
False
Let f be 21 + (3 + -2 - 4). Let j be (-25106)/f + (-10)/45. Is 21 a factor of j/(-36) + 1/4?
False
Let b be (5/3 + -2)*-15. Suppose -b*m = -5*k + 375, k + m - 69 = -0*m. Is k a multiple of 24?
True
Let k(z) = -z**3 + 5*z**2 - 4*z. Let t be k(6). Let y = 105 + t. Is 5 a factor of y?
True
Let d(r) = 270*r**2 + 5*r - 6. Is d(1) a multiple of 42?
False
Let s(w) = -8*w + 63. Let x be s(7). Suppose 3*y + 3*f = 21, 3*f - 44 = -5*y + x*f. Does 5 divide y?
False
Let f be (-5 + 1)/16 + (-598)/8. Let u = -31 - f. Is u a multiple of 11?
True
Let n = 220 - 98. Let j = n - 36. Suppose -7*k = -110 - j. Is 14 a factor of k?
True
Suppose 10*g - 132 = 8*g. Is g a multiple of 9?
False
Let b = 0 - -12. Suppose -4*x + x + b = 0. Suppose x = 3*s - 101. Is 14 a factor of s?
False
Let i(m) = 17*m**2 - 32*m + 5. Is i(6) a multiple of 5?
True
Suppose 4*q - 2*m - 3042 = 0, -5*m + 416 = q - 372. Is 14 a factor of q?
False
Suppose 0 = -5*t, -4*i + 0*t + 500 = -3*t. Let d = i - 81. Is 10 a factor of d?
False
Let n(z) = 6*z + 4*z + z**3 - 8*z - 2 - 12*z**2. Let g(t) = t**2 + 5*t + 6. Let q be g(-6). Does 11 divide n(q)?
True
Suppose 10*v - 1669 = 91. Is v a multiple of 8?
True
Let m(g) = -3*g + 4. Let f = -8 - -11. Let v be m(f). Let h(n) = -n**3 - 4*n**2 + 2*n + 5. Does 10 divide h(v)?
True
Is 7 a factor of (-18)/15*-5 + 64?
True
Suppose -16*b - 610 = -26*b. Is 8 a factor of b?
False
Let i(v) = -3*v + 590. Is 10 a factor of i(43)?
False
Let r(l) = -24*l**3 + 3*l**2 - 2*l + 4. Let i(t) = t**2 + 1. Let j(a) = -4*i(a) + r(a). Does 11 divide j(-1)?
False
Suppose 101 = 3*q + 14. Suppose 29*f - 72 = 15. Suppose 0 = f*w - 7 - q. Is 4 a factor of w?
True
Let b(r) be the third derivative of -r**6/120 + 3*r**5/20 - 8*r**2. Let o be b(9). Suppose 0 = 5*m - o*m - 215. Does 13 divide m?
False
Let q(k) = k**2 - 11*k + 4. Let o be q(13). Let u = o - 25. Does 5 divide u?
True
Suppose 12*k = 6522 + 4854. Is 79 a factor of k?
True
Is 70 + (-4 + -1 - 4 - -4) a multiple of 13?
True
Suppose 0 = a + 5*g - 112, 3*g + 0*g = 2*a - 276. Is a a multiple of 5?
False
Suppose 0 = -214*q + 204*q + 11380. Is 57 a factor of q?
False
Let v(j) = j**2 + 10*j - 9. Let q be ((-1)/2)/((-3)/(-66)). Let u be v(q). Suppose u*n = 3*n - 23. Is 23 a factor of n?
True
Let o be (-1)/(-1) - (-11 - -4). Let z be -4 + (o/2 - 2). Is (-5)/((z/(-24))/(-1)) a multiple of 30?
True
Suppose 0 = -3*v + 3*k + 216, 3*k - 2 = 4. Suppose -2*z + 2*p + 164 = -0*p, 3*p = z - v. Does 3 divide 4/6 - z/(-6)?
True
Suppose m + 5*v - 187 = 0, 397 = 2*m + 2*v + 63. Is m a multiple of 27?
True
Let h(x) = 4*x + 67. Does 15 divide h(17)?
True
Let y(w) = w**2 - 2*w - 22. Let d be y(-4). Suppose -d*b - a + 103 = -b, -4*a = 2*b - 204. Does 11 divide b?
False
Let l be ((-6)/18)/(1/(-12)). Suppose l*n + n - 105 = 0. Is n a multiple of 5?
False
Suppose 86*y - 67070 = 61070. Does 8 divide y?
False
Let k(r) = r**3 - 27*r**2 + 13*r + 33. Does 48 divide k(27)?
True
Suppose 426 = -5*s + 1501. Suppose 2*h - 5*p = s, -h + 4*p - 380 = -4*h. Is h a multiple of 23?
False
Suppose 4*x = 5*w + 5881, -5*x - 2*w + 8750 = 1374. Does 134 divide x?
True
Let k(o) be the third derivative of o**7/1680 - o**6/720 + o**5/12 + 4*o**2. Let b(d) be the third derivative of k(d). Is 26 a factor of b(9)?
True
Let h be (-1)/((-4)/(-12))*-1. Let s(g) = -7*g - 1. Let u be s(h). Let z = 36 + u. Does 14 divide z?
True
Let f = 14 - 12. Suppose 4*s + f*g + 0*g - 56 = 0, 4*g - 14 = -s. Let n = s - 5. Is 4 a factor of n?
False
Let a = 270 + -238. Is 4 a factor of a?
True
Let t(v) = 26*v**2 + 3*v + 1. Let p be t(-1). Suppose 0 = 7*i - 116 - p. Is 10 a factor of i?
True
Suppose 38*u - 60 = 32*u. Suppose 1752 = u*p - 778. Is p a multiple of 40?
False
Let h(v) be the third derivative of 5*v**4/6 - 13*v**3/2 + 30*v**2. Does 7 divide h(3)?
True
Let o = -46 - 1. Let l = 102 + o. Is 11 a factor of l?
True
Suppose -192 = -3*i + 21. Suppose -3*s + c + i = 0, s = 5*c - 3*c + 22. Is (s/10 + -2)*40 a multiple of 16?
True
Let v = -232 + 324. Is 4 a factor of v?
True
Suppose 4*p = -b - 23, 2*p + 2*p - 5*b + 29 = 0. Is ((-4 - 0)/(-2))/(p/(-69)) a multiple of 7?
False
Let a(v) = 21*v - 154. Does 6 divide a(12)?
False
Suppose 4*f + 4*f - 3480 = 0. Does 15 divide f?
True
Let c(u) = u**3 - 23*u**2 + 21*u + 14. Let x be c(22). Does 10 divide (-5*11)/(4/x)?
True
Suppose -5*s + 2*s = -4*j - 2332, -j = -5*s + 3898. Does 26 divide s?
True
Suppose -4*v = 9 - 21. Suppose 11*h - 1372 = -v*h. Is 14 a factor of h?
True
Let q be (30/4)/((-24)/(-112)). Suppose -4*r + 7 = q. Let g(o) = o**3 + 7*o**2 - o + 10. Is g(r) a multiple of 7?
False
Let u(z) = -z + 12. Let p be u(10). Suppose -6 = -p*x - 4*k, 2*k - 36 = -5*x - k. Let c = x + 5. Is c a multiple of 3?
False
Let z(o) = 25*o**2 + 39*o + 340. Is z(-10) a multiple of 51?
False
Let y = 187 + -66. Suppose 2*o - 23 = y. Is 8 a factor of o?
True
Suppose -6*k + 2*k - 99 = -5*f, -2*k = 2*f + 36. Let v be -1*(k/3 - -2). Suppose v*y - 224 + 74 = 0. Does 18 divide y?
False
Suppose -8*r - 15*r + 15824 = 0. Is 16 a factor of r?
True
Let i = 1370 - 450. Is 54 a factor of i?
False
Let i(l) = 111*l - 195. Does 38 divide i(11)?
True
Suppose -5*h - 1467 + 122 = 0. Let p = 438 + h. Is p a multiple of 13?
True
Let o(c) = -c**3 + 12*c**2 - 9*c + 8. Let i be o(11). Let y(k) = -k**2 + k - 1. Let u be y(2). Does 10 divide (-1)/(u/i)*2?
True
Is 3096/42 + 4/14 a multiple of 2?
True
Let n be (-14)/(-7) - (-1 - 14). Let g be n/2 - (-5)/10. Is 2/g + (-356)/(-18) a multiple of 7?
False
Let z(f) = -2*f**2 - 2. Let s(y) = -y**2 + 16*y - 18. Let a be s(15). Let m(o) = o**2 + o + 2. Let h(x) = a*z(x) - 2*m(x). Is 14 a factor of h(2)?
True
Let r(s) = 30*s**2 + 65*s + 13. Is 61 a factor of r(-11)?
True
Let m(k) = -k**2 - 12*k. Let d be m(-12). Is (d + 72/(-28))*(-56)/6 a multiple of 5?
False
Suppose 3*u - 109 = 17. Suppose u*h - 41*h - 4 = 0. Suppose -5*z + h*y = -137 - 112, -2*y + 273 = 5*z. Is z a multiple of 11?
False
Let a be (-243)/(-18) - 1/(-2). Suppose 8 - a = -z. Let h(s) = 5*s - 16. Does 4 divide h(z)?
False
Is (217/(-4))/(-4 - (-2413)/608) a multiple of 51?
False
Let r = -118 + 196. Let s = r + -27. Is 17 a factor of s?
True
Let a be 0/(-2)*(-4)/8. Suppose a = 17*y - 13*y - 112. Is y a multiple of 19?
False
Suppose 119*u = 141*u - 8624. Does 8 divide u?
True
Let g(w) = -482*w + 541. Is g(-9) a multiple of 11?
False
Let k = -1568 + 1686. Does 2 divide k?
True
Let m = 395 - 230. Let z = m - 141. Is z a multiple of 8?
True
Let u(s) = -21*s**3 - 2*s**2 - 5*s - 2. Is 7 a factor of u(-2)?
True
Suppose 3*i - 15*i + 36 = 0. Suppose i*k - 216 = -5*g, 314 = 4*k - 3*g + g. Does 7 divide k?
True
Let n(z) = 2*z**3 - 20*z**2 + 12*z + 13. Is n(13) a multiple of 13?
True
Let u(s) = 6*s**2 + 3*s**3 - 4*s**3 - 22 + 31 + 6*s. Let m be u(7). Suppose -4*z = -3*l + 5*l - 52, 8 = m*z. Does 9 divide l?
True
Let d(a) = 2732*a**2 + 41*a - 42. Is 33 a factor of d(1)?
False
Suppose 2154 - 124 = 5*v - 3*r, 389 = v - 4*r. Is v a multiple of 41?
False
Let w = 13 - 13. Suppose w = 6*b + 4 - 28. Suppose -b*k = 2*q - 84, 4*q + 19 = k - 2. Is 7 a factor of k?
True
Suppose -v + 0 = a - 7, 0 = -4*a - 5*v + 26. Suppose -j = -4*j - a. Is 10 a factor of (-3)/(-9)*(27 - j)?
True
Suppose i - 23*i + 26928 = 0. Does 9 divide i?
True
Let o = 251 + -91. Suppose -3*b + t + 814 - 334 = 0, 0 = b - 3*t - o. Does 10 divide b?
True
Suppose -3*k = -4*i - 552, -5*k - i + 644 + 276 = 0. Let q = k - 124. Suppose -7*u = -8*u + q. Does 30 divide u?
True
Let r(q) = -q**3 + 15*q**2 - 3*q - 10. Let y be r(13). Let l = y + -156. Does 27 divide l?
False
Let l(a) = 5*a + a**3 + 2*a**3 - 4*a**2 - a + 2 - 4*a**3. Let j be l(-4). Let g = 0 - j. Is g a multiple of 14?
True
Suppose 4*i = -2*x - 64, -2*x + 2*i = -6*x - 98. Is (2/4)/(x/(-1848)) a multiple of 8?
False
Suppose 0 = -d + 3*f + 21, -7 = -2*d - 0*f - f. Is 20 a factor of 441/7 + (3 - d)?
True
Suppose 0*b + 3*b - 3*m = 0, -b + 5*m = 0. Suppose b = 