 -b + 4*c - 8 - 31. Let d = 769 + -519. Does 8 divide -2*(-9)/b*d/(-4)?
False
Let h = 120 + -117. Suppose -h*q = -2*j - 114, -q - 3 = j + 59. Is (1100/j)/((-1)/9) a multiple of 15?
True
Suppose 2*z = 4*q - 54, 1 = 2*z - 1. Suppose t - q = -t. Suppose 5*y = t*y - 50. Is y a multiple of 12?
False
Let c(y) = -y**3 - 9*y**2 + 4*y + 10. Suppose 5*b + 23 = k, 0 = -2*k - k + 9. Let g be c(b). Let z = g + 157. Is 11 a factor of z?
False
Let w(p) = 55*p**2 + 17*p - 119. Is 5 a factor of w(-8)?
True
Let r(z) = -z**2 - 8*z + 17. Let w be r(-8). Let y(d) = -3*d + 110. Does 7 divide y(w)?
False
Let t(n) = -2*n + 14. Let r be t(7). Suppose 15*o - 6755 + 575 = r. Does 33 divide o?
False
Suppose 2*q - 4*o = q, 2*q - 10 = -2*o. Let u be 164 + (0/q)/(-1). Suppose -5*s = -u - 86. Does 25 divide s?
True
Let z be (-2 + -18)*(-210)/40. Suppose x - 4*x + 849 = 4*w, -5*w - 5*x = -1065. Suppose 7*k + 2*t - z = 6*k, -t = 2*k - w. Is 15 a factor of k?
True
Let l be ((-2)/21 + 64/(-112))*-273. Suppose 782 - l = 24*j. Is j a multiple of 5?
True
Let o(v) = 2*v**2 + 39*v**3 - 2*v**2 - 7*v**2 + 6*v - 38*v**3. Let w be o(6). Suppose w = 3*m - 4*f + 3*f - 68, 66 = 3*m - 3*f. Does 11 divide m?
False
Let k = 53 - 108. Let v = 65 - k. Does 40 divide v?
True
Let u(z) = -z**3 - 12*z**2 - 11*z + 27. Let x be u(-14). Suppose 0 = 3*f + 3*n - x, 567 = 3*f - 22*n + 19*n. Does 38 divide f?
True
Let o be ((-7*10)/7)/((-1)/18). Suppose -4*s - o = -s. Is 5 a factor of 3/4*(-400)/s?
True
Let b(r) = -2*r**3 - 174*r**2 - 16*r - 51. Is b(-87) a multiple of 99?
False
Let i = 300 + 433. Suppose 5*k = d - 349, -9*d + 11*d - 3*k - i = 0. Is d a multiple of 34?
True
Let y(u) = 148*u - 253. Let n(c) = -18*c - 117. Let l be n(-7). Is 15 a factor of y(l)?
False
Let x(o) = -14*o**3 + 27*o**2 + 90*o - 14. Is x(-11) a multiple of 247?
False
Suppose 26*q = 7*q - 551. Is (q*(0 - 2))/2 a multiple of 2?
False
Let w(s) = 92*s**2 - 37*s - 127. Does 14 divide w(-3)?
True
Let z(r) = 17*r**2 + 15*r - 77. Is z(-5) a multiple of 6?
False
Let d be (3 - (5 - 2)) + 79. Suppose g + n = 172, 0 = -g + 2*n + d + 81. Suppose -a + g = a. Does 6 divide a?
True
Let x = 64 - 94. Let f = x - 0. Does 8 divide (340/(-50))/(2/f*1)?
False
Suppose 2*a - 62028 = -5*j, -4*j - 32*a + 34*a + 49608 = 0. Is 43 a factor of j?
False
Let i(b) = -b**2 + 32*b - 110. Let h be i(28). Suppose h*j + 2*n - 253 - 241 = 0, 3*j - 731 = -5*n. Is j a multiple of 6?
True
Suppose 5*s = 2*h + 77252, 77245 = 5*s + 8*h - 3*h. Is 50 a factor of s?
True
Suppose 0 = 5*d - 10*n + 6*n - 21854, -4*d - n + 17458 = 0. Does 72 divide d?
False
Suppose 0 = 3*o + r - 99, -37 + 169 = 4*o + 4*r. Let h = -66 - o. Let m = 259 + h. Does 40 divide m?
True
Let o be 17 - ((-1 - -2) + -1). Suppose 0 = 3*l + 5*g - o, -5*g = -3*l + 5 + 2. Suppose -h = z - 146, -l*z - 372 - 94 = -3*h. Is 19 a factor of h?
False
Suppose -6*v + 10134 - 2166 = 0. Does 16 divide 1 + 12/3 + v - 5?
True
Let b(f) be the first derivative of -11*f**2 - 2*f + 9. Let t(n) = 21*n + 1. Let l(z) = 2*b(z) + 3*t(z). Is l(1) even?
True
Let v(x) be the third derivative of -x**6/120 + x**5/15 + 13*x**4/24 - 2*x**3/3 + 6*x**2 + 5. Is v(5) a multiple of 6?
True
Let w(o) = -o**3 + 4*o**2 + 6*o - 2. Let y be w(5). Let n be 3 + -1 - y - -56. Let k = 75 - n. Does 4 divide k?
True
Let g(t) = 195*t**2 - 3*t - 2. Suppose z + 4 = -3*z. Let s be g(z). Suppose -46 = -n + 3*r, 30 = -5*n - r + s. Is n a multiple of 17?
True
Suppose 47*a = 172*a + 268*a - 11113254. Is 221 a factor of a?
False
Is (50 - 59) + -3898*(-5 - 45/(-10)) a multiple of 20?
True
Let l be -3*(-20)/(-12)*-1. Suppose b + 3*v - 68 - 55 = 0, -634 = -l*b + 4*v. Is b a multiple of 18?
True
Let x be 7 - 9*28/(-21). Does 17 divide (-2 + x)/((-10)/6 + 2)?
True
Let o(w) = 5*w**2 + 0*w**3 - 549*w + 0*w**3 + 541*w - 3*w**3 - 18. Is o(-6) a multiple of 11?
True
Suppose 17874 = 5*y + 2*p + 1199, -4*p + 6654 = 2*y. Is y a multiple of 47?
True
Let d(a) = -49*a + 1. Suppose 3*p - 3*v = -v + 15, 3*p + 3 = -4*v. Let q be d(p). Let l = -20 - q. Does 17 divide l?
False
Let c be 2598*(-4)/(-24)*-4. Let b be c/(-20) + (-2)/(-5). Let w = -67 + b. Is 3 a factor of w?
False
Let o be ((-28)/(-15))/((-4)/24)*-5. Suppose 4*c + o = 5*y, 3*c + 0*c = -12. Suppose -y*v = -93 - 3. Is 4 a factor of v?
True
Suppose 2*h - 3204 = -1098. Is h a multiple of 17?
False
Suppose 10 = -k + 2*s - 9, -5*k - 80 = 5*s. Let j(v) = 2*v + 2. Let u be j(11). Let i = k + u. Does 3 divide i?
False
Suppose 5*l = 4*l - 17. Let h = 17 + l. Suppose h*u - 9*u = -1665. Does 37 divide u?
True
Suppose 5*o = 4*t - 138224, 0 = 33*t - 36*t - 2*o + 103691. Does 19 divide t?
True
Suppose w - 4*h = -3*h - 3, 2*w + 15 = -h. Let c(m) = -m**3 - m**2 + 23*m - 5. Does 7 divide c(w)?
False
Let z(w) = w**3 - 4*w**2 + 23*w + 4. Suppose 3*a + 2*m - 13 = m, -4*a = -3*m - 26. Is z(a) a multiple of 22?
False
Suppose 0 = -3*u + 12, 2*u + 2145 + 9187 = 3*h. Is h a multiple of 140?
True
Suppose -17*n = -33*n - 288. Is 14 a factor of 2 - (2/n + 2967/(-27))?
True
Let f = 27 + -63. Let r = f + 36. Suppose s - 139 = 3*n, 2*s + 0*s + 2*n - 302 = r. Is s a multiple of 33?
False
Suppose -2*i = -2*z + 9 - 25, 3*i - 2*z - 20 = 0. Suppose -314 - 35 = -i*h - 3*p, -2*p - 419 = -5*h. Suppose 8*k + h = 677. Is 34 a factor of k?
False
Suppose 267 = 47*k - 44*k. Let c = k + -16. Suppose 4*u = i + 137, -u - u = i - c. Does 5 divide u?
True
Let b(c) = -17*c**3 + 36*c**2 + 33*c - 103. Let t(a) = -4*a**3 + 9*a**2 + 8*a - 26. Let q(x) = 2*b(x) - 9*t(x). Does 16 divide q(7)?
False
Let h(v) = v**3 + 18*v**2 + 17*v + 19. Suppose -2*l + 36 = -2*y, y - 56 = 4*y - 5*l. Let p be h(y). Let r = 87 - p. Is 7 a factor of r?
False
Let q(p) = 8*p - 104. Let s be q(10). Is 12 a factor of 14184/32 + (-18)/s?
True
Let o = 41 + -39. Suppose -3*s + 99 = -2*s - 4*u, o*u = -s + 93. Let w = 176 - s. Does 15 divide w?
False
Let k = 18 + -20. Let c be (1/(-3))/(k/24). Suppose -c*n + 3*t = -212, -2*n + 4*t + 165 = 49. Is 6 a factor of n?
False
Let p be (0 - 2748/2)*20/(-30). Let a = p + -548. Suppose -2*t + 6*t - a = -2*n, -5*t = -5*n - 430. Does 9 divide t?
True
Suppose -35*s - 48*s + 708903 = 0. Does 4 divide s?
False
Let z be (-8)/(-4) - (-4)/2. Suppose 0 = 4*i - 3*i - l, 0 = -2*i - z*l + 12. Suppose -3*w + 12 = -i*w. Is w a multiple of 4?
True
Suppose 0 = -22*f + 216412 - 46993 + 195495. Is f a multiple of 27?
False
Let g(y) = 57 - 6366*y**2 + 6379*y**2 + 7*y - 4*y + 19*y. Does 9 divide g(-7)?
True
Suppose 0 = 3*x - 8*x + 30. Suppose x = 4*y - y, 3*l - 320 = 2*y. Is 12 a factor of l?
True
Let w(n) = -n**2 - 1. Let o(q) = -2*q**2 - 12*q - 10. Let d(h) = -o(h) + 3*w(h). Let l be d(9). Let x = l + 61. Is 28 a factor of x?
False
Suppose 0 = -2*a + 5*a - 0*a. Suppose a = -o - 23 + 28. Suppose -284 = -o*l - 39. Is 5 a factor of l?
False
Suppose -5*x = 3*o - 35582, 94081 = 7*o + x + 11003. Does 13 divide o?
True
Let h = 61 - 40. Let q = 30 + h. Let w = q - -7. Does 22 divide w?
False
Let c(t) be the third derivative of -t**6/120 - t**5/10 - t**4/6 + 13*t**3/3 - 13*t**2. Is c(-8) a multiple of 9?
False
Let a = -58 + 61. Suppose 2*i - 19 = -a*u, -3*i - i + 3*u + 11 = 0. Is 14 a factor of i/((-5)/3)*92/(-3)?
False
Suppose -16 = 2*t - 48. Suppose 17*g + t = 152. Let i(n) = 4*n + 11. Is 16 a factor of i(g)?
False
Suppose 3*t = c - 34, c + 2*t = -0*t + 9. Suppose 9*q + 1080 = c*q. Does 28 divide q?
False
Let l = 66667 - 32939. Is 16 a factor of l?
True
Let q(k) = 6*k + 5. Let d be q(-2). Let x(u) = u**2 + 6*u - 7. Let o be x(d). Is 16 a factor of (-74)/(-1) + o/1?
False
Let y = -3517 - -9617. Is y a multiple of 7?
False
Does 48 divide -11 + (27577/44 + -8)*4?
False
Suppose 7*a = 956 + 2775. Is a a multiple of 15?
False
Suppose 4*j - 9776 = 28984. Does 6 divide j?
True
Suppose -3*o = 2*j - 3076, 40*o + 2*j = 26*o + 14340. Is 4 a factor of o?
True
Let z(p) = -p + 10. Let f be z(8). Suppose 0 = 2*i + f*r - 1048, 3*r + 516 = i - 0*r. Suppose -6*o = -9*o + i. Is o a multiple of 29?
True
Let w(n) = -n**3 - 7*n**2 + 6*n + 14. Let d be w(-7). Let q = 32 + d. Suppose 4*g - 50 = -q*c + 94, c + 124 = 3*g. Is g a multiple of 25?
False
Let b(k) = -2*k**3 - 8*k**2 + 21*k - 36. Does 2 divide b(-9)?
False
Suppose -619456 - 979372 = -77*w. Does 5 divide w?
False
Suppose -8*i = 136 - 16. Is 3 a factor of (-6)