 + f**4/4 + 5*f**3/6 - 3*f**2. Let r be g(-5). Suppose r = -m + 4*s + 5, -2*s + 5 = m - s. Is 2 a factor of m?
False
Is (3/5)/((-12)/(-60)) a multiple of 2?
False
Let i(h) = 18*h**2 - 2*h - 4. Does 14 divide i(-2)?
False
Suppose -5*g + 60 = 3*h, -9 = 4*g + 3*h - 57. Is g a multiple of 3?
True
Suppose -2*k + l = 2*k - 832, 2*k = 3*l + 426. Is k a multiple of 23?
True
Let u(o) = 6*o**2 - 2*o + 1. Suppose 0 = -k + 3*k + 4. Is 10 a factor of u(k)?
False
Suppose -4*m = -20 + 4. Suppose m*p - 55 = 3*a - 8, -p = 2*a + 2. Is p a multiple of 8?
True
Suppose -4*k + 5*k = -2*i + 47, -88 = -2*k + 2*i. Does 22 divide k?
False
Let b = 41 - 21. Is b a multiple of 6?
False
Suppose 0*a + 3 = a. Suppose -2*c - 25 = a*c. Let n = 27 + c. Is 11 a factor of n?
True
Let r = 452 - 270. Is r a multiple of 14?
True
Let u be 2/((-6)/(-9)) + 0. Does 20 divide -1*u/(-3) - -29?
False
Let u = 89 + -62. Is 6 a factor of u?
False
Let q(n) = 18*n - 1. Let w be q(-5). Let i = -28 - w. Is i a multiple of 21?
True
Let y = 93 + -52. Let a = 59 - y. Suppose 3*g = g + a. Does 9 divide g?
True
Let n = 5 + -5. Suppose 4*a - 104 = -n*a. Is 9 a factor of a?
False
Suppose 29*q + 49 = 30*q. Is q a multiple of 49?
True
Suppose -12 = -u - 5*y, -2*y + 0*y + 2 = -u. Suppose 15 = -u*n + 5*n, 4*k = -3*n + 315. Is k a multiple of 15?
True
Let f be 4 + (1 + 0 - 2). Suppose p + f*l + 12 = 0, p + l + 2 = -0*l. Suppose p*h = 7*h - 36. Does 5 divide h?
False
Suppose -121 = -5*d - 3*z, -2*z + 6*z + 90 = 3*d. Let b = d + -16. Is 5 a factor of b?
True
Let q = 25 + -9. Suppose -q = -4*v, 4*v = -2*l + 2*v + 16. Is l a multiple of 2?
True
Let j(y) be the second derivative of -y**4/12 - 3*y**3/2 - 4*y**2 + 2*y. Does 6 divide j(-7)?
True
Let w = 26 - 20. Is 9 a factor of (-1 + w/9)*-27?
True
Suppose 0 = l + 28 - 84. Is l a multiple of 28?
True
Suppose 0 = -5*y + 3*b - 9 + 94, 2*y - 8 = -4*b. Let x be 32/y + (-8)/28. Is 1 + (x - 1) + 2 a multiple of 4?
True
Let f(x) be the second derivative of -x**8/6720 - x**7/1260 + x**6/240 + x**5/30 - x**4/4 + x. Let j(r) be the third derivative of f(r). Is 9 a factor of j(-4)?
False
Let b be (4 - 7)*(-4)/6. Let h(y) = b + 3 - y + 5. Is h(0) a multiple of 5?
True
Let k(w) = -w**2 + 6*w - 3. Let q be k(5). Suppose 0*p + 2*u = p - 83, q*u = -3*p + 257. Is 18 a factor of p?
False
Let x(j) = -9*j - 1. Let v be x(-1). Let m be (1 - 1)/(v/(-4)). Suppose m = -3*n + 67 - 10. Is 5 a factor of n?
False
Let x(w) be the second derivative of w**5/20 - w**4 + 5*w**3/3 + 8*w**2 - 6*w. Is x(11) a multiple of 5?
True
Is (224/21)/(6/9) a multiple of 6?
False
Suppose -8*r = -3*r + 5. Let y(c) = c**2 - 2*c + 1. Let z be y(-2). Does 9 divide (-2 - r) + (z - -1)?
True
Let z(g) = 0*g + 7*g + 2 - 1. Does 18 divide z(5)?
True
Let k = -29 + 42. Does 3 divide k?
False
Let b be (-2)/(-4) + 94/4. Let s = 71 + 13. Does 12 divide b/(-7)*s/(-8)?
True
Suppose 3*y - 3*p = 0, p - 25 = -3*y - 9. Is 3 a factor of y?
False
Suppose 9*k + 519 = 2085. Is 6 a factor of k?
True
Let y(f) = -f + 10. Let h be y(7). Suppose 2*z + 25 = -h*z, 2*b - 5*z = -9. Let n = b - -42. Is n a multiple of 9?
False
Suppose 3*f + 6 + 9 = 0, -2*f = -3*d + 82. Is 9 a factor of 49/4 - 6/d?
False
Let q(h) = h**3 + 2*h**2 - 3*h + 2. Let p be q(-3). Let u = 16 - p. Is u a multiple of 4?
False
Let j = -5 - -4. Let r(u) = 4*u**2 - u. Let v be r(j). Suppose -v*p + 109 = -p + 3*m, 4*m + 32 = p. Does 14 divide p?
True
Suppose -2*w - 3 = -4*z - 7, w + 3*z + 13 = 0. Let l(s) = -s**3 - 2*s**2 + 5*s - 2. Is 5 a factor of l(w)?
True
Suppose -13*f = -7*f - 1104. Does 23 divide f?
True
Let j(v) be the second derivative of -2*v**3 + 3*v**2/2 - 3*v. Is 27 a factor of j(-2)?
True
Suppose 5*i - 5 = 10. Suppose -i*d + 36 = f, 4*d = 2*f + 3*f - 142. Is 21 a factor of f?
False
Suppose -3*t = 3*t - 198. Does 16 divide t?
False
Let g(u) be the third derivative of u**5/30 - u**4/8 - u**3 + 3*u**2. Does 12 divide g(6)?
True
Let m = 4 + 0. Suppose m*z - 21 = z. Is 7 a factor of z?
True
Suppose -3*f - 3 = -n + 4*n, -n - 11 = 3*f. Suppose -n*h + 96 = -44. Does 7 divide h?
True
Suppose -14*f + 1092 = -8*f. Does 14 divide f?
True
Let y(d) = -31*d**3 - 2*d**2 + 1. Let g = 10 - 11. Is y(g) a multiple of 15?
True
Suppose 0 = q - 0*q - 6. Suppose -5*k - 38 = -148. Is 11 a factor of (k/4)/(3/q)?
True
Suppose -5*z = 2*o - 2, 2*o + 19 = 4*z + 3. Suppose -z*u + 0*u = -24. Suppose -w + 4 + u = 0. Does 8 divide w?
True
Let h be 3/(-15) + 11/5. Suppose h*s - 3*s = -16. Does 13 divide s?
False
Let c = 14 - 9. Suppose -5*b - 5*s = -145, 0 - 5 = -c*s. Is 20 a factor of b?
False
Let r = -1 + 1. Suppose 0 = -2*k - r*k + 14. Let f(b) = b + 1. Does 3 divide f(k)?
False
Let f be (-3)/(2 + 1) - -1. Suppose f = 5*t - 3*t. Suppose 9 = z - t*z - o, 3*o = -3*z + 39. Is 7 a factor of z?
False
Suppose 2*i + 1 = 5. Is (i - 5) + 1 + 10 a multiple of 8?
True
Suppose -4*d = 0, -2*d = 2*u + 3*d - 54. Does 6 divide u?
False
Suppose -w = 4*y - 217, -3*w = -0*w + 9. Is 11 a factor of y?
True
Let y be 58/(-6) - 2/(-3). Let a = -8 - y. Let l(v) = 18*v**3 + v - 1. Does 18 divide l(a)?
True
Let r = -4 + 5. Let a(u) = 3*u. Let o be a(r). Suppose 104 = o*d + d. Does 13 divide d?
True
Is (499/12 + 2/(-8))*3 a multiple of 31?
True
Suppose -237 = -5*b - 3*j, j + 0*j = -1. Does 11 divide b?
False
Is 3/(-12) - (-1940)/16 a multiple of 31?
False
Let d = 24 - -8. Let g = d + -13. Is 19 a factor of g?
True
Let x(b) = b**3 - 5*b**2 - 5*b - 2. Let k be x(6). Let i be (-95)/(-3) - 2/(-6). Suppose k*u = -3*o + i, 0 = 3*u - 6 - 0. Does 4 divide o?
True
Let g(z) = z**3 - z**2 + z + 5. Let s(d) = -d**3 - d**2 + 2*d. Let j be s(-2). Let l be g(j). Suppose -l*u + 36 = -2*u. Does 12 divide u?
True
Let d = 176 + -128. Does 8 divide d?
True
Suppose 59 = p + 17. Suppose 3*l + 2*w = 128, -4*l + 204 = -5*w + w. Suppose -4*b = 3*i - 5*b - l, -2*i - 5*b = -p. Is 16 a factor of i?
True
Let z(d) be the third derivative of -d**5/60 + 5*d**4/24 + 3*d**3/2 + d**2. Let x be z(7). Does 3 divide (14/4)/(x/(-10))?
False
Suppose 4*j = j - 3*h + 144, -2*j = -3*h - 76. Is j a multiple of 11?
True
Let t = 20 - 18. Suppose 0 = 3*o + 5*c - 95 - 17, t*c - 126 = -4*o. Is o a multiple of 13?
False
Suppose -5*z + 0*q + 20 = -q, 4*z = -3*q + 16. Let m be 18/4*(z + 0). Suppose -5*w = 5*t - 5, -2*t = -3*w - 45 + m. Is t a multiple of 6?
True
Let c = -116 + 166. Does 10 divide c?
True
Suppose 2*v = -3*d + 87 + 15, -4*v = d - 194. Suppose -6*b + 2*b = -v. Is b a multiple of 6?
True
Let l(z) = 2*z + 2. Let y(m) = -8*m**2 + 2 - 2 - 3*m - m**3 - 5*m. Let a be y(-7). Is l(a) a multiple of 8?
True
Let y = 12 - 8. Is 4 a factor of y*(2 + -3 + 3)?
True
Suppose 3*w - 2*n = -6*n - 4, 0 = 2*w - 4*n + 16. Is 15 a factor of 680/28 - w/(-14)?
False
Let z(m) = 7*m - 27. Is 13 a factor of z(15)?
True
Suppose -4*n = -10 - 14. Is n a multiple of 6?
True
Let x(v) = 4*v**2 - 3*v + 7. Let k be x(-6). Let o = k + -115. Does 11 divide o?
False
Suppose 2*o + 2*o - 2*s - 38 = 0, 3*s + 21 = 3*o. Suppose -2*d - 4*q - o = -124, -4*d + 214 = -2*q. Is d/8 - (-1)/4 a multiple of 7?
True
Let g = 89 - 55. Let w(d) = -d**3 + 5*d**2 + 3*d. Let i be w(6). Let p = g + i. Does 7 divide p?
False
Let f be 1/2 - 27/(-6). Suppose f*j - 5 = 0, -8 - 55 = -4*d + j. Does 13 divide (-4)/d + (-210)/(-8)?
True
Let b(y) = 9*y**2 - 6*y - 8. Is 25 a factor of b(-4)?
False
Suppose -5*o + o + 16 = 0. Suppose 0 = -3*a - 3*i + 18, 31 = 5*a - 0*a + o*i. Is a a multiple of 3?
False
Suppose 4*l + 0*l + 16 = 0. Is 2 + l - -4 - -11 a multiple of 3?
False
Suppose 133 + 112 = i. Is 49 a factor of i?
True
Suppose -5*c = -10*c - 240. Let w = 87 + c. Is w a multiple of 13?
True
Suppose 0 = -0*h + 2*h - 3*i - 404, -3*h + 605 = -5*i. Suppose 11 + h = 4*f. Let m = f + -31. Is 8 a factor of m?
False
Let i = 5 + -2. Suppose -i = s, 3*s = 4*g - s - 32. Suppose g*j - 130 = -4*o, 0 = 2*o + 4*j - 44 - 24. Does 15 divide o?
True
Let r(q) = 2*q**2 + 10*q + 2. Suppose 4*a - 5*d + 13 = 0, -5*d - 31 = 3*a + 5. Does 13 divide r(a)?
False
Let x = -18 + 78. Suppose -4*t + x = -0*t. Is t a multiple of 4?
False
Suppose 0 = -d - 4*d + 4*p + 158, -99 = -3*d + p. Suppose s - 2*b - d = 0, 0*s + 3*s - 5*b = 103. Does 18 divide s?
True
Suppose 5*d - 48 = 2*g, -5*d + 28 = -2*g + 5*g. Let l be (18/d)/(6/16). Suppose -2*q - 20 = -l*q. Is q 