 divide i?
True
Let w(k) = k + 8. Let y be w(-6). Suppose 3 = -5*r - y, x - 2*r - 14 = 0. Is 12 a factor of x?
True
Let c(f) = 12*f**2 + 2*f. Does 15 divide c(2)?
False
Let v(b) = 8*b + 26. Does 8 divide v(6)?
False
Suppose 26*m = 2416 + 574. Does 10 divide m?
False
Is 23 a factor of 10*19/2 + 1?
False
Suppose 2*l - a - 27 = 211, -2*a = -l + 125. Is 9 a factor of l?
True
Let k = -8 + 5. Let t be (2 + k)*3 + 3. Suppose -2*z + 3*b + 119 = t, 0 = z - b + 2*b - 47. Is z a multiple of 20?
False
Suppose 4*c + 133 = p + 4, 2*c = -4*p - 60. Let v = 9 - c. Is v a multiple of 16?
False
Suppose -14*b = -12*b - 36. Is 18 a factor of b?
True
Suppose -3*o + 384 + 225 = -q, 0 = -4*o + 4*q + 804. Suppose -x + 68 = 3*s, -3*x + o = x - 5*s. Is x a multiple of 29?
False
Suppose 0 = -17*l - 1089 + 2993. Is l a multiple of 16?
True
Let p be (-2)/(-3) - (-16)/(-6). Let f(t) = t**3 + 3*t**2 + t + 1. Let z be f(p). Let r(o) = 2*o**3 - 2*o**2 - 3*o - 1. Is r(z) a multiple of 10?
False
Suppose 3*t - i + 29 = 4*i, -4*t - 2*i = 4. Let p = t + -3. Let b = -3 - p. Is b even?
False
Suppose 4*j - 2 - 2 = 0. Is 15 a factor of (41 - -2)/j + 2?
True
Let b = 634 + -387. Suppose -3*h = -u - 147, -5*h = -2*u + u - b. Is 25 a factor of h?
True
Suppose 2*m + 0 = 8. Does 3 divide m?
False
Suppose -36 = 3*v - 3*r, r + 4*r = -v - 36. Let t(i) = -i**3 - 7*i**2 + 3*i - 8. Let x be t(-7). Let p = v - x. Is 13 a factor of p?
True
Suppose -4*l + 2*l + 12 = 4*q, 5*l - 6 = -2*q. Suppose i - q*i + 92 = 0. Is i a multiple of 23?
True
Let p(u) = 3*u**2 + 8*u + 13. Is 3 a factor of p(-4)?
False
Suppose -k = -0*k - 7. Let x = k - 3. Suppose 0 = 3*u - x*s - 34 - 36, 0 = -4*u + 5*s + 95. Is 15 a factor of u?
True
Does 3 divide 9 - (-3 - (-1 - 2))?
True
Let f(s) = s**3 + 2*s**2 - 7*s + 4. Let i be f(4). Suppose -12 = -a + i. Does 21 divide a?
True
Let x(b) be the second derivative of b**4/4 - b**3/6 + b. Is 4 a factor of x(2)?
False
Let f = 70 + -35. Does 7 divide f?
True
Let n(i) = -6*i**2 + 3*i + 4. Let s(y) = -y**2 - y + 1. Let h(l) = -n(l) + 2*s(l). Let a be h(-3). Let q = -27 + a. Does 7 divide q?
False
Does 16 divide 20/(1 + -2 - -2)?
False
Suppose -3*y + 4*k + 45 = 0, 2*y - 4*k - 83 = -3*y. Is 14 a factor of y?
False
Suppose -4*g - 80 = -4*d, 4*g = d + g - 26. Suppose 1 = -q + d. Is q a multiple of 7?
False
Suppose 10 = -5*z + c, -5*z - 2*c - 1 - 9 = 0. Let v = 3 + z. Is (-6*v)/(-3) + 2 a multiple of 4?
True
Suppose 3*b = u - 36, b + b - 163 = -5*u. Is 9 a factor of u?
False
Let b(i) = 12*i**2 + 5*i + 2. Let h be b(-3). Suppose 2*w - 3*w + 4 = 0. Suppose -w*a + h = a. Is 14 a factor of a?
False
Let v be ((-2)/(-3))/((-2)/3). Let c = v + 9. Let g = c - 3. Is g a multiple of 2?
False
Is 24 a factor of 110 - (-8)/(-12)*(-3)/(-2)?
False
Suppose 20*w - 23*w = -384. Is w a multiple of 16?
True
Let v(t) = -t**2 - 8*t - 4. Let z be v(-6). Let f = z - 6. Is 6 a factor of 11 + (-2)/(4/f)?
False
Let o be 17 + 1 + 0 + -2. Suppose 4*l - 3*l - o = 0. Does 16 divide l?
True
Suppose 0*x = x - 13. Is 6 a factor of x?
False
Let n(j) = -44*j**2 + 1. Let c be n(-1). Suppose -69 = -z - 0*z. Let k = c + z. Does 17 divide k?
False
Suppose 2*m - 9 = -1. Suppose -3*i = -m*g + 17, -2*g + 14 = 3*i + 1. Suppose 2*w + g = 65. Does 10 divide w?
True
Let i(g) = g**2 - 14*g + 18. Let c be i(13). Suppose -4*m - 37 = -c*m. Is m a multiple of 11?
False
Let b be 3/1 - (1 + -30). Suppose -4*n = -112 - b. Is n a multiple of 17?
False
Suppose 791 = 4*y + 4*k + 107, 4*k - 180 = -y. Is y a multiple of 21?
True
Let o(v) = -v**3 - 2*v**2 - v + 1. Let j be o(-2). Suppose 2*t - 64 = -2*p - 0*p, 98 = j*t + p. Is 11 a factor of t?
True
Suppose -i + 2 = 4. Does 17 divide (8/3)/(i/(-39))?
False
Suppose 7*l + 228 - 1243 = 0. Is 30 a factor of l?
False
Suppose 0 = 5*k - 3*a + 104, 3*k + 4*a + 10 + 64 = 0. Let f(r) = 20*r. Let o be f(-2). Let s = k - o. Does 7 divide s?
False
Suppose 4*k - 16 = 44. Let z be k + (1 - (3 + -2)). Suppose -9 - z = -2*l. Is 12 a factor of l?
True
Suppose 5*o - 2 = -12, 0 = -b - 4*o + 202. Does 42 divide b?
True
Suppose 2*l + 27 = q, -2 + 4 = -2*l. Is 3 a factor of q?
False
Let m = -124 + 250. Is 14 a factor of m?
True
Suppose 7*b = -b + 104. Does 10 divide b?
False
Let j(f) = 2*f - 12. Suppose 4*c = 6*c - 20. Suppose -6 - c = -2*r. Is 3 a factor of j(r)?
False
Let o = -1 + 3. Suppose 0 = o*u - 19 - 5. Does 11 divide u?
False
Let q(h) be the second derivative of -h**3/6 - h**2 - h. Let m be q(-4). Suppose 2*b + m*t - 78 = 0, -4*b + 55 = -t - 86. Does 17 divide b?
False
Does 11 divide ((-21)/15 + 3)/((-2)/(-60))?
False
Suppose 23 = -2*o - 163. Let i be 2/(2/(-37)) + -2. Let z = i - o. Is z a multiple of 15?
False
Suppose 36 = -m + 5*m. Suppose 3*k - 12 = 3*w, -5*w + 7 = 2. Let r = m - k. Is 4 a factor of r?
True
Let g(t) = 11 - 3*t**2 - t**2 + 3*t**2. Let x = -2 - -2. Is g(x) a multiple of 11?
True
Let l(r) = 6*r**2 + 6*r**2 + 67*r - 80*r + 5 + r**3. Is l(-13) a multiple of 2?
False
Suppose -3*a = a - 5*c - 8, 4 = 2*a - 2*c. Suppose 2*b - a*o - 196 = 0, 5*b - 3*o - 496 = -o. Suppose 12 = 4*z, -4*z - 23 = 5*r - b. Is 5 a factor of r?
False
Suppose 2 = w - 1. Suppose 2 = w*p - 4. Suppose z - p = 6. Is 7 a factor of z?
False
Suppose 0 = 2*v + v - 6. Suppose 545 = 3*j + v*j. Suppose -p + 1 = -4*h, -4*p - 6*h = -h - j. Does 10 divide p?
False
Suppose 0 = -b + 3*b. Suppose -p + 2*p - 2 = b. Is (-8)/6*(p + -20) a multiple of 14?
False
Let r(y) = -1 + y**2 + 7 - 3*y**2 - 7*y + y**2. Is r(-6) a multiple of 12?
True
Let k = 8 - 7. Let g = 11 + k. Is 3 a factor of g?
True
Let m(g) = -5*g**2 + 6*g**2 + 6 + 4*g + 2*g + 0. Suppose -4*p + 2*p - 12 = 0. Is 6 a factor of m(p)?
True
Let p(o) = 2*o**2 + 5*o + 3. Is p(-4) a multiple of 15?
True
Let h(k) = k**2 + 2*k - 5. Let q(l) = -l**2 + l + 4. Let d be q(0). Suppose -5*s - d - 16 = 0. Is h(s) even?
False
Let f(s) = 105*s**3 + 2*s**2 - 3*s + 1. Is f(1) a multiple of 21?
True
Let i(h) = h - 5. Let j be i(10). Suppose g + g + j*y = -15, -y + 24 = -5*g. Is -3 - (-144)/(-2 - g) a multiple of 15?
True
Let q = -14 + 7. Let n be 0 + 14 - (-2 + 1). Let r = n + q. Is 4 a factor of r?
True
Let k(v) = 11*v**3 - 3*v**2 + 4*v - 3. Let h be k(2). Suppose 2*p + h = 3*q + 2, 0 = -q + p + 25. Does 10 divide q?
False
Let k = 1 + 3. Let i be (10/(-8) - -2)*k. Is 3 a factor of -10*(-1 - i/(-15))?
False
Let m(f) = -f + 12. Let t be m(9). Suppose -3*v = -1 - 8. Does 8 divide v*2/t + 6?
True
Let q = 12 + -11. Is (q/3)/((-6)/(-108)) even?
True
Let p be (-4)/18 - (-2)/9. Suppose 2*g = 5*x - 46, p = 4*x - 3*g - 34. Is x a multiple of 5?
True
Let v = 622 - 328. Does 42 divide v?
True
Let w(j) = -j - 1. Let c be w(-5). Suppose 5*u - 1 + c = -r, 29 = 3*r - 4*u. Is 7 a factor of r?
True
Let d = -7 - -10. Suppose -5*y = 5*k - 15, -5*y - 4*k + 12 = -d*y. Suppose -5*f + f + 120 = y. Does 15 divide f?
True
Let b(u) be the second derivative of -u**5/20 + u**4/3 + u**3 - u**2 + u. Let c be b(5). Does 11 divide 20 + (0/c - -2)?
True
Let f = 88 - 28. Is f a multiple of 10?
True
Let o(r) = r**2 + r - 19. Does 15 divide o(-12)?
False
Let f = -3 - -3. Suppose 25 = -f*z + 5*z. Suppose d - 3*d + 35 = 5*h, -z*d - 28 = -4*h. Does 3 divide h?
False
Let v = 44 - -34. Let l = 130 - v. Is 13 a factor of l?
True
Let t(q) = -q**2 - 5*q - 1. Let z be t(-3). Let f = 15 - z. Let c = f - 0. Does 4 divide c?
False
Let g(d) = -26*d**2 - 5*d + 2. Let o(i) = 51*i**2 + 11*i - 5. Let b(l) = -7*g(l) - 3*o(l). Is 14 a factor of b(-1)?
True
Suppose 5*z = 9*z - 420. Suppose -532 + z = -7*u. Is 16 a factor of u?
False
Let o(x) = 2*x**2 + x - 2. Let q be o(-3). Let j = 5 + q. Is j a multiple of 6?
True
Is 69/(-1)*(-2)/6 a multiple of 23?
True
Let j(r) = r**2 - 3*r + 2. Let o be j(4). Suppose 2*c - 2 = o. Suppose x = c*s + 40, 5*s + 45 = 3*x - 2*x. Is x a multiple of 14?
False
Let y(t) = t**2 + 2*t - 43. Is y(-10) a multiple of 12?
False
Suppose -2*z = -0*z - 16. Let f(d) be the first derivative of d**2 - 6*d + 1. Does 10 divide f(z)?
True
Let v(h) = 84*h - 11. Is 13 a factor of v(4)?
True
Suppose -5*p - 21 = -156. Does 16 divide p?
False
Let g(v) = -21 - 15*v + 1 + 2. Does 12 divide g(-6)?
True
Suppose -6*f - 35 = -5*f. Suppose 135 = -3*m - 63. Let w = f - m. Does 14 divide w?
False
Suppose -4*g + 19 = 7. Suppose s - 2 = g, -s = 4*m - 101. Is m a