s 65 a factor of z?
False
Let d(g) = 8*g**3 + 6*g**2 - 4*g + 9. Is d(4) a multiple of 65?
False
Let a = -3 - -17. Let o be (-77)/(-3) + a/42. Suppose 19 = b - o. Is b a multiple of 10?
False
Let u = 843 - 812. Is u a multiple of 31?
True
Let o(k) = k**3 - 9*k**2 + k - 8. Let r be o(9). Suppose -144 - r = 5*z. Let t = -14 - z. Is 5 a factor of t?
True
Let k(y) = -23*y - 15. Let d be k(-9). Suppose 6*i - d = 2*i. Is 16 a factor of i?
True
Let g be (-8)/2*(-4)/((-64)/180). Let p = 59 + g. Does 14 divide p?
True
Let t(z) = 30*z + 32*z - 6*z**2 + z**3 - 59*z - 8. Is t(7) a multiple of 7?
False
Suppose -t - z = 2*t + 22, -2*z = 8. Let k(u) = u**3 + 9*u**2 + 11*u - 3. Is 39 a factor of k(t)?
True
Let n(p) = 3 + 10*p - 3*p**2 + 10*p - 14*p + 4*p**2. Does 5 divide n(-8)?
False
Let j(v) = -10*v**3 + v**2 + 2*v + 1. Let r be j(-1). Suppose c - r = -4*c. Let k = c - -14. Is k a multiple of 4?
True
Suppose -4*j + 6936 = 5*g - 7*g, g + 5202 = 3*j. Does 77 divide j?
False
Suppose k - 2*j = -j + 5, -14 = -4*k - 2*j. Suppose 2*g = -6 - k, 4*g = 5*b - 545. Does 35 divide b?
True
Suppose 10*b = 4*b + 732. Is 24 a factor of b?
False
Suppose -b - 4 = -5*b. Let k = 9 + b. Let s = k + -4. Is 3 a factor of s?
True
Let q(c) = -2*c**2 + c + 25. Let n be q(0). Does 13 divide (-2058)/(-10) - (-5 + 120/n)?
False
Suppose -38*b + 2084 = -36*b. Is 20 a factor of b?
False
Let f = -17 - -22. Suppose -y - f*i + 30 = 0, -4*y + 4*i - 5 = -y. Suppose p + 76 = y*p. Is 8 a factor of p?
False
Let z(y) = y**2 - 2*y + 20. Let o be (-214)/10 + 6/15. Let f = 21 + o. Is 16 a factor of z(f)?
False
Suppose -4*y = 3*p + 134, 0*y + y + 27 = -4*p. Let t = y - -31. Let d = 2 - t. Does 3 divide d?
True
Suppose -280 = 9*j - 4*j. Let y = 102 + j. Let a = 91 - y. Is 21 a factor of a?
False
Does 8 divide (-8)/(-2*6/18)?
False
Is (85 + -3)/(2/3) a multiple of 9?
False
Let k(j) = 0 + 6*j + 0. Suppose -4*t - 30 = -3*h - t, -t - 2 = 0. Does 16 divide k(h)?
True
Suppose 4*a = -5*h + 5056, -h - 9*a + 5*a + 1008 = 0. Does 23 divide h?
True
Let m be 0/((-3 + 2)*-1). Suppose 5*h - 65 - 30 = m. Suppose 2*x = -4*s + 12, 0*x = 3*s - x - h. Is 3 a factor of s?
False
Let s be (-6 - 5) + (2 - 1). Let f = s - -10. Suppose f = -2*c + c - 4*l + 27, 4*c = -4*l + 84. Is 14 a factor of c?
False
Let p(n) = -4*n**2 - 132*n - 54. Does 3 divide p(-30)?
True
Suppose v - 15 = 3*x, 0 = -3*v - 5*x + 15 - 40. Let l = v - 4. Is 21 a factor of (-258)/l + (-3)/2?
True
Suppose 2*h = 75 - 31. Is 11 a factor of h?
True
Let a(w) = -w**3 + 14*w**2 - 3*w + 20. Is a(9) a multiple of 4?
False
Let u(k) = 25*k**2 - 3*k + 7. Let j be u(-3). Let c = j + -157. Let d = c + -57. Is d a multiple of 5?
False
Let o(a) = a**3 + 14*a**2 + 2. Let q be 213/(-15) - 2/(-10). Let h be o(q). Suppose -r + 16 = -h. Does 13 divide r?
False
Let q(l) = 11*l**2 + 6*l + 19. Is q(-5) a multiple of 12?
True
Does 11 divide (22 - 0)*(-12)/(-24)?
True
Let v(m) = m**2 + 34*m + 128. Is 4 a factor of v(-35)?
False
Let l(t) = -6*t**3 + 35*t**2 - 15. Let k(o) = -13*o**3 + 72*o**2 - o - 30. Let j(i) = 4*k(i) - 9*l(i). Is 17 a factor of j(14)?
False
Let x = 0 + 1. Let o = x - -3. Suppose o*a - 2*a - 22 = 0. Is 4 a factor of a?
False
Is 82 a factor of (-10834)/(-12) + 5/30 - 1?
True
Suppose 3*n - 2*n = u, 20 = 2*n + 3*u. Suppose n = -2*z + 3*z. Suppose 2*o = -2*l + 26, -17 = 5*o - z*l - 55. Is 8 a factor of o?
False
Let n(k) = k**3 + 3*k**2 - 6*k - 4. Let c be n(-4). Suppose c*p = -2*q + 6, 5*q - 3*p = -0*q + 28. Let u(t) = t**2 + 4. Does 7 divide u(q)?
False
Let u = 27 + -63. Let n = u + 163. Is 9 a factor of n?
False
Let s(n) = n**2 + 20*n + 40. Let i be s(-18). Suppose 362 = 5*b + o, 0 = -2*b - 0*o + i*o + 158. Does 28 divide b?
False
Let p be (-2)/(-7) - 57/(-21). Let f be 0 + 1*195*1. Suppose p*w - 5*l - 117 = 0, 5*w + 2*l = 3*l + f. Is w a multiple of 13?
True
Is 880/6 + -2 + (-48)/72 a multiple of 16?
True
Let w(g) be the third derivative of -1/3*g**3 + 0*g + 1/24*g**4 + 0 + 7*g**2. Is 4 a factor of w(10)?
True
Let m(l) be the second derivative of l**7/840 - 7*l**6/360 + l**4/3 + l**3/6 - 3*l. Let h(r) be the second derivative of m(r). Is h(7) a multiple of 8?
True
Is 0 - 10*(-77 - 6/3) a multiple of 79?
True
Suppose 0 = 6*y - 8*y + 44. Suppose -h - 2*j + 95 - y = 0, -h - j + 76 = 0. Is 10 a factor of h?
False
Suppose 3*z - 4*w - 86 = -6, 2*w + 110 = 5*z. Let g be (-434)/(-8) + (-5)/z. Suppose -3*s + 57 = -g. Is 8 a factor of s?
False
Suppose 0*h - 4*h = -28. Suppose -4*w = h - 15. Does 14 divide 224/2*1/w?
True
Does 12 divide -3 - (4 + (2 - 98))?
False
Let f(m) = m - 1. Let q(v) = 6*v**2 + 4*v - 5. Let i(u) = 5*f(u) - q(u). Let o be i(1). Does 11 divide (-3)/((-9)/o)*-12?
False
Let w = 1032 + -1035. Let m(a) be the third derivative of a**5/30 + a**4/6 - a**3/6 - a**2. Is m(w) a multiple of 5?
True
Let q = 2422 + -1342. Does 12 divide q?
True
Let k be 20/6 + -1 - 1/3. Suppose 2*g + 5*u - 37 = -0*g, -k*g + 44 = -2*u. Does 7 divide g?
True
Let m(t) = -8*t - 1. Let a be m(-2). Let y be 1599/a - (-6)/15. Suppose -2*v - 7 = -y. Is v a multiple of 25?
True
Let h(o) = 2*o + 0 + 0 + 1 - 9. Let n be h(4). Suppose 0 = -n*u + 6*u - 270. Does 15 divide u?
True
Suppose 0*g - 297 = -9*g. Suppose 3*i + 28 = -11. Let y = g + i. Is 7 a factor of y?
False
Suppose 237 = 134*s - 131*s. Is s a multiple of 8?
False
Suppose 130 = -5*w - 210. Let g = -38 - w. Is 10 a factor of g?
True
Let o = -14 - -11. Is ((-114)/8)/o*4 a multiple of 19?
True
Let g(f) = -f**2 + 5*f + 10. Let v be g(7). Let m be (-6)/(-9) + v/6. Suppose -16 = -4*w, -40 = -4*j - m*j - w. Is 6 a factor of j?
False
Suppose -112 = 3*k + 2*t, -5*t + 2*t + 19 = -k. Let c = k - -38. Is c a multiple of 2?
True
Suppose -4*l = 4*y - 9*l + 380, 2*y = -2*l - 208. Is 20 a factor of 2 - (y - 2/(-1))?
True
Let s(y) be the second derivative of -y**5/20 + 2*y**4/3 + 7*y**3/6 - 5*y**2 + 3*y. Let k be s(9). Does 2 divide (11/22)/((-2)/k)?
False
Suppose 0 = 4*j, 3*o + 0 = -j - 6. Let i = -28 + 59. Does 19 divide (1 + o)*(-7 - i)?
True
Let d = -1269 - -2089. Does 10 divide d?
True
Let n be (-36)/(-15)*10/3. Suppose 8*v - 4*v = n. Suppose -2*g = 2*p - 78, -3*p = -v*g - 94 - 23. Does 15 divide p?
False
Let w = -21 - -132. Suppose 218 + 98 = -4*z. Let g = w + z. Is 13 a factor of g?
False
Let p(x) = 9*x. Let a(b) be the third derivative of 7*b**4/6 + 4*b**2. Let w(s) = -2*a(s) + 7*p(s). Is 14 a factor of w(5)?
False
Is 28 a factor of (3 - -32)*(-168)/(-70)?
True
Let s be (-6)/((-86)/(-352) + 9/(-36)). Suppose -z = -12*z + s. Is 12 a factor of z?
True
Suppose -10*s + 77 = -43. Let h(j) = -5*j - 7. Let b be h(-6). Let a = b - s. Is 3 a factor of a?
False
Suppose -1940 - 12652 = -16*w. Is 38 a factor of w?
True
Let o = -275 - -506. Suppose 4*v = 7*v + o. Let p = v + 116. Is p a multiple of 29?
False
Let k be -1 - (0 + -4) - 7. Let s be k/(10/15*-3). Suppose -s*f + 255 = f. Is f a multiple of 14?
False
Suppose -3*u = -4*d + 16 + 3, 2*u - 2 = -d. Let a(z) = 3*z - 6. Let i be a(d). Suppose -9*r = -i*r - 228. Is 17 a factor of r?
False
Let z = 86 + 44. Is 13 a factor of z?
True
Is 24 a factor of (-429)/110 + 2/(-20) - -373?
False
Let r be (-7588)/20 + 6/15. Let a = -214 - r. Suppose -5*g + 2*d = -a - 8, 3*g - 4*d = 115. Is 29 a factor of g?
False
Let c(k) = 65*k + 280. Is c(6) a multiple of 10?
True
Let s(p) = -p**2 + 6*p - 5. Let v be s(3). Suppose -v*o = -7*o + 1389. Is o a multiple of 60?
False
Let d(z) = -10*z - 10. Suppose f - 14 = -h + 5*f, 32 = -2*h - 4*f. Does 25 divide d(h)?
True
Let s(a) = 2*a + 7*a**2 + 6 + a**3 + 2 + 2. Let w be s(-7). Is 23 a factor of w*((-54)/4 + 2)?
True
Suppose -194 = 11*c - 1283. Is 33 a factor of c?
True
Suppose -3 - 15 = 3*v. Let r be (88/6)/((-2)/v). Suppose w = -w + r. Does 11 divide w?
True
Let l(p) = 106*p**2 - 1. Let f(a) = -7*a + 13. Let v be f(2). Is 35 a factor of l(v)?
True
Suppose p = 4*q - 10147, -16692 = -5*q + p - 4009. Is q a multiple of 8?
True
Let y(u) = u**3 + 2*u**2 - 7*u + 13. Does 14 divide y(4)?
False
Let o = -27 + 13. Suppose -2*p + 0*p = 12. Let n = p - o. Does 4 divide n?
True
Let w = 12 - 21. Let k be ((-61)/(-2))/(w/(-18)). Let o = -21 + k. Is 26 a factor of o?
False
Let o(r) = -r**2 + r - 4. Let z be o(-3). Let q = 46 + z. Suppose -2*v + 16 = -q. Is v a multiple of 4?
False
Let g = 671 - 3