 c(r) = r**3 - 5*r**2 - 5*r + 3. Suppose -14 = -5*o + 16. Is c(o) a multiple of 4?
False
Let y = -27 + 57. Is 5 a factor of y?
True
Let b = 7 - 5. Suppose 0 = -b*l - 3*l + 100. Let x = l + -9. Is x a multiple of 11?
True
Let o = -64 + 74. Is 10 a factor of o?
True
Let h(i) = 3*i**2 - 7*i - 4. Is 17 a factor of h(7)?
False
Let l(v) = -11*v - 13. Is 16 a factor of l(-7)?
True
Let p(r) = 66*r**2 + 6*r + 5. Let n(u) = -66*u**2 - 5*u - 4. Let y(a) = -4*n(a) - 3*p(a). Is y(-1) a multiple of 18?
False
Suppose 8*h - 4*h - 720 = 0. Is 20 a factor of h?
True
Let z(g) be the first derivative of g**7/840 + g**6/120 + g**5/120 - g**3/3 + 3. Let w(t) be the third derivative of z(t). Is 2 a factor of w(-2)?
True
Let k(y) = y**2 + 5*y - 2. Let a be -1*(6/3 - 1). Let p = 2 - a. Does 11 divide k(p)?
True
Suppose -21 + 6 = -3*p. Suppose -353 = -p*v - 118. Is v a multiple of 14?
False
Let o be 6/3 - 24/(-1). Suppose 0 = -2*b + 82 + o. Does 18 divide b?
True
Let k(h) = -h**3 + 4*h**2 + 4. Let b be (0 - (-1 - 2))/1. Is k(b) a multiple of 4?
False
Let p(r) = 22*r - 15. Let z(h) = -h. Let w(u) = p(u) + 6*z(u). Does 23 divide w(6)?
False
Let l(v) be the second derivative of -v**3/3 - v**2 - 3*v. Let u be l(-2). Does 7 divide -1 + 9 + (-2)/u?
True
Let k(q) = q**3 + q. Let a be k(1). Does 19 divide a/8*-2*-38?
True
Let c = 67 - -9. Is 4 a factor of c?
True
Let i be -5*(2 + -1)*-1. Suppose i*z = 60 - 10. Does 2 divide z?
True
Suppose 2*r + 3*r = 15. Is 11 a factor of (r - (-17 + -1)) + 1?
True
Let d(f) = -f**3 + 0*f**3 + 8*f**2 - 3*f + 0*f - 2*f**2. Does 7 divide d(5)?
False
Does 11 divide 10/(-45)*-6 + 656/3?
True
Let z(r) = -2*r**2 - 32*r + 9. Is 3 a factor of z(-15)?
True
Let b = 86 + -62. Is 24 a factor of b?
True
Let t = -2 + 5. Let v(l) = -3*l**3 + t*l + 5 - 4*l**2 - 1 + 2*l**3. Does 5 divide v(-5)?
False
Let f(u) = -u**2 + 1. Let n be f(-1). Suppose -a - 5*i = a - 36, n = a - i - 11. Does 10 divide a?
False
Let i = 5 + -4. Suppose i = 3*s - 53. Is 6 a factor of s?
True
Let j(z) = z + 1. Let f(m) = 26*m**3 + 4*m + 4. Let g be 6/12 - 6/4. Let q(w) = g*f(w) + 4*j(w). Does 21 divide q(-1)?
False
Suppose -h = -w + 7, w = 2*h - 3*h - 3. Suppose 2*g - 40 = -y + 28, w*y = 3*g - 109. Is g a multiple of 12?
False
Suppose -5*x + x = -12. Suppose -x*n - 7 = -178. Does 15 divide n?
False
Suppose -4 = -5*c + 1. Is 9 a factor of -81*c/(-6)*2?
True
Let d(a) = -a**3 - 2*a**2 + 3*a - 2. Let k be d(-3). Let i be (-1 - -7)*(-9)/k. Suppose x + 27 = n, n - 5*x - i = -0*n. Is n a multiple of 12?
False
Suppose 5*l = 5*q - q + 18, 4*q = l + 6. Is l even?
True
Let t(l) be the third derivative of -l**4/6 + l**3/2 + l**2. Is 19 a factor of t(-4)?
True
Let u be 291 + 4 - (1 - 0). Suppose -3*y + u = -0*y. Suppose -5*r = 4*j + 8 - y, 2*r = -4*j + 24. Does 14 divide r?
False
Let v(t) be the first derivative of t**5/20 + t**4/2 + t**3/2 - t**2 + 2*t + 3. Let m(g) be the first derivative of v(g). Is 5 a factor of m(-5)?
False
Suppose -b = 6*a - 10*a + 1199, -586 = -2*a - 4*b. Does 16 divide a?
False
Let w(h) = -h**2 + 4*h - 11. Let b be w(8). Let k = 83 + b. Is 14 a factor of k?
False
Suppose 2*g = 5*d - 0*g - 268, -4*d + 4*g = -224. Does 12 divide d?
False
Is 4/(-6) + (-896)/(-21) a multiple of 15?
False
Suppose 23 = 2*h - 67. Let r = 64 - h. Is r a multiple of 7?
False
Let b(i) = 8*i**2 - i - 3. Is 25 a factor of b(3)?
False
Let q(a) = -a**3 + 1. Let c be q(-2). Let s(x) = x**2 - 6*x. Does 27 divide s(c)?
True
Suppose -2 - 41 = -f + z, 139 = 3*f - z. Is 19 a factor of f?
False
Let g be 11 + 1/1*1. Suppose -5*q = 5*j - 25, q - g = -5*j + 5. Suppose 0 = -2*f + j*f - 45. Is f a multiple of 15?
True
Let r(v) = v**3 - 12*v**2 + 5*v - 9. Let a be r(12). Suppose 0 = 5*u - 411 + a. Suppose -5*f = -3*f - u. Is f a multiple of 11?
False
Suppose -t - 147 = 2*t. Suppose -49 = m + 40. Let i = t - m. Is 20 a factor of i?
True
Suppose -w + 50 = w + 2*b, -5*w = 2*b - 110. Let m = w - 4. Is m a multiple of 16?
True
Let u be (-2 + 7)*(-2)/(-2). Suppose t + 44 = u*t. Is t a multiple of 5?
False
Let s(y) = y**2 - 8*y + 2. Let t be s(-6). Let i = -28 + t. Is 29 a factor of i?
True
Let s(y) = 2*y - 6. Let j = 6 - 2. Let k be s(j). Is 15 a factor of 4/(-1)*(-13)/k?
False
Is 6 a factor of (-2)/4 - (-290)/20?
False
Let y be ((-1)/(-3))/((-5)/(-75)). Suppose 5*u - o - 107 = 0, -6*u + 4*u + 32 = y*o. Does 15 divide u?
False
Let j = 181 + -127. Is 6 a factor of j?
True
Suppose -5*j = 2*f - 931, 3*j - 5*f - 540 = -0*j. Is 23 a factor of j?
False
Suppose -117 = -2*l - l. Is 11 a factor of l?
False
Suppose f = 81 - 13. Suppose -2*k - f = -2*a + 26, 106 = -2*k - 4*a. Let v = 89 + k. Is 25 a factor of v?
False
Let g(l) be the third derivative of 29*l**4/24 - l**3/3 + 5*l**2. Is 7 a factor of g(1)?
False
Let c(k) = -k**2 + 4*k + 3. Let p be c(5). Let i be -5*(p + (-16)/5). Let t = i + 10. Is 17 a factor of t?
False
Let c = 14 + -1. Is c a multiple of 13?
True
Suppose 2*h - 9 = -3*h - b, 2*h + b - 3 = 0. Suppose k = 3*d + h*d + 26, -k + 3*d = -20. Is k a multiple of 11?
True
Let t = 26 + -16. Is 8 a factor of t?
False
Suppose 5*j = 4*y - 3*y - 27, 3*y = -j + 145. Let t = y + -32. Suppose -2*k = k - t, 2*b - 14 = 4*k. Does 17 divide b?
True
Suppose 0 = -3*b + b + 18. Is 9 a factor of b?
True
Let v(o) = -o - 2. Let c be v(-2). Is 8 - ((5 - 2) + c) a multiple of 5?
True
Let w(r) = -2*r**3 - r + 1. Let i be w(2). Suppose 4*t = 6*t + 60. Let n = i - t. Does 13 divide n?
True
Suppose -19 = -0*i + i. Is (-1)/(2 + i/9) a multiple of 7?
False
Let f(i) be the third derivative of -i**6/360 + 3*i**5/40 + 5*i**4/24 - i**3/6 - 3*i**2. Let l(r) be the first derivative of f(r). Is l(7) a multiple of 14?
False
Let y(b) = b**3 - 9*b**2 + 8*b + 2. Let t be y(8). Suppose 7*p - 6 = 3*q + 2*p, t*p + 9 = 5*q. Suppose -2*x - 42 = -q*g + 12, x = 5*g - 90. Is 6 a factor of g?
True
Let g(l) = 1 + l - 3 - 1. Let s be g(6). Suppose -4*a = -4*f - 8 + 80, s*a + 24 = f. Is 8 a factor of f?
False
Suppose 13*n = 11*n + 294. Is 49 a factor of n?
True
Let m = 9 - 15. Is (m/4)/(2/(-76)) a multiple of 25?
False
Let o = 111 - 66. Does 19 divide o?
False
Let c = -73 + 125. Is c a multiple of 13?
True
Suppose 0 = 6*u - 3*u - 162. Suppose -4*b + u = -b. Is b a multiple of 12?
False
Let p(t) = 7*t**2 - t - 4. Does 5 divide p(-2)?
False
Suppose -92 = 3*n + n. Let l = n + 42. Is l a multiple of 4?
False
Suppose -4*s + 4*x + 1 + 7 = 0, -s - 4*x = -27. Let c be 6/(-15) + 4/10. Suppose -j + s + 15 = c. Is 9 a factor of j?
False
Let c be (1 - -3)/((-6)/(-9)). Suppose 2*p - c = 2. Suppose p*o = 4*d + 23 - 211, 3*d + 4*o = 106. Is d a multiple of 16?
False
Does 17 divide 3/(-13 - -1) - 1107/(-12)?
False
Let b be (-1)/(-6) + (-329)/(-42). Let x = 12 - b. Is 2 a factor of x?
True
Let x(s) = -s**3 - s**2 + 1. Let d be x(-2). Suppose 1 = 4*y + d. Is 11 a factor of ((-46)/(-1))/(3 + y)?
False
Let m be ((-8)/(-3))/(4/6). Suppose 124 = m*h - j, 0*j + 2*j + 98 = 3*h. Does 6 divide h?
True
Let x(p) = 36*p**2 + 4*p + 2. Is x(-1) a multiple of 17?
True
Let l(g) = -2*g**2 - 2*g + 5. Suppose -7*d - 45 = -2*d. Let w(p) = 7*p**2 + 8*p - 21. Let v(y) = d*l(y) - 2*w(y). Is v(2) a multiple of 17?
True
Suppose -2*m + 40 = -m. Let b be m/18 - (-10)/(-45). Does 13 divide b*(0 + (-37)/(-2))?
False
Let t = -13 + 44. Is 11 a factor of t?
False
Let j(t) = t**3 + 6*t**2 - t - 2. Let r be j(-6). Suppose -k - 12 = -r*k. Let o(f) = f**3 - 4*f**2 + f + 3. Is 5 a factor of o(k)?
False
Is 23 a factor of 3/9*3*123?
False
Suppose -44 = -2*u - 0*w - 3*w, -3*w - 12 = 0. Is 11 a factor of u?
False
Let w = -2 + 5. Suppose -w*t - 3 = 0, 0*k = 4*k + 5*t + 13. Let s(m) = -m**3 + m**2 - 1. Is 6 a factor of s(k)?
False
Let w = -95 - -141. Let d = -24 + w. Is 22 a factor of d?
True
Let x be (-8)/(-4) + -1 + -1. Does 9 divide (-54)/4*(x - 2)?
True
Let u be 4/14 - (-99)/21. Suppose -3*a + 92 = -u*m + 32, -3*a + 2*m + 51 = 0. Does 15 divide a?
True
Let y(n) be the second derivative of -1/20*n**5 + 3/2*n**2 + 0 + 0*n**3 - 1/6*n**4 + 3*n. Is 10 a factor of y(-4)?
False
Let r = 8 - 1. Let n = r - 3. Suppose n*h - 43 = 61. Is h a multiple of 13?
True
Let q(s) = s**3 + 13*s**2 + 4*s + 8. Let w(i) = i**3 + 12*i**2 + 4*i + 7. Let r(z) = -4*q(z) + 5*w(z). Is 12 a factor of r(-7)?
True
Let r = 13 - 13. Suppose 2*w + 3*w - 125 = r