(y) = y**3 - 7*y**2 + 10*y + 6. Let d(j) = j**3 - 1. Let v(r) = 2*d(r) - x(r). Is v(-8) a multiple of 8?
True
Let r be (-4)/(1 + 9/(-6)). Let c = -8 - r. Is 14 a factor of ((-12)/c)/((-4)/(-336))?
False
Let z(y) = -y**3 - 5*y**2 + 3*y. Let k be z(-6). Let v = k - 16. Suppose -3*d + 6*m - m = -218, v*d - 5*m = 142. Does 19 divide d?
True
Suppose 3*x = 10*x. Suppose r - 40 - 23 = x. Is 16 a factor of r?
False
Let g(o) = -3*o - 6. Let f be g(-5). Suppose x - 16 = -f. Is 2 a factor of x?
False
Let f(d) = 0*d - 12*d - 4*d + 2*d. Let q(j) = -j**2 + 3*j - 2. Let u be q(3). Is f(u) a multiple of 14?
True
Let m(t) = -2*t - 15. Let v be m(-7). Let u be ((-158)/(-6))/(v/3). Let y = u + 131. Is y a multiple of 31?
False
Is 40 a factor of (-372)/(-6)*11/2?
False
Let h = -258 - -918. Suppose 1236 = 6*z - h. Does 35 divide z?
False
Let u = 2664 - 2034. Is 18 a factor of u?
True
Let h = -544 - -2879. Is h a multiple of 8?
False
Let l(p) = -30*p**3 + 8*p**2 + 10*p - 7. Is 26 a factor of l(-5)?
False
Let s(z) be the first derivative of -z**3/3 + 6*z**2 + 26*z + 9. Does 8 divide s(11)?
False
Let b(u) = 12*u**2 - 12*u + 20. Does 67 divide b(-10)?
True
Let i(m) = -9*m**2 + 3 - 4*m**3 - 11 + 4*m + 3*m**3 + 2*m**3. Let t be i(9). Suppose k = -k + t. Is k a multiple of 7?
True
Let d = 89 - -31. Let t = d - 66. Does 19 divide t?
False
Let w be (-46)/(-5) + 2/(-10). Suppose -4*m - 3*x + w = -m, 9 = 4*m + 5*x. Suppose v + 45 = m*v. Does 8 divide v?
False
Let k(u) = -4*u + 18. Let l be k(5). Does 9 divide l/16*122*-4?
False
Let u = -55 - -60. Suppose o = u*o - 572. Is o a multiple of 13?
True
Suppose -f = -y + 15, 9*y = 4*y - 4*f + 48. Let w be (y/18)/((-6)/(-261)). Let k = 76 - w. Is 10 a factor of k?
False
Let q = -449 - -793. Is q a multiple of 4?
True
Let d = 10 - 8. Suppose 4*k - 5*m = 225, 5*m - 109 = -d*k + 4*m. Suppose 0 = -7*b + 2*b + k. Does 3 divide b?
False
Let i(v) = 6 + 6 - 12 - 5*v + v**2. Let w be i(5). Suppose 4*c = -0*c - a + 33, -c - a + 12 = w. Is 2 a factor of c?
False
Let z(n) = 2*n**3 - n**2 - 5*n - 7. Let s be z(3). Let v = 105 - s. Is v a multiple of 7?
False
Let j be 3/3 + 30 - 1. Suppose -3*z - 2*c - 55 = 3*c, -c = -1. Let d = z + j. Is d a multiple of 8?
False
Suppose 5*f + 35 = w, -w + 66 + 9 = 5*f. Suppose 4*z - 5*z = -5. Suppose -15 = -z*x + w. Is x a multiple of 3?
False
Does 7 divide (-640494)/(-306) + 2/(-17)?
True
Suppose -6*v + 4*v = -1590. Is v a multiple of 12?
False
Suppose 0 = 4*n + 3*w + 6, -3*n + 4 = -8*n - 2*w. Suppose n = -8*k + 22*k - 3262. Is 10 a factor of k?
False
Let s = 0 - -2. Let l(y) = 131 - 62 + 2*y**3 - 69 - y**3. Does 6 divide l(s)?
False
Let g be (18/45)/((-6)/(-5))*87. Let x = 37 + g. Does 16 divide x?
False
Let i = -811 + 863. Is i a multiple of 33?
False
Is 45 a factor of -1 + (547 - 3)/4?
True
Let z(f) = -f + 4. Let o be z(2). Suppose 4*t - 4 = 0, o*j - 3*j = -4*t + 12. Let b(a) = a**3 + 7*a**2 - 12*a - 11. Is b(j) a multiple of 7?
True
Suppose -33*q + 46449 = -7176. Is q a multiple of 25?
True
Let d(f) be the third derivative of -2*f**4/3 - f**3/3 + 9*f**2. Is 7 a factor of d(-3)?
False
Let r be (-133)/7 - (2 + -2). Let a = r + 28. Is a a multiple of 9?
True
Let r(x) = 9*x**2 - 53*x + 28. Is 14 a factor of r(14)?
True
Let r = 785 - 507. Is 35 a factor of r?
False
Let y be 8/5 - 6/(-15). Let l be 5 - y - (-33 + -3). Let c = l - -1. Does 8 divide c?
True
Suppose -3*a = -0*a - 864. Suppose 2*l = -2*z + 5*z - a, -2*z = l - 199. Does 27 divide z?
False
Let k(a) = -a. Let u(m) = 6*m. Let s(f) = 11*k(f) + 2*u(f). Let n be s(2). Is (-18)/6 - (n + -28) a multiple of 18?
False
Suppose -10 = y + 4*o - 2, 3*o + 6 = -2*y. Suppose -6*w + w + 315 = y. Does 21 divide w?
True
Suppose -5*o + 4*u = -u - 1705, 4*o - 1382 = -5*u. Is 49 a factor of o?
True
Let g = -308 + 758. Suppose 5*h + 2*q - 557 = 5*q, 4*h = -2*q + g. Does 8 divide h?
True
Suppose 5*y + c = -3*c + 300, -2*c = -2*y + 102. Is y a multiple of 34?
False
Suppose 6*j = 40 - 16. Suppose 2*z - 30 - 28 = 0. Suppose -39 - z = -j*l. Does 17 divide l?
True
Let w be (5 - -1) + 4/(-4). Suppose w*k - 2*o - 106 = 0, -4*k + 74 = -5*o - 4. Does 12 divide k?
False
Suppose 0 = 21*r - 32*r + 1716. Does 6 divide r?
True
Suppose 1092 = -y + 4*y. Does 21 divide y?
False
Let k = 194 + -69. Suppose -2*h + 184 = 3*s, -2*s + 0*h + h = -k. Is 21 a factor of s?
False
Let l = -1996 + 3236. Is 11 a factor of l?
False
Let f(u) = -5*u**3 + u**2. Let j be f(1). Let i = -2 - j. Is 11 a factor of ((-11)/i*2)/(-1)?
True
Let t(d) = -d**3 + 3*d**2 + 4*d. Let n be t(4). Let g be (3 - n) + (-9)/3. Let z = g + 9. Is 9 a factor of z?
True
Let x be 3/((-9)/(-3)) - -8. Suppose -3*o + 12 = o + 3*u, 3*o + 3*u = x. Suppose -2*n - 3*n = o*i - 180, -4*i + 2*n + 240 = 0. Is i a multiple of 20?
True
Let k(m) = 4*m - 4. Suppose -5*b = -3*q + 25, -5*q + 3*b = -b - 33. Suppose -d + q - 2 = 0. Does 8 divide k(d)?
True
Let t(s) = -s**2 - 12*s + 3. Let q be t(-12). Suppose 3*c + d + 3*d = 121, q = 3*d. Is 10 a factor of c?
False
Suppose -4*h + 99 = -u, -2*h + 3*h - 5*u - 39 = 0. Let o = -21 + h. Is (-28)/(-3)*o/1 a multiple of 28?
True
Let n(y) = 19*y**3 - 7*y**2 + y + 14. Does 34 divide n(4)?
True
Let d(w) = -38*w + 4100. Is d(0) a multiple of 41?
True
Let k(p) = -p**3 + 52*p**2 - 88*p - 39. Is k(50) a multiple of 51?
True
Is (-2)/(-9) + (-11476)/(-36) - -1 a multiple of 8?
True
Suppose 0 = -0*k - k - 3*s + 23, s - 103 = -4*k. Let g = k - 21. Is 2 a factor of g?
False
Let d(u) = -7 - 10*u + 3 - 13 + 2. Does 45 divide d(-6)?
True
Let x = -23 - -27. Let b = x + 26. Does 13 divide b?
False
Let d(x) = 28*x**2 - 4*x - 7. Does 3 divide d(-2)?
False
Let w(p) = p**2 + 3*p + 3. Let r be w(-2). Let a(u) = 18*u**3 + u - 1. Let y be a(r). Is y/45 - (-86)/10 a multiple of 3?
True
Suppose -4*z = 4*k - 248, -208 = -3*k - k + 4*z. Does 3 divide k?
True
Let t(r) = -r**3 + 11*r**2 + r - 15. Let m = -23 - -33. Is t(m) a multiple of 20?
False
Suppose 14*r + 268 = 1220. Let m = -56 + r. Is 6 a factor of m?
True
Suppose y + 146 = 1254. Does 46 divide -3*y/(-36) + (-2)/6?
True
Suppose 15048 = -2*p + 20*p. Does 9 divide 8/36*-1 - p/(-36)?
False
Let h(j) = -j**2 + 12*j - 6. Let a = -7 + 18. Let s be h(a). Let k = 28 - s. Is 5 a factor of k?
False
Suppose -309*u = -307*u - 96. Does 4 divide u?
True
Suppose 2*a = 8, -12 = 6*l - 3*l - 3*a. Does 10 divide 88 + l - 0 - 4?
False
Suppose 176*v - 1064 = 168*v. Is v a multiple of 18?
False
Let o = -11 + 12. Let j be o + -2 - (-95)/(-5). Does 3 divide (36/(-45))/(1/j)?
False
Let p(b) = -2*b**3 - 9*b**2 + 2*b - 4. Let c(v) = 3*v**3 + 10*v**2 - 2*v + 3. Let w(r) = 3*c(r) + 4*p(r). Let d be w(6). Is 10 a factor of (2/d)/((-12)/(-900))?
True
Let a(t) = -t + 36. Let o be a(21). Let z be (-2)/9 + (-5676)/(-27). Suppose -3*s + z + o = 0. Is 13 a factor of s?
False
Let n be (0 + (-12)/9)*(-6)/(-4). Is 8 a factor of (n - 44/(-10))*(-100)/(-30)?
True
Let l(m) = 22*m - 5. Let t = 33 - 24. Does 29 divide l(t)?
False
Let k(o) = 3*o**3 - o**2 + 1. Let r be k(1). Let c = 3 + 3. Suppose c*d - 198 = r*d. Is d a multiple of 33?
True
Let u(c) = 16*c**2 + 7*c + 108. Is u(11) a multiple of 79?
False
Suppose 0 = 3*q - 2502 + 432. Is 10 a factor of q?
True
Suppose -7*j - 66 = -2026. Is j a multiple of 20?
True
Is 938/12 - (-32)/(-192) a multiple of 42?
False
Suppose -4*l + 30 = 6*l. Let w(n) = n**3 + 4*n**2 + n - 3. Let o be w(-3). Is 24 a factor of 37 + o + l + 2?
False
Suppose -6*t + 194 = -124. Let s = 158 - t. Does 15 divide s?
True
Let i = 91 - 53. Let m = i - 13. Is m a multiple of 5?
True
Let b = 3571 - 979. Does 13 divide b?
False
Let a(u) = 4*u**2 - 5*u. Let w be a(-4). Let l be -3*4/18 - 6/(-9). Suppose -5*o + 5*k + 130 = l, 4*o - k = o + w. Is 19 a factor of o?
False
Suppose 0*m = -m - 2*z + 1, 4 = 4*m + 2*z. Let x be ((-20)/m)/4*3. Let b = x - -30. Is b a multiple of 15?
True
Let q(a) = a**3 + 5*a**2 + 3. Let p be q(-5). Let d(h) = 9 - 4 - 8 + 10*h. Does 9 divide d(p)?
True
Suppose 3*t - 8*t = 0. Suppose t = -2*f + 252 + 136. Suppose -4*z + x + 121 + 239 = 0, 0 = -2*z + 4*x + f. Is 37 a factor of z?
False
Suppose c = -3*v + 1401, -5*c - 7065 = -10*c - 3*v. Does 65 divide c?
False
Let d(w) = 49*w - 227. Is d(13) a multiple of 12?
False
Suppose -138*f = -155*f + 19550. Is 23 a factor of f?
True
Let m(n) = -n**