i) = i**3 - 5*i**2 - 6*i - 4. Does 19 divide m(y)?
False
Let v(l) = l**2 + 4*l - 5. Let r be v(-9). Suppose 5*m - r = -o - o, 4*m - 5*o = 32. Let w = m - -1. Is w a multiple of 3?
True
Suppose 5*j + 2*t = 18 - 6, -2*j + 9 = 5*t. Suppose -m - 2*f - 5 = 1, -2*m + 12 = -j*f. Let a = m - -2. Does 4 divide a?
True
Suppose 5*i + 23 = k - 0*i, 3*k + 3*i = -3. Let n be 6/(-3*k/(-6)). Let t(s) = s**2 + s. Is t(n) a multiple of 16?
False
Let q = 204 + -134. Is 14 a factor of q?
True
Suppose -7*g - 51 = -10*g. Is g a multiple of 3?
False
Let l be 7 - ((-2)/(-1) + -1). Suppose -f + 0*f + l = 0. Suppose 2*h + 8 = 2*o + f*h, 0 = -o + 4*h + 4. Is 4 a factor of o?
True
Let i(r) = r**2 + r - 3. Let j be i(-3). Suppose -j*v + 24 = -v. Suppose -v = -4*p + 4*d, 5*p + d = 4*d + 13. Does 2 divide p?
True
Let a(b) = -5*b - 2. Is 18 a factor of a(-4)?
True
Suppose -3*d + 567 = -6*d. Let x = -105 - d. Let z = x + -46. Does 19 divide z?
True
Suppose 4*u = -0*u. Suppose u = j - 0*j - 19. Let g = j + -13. Does 6 divide g?
True
Let r = 5 - 7. Let n be 51 + r - (-3 - -4). Suppose -5*i - z + 0*z + 63 = 0, -4*z = -5*i + n. Is i a multiple of 6?
True
Suppose 2*p + 0*p + 2*d = 0, -3*p + d + 12 = 0. Let q(t) = -t**3 + 6*t**2 - 3*t. Is 8 a factor of q(p)?
False
Let o = 103 + -70. Is 11 a factor of o?
True
Suppose -8 = -2*t + 2*w, 2*w = -t - 2*t + 37. Let n be (-12)/(-20) - (-14)/10. Let q = t - n. Is q a multiple of 3?
False
Let j be (-39)/(-15) + 2/5. Suppose -j = b - 20. Let v = b + 18. Is 16 a factor of v?
False
Let c(v) = v**3 - 3*v**2 - 5*v + 9. Does 29 divide c(6)?
True
Let m = 9 - 9. Let j = m - -26. Is 26 a factor of j?
True
Let q be -2 - ((-12)/3 - 2). Let x(g) = q*g + g**2 + 2*g + 3 - 4*g. Does 12 divide x(3)?
False
Let u(j) = 0*j**2 - 3*j**2 + 4 - 3*j + 2*j**2. Is 2 a factor of u(-3)?
True
Suppose -25 = -2*f - i, -f - 5*i + 26 = -0*i. Let y(u) = -u**2 + 12*u - 3. Let m be y(f). Let a = 14 - m. Does 4 divide a?
False
Suppose -s = -5, 2*r - 2*s + 6*s - 54 = 0. Does 6 divide r?
False
Let r(m) = m**3 + 4*m**2 - 7*m - 4. Does 4 divide r(-4)?
True
Suppose 5*m = -544 + 124. Let y(b) = -b**2 + 6. Let a be y(0). Does 4 divide m/(-8) - (-9)/a?
True
Let f(c) = c**2 - 2*c + 1. Is 16 a factor of f(5)?
True
Let a(u) = 7*u + 1. Let z(k) = -7*k - 1. Let w(i) = 3*a(i) + 4*z(i). Is w(-7) a multiple of 24?
True
Let z = 65 - -6. Is 4 a factor of z?
False
Suppose 0 = 3*r + 5*b - 23, r + 3*r - 2*b + 4 = 0. Let d(x) be the first derivative of 11*x**2 - x - 13. Is 6 a factor of d(r)?
False
Let r = -6 + 8. Suppose m + 0 + r = 4*b, b - 5*m = 10. Suppose b*q = 2*q - 66. Does 11 divide q?
True
Suppose -h + 22 = d + 1, 0 = -5*d + 4*h + 141. Is d a multiple of 5?
True
Let q = 23 - -3. Is q a multiple of 18?
False
Suppose -3*r + 160 = 16. Is r a multiple of 24?
True
Let f be 104/40 + 3/(-5). Suppose -f*u + u + 17 = 0. Does 5 divide u?
False
Suppose 2*k + 1215 = -5*p - 2199, 3*k + 5110 = -2*p. Let y be 2/(-4) + k/4. Is 10 a factor of (-2)/7 - y/21?
True
Let h(g) = -g**2 + 6*g + 2 - 4 - 1. Let a be 2/(15/6 - 2). Does 2 divide h(a)?
False
Suppose 4*j - 172 = 3*b, 4*b = 3*j + b - 126. Is 23 a factor of j?
True
Let v(q) = -q**3 - 14*q**2 - 16*q + 4. Let n = -28 - -15. Is v(n) a multiple of 13?
False
Let k be (1 - 6/3)*0. Suppose 0*a + 3*a - 66 = k. Is 16 a factor of a?
False
Suppose 4*t + 5*q = 18, -6 = 5*q - 2*q. Suppose -5*z = 8 + t. Is 7 a factor of (z - 14/(-6))*-21?
True
Suppose -2*h - 3*h + 104 = 4*v, -5*h + 102 = 2*v. Let q = h + 36. Suppose 0 = r + 3*r - q. Does 7 divide r?
True
Suppose -4*w + 396 - 1 = 5*o, 5*o = 4*w + 355. Suppose 7*l + o = 10*l. Suppose -d + l = 2. Is 8 a factor of d?
False
Let z(y) = y**2 + 2*y - 8. Is 27 a factor of z(5)?
True
Let b = 1 + -1. Suppose 5*d + k = 34, b*k = 2*k - 8. Is 6 a factor of d?
True
Suppose 5*v - 2824 = v. Is 16 a factor of v/18 + (-4)/18?
False
Let n(u) = -38*u**3 + 5*u**2 + 5*u + 7. Let j(x) = 114*x**3 - 14*x**2 - 14*x - 20. Let z(h) = 6*j(h) + 17*n(h). Is 8 a factor of z(1)?
False
Let v(c) = -c**3 - 12*c**2 - 3*c + 3. Let l be v(-12). Let z = -18 + l. Does 21 divide z?
True
Let h be 13/3 + (-2)/6. Suppose -h*o = -7 - 9. Suppose 7*c = o*c + 39. Is 13 a factor of c?
True
Let s(w) = -w - 5. Let o be s(-8). Suppose -4*h = -o*h - 39. Is h a multiple of 13?
True
Let o(q) = -4*q + 14. Is o(-16) a multiple of 7?
False
Let j(v) = v**2 + 4*v + 3. Let x(s) = -s + 3. Let w be x(7). Let p be j(w). Let n(m) = -m**3 + 3*m**2 + 3*m + 2. Is n(p) a multiple of 11?
True
Suppose 160 = 4*j - 2*c, 0 = j + 2*c + 2*c - 49. Is j a multiple of 7?
False
Let x(j) be the second derivative of j**3/3 + 5*j**2/2 + 2*j. Is 8 a factor of x(6)?
False
Suppose 3*n + 2 = 8. Does 13 divide (-2)/(-2) + 50/n?
True
Let q(g) be the first derivative of -g**5/20 + 3*g**4/4 + 13*g**3/6 - 15*g**2/2 - g - 2. Let a(p) be the first derivative of q(p). Does 7 divide a(10)?
False
Is 32/2 - (-2 - -1) a multiple of 13?
False
Let l = 22 + 110. Does 44 divide l?
True
Suppose -3*g - 7 = -5*d - 0, d - 4 = -2*g. Let n(k) = 6*k**3 - k**2 + k + 2. Let b be n(d). Suppose b = 4*o - o. Is o a multiple of 6?
False
Let h = -10 + 82. Does 12 divide h?
True
Let z(t) = -t**3 + 10*t**2 - 6*t + 7. Let h be z(9). Suppose n = -4 - h. Let o = -18 - n. Is 16 a factor of o?
False
Let z = 13 - 5. Suppose a + 5*l = 2*l + 31, z = 4*l. Does 10 divide a?
False
Suppose 0 = 4*m + 16, 3*m + 40 = i + 7*m. Is 14 a factor of i?
True
Let l(m) be the second derivative of -m**5/20 + 3*m**4/4 + 2*m**3/3 + 9*m**2/2 - 6*m. Does 15 divide l(9)?
True
Suppose 4*a - z - 132 = 2*z, 3*a - 88 = 5*z. Suppose 0*f + 2*f - a = 0. Does 13 divide f?
False
Let w = 10 - 8. Is w/9 + 750/27 a multiple of 23?
False
Let r(p) = -p**3 + 4*p**2 - 3*p - 2. Let t be r(4). Is 7 a factor of t*1/(-4)*2?
True
Suppose 4*k + 39 = 3*c, -5*c + 7*k - 4*k = -54. Suppose -i + 3 = 4, 5*i - c = -2*m. Is m a multiple of 7?
True
Let u = -82 + 178. Does 12 divide u?
True
Let g(z) = -z**2 + 7*z - 5. Let x be g(6). Let d = x - 3. Let j(h) = -7*h**3 - 2*h**2 - h - 2. Is j(d) a multiple of 19?
False
Let h(n) = -n**3 + n**2 + n + 18. Does 13 divide h(0)?
False
Let x(t) = t**3 + 5*t**2 - 11*t - 19. Is x(-6) a multiple of 3?
False
Suppose 2*b = b - 4*k + 10, -2*b + 64 = -3*k. Is b a multiple of 18?
False
Let g(u) be the second derivative of -u**5/20 - 5*u**4/12 - u**3/6 - 7*u**2/2 + 2*u. Let j = -10 + 4. Does 15 divide g(j)?
False
Let o be 0/(1 + -1 + 1). Let j be (-1 + o)*(-60)/3. Suppose 0 = f - w - 16, w - j = -f - f. Does 6 divide f?
True
Let r(b) = b**2 + 3*b + 3. Let u be r(-5). Suppose -u*f = -8*f - 75. Does 15 divide f?
True
Let o be 14/10 - (-2)/(-5). Let j(t) = 5*t + 1. Let i be j(o). Let x(y) = 4*y. Is x(i) a multiple of 12?
True
Suppose -4*r - 5*h + 1237 = -8, 0 = 5*r - h - 1578. Does 45 divide r?
True
Let b(p) = p**3 + 16*p**2 + 25*p - 14. Does 33 divide b(-13)?
False
Let v = 0 - -6. Suppose 2*s + s - v = 0. Suppose s*f = -5*w + 13 + 2, -f = w. Is 3 a factor of w?
False
Let s(k) be the second derivative of k**7/2520 + k**6/90 + 13*k**5/120 + k**4/4 + 3*k. Let x(y) be the third derivative of s(y). Is x(-9) a multiple of 11?
True
Suppose 0 = -2*k + 5*k - 12. Suppose -k = 2*s - s. Does 3 divide 10/(-1)*s/8?
False
Let c be -6*3/(-12)*2. Suppose c*b + b + 336 = 0. Let w = -52 - b. Does 11 divide w?
False
Let d be 2 + (-1)/1*-2. Let y = -2 + d. Suppose -y*a - l - 3*l + 6 = 0, -5*a + 4*l = -71. Is a a multiple of 11?
True
Suppose -2*g - 4*n + 164 = g, -2*n + 212 = 4*g. Is g a multiple of 4?
True
Suppose 0 = 5*x - 3*x - 60. Does 30 divide x?
True
Let m be -4*1*(0 + 2). Let b(v) = -v + 10. Does 9 divide b(m)?
True
Suppose 5*t - 85 = 3*m, 5*t - 70 = t + 2*m. Is t a multiple of 10?
True
Let x be 12/(6/(-4) + 1). Does 10 divide (160/x)/(4/(-6))?
True
Is (-4 + 1)/((-1)/18) a multiple of 18?
True
Suppose -116 - 108 = -4*y. Is 14 a factor of y?
True
Let z = 56 - 31. Does 5 divide z?
True
Let q = 46 + -28. Is q a multiple of 17?
False
Suppose 4*x = -x. Suppose 129 = 3*a - x*a. Let i = a + -22. Does 21 divide i?
True
Let v = 39 + -24. Does 4 divide v?
False
Let d = -7 + 6. Let w(g) = 4*g. Let y be w(d). Let c(h) = 3*h**2 + 3*h + 2. Is c(y) a multiple of 16?
False
Suppose 4*k = 5*k - 83. Does 24 divide k?
False
Let a be (-150)/4*(-672)/60. Suppose 2*k + 4*k = a. Is 16 a factor of k?
Fals