q**6/120 + q**5/60 - q**4/24 - 2*q**3 - 6. Let w(m) be the third derivative of d(m). Is 6 a factor of w(-3)?
False
Let n(r) = 14*r + 5 + 9 - 3 - 12*r**2 - r**3. Let j be n(-13). Is j/(2/1) + 7 a multiple of 3?
True
Let w = 30 - 26. Let s(o) = o**2 - 2*o - 3. Is 2 a factor of s(w)?
False
Suppose 0 = 4*h - 16, -2*c + h - 5 - 3 = 0. Let i(k) = -7*k**2 - 42*k - 6. Let w be i(-7). Does 8 divide 5/10 + w/c?
False
Let d be 1/(-5) + -3 + (-747)/15. Let v = -48 - d. Is 5 a factor of v?
True
Suppose -249 - 59 = -2*d. Suppose -2*r - d = -4*z, -3*r + 47 + 102 = 4*z. Let y = 2 + z. Does 10 divide y?
True
Is (-32317)/(-9) - (4 - 342/81) a multiple of 21?
True
Let r(i) = -31*i + 600. Is 46 a factor of r(6)?
True
Let z = 201 - -7. Is 8 a factor of z?
True
Let c = -882 + 1510. Is c a multiple of 22?
False
Let n = -72 + 136. Is 39 a factor of ((n/5)/(-1))/((-52)/1040)?
False
Let s be (-4*3)/4*-1. Suppose -x = -s*g + 19, 2*x + 0*g + 41 = 3*g. Let f = 36 + x. Is 9 a factor of f?
False
Let i(u) = -u**2 - 37*u + 76. Is i(-26) a multiple of 53?
False
Suppose 0 = -3*m + 5*m - 72. Let q = 37 - m. Is 24 a factor of (-5 - (-4)/q)*-45?
False
Let b(m) = m**3 - 4*m**2 + m - 3. Let u be b(4). Suppose 492 = -4*z + 10*z. Is 5 a factor of u/(-4) + z/8?
True
Let v(z) = 2*z**2 + 9*z - 36. Does 10 divide v(16)?
True
Let x = -30 - -120. Is x a multiple of 10?
True
Suppose -4*s = -0 - 8. Let d be ((-35)/10)/(s/4). Let y = 15 + d. Is 8 a factor of y?
True
Let h = 221 + -121. Does 20 divide h?
True
Suppose -5*s + 17 = -13. Is 10 a factor of (s/9)/((-8)/(-420))?
False
Let g(b) = b**3 - 36*b**2 - 27*b - 12. Is g(37) a multiple of 4?
False
Suppose -5*c - 7*i + 6*i + 7002 = 0, -i - 6998 = -5*c. Is 5 a factor of c?
True
Suppose -5*l - 10 - 65 = 5*k, 0 = 5*l - 2*k + 75. Is 12 a factor of (l/25)/(2/(-150))?
False
Let q(d) = -d**2 + 16. Let n(l) = -l**2 - 9*l. Let r be n(-9). Is 3 a factor of q(r)?
False
Let x(i) be the first derivative of -7/2*i**2 + 1/3*i**3 + 11*i + 3. Is x(7) a multiple of 5?
False
Let b = 809 - 83. Does 10 divide b?
False
Suppose -3*i - 2*s = 2*s - 2, 0 = -i - 3*s - 1. Suppose 3*x - 7 = -v, i*x - 14 = -v - v. Does 3 divide v?
False
Let c(p) be the second derivative of 5*p**3/6 + 5*p**2/2 + 11*p. Let v be c(5). Does 15 divide (v/(-9))/((-4)/42)?
False
Let r = -54 + 58. Let m be -2 + 2 + 0 + 3. Does 21 divide r + 14 + (m - 0)?
True
Let n(p) = p**2 + 18*p - 18. Let z be n(-16). Let b = z + 70. Is 10 a factor of b?
True
Suppose 3*m + 11 = 26. Suppose 2 = m*y - 8. Is 2 a factor of y?
True
Suppose -2*b = -5*y + 8967, 25*y - 24*y - 1811 = -4*b. Is y a multiple of 41?
False
Let j = 33 - 21. Let n be j/(-36) + (-7)/(-3). Is n/((5/(-8))/(-5)) a multiple of 5?
False
Suppose -4*t - 2*v + 2978 = 0, 10*t - 3722 = 5*t - 2*v. Is 62 a factor of t?
True
Let s be (308/(-21))/((-2)/3). Suppose 0 = 3*q - 14 - s. Suppose -3*c = c - q. Is c a multiple of 3?
True
Let q(h) = -h**3 + 9*h**2 + 5*h - 7. Is q(8) a multiple of 18?
False
Let i = 8 + -5. Suppose v = -2*v - 6, v - 157 = -i*f. Let p = f + -31. Is p a multiple of 9?
False
Let w(h) = -4*h. Let s be w(-1). Suppose -56 = -215*z + 217*z. Let x = s - z. Does 12 divide x?
False
Let c(w) = w**3 - 13*w**2 + 14*w - 4. Let d be 18/(-54) - (74/(-6))/1. Does 2 divide c(d)?
True
Let o(k) = k + 2*k + 20 - 4*k - 11. Let l be o(5). Suppose l*s + 4 = 0, 0 = 3*z + 2*z + 4*s - 241. Does 26 divide z?
False
Suppose 17 = q + 5. Is 5 a factor of (-1)/(q/8*(-2)/108)?
False
Let b(m) = m**2 - m - 8. Let w be b(-6). Suppose 5*n - 38 = 4*j + 5, 4*n - 3*j = w. Does 3 divide n?
False
Let r = -12 - -46. Suppose 8*p - 54 = r. Does 2 divide p?
False
Let s(z) = -z**3 + z**2 + 7*z. Let v be 3/(-6)*8/1. Is 52 a factor of s(v)?
True
Suppose 6*u = 11*u + 110. Let f = 123 + u. Does 19 divide f?
False
Let i = -435 + 1461. Is 114 a factor of i?
True
Let m = 57 - 54. Suppose -132 = -m*f + 2*f. Is 33 a factor of f?
True
Suppose 8*s = d + 5*s - 385, -3*s + 1179 = 3*d. Is d a multiple of 72?
False
Is (-2)/((24/7110)/(-2)) a multiple of 36?
False
Suppose 0 = -5*m + 5*z + 1668 + 537, 0 = 2*z - 2. Suppose -3*o = 5*q - 7*o - m, 94 = q + 2*o. Is q a multiple of 18?
True
Does 44 divide (-979)/143 + 7 - (-6054)/26?
False
Let v(s) = -3*s**3 + 3*s**2 + 4*s + 5. Let b be v(4). Suppose c - 7 = 7. Is 2/c - b/21 a multiple of 2?
True
Let f(g) = g**3 - 10*g**2 - 9*g + 4. Let l = -9 + 5. Let s be 44/(-8)*(l - -2). Does 13 divide f(s)?
True
Let r = 446 + -375. Is 2 a factor of r?
False
Let o(m) = -6*m**2 - 3*m + 7. Let v(r) = 5*r**2 + 3*r - 6. Let q(x) = 4*o(x) + 5*v(x). Is 21 a factor of q(10)?
False
Let r(u) = -13*u + 10. Let s be r(-16). Suppose -6*f + s = -70. Does 24 divide f?
True
Suppose -3*w - 43 = -1. Let a(o) = o**2 + 14*o - 13. Let q be a(w). Let y = q + 17. Is y a multiple of 3?
False
Let i(m) = -m**3 + 6*m - 11. Let w be i(6). Let n = 296 + w. Is n a multiple of 8?
False
Suppose -4 = -2*d, 4*m = -15*d + 14*d + 6802. Does 20 divide m?
True
Let f be -3*(3/(-9) + -3). Suppose c - f = 110. Is c a multiple of 20?
True
Let z = 28 - 23. Suppose -z*r - 168 = -463. Is 31 a factor of r?
False
Let a(r) = -2*r**3 - 14*r**2 - 7*r - 4. Suppose 2*g = -3*d - 29, 4*g - 3*g + 2 = d. Does 5 divide a(g)?
True
Let b be -2 + 3 - 1 - -20. Does 16 divide ((-48)/20)/((-3)/b)?
True
Let t = -2 - -5. Suppose -t + 0 = f. Is 1*(f + 20) + 2 a multiple of 8?
False
Suppose 4*z - 4*w = -w - 526, -2*z - 270 = -5*w. Let a = z - -207. Suppose -5*s + 2*v + a = 0, -4*s + 112 - 36 = 2*v. Is s a multiple of 6?
False
Let q(w) = w**3 + 7*w**2 - 8*w + 3. Let i be q(-8). Let h be (-8)/(5 - i)*1. Is h*(-1)/(2/9) a multiple of 7?
False
Suppose j = -2*j - 12. Let q(l) = -l**3 - 5*l**2 - 5*l - 4. Let b be q(j). Does 10 divide (40 - b) + 1 + -1?
True
Suppose 4*d + 487 = 2*l - 59, -153 = d + 5*l. Let r = d + 208. Does 14 divide r?
True
Let z(o) = -72*o**3 - 3*o - 3. Let j be z(-1). Does 5 divide (7/(-14))/((2*-1)/j)?
False
Let m(b) = -b**2 + 11*b - 12. Let z be m(8). Let u be (6 - z)/((-4)/22). Suppose -3*f - 89 = -3*r - 2*f, r - u = f. Is r a multiple of 11?
False
Let x(b) = -11*b**3 - 23*b**2 - 21*b - 12. Let c(g) = 4*g**3 + 8*g**2 + 7*g + 4. Let s = -12 - -15. Let l(p) = s*x(p) + 8*c(p). Is l(-4) even?
True
Let v = -1126 - -1346. Is v a multiple of 20?
True
Suppose 2*n - x = 845, 5*n + 2*x - 770 = 1320. Is n a multiple of 22?
False
Suppose 12 = n + 3*n + 2*a, 5*n = -a + 12. Suppose -192 = n*b - 8*b. Is b a multiple of 16?
True
Let j = -1280 + 1301. Is j a multiple of 21?
True
Let h(b) = 98*b**2 + 14*b + 16. Does 20 divide h(-2)?
True
Suppose -5*b = -6*b + 15. Does 2 divide b/12*(-6)/(-15)*24?
True
Let s = -307 - -806. Does 20 divide s?
False
Suppose 3*c = -2*j + 89 - 5, 0 = -3*j + 3*c + 156. Is 6 a factor of j?
True
Suppose -8 = -3*s - 2*y, -s = s + 4*y. Suppose 4*w + s*i = 223 + 161, 3*w = -2*i + 288. Does 18 divide w?
False
Let k = 3 + 2. Suppose 0 = 5*c - 3*a - 657, 0 = -c - k*a + 159 - 50. Let v = c - 84. Is v a multiple of 12?
False
Let m = 104 - 66. Is 46 a factor of (m/4)/((-1)/(-14))?
False
Suppose -7 = -4*z + 3*a, -2*a + 2 - 1 = 3*z. Let x be (3/(-1) - z)/(-2). Suppose 152 = 5*m + x. Does 7 divide m?
False
Suppose 41 = 5*k + 166. Let m(d) = d**2 + 18*d - 45. Is 13 a factor of m(k)?
True
Suppose 0 = b + 2*u - 54 + 18, 3*b - 5*u = 163. Let s = 129 - b. Is 14 a factor of s?
False
Suppose -1163 = 3*t - 3413. Is 50 a factor of t?
True
Let w(c) = -151*c + 4. Is w(-2) a multiple of 24?
False
Suppose w - 2*w = -2. Let q(t) = -2*t - 4*t + 5 - w - 1. Is q(-2) a multiple of 4?
False
Let y = 68 + 41. Suppose 3*g + y = 817. Is 14 a factor of g?
False
Suppose 4*i = 3*v, 6*i - 2*i = -4*v. Suppose v = 2*w + 3*g - 68, -2*g - 27 = -2*w + w. Suppose -2*d = -13 - w. Is d a multiple of 11?
True
Let y(h) = -h**3 - 10*h**2 - 19*h - 12. Let z be y(-12). Let n = z - 315. Suppose 0*v = 3*v - n. Does 9 divide v?
True
Suppose 4*q - 40 = 5*v, 2*v + 0*v + 33 = 5*q. Suppose -5*x = 3*w - 312, -5*x + 182 = q*w - 138. Is x a multiple of 12?
True
Suppose 25*b = 27*b + 2. Let y(z) = 2*z**2 - 2*z - 1. Let v(p) = -3*p**2 + 4*p + 2. Let n(a) = 6*v(a) + 13*y(a). Is n(b) even?
False
Suppose 3*i - 12 = -4*o - 4, -15 = -5*i - 5*o. Is 28 a factor of (-78)/i*20/45*-15?
False
Let g(z) = 3*z**3 - 11*z**2 + 16*z + 13. Let o(n) = -4*n**3 + 10*n**2 - 15*n - 12. Let d