2. Does 9 divide d(3)?
True
Let h = 424 - 248. Does 22 divide h?
True
Suppose -2*h - 3*d = 12, 3*h + 6*d + 17 = 2*d. Let j = h - -14. Does 11 divide j?
True
Is (-1278)/(-10) + (-44)/55 a multiple of 24?
False
Let u = 21 - 13. Let h be 147 - -2 - (0 - 3). Suppose 5*p - u - h = 0. Is p a multiple of 11?
False
Let k be (-2)/((-6)/21) - 3. Suppose -k = -b + 8. Is 12 a factor of b?
True
Let n be (-4)/18 + (-4)/(-18). Suppose 6 = 3*h - n*h. Let k = 14 + h. Does 10 divide k?
False
Let q(v) = 3*v**2 - 7*v + 6. Is 10 a factor of q(-5)?
False
Let z = 84 + -58. Does 10 divide z?
False
Let p(z) = 12*z**2 + 5*z + 2. Let s be p(4). Suppose u + u = -5*d + 213, -u = 5*d - s. Does 17 divide d?
False
Suppose -4*u = 2*u - 228. Is u a multiple of 8?
False
Suppose -3*j + 3 = i - 6, 0 = 3*i + 9. Suppose j*s - 45 = -s. Is s a multiple of 5?
False
Let l(u) = -105*u - 6. Does 17 divide l(-1)?
False
Suppose 3*y - 6 = 4*y. Let f(c) = -8*c + 8. Is f(y) a multiple of 22?
False
Let j(f) = 2*f**3 - 4*f**2 - 2*f - 4. Let b be j(4). Is 3 a factor of b/5 - (-4)/(-10)?
False
Let b(s) = -s**3 - 4*s**2 - 2*s + 1. Let c be b(-3). Is 6 a factor of (-3 - -25)*c/(-4)?
False
Let g(k) = -12*k**3 - 4*k**2 - 2*k. Is 14 a factor of g(-2)?
True
Let p = 194 + -110. Is p a multiple of 9?
False
Suppose d = -4*q + 201, -3*d + 603 = 8*q - 3*q. Suppose 5*f = l + d, 5 = -3*f - 3*l + 122. Is 6 a factor of f?
False
Let l = 110 - 55. Let m = l - 19. Is m a multiple of 14?
False
Let v(w) = w**2 + 7*w - 6. Let o be v(-8). Suppose -2*k = -2*m + 34, k + 0*k = o*m - 31. Does 14 divide m?
True
Is 3 a factor of (6/(-8))/((-1)/16)?
True
Let c be (-42)/11 - (-2)/(-11). Let m = -3 - c. Let q = m + 9. Is q a multiple of 4?
False
Suppose -2*v - 29 = -63. Is 2 a factor of v?
False
Let k(a) = a + 5. Let d be k(-9). Does 5 divide ((-25)/d)/5*12?
True
Let h(o) = 13*o - 9. Let w(r) = 12*r - 10. Let s(p) = -3*h(p) + 4*w(p). Is s(6) a multiple of 9?
False
Suppose -4*i = i - 10. Is (31 - i) + 0/(-1) a multiple of 13?
False
Let y = 4 - -5. Let h = -4 + y. Suppose 6 = 3*u, -p + 16 = -h*u - 2. Is p a multiple of 14?
True
Suppose 1 + 65 = 2*d. Does 21 divide 1380/d + 2/11?
True
Let z be (-1 - (2 + -2))*4. Let s(a) = 5*a**3 - a**2 - 10*a - 3. Let p(j) = j**3 - j**2 - j. Let d(v) = -4*p(v) + s(v). Is 2 a factor of d(z)?
False
Let a(r) = -11*r - 4. Is 17 a factor of a(-5)?
True
Let b(n) = -n**3 - 11*n**2 - 16*n - 16. Is 11 a factor of b(-10)?
True
Let n(w) = -w**3 + 8*w**2 + 2. Let i be n(8). Let a = 6 - i. Does 4 divide a?
True
Let b = 7 + -4. Let d be 1*(0 - b/3). Is 5 a factor of 0 + 11 + d + 0?
True
Let n = 21 - 16. Suppose 4 + 11 = 3*k, 200 = n*m - 4*k. Does 11 divide m?
True
Suppose -6*n = -8*n + 174. Does 13 divide n?
False
Let h(x) = 6*x - 1. Let q be -1*(4 - 2)/1. Let r be h(q). Let d = 19 + r. Is 2 a factor of d?
True
Let d(w) = -w - 7. Let b be d(-9). Suppose -b*j - 17 = -r - 0*j, 46 = 2*r + 2*j. Does 6 divide r?
False
Suppose -h - 64 = 3*h. Let n be h/(-5) + (-3)/15. Suppose m + 3*r - 14 - 21 = 0, 3*r = -n*m + 75. Is 10 a factor of m?
True
Suppose -2*o = -2*f - 7*o + 45, 4*o = 2*f - 72. Is f a multiple of 10?
True
Let p(l) = l**3 - l**2 - 3*l - 2. Let g be p(3). Suppose -3*o = -g - 2. Suppose o*n - 14 = 64. Is n a multiple of 9?
False
Let t(k) = -4*k**2 - 2*k + 1. Let f(d) = -7*d**2 - 3*d + 2. Suppose 4*w - 12 = 8. Let r(m) = w*t(m) - 3*f(m). Does 14 divide r(7)?
False
Let o = -21 + 43. Is o a multiple of 12?
False
Suppose -2*l + 188 = -3*o - 79, l + o - 121 = 0. Does 14 divide l?
True
Suppose 5*v = v + 128. Is 8 a factor of v?
True
Suppose -19*a + 111 = -16*a. Is 12 a factor of a?
False
Let d = 109 + -61. Does 8 divide d?
True
Let k(v) = v**3 - 7*v**2 + 4. Let o be k(7). Let u = -1 + o. Suppose -s + 56 = u*s - 3*y, -4*s + 5*y + 64 = 0. Is 4 a factor of s?
False
Let p(b) = -4*b - 7. Suppose 0 = 3*j - 6*j + 3. Suppose 4 + j = -o. Is p(o) a multiple of 8?
False
Does 34 divide (-67)/(3 + 21/(-6))?
False
Let g(z) = z - 3. Let f be g(6). Let a be ((-17)/4)/(f/(-60)). Suppose -a = 2*i - 7*i. Is i a multiple of 17?
True
Suppose -4*h - 106 = -2*q, q - 3*h + 177 = 4*q. Is 19 a factor of q?
True
Let a(c) = -c**3 + c**2 + 2*c + 6. Is 40 a factor of a(-5)?
False
Suppose 0 = 5*c - 20 - 325. Does 23 divide c?
True
Suppose 4*u + 32 = 8*u. Suppose v - u*n = -3*n + 3, -4*n + 4 = 0. Is 4 a factor of v?
True
Let p = -14 - -20. Suppose -p*h = -3*h - 180. Is h a multiple of 30?
True
Let q(x) = 5*x + x**3 - 2*x - x**2 - x**2 - 2*x - 2. Let f be q(2). Suppose f = -0*h + 2*h + 10, -h - 11 = -2*y. Does 3 divide y?
True
Suppose 0 = 5*r - 3*r + n - 11, 5*r = 2*n + 14. Let o be (-93)/r + 3/12. Let x = o - -55. Is x a multiple of 11?
False
Suppose -5 = -4*m - 5*x + 153, -2*m + x = -86. Is m a multiple of 12?
False
Let c be ((-7)/(14/36))/1. Let a be ((-27)/c)/(2/(-4)). Is 11 a factor of 0 + a/((-9)/66)?
True
Suppose 2*q + 0*q - 8 = 0. Let m(j) = j**2 + j + 20. Let n be m(0). Suppose -v + 2*f = -2*f - n, 52 = 2*v + q*f. Does 12 divide v?
True
Let t be (3/(-6) - -2)*6. Suppose 5*l - t = 2*l. Suppose -33 = -3*u + l. Is u a multiple of 12?
True
Suppose 0 = 2*f - g - 49, g = 5*f - g - 122. Is 8 a factor of f?
True
Let w(l) = l**2 + 1. Let z be w(3). Let a(k) = 4*k + 1. Does 14 divide a(z)?
False
Let k(c) = c**3 - 12*c**2 - 9*c - 5. Is k(13) a multiple of 47?
True
Let k = -218 + 309. Is k a multiple of 26?
False
Let m(d) = 3*d + 0*d - 2*d - 4. Let c be m(6). Suppose 2*t + 4*n - 32 = 0, c*n - 13 = -2*t + 15. Does 5 divide t?
False
Let f = -182 - -265. Is 23 a factor of f?
False
Let s(p) = -2*p - 6. Let i be s(-7). Suppose -5*h + 317 + i = 0. Suppose h = 3*w + 2*w. Does 5 divide w?
False
Is (2 - 17)/((-5)/15) a multiple of 15?
True
Let i be (5/(-2) + 1)*2. Let g(x) = -5*x - 2. Is 12 a factor of g(i)?
False
Let o = 98 + -50. Does 14 divide o?
False
Let w = -6 - -8. Suppose -w*u - 2*u = 0. Is (u - 34)*4/(-8) a multiple of 13?
False
Let n = -115 + 167. Is 23 a factor of n?
False
Let g(q) = -q**3 - 2*q**2 - 7*q - 2. Let x be g(-5). Suppose -4*s = -4*y - x, -6*s + 3*s + 101 = y. Does 9 divide s?
False
Suppose 5*r - 4*s - 10 = -2*s, 5 = 3*r - s. Suppose r*i - 96 = -2*i. Does 16 divide i?
True
Suppose 4*k + 3 = 19. Suppose -2*x + 4*l - 3*l = -10, -3*l = 0. Suppose 5*w = k*p + 81, -x*p = -3*w + 35 + 11. Is 17 a factor of w?
True
Let k = 66 + 50. Is k a multiple of 17?
False
Let g be 18/(((-8)/10)/(-2)). Suppose 0 = -5*j + g + 70. Is j/2*(1 - -1) a multiple of 11?
False
Suppose 45 = o + 4*s, -104 - 105 = -5*o - 4*s. Is o a multiple of 19?
False
Let g = -45 + 80. Is 8 a factor of g?
False
Let l = -111 - -190. Suppose 5*d + 27 - l = -3*m, -5*m - 5*d + 100 = 0. Does 12 divide m?
True
Is (-4795)/10*4/(-7) a multiple of 22?
False
Suppose 6*i - 9*i + 60 = 0. Is i a multiple of 6?
False
Suppose -8*p + 4*t - 420 = -4*p, -4*t = 2*p + 192. Suppose 5*c - 25 = 0, c = 5*d + 126 + 194. Let b = d - p. Is 20 a factor of b?
False
Let f(v) = 5*v**2 - 11*v + 4. Does 15 divide f(7)?
False
Let i(j) be the second derivative of -j**5/20 - j**4/3 + j**3/2 + 3*j**2/2 + 4*j. Does 8 divide i(-5)?
False
Let i be 3 - 0/((-8)/(-4)). Suppose 3*f + i*k - 48 = 0, -4*k + 0 - 31 = -f. Is f a multiple of 4?
False
Let m = 65 - -37. Does 17 divide m?
True
Let z be -2 - (-4)/(4/3). Suppose 5*b = 4*q - 18 + 1, 0 = 2*q + 5*b - 31. Suppose -z = -k + q. Is k a multiple of 5?
False
Does 5 divide (-528)/(-30) - (-4)/10?
False
Let h = 2 + -5. Let w be (9/h)/((-3)/(-2)). Does 2 divide (w - 0) + (4 - -1)?
False
Suppose 95*r - 1155 = 90*r. Is 21 a factor of r?
True
Let c(h) = h - 4. Let i(p) = -p**2 + 10*p + 14. Let u be i(11). Let b be c(u). Does 2 divide 12*(b + 6/4)?
True
Suppose -z = -3*z + 30. Is z a multiple of 4?
False
Let l be (-2)/(-5) - (-18)/5. Suppose y - 7 = r + 17, 0 = -l*y - 2*r + 108. Is 13 a factor of y?
True
Suppose 4*k = -0*k + 12. Suppose -q - k*q - 3*n = -1, 3*q = 3*n - 15. Does 20 divide q/10 + 101/5?
True
Let q be 9*(-1 + 8/6). Suppose f + 20 = q*o - 6, -1 = 2*o + 3*f. Suppose -2*s - 17 = -3*d - o*s, 5*s = -d + 9. Is d a multiple of 4?
True
Let o be -3*(0/(-3) + -1). Suppose 5*f - o*f = 0. Suppose f*w = w - 6. Is 4 a factor of w?
False
Suppose h = -0*j + 4*j - 11, 4*j = -4*h - 4. Let b(v) = 1. Let q(s) = -6*s - 3. Let x(m) = h*b(m) - q(m). Is x(2) a multiple of 12?
True
Let r = -