 11. Let n be r(9). Let h = 21 + n. Suppose -2*k + u = -4*k + 113, -h*u = 2*k - 117. Does 8 divide k?
True
Let w(t) = 61*t**2 - t - 2. Is w(-1) a multiple of 4?
True
Suppose -18*l + 6493 - 67 = 0. Does 7 divide l?
True
Let r = 51 - 27. Let k = -21 + r. Is (2 - (k - 2))*17 a multiple of 9?
False
Let w = -408 - -1176. Is 64 a factor of w?
True
Let a(z) = 4*z - 14. Suppose s - 17 = 5*r, 5*r + 12 + 26 = 4*s. Does 6 divide a(s)?
False
Let t = 316 - 214. Let f = t - -104. Let d = 303 - f. Does 32 divide d?
False
Let d(p) = p**3 + 28*p**2 - 53*p + 7. Is 67 a factor of d(-17)?
True
Let g(u) = -2*u**3 + 6*u + 11. Let s be g(-4). Suppose 5*j + 5*q - 50 - s = 0, 5*j = q + 183. Is j a multiple of 15?
False
Let v = 7719 + -5135. Is v a multiple of 38?
True
Let s(x) = -x**2 - 74*x + 670. Is 16 a factor of s(-55)?
False
Does 17 divide (-2312)/6*(-3)/(-2)*-1?
True
Let o = -36 - -36. Suppose o = 2*d, 0*d + 72 = 4*z - d. Is 9 a factor of z?
True
Let f(z) be the first derivative of 13*z**2/2 - 2*z + 17. Is f(3) a multiple of 21?
False
Let q(c) = c**3 + 11*c**2 - 14*c + 34. Is 32 a factor of q(-8)?
False
Let r(q) = 19*q + 12. Let c be r(5). Suppose -15 = 5*i, -4*i - c - 65 = -4*w. Is 8 a factor of w?
True
Let t(b) = b**3 - 11*b**2 + 3. Let d be t(11). Let w be -3 - (-6)/9*6. Is 21 + (-10 + w)/d a multiple of 6?
True
Let j(x) = -x**3 - 14*x**2 - 3*x - 21. Suppose 2*o + 9 = -19. Let s be j(o). Is 6/s - (-468)/28 a multiple of 8?
False
Let p = 658 - 283. Is p a multiple of 15?
True
Let p = 35 - 29. Suppose -o = -p*o + 620. Does 31 divide o?
True
Let c = -14 - -23. Suppose 711 = -c*v + 4*v + 4*t, -3*v = 4*t + 401. Is 1/(4 - v/(-35)) a multiple of 20?
False
Let h be (-15)/((-90)/(-12)) + -37. Let p(k) = 6*k - 4. Let d be p(-4). Let v = d - h. Does 11 divide v?
True
Let f be -1*(0 + 1)*-7. Let l = f - 7. Let d(m) = -m**3 - m**2 + 70. Is 17 a factor of d(l)?
False
Let i = 9 - 6. Let z(y) = 60*y + 3. Let a be z(i). Suppose 8 - a = -5*o. Is 15 a factor of o?
False
Let t = -4 + -10. Let z be 21/t - (-42)/4. Suppose -63 - z = -2*k. Is 9 a factor of k?
True
Suppose 0 = 12*d - 35*d + 13524. Does 7 divide d?
True
Let x be (2/6)/(4/300). Suppose x = -5*r, -r = -0*k - 2*k + 269. Suppose -f + k = 2*f. Is f a multiple of 24?
False
Let k = -191 - -194. Suppose 0 = 3*p - s - 44 - 21, 2*p - 26 = 5*s. Suppose k*m = 101 - p. Is 13 a factor of m?
True
Let v = -13 + 10. Let c(f) = -5*f**3 - 2*f**2 - f + 4. Let z be c(v). Let r = -68 + z. Does 18 divide r?
False
Let y(w) = 95*w - 175. Does 71 divide y(28)?
True
Suppose -61 = i - 347. Is i a multiple of 13?
True
Let w = -701 + 1248. Is w a multiple of 41?
False
Suppose s - 3 = 0, -4*x - 5*s + s = -244. Is 4 a factor of x?
False
Suppose -5*x = -3*x - 196. Suppose 2*f - 5*p + 4 = 59, -4*f - 2*p = -x. Let m = 43 - f. Does 6 divide m?
True
Let q be 54/(-81) - (-1528)/6. Let a = q - 176. Is 6 a factor of a?
True
Let p be (34 - -1)*(0 - -1). Let m be 220/3*42/p. Suppose -5*y + m - 18 = 0. Is 7 a factor of y?
True
Suppose -2*n = 4*u - 916, -3*n + 1116 = 5*u - 29. Does 6 divide u?
False
Let x(y) = -y**3 - 3*y**2 - 3*y - 6. Let z be x(-3). Suppose z*c = -1 + 7, 5*b - 2*c - 206 = 0. Is b a multiple of 10?
False
Suppose k - 228 = -3*k. Suppose -7*t = -10*t + k. Is 12 a factor of t?
False
Suppose -k - 5 = -3. Let q = k + 4. Suppose 0 = -3*u - z + 129, 5*u - 40 - 176 = -q*z. Does 14 divide u?
True
Let x be (-2)/2 + 3/1. Suppose -t + 3 = x*q, 3*t - 6*t + 9 = 5*q. Suppose q = -0*f - 3*f + 72. Is f a multiple of 12?
True
Suppose -330 = k - 16*k. Is k a multiple of 11?
True
Suppose -11247 + 1485 = -5*a + 3*x, -3*x = -4*a + 7812. Is a a multiple of 50?
True
Let b(t) = 54*t - 178. Does 14 divide b(9)?
True
Suppose 0 = -7*p + 2*p - 2*d + 347, -3*p - d = -208. Does 24 divide p?
False
Let c = 40 - -60. Is 6 a factor of c?
False
Suppose 5*t = t + 200. Let p = 98 - t. Is p a multiple of 16?
True
Suppose 2*l + 5*k = 1, -l - 4*k + 0*k = -2. Is 8 a factor of 1 + 1 + 25 + l?
False
Let t be (-1)/((-8)/(-12))*-2. Suppose t*k = -3*l + 534, 0 = -3*k - 0*l + 4*l + 548. Is k a multiple of 18?
True
Let o be (-2)/(-6) - 869/33. Let x = 24 + o. Does 13 divide x/11 - (-3444)/66?
True
Suppose -3 - 379 = -2*v. Does 21 divide v?
False
Suppose 0 = 4*u - 24 - 40. Suppose 0 = -15*i + u*i - 8. Let q = i - 1. Is q a multiple of 2?
False
Let k be 0 + (1 - 12/(-3)). Suppose -2*d = k*c - 4 + 3, 3 = 2*d + 3*c. Does 2 divide d?
False
Let u(x) = -x**2 - 8*x - 3. Let p be u(-7). Suppose 4*c - 92 = 2*c - p*i, 0 = -2*i - 6. Is 26 a factor of c?
True
Let z be (75*-1)/(-3 - (2 - 4)). Let d = 120 - z. Is d a multiple of 5?
True
Suppose 2*f = -4*z + 7*f - 307, 5*z = -4*f - 394. Does 4 divide 3 - ((-7)/14)/((-3)/z)?
True
Let p be 0/3*(-1 + 0). Suppose p = -5*r + 82 + 43. Let i = r + -3. Is 11 a factor of i?
True
Let y(c) = c**3 - 3*c**2 + 3*c - 2. Let k = -4 + 6. Let w be y(k). Suppose -r + 5*r - g - 416 = w, -3*r - 4*g = -331. Is 17 a factor of r?
False
Suppose 37 - 10 = 3*h. Suppose a + a = 2. Let l = h + a. Does 9 divide l?
False
Suppose -4*c - 68 = -4*r, 0 = 3*c - 0*c - r + 49. Let k(y) = y**3 + 16*y**2 - 3*y - 24. Does 12 divide k(c)?
True
Suppose -11550 = -51*i + 16*i. Is 22 a factor of i?
True
Suppose 0 = -39*m - 9*m + 161376. Is 41 a factor of m?
True
Suppose 1345 = 3*p + 2*t, -2*p - t = -400 - 495. Let o = 827 - p. Suppose -3*j = 2*k - 158, 5*k - o = -2*j + j. Does 20 divide k?
False
Let i = 1 + -2. Let a(n) = -41*n - 1. Let r be a(i). Does 16 divide ((-16)/5)/((-8)/r)?
True
Is (-3 - 9)/(-3) + 112/2 a multiple of 12?
True
Let b = 291 - 171. Is 4 a factor of b?
True
Suppose 3*m = 5*w - 2775, -2*m - 563 - 551 = -2*w. Does 12 divide w?
True
Let o(h) be the first derivative of -9/2*h**2 - 3*h + 7/3*h**3 + 5 + 1/4*h**4. Does 2 divide o(-8)?
False
Suppose z - 3*z = a - 3, -5*z = -5*a + 15. Suppose 26 = a*c - 16. Let d = c - 11. Is d a multiple of 3?
True
Suppose -4*z + 7*z - t = 2, -2*t = 4*z - 16. Let n = z - 13. Is 10 a factor of 2 - 1 - (n - 42)?
False
Let a = -365 + 642. Let k = a + -77. Is k a multiple of 25?
True
Let v(b) = b**2 - b - 24. Let p be (-3)/(-7) + 265/35. Does 16 divide v(p)?
True
Let a(r) = -r**3 + 46*r**2 - 58*r + 24. Is a(44) a multiple of 16?
True
Let u = 537 - -910. Is 64 a factor of u?
False
Suppose 5*g - 275 = -5*s, -4*s = -2*g - 2*g + 260. Let c be -8 + 8 + 4*9. Let r = g - c. Is 10 a factor of r?
False
Let s = 1576 + 468. Does 28 divide s?
True
Let x = 288 + -137. Suppose -3*z + 2*z = 5*h - x, z = 4*h - 119. Let w = 63 + h. Is w a multiple of 31?
True
Let l be (-4 - 0) + 3 - 284. Let w = l + 200. Let k = w - -153. Does 16 divide k?
False
Suppose 38*f - 941 = -29. Is f a multiple of 7?
False
Let s = 14 + -9. Suppose -109 = -s*b + 2*f - 4*f, -3*f = -6. Is 14 a factor of (b/9)/(1/18)?
True
Let o = -2 + 15. Let x = o + 47. Does 20 divide x?
True
Let d(y) = y**3 + 12*y**2 - 4*y + 11. Let p be d(-9). Let g = p + -192. Does 14 divide g?
True
Let y(z) = 139*z - 1. Let l be y(1). Suppose -824 = -0*b - 4*b. Let d = b - l. Is d a multiple of 17?
True
Suppose 2*i - i - 2*x = 9, 12 = 4*i - 2*x. Let p be (-48)/(-60) - (-228)/15. Let v = p + i. Does 8 divide v?
False
Suppose 0 = -5*o + o + s - 220, 0 = -3*o - 4*s - 146. Let c = o + 76. Does 7 divide c?
False
Suppose -7*r + 32 = -3*r. Suppose 2 = -5*f - r. Does 6 divide (-3 - f) + 150/6?
True
Let s = 430 + 438. Is s a multiple of 12?
False
Suppose -21*o + 24*o - 5*p = 1426, -3 = -3*p. Does 22 divide o?
False
Suppose -35*h + 19240 = -15*h. Is h a multiple of 27?
False
Suppose 3*k - u - 4080 = 0, -4*k = 4*u - 622 - 4802. Does 25 divide k?
False
Suppose 7*q = 2*q + p + 24, -5*q - p = -16. Suppose 0*a = -q*a + 124. Is 8 a factor of a?
False
Let o = -1096 - -1123. Does 27 divide o?
True
Suppose 2*y - 140 = 308. Let v be 2/(1 + (-1)/2). Suppose 0 = -3*j, -j = -v*l + 3*j + y. Does 14 divide l?
True
Let b(q) = 79*q**2 + 8*q - 112. Does 11 divide b(5)?
True
Let q(x) = -3*x**3 + 2*x**2 + x + 2. Let a be q(-2). Suppose -6*g + a = -4*g. Is g a multiple of 5?
False
Suppose -4*z = -5*z - 1. Let x(p) = -18*p + 6. Is x(z) a multiple of 6?
True
Let p = 623 - 303. Is 20 a factor of p?
True
Suppose -2*l - 7 = -a, 0 = l - 0*l + a + 8. Does 9 divide 31 - (3 + l - -6)?
True
Let r(s) = 62*s - 6. Let p be 4/(-8)*(2*-1 - 2). Is r(p) a multiple of 30?
Fal