k(n) - 2*s(n). Let m(p) = -21*p - 12. Let b(u) = 7*i(u) + 2*m(u). Is b(8) a multiple of 12?
True
Let m(s) = s**3 - 11*s**2 - 12*s + 5. Let j be m(12). Suppose 5*k - r = 2*r - 309, j*r - 53 = k. Let h = k - -154. Is h a multiple of 13?
True
Let i(r) = 2*r + 9. Let p be i(0). Let m(h) = 3*h - 11. Is 16 a factor of m(p)?
True
Let y(z) = -z**3 - 6*z**2 - 8*z + 2. Let h be y(-4). Suppose 4*m = -m + w + 667, -4*m - h*w + 528 = 0. Is m a multiple of 19?
True
Let l(i) = -2*i**3 + 3*i**2 - 4*i + 4. Let k be l(3). Is 9 a factor of 10/(-45) - k*(-7)/(-9)?
True
Let n = -24 + 26. Suppose 2*s + 0*s - 10 = -5*a, -a - n*s - 6 = 0. Let z = a - -5. Is z a multiple of 3?
True
Let j(m) = 1019*m + 102. Does 20 divide j(2)?
True
Suppose 0 = 3*s + 2*s + 300. Suppose 2356*j - 2354*j + 6 = 0. Let m = j - s. Is m a multiple of 25?
False
Let a be 32/(-3)*(2 + -5). Suppose 128 = 3*o + a. Is 19 a factor of o?
False
Suppose 6*i = -4*a + i + 149, -2*i + 182 = 5*a. Let m be 6/1*(-8)/(-6). Suppose s - 2*q - a = 0, -4*q + m*q + 100 = 3*s. Is 14 a factor of s?
True
Suppose -2*r - 32 - 2 = -2*d, 5*r = -d - 109. Let c be 77/r + (-2)/6. Is 21 a factor of (4/c - 0) + 62?
False
Let t = 217 + -426. Let f = 358 + t. Is f a multiple of 26?
False
Suppose r = -r - 4. Let s be 4/r*77/(-14). Suppose -p + s = -20. Is 19 a factor of p?
False
Suppose -13282 = -4*k - 3*p + 2216, -5*k - p = -19378. Is k a multiple of 34?
True
Suppose -5 = -y + k, -4*y = -5*y - k + 3. Let n = y + -2. Does 13 divide (66/(-5))/(n/(-5))?
False
Let d(l) = 3*l - 25. Suppose -4 = 3*m - 5*m, -4*x + 4*m = -32. Does 4 divide d(x)?
False
Let c = -2903 - -4998. Is c a multiple of 22?
False
Suppose 5*a + x + 3*x + 32 = 0, 0 = a + 3*x + 13. Let j be (a/(-6))/((-12)/(-90)). Suppose j*l = 195 - 5. Does 13 divide l?
False
Suppose 2*n = 2*v + 544, 3*v = 3*n + 5*v - 811. Is n a multiple of 8?
False
Let v be (-21)/(-24)*2*-4. Let j be 0 + 2 + (-7)/v. Suppose j*b - x - 164 = 0, 5*b + 4*x - 249 - 30 = 0. Does 9 divide b?
False
Let m(j) = 2*j**3 - 2*j**3 + 2*j - 10*j**3 + j**2 + 3 - 5*j**3. Is m(-2) a multiple of 21?
False
Suppose 17*a = 15*a + 66. Is 4 a factor of (-2)/(-8)*4*a?
False
Let v(w) = -2*w**2 + 4*w + 1. Let a(o) = -3*o**2 + 6*o + 2. Let r(j) = -5*a(j) + 8*v(j). Let b be r(3). Let u(h) = -9*h - 3. Does 14 divide u(b)?
True
Suppose -10 = -5*r + 10, 0 = 2*o - 4*r - 24. Suppose 2*x = -3*x + o. Suppose -4*y = -q - 12, 5*q = -x*y + 8 + 4. Does 3 divide y?
True
Suppose -4*n + 20 + 16 = 0. Suppose 0 = -f - 2*a + 14 + n, -5*f - 2*a = -107. Is f a multiple of 3?
True
Let d(t) = 1. Let b(u) = 78*u - 30. Let x(j) = -b(j) - 12*d(j). Does 21 divide x(-3)?
True
Let k be -4*4/8*49/2. Let g = 73 + k. Does 24 divide g?
True
Suppose -c + 12 = 4*c - 4*n, -n - 3 = -c. Suppose -3*f - 18 = -c. Let x(g) = 2*g**2 + 6*g. Is 18 a factor of x(f)?
True
Let x(r) = -r**2 + r + 10. Let v be x(5). Let a(q) = -q**3 - 9*q**2 - 15*q - 10. Is 12 a factor of a(v)?
True
Let m(g) = 5*g**3 + 10*g**2 + 11*g + 7. Let u(p) = -2*p**3 - 5*p**2 - 6*p - 4. Let w(q) = 3*m(q) + 7*u(q). Is 4 a factor of w(7)?
True
Suppose 6*u + 1690 = 19*u. Let c = -70 + u. Does 45 divide c?
False
Let b = 3 - 1. Let u(v) be the third derivative of v**6/40 - v**5/60 - v**4/6 + v**3/2 + 2*v**2. Is u(b) a multiple of 5?
True
Let j = 5 + -3. Let b be (-5)/5*-2 + 0. Suppose -26 = -j*i + b. Does 9 divide i?
False
Suppose 0*n - 4*o - 4 = n, 0 = 3*n + o - 10. Suppose -l = -n*l + 288. Suppose a = -3*a + l. Is 4 a factor of a?
True
Let r(p) be the first derivative of -11*p**4/4 + p**3/3 - 3*p**2/2 - 2*p + 7. Let k be r(-2). Suppose -3*y + k + 129 = 0. Is 22 a factor of y?
False
Let z = 1077 + -657. Is 12 a factor of z?
True
Suppose -19 + 4 = -5*s. Suppose s*g = -2*a + 179, 2*g - 34 = a + 76. Suppose -m + 37 + g = 0. Is m a multiple of 17?
False
Let z = 5 - 0. Let h = 8 - z. Suppose 5*y - h*y = 34. Is 5 a factor of y?
False
Let j = -768 + 1227. Is j a multiple of 35?
False
Let d be 0/(0 - -4 - 2). Suppose p - 28 + d = 0. Does 21 divide p?
False
Suppose 3*p = -w - 28 + 194, -3*w - 4*p + 478 = 0. Is 29 a factor of w?
False
Suppose -f - 4*t + 2754 = 0, -f - 3*f - 5*t = -10972. Does 37 divide f?
True
Suppose 3*m = 2*a - 1566 - 1590, 0 = 3*m. Does 24 divide a?
False
Suppose 5*y + v = -3*v - 41, 2*y - 3*v + 21 = 0. Is (-231)/7*((-60)/y)/(-4) a multiple of 11?
True
Let w = 31 - 94. Let h = w - -238. Is 25 a factor of h?
True
Let y = 11 + -9. Suppose -4*d + 5 = d + 5*i, 0 = y*d + 4*i. Suppose 28 + 200 = d*a. Is 28 a factor of a?
False
Is 18 a factor of -4 + 322*(-3)/(-6)?
False
Let g be 304/(-14) - (-30)/(-105). Let p = g - -13. Does 19 divide (693/p)/(-1 - 0)?
False
Is 1 + (-7378)/(-11) - (-33)/121 a multiple of 6?
True
Let m be 2*(-1 - 10/(-4)). Suppose -4*s + 2*a = -250, -4*s - m*a + 225 = -0*a. Does 15 divide s?
True
Let o = 357 - 223. Is o a multiple of 9?
False
Let u = 64 + -38. Let i = -24 + u. Suppose -4*j - 12 = -2*p, 5*p = 2*j - i + 40. Does 8 divide p?
True
Suppose 4*k - r + 380 = 0, -3*k + 4*r - 80 = -2*k. Let g = -19 - k. Is g a multiple of 15?
False
Suppose -5*l - 13 = -43. Does 9 divide (16/l)/((-1)/(-6))?
False
Let x be -7 - (-4)/(4/3). Let c be (118/x)/(3/(-6)). Suppose -2*w - 3*q + 63 = 0, -2*w + 4*q = -w - c. Is 16 a factor of w?
False
Suppose 0 = 26*h - 24*h - 484. Is 3 a factor of h?
False
Let w(y) = -y**3 + 20*y**2 + 5*y - 241. Does 9 divide w(18)?
False
Let d(y) = 3*y**2 + 2*y + 1. Let x be d(-1). Suppose 8 = -6*p - 106. Is 9 a factor of (x + -1 + -2)*p?
False
Let a be (-5 - -4) + (-47)/(-1). Let c = -42 + a. Does 3 divide c?
False
Let q = -553 - -1068. Is q a multiple of 35?
False
Let z = -15 + 35. Does 10 divide z?
True
Let s = 989 + -508. Is s a multiple of 100?
False
Suppose 3*d = 267 + 1167. Is d a multiple of 9?
False
Suppose 0 = -4*u + 5*u - 35. Does 11 divide 79/7 - 10/u?
True
Suppose 3*m + 1 = 10. Suppose -11 = -m*b - 2. Suppose b*a - 6*a + 204 = 0. Is 34 a factor of a?
True
Suppose 5*y - 1 = 3*r, -3*r + 6 = 2*y - 7. Suppose 0 = -0*z + 2*z - 2*x, -y*z - 5*x + 14 = 0. Is 2 a factor of z?
True
Suppose -11*s - 4*s = -660. Is s a multiple of 22?
True
Let f(v) = -40*v + 12. Is 52 a factor of f(-52)?
False
Let a = -19 + 71. Suppose 4*h + 128 + a = 0. Let w = h + 69. Is w a multiple of 14?
False
Let t = -1407 + 2127. Does 18 divide t?
True
Let u(x) = 2*x - 3 + 0*x - x. Let h be u(5). Let s(d) = 5*d**2 - d - 1. Is s(h) a multiple of 17?
True
Suppose -w = -b - 3, -8 = 3*b - 6*w + 2*w. Let v be 2/b*(-4 - -30). Let j = 20 - v. Is 21 a factor of j?
False
Suppose -102 = -4*g + 5*c, g + 42 = 3*g + 2*c. Suppose 2*a - 61 = g. Is a a multiple of 14?
True
Let w(d) = d**2 - 9*d - 30. Is w(-5) a multiple of 20?
True
Let t = -76 - -83. Does 4 divide t?
False
Let y = 12 + -21. Let f = y + 13. Let a(c) = 8*c - 6. Is a(f) a multiple of 8?
False
Let t(b) = -b**3 - 5*b**2 - 17*b + 7. Is t(-9) a multiple of 5?
False
Suppose 0 = j + 4 - 46. Suppose 4*q + 16 = 2*f, -4*q - q - 3*f - 9 = 0. Does 4 divide (j/q)/(0 + -1)?
False
Suppose -4*v = -418 - 150. Suppose -v - 323 = -3*b. Is b a multiple of 31?
True
Suppose -30*u = -43*u + 18837. Is 63 a factor of u?
True
Let n = 557 - 317. Suppose 0 = 65*h - 68*h + n. Is 16 a factor of h?
True
Suppose -4*m - 5*p + 477 = 0, -201 = -2*m - 3*p + 8*p. Is m a multiple of 5?
False
Suppose -4*h - 4*s = -1568, 5 + 402 = h - 2*s. Is h a multiple of 44?
False
Let n(w) = -338*w**3 + 2*w**2. Does 49 divide n(-2)?
False
Let y = 373 - 488. Suppose 3*k = -5*o + 2*k - 299, k = 2*o + 114. Let j = o - y. Is 14 a factor of j?
True
Suppose 34*a - 90 = 32*a. Does 9 divide a?
True
Let g = -206 - -1396. Is g a multiple of 34?
True
Suppose -3*a = c - 1290, 20*c - 15*c = 15. Does 13 divide a?
True
Is 24 a factor of 6320/32*(-14)/(-5)?
False
Let o(y) be the second derivative of y**5/20 - 7*y**4/12 - 5*y**3/6 - 3*y**2/2 - 2*y - 4. Is 19 a factor of o(10)?
True
Suppose 1 = -m + 2. Suppose x - m = 6. Let j(h) = 5*h - 5. Is j(x) a multiple of 15?
True
Suppose -5*r - 179 = 71. Let k = r + 60. Does 2 divide k?
True
Let w(p) be the second derivative of p**5/20 + p**4/4 - 2*p**3 - 5*p**2 + 10*p. Is 5 a factor of w(5)?
True
Let l = -281 - -142. Is 13 a factor of (4 - l)*(1 + 0)?
True
Let o(m) = -m**3 - 5*m**2 + 5*m - 17. Let p be o(-8). Let j = p + -59. Does 13 divide j?
False
Let x be 1594/(-10)