 be f(8). Let k = -19 - c. Is k a multiple of 5?
False
Suppose 9 = -2*m - m. Is 12 a factor of ((-7)/m)/((-9)/(-135))?
False
Let z(f) = -3*f + 89. Does 26 divide z(14)?
False
Suppose 42 = 4*a + 2*z, -5*a + 4*z + 7 = -13. Suppose -2*t + 4*y - 12 = -t, 2*t = 4*y - a. Suppose 2*g + 19 = 5*m, 0*g = 4*m + t*g - 4. Is m a multiple of 2?
False
Let a = 263 - 167. Does 24 divide a?
True
Let j be 18/2 - (-3 + 1). Let i be (-1161)/(-33) + (-2)/j. Let x = i - -26. Does 21 divide x?
False
Let c(r) = r - 4. Let t = -10 + 17. Let j be c(t). Suppose 4*u - 104 - 9 = j*s, 3*s = -5*u + 148. Is u a multiple of 21?
False
Let v(t) be the third derivative of t**5/60 - t**4/4 + t**3/6 + t**2. Does 8 divide v(7)?
True
Let l be (6/10)/(5/(-75)). Let d = 21 - l. Is 15 a factor of d?
True
Let j(g) = g**2 + 8*g + 2. Let h be j(-8). Is 3 a factor of h/(-10) - (-132)/10?
False
Is 13 a factor of 3495/90 + 2/12?
True
Let g(z) = -6*z - 3. Is 15 a factor of g(-3)?
True
Let t = 40 + -19. Suppose -k = -96 - 1. Suppose -j - t - k = -5*y, -3*y + 68 = -2*j. Is y a multiple of 12?
True
Let t(h) = h**3 - 8*h**2 - 27*h + 2. Does 8 divide t(11)?
False
Suppose 5*t - 70 = 210. Suppose 2*o = 5*w + 98, -3*o + t + 69 = -2*w. Is 13 a factor of o?
True
Let y(a) = 4*a + 50. Is 37 a factor of y(15)?
False
Is 3 a factor of (-62)/(-6) - 3/9?
False
Suppose 2*z = -3*z. Suppose -2*f + 52 + 44 = z. Let q = f + -26. Does 14 divide q?
False
Is (-2 - -4 - (5 - 2)) + 55 a multiple of 18?
True
Let i(a) = -a**2 + 13*a + 15. Let o be i(13). Suppose 2*l - 3*s + o - 69 = 0, 0 = l + s - 32. Is l a multiple of 12?
False
Let a = 41 - 32. Is 6 a factor of a?
False
Does 20 divide 43 + -4 + 4 + -3?
True
Let a = -68 - -104. Suppose p - a = -3*p. Does 16 divide 146/p - 6/27?
True
Let z(g) = -g + 3. Let h(b) = b**2 - 6*b + 2. Let x be h(5). Let f(i) = -i**2 - i - 3. Let w be f(x). Is z(w) a multiple of 6?
True
Let x(f) = 42*f**2 + 2*f + 2. Suppose 3*l - 5*g + 3 = 0, l + 0*l + 1 = -g. Does 21 divide x(l)?
True
Let v(b) = -b**3 + 10*b**2 - 11*b + 2. Is 16 a factor of v(6)?
True
Let q be (0 + -6)/(12/(-8)). Let u be (-2)/q + (-27)/(-6). Suppose -w - 2*w + t = -100, -w + 48 = -u*t. Does 17 divide w?
False
Let u = -2 - -7. Let l(g) = 6*g + 5. Let m(n) = -12*n - 10. Let y(v) = u*l(v) + 2*m(v). Does 20 divide y(8)?
False
Suppose 2*w - 29 = b, 4*b - 5*w + 182 = 66. Let v = 5 + b. Let l = 34 + v. Is 10 a factor of l?
True
Let n(j) = -j**2 + 10*j - 3. Let k be n(10). Let b = k + 21. Is b a multiple of 9?
True
Let m = 140 + -80. Is 30 a factor of m?
True
Let n(g) be the first derivative of g**7/40 + g**5/120 - 2*g**3/3 + 1. Let w(c) be the third derivative of n(c). Does 11 divide w(1)?
True
Let h(s) = -3*s**2 + 4*s + 3. Let b be h(-2). Is 19 a factor of b/(-2*(-1)/(-4))?
False
Suppose -8 + 3 = -h. Suppose -1 = -l + h*y, -5*y + 125 = -l + 6*l. Is l a multiple of 11?
False
Suppose -4*m + 15 = -m. Suppose -m*c = 4*d - 0*d - 41, 43 = 5*d - 2*c. Is d a multiple of 8?
False
Let y(m) = 4*m - 12. Is y(12) a multiple of 17?
False
Suppose 0*p + 403 = 2*d + p, 0 = 5*d + 5*p - 995. Is 30 a factor of d?
False
Suppose 4*d = -4*b - 8, -3*b = 2*d - 2*b - 1. Suppose a + 9 = 4*a + d*p, -3*p - 12 = -4*a. Is a a multiple of 3?
True
Suppose -2*j + 5*l - 60 = -208, j - 4*l = 77. Is 25 a factor of j?
False
Let a(z) = z**3 + 8*z**2 - 7*z. Let d be a(-9). Let o = 35 + d. Does 9 divide o?
False
Let x(o) = o**2 - 5*o + 2. Let z be x(5). Suppose z*q + 5 = 5*y, -24 = -3*y - 9. Does 8 divide q?
False
Let v = -12 - -9. Is 13 a factor of 13*(v - (3 + -8))?
True
Let f be 4*(4 + 1 + -4). Suppose -5*p + f*p = -93. Is 31 a factor of p?
True
Is (48/(-10))/(3/(-40)) a multiple of 8?
True
Let h(b) = 9*b - 8. Let k be h(-8). Is (k/(-25))/((-4)/(-30)) a multiple of 8?
True
Let s = -52 - -99. Is s a multiple of 8?
False
Let u = 20 + 13. Does 20 divide u?
False
Let v(t) = -t + 1. Let d(g) = 4*g - 3. Let j(n) = 6*d(n) + 26*v(n). Let y be j(-6). Suppose 3*i = -s + 2, 4*s = i + y + 53. Is s a multiple of 17?
True
Let b(s) = s**2 - 5*s - 12. Let x(n) = 2*n - 3. Let i be x(6). Is 8 a factor of b(i)?
True
Suppose -17 = -c + 2*y, 2*y + 52 = 5*c + 3*y. Suppose k + c = -4*w + 4, -2*w = -3*k + 7. Is 16 a factor of (-142)/(-4) + w/(-4)?
False
Let q = -4 + 6. Let w = 2 - -1. Suppose 5*r = 0, -w*i + 70 = 2*i - q*r. Is 7 a factor of i?
True
Let v(r) be the second derivative of r**7/840 + r**6/45 + r**5/40 - r**4/24 - r**3/6 - r. Let g(a) be the second derivative of v(a). Is g(-7) a multiple of 10?
False
Suppose 0 = -5*u + 261 + 79. Is u a multiple of 17?
True
Suppose -3*d - d + 28 = 2*c, 4*d = 2*c + 12. Suppose -2*x + c*x - 20 = 0. Suppose 0 = -j + 4*k - 0 + 38, -2*k = x. Is j a multiple of 6?
True
Let s(i) = -i**3 + 4*i**2 + 2*i + 5. Let r be s(4). Let w = r + -6. Does 13 divide 7/(w/30) + 0?
False
Let g be ((-17)/4 - -3)*-4. Suppose 0 = -u + g*u - 104. Is 19 a factor of u?
False
Let h be (-2)/(-9) + (-538)/(-9). Suppose -v + h = y + y, y + 2 = 0. Is v a multiple of 16?
True
Let o(q) = -26*q**3 + 2*q**2 - 3*q - 6. Is 38 a factor of o(-2)?
False
Let r(u) = -u**2 + 8*u + 5. Let k be r(8). Let o(y) = 19*y + 3. Let q be o(k). Suppose 4*m = -8, i - q = -3*i + 5*m. Is i a multiple of 11?
True
Suppose 4*p - 6 - 14 = 0. Suppose 5*m - 3*l - p = 0, -4*l = 2*m - 3*l - 2. Is 12 a factor of -48*(3/(-6))/m?
True
Let f(r) be the third derivative of -r**5/60 - 5*r**4/12 - 7*r**3/6 - 4*r**2. Let y be f(-9). Let z = 27 - y. Is z a multiple of 8?
False
Let r(q) = q**2 + 10*q - 8. Is r(7) a multiple of 8?
False
Suppose 11 = t - 2*t. Let i = 36 + t. Does 12 divide i?
False
Let l(v) = v**2 + v + 8. Let f be l(0). Let h = -7 + 2. Let s = f + h. Is s a multiple of 2?
False
Let n(c) = 2*c - 3. Let g = -3 - -6. Let f be n(g). Does 6 divide f/6 - (-11)/2?
True
Is 12 a factor of -3*(110/(-6) - -4)?
False
Let k = 3 - 1. Suppose k*t - 28 = -2*t. Is 2 a factor of t?
False
Let m = 64 - 44. Suppose m = -2*u - 34. Does 8 divide 1/(-2 + u/(-13))?
False
Let w be (-3)/(-6)*0 - -1. Let q be 11/w - (2 - -1). Suppose 2*o + q = 6*o. Is o a multiple of 2?
True
Let f be (-44)/(-6) - 2/(-3). Let h(r) = 3 + 8*r - 2 + r**3 + 2 - f*r**2. Is h(7) a multiple of 7?
False
Let v(o) = o - 5. Let m be v(8). Suppose -2*c - 3*s + s = 4, -m*s - 6 = -2*c. Let y = 7 + c. Does 7 divide y?
True
Let l = 17 + -15. Suppose -5*q - l*y + 159 = -0*y, 0 = -2*q - 3*y + 57. Does 14 divide q?
False
Let l(k) = 2*k - 11. Is 8 a factor of l(10)?
False
Let m be ((-71)/(-4))/((-1)/(-4)). Suppose 5*k + 119 = l - 86, 3*k + l + 115 = 0. Let x = m + k. Does 12 divide x?
False
Let d = 14 - 10. Suppose -12 = -4*b + 4*g, -7*b + 4*b - g = 3. Suppose m - d*l - 47 = b, -2*m = -3*l - 54 - 35. Does 15 divide m?
False
Suppose -5*a + 10 = 0, -h + 2*a - 12 = 12. Does 8 divide -3 + (3 - 5 - h)?
False
Suppose 6*f - 3*f = 702. Does 26 divide f?
True
Let d = -1 - -5. Let l(p) = -p + 0 - p + d. Does 12 divide l(-4)?
True
Suppose -3*z - 1 + 31 = 0. Is z a multiple of 10?
True
Let l(r) = -11*r + 72. Let a = -6 - -9. Let g(k) = 4*k - 24. Let v(x) = a*l(x) + 8*g(x). Is v(0) a multiple of 11?
False
Suppose 4*w - 4 = 5*w. Let t(g) = -9*g**2 + 4*g - g - 1 + 10*g**2. Is t(w) even?
False
Suppose -20*i = -16*i - 324. Is i a multiple of 10?
False
Suppose 0 = p + 3*p - 56. Let o = 20 - p. Is 6 a factor of o?
True
Suppose z + 4*u = -3 + 26, 3*z = -5*u + 41. Does 7 divide z?
True
Let r(v) = -8*v. Is r(-16) a multiple of 28?
False
Suppose -196 = -7*a + 2*a + 4*r, 5*a + 2*r = 202. Does 4 divide a?
True
Let d be (15/20)/((-2)/(-64)). Let r be 2/3 - (-296)/d. Let y(c) = c + 11. Does 8 divide y(r)?
True
Suppose -6*j = -2*j. Suppose -5*g + 16 + 4 = j. Suppose 2*d + 140 = g*d. Is d a multiple of 25?
False
Suppose -3*k + 109 = -308. Is k a multiple of 29?
False
Let n(c) = c**2 - 2*c + 2. Suppose 2*y = 5*a - 13 + 65, -a = -3*y + 65. Suppose -2*v + 3*v + y = -4*l, 20 = -4*v. Is n(l) a multiple of 13?
True
Suppose -5*k + 420 = 5*o, k - 1 + 0 = 0. Suppose -5*f + 87 = -o. Is f a multiple of 17?
True
Let x(y) = y**2 + 3*y - 3. Let s be x(-6). Is 23 a factor of ((-19)/2)/(s/(-90))?
False
Suppose 3*y - 32 = -y. Is 4 a factor of y?
True
Let y(w) = -w**2 - 4*w - 2. Let o be y(-2). Is 4 a factor of ((-3)/o)/((-3)/20)?
False
Does 3 divide 10 + -2 + 6 + 1?
True
Suppose -7 + 2 = -j. Suppose 156 = -3*c + j*c. 