hird derivative of y(w). Is v(6) a multiple of 27?
False
Suppose l + 2*v = 61, 2*l - 2*v + v = 112. Let r = 68 - l. Is 2 a factor of r?
False
Suppose -4*i - 16 = -z - z, 3*z - 12 = 3*i. Let b be (-1)/8*i*0. Suppose -2*p + 70 = -b*p. Is 15 a factor of p?
False
Let n(u) = 175*u - 35. Is 22 a factor of n(9)?
True
Let b = -748 - -1454. Is b a multiple of 13?
False
Let t(q) = 2*q + 8. Let u be t(-6). Let o(z) be the third derivative of z**6/120 + z**5/10 + z**4/12 + z**3 + 2*z**2 + 4. Is 20 a factor of o(u)?
False
Suppose 10*v + 8 = 6*v. Let b = v + 110. Is b a multiple of 18?
True
Let l = 10 + -16. Let w be (-5 - -8)*(-92)/l. Let s = w - 18. Does 14 divide s?
True
Suppose -k = 2*x - 2002 - 5446, -5*x - 4*k = -18617. Does 14 divide x?
False
Let s = -52 + 55. Is 6 a factor of (-100)/(-45)*s*(-18)/(-4)?
True
Suppose -21*l + 6936 = 1161. Does 25 divide l?
True
Suppose -83*w + 36*w + 42770 = 0. Does 35 divide w?
True
Suppose -3 = s + 2*b, 0*s + 8 = -5*s - 3*b. Let t(d) = -d**3 - 3*d**2 - 2*d - 4. Let l be t(-3). Does 6 divide ((-93)/3 + l)/s?
False
Let l be 27/(-6)*(-48)/9. Suppose -4*s + l = 3*t - 105, 2*s = 5*t - 215. Suppose -z - 4*x + t = 5, 0 = -2*x. Does 11 divide z?
False
Let b(g) = 2*g - 4. Let a be b(6). Suppose -d = -5*d + a. Does 4 divide (16 + 2)*d/3?
True
Suppose 0 = -0*v - v - 3*u + 3, 3 = 5*v + 3*u. Suppose -4*c - 5*f + 159 = v, c + 135 = 5*c - 3*f. Is 84/4*c/14 a multiple of 28?
False
Suppose 5*t - 2*h - 18 = -0*h, 4*t + 2*h = 0. Suppose t*v = -2*v - 12. Let o(s) = -s**2 - 3*s + 7. Is o(v) a multiple of 4?
False
Let l(f) = f**3 - 20*f**2 - 20*f + 19. Is 4 a factor of l(21)?
True
Suppose 0 = 16*x - 15*x + 3. Does 7 divide (1 - 12/x)*(-261)/(-15)?
False
Let m = 3399 - 639. Is m a multiple of 8?
True
Let j = -4232 - -9602. Is j a multiple of 13?
False
Let m = 3495 + -1195. Is 46 a factor of m?
True
Let d = 16 - 14. Suppose 5*c + u - d*u = 724, 4*c - 3*u = 588. Suppose -5*k - c = -479. Does 17 divide k?
False
Let c(i) = -2*i + 10. Let o be c(6). Let j be (o/(-4))/(1/(-66)). Is (-6)/j - 390/(-33) a multiple of 3?
True
Suppose 3*i - 7 - 9 = -4*m, m = 3*i - 11. Suppose -i*x + p + 65 = 0, -20 = -2*x - 2*p + 10. Suppose -r - 4*t = -44, -4*r + 4*t + x = -60. Is 16 a factor of r?
False
Let k(a) = 17*a**2 + 18*a - 1. Is k(-3) a multiple of 16?
False
Let k(n) = -72*n**3 + n**2 + 2*n - 2. Let q be k(1). Let b = 216 + q. Is 22 a factor of b?
False
Let r = -835 + 1615. Suppose -r = -6*j + 2*j. Suppose -5*t + 0*t = -j. Is 13 a factor of t?
True
Let j(o) = 16*o + 2 - 3 + 2*o + 15*o. Is 4 a factor of j(1)?
True
Suppose 3 = -3*v - 18. Let o be (-2)/v - 4/14. Suppose -2*z = 5*t - 35, t + 44 = 3*z - o. Is 6 a factor of z?
False
Let z(c) = -2*c + 3. Let q be z(0). Is (q - 102/30)*95/(-1) a multiple of 5?
False
Let q(j) = 4*j + 10. Let s(y) = y. Let b(u) = q(u) - s(u). Let a be b(7). Let n = a - 24. Is 2 a factor of n?
False
Let s(m) = -m**3 + 28*m**2 - 51*m + 38. Does 32 divide s(26)?
True
Suppose 2*f + 16 = -2*f, -4*a - 5*f - 8 = 0. Suppose 707 = -a*s + 10*s. Is s a multiple of 11?
False
Let d = -1539 - -2318. Is 19 a factor of d?
True
Let b be 10*2/(4/1). Suppose 2*r = -b*w + 69, -4*w - r = 2*r - 58. Suppose 5*n = w - 3. Is 2 a factor of n?
True
Suppose -2*r + 7 = 3. Suppose r*j - 1 = 9. Suppose -62 - 28 = -j*f. Is 12 a factor of f?
False
Let y(c) = c**3 - 7*c**2 - 5*c - 82. Is y(14) a multiple of 61?
True
Suppose 38 - 102 = -4*r. Suppose 8 + r = 6*c. Suppose 33 = b - 2*w - 59, -5*w = -c*b + 383. Is 17 a factor of b?
True
Does 14 divide 2 + (-2)/(-8) + (-17385)/(-76)?
False
Let d be 1/((6/(-27))/(-2)). Let v(l) = d + 3*l**3 - 6*l - 2*l**3 - 5*l + 8*l**2. Is v(-9) a multiple of 6?
False
Let i = -102 + 100. Does 4 divide 14*10/5 + 0/i?
True
Let c(b) be the third derivative of b**4/24 - 4*b**3/3 - 5*b**2. Let d be c(12). Suppose d*l - 25 = 235. Does 9 divide l?
False
Is 11 a factor of 286/9 - (-4 + (-136)/(-36))?
False
Is 20 a factor of (-1 + -9)/(-2) + 204 - 2?
False
Let c(r) = 8*r**3 - r**2 - 3*r - 7. Let z(n) = -4*n**3 + n + 3. Suppose -3*t + 5*s + 6 = 0, t - 4 = -t - 5*s. Let j(w) = t*c(w) + 5*z(w). Does 19 divide j(-3)?
False
Suppose x + 1836 = 3876. Is 85 a factor of x?
True
Suppose 2*y - 47 = -3. Let r be 0 + -2 + -1 + 5. Suppose l - r = y. Is l a multiple of 24?
True
Suppose -367 = 4*j + 493. Let b = 852 + -543. Let v = b + j. Does 16 divide v?
False
Suppose -2*a + 10 = -14. Let v = a - -114. Let g = v + -72. Does 18 divide g?
True
Let a(s) = s**2 + 2*s + 3 + s + s. Does 15 divide a(-6)?
True
Let q(f) be the second derivative of f**3/6 + 3*f. Let t be q(-15). Is 25 a factor of ((-215)/t)/(1/3)?
False
Let s = 1109 - 904. Is s even?
False
Is 13 a factor of 378 - ((-90)/(-225) - (-3)/5)?
True
Suppose 0 = -8*f + f - 280. Let t = -23 - f. Is 6 a factor of t?
False
Suppose -485 = -5*z - 3*n, -2*z - 97 = -3*z - n. Suppose 2*y - 47 = z. Suppose y = 3*u + u. Does 9 divide u?
True
Let i(s) = 76*s + 126. Does 70 divide i(14)?
True
Suppose 97 + 659 = 3*i. Is 14 a factor of i?
True
Let c be 1618/6 + (-5)/3. Suppose 0 = 3*t + 40 - c. Is t a multiple of 9?
False
Let o(p) be the second derivative of p**5/20 - 5*p**4/4 + 13*p**3/6 + 19*p**2/2 + 13*p. Let d = 35 - 21. Is 2 a factor of o(d)?
False
Suppose -17*t = 3*t - 760. Does 2 divide t?
True
Is 39 a factor of -7 + 19 + 5414 - 11?
False
Suppose 2*w - 4 = -4*x + 16, w + 4*x - 16 = 0. Let q = 9 - w. Suppose 0 = -q*j + 3*p + 110, 14 = 4*j + p - 74. Does 8 divide j?
False
Let m = 58 + 144. Let c = m - 117. Is 50 a factor of c?
False
Let l be (-2)/6*-3 - 10. Let g be (15/l)/5*21. Let d(a) = a**3 + 8*a**2 + 5*a + 10. Is 7 a factor of d(g)?
False
Let p(c) be the second derivative of -c**4/12 + 4*c**3/3 + 5*c**2/2 - 33*c. Is p(7) a multiple of 6?
True
Let n = -102 - -67. Let c = 65 + n. Is 11 a factor of c?
False
Let n = -1304 + 1848. Suppose 2*h - n = 2*s, 2*h + s = -h + 800. Is h a multiple of 50?
False
Let c = 20 + -16. Let a(i) = 6*i**3 - i**2 - i + 2. Let t(d) = -5*d**3 - 3. Let l(k) = c*a(k) + 5*t(k). Does 2 divide l(-4)?
False
Let x(f) = 50*f - 90. Does 11 divide x(18)?
False
Let r be (1*3)/(3/4). Suppose -r*b + 2*d + 28 = 6*d, -3*b - 5*d + 31 = 0. Let g(z) = 8*z**2 + 2*z - 2. Is 32 a factor of g(b)?
False
Let h(p) = p**2 + 16*p + 17. Let v be h(-13). Let j = 31 + v. Suppose 0 = -4*f + j*f - 110. Is f a multiple of 22?
True
Is 10*(0 - 122/(-4) - -4) a multiple of 23?
True
Suppose 4*d - 4 = 4*v, 0 = d - 3*v - 0*v + 5. Suppose -t - d*f + 39 = 0, t + 3*f = -0*t + 39. Is 9 a factor of 4/(-3) + 403/t?
True
Let o(t) = 8*t**2 + 3*t - 26. Is o(6) a multiple of 7?
True
Let p = -19 - -22. Suppose -2*c + 59 = p*j - 8*j, 27 = c - 3*j. Does 12 divide c?
False
Suppose -5*t - 1178 = 5*k - 308, -2*t - 519 = 3*k. Let w = 327 + k. Is w a multiple of 39?
True
Let q be 14/(-4)*(-8)/7. Suppose -2*v = -q - 0. Suppose 0 = 2*s - c - 49, s + v*c = -3*s + 78. Does 22 divide s?
True
Suppose 972 = 6*n - 4*n. Is n a multiple of 14?
False
Let d = 37 - 34. Suppose -d*r - 12 = 0, 4*o = -4*r + r + 20. Is o a multiple of 2?
True
Let n be 2 - 1*(-38)/(-2) - 1. Is 6 a factor of 2320/72 - (-3 - 58/n)?
False
Let a = -547 + 970. Is 29 a factor of a?
False
Let f(g) = -11*g - 4. Let j be f(-3). Does 29 divide j/((-3)/24*-2)?
True
Suppose 1524 = 2*u - 632. Is u a multiple of 59?
False
Suppose 5*g - 18 - 2 = -5*h, -5*h = -3*g - 12. Suppose -l + 154 = -w - 3*w, -3*l - h*w = -447. Is 27 a factor of l?
False
Let o be (-1)/4*1 - (-47)/(-4). Is 11 a factor of (121/2 + 0)*(-10 - o)?
True
Suppose 0 = 2*w - 6*w + 16. Suppose 2*b = -4*s - w, -6*b + 4*b = 8. Let z(v) = 58*v**3 - v + 1. Does 11 divide z(s)?
False
Suppose -3 = 7*d - 3. Suppose 0 = 4*z + 5*n - n - 28, -5*z = -5*n - 5. Let h = z - d. Is h a multiple of 2?
True
Let n(z) = 62*z**2 - 13*z + 68. Is n(4) a multiple of 12?
True
Suppose f + 2 = -7. Let m be 2/(-6)*f - -321. Suppose -b + m = 5*b. Is 18 a factor of b?
True
Let b(u) be the third derivative of u**7/840 + u**6/144 + u**4/24 + 7*u**2. Let x(q) be the second derivative of b(q). Is x(-5) a multiple of 15?
False
Suppose 4 = -b + 5*b. Let m(p) = 16*p + 2. Is m(b) a multiple of 3?
True
Let r be (-436)/((-1)/1) - (43 + -47). Let q = r - 275. Is 11 a factor of q?
True
Suppose 3*a + 33 = -x, 3*x + 21 + 18 = -3*a. Is 2 a factor of (a/7)/((-2)/28)?
True
Suppo