0 + m**5/30 + 5*m**4/24 - m**3/6 + m**2 - 4. Let k(d) be the second derivative of i(d). Is 7 a factor of k(-3)?
False
Suppose 698*z + 300 = 703*z. Is 30 a factor of z?
True
Let w(a) = -a**3 + 15*a**2 - 19*a + 2. Does 39 divide w(10)?
True
Suppose 0 = -3*c + 452 - 140. Is c a multiple of 8?
True
Let a = -447 + 800. Is 23 a factor of a?
False
Let a(o) = -4*o**3 - 25*o**2 + 43*o - 31. Let x(r) = r**3 + 6*r**2 - 11*r + 8. Let q(z) = 2*a(z) + 9*x(z). Is q(-6) a multiple of 4?
True
Let w be (3 + -1)/((-6)/33). Let a = w - -21. Is 2 a factor of a?
True
Suppose -71*q = -15*q - 26152. Is q a multiple of 11?
False
Suppose -63*x + 1110 = -62*x. Does 20 divide x?
False
Let x = 1643 + 1677. Does 7 divide x?
False
Suppose 5*n = -4*b - 45, 2*b - 3*b - 4*n - 3 = 0. Let l = b - -37. Does 9 divide l?
False
Suppose 67*w - 228 = 63*w. Suppose w = 5*c + 12. Is 2 a factor of c?
False
Let r be ((-10)/15)/(4/114). Let k = -16 - r. Suppose 0 = 2*z - l + 1 - 14, -33 = -3*z - k*l. Is 4 a factor of z?
True
Does 91 divide (-1472)/(-240) + -6 + (-15883)/(-15)?
False
Let m(d) be the third derivative of -7*d**4/24 + d**3/6 + 13*d**2. Let q = -1 - 4. Does 12 divide m(q)?
True
Suppose 0 = -33*r + 34*r - 111. Does 22 divide r - (-2)/(-4)*8?
False
Is 61 a factor of (307 - 4/2) + -1 + 1?
True
Let d = 784 - 427. Does 22 divide d?
False
Let a(p) = -2*p**2 - 10*p + 9. Let w be a(7). Let b = 230 + w. Suppose 2*m - 79 = b. Does 19 divide m?
False
Suppose 409 = 5*v - 261. Let q be 3 - -2 - (-3 + 4 + 0). Suppose -5*g + f = -v, q*g + 0*f = -4*f + 88. Does 11 divide g?
False
Suppose -5*b = -3*s - 7944, -b = -3*b + 3*s + 3174. Does 15 divide b?
True
Let o(h) = 2*h**2 + 4*h. Suppose 0 = 4*x + 12, -4*v + 0 = 4*x + 24. Let t be o(v). Let q = t + -3. Does 3 divide q?
True
Let l(s) = -s**3 - 6*s**2 - 19*s - 47. Does 19 divide l(-12)?
True
Suppose 4*a + 4 = 3*h + 1, 0 = 5*a + 3*h - 3. Suppose -2*v - 99 + 459 = a. Suppose -5*n - 3*o + v = -0*n, -n = -3*o - 54. Does 13 divide n?
True
Suppose -6*n + 79464 = 78*n. Is n a multiple of 19?
False
Suppose -4*a + 22 = 2*c, -3*c + 37 = -5*a + 15. Suppose c*j - 24 = 3*j. Suppose -z + j*z - 81 = 0. Is 7 a factor of z?
False
Let z = -566 + 604. Does 38 divide z?
True
Let z = 7 - 47. Let k = z + 56. Is 4 a factor of k?
True
Suppose 2*k - 414 = -5*x, 3*k - 4*k = -4*x - 181. Is 10 a factor of k?
False
Suppose -2*m + 40 = 2*m. Suppose -14*i + 12 = -m*i. Suppose -4 = -i*c + 14. Is c even?
True
Suppose 58*p = 51*p + 15925. Does 61 divide p?
False
Suppose 11*i - 4 = 40. Suppose -67 + 7 = -i*y. Is y a multiple of 3?
True
Is 597 - -6*(-2)/4 a multiple of 11?
True
Suppose 45*f + 2899 = s + 44*f, -2*s + 5823 = 3*f. Does 12 divide s?
True
Suppose 2920 - 14440 = -6*m. Is m a multiple of 64?
True
Let x = 55 + 48. Let m = 7 + x. Is 11 a factor of m?
True
Let f = -420 - -960. Is 60 a factor of f?
True
Let v(p) = -2*p**2 - 6*p - 6. Let i(u) = -u**2 - 6*u - 7. Let h(r) = 3*i(r) - 2*v(r). Is h(12) a multiple of 9?
True
Let f be 82/(-4) + 2/4. Let w = 20 + f. Suppose 0*g + 4*g = -16, 2*b + 5*g - 64 = w. Is b a multiple of 6?
True
Let r be 11/(-33) + 14/6. Suppose r*l - 7*l = -135. Suppose -l = -5*m + 23. Does 10 divide m?
True
Suppose 2*u = -u - 18. Let o = -206 - -246. Let a = o + u. Is 9 a factor of a?
False
Suppose 0 = 4*g - 437 - 375. Let q = g + -123. Does 12 divide q?
False
Let d be (8/(-12))/(6/(-153)). Let n(i) = 57*i - d - 55*i - 6. Does 10 divide n(20)?
False
Suppose -2*s - 2*s = -4*i + 28, -4*s = -2*i + 18. Suppose -38 = i*v + 17. Let m(l) = l**2 + 8*l - 12. Is 8 a factor of m(v)?
False
Suppose 5*v + 25 = 0, -4*u + u + v + 5585 = 0. Suppose u = -5*t + 305. Is 26 a factor of t/(-4) - (-7)/28?
True
Let l be (52/(-12) - -1)*-57. Suppose -2*a = b - 6*b + 474, l = 2*b - a. Is 21 a factor of b?
False
Let j = 6 + -5. Let p be -3 + (-2 - -6) + j. Suppose -4*x - l + 318 = 0, 0*l + 4*l - 152 = -p*x. Is 20 a factor of x?
True
Let a(x) = 3*x**2 - 18*x + 10. Does 5 divide a(6)?
True
Let h = -66 - -69. Suppose -h*g + 3*s = -531, g - 5*s = -3*g + 705. Is g a multiple of 20?
True
Let b(f) = -2*f + 33. Let t be b(14). Suppose 0 = -4*p + 4, p + 50 = t*x - 299. Is 35 a factor of x?
True
Suppose 3*i = -3*p + 660, 6*i - 441 = 4*i - 3*p. Is 23 a factor of i?
False
Let j(u) = 2*u**2 - 3*u - 18. Suppose -28 = -5*g - 4*x, 3 + 9 = 3*g + 4*x. Let c be j(g). Suppose 3*h + 2*w - 3*w = c, 5*w = -h + 18. Is h a multiple of 8?
False
Suppose -2*n + 3*n + 4002 = 5*d, -d + n + 798 = 0. Is d a multiple of 56?
False
Let a(l) = l**2 - l. Let d(z) = -5 + 16*z + 10*z**3 + 11 + 12*z**2 + 11 - 11*z**3. Let k(p) = 2*a(p) + d(p). Is 2 a factor of k(15)?
True
Let a be -1 + 10/4 + 3/(-2). Is 15 a factor of 7/(3 + 4)*(a + 15)?
True
Suppose 0 = 3*m - 2*m - 4*d - 311, -5*m - 2*d = -1467. Is 6 a factor of m?
False
Let x be (-19166)/(-10) + (-4)/(-10). Suppose x = 15*m - 963. Is 14 a factor of m?
False
Let q(d) = -47*d - 362. Is 9 a factor of q(-19)?
True
Let p(i) = -10*i + 20. Let x be (-6)/15 - 252/45. Is 5 a factor of p(x)?
True
Let i = 12 + 33. Suppose -4*j = 4*m - j - i, -8 = -m - 4*j. Is m a multiple of 6?
True
Let v(r) = r**2 - 3*r + 3. Let n be v(3). Suppose 0 = -n*m - m - 36. Is 12 a factor of m*(32/(-3))/2?
True
Suppose 3*w - 6 = 6. Suppose -w*d - 3*t + 12 = 0, -2*t - 3*t = -2*d - 20. Suppose d*g - 15 = -3*g. Is g a multiple of 4?
False
Suppose -2*p - 2*p = 5*q - 28, 16 = 2*q + 4*p. Suppose d + 2*k - 3 = q*k, 3*d + k = -5. Is 7 + ((-2)/d - 4) a multiple of 5?
True
Let l = -116 + 296. Is 14 a factor of l?
False
Let q = -8 + 11. Suppose -57 = -3*g + q*d, 2*d + 47 = 3*g - 3*d. Is 4 a factor of g?
True
Let n = 3483 - 2484. Does 98 divide n?
False
Is 55/(-2)*(-11)/(-110)*-148 a multiple of 49?
False
Suppose 3*i - 3*w - 42 = -6*w, 0 = 4*i + w - 41. Let x = 30 + i. Let f = x + -3. Is f a multiple of 8?
False
Let k = -25 - -17. Let f be ((-24)/36)/(1/18). Is (k/f)/(3/72) a multiple of 8?
True
Let y(d) = d**2 + 6*d - 11. Let p be y(-8). Let r = -3 + 5. Suppose v + r*v - 227 = -p*g, -v + 75 = 2*g. Is v a multiple of 24?
False
Suppose 4*w - 8*w + 1772 = 4*x, 4*x - 2*w = 1754. Does 11 divide x?
True
Let s = 68 + -58. Suppose v + 4*v + j = 782, -s = -5*j. Is v a multiple of 8?
False
Let u be 3/6*-2*-2. Suppose -b = u*y - 160, 4*b - 6*y = -y + 679. Suppose -b = -4*o + 330. Is 31 a factor of o?
True
Suppose 41*t - 25*t - 9216 = 0. Is t a multiple of 8?
True
Let c(r) = 31 + 13*r - 17*r + 3*r. Let d be 115/9 + 6/27. Is c(d) a multiple of 9?
True
Let i(b) = b**3 + 6*b**2 - 2. Let k be (-2)/((-18)/(-15))*-3. Suppose -k*s + 35 = -5*j - 2*s, -2*j + 7 = 3*s. Is 10 a factor of i(j)?
True
Let z(c) = 13*c + 38. Let q(h) = -h. Let p(t) = -6*q(t) - z(t). Let l(m) = 4*m + 19. Let k(v) = -5*l(v) - 3*p(v). Does 9 divide k(-10)?
True
Let s = -844 - -1061. Is s a multiple of 15?
False
Suppose 0*z - 5*z = 10, z - 10 = -3*d. Is 52 a factor of (-299)/(d - 5) - -3?
False
Suppose 0 = -5*m - 12 - 108. Let s(d) = d + 80. Is 7 a factor of s(m)?
True
Let g(z) = 11*z**2 + z - 11. Let x(s) = -5*s**2 + 5. Let q(d) = -6*g(d) - 13*x(d). Let o be q(-5). Let i(m) = m**2 - 3*m + 5. Does 9 divide i(o)?
False
Is 12 a factor of (-2)/(-11) + (1736/11 - 2)?
True
Let j = -10 - -14. Suppose j*k - 148 - 16 = 3*q, 5*k - 194 = q. Is 19 a factor of k?
True
Let y(z) = z**3 - 8*z**2 - 10*z - 13. Let o be y(9). Let v = 24 + o. Is 2 a factor of (4/(-10))/(v/(-10))?
True
Let u(l) = l**2 + 4*l + 1. Let r be u(-3). Let y(v) = -5*v**3 - 4*v**2 + v + 2. Let h be y(r). Let a = h - -120. Does 30 divide a?
False
Let t = -17 + 23. Is 3 a factor of (-235)/(-15) + 2 + 2/t?
True
Let q(y) = -6*y**3 - 13*y**2 - 16*y + 13. Let g(o) = o**3 - 1. Let r(h) = 5*g(h) + q(h). Suppose 3*f + 40 = -2*j - 0*j, -66 = 5*f + 3*j. Does 28 divide r(f)?
True
Let j(k) = 3*k + 6. Let x(s) = s. Let f(t) = -j(t) + x(t). Let a be f(-4). Suppose n + 5*w - 2*w - 83 = 0, a*n - 166 = -w. Is n a multiple of 25?
False
Suppose -63*s + 6468 = -42*s. Does 77 divide s?
True
Suppose -42*q = 8846 - 23588. Is 39 a factor of q?
True
Suppose -c = 4 - 8. Let a be (c + -10)/(-1 + -1). Suppose 92 = i + a*i. Is i a multiple of 10?
False
Let u(r) be the second derivative of 21/2*r**2 + 0*r**3 + 1/12*r**4 + 0 + 5*r. Is 7 a factor of u(0)?
True
Suppose -5 + 8 = v. Let t(f) = -f**3 - 16*f**2 - 17*f - 18. Let r(x) = x**3 + 15