2. Is r(17) a multiple of 21?
True
Let u(q) = q**2 - 3*q - 4. Let z be u(5). Let d(v) be the second derivative of 13*v**3/2 + 17*v**2/2 - 209*v. Is d(z) a multiple of 15?
False
Suppose z - f - 12 = -2, 4*f + 10 = 2*z. Suppose -2*s + 0 = v + 1, -3*v - z = 0. Suppose k - 5*x = 20 + 5, -s*k = 3*x - 63. Is 9 a factor of k?
False
Let c(y) = y**3 - 9*y**2 - 8*y - 15. Let i be c(10). Let v be (-2*i)/(1/(-8 - -7)). Suppose -v*k + 48 = -6*k. Does 6 divide k?
True
Let d(i) = -i**3 - 7*i**2 + 13*i + 12. Let t be 810/(-105) - (-2)/(-7). Let r be d(t). Let x = r + 40. Is x a multiple of 4?
True
Suppose 4*c - 6 = -4*f - 2, -4*c = -4*f + 20. Let q = 8 + c. Suppose o - q*o = -505. Is o a multiple of 23?
False
Suppose 7*q = 6 + 8. Does 2 divide (0 - 0)/q - (-15 - 4)?
False
Let w = 1030 - 1695. Let z = 729 + w. Is z a multiple of 4?
True
Suppose -u + 2013 = 167. Does 142 divide u?
True
Suppose 17*k + 5*o = 14*k + 13392, -17856 = -4*k - o. Is 24 a factor of k?
True
Let n = 605 + -603. Let z(o) = 125*o**3 + 2*o**2 - 3*o - 1. Is 11 a factor of z(n)?
True
Let n be 0 + -4 + (6 - -154). Suppose 0 = t + t - n. Is 5 a factor of t?
False
Let g = 11 - 378. Let a = 638 - g. Does 15 divide a?
True
Suppose -153 = -s - 117. Is (-4274)/(-10) + s/60 a multiple of 9?
False
Let v = 15456 + -9870. Is 38 a factor of v?
True
Let p(m) = -m**2 + 281*m - 288. Is 20 a factor of p(44)?
True
Let h(k) = -68*k - 10. Suppose -5*g + 5 + 0 = 0, 5*u + 3*g = -32. Is h(u) a multiple of 5?
False
Is 964/2*7954/388 a multiple of 81?
False
Let z be 1/((-1)/(-4)) + 46 + -45. Does 25 divide (2 - (-732)/z) + (-15)/(-25)?
False
Let d = -58717 - -95088. Is 168 a factor of d?
False
Let g(o) = o**2 + 28*o - 4. Let r be g(-13). Let j = -136 - r. Suppose 60*q - j*q + 51 = 0. Is 2 a factor of q?
False
Let i(s) = -2*s**2 + 25*s - 18. Let j be i(10). Suppose 2*o - 10*o + j = 0. Suppose -3*d - o*d + 504 = 0. Is d a multiple of 8?
True
Let a(w) = 107*w + 15. Let l be a(-7). Let u = 228 + l. Is (-27)/(-72) + u/(-16) a multiple of 16?
True
Suppose 0 = -2*b - 3*n, 2*b = -2*b + 3*n. Suppose -3*p = 2*c - 2087, 5*p - 6*c = -4*c + 3457. Suppose -w - 6*w + p = b. Is w a multiple of 33?
True
Is ((-2282)/4)/(16/(-40)*10/336) a multiple of 98?
True
Let k(d) be the first derivative of 9 - 1/3*d**3 - 19/2*d**2 - 30*d. Does 8 divide k(-14)?
True
Does 7 divide (-6 - 54/21)*1120/(-30)?
False
Let j(a) = -2*a**3 - 5*a**2 + 10*a - 12. Let v be j(-6). Suppose -7*p - v = -8*p. Suppose -4*n - 2*q + 3*q + 144 = 0, p = 5*n - q. Does 18 divide n?
True
Let c(n) = 3*n + 2 - 5*n + 5*n. Let g be c(11). Suppose 2*h - 5 = 5*b, 3*h = 2*h - 4*b + g. Does 5 divide h?
True
Suppose -197 = 4*l + 7. Let b = l + 59. Let z(h) = h**2 - 3*h - 4. Is 18 a factor of z(b)?
True
Suppose -3*g + 6323 = 2*x, 9652 = 3*x - 2*g + 148. Suppose 4*h - x = -2*u, 2*u + 3 = 13. Is 27 a factor of h?
False
Suppose 3*j - 8*j = -2*q + 3964, 2*q - 2380 = 3*j. Suppose -7*c - 1489 = 3*g - 3*c, 3*g - 2*c = -1483. Let r = g - j. Is 33 a factor of r?
True
Let d(l) = 2*l**2 - 5*l + 3. Suppose -2*g = -n - g - 18, -2*n = 2*g + 36. Let w be ((-16)/24)/((-4)/n). Does 9 divide d(w)?
True
Suppose x = 3*x - k + 38, -2*x - 4*k = 18. Let j = -12 - x. Let a = 150 - j. Is a a multiple of 29?
True
Let y = -15 - 55. Let o = 76 + y. Suppose -2*u - 180 = -o*u. Is u even?
False
Suppose -14*y - 15*y + 24*y + 97800 = 0. Is 30 a factor of y?
True
Suppose 102914*m - 102913*m - 21277 = 0. Is m a multiple of 40?
False
Let q(k) = k**3 + 8*k**2 + 17*k + 34. Let m be q(-6). Is 247 - (m/(-10) + 35/25) a multiple of 11?
False
Let q = -20 + 19. Does 12 divide (-1730)/(-10) + q + (-4 - 0)?
True
Let w(d) = -4*d**3 + 6*d**2 - 10*d + 26. Let a(i) = 3*i**3 - 6*i**2 + 9*i - 25. Let f(s) = -2*a(s) - 3*w(s). Is 14 a factor of f(4)?
True
Suppose 5*m + 464 + 201 = t, 3*t - m = 2065. Let f = t + -417. Suppose 5*q + 4*p - f = 0, 4*q = -0*q - 4*p + 216. Does 19 divide q?
True
Suppose -17*a - 29 = -12. Is (-4 - 318/(-24))/(a/(-88)) a multiple of 51?
False
Let z(w) = -2*w**2 + 21*w - 54. Let h be z(6). Suppose h = -2*s + 2*d + 1742, -9*s + 3*d = -8*s - 875. Is s a multiple of 79?
True
Let u = -5 + 11. Let h(o) = 2219*o - 5 + 2 + 1 - 2181*o. Is h(u) a multiple of 26?
False
Let i be (-866)/3*(-21)/14. Suppose 1 = -2*y + i. Suppose -4*n + y = -n. Is n a multiple of 9?
True
Let n(i) = 1157*i + 1163. Is n(3) a multiple of 13?
False
Let s(o) = 133*o - 1662. Is 52 a factor of s(86)?
True
Suppose -o + 89 = -2*o. Let u = -68 - o. Suppose -u = -5*i + 449. Is i a multiple of 35?
False
Suppose 6*k + 49*h - 7302 = 53*h, 5*k = -3*h + 6066. Does 3 divide k?
True
Let r(b) = -77*b - 28. Let w be r(-3). Let y = 287 - w. Suppose -2*o + j = -y, 4*j + 0 = -o + 24. Does 20 divide o?
True
Suppose 56*c - 333959 = 261805 + 505644. Is 11 a factor of c?
True
Let j be (-12)/(-15)*5 - -637. Let u = j + -450. Is 11 a factor of u?
False
Let l(c) = -69*c + 21. Let x be l(-11). Let y be 15/12*2*(-72)/(-20). Suppose -5*q - x = -y*q. Does 39 divide q?
True
Let b be (-2 + 4 + -3)/((-2)/6). Suppose -b*g = -2 - 250. Suppose 0 = -4*k - 4*a + g, 0 = 4*k - 0*a - 2*a - 54. Is k a multiple of 4?
True
Let w(k) = 58*k + 1457. Is 9 a factor of w(49)?
False
Let v(s) = 12*s - 9. Let a be v(-3). Let l = 140 + a. Is 27 a factor of l?
False
Suppose -51189 = -3*r + 3*h, -3*r + 2*h + 47633 + 3549 = 0. Is r a multiple of 10?
False
Let r(l) = -3*l**2 - 108*l - 101. Let k be r(-35). Let m = -126 + 300. Suppose -k*s - 80 = -2*g, 3*g - s - m = -g. Does 11 divide g?
True
Let j(r) = 24 + 49*r**2 - 12*r + 74*r**2 - 94*r**2. Does 20 divide j(5)?
False
Suppose 27 - 247 = 4*c. Let z = 59 + c. Suppose -5*p = 0, 630 = 5*s + z*p - 55. Is s a multiple of 23?
False
Suppose -60 = 4*r - 8*r. Suppose -3*t = -r*t. Suppose -3*u - 4*u + 1176 = t. Is u a multiple of 12?
True
Let k = -159 - -183. Suppose -651 = -3*f - w, -3*f - 23*w + 645 = -k*w. Does 27 divide f?
True
Let k(s) = 195*s - 50. Let j(y) = -49*y + 12. Let t(r) = -22*j(r) - 6*k(r). Is t(-5) a multiple of 23?
False
Let a(x) = -x**3 + 8*x**2 + 3*x + 2. Let n(w) = -5*w + 5. Let j(d) = 4*d - 4. Let b(z) = 6*j(z) + 5*n(z). Let r(c) = a(c) + 2*b(c). Is r(8) a multiple of 12?
True
Let c be (-54)/(-5) - (-4 - 95/(-25)). Let n(q) = 4 + 3 + q - c. Does 3 divide n(20)?
False
Let p = -14790 - -23422. Is 332 a factor of p?
True
Let o = 6202 - 1824. Does 11 divide o?
True
Suppose -9098 - 129220 - 2510 = -19*v. Does 77 divide v?
False
Let i be (-1 + 6)*(-6)/(-6). Let f be (-1 + (-191)/i)/((-2)/5). Let l = f - -55. Does 17 divide l?
True
Let b(h) = 90*h**3 - h**2 + h + 1. Let j be b(-1). Let f = j + 114. Suppose 0 = -4*a + f + 53. Is 2 a factor of a?
False
Let p(q) be the first derivative of -q**2/2 + 8*q - 5271. Let h be -2 + 1 - 1/(-1). Is 3 a factor of p(h)?
False
Suppose 0 = -7*h - 551 + 1734. Let z = h + 239. Is z a multiple of 24?
True
Suppose 0 = -6*x + 16 + 92. Let z = x - 18. Suppose -2*w + 90 = -z*w. Does 12 divide w?
False
Let v = 96 - 28. Suppose -5*c + 783 = -4*i, -259 = -2*c - 3*i + v. Suppose -b + 5*d = d - 112, 2*b + 5*d = c. Is 32 a factor of b?
False
Is 2*(2181/2 - 1) + (11 - 2) a multiple of 2?
True
Suppose -17*p - 5*x + 1315 = -12*p, 3*p - 5*x = 765. Let h = -240 + p. Is h a multiple of 9?
False
Let k be (4 - 6)*(-14 + 7). Suppose -k*d + 3300 = 8*d. Is 17 a factor of d?
False
Let q(a) = -240*a - 17344. Is 19 a factor of q(-166)?
True
Let q = -2206 - -3046. Is q a multiple of 2?
True
Let h(u) = 12*u**2 + 2*u - 5. Let z be h(7). Suppose 3*l - z - 489 = 0. Suppose 5*i - 113 = l. Is i a multiple of 19?
True
Let q = 30255 + -15997. Is q a multiple of 135?
False
Let x = -51 + 52. Let z be 0/((7 + -5)*x/2). Suppose -2*t - 2*p + 22 = z, 4*p = 2*t - 4 - 12. Is t a multiple of 2?
True
Let c(k) = 3*k**2 - k + 5. Let o be c(-11). Let i = -148 + o. Does 6 divide i?
False
Suppose u - 111 = -3*f + 1363, -4*u + 986 = 2*f. Let p = -5 + f. Let c = p - 318. Does 36 divide c?
False
Suppose -2*v = -3*k - 14, 5*v - 3*k - 12 = -7*k. Suppose 4*n = v*s + 3340, s + 3 - 4 = 0. Is 44 a factor of n?
True
Is 20 a factor of -8 + -3 + 5 + 27?
False
Let u(w) = 12*w**3 - 88*w**2 + 9*w - 78. Does 18 divide u(8)?
False
Let o = 128 - 21. Let n = o - -69. Does 8 divide n?
True
Let x = -1355 - -714. Let m = -301 - x. Is 30 a factor of m?
False
Let p(b) = 7*b + 30. Le