 - 16. Does 3 divide n?
True
Let v(m) = m**3 + 3*m**2 - m - 2. Is v(2) a multiple of 8?
True
Let y(o) = o**2 + 2. Let v be (-3)/(9/(-6)) + -2. Let p be y(v). Suppose 0*n = p*n - 30. Is n a multiple of 9?
False
Suppose -4*a + 175 = 2*w - 5*a, 2*a - 90 = -w. Is w a multiple of 11?
True
Let w = 87 + -51. Does 16 divide w?
False
Suppose 0 = -4*w + 5*g + 190, 0 = -4*g + 3*g + 2. Is w a multiple of 11?
False
Let c(h) = -h**3 + 7*h**2 - 7*h + 6. Let y be c(6). Suppose y*v - v + 28 = 0. Is v a multiple of 11?
False
Let k(n) = -n**3 - 14*n**2 - 5*n - 20. Does 7 divide k(-14)?
False
Let v be (-1)/(2 + -4)*152. Let c = v - -68. Does 12 divide (2/(-4))/((-2)/c)?
True
Let p be (16/(-10))/((-16)/440). Is 6 a factor of (p/(-3))/(2/(-3))?
False
Suppose -2*z + 36 = -3*z. Suppose -4*h = -3*h + 14. Let d = h - z. Is d a multiple of 16?
False
Let v(h) = h**3 + 11*h**2 - 25*h + 12. Is v(-12) a multiple of 20?
False
Suppose -t - 8 = t. Let h be (4/t)/(1/(-7)). Suppose 2*g = -3*r + 90, -h*g - 15 = -2*g. Does 16 divide r?
True
Let h = -3 + 41. Does 19 divide h?
True
Suppose -13*d + 1432 = -5*d. Is 5 a factor of d?
False
Let x(c) = c**3 + 7*c**2 + 5*c - 5. Let k be x(-6). Let u be ((-30)/(-25))/(k/5). Suppose -3*v = -u*v + 18. Does 3 divide v?
True
Suppose 0*f - 10 = -2*j - 2*f, 0 = -4*f + 4. Suppose -j*p + 21 = -3. Does 6 divide p?
True
Let k(x) = -x**2 + 7*x - 2. Let c be k(6). Suppose c*j + t = 25, t - 3*t = 3*j - 20. Is 6 a factor of j?
True
Let n = -11 + 6. Let m(p) = p + 11. Does 4 divide m(n)?
False
Suppose w = 3*h + 31, -4 + 1 = h. Is 11 a factor of w?
True
Suppose -a + 202 = 2*a + 4*p, -3*a + 190 = p. Does 23 divide a?
False
Suppose -z = 3 - 9. Suppose -4*d + d = -z. Suppose -d*l = -2*r - 12, -4*l + 6 + 12 = -2*r. Is l a multiple of 3?
True
Let m be (-18)/4 - (-1)/(-2). Let r(q) be the first derivative of 2*q**3/3 + 7*q**2/2 + q - 1. Is 14 a factor of r(m)?
False
Suppose 5*u = -w + 5*w + 419, 2*w + 2 = 0. Is u a multiple of 16?
False
Suppose -g + 3*s = -39, -5*s + 30 = g - 1. Is 36 a factor of g?
True
Let c(b) = b**3 - 8*b**2 + 9*b - 10. Let w be c(7). Suppose -12 = w*t - 144. Is 10 a factor of t?
False
Suppose 0 = 5*f - 304 - 296. Is f a multiple of 24?
True
Suppose 0 = 3*p - w + 3, -3*p + 0*p - 3 = 3*w. Let b = p - -4. Suppose -y - 19 = -b*y - k, -4*y = k - 33. Is 7 a factor of y?
True
Suppose 5 = k + 5*l, 0 = 2*k + 3*k - 2*l - 160. Is k a multiple of 6?
True
Let v(g) = 3 - 2 + g**2 - 2. Suppose -2*l = l + 6. Is v(l) a multiple of 2?
False
Suppose 0 = -j + 4*j - 15. Suppose -j*c - 105 = -0*c. Let x = 35 + c. Does 11 divide x?
False
Let u(t) = t**3 - 7*t**2 + t - 2. Let j be u(7). Suppose -6 = j*k - 31. Suppose -i + 2*g = -6, k*i + 0 = 5*g + 35. Does 8 divide i?
True
Let z = -1 - 6. Let g(c) be the first derivative of -5*c**2/2 - c - 2. Does 17 divide g(z)?
True
Let r be (-1)/1*0/(-1). Suppose 74 = 2*n - r*n. Is n a multiple of 17?
False
Let q(b) = -b**3 - 7*b**2 - 4*b - 10. Let p be (21/9)/((-3)/9). Does 5 divide q(p)?
False
Suppose 4*t + x + 24 = 3*x, -2*x - 30 = 5*t. Let c(f) = -4 + 16*f - f**2 + 10*f - 35*f. Does 7 divide c(t)?
True
Suppose -636 = -20*j + 16*j. Does 38 divide j?
False
Let i(k) be the first derivative of -3*k**4 + k**2/2 - 6. Is 4 a factor of i(-1)?
False
Let o(p) = 2*p**2 - 25*p + 23. Is 22 a factor of o(16)?
False
Suppose 5*d + 369 = 2*d. Let n = d + 235. Is 30 a factor of n?
False
Let c be (-1 - 0)/(1/1). Let q be 8 + c + -1 - -1. Let r = q - -3. Is 6 a factor of r?
False
Let u(t) = -16*t - 5. Let l be (-33)/8 + 2/16. Does 20 divide u(l)?
False
Suppose 4*i = -16, 17 - 3 = n + 5*i. Is 34 a factor of n?
True
Suppose 0 = -67*p + 68*p - 26. Is 15 a factor of p?
False
Suppose 0 = -k - 3*j + 6, -4*j = -6*k + k - 46. Is 172/(-6)*k/4 a multiple of 12?
False
Suppose 0 = 5*b - 12 - 38. Let i = 73 + -105. Is 16 a factor of (i/10)/((-1)/b)?
True
Suppose -l + 33 = c, 7*l - 4*l = 2*c - 46. Does 6 divide c?
False
Let s be (-1 + 2)/((-12)/(-36)). Suppose -2*h + s*h = 39. Does 13 divide h?
True
Suppose -21*u = -22*u + 100. Does 20 divide u?
True
Let f(b) = 5*b**2 + 5*b - 2. Does 27 divide f(-5)?
False
Suppose 5*b - 7 + 17 = 0. Let k = 2 - b. Suppose -4*s = -k*z + 20, -4*s - 3 = 1. Does 3 divide z?
False
Suppose 0*v = 2*v. Suppose v = 3*p - 2*q - 226, -3*p - 4*q = -8*p + 374. Let w = p + -44. Is 12 a factor of w?
False
Let h be 11 - 2 - 6/2. Suppose 4*u - 4*t - 128 = 0, -u + 2*t = h*t - 7. Is u a multiple of 14?
False
Let a(c) be the first derivative of -c**5/20 - c**4/3 - c**3/2 + 5*c**2/2 + c + 3. Let p(r) be the first derivative of a(r). Is 15 a factor of p(-5)?
True
Let t = 29 + 36. Does 14 divide t?
False
Let n(o) = o**2 + 2*o - 6. Is 7 a factor of n(4)?
False
Let c be (10/4)/((-1)/4). Let p = c + 7. Is 4 - (-3 - 0/p) a multiple of 6?
False
Suppose a - 3*q = -4, 0 + 14 = 2*a + 5*q. Suppose -2*n + 30 = -z, a*z + 32 = 3*n - 12. Is n a multiple of 15?
False
Let r = -48 + 13. Let g be (-12)/(-7) - 10/r. Is 574/10 + g/(-5) a multiple of 20?
False
Suppose 39 = 4*k - 61. Is k a multiple of 8?
False
Suppose -2*c - 4*b + 0*b - 10 = 0, c = 3*b + 15. Is c even?
False
Let q = 76 - 27. Does 8 divide q/5 + (-12)/15?
False
Let b be (5/(-10))/((-1)/170). Let u be 21/(1/(-12)*-2). Let h = u - b. Does 19 divide h?
False
Suppose -37 = -l - 5. Suppose 0*h - 24 = -h - 4*b, 5*h = 2*b + l. Suppose 104 = -4*i + h*i. Does 21 divide i?
False
Let z = -5 - -7. Suppose -3*m = -z*m - 107. Let o = -59 + m. Is 16 a factor of o?
True
Let b = -7 - -3. Let k = -22 + 4. Let f = b - k. Is f a multiple of 14?
True
Let d be (-1 + -8)*(-87)/9. Suppose i + 2*i - d = 0. Suppose 71 + i = 4*p. Is p a multiple of 10?
False
Suppose 2*o + 3 - 63 = 0. Let j be ((-16)/12)/(2/o). Is 5 a factor of (j/(-6))/(1/3)?
True
Let f(b) be the third derivative of b**6/120 - b**5/120 + b**4/12 + b**3/2 + 2*b**2. Let i(z) be the first derivative of f(z). Is i(2) a multiple of 6?
True
Suppose 5*x + 2*n = 6, -4*x = x + n - 3. Suppose x = -3*i + 66 + 15. Is 9 a factor of i?
True
Let y be 1 + -2*6/(-3). Suppose 3 - 23 = -y*d. Suppose 0 = 5*c + 4*q - 55, d*c + q = -0*q + 44. Does 4 divide c?
False
Suppose -69 = 5*d - 234. Does 13 divide d?
False
Suppose 0*f = -2*f + 2*t + 230, -4*t = 4. Is f a multiple of 20?
False
Suppose 0 = -0*h + 3*h - 15. Suppose 5*y + 24 = -g - 0*g, -h*y - 20 = 5*g. Let i = y - -18. Does 12 divide i?
False
Suppose 2*r - 5*k + 68 = 0, 5*k - 8 + 96 = -2*r. Let v = r + 80. Does 20 divide v?
False
Let l = -45 + 31. Suppose -187 = -4*p - 43. Let t = l + p. Is t a multiple of 11?
True
Suppose 0 = 6*u - 190 - 2. Does 5 divide u?
False
Suppose 39 = -2*p + 149. Is p a multiple of 11?
True
Let v be 0 - ((3 - 1) + -4). Let p be (13/v)/(5/10). Let y = 26 - p. Is y a multiple of 13?
True
Suppose 4*q = 0, -5*c + 75 = -q + 5*q. Is 5 a factor of c?
True
Suppose 3*w - 256 = -w. Does 14 divide w?
False
Let t = -4 + 5. Does 21 divide 26 + (t + 1)/(-1)?
False
Suppose s - 14 = 4*i + 66, s - 2*i - 90 = 0. Does 25 divide s?
True
Suppose 6*n - 4*o - 5 = n, -5*n - 3*o + 40 = 0. Suppose 23 = p + 4*x, 0*p - 65 = -n*p + 5*x. Let q = -9 + p. Does 6 divide q?
True
Suppose 238 = -0*a + 4*a - 3*w, 0 = -a + 2*w + 57. Let c = 94 - a. Suppose -c - 133 = -5*z + 4*m, -3*m - 12 = 0. Does 13 divide z?
False
Suppose 0*h = 2*h. Suppose -3*u - 2*i + 41 = h, 5*i - 10 = -u + 8*i. Is 4 a factor of u?
False
Let d = -3 - 3. Let x(t) = -5*t + 5. Is 12 a factor of x(d)?
False
Let s = -3 + 5. Suppose 0 = 2*g - 3*w + 8, -s*g - 4*w - 6 = 2. Is 5 - 0 - (g + 5) even?
True
Let a = -6 - -10. Suppose 3*i - a = -73. Let j = i - -34. Is 11 a factor of j?
True
Let q = 9 + -15. Let m(o) be the third derivative of o**5/60 + o**4/8 - 5*o**3/6 - o**2. Does 10 divide m(q)?
False
Let q be 4/26 - (-37)/13. Suppose -y = -2*y + q. Is 3 a factor of y?
True
Let u = -36 - -54. Suppose 3*m = 2*c - u, 4*c + 5*m - 56 = m. Does 7 divide c?
False
Suppose -3*b + 47 = -b - 3*g, 3*g = -9. Does 6 divide b?
False
Suppose 16*f = 12*f + 60. Is 3 a factor of f?
True
Suppose -l + 5 = -1. Let b be (-15)/2*4/(-5). Suppose -j + l = -b. Is 8 a factor of j?
False
Let s(f) = f**2 + 8*f. Let g be s(-7). Let d = g - -11. Is d/(-14) + 79/7 a multiple of 4?
False
Let b = -3 - -2. Let y(p) = -11*p - 1. Is 5 a factor of y(b)?
True
Let r(i) = -i**3 + 12*i**2 - 2*i - 24. Is 12 a factor