nd derivative of -2*z**2 - 5/3*z**3 - 1/20*z**5 - 3*z + 0 - 3/4*z**4. Is k(-8) a multiple of 6?
True
Suppose -4*z + 4*d + 9 = -99, 0 = 5*z + 2*d - 114. Does 14 divide z?
False
Let a(z) = -40*z - 1. Let j be a(3). Let c = j - -173. Let k = c - 22. Is 18 a factor of k?
False
Let f(v) be the first derivative of v**3 + 3*v**2/2 + 4. Let i(w) = -w**3 - 5*w**2 + 2*w + 7. Let o be i(-5). Is 9 a factor of f(o)?
True
Suppose 13 = j - 34. Is j a multiple of 12?
False
Let z = -219 + 313. Does 40 divide z?
False
Suppose 3*p - 2*p = -2. Let w(c) = -13*c**2 + 4*c + 3. Let i(j) = -12*j**2 + 4*j + 3. Let a(x) = -7*i(x) + 6*w(x). Does 20 divide a(p)?
False
Suppose 2 = 4*b - 6. Suppose 0 = -b*c - 0*c. Suppose c = -4*u + u - 6, u = -2*p + 22. Is 12 a factor of p?
True
Suppose -4*l + 4*f = -24, -2*l + 44 = 3*l + 2*f. Let s(v) be the third derivative of v**4/24 - 5*v**3/6 - v**2. Is 3 a factor of s(l)?
True
Suppose 2*g - 4*g = -164. Is 26 a factor of g?
False
Let u = -41 + 59. Is 9 a factor of u?
True
Let b(x) = -3*x + 2. Let n be b(-2). Let k be (n/(-6))/(-1)*-9. Is 12 a factor of (0 + k)*4/(-4)?
True
Suppose -d + 3 = -1. Let j(h) = h**3 + h**2 - 5*h. Let q be j(d). Suppose 2*k + 0*k = q. Is 15 a factor of k?
True
Let o(b) be the first derivative of -11*b**4/2 + 2*b**3/3 - b + 1. Suppose -3*h = -h + 2. Is 12 a factor of o(h)?
False
Let n = 9 - -56. Does 5 divide n?
True
Let t = 0 - -2. Suppose -6*o - t*r = -2*o - 32, 0 = 3*o + r - 23. Let u = 3 + o. Does 5 divide u?
True
Suppose 0 = -4*q + 16, 3*q - 101 = -2*i + 19. Is 6 a factor of i?
True
Let o(c) = 1. Let y(u) = 5*u - 2. Let r(a) = 2*o(a) + y(a). Let d be r(3). Suppose d = -0*v + 3*v. Is 2 a factor of v?
False
Let b(h) be the first derivative of h**2/2 + 22*h + 5. Is b(0) a multiple of 11?
True
Let k be (0 - -10)*(9 - 8). Is 17 a factor of (-6)/10 + 496/k?
False
Suppose -3*j - 11 = 4, 0 = -5*y - 3*j + 335. Let w = y + -49. Is w a multiple of 21?
True
Suppose f = 5*y - 110, y + f - 66 = -2*y. Is 11 a factor of y?
True
Let x(d) = -11 + 2 - 6*d + 7*d**2 - d + d**3 - 4*d. Does 12 divide x(-8)?
False
Suppose 3 = r, 6*z - 53 = z + 4*r. Suppose -z*i = -8*i - 55. Does 8 divide i?
False
Let u(v) = 36*v**3 - v**2 + 3*v - 2. Let x = -1 - -2. Does 24 divide u(x)?
False
Suppose -t = 2*d - 15, -5*t + 53 = 4*d + 8. Suppose v + 2*v = -t*g + 90, 5*g = -2*v + 90. Does 9 divide 4/g - (-158)/18?
True
Let l be (22/5)/(4/20). Let x be 138/33 + (-4)/l. Suppose -12 = -x*k + 28. Does 4 divide k?
False
Let q(s) = -s + 22. Is 13 a factor of q(-9)?
False
Suppose 4*p = 5*a + 154, -24 = -3*p + 3*a + 90. Suppose -h = 2*f + f + 19, -2*f = 3*h + p. Let r = 32 + h. Does 11 divide r?
True
Let y(h) = h**3 - 20*h**2 + 45*h - 33. Is y(18) a multiple of 8?
False
Suppose 3*d + 291 = 4*r - 256, 2*d = -4*r + 542. Suppose -46 = 3*o - r. Does 6 divide o?
True
Let f be (-1)/5 + (-31)/(-5). Let r be (-4)/f*(-6 - 3). Let t(c) = c**3 - 7*c**2 + 10*c - 7. Is 17 a factor of t(r)?
True
Is (78 - 5) + (-1 - 2) a multiple of 10?
True
Suppose o - 6 = 13. Does 6 divide o?
False
Suppose -2*u + u + 2 = 0. Suppose -u*x - 136 = -2*p, 3*x + 317 = 4*p + 8*x. Let a = p - 41. Is 13 a factor of a?
False
Let u = -103 + 207. Is u a multiple of 8?
True
Let b(g) = g**3 - 6*g**2 + 7 + 0*g**3 + 1. Suppose -l - 2 = -2*f, -2*l + 3*f + 16 = 4*f. Is 7 a factor of b(l)?
False
Suppose -2*h + 5*q + 40 = 0, -5*h + 67 = 2*q + 2*q. Is h a multiple of 2?
False
Suppose -5*s = -0*s - 40. Is s/32 + 118/8 a multiple of 8?
False
Let i = 1 + 15. Is 2 a factor of i?
True
Suppose u = -6*n + 3*n + 17, 3*n = 4*u + 7. Suppose -l = -4*m - 13 + 170, 0 = -4*m - n*l + 175. Does 10 divide m?
True
Let g(w) = w. Let y(c) = -3*c. Let s(l) = 11*g(l) + 4*y(l). Let b be s(0). Suppose -2*u - d = -8 - 0, 2*u + 5*d = b. Is 3 a factor of u?
False
Let j = 134 - 65. Is 5 a factor of j?
False
Suppose -4 = -0*d + 2*d. Is (d/(-4))/((-1)/(-90)) a multiple of 11?
False
Let y(b) = -134*b - 4. Is 31 a factor of y(-1)?
False
Let g be (-1)/1 - (-4)/1. Suppose -g*p - 9 = -6*p. Suppose 0 = p*z - 9 - 18. Is 8 a factor of z?
False
Let h(w) = w**3 + 2*w**2 - 2*w + 2. Let i be h(4). Suppose i = 5*k - 2*k. Is k a multiple of 8?
False
Suppose 0 = -5*i - 3*l + 675, 0*l + l = -5*i + 675. Is 25 a factor of i?
False
Suppose -3*q = -8*q + 65. Suppose -9 = -i + 3*j, -2*i = -4*i + j + q. Does 4 divide i?
False
Suppose -2*a + 5*a - 113 = 4*k, 4*k = -a + 11. Let z be ((-9)/(-12))/((-2)/48). Let d = z + a. Does 13 divide d?
True
Suppose -2*z + 2*f = -4, 4*z - 7*f - 6 = -2*f. Let p(s) = 81*s - 1. Let o be p(1). Suppose z*a + 0*a = o. Is 10 a factor of a?
True
Let b = -13 - -17. Suppose 0*w = b*w - 16. Does 2 divide w?
True
Let g = 36 - 9. Is 10 a factor of g?
False
Let b(u) = -2*u**2 - 23*u - 15. Is b(-10) a multiple of 4?
False
Let o(f) = -f**3 - 2*f**2 + 5*f - 6. Is 11 a factor of o(-5)?
True
Let v(l) = -l**2 - 25*l - 12. Is 13 a factor of v(-10)?
False
Let p be -14*5/4*-6. Let x = p + -57. Is x a multiple of 24?
True
Suppose -4*b = -b - 45. Let o(d) = -d**3 + 11*d**2 - 6. Let a be o(11). Let f = b + a. Does 9 divide f?
True
Suppose -4*o + 27 = 7. Suppose 16 + 9 = o*y. Suppose -2*m - m + 5*f = -7, y*m = 2*f + 18. Is m even?
True
Suppose -3*b + 4 = -23. Does 3 divide b?
True
Let l = 15 - 10. Suppose 2*h = -4*r + 26, 5*h - 1 = 5*r + 4. Suppose q - h*b - 24 = 8, l*b = -2*q - 11. Is q a multiple of 5?
False
Suppose -1 + 97 = 4*d. Suppose v = 4*v - d. Let f = v + 14. Does 7 divide f?
False
Let b = -35 - -67. Does 16 divide b?
True
Let l = 89 - 26. Let r = -40 + l. Is 11 a factor of r?
False
Let o(c) = 4*c - 11. Is 8 a factor of o(8)?
False
Suppose 2*j = -2*j. Suppose 2*g + 8 + 0 = j. Let q = 4 - g. Is 4 a factor of q?
True
Suppose 3*a + 5*q - 1046 = 0, 8 = 5*q - 12. Is a a multiple of 57?
True
Does 16 divide 0 - 24*(2 - 4)?
True
Let v be (-4)/(-10) + (-12)/(-20). Let o(h) = 31*h**2 - 1. Is o(v) a multiple of 15?
True
Does 23 divide (-30 + 2)/(1/(-1))?
False
Suppose 2*a + 1 = 3. Let n(z) = z + 1. Let y be n(a). Suppose -3*i - 3*g + 69 = 0, y*g + 100 = 4*i - 2*g. Is 8 a factor of i?
True
Let m(c) = -c + 2. Is m(-3) even?
False
Suppose l = 81 + 34. Is l a multiple of 23?
True
Suppose -63*b + 60*b = -618. Does 11 divide b?
False
Let g(c) = -c**3 - 2*c**2 - c. Let q be g(-2). Let h be -8*(0 - 1/(-2)). Is h/q + (2 - -40) a multiple of 16?
False
Suppose 4*u = u + 195. Let y = u - -5. Suppose n - y = -4*n. Is 14 a factor of n?
True
Let p = 4 + -2. Suppose -4*z - 18 = p*c, 6*c - 5*z - 17 = 3*c. Is c + -2 + 15 + -1 a multiple of 10?
False
Let h = -5 + 7. Suppose 0 = -d + h*d - 8. Let k = d - -7. Is k a multiple of 15?
True
Let h(l) = -3*l + 14. Let x be h(6). Let k(m) = -m**2 - 7*m - 2. Is 5 a factor of k(x)?
True
Let g be 6/(-36) - (-1123)/6. Let k = g + -124. Suppose 3*i - 66 = -3*h, 0*i + 2*h = -3*i + k. Does 13 divide i?
False
Let o = 59 - 17. Is 21 a factor of o?
True
Let n(b) = 4*b**2 - 6*b - 6. Is n(5) a multiple of 24?
False
Let f(m) = -7*m**2 - 2 - m**3 + 1 - 3*m - m**2. Is f(-8) a multiple of 23?
True
Suppose -18 = -5*b - 4*k + 3, -5*b - 5*k + 20 = 0. Suppose -3*p = b*s - 117, p = s - 2*s + 37. Is p a multiple of 17?
True
Let m = 2 + 2. Suppose 5*g = 2*g. Is g/(-2) + (m - -5) a multiple of 9?
True
Suppose -5*w = 3*y - 51, -3*w + 84 = 5*y - 1. Let d be (-2)/5 - y/(-5). Suppose 2 - 8 = -d*v, -v + 9 = x. Does 3 divide x?
False
Let i be -3*3/18*-4. Let n(c) = 3*c - 3. Does 2 divide n(i)?
False
Suppose 5*f = 2*f. Suppose -4*z - 2*m + 96 = 0, 2*z + f*m - 28 = 4*m. Is z a multiple of 12?
False
Is 17 a factor of ((-1)/2)/((-2)/316)?
False
Suppose 0 = -3*q - 2*v - 354, -3*v + 133 + 206 = -3*q. Let j be q/(-2) + -6 + 5. Suppose -5*w + 2*w = -j. Is 19 a factor of w?
True
Let m be -1 + (-2)/(-2) - -8. Let g = m - -1. Is 9 a factor of g?
True
Suppose 0*u + 3*u = -5*y + 32, -4*u + 5*y - 4 = 0. Let d be (-4)/(-10)*(4 + 1). Suppose -d*h - u*i + 44 = 0, 8*h - 5*h = 4*i + 76. Is 10 a factor of h?
False
Let g be (-3*(2 - 1))/(-1). Suppose -g*n + 13 = 4. Suppose 0 = l + n*l + a - 32, 8 = l + 4*a. Is 3 a factor of l?
False
Suppose 4*d = 2*d - 6. Is 8 a factor of (-4)/6 + (-35)/d?
False
Let z(u) = -u**2 + 13*u - 6. Let q be (0 - 0) + 22/2. Is z(q) a multiple of 8?
True
Let f = 17 - 16. Is 22 a factor of (f - -3) + -4 + 44?
True
Let m(r) be the first derivative of r