 17*a - 7. Let d(b) = 2*b**2 + 2*b - 2. Let z be d(2). Is y(z) a multiple of 7?
True
Let v(k) be the second derivative of -k**4/12 + k**3/2 + 24*k**2 + k. Is 24 a factor of v(0)?
True
Suppose -17 + 197 = -4*s. Is s/(-6)*(-156)/(-15) a multiple of 26?
True
Let q be (-7 - -6)/(2/16). Let r be (-1 - q) + -4 - 1. Suppose -r*h + 183 = 2*k - k, 5*h - 3*k = 463. Does 22 divide h?
False
Suppose 5*w + 4*c - 439 = 0, 2*w = -0*w + c + 173. Let h = 37 - w. Let j = h + 154. Is j a multiple of 26?
True
Let x be 1/(2007/402 + -5). Is (-6)/2 - (-1 + x) a multiple of 33?
True
Let b = -44 + 80. Is 3 a factor of b?
True
Let m(f) = -f**2 + 2*f + 13. Suppose 48 = -4*o + 2*s + 12, -5*o + 2*s - 46 = 0. Let u be m(o). Let w = -54 - u. Does 22 divide w?
False
Suppose -7*x + 12*x - 1730 = 0. Let v = 610 - x. Is 11 a factor of v?
True
Suppose -3*a + a + 4 = 0. Let n(u) = u**3 + 5*u**2 - 6*u - 2. Let g be n(-5). Suppose -60 = -3*x + a*p - 5*p, 0 = -2*x + 2*p + g. Is 10 a factor of x?
False
Is (-250)/(-8) + ((-15)/4)/15 a multiple of 2?
False
Suppose 4*t - i = -1898 + 5219, -t + 3*i + 833 = 0. Does 38 divide t?
False
Let y be 2 + 2 + (7 - 22). Let r = y + 13. Let d = r + 16. Is 8 a factor of d?
False
Let k(w) = 420*w - 3. Let p(g) = 105*g - 1. Let a(o) = -2*k(o) + 9*p(o). Let f be a(2). Suppose -n + 5*d + 45 = -28, -f = -4*n + 3*d. Is n a multiple of 24?
True
Let i(r) = r**2 + 19*r + 38. Let c be i(-17). Suppose c*y = -8*y + 432. Is y a multiple of 9?
True
Let p = 13 - 6. Let i be p/28 - 818/8. Is 14 a factor of i*4/(-6) + -3?
False
Let n(a) = a**2 + 5*a + 7. Is n(15) a multiple of 42?
False
Suppose -5*q + q = 0. Suppose -264 = -q*o - 8*o. Is o a multiple of 5?
False
Suppose -3*r + 21 = 6. Is 8*r*(-3)/(-15) even?
True
Let l be (0 + -147)/(-3) - 1. Suppose 4*z + b = 33, -2*z + 4*b + l = 2*z. Suppose 4*a - 299 = z. Does 22 divide a?
False
Let z(b) = -b + 25. Let m be -3 - 3*(-2 - -1). Does 3 divide z(m)?
False
Let m(z) = 4*z**3 + 14*z**2 - 36*z + 11. Is 15 a factor of m(6)?
False
Let d(y) = -y**3 + 2*y**2 + 2*y - 3. Let o be d(3). Let u(j) = -j - 3. Let a be u(o). Let p = a + 5. Is p even?
True
Let x(b) = -22*b + 490. Does 24 divide x(-17)?
True
Let b(l) = -79*l - 39. Is b(-8) a multiple of 68?
False
Let i = -348 + 425. Does 11 divide i?
True
Let i = 94 + 201. Does 15 divide i?
False
Let g(r) = 23*r - 45. Let m(j) = j**2 - 27*j - 19. Let t be m(28). Is g(t) a multiple of 27?
True
Let u be (-1)/2*(-5 + -5). Suppose u*x = 2*j - 22, -j + 2*x + 0*x + 10 = 0. Is 3 a factor of j?
True
Let g be 2/(-4) + (-22)/(-4). Let b(s) = -s**3 + 4*s**2 + 4*s + 7. Let y be b(g). Suppose y*t + 180 = 7*t. Is t a multiple of 13?
False
Suppose -3*m = -k + 2*k + 4, 2*k = 2*m - 8. Let f(l) = 4*l + m*l - 13 + 17 + l**2. Does 12 divide f(-6)?
False
Suppose 5*y - 28*s + 31*s = 13772, s - 4 = 0. Is y a multiple of 12?
False
Let q(n) = n**3 - n**2 - 4*n + 11. Suppose 9*k - 20 = 5*k. Is q(k) a multiple of 13?
True
Let q be -8*1*(-1)/4. Let z(m) = q - 2 + 7 - 5*m. Does 11 divide z(-3)?
True
Suppose -3*i = 10 - 1, 5*l - 295 = -5*i. Is l a multiple of 8?
False
Suppose 4*j + 65 = -5*b, 0 = -3*b + j - 0*j - 56. Let m = b - -22. Suppose -m*y = -94 - 161. Does 22 divide y?
False
Suppose 4*x = 4*n - 9 - 3, -5*n + 27 = -x. Suppose z - 448 = -n*z. Does 21 divide z?
False
Let g = -100 - 39. Let u = g - -456. Is u a multiple of 25?
False
Suppose 10*j = 53 + 47. Is 2 a factor of j?
True
Suppose -v + 45 = 22. Suppose -v*l + 20*l + 531 = 0. Does 59 divide l?
True
Suppose 2*p + 10*p = 780. Does 2 divide p?
False
Let d(x) = 4*x - 76. Let v be d(19). Suppose -11*q + 6*q + 115 = v. Does 17 divide q?
False
Let u be 5934/27 - (-4)/18. Suppose 4*z + u = 2*m, m + 0*z = -z + 107. Is 36 a factor of m?
True
Let h(z) = -2*z + 7. Let d be h(6). Let t = 13 - d. Suppose 3*w - 3*u - t = 0, 4*w + 2*u - 22 = 5*u. Is w a multiple of 2?
True
Let h(u) = u**3 + 9*u**2 + 24. Let x be h(-9). Is 32 a factor of x/10*(-1440)/(-54)?
True
Let l(q) = 2*q**2 + 7*q + 60. Does 7 divide l(8)?
False
Suppose z = -i + 707, 8*i = 5*i - 4*z + 2124. Is i a multiple of 35?
False
Suppose 3*h = -3*r + 84, 4*r - 40 = -h - 0. Suppose -29*j + 405 = -h*j. Is 44 a factor of j?
False
Let s(y) = -2958*y + 66. Does 8 divide s(-1)?
True
Let b be (-7)/(-2) + -2 + (-7)/(-2). Suppose -396 = -4*g - x, 510 = 2*g + 3*g + b*x. Does 18 divide g?
False
Suppose 2*y - 37 = 13. Let h(b) = 2*b**3 - 51*b**2 + 31*b + 30. Is h(y) a multiple of 26?
False
Suppose -3*f - o = -2*o - 41, 2*o = 2. Is 14 a factor of f?
True
Suppose -2*n = n - 12. Suppose -n*a - 22 = -134. Suppose -4*g = -0*g - a. Is 3 a factor of g?
False
Let y(j) = 9*j**2 - 43*j + 30. Does 51 divide y(11)?
False
Suppose -p - 50 = -3*p + 5*n, 4*n - 29 = -3*p. Suppose -19*r = -p*r - 704. Is 16 a factor of r?
True
Is 3644/((-7)/(-14) - (-1)/2) a multiple of 49?
False
Suppose -3750 = -12*l - 690. Suppose 12*c = 17*c - l. Does 4 divide c?
False
Let d be (-52)/6 + 1/(-3). Let x = 10 - 15. Is 9 a factor of d*9/15*x?
True
Let l be (-9 + -1)*(-3)/6. Is 1/(l/(-7)*(-8)/280) a multiple of 12?
False
Let g(z) = 10*z**2 + 2*z + 2. Let h be g(-1). Suppose 2*c - h*c = 24. Does 10 divide 39 - (-1)/(c/(-3))?
True
Let n(a) = 38*a**3 - 2*a**2 + 2*a - 1. Is n(1) a multiple of 2?
False
Let m = 3161 - 1791. Is 10 a factor of m?
True
Let b(s) = 2*s + 33 + s - s. Suppose -8*l = -36*l + 3*l. Is 11 a factor of b(l)?
True
Suppose -2*d - 3*i + 357 = 96, 0 = 5*d - i - 644. Let z = d + -99. Is z a multiple of 10?
True
Let c be (-10)/15*(-30)/4. Suppose 5*h - 11 = -w, -c*w = -0*h - 5*h - 115. Is w a multiple of 8?
False
Let n be -135*(-4 - 54/(-15)). Let y = n - 41. Does 6 divide y?
False
Suppose 0 = 8*q - 4*q + 20. Let v(f) = -5*f**3 + 24*f**2 - 2*f - 37. Let p(d) = 3*d**3 - 16*d**2 + d + 24. Let l(s) = -8*p(s) - 5*v(s). Is 28 a factor of l(q)?
False
Suppose -s = 2 - 3. Let n = s + 1. Suppose -4*z = -2*l - 0*z + 64, 5*z + 69 = n*l. Is 7 a factor of l?
False
Suppose 4*n - 3*t + 5*t + 180 = 0, -4*n = 4*t + 180. Is 6/(5 - -1)*n/(-3) a multiple of 8?
False
Let m = -10 - -14. Suppose 30 + 6 = r. Let q = r + m. Is q a multiple of 15?
False
Let s(l) = -l**3 + 5*l**2 - 2*l - 2. Let g be s(-4). Let c = 147 + -105. Suppose c = -i + g. Does 27 divide i?
True
Suppose -d + 5 = -4*y, -y = -2*d + 4*d + 17. Let v(u) = -15 + 2*u**2 - 3*u + 2*u**2 - 8*u - 5*u**2. Does 3 divide v(d)?
False
Let h = -5 + 7. Suppose 2*y + 3*u = 3, -y + 5*u = -h*y - 2. Let f(m) = 6*m**2 - 5*m + 4. Is 26 a factor of f(y)?
False
Suppose f + g + 3 = 4, 0 = 4*f + 5*g. Suppose 259 + 101 = f*x. Let l = x + -27. Does 15 divide l?
True
Let h = 1 - -2. Let z be 6/h - (342 - -5). Is 23 a factor of 2/(5/(z/(-2)))?
True
Suppose 4*a = -6 + 22. Suppose -5*y - v + 211 = -105, 4*v = -a*y + 240. Is 16 a factor of y?
True
Let j(p) = 2*p**2 - 13*p + 3. Is j(12) a multiple of 15?
True
Suppose 5*y + 19 = -1, 0 = -4*q + 2*y + 800. Let b = q - 108. Is 19 a factor of b?
False
Is 29 a factor of (27/4)/(((-65)/(-440))/13)?
False
Suppose 4*d = -4*a + 18676, -a + 5*d + 2815 + 1824 = 0. Is 11 a factor of a?
True
Let q(y) = -6*y - 12. Let g be q(9). Let f = -35 - g. Does 4 divide f?
False
Let c(j) be the second derivative of j**5/20 - 7*j**4/12 - j**3 - j**2/2 + 14*j. Is c(9) a multiple of 8?
False
Let r be 106 - (3/(-12) - (-21)/(-12)). Suppose 2*f - r = -0*f. Is f a multiple of 27?
True
Let f be (2 - 1)*(2 - 27). Let t = f - -57. Does 8 divide (t/6)/(5/15)?
True
Let h(l) = 46*l - 276. Is 46 a factor of h(19)?
True
Is (-4)/14 + (4548/(-21))/(-2) a multiple of 27?
True
Let s = 823 + -551. Does 34 divide s?
True
Suppose 0 = -5*j - 5*g - 210, 0 = -j - 2*j - 2*g - 128. Let m = -8 - j. Is m a multiple of 6?
True
Let z(p) = 2*p**2 + 11*p - 48. Is z(-12) a multiple of 36?
True
Let c = -565 - -1321. Suppose 0 = -15*v + 8*v + c. Is 18 a factor of v?
True
Suppose -4*j + 19 = 5*y - 18, -36 = -4*j - 4*y. Does 5 divide j?
False
Suppose 0 = -148*b + 161*b - 8268. Is b a multiple of 43?
False
Let g(q) = q**2 - 4*q**2 + 27*q - 25*q + 132 + 2*q**2. Is 14 a factor of g(0)?
False
Suppose -9*m + 4*m + 25 = 0. Suppose -m*z + 1310 = -7*a + 4*a, -4*a + z - 1741 = 0. Does 6 divide a/(-21) - 8/(-28)?
False
Suppose -11*n + 3046 = -12002. Is 10 a factor of n?
False
Let g be 19 + 2 + 0 + -1. Suppose g = -0*t + t. Suppose 0 - t = -l + 2*v, -4*v = 1