(-8))/(-5). Let z be ((-336)/36)/((-4)/l). Suppose -6*f + 4*f + z = 0. Is f a multiple of 16?
False
Does 15 divide (5 + (-28)/6)*-1*(-2065 - 2)?
False
Let k be (-2)/(-3) - 2/(-6). Let d(v) = 57*v**3 - v**2 + 2*v. Let o be d(k). Suppose 2*x - 314 = -o. Does 31 divide x?
False
Suppose 2*b - 21 = 69. Suppose -b = 12*a - 285. Is 20 a factor of a?
True
Suppose q - 8*t = -3*t + 29, 0 = t + 5. Suppose -450 = -q*k - 14*k. Is k a multiple of 4?
False
Let j be (-9 + 2)*(18/(-7))/3. Suppose j*n = -2*n + 1008. Does 21 divide n?
True
Suppose 2183 = y - 4*t, -4*y + 129*t = 133*t - 8792. Is y a multiple of 93?
False
Suppose 5*o = 3*o + 5*c + 41, -12 = 4*c. Suppose -725 = -u + s, 5*s = -o*u + 17*u - 2899. Does 25 divide u?
False
Let i be (216/(-9) - (-1 - 4)) + 3. Let y(j) = -j**3 - 14*j**2 + 31*j + 52. Is y(i) a multiple of 17?
True
Suppose -38*r - 26429 - 34549 = -242694. Does 6 divide r?
True
Let r be (-1 - 1)/(4/(-8)). Suppose 5*h - 1 = s - 0, -r*s - 4 = 3*h. Does 14 divide 3 + 38 + (h - 3) + -2?
False
Let b = -25392 + 44240. Is b a multiple of 62?
True
Suppose 4*j - 17 = -3*z, 5*z - 32 + 7 = -5*j. Suppose 2*t = t - 3*f + 441, -3*f = -t + 435. Suppose 4*c + 0*v - t = -2*v, j*c = -3*v + 209. Does 16 divide c?
True
Let q = 21449 + -13724. Is 42 a factor of q?
False
Suppose 3*f - 9 = 0, 2*f - 10 - 11 = 3*a. Let h be 111/(-4 - 0 - a). Suppose -3*w = 5*o - 5*w - h, -2 = -w. Is o a multiple of 2?
False
Let i(b) = -b**3 + 11*b**2 - 7*b + 33. Let x be i(13). Does 21 divide 23/46*(2 - x)?
False
Let q(r) = r**3 + 19*r**2 + 13*r + 45. Let h(x) = 7*x - 53. Let w be h(5). Is 5 a factor of q(w)?
True
Let m = -11 + 16. Suppose 6*x = m*x + 3. Suppose -x*i + 7*i = 56. Is 14 a factor of i?
True
Suppose -71*z + 110985 = -220*z + 1076505. Does 16 divide z?
True
Let v be (-33730)/(-90) + (-2)/(-9). Suppose 5*r = -5*q + v, -r + 399 = 5*q - 4*r. Does 26 divide q?
True
Suppose g + 5 = 4, c = 3*g + 1672. Let d = -984 + c. Is 22 a factor of d?
False
Suppose 12*w - 5*w = 5*w. Let h(k) = 3*k**2 + 3*k + 109. Is 32 a factor of h(w)?
False
Is 9 a factor of 42127 - 38/(-171)*9?
True
Let i be -2 + -2 + 6 - (-7 - -17). Does 8 divide 319 - (12/i)/((-15)/(-20))?
False
Let b(f) = f**3 - 13*f**2 + 11*f + 12. Let z be b(12). Suppose 9*s + 160 - 2167 = z. Is 15 a factor of s?
False
Let b(s) = -s + 27. Let r be b(5). Suppose r*w - 5*w - 9571 = 0. Does 40 divide w?
False
Suppose 32*w + 56782 = 54*w. Does 70 divide w?
False
Let q be (-1)/((-1)/227) + 1. Suppose -2*l + 5*y + 163 = 0, 2*l - y - q + 61 = 0. Is l a multiple of 3?
True
Let v(h) = 39*h**2 + h. Let r = 63 - 65. Let c be v(r). Let n = c + -112. Is n a multiple of 7?
True
Let j = -51 + 57. Let u be j/(-14) + (-63)/(-147). Suppose 2*i - 12 - 40 = u. Is 13 a factor of i?
True
Suppose -1231 = -f + 5*z, 2*f + 9*z - 2476 = 5*z. Suppose 4*j = -6*g + 2*g + f, 4*j = 3*g + 1201. Is j a multiple of 8?
True
Let s = -226 + 226. Suppose s = 16*x - 8*x - 2496. Does 13 divide x?
True
Let g = 9 - -3. Let z be ((-15)/10)/(13/(-156)). Suppose -3*n + z = -g. Does 2 divide n?
True
Suppose -5*n + h + 5 - 11 = 0, 6 = -n - h. Let w(t) = 151*t + 44. Let f(q) = -101*q - 29. Let y(i) = 8*f(i) + 5*w(i). Is 4 a factor of y(n)?
False
Suppose -139*t - f = -142*t + 7788, 2*t + 5*f - 5192 = 0. Is t a multiple of 22?
True
Let o be (6 - 225/35) + 93/21. Suppose -t = -5*u + 925, t = -2*u + o*u - 373. Is u a multiple of 23?
True
Let l = 130 + -76. Is 5 a factor of 1/(((l/(-40))/(-9))/3)?
True
Suppose -u + 3*v - 330 = -v, -1404 = 4*u + 5*v. Let f = u + 381. Is f a multiple of 22?
False
Let y(j) = 4*j + 2*j + 4*j**2 - 7 - 3*j**2. Let l be 12/(66/12 - 4*1). Is y(l) a multiple of 16?
False
Let q = -792 - -1706. Let n = q + -450. Is n a multiple of 17?
False
Let y = -149 - -149. Suppose -17*t + 14*t - 744 = -4*f, -3*f + 4*t + 565 = y. Does 13 divide f?
False
Suppose 2482 = -14*v + 19128. Let x = v - 379. Does 12 divide x?
False
Let f = -49 - -54. Suppose -f*a = -a + 6*a. Let o(z) = z**2 - z + 19. Is 17 a factor of o(a)?
False
Let x(u) = u**2 - 10*u - 29. Suppose 0 = 5*z + 5*r - 0*r - 15, -5 = -4*z + 3*r. Suppose 2*o - 24 = 2*l, 2*o = -0*o - z*l + 36. Does 5 divide x(o)?
False
Suppose 4*f - 92 = -3*y + 13, -3*y + 105 = -2*f. Suppose 15*c - 8*c = y. Let p(a) = -a**2 + 19*a - 11. Is p(c) a multiple of 3?
False
Let w = -3491 - -16375. Does 185 divide w?
False
Let j = 11041 + -7861. Is j a multiple of 15?
True
Let s be ((-34)/(-6) + 1)/(3/9). Let f = -18 + s. Suppose -o + f*a + 40 - 12 = 0, -5*o = 4*a - 154. Does 5 divide o?
True
Let s = 26636 + -12879. Is s a multiple of 13?
False
Suppose -5*b = -6 - 14. Suppose -18*r - 259 = -313. Suppose -2 = -u, 386 = b*w - r*u + 4*u. Is w a multiple of 14?
False
Is (-8386434)/546*1/(-3) - (-2)/26 a multiple of 96?
False
Does 214 divide (-111 + 4)*(-56 - -40)?
True
Let o(a) = 20 + 0*a**2 + a**3 - a**2 + 0*a**2 - 2*a. Let d = 2486 + -2486. Is 20 a factor of o(d)?
True
Let s be (-3924)/(-6) + (0 - 0). Suppose -3*w + 0*w + s = 0. Suppose -w = -2*a - 3*j, 6*a - 218 = 4*a + 2*j. Is a a multiple of 40?
False
Suppose -h + 0*w + 3*w - 4 = 0, h + w = -12. Is 16 a factor of (-31700)/(-125) + 6/h?
False
Let d(w) be the second derivative of -w**4/12 - 37*w**3/6 - 105*w**2 - 112*w. Is d(-15) a multiple of 24?
True
Suppose 0 = -17*z + z + 80960. Suppose 40*s + 1460 - z = 0. Is s a multiple of 9?
True
Let c(q) = 124*q**3 + 124*q**3 - 3*q**2 + 8 + 14 + 4*q - 251*q**3. Is 28 a factor of c(-4)?
False
Is 5 a factor of ((-11)/(-11) + (-76)/20)*-1480?
False
Let d = 27 - 11. Is 9 a factor of 1/2 - (-4)/(d/414)?
False
Suppose 0 = 176*m - 174*m - 5*z - 16471, 0 = 2*m + 4*z - 16408. Is m a multiple of 40?
False
Suppose 5*w - g = 17 - 1, 0 = w + 3*g. Is 7 a factor of 26/w*((-10017)/14)/(-9)?
False
Suppose -75*g + 575040 - 229109 = -14*g. Is g a multiple of 11?
False
Let q = -5386 + 5311. Suppose 4*l - 825 = -l. Let z = l + q. Is z a multiple of 10?
True
Suppose 6*s + 3 = 3*s. Let x(w) = 11*w**2 - w - 5 - w - 8 + 10 - w. Is 11 a factor of x(s)?
True
Let i(s) = -1477*s**2 + 740*s**2 + 743*s**2 + 2*s - 4*s + 3. Let n = 10 + -16. Is i(n) a multiple of 13?
False
Let f be (8/(-6))/(11/33) - 92. Let v = f + 119. Is 8 a factor of v?
False
Let d be (52 - 6 - -1) + 0. Suppose -m - d = -q - 159, 0 = -2*m - 5*q + 231. Does 14 divide m?
False
Does 41 divide (-20)/(-4) - (-13)/((-91)/(-226982))?
True
Let t(n) be the second derivative of n**5/20 - 3*n**4/2 + 7*n**3/2 + 31*n**2 - 4*n - 2. Is t(18) a multiple of 57?
False
Let h = 128 + -80. Let y = -44 + h. Suppose -2*q = -l - 0*l - 177, -5*q + y*l = -438. Is q a multiple of 37?
False
Let x = 16 + -9. Let c(a) be the first derivative of a**4/4 - 8*a**3/3 + 7*a**2 - 24*a + 2139. Does 10 divide c(x)?
False
Let z = -508 + 727. Let s = 515 - z. Is 37 a factor of s?
True
Is 7 a factor of (-10 + (8 - -9))*193?
True
Suppose -60501 = -124*h + 277647. Is 4 a factor of h?
False
Let q be 5/(10/(-4))*884/8. Let b = q - -379. Does 7 divide b?
False
Suppose -3*d + 5*b - 615 = 0, 3*d + 448 + 161 = 3*b. Let t = 380 + d. Suppose 0*s - 2*s = -t. Is s a multiple of 14?
False
Let c(r) = -39 + 5 - 10*r + 19. Let l be c(-2). Let i(k) = 7*k - 16. Is i(l) a multiple of 19?
True
Let j = -24 - -24. Let t be j/(2*(-1)/1). Suppose -2 - 2 = -4*w, -5*x - 3*w + 523 = t. Is x a multiple of 13?
True
Let l(b) = -b**3 - 2*b**2 - 17*b + 7. Let v(p) = -p**2 - 2*p + 1. Let f(z) = -l(z) + 6*v(z). Suppose 0 = h - 2 - 3. Does 7 divide f(h)?
True
Let q(x) = -x**2 - 3*x + 6. Let g be q(3). Let m be (g - 84)/(2/4). Let s = -129 - m. Does 10 divide s?
False
Is 7 a factor of ((-1040)/140 - 12/56*-2) + 4528?
False
Is 38 a factor of (-4)/(-20)*(-117 + 130252)?
False
Let p(u) = -u**2 - 9*u - 9. Let f be p(-7). Suppose -2*q + f*o + 63 = 0, -5*q + 175 + 40 = -o. Let a = 76 - q. Does 4 divide a?
True
Suppose 0 = -3*i - j + 6, -4*j - 19 + 1 = -2*i. Suppose -2*g - r = -5*r - 880, -i*g + 4*r + 1314 = 0. Let h = -260 + g. Does 19 divide h?
False
Let q(b) = 2*b + 59. Let o be q(-26). Let c(z) = 6*z**2 - z + 2. Is 8 a factor of c(o)?
False
Let x be (-15)/(-9) - (-21)/9. Suppose 5 = -4*v - 7. Is 12 a factor of 50 + x + 2 + v?
False
Let r = 25084 - 8884. Is r a multiple of 150?
True
Suppose -94*s - 89*s = -111264. Is s a multiple of 3?
False
Let o(c) = -150*c - 89. Let g be o(-3). Suppose 0 = 