derivative of -d**6/120 + d**4/24 + 16*d**3/3 - 43*d**2. Let g be (-1)/(-2)*(1 - 1). Is 16 a factor of k(g)?
True
Let s(p) = 14*p - 28. Is 12 a factor of s(8)?
True
Suppose -5*u = -t + 25, -4*u - 6 = -2*u. Let l be t/15 + 52/(-6). Let c(n) = n**2 + 4*n + 8. Is 14 a factor of c(l)?
False
Suppose 3*l = -l. Suppose 0 = -l*m + 3*m - 3. Is 10 a factor of -2 + 0 - -13 - m?
True
Let m(t) be the second derivative of 1/6*t**4 - 1/3*t**3 + 0 - t**2 + 2*t. Does 10 divide m(-2)?
True
Let h be (2 + 1 - 3)/2. Let y(g) = 18*g**2 - g - 12*g**2 - 5*g**2 + 23. Is 15 a factor of y(h)?
False
Let z(l) = l**2 + 14*l + 20. Does 5 divide z(-14)?
True
Suppose -5*a - 4*z + 82 + 33 = 0, 3*a - 69 = 5*z. Is 23 a factor of a?
True
Let c(b) = b**3 + 3*b**2 - 3. Let x be c(-3). Let j be -3 - x/((-9)/24). Is (2 - j/(-4))*-4 a multiple of 2?
False
Let p(i) = 25*i**2 - 3*i + 2. Is p(1) a multiple of 8?
True
Suppose 0 = -5*v - 4*h - 0*h + 14, -v = 5*h + 14. Suppose -v*g = -4*a - 2*g + 8, 4*a - 43 = -3*g. Is a a multiple of 7?
True
Let u(w) = 7*w + 1. Let c(z) = -z**2 + 5*z - 4. Let o be c(3). Let y be u(o). Does 12 divide (y - -5)*(-6)/(-5)?
True
Suppose m - 2 - 2 = 0. Let y(t) = 2 - 5*t - m*t + 5*t. Does 13 divide y(-10)?
False
Let h(g) = 29*g**2 - g. Let c = -3 + 4. Suppose -i + c = -0*i. Is 11 a factor of h(i)?
False
Let a be 88 + -1 - (7 + -7). Suppose 2*w - t = a, -5*t + 2*t = -4*w + 177. Is 5 a factor of (-1)/(2 + w/(-20))?
True
Suppose 2*i + 0*i + 132 = -3*j, 4*i - 58 = j. Let k = -24 - j. Is k a multiple of 8?
False
Suppose 0 = -5*v + r + 4*r + 5, -r + 11 = 5*v. Let m(q) be the third derivative of q**4/3 - q**3/6 - q**2. Is m(v) a multiple of 5?
True
Let z be 73 + (2 - 3) + 1. Suppose 0 = -g - 5*r - 27 + 10, -3*r = -2*g - z. Is 18 a factor of -1 - (g - -3) - 0?
False
Suppose 3*x - s - 60 = -0*s, 0 = -2*x + 4*s + 30. Is 6 a factor of x?
False
Let o(g) = 41*g**2 + 1. Is o(-2) a multiple of 55?
True
Let v(h) = h + 1. Let s(q) = -2*q - 2. Let l(c) = 2*s(c) + 6*v(c). Is 9 a factor of l(8)?
True
Suppose t = -0*t + 1. Let l be 0/(4 + -1) + t. Is 5 a factor of l - (1/(-1) + -6)?
False
Suppose -186 = -4*z - 2*t, -2*z + z + 4*t + 69 = 0. Is z a multiple of 7?
True
Is 17 a factor of 69 + 3 + -3 + -1?
True
Is (132/(-30) - -4)*(1 - 181) a multiple of 18?
True
Suppose -7*g + 0*g = -21. Suppose 32 = g*r + 8. Is 6 a factor of r?
False
Suppose 3*d - 52 = -4. Is 3 a factor of d/(-40) + 17/5?
True
Let m(i) = -3*i - 16. Does 10 divide m(-12)?
True
Suppose 237 = 3*r - 4*b, 2*r + 16 - 174 = 4*b. Suppose 5*k + 14 - r = 0. Does 13 divide k?
True
Let c be (-1 - 0)/(-5 + 6). Is c/((-3)/(-162)*-2) a multiple of 9?
True
Is 15*(-5)/(-45)*6 even?
True
Suppose 0 = 3*s + 15. Let n(a) = 4*a - 2. Let t be n(s). Let y = -13 - t. Does 4 divide y?
False
Let f = 38 - -38. Is f a multiple of 6?
False
Suppose -4*t + 4*o = -300, -399 = -4*t - o - 104. Does 19 divide t?
False
Suppose 4*z - 3 - 9 = 0. Suppose 0 = 4*m - 4*q + q - 80, -5*m - z*q = -127. Does 10 divide m?
False
Let p(q) = -3*q**3 + 23*q**2 - 4*q + 4. Let w(x) = x**3 - 8*x**2 + x - 1. Let o(a) = 3*p(a) + 8*w(a). Let d be o(4). Does 8 divide 2*(3 + 30/d)?
False
Suppose 0 = -2*n - 0*n + 6. Suppose -4*i - 4 = 0, g + 3*i - n = -2*g. Suppose g*q = 3*s - 0*s - 122, 80 = 2*s - q. Does 14 divide s?
False
Suppose 3*n + 48 = -n + 2*y, 48 = -4*n + 5*y. Let a = 17 + n. Let x(j) = 3*j + 7. Does 22 divide x(a)?
True
Suppose -9*h = -2897 + 881. Does 14 divide h?
True
Let t = 30 + -15. Suppose -v - 5*q + 27 = 0, -5*q - 76 = -3*v - t. Does 13 divide v?
False
Let p = 235 + -43. Does 14 divide p?
False
Let p be (2/(-4))/(3/(-18)). Suppose w + p*w + 136 = 0. Let q = w - -69. Is q a multiple of 9?
False
Let t(c) = -c**2 - 5*c + 2. Let z be t(-5). Suppose 0 = 3*p + z*p. Does 12 divide (p + -1)/(1/(-17))?
False
Let y(z) = z**3 - 3*z**2 - 4*z + 4. Let w be y(4). Is 14 a factor of ((-14)/w)/((-4)/32)?
True
Let c(i) = 4*i**2 + 3*i + 5. Is 15 a factor of c(-2)?
True
Let h(b) = 7*b + 6. Is 23 a factor of h(9)?
True
Suppose -6*d = -11*d + 10, -3*d = m - 281. Is 55 a factor of m?
True
Is (-1902)/(-30) - (-2)/(-5) a multiple of 21?
True
Let r = 29 - -12. Is 14 a factor of r?
False
Suppose 0*t - 54 = -2*t. Is 9 a factor of t?
True
Suppose 2*u - 5*u = 30. Let c = u - -16. Is (-2 + 80)*2/c a multiple of 11?
False
Let i(v) be the second derivative of 2*v**3 + 5*v. Does 17 divide i(3)?
False
Let j(i) = 35*i**3 + 1. Does 12 divide j(1)?
True
Let t = -9 + 16. Suppose -4*i = 3*m - t + 3, -4*i - 16 = -2*m. Suppose -l + 36 = 4*l - 2*f, -3*f + 38 = m*l. Is l a multiple of 3?
False
Is 53 a factor of ((-6)/18)/(1/(-159))?
True
Let w be (24/20)/((-9)/(-30)). Let v(s) = -s**3 + 4*s**2 + 5*s + 3. Is v(w) a multiple of 15?
False
Suppose j - 12*j = -231. Is 16 a factor of j?
False
Suppose 2*f - 2 = -0. Suppose 2*x + 13 = -19. Let d = f - x. Is 11 a factor of d?
False
Suppose 4*n - 497 = -3*n. Does 22 divide n?
False
Let o(t) = 1. Let m(s) = -s**2 - 15*s - 1. Let u(x) = m(x) + 3*o(x). Is u(-14) a multiple of 9?
False
Let s(l) = l**3 - 4*l**2 + 8*l + 7. Is 13 a factor of s(5)?
False
Suppose 51*j = 54*j - 261. Is j a multiple of 29?
True
Suppose 13*b - 9*b - 140 = 0. Does 11 divide b?
False
Does 7 divide (414/24)/(2/(-16)*-3)?
False
Suppose 2*l - l + 213 = 5*q, q + 5*l - 27 = 0. Is 20 a factor of q?
False
Is 16 a factor of (-1 + (22 - 2))*18/2?
False
Suppose -5*n + c = -30, -c = -4*c. Is n a multiple of 3?
True
Let a(n) = -7*n + 12. Does 25 divide a(-2)?
False
Let h be (2/(-5))/1*-30. Suppose 3 = 5*w + o - h, w = 3*o + 3. Let m = 2 + w. Is 3 a factor of m?
False
Suppose -9 = 5*r - 29. Suppose 3*p - 5*c = -20, r*p + 7 = -3*c + 19. Suppose 2*z - 7 - 5 = p. Does 3 divide z?
True
Suppose 0 = -2*w + 3*j + 10, 3*j = j. Suppose -21 = -2*p - w*o, -4*p = -3*o - 11 - 96. Does 7 divide p?
False
Let m be (-3)/(-7) + (-666)/(-63). Let n(w) = w**2 - 10*w - 8. Is n(m) a multiple of 3?
True
Let a be ((-3)/(-5))/(3/15). Let y be (-2)/9 + 174/54. Suppose -a*z - y*k + 35 = -2*k, -5*z = 3*k - 57. Is z a multiple of 6?
True
Suppose -4 = 2*n - 14. Is n*3*28/35 a multiple of 4?
True
Let j = -3 - 2. Let s = j - -7. Suppose -4*o + 30 = -s*o. Does 9 divide o?
False
Let b = 140 - 78. Does 13 divide b?
False
Suppose 2*q = -3*v + 7, -5 = -2*v - 0*q - q. Is v even?
False
Let x(h) = -h**3 + h**2 - h + 180. Does 25 divide x(0)?
False
Let q(y) = y**2 + y + 14. Suppose 0 = 5*s - 15 - 10. Suppose h + k = 6*k - s, -4 = 3*h - 4*k. Does 9 divide q(h)?
False
Let q = -180 + 386. Does 31 divide q?
False
Let r(i) = i**2 + 5*i + 1. Let w be r(-4). Let o = w + 30. Let l = 50 - o. Is 9 a factor of l?
False
Let r(n) = 2*n**2 - 2*n. Let k be (-4)/3*(-6)/4. Let w be r(k). Suppose 0 = -w*d + 2*d + 88. Is 18 a factor of d?
False
Let q(n) = 6*n - 1. Let p be q(1). Suppose 4*g = -p*i + 91, 19 = 2*g - 4*i - 33. Is 12 a factor of g?
True
Suppose -3*o + 3 = -69. Let l = -9 - -18. Let i = o - l. Is 15 a factor of i?
True
Let p(g) = g + 3. Let q be p(-6). Is 1/q*(-7 - 32) a multiple of 13?
True
Suppose t = -1 + 3. Suppose 0 = -5*w + q + 118, -t*w - 4*q + 37 = -q. Does 23 divide w?
True
Suppose -15 = 5*h, x - 25 = 4*h + 10. Is 9 a factor of x?
False
Let i(g) = -g**2 + 8*g + 4. Let u be i(9). Let w(m) = -5*m + 4. Does 11 divide w(u)?
False
Suppose -2*s = 3*s - 5*p, 4*p = 5*s + 1. Let i(y) be the second derivative of 4*y**4/3 + y**2/2 - y. Is i(s) a multiple of 17?
True
Does 15 divide (-5622)/(-21) + 2 + 2/7?
True
Suppose 5*d - o - 34 = -8, 0 = -3*d + 2*o + 17. Suppose 2*w - 52 = r + 2*r, 0 = d*w - 10. Let a = -5 - r. Does 11 divide a?
True
Let l(y) = -12*y**2 + 2*y - 1. Let b be l(-2). Suppose f = 2*f - 4*s + 54, s - 73 = 2*f. Let o = f - b. Does 19 divide o?
True
Suppose s + 3*s = 8. Does 15 divide (1 - s)/((-4)/180)?
True
Suppose r + 3 = 2, 5*r - 351 = -4*y. Is y a multiple of 7?
False
Suppose 3*q - 4*z - 17 = -2*q, 0 = 3*q + 4*z - 23. Suppose -1 + 11 = q*r. Is r a multiple of 2?
True
Suppose -d = -3*d + 10. Suppose 0 = 4*l - d*l + 2. Suppose l*z - 30 = -3*z. Is 6 a factor of z?
True
Let n(v) = v**2 - 6*v + 7. Let y be n(5). Suppose -2*i = -3*i - 3*j + 11, y*j - 2 = 0. Suppose 4*a - 2*k = -4*k + 20, -3*a - 5*k = -i. Is a a multiple of 3?
True
Suppose -5*u + 0*u = -25. Let g(n) = 5 + 6*n - 3*n**2 - 4*n**2 + n**3 + 2*n**2. Is 14 a factor of g(u)?
False
L