 3*c + 18. Suppose -2*p = -b*p + 168. Is 13 a factor of p?
False
Let j(k) = k**3 + 8*k**2 - 11*k. Suppose -3*c - 35 = -2*w, -c = c + w + 14. Is j(c) a multiple of 10?
False
Suppose -8086 = -5*u - 4*g, -22*u + 19*u - 3*g + 4854 = 0. Is 6 a factor of u?
True
Suppose -u + 3*n + 1336 = 0, -5*u + 6702 = 2*n + 39. Is u a multiple of 6?
False
Suppose -1889 = -d - d + i, -i + 2831 = 3*d. Does 16 divide d?
True
Let p(j) = -3*j - 20. Suppose 7*a = 3*a - 44. Is p(a) even?
False
Let q = -167 - -216. Is 7 a factor of q?
True
Let h(o) = -5*o**3 - 15*o**2 - 37*o + 65. Let r(g) = -g**3 - 4*g**2 - 9*g + 16. Let a(f) = -2*h(f) + 9*r(f). Let c be a(6). Let w = -17 - c. Does 3 divide w?
False
Suppose 0 = 38*z - 3866 - 73046. Does 88 divide z?
True
Suppose 12 = -5*t - 4*m - 0*m, 2*m = -4*t - 12. Let a(j) = -j + 1. Let s be a(-7). Let x = t + s. Is x a multiple of 4?
True
Let b be 60/((-4)/56*-4). Suppose -4 = -5*i - 5*y + 16, -y = -2. Suppose 5*a = -i*a + b. Is a a multiple of 10?
True
Let k(w) = w**3 - 44*w**2 + 49*w + 6. Is 22 a factor of k(43)?
True
Let r = -13 - -17. Suppose -59 + 239 = r*v. Is v a multiple of 9?
True
Is 13 a factor of (3/2)/(20/(1615200/45))?
False
Does 2 divide (-6)/(-9)*27/2?
False
Let b(j) = 38*j**2 - j. Let w be b(-1). Suppose -w = -2*o + 1. Suppose -8*d + 10*d - o = 0. Is 9 a factor of d?
False
Let i(a) = 0*a - 7*a + 34*a - 2. Does 6 divide i(3)?
False
Suppose -2*a = -4*a - 18. Let j be (a - -3)*(-9)/2. Is 6/j - 250/(-9) a multiple of 9?
False
Is (-1386)/(12 + -14) + 10 a multiple of 19?
True
Suppose -5*b = -4 - 16. Suppose 2*d - 4*l = 30, b*l = -0*l - 12. Is 11 a factor of 42 - d - 0/(-1)?
True
Let n = 1010 + -452. Is 28 a factor of n?
False
Does 5 divide (-3 + -2727)/(-35 - -34)?
True
Suppose -4*z + 53 + 207 = -s, -2*z + s + 130 = 0. Let o = z - 5. Is 20 a factor of o?
True
Suppose 5*z - 2*d - 3 = 1, 0 = -3*z + 2*d + 4. Suppose z = 4*y - 3*l - 548, 6*l + 124 = y + 2*l. Is 20 a factor of y?
True
Let m = 64 - 53. Let o = m + 13. Is o a multiple of 2?
True
Suppose -y = -3*u - 3255, 4*y - 5*u - 13250 + 230 = 0. Is y a multiple of 75?
False
Suppose -4*a = 1306 - 3770. Does 44 divide a?
True
Suppose -1258 = -5*w + 32. Is 43 a factor of w?
True
Is ((-5)/(-15))/(8/1128) a multiple of 3?
False
Let t(y) be the third derivative of 19*y**7/2520 + y**6/720 + y**5/120 - y**4/6 + y**2. Let h(i) be the second derivative of t(i). Is h(2) a multiple of 20?
False
Suppose -z + 1283 = -6*z + 3*s, -z = s + 263. Is (-4)/(-16) + z/(-4) a multiple of 11?
False
Let z = -4 + 6. Let x(f) = -4*f**3 - z*f + 9*f - 3*f + 5*f**3 - 2*f**2 + 2. Does 15 divide x(4)?
False
Let d(w) = 6*w + 5*w**2 + 1 - 2*w + 2*w. Suppose -15 = 3*u + t, 24*u + 14 = 22*u - 2*t. Does 24 divide d(u)?
False
Let j(v) be the third derivative of v**6/120 + 3*v**5/20 + v**4/12 - 8*v**3/3 + 2*v**2 + 25*v. Does 11 divide j(-8)?
False
Let x(m) be the second derivative of -m**3/3 - 3*m**2 + m. Let q be x(-4). Suppose q*y = 38 + 28. Is y a multiple of 6?
False
Suppose 3*y = 4*z - 261, -z + 2*y + 89 = 20. Let d = 2 - 0. Suppose -d*n = -v - z, n - 2*v + 8 - 38 = 0. Is n a multiple of 13?
False
Let a(f) = 46*f**2 - f. Let r be a(-3). Let o = r + -280. Does 35 divide o?
False
Let h = 674 - 197. Does 9 divide h?
True
Suppose 0 = 4*l + 20, 5*s - l - 4*l = 10. Let m be (-2)/13 - (-3 - 6/39). Is m + 17 + s + 1 a multiple of 18?
True
Let a = 714 - 340. Is 34 a factor of a?
True
Let b(w) = -2*w + 136. Let j be b(0). Does 26 divide (-15)/20*-4 + (j - -2)?
False
Suppose 20*n + w - 610 = 18*n, 1530 = 5*n + 5*w. Is 5 a factor of n?
False
Let h(k) = -3*k**2 - 9*k - 25. Let i(y) = 13*y**2 + 36*y + 101. Let d(l) = -9*h(l) - 2*i(l). Does 2 divide d(-7)?
False
Suppose -58 = -2*z + 38. Suppose -2*a = a - z. Does 12 divide a/6*(-162)/(-12)?
True
Let n = 1786 - 1097. Suppose -2*o = -f + 3*o + 255, -3*f + n = 4*o. Is 37 a factor of f?
False
Suppose 0 = 3*t - 0*s + 3*s - 5946, -1972 = -t + 4*s. Does 18 divide t?
True
Suppose -7752 = u - 20*u. Does 12 divide u?
True
Let z be 0 + 1 + 3 - -20. Let x = 87 - z. Does 21 divide x?
True
Let o(w) = 5*w**2 - w + 1. Suppose -6*l + 12 = -0. Let b be o(l). Suppose -4*g = -163 + b. Is 20 a factor of g?
False
Let j = 14 + -52. Let c = 68 + j. Is c a multiple of 15?
True
Let n = 20 - 17. Suppose 5*z - w - 34 = -0*w, 4 = z - n*w. Suppose 3*h - f = 12, -15 = -2*f + z*f. Does 3 divide h?
True
Let o(x) = 12*x**2 - x - 8. Is o(-5) a multiple of 33?
True
Suppose -5*s + 11 = -3*d, 3*s = -8 + 20. Suppose -x - d*w + 31 = -0*w, x + w - 23 = 0. Let f = -2 + x. Is f a multiple of 8?
False
Suppose -11519 = 29*r - 40751. Does 9 divide r?
True
Suppose 2*r - 3*r - 9 = 0. Is -10*(-72)/(r/(-3)) a multiple of 20?
True
Let l(p) = 2*p**2 - 3*p**2 + p**3 - 2*p**2 + 2*p - 5 + p**2. Let y be l(4). Suppose g - y - 20 = 0. Is g a multiple of 11?
True
Let u = 1 - 3. Let n be 1 + 9 - (-1 - u). Is (-200)/(-6)*n/6 a multiple of 28?
False
Suppose -4*q + 84 = 3*l, -3*q + 46 = 2*l - 4*l. Let a = 12 - q. Let k(h) = h**2 + 2*h + 1. Is 20 a factor of k(a)?
False
Suppose 15*q - 12*q - 5*t = 7020, 0 = -3*t + 9. Is q a multiple of 67?
True
Let a(n) = -251*n + 6. Let p be a(-3). Suppose 3*u - 747 = -3*h, 3*u + 18 = -h + p. Suppose -3*y + u = 9. Is 14 a factor of y?
False
Let n(v) be the first derivative of v**3 + 3*v**2/2 + 9. Let h(u) = u. Let p be h(-4). Is n(p) a multiple of 18?
True
Let h(b) = b**2 + 10*b. Let x be h(-10). Suppose -2*u + x = -v - 6, 3*u = -3*v + 9. Let f(s) = s**3 - 3*s**2 + 3*s - 1. Is 4 a factor of f(u)?
True
Let f(r) = -58*r - 1. Let t be f(-1). Suppose -2*s = -5*s + t. Is s a multiple of 7?
False
Let d(h) = -h**2 + 7*h + 3. Suppose 3*r - 6 - 9 = 0. Suppose -2*v - 15 = -r*v. Is 13 a factor of d(v)?
True
Let n(v) = 5*v**2 - 2*v**2 + 6 - v - 2*v**2 + 5*v. Does 3 divide n(-4)?
True
Suppose 17*p - 65*p = -23040. Is p a multiple of 30?
True
Let f(l) = 92*l**2 + 17*l - 24. Is 113 a factor of f(6)?
True
Let k be 0 - 53 - 0/(-4). Let r = 20 - 40. Let s = r - k. Is 11 a factor of s?
True
Let l = -94 + 166. Is 18 a factor of l?
True
Let d(w) = -w + 1. Suppose -10 = 3*h - 4. Let c be d(h). Suppose c*o = 397 + 2. Is 40 a factor of o?
False
Does 15 divide 3/((-24)/(-8)) + (-1 - -641)?
False
Suppose 32 = 107*y - 103*y. Let o = y - -62. Does 10 divide o?
True
Let n(h) = -1 + h**3 + 3 - 6*h**2 + 17*h**2 + 5*h. Suppose 0*k = -k + 3, 0 = -4*a - 3*k - 31. Is n(a) a multiple of 10?
False
Let o(w) = w**3 + 2*w**2 - 3*w + 5. Let p be o(2). Let m(i) = -i + 34. Does 2 divide m(p)?
False
Let d = -116 + 76. Let g = 54 + d. Does 14 divide g?
True
Let a(v) = -11*v - 93. Suppose 104 = -4*w + p - 6, 0 = 5*w - p + 137. Is a(w) a multiple of 12?
True
Suppose -2 - 6 = -2*q. Suppose -2*f - q = -4*f. Suppose -p + 32 = -f. Is 17 a factor of p?
True
Let g(k) = k**3 + 11*k**2 + 13*k + 33. Let d be g(-10). Suppose 0*f = d*f - 4*l - 370, -105 = -f + 5*l. Does 10 divide f?
True
Suppose -k + 24 = 5. Suppose 4*v + k = 203. Does 6 divide v?
False
Suppose -29 = s - 77. Let q = s - -7. Is q a multiple of 5?
True
Let w(s) = -19*s**3 + s - 1. Let k be w(-2). Let o = k + -6. Does 11 divide o?
True
Let h(t) be the second derivative of t**4/12 + 10*t**2 - 3*t. Is h(5) a multiple of 6?
False
Is (-399)/(-28) + 3/(-12) a multiple of 3?
False
Let w = 1356 + -581. Does 31 divide w?
True
Let w = 3 - -9. Suppose -3*i = -w, -4*q - 48 = 4*i - 5*i. Let k(h) = h**3 + 11*h**2 - 5*h - 13. Is 13 a factor of k(q)?
False
Is 29 a factor of 65/25 + 4/10 + 229?
True
Let a be (-15)/40 - 90/16. Is 8 a factor of 188/12 - a/18?
True
Suppose 5*h = -2*k + 3672, 21*k - 3*h = 16*k + 9242. Does 13 divide k?
True
Let r be (-36)/10 + 21/35. Let i(y) = y**3 + 7*y**2 + 2*y + 3. Let w be i(r). Suppose 0*c - 3*c = -w. Is c a multiple of 11?
True
Let k(s) = -255*s + 15. Let v be k(-4). Suppose 6*m = 3*m + v. Is m a multiple of 15?
True
Let y = 7 + 2. Suppose y*x - 14*x = -20. Suppose 12 + 36 = x*o. Does 12 divide o?
True
Let x(p) = p**3 - 11*p**2 + 23*p - 8. Let o be x(8). Let n = o - -157. Does 5 divide n?
False
Suppose -3*d = -d + 5*a + 5, 0 = 3*d + 5*a + 10. Is 24*((-260)/16)/d a multiple of 39?
True
Suppose 0 = -44*d + 46*d - 8. Suppose -2*x = 6*u - d*u - 106, 53 = x + 2*u. Is 30 a factor of x?
False
Let m = 631 - 502. Does 12 divide m?
False
Let l(x) = -3*x**3 + 2*x - x**2 - 12*x**