5. Let k(b) = -21*a(b) + 4*p(b). Does 5 divide k(2)?
False
Let w(b) be the third derivative of -b**5/60 - b**4/2 - 3*b**3/2 - 3*b**2. Let i be w(-7). Suppose -3*q + 5*r = -15 - 20, -4*r + i = 3*q. Is 8 a factor of q?
False
Suppose -2*p = 3*z - 5*z + 328, -2*z + 4*p = -324. Does 31 divide z?
False
Suppose 0 = h - 3 + 1. Suppose h*t = 3*t - 6. Does 2 divide t?
True
Suppose -906 + 96 = -5*y. Is y a multiple of 27?
True
Let t = 33 - 28. Is 5 a factor of t?
True
Suppose -2*t + 18 = 2*a, -a - 5 = 5*t - 14. Suppose -5*s + 30 = -5*b, -5*s + 3*b = -a - 27. Does 18 divide (-2)/6 - (-336)/s?
False
Let x = -343 - -489. Does 12 divide x?
False
Let y = -20 - -11. Is (-1 - y)*(6 - 2) a multiple of 8?
True
Let m(d) = 3*d + 6. Let o be m(3). Let z = o + -4. Is 11 a factor of z?
True
Let n(u) = 98*u**2 + 1. Is 9 a factor of n(-1)?
True
Let x = 17 + 11. Is x a multiple of 7?
True
Let a(i) = -i**3 - 4*i**2 + 5*i + 5. Let f be a(-5). Let p = f + -3. Suppose p*o - 20 = -2*o. Does 2 divide o?
False
Let i(d) = d**3 + 12*d**2 - 9. Let b be i(-12). Let o = 20 + b. Is o a multiple of 11?
True
Suppose 4*k = 1 + 7. Is k even?
True
Let f be (-34)/4*(-2 + 0). Suppose -l - 7 + f = 0. Does 10 divide l?
True
Let h = -56 + 104. Is 9 a factor of h?
False
Let g be ((3 - 5) + 0)*-1. Suppose 0 = n - g - 0. Let l(x) = 3*x**3 + 3*x - 2. Is l(n) a multiple of 14?
True
Let h(f) = f**2 - 9*f + 2. Let d be h(8). Let s(c) = -c**2 - 10*c - 8. Let u be s(d). Suppose 0 = 4*r - 68 - u. Is 10 a factor of r?
False
Let b(n) = -n - 5. Let f(w) = -w - 5. Let q(i) = -4*b(i) + 5*f(i). Let s be q(-8). Let p(h) = h**2 - h - 2. Is 4 a factor of p(s)?
True
Suppose -2*y + 6 = -0*y. Let x(v) = -6*v - 1. Let h be x(-4). Suppose h = -y*i + 65. Is i a multiple of 14?
True
Suppose 0 = -5*m + 4*h + 466, -355 + 72 = -3*m - h. Is m a multiple of 17?
False
Let r(z) = 19*z**2 + 1. Is 14 a factor of r(-1)?
False
Suppose 0 = 2*u + 2*z + 12, -2*u + 28 = -5*z + 12. Let p = u - -4. Suppose p*k + 2*m = 3 + 3, -13 = -k + m. Does 8 divide k?
True
Let i(l) = 22*l + 32. Is i(9) a multiple of 20?
False
Let t(v) = v**2 - 4*v - 3. Let f be t(5). Let u(b) = 2*b + f*b**2 - 3*b**2 + 3*b**2 + 1. Does 3 divide u(-2)?
False
Suppose -2 = 3*z - 8. Suppose z*x - 23 = 5. Does 4 divide x?
False
Let c(a) = 2*a + 2. Let h be c(4). Let t be ((-5)/(-4))/(12/(-48)). Let j = h + t. Does 4 divide j?
False
Suppose 7*q = 6*q. Suppose r + i + 0*i - 14 = q, -r + 4*i + 14 = 0. Does 7 divide r?
True
Let q(u) = u**2 + 4*u - 3. Is q(5) a multiple of 13?
False
Let l = -28 + 41. Is l a multiple of 4?
False
Let v = 5 - -5. Is 14 a factor of (-4)/v - (-644)/35?
False
Suppose -d + 4*d + 114 = 3*m, -4*d = -m + 26. Let c = m - 7. Is 10 a factor of c?
False
Let y(p) = p**2 - p + 5. Let x(b) = -b + 16. Let s be x(13). Does 5 divide y(s)?
False
Let h(c) = 11*c - 6. Let v be h(7). Suppose -5*k + v = -89. Is k a multiple of 16?
True
Let j(p) be the first derivative of p**2/2 - 4*p - 3. Does 3 divide j(12)?
False
Let f(q) = -10*q**2 - q**3 + 0*q**3 + 9*q + 14 + 3*q + 0*q**3. Let d be f(-11). Suppose 4*x = x - 5*b - 5, 4*x = d*b + 32. Is 5 a factor of x?
True
Suppose -1 = 3*c + 5. Does 16 divide c + -1 + 57 + -6?
True
Suppose -3*l - b + 8 = -2*l, -45 = -3*l + 4*b. Does 3 divide l?
False
Is (2 - 132/(-15))*(0 + 5) a multiple of 27?
True
Let w(h) = 5*h. Does 10 divide w(8)?
True
Does 22 divide -11*7/(28/(-8))?
True
Does 5 divide ((-837)/(-108))/((-1)/(-8))?
False
Suppose -3*x + 3 = 0, 3*u - 5*x + 2*x - 1236 = 0. Does 26 divide u?
False
Let f = -79 - -120. Let h = f - 20. Is h a multiple of 19?
False
Suppose 5*b = 5 + 10. Suppose -5*k - b = g - 9, 4*g + k - 62 = 0. Is g a multiple of 8?
True
Let h(u) = -u**3 - 2*u**2 - 2*u - 1. Let r be h(-2). Suppose 24 + 65 = 2*x - 5*s, r*x - 3*s = 147. Does 13 divide x?
True
Let d(l) = l + 10. Let o be d(-8). Suppose -o*b + 40 = -8. Is 24 a factor of b?
True
Let q(h) = 6*h - 1. Let x be q(1). Suppose x*i - 3*i = -j - 1, -3*i - 9 = -j. Suppose 0 = b + j*b - 204. Is b a multiple of 14?
False
Let p = 61 + 4. Is 8 a factor of p?
False
Let x(f) = f**2 + f + 3. Let w be x(0). Suppose -w - 21 = -4*l. Is 9 a factor of l/(-4)*(-76)/6?
False
Let d(l) = -9*l**2 + 18*l - 7. Let f(c) = -5*c**2 + 9*c - 4. Let u(m) = -6*d(m) + 11*f(m). Let k be u(-8). Suppose 3*p - 159 = -k. Is p a multiple of 17?
True
Let a(d) = 6*d - 1. Does 5 divide a(2)?
False
Let g(b) = -53*b + 6. Does 17 divide g(-3)?
False
Let d(s) = -s**3 + 8*s**2 - s + 9. Let a be d(7). Suppose -4*c - h - a + 271 = 0, c = -4*h + 55. Is c a multiple of 17?
False
Let y(o) = -o**3 - 9*o**2 - 8*o - 2. Let d be y(-8). Let z(f) = -44*f - 1. Let b be z(d). Let t = -55 + b. Is 15 a factor of t?
False
Let a = -3 - 4. Let k(d) = d**3 + 8*d**2 + 4*d - 1. Let q be k(a). Suppose q = 4*p - 2*p. Does 5 divide p?
True
Let a(d) = 2*d**2 + 11*d - 1. Let q be a(-8). Suppose q = 3*c + 6. Does 13 divide (0 + 26)/(-10 + c)?
True
Let z(a) = a**3 - a**2 + a - 1. Suppose 5*u = u. Let j be z(u). Is (-2)/(j*1/4) a multiple of 5?
False
Is 13 a factor of ((-19)/(-38))/((-2)/(-236))?
False
Let u(i) = 3*i + 1. Suppose 3*k = -4 + 49. Suppose -w = 2*w - k. Is u(w) a multiple of 8?
True
Is 304/8*2*1 a multiple of 19?
True
Let f(v) = -v**2 + 2*v + 4. Let h = -5 + 8. Let g be f(h). Is 17 a factor of (53 - 3/(-3)) + g?
False
Let n(i) = 7*i + 1. Suppose 2*c = 4*c - 2. Is 2 a factor of n(c)?
True
Suppose 5*v = -2*q + 43, 4*v - v + 54 = 3*q. Does 6 divide q?
False
Let o be (-2)/((-3)/(3*-2)). Let f(l) = -l**2 - 5*l + 1. Let g be f(o). Suppose c = -t + 3*t + 17, -t = -g*c + 49. Is 6 a factor of c?
False
Suppose 0*n - 16 = -j + 5*n, 0 = 4*j - n - 26. Let d(k) = 4 - 4 - j - 6 + 13*k - k**2. Is 15 a factor of d(9)?
False
Let n = 17 - 10. Let b(v) = 8*v + 16. Is 18 a factor of b(n)?
True
Let s = 8 - 4. Suppose -3*v + s*v = 87. Is 24 a factor of v?
False
Suppose 2*t + 6 = 0, -2*n = -2*t + 2 + 2. Let f(p) = -p**2 - 6*p + 2. Let y be f(n). Let c(l) = 7*l - 3. Does 23 divide c(y)?
True
Let z(y) be the first derivative of y**3 - 3. Suppose 2*m + 2 = 2*p, -5*p + 4 - 1 = -4*m. Is z(p) even?
False
Let t(u) = 12*u**2. Let j(f) = -f**2 - 3*f + 3. Let m be j(-3). Suppose -m*z = -l - z + 6, -l = z. Is t(l) a multiple of 16?
True
Suppose -j - 4*t + 47 = -9, 196 = 4*j + 2*t. Does 12 divide j?
True
Let m(g) be the first derivative of -g**2/2 + 7*g - 1. Suppose 4*j = 8 - 36. Is 12 a factor of m(j)?
False
Suppose 0 = -3*r - 15, 1 = s + 2*r + 8. Suppose -3*m = -3*z - 24, s*m - 2*z + 4*z - 19 = 0. Does 3 divide m?
False
Let a = 20 + -2. Is 9 a factor of a?
True
Let s(b) = 4*b - 1. Let k be s(1). Suppose 0 = -3*n - k + 216. Is n a multiple of 27?
False
Let b(z) = 3*z - 34. Is b(16) even?
True
Let g(s) = -7*s + 2. Is g(-1) a multiple of 2?
False
Suppose -1 = 5*h - 6, -4*n + 5*h = -175. Does 9 divide n?
True
Let k(c) = c + 3. Let d be ((-2)/4)/(2/28). Let r be k(d). Does 5 divide (-1)/r + 69/12?
False
Suppose 4*j + 53 = 149. Is 6 a factor of j?
True
Let r = 59 - 47. Does 12 divide r?
True
Let n = 11 + 1. Is 2 a factor of n?
True
Let v be ((-2)/(-5))/((-4)/(-120)). Let f = v + 15. Is 19 a factor of f?
False
Let n = -1 + 1. Suppose n = -s - 0*s. Does 18 divide (s + -1)/(2/(-36))?
True
Let r be 2/((-4)/3 + 2). Let b(y) = -y**3 - y**2 - y - 1. Let n(i) = -4*i**3 - i**2 - 8*i - 1. Let h(w) = r*b(w) - n(w). Is h(3) a multiple of 11?
True
Let w = 5 + -2. Let h = 3 - w. Suppose t - 2*t + 12 = h. Is t a multiple of 6?
True
Suppose 5*n = n + 4. Let c(f) = 10*f + 4*f + 8*f. Is 10 a factor of c(n)?
False
Suppose 5*j - o = -2*o + 409, o + 158 = 2*j. Is j a multiple of 23?
False
Suppose 2*m + 428 = 4*h - 2*h, -4*h - 2*m = -826. Is 16 a factor of h?
False
Suppose 5*y - y = 4. Let u be 4/y*(-65)/(-4). Suppose -3*i + u = 5*n, 4*i - 3 = -3*n + 47. Is 10 a factor of n?
True
Suppose 4*x = o + 980, -2*x + o + 246 = -244. Is x a multiple of 49?
True
Let q = 201 + -159. Is q a multiple of 3?
True
Let u be (-1)/((-2)/(1*18)). Let f = u - 5. Suppose -f*d = 3*m - 152, 0 = -5*m - 3*d + 76 + 170. Is 17 a factor of m?
False
Let u(n) = 36*n**2 - n + 1. Is u(1) a multiple of 11?
False
Suppose -4*i + 715 = i - 5*t, 2*i = -3*t + 296. Is 29 a factor of i?
True
Suppose -1 = 5*o + 4. Let m = o - -16. Does 4 divide m?
False
Let t = -11 + 119. Is 24 a factor of t?
False
Let i(l) = -l**3