-d**3 + 8*d**2 + 3*d + 1. Does 11 divide h(4)?
True
Let b(g) = 23*g - 2. Is 9 a factor of b(4)?
True
Is (-1029)/(-12) + 27/(-36) a multiple of 13?
False
Let d = -40 - -96. Does 8 divide d?
True
Let s(g) be the second derivative of -g**6/360 - g**5/20 - g**4/4 + 2*g**3/3 + 4*g. Let o(y) be the second derivative of s(y). Is 2 a factor of o(-4)?
True
Suppose 0 = 2*y - 86 + 24. Let r = -13 + y. Is 5 a factor of r?
False
Suppose -12*u + 292 = -8*u. Is u a multiple of 24?
False
Let v = -17 + 32. Suppose -2*g - c = 46 - 211, -3*c = v. Does 22 divide g?
False
Suppose -11*a - 441 + 1541 = 0. Is 20 a factor of a?
True
Let o = -7 - -13. Let x(h) = h + 7. Let m be x(-5). Suppose 4*p + 4*w = 48, -4*w = -4*p + m + o. Does 5 divide p?
False
Let o be (-4 + 3)*-3 - -1. Suppose -14 - 26 = -o*f. Is f a multiple of 10?
True
Suppose -18*y - 44 = -19*y. Does 4 divide y?
True
Suppose -5*k + 4*z = 102, 0 = -0*k - 4*k + 3*z - 81. Let h = k - -30. Is h a multiple of 6?
True
Does 14 divide (-1 - 20)/(-3)*4?
True
Suppose 8*d - 3*d = 0. Suppose d*n - n - 16 = 0. Let o = -7 - n. Does 8 divide o?
False
Suppose 62 = 5*c + 3*x, 5*x + 8 + 10 = c. Is 13 a factor of c?
True
Let j be 55*3 - (-1 + 1). Suppose 5*m + 5*z + j = 0, -z = 1 + 3. Let b = m - -47. Does 8 divide b?
False
Let b(o) = 112*o**2 - o + 1. Is b(1) a multiple of 14?
True
Let z(b) = b + 4. Let l be z(-4). Let t be l*((-3)/(-6))/1. Suppose 2*h + 2*h - 20 = t. Is h a multiple of 5?
True
Suppose 3*i = -i + 276. Let g = i - 49. Is g a multiple of 12?
False
Let y = 6 - 6. Suppose y = -z - z + 56. Does 15 divide z?
False
Let k(o) = o**3 - 4*o**2 - 6*o + 5. Let n be k(5). Let p = 36 + n. Is p a multiple of 18?
True
Suppose 2*h + 3*h - 4*q + 39 = 0, -4*h = 5*q + 64. Let j = -8 - h. Suppose 0 = -3*n + j*i - 0*i + 114, -4*i = -2*n + 86. Is 17 a factor of n?
False
Suppose -4*f + 3*m + 60 = -m, 2*f - 5*m = 27. Suppose 0 = x - 5*x - f, -2*t - 22 = x. Let y(v) = -v - 4. Is 2 a factor of y(t)?
False
Let p = -56 + 145. Is p a multiple of 24?
False
Suppose -m = x - 38 - 11, -4*x = -3*m - 189. Let g = x - 26. Does 11 divide g?
True
Suppose -3*t + t + 2*g - 62 = 0, 3*t + 92 = 4*g. Let i = 49 + t. Is 6 a factor of i?
False
Suppose -5*g + 3*g + 148 = 0. Does 15 divide g?
False
Let g = 85 - 10. Is 28 a factor of g?
False
Suppose -2*g = g. Let u = g - -3. Does 3 divide u?
True
Suppose a - 16 = 4*z + 2*a, a = 0. Let y(o) = -o**3 - 2*o**2 + 5*o + 4. Let c be y(z). Does 8 divide 1*c*(-2)/(-4)?
True
Let l = -36 + 56. Is l a multiple of 2?
True
Suppose 3*v + 151 = 4*g, -5*g + 0*g + 4*v = -190. Is g a multiple of 17?
True
Let g = -7 + 35. Suppose -g - 8 = -2*a. Does 9 divide a?
True
Suppose 3*w = -w + 12. Suppose 4*i - 60 = -s + w*i, 4*s = -3*i + 235. Suppose -3*h = -s + 16. Does 8 divide h?
False
Let y(j) = j**3 + 7*j**2 - 8*j + 4. Let z be y(-8). Suppose 0 = -z*g - 0 + 32. Suppose -g = -4*s + 2*a + 12, 15 = 3*s + 5*a. Does 4 divide s?
False
Let x(g) = -g**2 - 11*g - 7. Let v(j) = -5*j - 3. Let w(h) = 7*v(h) - 3*x(h). Does 4 divide w(2)?
True
Suppose -3*o + 84 = -o. Suppose 0 = -2*p - 6, 4*p + o = 3*v + 2*p. Is v a multiple of 12?
True
Suppose d + d = 4*y + 92, 3*y = -2*d - 55. Let i be 2/(-3) - 56/y. Suppose i + 4 = 3*g. Is g even?
True
Let f(i) = 25*i + 1. Is 13 a factor of f(1)?
True
Let v = -4 + 6. Let y(l) = -5*l - 12 - l**2 - 4*l + v*l + 2*l**2. Is y(9) a multiple of 4?
False
Let z(p) = -38*p**2 + 10*p + 1. Let h(u) = 25*u**2 - 7*u - 1. Let r(w) = -7*h(w) - 5*z(w). Does 26 divide r(2)?
False
Suppose 3*d - 79 = 11. Suppose 5*z + 5*m = d, -4*z + 23 = m - 16. Does 9 divide z?
False
Let h = 9 + -4. Suppose 2*y - 3*y - 2*r + 12 = 0, y - h*r + 23 = 0. Suppose 0 = -3*o - 5*g + 48, -4*g + 2 = y*o - 28. Is 11 a factor of o?
False
Suppose 0 = f - 1, -3*v - 29 - 209 = 2*f. Let l be v/(-6)*(-6)/4. Let y = l + 52. Is y a multiple of 9?
False
Let h(y) = -y**2 + y + 3. Let f be h(0). Let x(u) = -6*u**2 - 2*u**3 - 2*u**f + 3*u**3 - 7*u. Does 10 divide x(-5)?
True
Let r be (-15 - -14)/(1/(-46)). Suppose 0 = -c + 2 + r. Is 24 a factor of c?
True
Let p(x) = 113*x**2 + 5*x. Does 4 divide p(-1)?
True
Let l = 26 + 7. Does 11 divide l?
True
Suppose 5*f - 54 = k + 11, 0 = 2*k + 10. Suppose -2*q - h + f = 0, h - 21 = -3*q - 2*h. Is q a multiple of 2?
False
Suppose 0 = 2*y - 43 - 5. Is y a multiple of 8?
True
Let x be -1 + (9/3)/3. Let o(s) = s + 27. Is o(x) a multiple of 12?
False
Let p = 135 - 69. Suppose -2*c + 2*d = -p, 3*c + 4*d - 36 = 28. Does 16 divide c?
False
Let w(y) = -y**3 - 4*y**2 - 5*y. Is 10 a factor of w(-5)?
True
Let w(y) = 26*y + 22. Is 19 a factor of w(5)?
True
Let h(g) = g + 69*g**3 + 3*g**2 - 4*g**2 + g - g. Is 24 a factor of h(1)?
False
Suppose -3*u = 12, s = -3*u + 20 + 368. Is 25 a factor of s?
True
Let v(a) = -a**3 - 9*a**2 - 11*a. Is 8 a factor of v(-8)?
True
Suppose 0 = 6*p - p + 4*v + 59, -50 = 2*p - 5*v. Let f = 32 + p. Is f a multiple of 7?
False
Suppose -2*j = -0*l + 3*l - 132, 3*j - 217 = 5*l. Is j a multiple of 14?
False
Let h be (8/1)/(8 - 7). Suppose -i = -50 + h. Is i a multiple of 19?
False
Let f = 107 - 35. Does 7 divide f?
False
Let i be 3/(9/(-15)) + 1. Is 10/(-3)*18/i a multiple of 9?
False
Suppose -30 = 3*i - 8*i. Let k(q) = q**3 - 6*q**2 + 4*q + 5. Is 25 a factor of k(i)?
False
Let j(d) be the third derivative of d**6/120 + 7*d**5/60 + 5*d**4/24 - d**3/6 + 2*d**2. Let z be j(-6). Suppose -2*q - 9 = -z*q. Is q even?
False
Suppose f = 2*f - 22. Is 11 a factor of f?
True
Suppose -3*r + 4*l = -472 + 7, -5*r - l = -775. Suppose -3*a - 2*a + r = 0. Does 10 divide a?
False
Suppose 0 = c + 5 - 7. Suppose p - 50 = -2*v, -c*v - p - 4*p = -66. Does 6 divide v?
False
Is 456/(-9)*(-3 + 0) a multiple of 19?
True
Suppose -1954 = -5*c - 3*l, -6*c + 1571 = -2*c + 5*l. Is c a multiple of 22?
False
Let k(r) = 9*r + 4. Let t be k(3). Suppose -t = -3*n + 11. Does 14 divide n?
True
Let d(v) = -60*v + 2. Let z be d(-3). Suppose -5*l - z = -3*m, 5*m - 258 = -l - 2*l. Is 15 a factor of m?
False
Let z(q) = q**2 - 2*q - 2. Let u(o) = -o**2 + o + 10. Let t be u(0). Suppose 0 = r - 4*i + i + t, -4*r + 3*i = 22. Is z(r) a multiple of 11?
True
Suppose 4*q + q = 20. Suppose 4*p = -q*d + 24, 3*d - 16 = -0*d - 4*p. Suppose -7 - 13 = -4*g - o, o = 3*g - d. Is 2 a factor of g?
True
Suppose 5*q - 4*z + 7 + 0 = 0, -z - 14 = 4*q. Let f be -4*(q/(-2))/(-3). Is 3 a factor of 84/15 - f/(-5)?
True
Let l(q) = 3*q**2 - q - 4. Let b = -3 - -8. Suppose b*u = -5*o - 7 + 27, -4*o = -4*u + 16. Is l(u) a multiple of 14?
False
Let h(x) = -x + 49. Let j be h(0). Suppose -3*o + 179 = -j. Suppose -3*i = -o + 19. Is i a multiple of 7?
False
Suppose -4 = -5*v - 4*p, -6 = 4*v - 4*p - 2. Suppose 0 = -b + m - 46, v = -4*b - m - 82 - 102. Let j = -33 - b. Is j a multiple of 5?
False
Is 5 a factor of (-1)/(-3) + (-2184)/(-63)?
True
Let a be 2 + 7/(21/30). Is 10 a factor of 3/(-2) - (-258)/a?
True
Suppose -q - 3*q + 112 = 0. Let u be 2*(-3)/12*0. Suppose -j = -u*j - q. Does 14 divide j?
True
Let r(j) = -2*j**2 - j - 2. Let u be r(-4). Let t = -7 - 1. Is u/t*24/9 a multiple of 5?
True
Let p = -12 - -17. Let t = p + 55. Is t a multiple of 15?
True
Let c(b) = 4*b**2. Let q be c(-1). Suppose 4 = -q*z + 6*z. Is z a multiple of 2?
True
Let u = -39 - -35. Let n be (-2)/(1 + (-8)/7). Let f = u + n. Is f a multiple of 10?
True
Let s(c) = c**3 + 10*c**2 - c - 8. Let m be s(-10). Suppose m*p = -p. Suppose p = 2*y - 6*y + 20. Does 5 divide y?
True
Let b(v) = -v**2 + 5*v - 1. Let w(r) = -r**2 + 5*r - 1. Let n(t) = 6*b(t) - 7*w(t). Let d be n(5). Is ((-5)/d)/(2/(-6)) a multiple of 15?
True
Let z = 41 + -9. Does 8 divide z?
True
Let d(g) = -11*g + 17. Is d(-13) a multiple of 5?
True
Let u = -23 - -47. Is 12 a factor of u?
True
Let y = -16 + 31. Is y a multiple of 3?
True
Let t be (-68)/6 + (-10)/15. Let f = 0 - t. Is f a multiple of 4?
True
Let h = -7 + 11. Suppose h*r = 2*r + 48. Does 12 divide r?
True
Suppose -r = -7 - 11. Is 5 a factor of r?
False
Is 19 a factor of (-1316)/(-35) + -4*(-2)/20?
True
Let q(y) = -20*y - 75. Is 4 a factor of q(-6)?
False
Suppose -4*h - 3*d = -1961 + 632, 2*h - 663 = -d. Is h a multiple of 11?
True
Suppose 3*o = 2*w + 574, -212 - 168 = -2*o + 2*w. Suppose 0 = -5*k + o + 6. Suppose 0 = -z - 3*z + k. Does 6 divide z?
False
Let h = 5 - -1. Let a(n) = -n**3 + 6*n**