y - 400. Does 32 divide f(-7)?
True
Let c(w) be the third derivative of -w**6/120 - w**5/10 - w**4/12 + w**3/2 - w**2. Suppose 3*j - p = -24, -12 = -3*p - p. Is 21 a factor of c(j)?
False
Let z(w) be the third derivative of -w**5/60 + w**4/4 + 5*w**3/3 + 6*w**2. Let j be z(6). Let o(x) = x + 11. Is o(j) a multiple of 20?
False
Let j be (-4)/(2 + 436/(-216)). Suppose 4*w + 3*k = -0*w + 215, -4*k + j = 4*w. Is w a multiple of 6?
False
Let y(g) = -34*g + 20. Let z be -4 - 1*0/5. Does 26 divide y(z)?
True
Let w(l) = -l**3 + 5*l**2 - 5*l + 2. Let i be w(3). Suppose 0*g + i*g = 100. Suppose 104 = 3*o + g. Does 6 divide o?
False
Let g(p) = -6*p**3 - 21*p**2 - 30*p + 5. Let u(o) = 7*o**3 + 20*o**2 + 31*o - 4. Let r(h) = 6*g(h) + 5*u(h). Does 10 divide r(-25)?
True
Let o = -22 + 24. Suppose -3*u - o*u - 60 = 0. Let c = 37 + u. Is c a multiple of 9?
False
Let k(n) = -10*n + 10. Let s(j) = -j**3 + 4*j**2 + 5*j. Let q be s(5). Suppose 0 = -q*c - 3*c - 21. Does 16 divide k(c)?
True
Let j = 464 - 183. Let q = j - 189. Does 9 divide q?
False
Suppose 0 = 6*l + 3337 - 9565. Is 29 a factor of l?
False
Suppose -23*j - 21411 = -84*j. Does 27 divide j?
True
Let t(z) = z**3 + 7*z**2 + 6*z + 4. Let p be t(-6). Does 5 divide 0/(3 - p) + 20?
True
Let j = 1110 + -681. Does 13 divide j?
True
Suppose -z = o - 222, -o + 227 = 41*z - 39*z. Is 44 a factor of o?
False
Let x = 2643 + -2214. Does 13 divide x?
True
Suppose -432 + 5470 = 11*n. Is n a multiple of 13?
False
Let j(v) be the third derivative of v**5/60 - v**4/8 + 11*v**3/3 + 44*v**2. Does 11 divide j(-11)?
True
Suppose 0*a + 3906 = 14*a. Is 31 a factor of a?
True
Let l = -4 - -16. Let s = -21 + 13. Is (s/l)/((-4)/66) a multiple of 11?
True
Let i be 10 + -8 + 1*-1. Let r be 1 + i/(-2)*0. Suppose r = 2*u - 13. Is 7 a factor of u?
True
Let z(u) = 24*u + 2. Let y(j) = -2*j - 2. Let g(f) = f + 1. Let l(n) = 5*g(n) + 2*y(n). Let k(b) = 2*l(b) + z(b). Is 18 a factor of k(3)?
False
Let h(k) be the first derivative of k**4/4 - 2*k**3 + 5*k**2/2 + 7*k + 6. Let i be h(5). Is 4 a factor of 93/i + (-14)/49?
False
Suppose 116 = -14*h + 452. Is h a multiple of 3?
True
Suppose 61 = b - 196. Does 53 divide b?
False
Let g be (0 - 3)*6/9. Let o be 27/(-6)*g*-3. Let t = 61 + o. Is t a multiple of 17?
True
Is 45 a factor of (-12)/(-2)*(4 + 28/8)?
True
Let s = 309 - 158. Let f = 302 - s. Does 16 divide f?
False
Let c be 6/9*3*-1. Let r = c - -36. Is 17 a factor of r?
True
Let h = 2396 + -1101. Is h a multiple of 37?
True
Let u = 363 - 198. Is u a multiple of 6?
False
Let c = 31 - 26. Suppose 0 = c*j - 4*j - 46. Is 22 a factor of j?
False
Let w(s) = -s**2 + 27*s + 28. Is 4 a factor of w(24)?
True
Suppose 0 = -56*l + 21*l + 117705. Does 86 divide l?
False
Let d be 27*(-2 - -4) + 0 + -3. Suppose k - 163 = -3*z, k + k - d = -z. Is z a multiple of 11?
True
Let w be -3 - -6 - (3 - -42 - 2). Does 12 divide ((-52)/(-3))/(w/(-15) + -2)?
False
Does 43 divide 1979 + (-6 + 1)*(-24)/(-120)?
True
Let w(r) = -r**2 + 23*r + 210. Is w(22) a multiple of 9?
False
Suppose 9*q + 7*q = 864. Is 6 a factor of q?
True
Let b(h) be the first derivative of 15*h**4 - h**3/3 + h**2 - h + 6. Let c be b(1). Let p = c - 30. Is p a multiple of 30?
True
Let p be (68 + -9)/(0 - 2/(-10)). Suppose -2*l + p = 3*l. Does 9 divide l?
False
Let c be 0/(0 + -2) + 3. Let t(h) = -h**2 + 30*h**c + 2*h**2 + 4 - 5. Does 16 divide t(1)?
False
Let i(y) = 4*y + 16. Let q be i(-3). Suppose -2 = -q*h + 14, -5*f - 4*h + 581 = 0. Is 14 a factor of f?
False
Suppose 3*d = -0*d + 9. Suppose -f + 34 = -d*f. Let j = 30 + f. Is j a multiple of 13?
True
Let u(w) = w**2 - 5*w + 2. Let k(r) = r - 1. Let g(b) = 3*k(b) - u(b). Let n be g(7). Does 20 divide -5 + 4 - (-134)/n?
False
Let r = 18 + -13. Suppose 3*a - 11 = -r. Let k(t) = 3*t**3 - t**2 + t + 2. Is k(a) a multiple of 6?
True
Let o = -34 + 35. Is 20 a factor of (42/(-28))/(o/(-80))?
True
Suppose 6*w + 1260 = 9*w. Suppose 0 = 12*t - 5*t - w. Does 6 divide t?
True
Let z(g) = -2*g**3 - 67*g**2 - 44*g - 21. Is 82 a factor of z(-33)?
False
Let u(a) = -a - 3. Let i be u(-4). Does 41 divide (i - 0)*(8 - -164)?
False
Let u = -1097 + 1153. Is u a multiple of 3?
False
Suppose 3*s = 4*y - 30, -3*s - 5*y = -y + 54. Let a = s + 60. Let u = a - 16. Is 15 a factor of u?
True
Let d be (64/(-144))/((-2)/9). Suppose -193 = -d*o + 163. Let k = -123 + o. Is k a multiple of 14?
False
Let v = 3 - -3. Suppose -642 = -v*l + 366. Is l a multiple of 46?
False
Let q = 291 - 74. Is 8 a factor of q?
False
Suppose -4*w - 54 = -602. Suppose -5*s + 178 + w = 0. Does 7 divide s?
True
Let z = -188 + 362. Suppose j - z = -2*j. Is 15 a factor of j?
False
Let z(o) = 24*o**3 - o**2. Let x = -51 - -52. Does 4 divide z(x)?
False
Suppose -3*g = -2*h + 1447, 154 = h - 2*g - 568. Is 14 a factor of h?
True
Let t(v) = 3179*v**2 - 9*v - 2. Is 27 a factor of t(-1)?
True
Let n be (6/15)/((-1)/(-15)). Let d(s) = 8*s - 9. Let p be d(7). Suppose p = i - n. Does 18 divide i?
False
Let t be ((-480)/112)/(1/(-7)). Let n = 53 + t. Does 6 divide n?
False
Does 44 divide (-8)/((98/847)/(-7))?
True
Suppose 11*t = 4*t + 63. Suppose 450 = t*d - 4*d. Is d a multiple of 30?
True
Suppose -7 + 184 = h. Suppose 5*p - 423 - h = 0. Suppose -p = -m - 3*m. Is 10 a factor of m?
True
Let s = 511 + -238. Is s a multiple of 10?
False
Let f(x) = -5*x - 2. Let h be f(-2). Let l be h/20 - (-96)/10. Let j = 34 - l. Is 8 a factor of j?
True
Suppose -5*y = -7*y - 2, 4*c = 2*y + 1662. Is 31 a factor of c?
False
Let o(r) = -4*r - 2. Let q be o(-6). Suppose -5*j = 3*w - q, 0 = j + w - 6*w + 18. Is -2*-58*j/8 a multiple of 7?
False
Let b(g) = -g + 15. Let l be b(13). Suppose 4 = 3*p - 6*p + 2*a, 4*p = 2*a - l. Does 2 divide (4 + -3)*p + 0?
True
Let t be ((-16)/(-6))/((-6)/(-9)). Suppose 8 = -4*d, -t*m + 0*d - 38 = d. Let c(w) = -5*w + 15. Is c(m) a multiple of 12?
True
Suppose 3*h = 757 + 50. Suppose 74 = -5*a + h. Suppose f = -q + 25, 0 = -2*f + q + 2 + a. Is f a multiple of 6?
False
Let s(v) = 3*v**2 - 10*v + 16. Let p be s(7). Let b = -42 + p. Is b a multiple of 8?
False
Let x(y) = -y**2 - 11*y - 24. Let h be x(-7). Suppose h*f = 54 + 10. Is 6 a factor of f?
False
Let r(q) = q**2 + 4*q + 7. Does 6 divide r(-5)?
True
Suppose -9 = 6*u - 3*u. Let z(f) = f**2 - f - 1. Let i(d) = -d**3 + d**2 - 2*d + 1. Let x(o) = u*z(o) + i(o). Is 6 a factor of x(-4)?
False
Suppose -5*d + 15 = 0, -3*d - 276 = -0*m + 3*m. Let i = -49 + -10. Let r = i - m. Does 12 divide r?
True
Suppose 0 = 4*g + 3*f - 897, -2*f = 3*g + 3*f - 670. Is g a multiple of 16?
False
Suppose -4*n - 7 = 3*w, w = -4*n + 3*w + 18. Suppose n = 4*j - 10. Suppose -l + 26 = p - j*p, 4*l = -4*p + 44. Is l a multiple of 16?
True
Let d(c) = c**3 + 8*c**2 + 2*c + 15. Let k be -1*3*133/57. Is 50 a factor of d(k)?
True
Let s(w) = -w**3 + w**2 + w. Let o(b) = -7*b**2 - 2 - 2*b**3 + 16*b - 21*b + 3. Let f(k) = o(k) + 5*s(k). Does 13 divide f(-2)?
False
Let d(p) = -10*p**2 - p + 36. Let o(l) = -7*l**2 - l + 24. Let g(i) = 5*d(i) - 7*o(i). Is 3 a factor of g(4)?
False
Let i(p) = -8*p**3 + 12*p**2 + 3*p - 2. Let j(l) = -l**3 + 1. Let h(r) = i(r) - 6*j(r). Does 10 divide h(6)?
True
Suppose 5*r = 2*w - 0*w + 14758, -3*r = -w - 8854. Does 134 divide r?
False
Suppose 4*u = -2*t - 14, 0*t + 5*t = -3*u. Suppose 0 = -5*g + 2*f + 115 + 54, 2*g = t*f + 61. Is 7 a factor of g?
True
Suppose 0 = 5*y + q - 50, 0 = 2*y - 4*q - 24 + 4. Suppose y*i - 7*i - 168 = 0. Is 14 a factor of i?
True
Suppose 6*h - 2*h - 184 = -4*q, 0 = -3*h - q + 142. Is h a multiple of 2?
True
Suppose 0 = b + 5*j - 1041, -54*b + j = -59*b + 5205. Is 12 a factor of b?
False
Let j(s) = 2*s**2 - s - 13. Let k be j(-3). Let b be (0 + (0 - 0))/1. Let r = k + b. Is r a multiple of 8?
True
Suppose -k + 10*k - 1512 = 0. Does 24 divide k?
True
Suppose -z - 3*v - v = -59, 0 = -5*z + v + 358. Let s = 383 - z. Suppose -84 = -4*w + s. Is w a multiple of 30?
False
Let y(w) = 4*w**2 + 38*w + 48. Does 62 divide y(-17)?
True
Let d be (-2)/(-6) - 130/3. Suppose 0 = 3*y + 4*c + 46, -5*y + 4*c = c + 125. Let g = y - d. Is 7 a factor of g?
True
Suppose -1 + 6 = -5*h, 0 = -v + h - 51. Let t = 103 - 179. Let d = v - t. Is 8 a factor of d?
True
Suppose -2*x = 4*a - 112 - 274, 3*a + 4*x = 297. Is a a multiple of 5?
True
Suppose -3*r + 55 = 5*l, 0*l =