 + 167. Let p(k) = -94*k + 56 + 32*k + 44*k. Let c(z) = -3*f(z) + 8*p(z). Is 7 a factor of c(9)?
False
Let m(z) = 5*z**3 - 17*z**2 - 67*z - 11. Let w(u) = 27*u**3 - 86*u**2 - 334*u - 55. Let i(o) = 11*m(o) - 2*w(o). Does 18 divide i(21)?
False
Let j(w) = -w**3 - w**2 - 3*w - 3. Let i be j(-1). Suppose i = 5*n + 79 - 19. Let x(v) = v**2 + 7*v + 4. Is x(n) a multiple of 8?
True
Let r be (-6)/57 + 8/76. Suppose -c = -4*w + 1533, r = 4*w + c + c - 1518. Is w a multiple of 13?
False
Let q be (-3)/18*3*(25 - 27). Let y(c) = -28*c. Let d(i) = 29*i + 1. Let h(t) = -5*d(t) - 6*y(t). Is 2 a factor of h(q)?
True
Let w(v) = -v**3 + 16*v**2 + 5*v - 12. Let m(s) = s + 28. Let j be m(-12). Let f be w(j). Suppose -p = 4*o - 237, -o - 4*p = 20 - f. Does 15 divide o?
True
Let j = 107 + -105. Suppose 928 = o - 4*p, j*o - 3*p = -p + 1844. Does 56 divide o?
False
Suppose -37 = -i - 3*s, 5*i - 130 = -s - 3*s. Let j(r) = r**2 - 18*r + 32. Does 15 divide j(i)?
True
Let k = -10968 - -15759. Is 40 a factor of k?
False
Suppose 0 = 3*q - 86 - 67. Suppose -2068 = -55*h + q*h. Does 54 divide h?
False
Let q(x) = -3*x - 8. Let j be (6/(-4))/(3/6). Let f be q(j). Suppose 6*t - 85 = -f. Is t a multiple of 3?
False
Let w = 363 + -644. Let u = 505 + w. Let c = u + -42. Does 13 divide c?
True
Suppose 5*j + 86410 + 419758 = 36*j. Is 69 a factor of j?
False
Is 69/(-23)*55216/(-12) a multiple of 34?
True
Let k(h) be the first derivative of 5/2*h**2 + 2*h - 1/4*h**4 - 1/3*h**3 + 19. Does 5 divide k(-4)?
True
Suppose 4*g - 32644 = -5*h, -2*h - 3*h = 2*g - 32652. Does 142 divide h?
True
Suppose -22*x + 855912 - 175512 = 78*x. Is x a multiple of 81?
True
Let p(s) = s**3 - 10*s**2 - 13*s + 24. Let l be p(11). Let c(f) = 6*f**2 + 26 + l*f**2 - 3*f - 5*f**2 + 5*f. Does 39 divide c(8)?
True
Let z(y) = y**3 - 11*y**2 + 13*y + 15. Let t be z(10). Let j = 50 - t. Suppose 4*s + 2*g - 444 = 0, 4*s = j*g - 2*g + 444. Does 37 divide s?
True
Let k be (-2*15/2)/((-3)/19). Let z = k - -158. Does 18 divide z?
False
Suppose 4*s - 2*f = f + 134, -3*s + 107 = f. Suppose -4*m = 73 + s. Let c(q) = -q**3 - 27*q**2 + 56. Is c(m) a multiple of 14?
True
Let j(a) = -a**2 + 21*a + 34. Let y be j(22). Let l(z) = -z**2 + 22*z - 26. Let v be l(y). Let t = -76 + v. Is 5 a factor of t?
False
Suppose 590*i + 33533 = 3*m + 588*i, -2*m = -i - 22358. Is 105 a factor of m?
False
Suppose 21*t - 22*t = -3*o - 1867, -7570 = -4*t - 5*o. Does 29 divide t?
True
Suppose 3*b + 243 = 30*b. Does 11 divide 12/(-5)*(b - 2785/15)?
False
Let k = 62 - 61. Does 46 divide (k - 45/75)*(1 - -2569)?
False
Let y(q) = q**3 + 6*q**2 + 9*q + 2. Let f be y(-3). Is (70/4)/(f - 9/6) a multiple of 7?
True
Let h(d) = -10434*d - 672. Is h(-2) a multiple of 153?
True
Let f = -46151 + 67424. Is f a multiple of 10?
False
Suppose 9*d - 14*d + 5*b + 54840 = 0, 3*d = 4*b + 32900. Is d a multiple of 159?
False
Let v(b) be the first derivative of 4 + 1/2*b**2 + 7/4*b**4 - b - b**3. Is v(2) a multiple of 15?
True
Suppose -33162 - 99890 = -37*t. Is 29 a factor of t?
True
Suppose w - 1241 = -s, 0*w = -2*s + w + 2482. Suppose -i - 2*i + 5*c + s = 0, 2063 = 5*i - 3*c. Is i a multiple of 11?
False
Suppose 7*c + 170 = -10*c. Does 55 divide (-5948)/c + (-84)/105?
False
Let n(j) = -409*j + 248. Does 195 divide n(-4)?
False
Suppose -2*d - 11*u + 8*u + 21875 = 0, 4*u = d - 10921. Is 23 a factor of d?
False
Suppose -9*a = -13*a + 816. Let t = a + -47. Let n = t + -87. Is n a multiple of 18?
False
Let u be (-2)/(-9) + 8083/(-531). Is 41 a factor of -3*1 - 11640/u?
False
Let b(r) = 2*r**2 + 9*r - 24. Let p be b(-7). Does 26 divide p/(22/(-8)) + 168/3?
True
Is (11718/124)/((3/44)/3) a multiple of 75?
False
Let p = 831 + -527. Let o = 192 + p. Is 31 a factor of o?
True
Let c(n) = -3*n**2 + 38*n + 53. Suppose -5*i + 39 = -4*j, 3*i = -0*i + 9. Let v(t) = t**2 - 13*t - 18. Let a(h) = j*c(h) - 17*v(h). Does 14 divide a(12)?
False
Suppose 5*i - 14191 = 1144. Is i a multiple of 18?
False
Let w(u) = u**3 + 3*u**2 - 6*u - 3. Let n be w(-4). Suppose 5*a = n*x - 10, 2*a - 4*x + 0*x = -14. Is 1/a + (-430)/(-6) a multiple of 9?
True
Suppose 0*k = -4*k + 68860 + 6436. Does 74 divide k?
False
Suppose 115 = -q + 118. Suppose 6*k - 75 = 3*k - v, 0 = q*k - 3*v - 63. Is k a multiple of 4?
True
Suppose -4*o - 8*m + 116 = -11*m, 0 = 5*m + 20. Let h(x) = -x + 1. Let r be h(-4). Suppose -r*c = -o - 109. Is c a multiple of 6?
False
Let y(i) = i**3 + 4*i**2 - 7*i - 4. Let x be y(-5). Let m be (1/((-3)/106))/(x/72). Let b = -301 - m. Does 8 divide b?
False
Suppose -144969 = -52*v + 19091. Is v a multiple of 54?
False
Let j = 78 + -711. Let c = j + 1065. Suppose 5*f - c = -3*i, -f = 4*i - 3*f - 576. Is i a multiple of 12?
True
Let t(j) = 11*j**2 + 10*j - 13. Let g be t(-7). Suppose -9*b + 7*b + g = 0. Is 12 a factor of b?
True
Let n(x) = -x - 17. Let u(j) = -9. Let z(a) = -4*n(a) + 7*u(a). Let s(m) = -m - 2. Let q(r) = 11*s(r) + 4*z(r). Is q(8) a multiple of 8?
False
Suppose -12*g + 4*g - 24*g = 0. Suppose 3*o - 2*w - 886 = g, 5*w - 597 = -4*o + 2*o. Is o a multiple of 8?
True
Let f(m) = m**2 + 2*m - 1. Let q be f(-4). Suppose h = q*h - 144. Suppose -h*n + 23*n = -41. Is 9 a factor of n?
False
Let l(r) = -48*r - 6. Let q be l(-11). Suppose 5*m = 2*m + q. Is m a multiple of 4?
False
Let d be (-8 - -3) + 1/1. Let u be (-2)/((6/(-15))/(d/(-5))). Suppose -323 = -5*h - 5*z - 28, u*z + 16 = 0. Does 9 divide h?
True
Let v(p) = -3*p**2 - 10*p + 13. Let t be v(-7). Let x = t - -154. Suppose -x - 88 = -q. Does 16 divide q?
False
Suppose 230*h + x = 232*h - 10823, -h - 2*x + 5429 = 0. Does 72 divide h?
False
Does 13 divide -8 + (-17 + 5331 - -11)?
True
Is 7 a factor of 17/((-425)/(-32575)) + (17 + -1)/2?
False
Suppose -k = 2*w + 77 - 309, 12 = -3*w. Let p = -13 - -22. Suppose p*u - 5*u = k. Is 10 a factor of u?
True
Let l(o) = o**3 + 4*o**2 + 2*o + 2. Let a be l(-4). Does 44 divide (436/a + 28/(-42))*-9?
True
Let b be (-43)/4 - (-85)/(-340). Does 20 divide 6/4*(-344)/12*b?
False
Let i = 17170 - 9347. Does 104 divide i?
False
Let z = -24 + -12. Let n be (-1)/(-2) - 90/z. Suppose -15 + 123 = n*c. Does 6 divide c?
True
Suppose 6*w - 3*k = 44088, -3*k = -5*w + 15908 + 20830. Does 147 divide w?
True
Let g(f) = -f**3 + 36*f**2 - 38*f + 86. Does 13 divide g(31)?
False
Let a = 261 - 781. Let r = 760 + a. Is r a multiple of 6?
True
Suppose -3*i + 3*u = 54, 33*i + 4*u - 54 = 36*i. Let z be 2/((-2)/(-4)*-1). Does 12 divide 1608/54 + -6 + z/i?
True
Suppose 7*v - 147084 = -96*v. Does 68 divide v?
True
Let n = 7930 - 5026. Does 12 divide n?
True
Suppose 97*t - 129200 = 57*t. Is t a multiple of 17?
True
Is (-5)/(-30) + 3 + (-3 - 112854/(-36)) a multiple of 9?
False
Suppose -3*j - 18 = 6*j. Let h be j + ((-4)/(-4) - 0). Let m(p) = -53*p**3 - 2*p**2 - 2*p - 1. Is m(h) a multiple of 8?
False
Suppose 6*c = -3*g + 11*c + 1384, -g + 472 = c. Suppose 4*q + 801 = 2*d - 147, -d + 5*q + g = 0. Is 60 a factor of d?
False
Let d = 699 + -351. Suppose 2*u + 38 = -4*f + 52, -7 = f - 3*u. Suppose -4*o - d = 2*n - 6*n, 6 = -f*o. Is 14 a factor of n?
True
Suppose 0*n + n = -1, -3*g = 4*n - 8. Suppose -5*i - g = -2*f, 3*f - 8 = -3*i - 2. Suppose i = -w + 2*r + 36, 0 = -w + 5*r + 19 + 23. Is w a multiple of 2?
True
Let i be (-1 - (-2395)/(-1))/((-432)/1080). Suppose 2*q - 12*q + i = 0. Does 10 divide q?
False
Let j = 56 + -78. Let w = j - -25. Is 2 a factor of (1/w)/((-6)/(-90))?
False
Let w(c) = c + 11. Let k be w(0). Suppose 2*y + 22 = 5*p, -p + 3*y = p - k. Is p a multiple of 2?
True
Let l = -161 - -280. Let b = l + 22. Is 12 a factor of b?
False
Let o = -4 + 16. Let r be 5/1 + -1 + 0 + 0. Suppose -m = 2*m + d - 38, 2*m = -r*d + o. Is m a multiple of 14?
True
Let i = -5350 - -9352. Is i a multiple of 6?
True
Is 111 a factor of 1 + 4658 + 3 + 10?
False
Is ((-190)/15)/(150/(-48825)) a multiple of 31?
True
Suppose -2*w - 10529 = -13099. Is 22 a factor of w?
False
Let d(u) = u**3 - 5*u**2 + u. Let v be d(4). Let l be v/90*3 + 56/(-10). Let k(r) = -r**2 - 10*r. Is k(l) a multiple of 24?
True
Let t = 6 + 293. Let h = t + -167. Does 22 divide h?
True
Let g = -82 + 74. Let z = g + -39. Let x = z - -68. Is x a multiple of 5?
False
Suppose -2*b = 3*p - 169, -3*p + 4*b - 173 = -6*p. Let y = -50 + p. Suppose -2*a = -5*l + 418, -a - 235 = y*l - 656. 