 16. Let v(q) = 2*q**2 - 5*q + 4. Is v(n) a multiple of 11?
False
Let m(c) = -c - 12. Suppose -4*q = 2*n + 22, -4*n - 3*q - 26 = -q. Let a be m(n). Does 10 divide (-142)/a - 6/21?
True
Let r = -37 + 93. Suppose 90 = -3*f - 0. Let s = r + f. Is 13 a factor of s?
True
Let j(g) = g**3 + 6*g**2 + 5*g + 6. Is j(-5) even?
True
Suppose 4*q + 3*l + l = -44, 4*q = -3*l - 43. Let u(g) = -g**2 - 10*g + 2. Let d be u(q). Is 6 a factor of (-32)/(-3) - d/(-6)?
False
Does 11 divide (693/(-35))/(1/(-5))?
True
Is 12 a factor of 8/6*(14 - -4)?
True
Let w(l) = -3*l**2. Let q be w(1). Let d = 6 + q. Is 23 - 1*(2 - d) a multiple of 13?
False
Let f = -230 + 326. Is f a multiple of 14?
False
Let v(u) be the third derivative of u**6/720 - u**5/40 - u**4/8 - 2*u**2. Let c(w) be the second derivative of v(w). Does 4 divide c(7)?
True
Let a(w) = w**2 - 5*w + 5. Let s be 1/((-22)/(-10) - 2). Let y be a(s). Suppose -y*v + 2*m = -3*m - 120, -v + 2*m + 28 = 0. Is 8 a factor of v?
False
Suppose -3*o + 2 + 12 = -2*y, -4*o + 19 = -3*y. Suppose 3*j = 3*g + 24, -g + 56 = 3*j + o*g. Is 7 a factor of j?
False
Is (8 + 4)*(-4)/(36/(-105)) a multiple of 10?
True
Suppose 3*h + 3*s = 615, 0 = s + s + 6. Does 13 divide h?
True
Suppose -4*k = -8*k + 52. Is k a multiple of 4?
False
Let f be (-1 - 21/(-6))*2. Suppose -2*w = 3*c - 5*w - 33, -f*w = -2*c + 10. Does 5 divide c?
True
Let p be (-16)/(-5) + 7/(-35). Suppose 2*t = -0*t + 186. Suppose -p*u - 27 = -t. Is u a multiple of 9?
False
Suppose 4*l - 113 = -3*o + 18, 5 = 5*o. Is 14 a factor of l?
False
Suppose 0 = -f - 4*d + 7, 2*f + 21 = 5*f + 3*d. Is 6 a factor of f?
False
Let j = -55 - -65. Is j even?
True
Let k = -69 - -127. Does 16 divide k?
False
Let z = -2 - -7. Suppose z*r - 144 = r. Let t = -23 + r. Does 7 divide t?
False
Let w = 29 + -45. Is (21/12)/((-2)/w) a multiple of 7?
True
Let f be (-1 - -4 - -8)*2. Suppose -2*a - f = -2*b - 0*a, -5*b + 2*a + 43 = 0. Is b a multiple of 7?
True
Let x be -2 - 3 - 2/1. Let k = 13 + x. Is k a multiple of 6?
True
Let c be 7/1*(-9)/(-9). Does 6 divide 98/c - 4/2?
True
Let r = 28 + -16. Does 6 divide 4/(r/21) - -1?
False
Let p(l) = -7*l - 4. Let f(x) = -x**2 + 5*x + 2. Let a be f(6). Does 12 divide p(a)?
True
Let r(q) = 2*q - 3. Let p be r(3). Does 15 divide 22/(p/(-9) + 1)?
False
Let d(h) be the third derivative of h**4/6 + 2*h**3/3 - 12*h**2. Suppose 2*f + 2*m - 1 = 19, -15 = -5*f + 2*m. Is d(f) a multiple of 10?
False
Let o(p) = 14*p + 60. Is o(11) a multiple of 29?
False
Let d(s) = 19*s - 4. Is d(4) a multiple of 12?
True
Suppose -q = -0*q - 2. Let z(m) = 6*m. Is 6 a factor of z(q)?
True
Suppose -3*r + 3 = 3*z - 0*z, 23 = 3*r - 2*z. Let j = 8 - r. Suppose j*v = -2*u + 28, v - 49 = -4*v - u. Does 10 divide v?
True
Let q(b) be the first derivative of b**5/60 + b**4/24 - b**2/2 + 1. Let z(n) be the second derivative of q(n). Does 2 divide z(-2)?
True
Suppose 2*n = -4*q + 24, 3*q = -5*n + 4*q + 5. Suppose -23 = -2*g + t, 4*g - 3*g - n*t = 7. Does 5 divide g?
False
Let b = -90 - -138. Suppose -b = -2*h - 0*h. Is h a multiple of 22?
False
Let s = 8 + -5. Suppose 0 = -s*p + 6*p - 78. Does 13 divide p?
True
Suppose s = -0*s + 81. Is 9 a factor of s?
True
Suppose -7*h + 1354 = -81. Does 22 divide h?
False
Let d(s) = 2*s**2 - 5*s + 5. Is d(5) a multiple of 30?
True
Let h(j) = -14*j**2 + 21*j - 20. Let m(w) = 9*w**2 - 14*w + 13. Let g(d) = 5*h(d) + 8*m(d). Does 4 divide g(4)?
True
Let f(v) = 31*v - 4. Is 24 a factor of f(4)?
True
Let z(m) = 5*m - 15. Does 13 divide z(16)?
True
Suppose 89 = 6*z + 5. Let u = z - -3. Is u a multiple of 8?
False
Let x(n) = 4*n**2 - n. Let r be x(-1). Let b be (1 - 1 - 0) + -1. Let y = r + b. Does 4 divide y?
True
Let o = 182 + -128. Is 18 a factor of o?
True
Suppose -4*o = -26 + 10. Let s be (47 - -1)*3/o. Suppose 4*z - s = -4*k, 5*k + 0 = -25. Does 14 divide z?
True
Suppose 3 = 5*r + 33. Is 18 a factor of 45 - 4 - (2 + r)?
False
Let o = -219 - -319. Does 20 divide o?
True
Suppose -3*h = -4*h + 6. Does 8 divide h/(-1*3) - -15?
False
Let f = 15 - 6. Is f a multiple of 2?
False
Let x be 4/10 + 236/10. Let a = 37 - x. Is 4 a factor of a?
False
Let x = -12 + 20. Let v be ((-4)/6)/(x/(-60)). Suppose -2*s + 36 = -2*t, 2*s = -2*s - v*t + 90. Is 10 a factor of s?
True
Let n(m) = m + 35. Does 15 divide n(21)?
False
Is (-3)/(-6) - 532/(-8) a multiple of 15?
False
Suppose 0*u = -u - 84. Is 3/((-9)/u) - 3 a multiple of 19?
False
Let i(s) = -18*s + 24. Is i(-4) a multiple of 8?
True
Let k(s) = 5*s**2 + 2*s - 11. Is k(4) a multiple of 7?
True
Let f be (-13)/4 + 4/16. Let l = -5 - f. Let a(j) = 4*j**2 - 2*j - 3. Does 8 divide a(l)?
False
Suppose 5 = 5*m - 25. Does 6 divide m?
True
Let s(k) = -k**3 - 4*k**2 - 3*k + 4. Let r be s(-3). Suppose 5*f - r*b - 262 = 213, 0 = -3*b. Suppose -2*z + 7*z = f. Is z a multiple of 8?
False
Let q(u) = -u**2 + 28. Is q(0) a multiple of 6?
False
Suppose 20 = 7*w - 6*w. Is 10 a factor of w?
True
Let q = -22 - -35. Is q a multiple of 3?
False
Suppose 3*s - 151 = 5*r, -5*r - 62 - 73 = 5*s. Let p = r + 58. Is 11 a factor of p?
False
Let s(u) = 3*u**3 + u**2 + 4*u - 1. Let k be s(3). Let j = k + -59. Is j a multiple of 14?
True
Let p = 1 + -1. Suppose 2*g + 23 = 5*r - 0*g, 3*r + g - 5 = p. Suppose -2 = s + 5*t + 4, 9 = -r*t. Is s a multiple of 4?
False
Let l(t) = 5*t**2 - t + 1. Let b be l(1). Let r be ((-2)/(-3))/((-1)/(-114)). Suppose -a + b*a - r = 0. Is 7 a factor of a?
False
Let z(s) = s**3 + 5*s**2 + 4*s + 2. Let u be z(-5). Let y be 14/(-18) + 4/u. Is 21 a factor of -2 + 29 - (-1 + y)?
False
Let j be 9 + -6 + -1 + 1. Suppose 204 = -j*p + 7*p. Is 16 a factor of p?
False
Suppose 10*t - 9*t = 143. Is 4 a factor of t?
False
Suppose -18*i = -13*i - 35. Let y = i - -5. Does 11 divide y?
False
Let i(t) = -t**3 + 2*t**2 - 1. Let k be i(-1). Suppose -34 = k*s - 3*s. Is s a multiple of 17?
True
Let t be (3 + -3 + 1)*9. Does 9 divide t/15 - 94/(-10)?
False
Is 14 a factor of (-12 - -15)/(6/188)?
False
Let f(c) = 10*c**2 - c - 1. Let n be f(-1). Let r = n - -3. Let x = 26 - r. Does 7 divide x?
False
Is (-44110)/(-198) + 4/18 a multiple of 29?
False
Let n = -3 - -6. Suppose n*p - 36 = -6. Is p a multiple of 3?
False
Let n = 7 + -17. Let j be n/5 + (-2 - 0). Is 10 a factor of (30/9)/(j/(-30))?
False
Suppose 57 = u + 2*u. Let m = -5 + u. Does 7 divide m?
True
Let k be (-145)/(-7) - 2/(-7). Suppose n - 4 = y + y, -5*y = 3*n + k. Let g(v) = v + 6. Is 2 a factor of g(y)?
False
Let d = 12 - 16. Let g = d + 12. Does 8 divide g?
True
Let l = 15 - 5. Is 10 a factor of l?
True
Let a(f) = 23*f**2 + f. Let x be a(-1). Suppose x = 3*s - 8. Suppose g = -2 + s. Is g a multiple of 4?
True
Let c = -10 + 18. Let d(t) = t**2 - 6*t. Let v be d(c). Suppose j - v - 9 = 0. Is 10 a factor of j?
False
Let a(y) = y**3 - 2*y**2. Let f(u) = -1. Let s(k) = a(k) + 3*f(k). Does 3 divide s(3)?
True
Suppose 3*m = -2*a + 10, 0*m - 4*m = -2*a - 18. Let f = 5 - m. Let y(o) = 34*o**2 + o - 1. Does 17 divide y(f)?
True
Let l = -16 - 25. Let i = l - -63. Does 8 divide i?
False
Suppose 2*a + 5*s = -2*a + 756, -5*a + 945 = 5*s. Is a a multiple of 18?
False
Let f = 6 + -1. Suppose f*n - n = 3*o + 3, 2*o + 5*n + 2 = 0. Let k(g) = 8*g**2 + g. Is k(o) a multiple of 5?
False
Let w = 33 + -16. Is w even?
False
Suppose 3*d - 5*x - 265 = 0, 2*d + x - 181 = -0*d. Does 45 divide d?
True
Let a(k) = -k**2 + k - 2. Let j be a(4). Let p be (-111)/(-4) - 12/(-48). Let h = j + p. Is h a multiple of 7?
True
Let l = -7 + 11. Suppose l*n = v + 23, -n + 4 = -4*v - 13. Suppose -g + 64 = n*h, 1 + 15 = 4*g. Does 12 divide h?
True
Suppose 0*q + d - 2 = -q, -q + 3*d - 14 = 0. Is 10 a factor of ((-84)/(-7))/((-2)/q)?
False
Let m(s) = s**2 + 3*s. Suppose 25 + 10 = -5*w. Is 14 a factor of m(w)?
True
Let f be 2 + 1 + -1 + 0. Suppose 2*m + 0*m = d + 6, 4 = 4*m + f*d. Let r = 13 - m. Is r a multiple of 11?
True
Is ((-12)/7)/(10/(-840)) a multiple of 15?
False
Suppose -4*s - 10 = -5*i, 4*i = -2*s + 3*i + 2. Is 4 a factor of (52 + s)/2 + 0?
False
Let o(i) = i**2 - 4*i - 9. Is o(-3) a multiple of 4?
True
Let w(c) = -2*c**2 - 4*c - 6. Let j be w(-5). Let h = -26 - j. Does 6 divide h?
False
Suppose -o = -4*l - 9, -2*l = 5*o + 6 + 15. Let m be (-101)/l - (-5)/15. Suppose -m = -2*j + 2. Is j a multiple of 6?
True
Let m(i) = i**3 + 10*i**2 + 3