 Does 9 divide i(-2)?
False
Suppose 4*w = -4*v + 644, 6 = -v + 4. Is w a multiple of 34?
False
Suppose 3*c = 3*d + 9, -2*c = -5*d + 2*d - 8. Let b be 2*(d - 15/6). Does 11 divide (-44)/(-6)*b/(-6)?
True
Let a(u) = u - 2. Let o be a(6). Suppose -o*c = -144 - 36. Is c a multiple of 15?
True
Let m = 38 + 87. Does 10 divide m?
False
Let q be (-4)/((-4)/3) - 3. Suppose q = 4*b - 33 - 19. Is b a multiple of 7?
False
Suppose 3*d + 4*l - 2*l = -162, 3*d - 5*l + 141 = 0. Let f = d - -78. Is f a multiple of 13?
True
Let w = 249 + -177. Is w a multiple of 12?
True
Let b(f) = -8*f - 25. Is b(-9) a multiple of 6?
False
Suppose -6 = -3*u - 0*u. Suppose -2*r = 10, j + u*r - 4*r + 38 = 0. Is (1/2)/((-4)/j) a multiple of 5?
False
Suppose y = 6*y. Suppose y = -2*f, 4 = -b - 2*f - 0. Is (-51)/b + (-3)/(-12) a multiple of 11?
False
Let b = 8 + -20. Suppose -3*p = 6 + 9. Let h = p - b. Is h a multiple of 7?
True
Suppose -7*y + 9*y - 276 = 0. Is 46 a factor of y?
True
Let n(k) = -6*k**2. Let y be n(-1). Let r be 4/(-3)*y/(-4). Let w(g) = -5*g**3 - 2*g**2 - g + 2. Does 18 divide w(r)?
True
Is 2 a factor of (6/4)/(3/4)?
True
Suppose 24 = 3*d - p, -5*d + 4*p = -0*d - 40. Is 3 a factor of d?
False
Let o = -107 - -161. Suppose -q + 4*q - o = 0. Is q a multiple of 7?
False
Let a = 173 + 38. Is a a multiple of 28?
False
Suppose 4*b + 2*c - 30 = 0, -b - 7 = -3*c - 32. Is 3 a factor of b?
False
Let w = -3 + 5. Suppose -4*g = -4*s, 12 + 0 = g + w*s. Is g even?
True
Let p be 35 - (2 + -2 + 0). Let q be p/(-2)*8/(-10). Let c = 20 + q. Does 17 divide c?
True
Let f = 4 + -16. Does 5 divide 2 + (-3)/3 - f?
False
Let c be (9 + (-4 - -2))*1. Let g(z) = 4*z + 4. Does 24 divide g(c)?
False
Let m be (-1 + 36)*6/(-15). Let y(z) = -37*z**3 + z + 1. Let v be y(-1). Let p = v + m. Is p a multiple of 17?
False
Is 14 a factor of (2/4)/((-6)/(-552))?
False
Let q(c) = -c**3 - 3*c**2 - 3*c - 2. Let m be q(-2). Suppose 3*v + 180 = -5*s - 2*v, m = s + 4*v + 21. Let t = s + 61. Is t a multiple of 10?
True
Let t be (-96)/(-9) + 2/6. Does 3 divide 4/(-22) + 46/t?
False
Let i be (-1 - 2/(-14))*7. Let p = 6 + i. Suppose 2*h - 68 + 20 = p. Does 24 divide h?
True
Suppose 0*p + 2 = 2*p. Let r = p - 4. Does 18 divide r - (52*-1 + -1)?
False
Let q = -18 + 20. Suppose 0 = -q*v + 38 + 66. Does 13 divide v?
True
Suppose 3*g - 18 - 54 = 0. Is g a multiple of 6?
True
Suppose 5*p - 25 = -2*m - 6, -5*p = -5*m - 5. Is (1/3)/(m/78) a multiple of 10?
False
Let r(i) = -3*i**3 + 41*i**2 - 44*i - 50. Let u(v) = -v**3 + 14*v**2 - 15*v - 17. Let q(a) = -3*r(a) + 8*u(a). Does 17 divide q(10)?
True
Let a(h) = -3*h**3 - 3*h**2 + 3*h. Let b be a(-3). Does 15 divide (b/4)/(21/56)?
True
Suppose -2*b + 3*q + 1041 = 3*b, 0 = -5*b + q + 1037. Is b a multiple of 21?
False
Let b(a) = a**2 - 7*a - 7. Is 19 a factor of b(13)?
False
Let c(u) = 6*u - 1. Let h be c(7). Let j = h - 2. Does 12 divide j?
False
Let v be -1 + 1*(-2 + 1). Let m be 2*(-3)/3*v. Suppose 0 = 4*j + 12, -3*p + m*j + 6 = 8*j. Is 6 a factor of p?
True
Suppose -y + 6 - 1 = 0. Let j = -15 - -15. Suppose -k + y + 3 = j. Does 4 divide k?
True
Is 1*(3 - -7 - -1) a multiple of 11?
True
Suppose s + 6 = -2*k - s, k + 12 = -4*s. Let d = -1 - k. Does 4 divide (-10 + 2 + 0)*d?
True
Is 3 a factor of (-12)/(-8)*56/6?
False
Suppose 4*t + t = -15. Suppose w + 19 - 44 = 0. Let f = w + t. Is f a multiple of 11?
True
Is ((-35)/15)/(3/(-81)) a multiple of 21?
True
Suppose -u - 2*r + 8 = 0, -47 + 1 = -2*u + 2*r. Is u a multiple of 13?
False
Let o = -129 + 199. Is 14 a factor of o?
True
Let a(d) = -6*d**3 - 3*d**2 + 7*d + 4. Let s(x) = 2*x**3 + x**2 - 2*x - 1. Let k(j) = 4*a(j) + 14*s(j). Is 21 a factor of k(2)?
True
Is 13 a factor of 368/2 - ((0 - -6) + -4)?
True
Let q be (1 - 1)/(0 - -2). Suppose 4*l - 2*b = 24 + 68, -5*l - 5*b + 85 = q. Is l a multiple of 12?
False
Let g(r) = -3*r - 8. Let j(f) = -f - 16. Let b be 2/3 - 208/24. Let u be j(b). Does 8 divide g(u)?
True
Suppose 308 = 7*t - 3*t. Does 7 divide t?
True
Let s = -37 - -58. Does 2 divide s?
False
Let f(z) = -21*z + z - 2 - 3 + 2. Let h be f(3). Let m = -29 - h. Does 17 divide m?
True
Let w(a) = 2*a**2 - 18. Is w(-4) a multiple of 14?
True
Suppose 132 = v - 4*t, 2*v + 6*t - 288 = 2*t. Is 28 a factor of v?
True
Let d(a) = -a**3 - 5*a**2 + 7*a + 4. Let p be d(-7). Suppose -3*g + 55 = -p. Is 18 a factor of g?
True
Let z(m) be the third derivative of 1/8*m**4 + 0 + 0*m + 2*m**2 - 3/2*m**3. Is z(6) a multiple of 7?
False
Let s(w) = 3*w - 2. Let l be s(4). Let h be -8*(l/(-4) + 2). Suppose 0 = -2*t + d + 15 + 43, -t - h*d = -11. Does 18 divide t?
False
Let z(j) = 9*j**3 + 2*j - 55. Let q(f) = -5*f**3 - f + 28. Let u(p) = -11*q(p) - 6*z(p). Is 22 a factor of u(0)?
True
Is 14 a factor of (-175)/(-7) - (0 - -2)?
False
Suppose 0*v = -2*v - 68. Let u = v - -48. Is 7 a factor of u?
True
Let k be 10/35 - (-4)/(-14). Suppose k = -0*z - 2*z + 38. Is z a multiple of 19?
True
Suppose 2*q + 3*a = 15, a + 6 = 2*q + 3. Suppose -4*r + 36 = 5*v, q*r + 3*v - 20 = r. Suppose 3*t = -n + 25, -11 = 4*n - 5*n + r*t. Is n a multiple of 12?
False
Suppose 5*w - 206 = 154. Does 16 divide w?
False
Let l(x) = x**2 - 3*x - 1. Suppose 2*o - 9 = -0*q - q, 0 = -5*o + 4*q + 55. Is 9 a factor of l(o)?
True
Let j(w) = -w**2 - 7*w - 6. Let y be j(-5). Suppose z = d + 3 - 2, -2*z = -2. Suppose x = y*p - d*x - 56, 2*p + 2*x - 28 = 0. Is 14 a factor of p?
True
Suppose b - 176 - 23 = 0. Let z = -109 + b. Is 30 a factor of z?
True
Suppose 23*p = 19*p + 288. Does 31 divide p?
False
Let i(g) = -g**3 - 4*g**2 + 8*g. Is i(-6) a multiple of 12?
True
Suppose -5*f + 3*f = -36. Is f a multiple of 2?
True
Suppose -5*o = -2*r + 77, 5*r + 4*o + 0 = 275. Is r a multiple of 2?
False
Suppose c - 16 = 5*l, 4*l - c + 12 = -0*c. Let x = l + 4. Suppose x = 5*v + w - 33, -3*v - 2*w + 29 = -6*w. Is 3 a factor of v?
False
Let x(m) = m**3 + 7*m**2 - m + 26. Is x(-7) a multiple of 11?
True
Suppose 7*x + 15 = 2*x. Let h = -5 - x. Is 11 a factor of (h/(-2))/((-3)/(-57))?
False
Does 7 divide (0 - -2 - 3)/((-7)/476)?
False
Let b = -1 - 6. Let x = b + 10. Suppose -3*k + x*s + 45 = 0, -3 = -k - 4*s + 2. Is k a multiple of 13?
True
Is 108 - 1/1*(0 - -3) a multiple of 21?
True
Suppose -2*d + 2*k = -518, d + 5*k + 86 - 351 = 0. Is 52 a factor of d?
True
Let p = -3 + 1. Let j be 80/45 - p/9. Suppose 2*f = -j*f + 108. Does 13 divide f?
False
Suppose 0*s = -5*s + 15. Let t be 2/s + (-3)/(-9). Is 7 a factor of ((-36)/2)/(0 - t)?
False
Let b(n) = -n**3 - 2*n + 13. Let c be b(0). Let a = 22 - c. Is 9 a factor of a?
True
Let l = -24 - -85. Does 19 divide l?
False
Suppose 0 = o - 6*o - t + 40, 3*t = 3*o - 42. Let l be (-1112)/(-18) - (-2)/o. Suppose -2*y - y = 4*u - l, -2*y = 2*u - 44. Does 17 divide y?
False
Is 18 a factor of (-812)/(-5) + (-224)/35 + 6?
True
Let d be (-285)/(-20) + (-1)/4. Let i be (2/(-1))/((-2)/(-35)). Is 2 a factor of (6/(-5))/(d/i)?
False
Suppose -4*b + 576 = -0*h + 2*h, h - 300 = -5*b. Is 14 a factor of h?
True
Is 2/(-7) + 1474/14 a multiple of 21?
True
Let w be -3 - 2*-3 - 0. Suppose 5*j = -w*i + 135, -3*j = -4*j + 2*i + 40. Is 10 a factor of j?
True
Suppose 5*u + 4*v = -0*u + 337, -5*v - 286 = -4*u. Is u a multiple of 23?
True
Let d = 83 - 49. Is d a multiple of 17?
True
Suppose -4*i + 28 = p - 20, 3*i - 51 = -p. Is p a multiple of 13?
False
Suppose -4*v = -6*v. Suppose 115 = 3*q - v*z - z, -3*q - 4*z = -125. Does 21 divide q?
False
Let p(k) = k**3 + 8*k**2 + 7*k + 2. Let q be p(-7). Suppose -2*x - 3*c = q*x - 21, -5*c = -4*x - 3. Suppose 3*z = x, 2*h - 13 = -3*z + 2. Does 3 divide h?
True
Let q(s) = 4*s**2 + 2*s + 6. Is 10 a factor of q(5)?
False
Let j = -31 + 57. Is 7 a factor of j?
False
Suppose -4*t + 4 = 0, -5 = 4*l - 2*t - 23. Does 11 divide (-2)/l*(1 + -61)?
False
Let w be (2/(-3))/(2/(-24)). Suppose 2*n - 2*q = -6*q + 16, -5*q - w = -n. Does 4 divide n?
True
Let h(f) be the first derivative of f**3/3 + 3*f**2 + 7*f + 1. Let k be h(-5). Suppose k*l - 6*l = -80. Is 18 a factor of l?
False
Suppose 4*n = 848 - 240. Suppose n = g + g. Is g a multiple of 19?
True
Is 383/8 + (-9)/(-72) a multiple of 12?
True
Is 9 a factor of (-3 - 43/3)*-3?
False
Let t be (-21 - 0)/((-5)/5). Let l = t - 1. Is 10 a factor of l?
True
Let n(j) be the third derivative of -3*j**2 + 0 + 0*j - 1/3*j**3 -