erivative of -k**4/12 + 13*k**3/6 - 3*k**2/2 - 3*k. Let f(g) = -6*d(g) - 7*z(g). Does 5 divide f(7)?
False
Let i(n) = n**2 + 16*n + 22. Is 7 a factor of i(-19)?
False
Let j = 233 - 106. Does 16 divide j/4 - 2/(-8)?
True
Let g(d) = 4*d**3 - d**2 - d + 1. Let b be g(1). Is 11 a factor of (b - 2 - 2)*-38?
False
Suppose 4*x = c - 16, 0*x - 8 = 2*x + 3*c. Let l = 5 + x. Does 13 divide ((-7)/l)/((-2)/6)?
False
Let d = 160 + -97. Let v be 26/7 + 18/d. Suppose 2*a = v, 5*k + 4*a = 228 - 80. Is k a multiple of 11?
False
Suppose -2*f = 3*f + 15. Let y(g) = -3*g + 3. Let m be y(f). Suppose a = m - 4. Is a a multiple of 4?
True
Let q(s) = -s**3 + 2*s**2 + s - 28. Is q(-5) a multiple of 27?
False
Suppose 4*y = 4*z - 0*y - 232, 4*y = -16. Does 6 divide z?
True
Let h be -1*3/(-3) - -152. Let t = 104 - h. Is (-68)/(-7) + (-14)/t a multiple of 10?
True
Let q(a) = -a**3 + 4*a**2 + 3*a + 5. Let v be q(5). Let j(w) = -8*w - 4. Is j(v) a multiple of 11?
False
Suppose -2*m + 57 + 111 = 0. Is m a multiple of 15?
False
Suppose 0*l = 2*l - 8. Suppose 35 = a + o + l*o, 2*a + 3*o - 42 = 0. Suppose h = -3*v + 9 - 3, 0 = -5*v - a. Is 15 a factor of h?
True
Let h = -9 - -28. Does 7 divide h?
False
Let y(x) = -2*x**3 - 9*x**2 - 6*x - 2. Does 5 divide y(-4)?
False
Is 13 a factor of ((-15)/6)/(9/(-234))?
True
Let f = 25 - 23. Suppose 3*i = p + 8, 3*i + 0*i = -f*p + 20. Is 4 a factor of i?
True
Let q be 0/(-2)*4/8. Suppose -4*k + 28 = -q*t - 4*t, 0 = -3*k - 5*t - 3. Is 4 a factor of k?
True
Let x(o) = 5*o**3 - o**2 + o + 1. Let c be x(-1). Is 3 a factor of (-22)/c - (-6)/(-9)?
True
Let v(t) = 6*t + 2. Let d be v(-3). Let q = d - -22. Let b = q - 2. Is b a multiple of 4?
True
Let q(w) = 2*w**2 + 3*w. Suppose 3*k + 20 = -2*k, 5*r + 3*k + 22 = 0. Let h be q(r). Suppose -6 + 20 = h*t. Is t a multiple of 6?
False
Let h(m) = -m**2 + 15*m - 15. Suppose 0*l = 3*l + 5*p - 11, -4*l + 43 = p. Is 21 a factor of h(l)?
True
Is 2/5 + (-558)/(-30) a multiple of 6?
False
Let a(m) = -9*m + 5. Let k(s) = 10*s - 5. Let j(h) = -6*a(h) - 5*k(h). Let l be j(-5). Let i = -12 - l. Is i a multiple of 7?
False
Let k(l) = l**3 + 8*l**2 - 15*l - 12. Does 30 divide k(-6)?
True
Let w(p) = -p**3 - 24*p**2 + 25*p + 36. Is w(-25) a multiple of 18?
True
Let n(r) = 12*r**2. Is n(-1) a multiple of 4?
True
Suppose -4*t - y = -22, -2*t - y + 28 = 3*t. Suppose -t*c = -8*c + 178. Is 13 a factor of c?
False
Let k be -3 + 19 + (2 - -1). Suppose 5*w + 65 = 2*h + 3*h, -h = w - k. Is 8 a factor of h?
True
Let l = -96 - 5. Let x = 141 + l. Is 20 a factor of x?
True
Let o be (3 - -13) + 3 + -3. Suppose 5*m - 4*m - o = 0. Is m a multiple of 8?
True
Is 9 a factor of -12*8*(-3)/9?
False
Suppose 4*z = -5*v + 14 + 190, 2*z - 2*v - 120 = 0. Is 3 a factor of z?
False
Let g = 22 + -15. Does 4 divide g?
False
Is 17/(-102) + (-73)/(-6) a multiple of 3?
True
Suppose -3*f + 74 + 85 = 0. Is 21 a factor of f?
False
Let q = 254 - 163. Is (-600)/(-13) + (-14)/q a multiple of 23?
True
Suppose -y + 10 = -2*l, -6*y - 4*l - 20 = -y. Let d(b) = -b + 15. Let f be d(y). Suppose 0 = -3*a + 2*a + f. Is 13 a factor of a?
False
Let a(t) = -t**3 + 9*t**2 - 5*t + 6. Is 21 a factor of a(6)?
True
Suppose 3*g + 15 = 5*y - 0, g + 5*y = 15. Suppose 2*l - 64 = -3*s + s, g = 4*s - 5*l - 110. Does 15 divide s?
True
Let n = 71 - 9. Is n a multiple of 8?
False
Let r(u) = 7*u**2 - 5*u + 9. Let z(b) = -b**2 - b. Let l(g) = r(g) + 6*z(g). Is 12 a factor of l(13)?
False
Let d(k) = k**2 - 7. Let l be d(0). Let t be (2/l)/((-3)/21). Is 13 a factor of t - 3 - (-3 + -22)?
False
Let w = 1 - -7. Let c = w + -2. Does 3 divide c?
True
Let y be -1 + -6*(-6)/(-9). Let i(k) = -k**3 - 3*k**2 + 4*k - 5. Is i(y) a multiple of 10?
False
Suppose 0 = 3*y - 0*y. Suppose 0 = k + 3*p - 47, y*p = -2*p + 10. Does 7 divide k?
False
Let a(q) = 6*q**3 - q**2 + 3. Suppose -4*i + 13 - 5 = 0. Is a(i) a multiple of 17?
False
Let w(y) = -y**2 + 7*y - 3. Let d be w(7). Let g = 3 - 0. Let v = g - d. Is v a multiple of 3?
True
Let z(u) = 38*u**3 + 5*u - 2. Let i(p) = 19*p**3 + 3*p - 1. Let w(b) = -5*i(b) + 3*z(b). Suppose j - 10 = -3*k, -5*j + 11 = -2*k + 4*k. Is 10 a factor of w(j)?
False
Suppose -13 - 183 = -4*p. Is 12 a factor of p?
False
Let k be (-6 - -2)/(1*-2). Suppose -k*z - 4 = -64. Is 14 a factor of z?
False
Let o(v) = v**2 - 9*v + 12. Is o(10) a multiple of 13?
False
Suppose 7*y + 1968 = 19*y. Does 41 divide y?
True
Let g(h) = -5*h. Let r be g(-1). Suppose 2*l - 2*f = -8 + 74, -4*l + r*f = -127. Is l a multiple of 19?
True
Let q(w) be the third derivative of 0 + 2*w**2 + 5/24*w**4 + 0*w - 7/6*w**3. Is 14 a factor of q(7)?
True
Let p = 3 - 0. Suppose -u = 3*u + 3*k - 245, -5*u - p*k + 307 = 0. Is u a multiple of 20?
False
Let l(z) = -z**3 - z**2 + 2*z. Let n be l(3). Suppose -45 = -y + 11. Let s = n + y. Is 13 a factor of s?
True
Let f(z) = z**3 - 4*z**2 - 5*z. Let s be f(5). Suppose s = -4*y + 2*y + 16. Is 2 a factor of y?
True
Let l(j) = 16*j**2 - 1. Is l(2) a multiple of 9?
True
Suppose 4*i + 100 = 4*v + 296, -3*i - 4*v + 154 = 0. Suppose -2*o + i + 34 = 0. Is 21 a factor of o?
True
Let p be 171/(-12) + 1/4. Let k = p - -33. Is 13 a factor of k?
False
Let s be (-2 - -2 - -1)*1. Is (-186)/(-9) - s/(-3) a multiple of 12?
False
Let r be (-2)/7 + 406/49. Suppose -r*a = -3*a - 75. Is a a multiple of 8?
False
Suppose 2*t = 2*m + 30, -3*m + 33 = -2*t + 5*t. Does 5 divide t?
False
Suppose 2*p + 4*n = 320, 0 = 2*p + 5*n - 29 - 287. Let u = -8 - -11. Suppose -v - u*v = -p. Is v a multiple of 17?
False
Suppose 0*p + 72 = 4*p. Is p a multiple of 18?
True
Suppose 4*o - 5*o = -83. Let w = -49 + o. Let j = -19 + w. Is 11 a factor of j?
False
Suppose 2*r - 20 = 6*r. Let s be (1 - r)*1/(-1). Does 9 divide (-4)/s + (-50)/(-6)?
True
Let f(h) = 7*h**3 + 4*h**2 - 9*h - 4. Is 13 a factor of f(4)?
False
Suppose 0*u = u - 17. Suppose 0 = -5*n - 2*z - z - u, -19 = 3*n + 4*z. Is 17 a factor of ((-21)/n)/(1 - 0)?
False
Suppose 8*z = 5*k + 3*z + 5, -4*k + 2*z - 2 = 0. Suppose k = 2*r + r - 84. Is 13 a factor of r?
False
Suppose -23 + 3 = -4*r. Let h be -6*(-3 + 10/(-2)). Suppose -2*p + 5*p - h = -3*o, o + r*p = 24. Is o a multiple of 13?
False
Suppose 2*h + 3*m + 4 = -11, -3*h = 2*m + 10. Suppose 4*f - 28 - 44 = h. Is 18 a factor of f?
True
Suppose l = 2*s - s - 9, -4*l = -5*s + 37. Let p = -3 - l. Suppose p*o = 4*d - 83, -o = -2*d + 7*d - 111. Is d a multiple of 11?
True
Let p(z) = 8*z**3 - 3*z**2 - 2*z + 4. Does 28 divide p(2)?
False
Let a = -3 + -4. Let p(d) = d**3 + 8*d**2 + 7*d + 1. Let x be p(a). Let o = x + 17. Does 9 divide o?
True
Let u = 16 + -10. Does 7 divide (-1 - 33)/((-12)/u)?
False
Let c(k) = -k**3 - 6*k**2 + 9*k + 10. Let t be c(-7). Let g = t + 6. Suppose -g = -i, 3*y - 4*i - 28 = 24. Does 8 divide y?
False
Let u = 11 - 7. Suppose -v + w = -4, -u*v - 5*w + 31 + 30 = 0. Is 3 a factor of v?
True
Let o = 24 + 16. Is o a multiple of 20?
True
Suppose n + d + 1 = 0, 6*n - 4*n + 5*d = 13. Let u = 8 + n. Suppose 8 = u*l - 2. Does 5 divide l?
True
Suppose -2*o + 5*k = 7*k - 82, -3*o - k = -117. Is 5 a factor of o?
False
Suppose -5*f - 145 = -2*p, p + 3*p + 3*f - 225 = 0. Suppose 9*n - 4*n = p. Suppose 4*i = -3*m + 142, -2*m - 18 - n = -i. Is i a multiple of 17?
True
Does 4 divide 7/49 - 166/(-14)?
True
Let j = -14 - -9. Let v(s) = -s**3 - 4*s**2 - 3*s. Is 11 a factor of v(j)?
False
Let q(o) be the second derivative of -2*o**3/3 - 5*o**2/2 - 5*o. Does 21 divide q(-11)?
False
Suppose 3*d = -d + 12. Let b(k) = -6*k**2 - 5*k - k - 6 + d*k**2 + k**3 - k**2. Is 11 a factor of b(6)?
False
Suppose -4*j + 5*j = 92. Does 23 divide j?
True
Let h(n) = 6*n - 1. Let c be h(5). Suppose -265 = -2*b - 3*b. Let k = b - c. Does 12 divide k?
True
Let t = 10 - 10. Suppose -2*c + 17 + 13 = t. Suppose 3*d - 39 = c. Does 15 divide d?
False
Let l(p) = -p + 8. Let z(a) = 1. Let v(q) = -l(q) + 6*z(q). Let j be v(2). Suppose -u - 5*x + 49 = j, -4*u + 4*x + 69 = -127. Is 17 a factor of u?
False
Let k(b) = 9 - 3 - 5*b + b**3 + 32*b**2 - 26*b**2. Does 20 divide k(-5)?
False
Is (-10 + 0)/((140/63)/(-10)) a multiple of 5?
True
Suppose 3*s - 3*r = -42, s - 5*s - 3*r = 21. Let u(m) = 6 + 0*m + 4*m - 5*m. Is u(s) a multiple of 8?
False
Let x(y) = y - 11. Let c be x(-9). Let a be (-2)/3*(7 - 1). Does 15 divide (-36)/a*c/(-6)?
True
Supp