Let z be i(16). Is 8 a factor of f(z)?
False
Let w(m) = m**3 + 14*m**2 - 16*m + 4. Is 3 a factor of w(-15)?
False
Let q be 100/6 + (-8)/12. Suppose -q = 3*y - 4. Is 2 a factor of 0 - (y + 0) - -1?
False
Let y = -59 - -92. Let p be (y - 2)/((-1)/(-1)). Suppose -3*a = 2*j - p, 4 + 10 = j + a. Is j a multiple of 4?
False
Let n be 92/(-6) + 9/27. Is 13 a factor of (-399)/n - 6/10?
True
Suppose 2*o + 4*n = 84, 0*n - 198 = -4*o + 2*n. Is 12 a factor of o?
True
Suppose 0 = -d - 1, -2*t + 4 = 2*d - 4. Suppose s + 2 = t. Is s a multiple of 3?
True
Let v = 13 - 11. Suppose 5*n + 3*w = 168, -v*w + 64 = 3*n - 37. Is n a multiple of 11?
True
Let x be 2/13 - (-102)/13. Is 135/6*x/3 a multiple of 12?
True
Suppose -102 = -43*s + 42*s. Is 6 a factor of s?
True
Suppose -4*p + 205 = 5*i, -3*i - 4*p + 48 + 67 = 0. Is i a multiple of 3?
True
Let l(v) = -v**3 + 9*v**2 - 6*v - 5. Let a be l(8). Let y = 15 - a. Suppose -2*k - j + 13 = 0, -17 = -4*k - y*j + 7. Is 7 a factor of k?
True
Suppose 16 = 4*p - 28. Let y = p - 6. Is y a multiple of 2?
False
Let k(x) = -x**2 + 6*x + 4. Let d be k(6). Suppose -d*o = -o - 24. Is ((-12)/o)/(2/(-28)) a multiple of 11?
False
Suppose 4*q - 2*h = 114, 5*q - 90 - 15 = -5*h. Is 13 a factor of q?
True
Let x(g) = -20*g**3. Let a(f) = 2*f + 6. Let v be a(-5). Let d = 3 + v. Does 10 divide x(d)?
True
Let p(j) = 6*j. Let o be p(1). Let q be ((-15)/o)/(3/(-30)). Is -1*-1*(q + 2) a multiple of 7?
False
Let u = -4 + 21. Suppose -4*f = u - 53. Is f a multiple of 7?
False
Let c(r) = 22*r**2. Is 10 a factor of c(-1)?
False
Suppose 9*g - 4*t - 14 = 4*g, -5*g - t = -9. Suppose 23 + 15 = -g*o. Let d = -13 - o. Does 6 divide d?
True
Let a(l) = 1 + 4*l**2 - 9*l**3 + 10*l**3 + l - 5. Let g be a(-3). Suppose 4*n - 2*i - 110 = 0, 3*n - g*i + 6 - 91 = 0. Is n a multiple of 13?
False
Let d(b) = 9*b + 10. Is d(5) a multiple of 14?
False
Is (-12)/30 + (-364)/(-10) a multiple of 17?
False
Suppose 4*k - 2*l + 2 = 0, -4 = 3*l - 1. Let q = 30 + k. Is q a multiple of 9?
False
Let a be (-421)/3 + 8/24. Let c = a - -254. Suppose r = 5*p + 70, 4*r - 5*p - 364 = -c. Is r a multiple of 17?
False
Let y(w) = w**2 - w + 20. Suppose 3*i = -2*i. Is 11 a factor of y(i)?
False
Let s be (68/(-16))/((-1)/40). Suppose s = 4*r - 10. Is 9 a factor of r?
True
Let l(k) = 5*k**3 + 2*k + 1. Let h be l(-1). Let w(z) = -z. Does 6 divide w(h)?
True
Let q(x) = 20*x - 12. Is q(4) a multiple of 12?
False
Let i(o) = -o**2 + 2*o - 1. Let r be i(2). Let z be (-4)/4 - r*3. Suppose z*m + m - 6 = 0. Does 2 divide m?
True
Let s(p) = p - 1. Let q be s(10). Suppose 25 = g - q. Is g a multiple of 17?
True
Let y be (-4)/4*2/1. Let r(x) = 2*x**2 + 2*x - 2. Let p be r(y). Suppose -p*m + 24 = 2*m. Does 2 divide m?
True
Let p(b) be the second derivative of b**5/20 + 7*b**4/12 - b**3/3 - 3*b**2/2 + 2*b. Does 15 divide p(-6)?
True
Let m(k) = k**2 - 5*k - 2. Let o be m(6). Let b(x) = -x**3 + 0*x**3 - 2*x + o*x**2 + 4 + 0*x**2. Does 5 divide b(3)?
False
Suppose -4*q + 36 = 3*p + 11, -4*p - 4*q = -28. Suppose 7*r - 4*i + 12 = p*r, -2*i + 10 = 2*r. Is 22 a factor of r*5*(-110)/(-25)?
True
Let a(j) = j**3 - 3*j**2 + 4*j + 1. Let x be a(3). Let k be (-2 - (0 + -1)) + 40. Let h = k - x. Does 12 divide h?
False
Let k = 44 - -31. Let j = -36 + k. Does 20 divide j?
False
Let z be (1 - 2 - -1)/2. Suppose z = -4*t + 4*l - 20, -2*l + 2 + 0 = 2*t. Is 4 a factor of 2 + t*2/(-2)?
True
Suppose -5*i + 267 = 62. Is (-2)/(-6) - i/(-3) a multiple of 6?
False
Let a(m) = -7*m - 32. Is a(-7) a multiple of 5?
False
Suppose 3*x + 0*i = -2*i + 363, 4*x - i = 484. Does 12 divide x?
False
Let z be ((-1)/(-3))/((-2)/(-18)). Suppose g - 24 = -0*g + 4*v, -v = z. Suppose o - g = -0*o. Does 5 divide o?
False
Suppose 0 = p - 2*p + 12. Is 8 a factor of 376/p + (-8)/(-12)?
True
Suppose 3*v = v - 2*m + 282, 0 = -4*v - 2*m + 570. Does 32 divide v?
False
Let u(y) be the third derivative of y**5/60 - 7*y**4/24 + y**3/2 - y**2. Suppose -4 = -5*r + 36. Is u(r) a multiple of 4?
False
Suppose 25 = 2*a + 4*m + m, 5*m - 40 = -5*a. Does 2 divide a?
False
Let c be ((-2)/3)/((-1)/3). Suppose 2*t - 2*o = 6, -c*o = -5 + 3. Suppose -18 = n - t*n. Is n a multiple of 6?
True
Suppose 0 = -i + 41 - 6. Suppose 3*v = 4*c - 63, 0*c - 5*v + 33 = c. Let d = i - c. Is d a multiple of 8?
False
Let k be 2/((-78)/(-74) + -1). Suppose -5*r - 2*n = n - 59, -3*r - n = -k. Is 13 a factor of r?
True
Let p be (0 + (-3)/6)*-198. Let y = -62 + p. Does 8 divide y?
False
Let j(m) = m**2 + 18*m + 13. Is 17 a factor of j(-26)?
True
Let n be (-1)/(-3)*(2 + 7). Suppose 0 = 2*f - 4*m - 12, -3*m - 47 = -2*f - 6*m. Suppose 5*y - n*y = f. Is y a multiple of 8?
True
Let j = 1 + 30. Does 28 divide j?
False
Let p = 13 - 7. Let m = 11 - p. Suppose 0 = o - 4*h + 3, -o - o + m*h + 3 = 0. Is 9 a factor of o?
True
Suppose -2*o + 87 = 3*t, -3*o + 4*o - 36 = -3*t. Let u = o + -25. Is 6 a factor of u?
False
Let y be (1/(-2))/((-2)/24). Suppose 2*p - 8 = -4*z, 3*z + 6 + y = 3*p. Is 8 a factor of -7*(z - (-36)/(-21))?
False
Does 8 divide (-9)/(-12) + 567/12?
True
Suppose 0 = -5*j, -2*z + 0*j = -j - 24. Is 12 a factor of z?
True
Let k be 0*2/(-4)*2. Let c(d) = -d**2 + 9*d - 10. Let n be c(7). Suppose k = n*v - 120 - 116. Is v a multiple of 15?
False
Suppose 0 = p - 3 + 11. Suppose 84 = 5*a + 14. Let x = p + a. Does 6 divide x?
True
Suppose b = o + 4*o - 786, -5*o - b + 794 = 0. Is 8 a factor of o?
False
Let b(m) = -m + 7. Let w be b(-5). Let r = w + -5. Is 5 a factor of r?
False
Let v(q) = 11*q + 8. Let c be v(11). Suppose 3*z + 2*u - c = 6*u, 0 = -3*u. Is 18 a factor of z?
False
Let j be (-1)/3 - (-32)/6. Suppose j*z + 46 - 1 = 0. Let r = z - -15. Is r a multiple of 6?
True
Let h be (-4)/(-14) - 8/28. Suppose h*a + 2*a - 50 = 0. Does 14 divide a?
False
Let t be 1/3 + 80/12. Let n(g) = -6*g + 8. Let o be n(t). Let y = o + 62. Is 14 a factor of y?
True
Suppose 0 = p + a - 15 + 5, p - a = 2. Let u(f) be the first derivative of 3*f**2/2 - 5*f + 2. Does 9 divide u(p)?
False
Let u = 9 + -3. Let m(v) = -11*v - 19. Let n(z) = -5*z - 9. Let p(r) = 4*m(r) - 9*n(r). Does 11 divide p(u)?
True
Suppose 0 = -m + 4*g - 22, -3*m - 3*g = -6 + 57. Let q be m/(-4)*(-4)/(-6). Suppose 44 - 14 = q*t. Is t a multiple of 10?
True
Does 9 divide -1 + -3 + (9 - -19)?
False
Let v(d) = -d**3 - 25*d**2 - 54*d - 22. Is 9 a factor of v(-23)?
True
Let y(u) = u + 3. Let x be y(-6). Let a = -3 - x. Suppose -2*k + k - 5*z + 14 = a, -103 = -2*k + 5*z. Does 17 divide k?
False
Suppose -p + 6 = p. Suppose 4*o + 3*j = 3303, -3*o + p*j - 795 = -3288. Is o/42 + (-2)/(-7) a multiple of 10?
True
Suppose 0 = 4*c - 5*r - 2, 7*c - 3*c + 4*r = 20. Let d = 1 - 2. Let m = c + d. Is m even?
True
Let p = -4 + 3. Let t be (-1*0/(-1))/p. Suppose -l + 2*q + 2*q - 4 = t, 0 = -2*q + 4. Is l a multiple of 4?
True
Let j be ((-8)/(-10))/(1/(-5)). Let w(q) = q**2 + 2*q - 3. Let y be w(j). Suppose -n + y*n - 36 = -m, 0 = -n + m + 9. Does 5 divide n?
False
Let n(k) = 3*k**3 - 8*k**2 + 7*k + 2. Suppose 4 = 3*j + j. Let b(c) = -c**3 + c - 1. Let d(g) = j*n(g) + 2*b(g). Is 7 a factor of d(7)?
True
Let a = -2 + 7. Suppose -w + a*t = 11 - 46, -2*w + 3*t = -35. Suppose -q + w = -9. Is 8 a factor of q?
False
Suppose a = -4*a + 20. Suppose z = a*z + 3. Let h = z - -31. Does 15 divide h?
True
Suppose x = -4*t + 3*t + 22, -3*t + 3*x = -72. Does 4 divide t?
False
Is 15 a factor of (-8)/(-3)*114/4?
False
Suppose p - 1078 = -6*p. Is 27 a factor of p?
False
Suppose 5*q - 2 = 2*a + 5, -5*q = 3*a - 27. Suppose 0 = 4*u - 0*u + 5*j - 50, q*u - 5*j = 20. Is 5 a factor of u?
True
Let o = -117 - -198. Does 20 divide o?
False
Let n(z) = z + 4. Let f be 3*(-2 + (-4)/(-6)). Let u be n(f). Suppose u = -2*m - 3*m + 30. Is m a multiple of 3?
True
Let c(w) = 2*w**2 - 2*w - 4. Does 5 divide c(4)?
True
Let m(a) = 17*a**3 + a - 1. Let v be m(1). Suppose -3*k = -4*x + 59, -x - x = k - v. Is 7 a factor of x?
False
Let f(b) = -b + 10. Let k be f(5). Suppose 0 = -5*h - 3*l + l + 119, -3*l - 109 = -k*h. Is h a multiple of 13?
False
Is 4 + (-180)/(-2) + 0 a multiple of 14?
False
Suppose 0 = 3*y - g - 122, y + y - 53 = -5*g. Let j = y - -3. Does 7 divide j?
True
Let p = 76 + -34. Is p a multiple of 7?
True
Let c = 10 + -16. Let l be (2/6)/(c/(-36)). Suppose u - 8 = l*g, 4*g = -4*u - 11 + 67. Does 