r) be the third derivative of -r**6/60 - r**5/30 + r**4/12 - r**3/3 + 2*r**2. Is i(a) a multiple of 14?
True
Suppose -v + 3*j - 15 = -2*v, 3*j - 15 = -3*v. Let u(w) = -w**3 + w + 15. Let p be u(v). Let c = -9 + p. Is c a multiple of 3?
True
Let j be ((-10)/(-6))/(2/6). Suppose j*r - 68 = 3*r. Does 17 divide r?
True
Let x(p) = -p**3 - 4*p**2 - 4*p + 1. Let z be (-27)/6 + (-1)/2. Does 23 divide x(z)?
True
Let c = 4 - 8. Is 7 a factor of c/(-30) - 2504/(-120)?
True
Does 16 divide (-2)/11 + (-664)/(-22)?
False
Let r be 6/21 - 626/(-14). Suppose 2*z - r = -7. Does 19 divide z?
True
Let u(o) = -2*o**3 - 2*o**2 - o + 2. Let w(t) = 5*t**3 + 7*t**2 + 4*t - 7. Let p(m) = -7*u(m) - 2*w(m). Is p(3) a multiple of 35?
True
Suppose -2*o - 74 = -2*j, 3*o + o + 115 = 3*j. Is j a multiple of 7?
False
Suppose 0*b - 5 = 2*b - q, 0 = q - 3. Let c be b/(32/(-10) - -3). Suppose -w = -2*w + 5*t + 36, 0 = -2*w + c*t + 57. Is w a multiple of 21?
True
Suppose 5*h - 9*h = 16. Is 11 a factor of -10*(-2 - h/(-1))?
False
Let g(y) = y - 48. Let v be g(0). Let x = 86 + v. Does 25 divide x?
False
Let s(t) = t**2 - 3*t - 3. Let w be s(-2). Suppose -f + 3 = -w. Is f a multiple of 6?
False
Let m(x) = 13*x - 5. Does 11 divide m(2)?
False
Let j(g) = -g. Let z be j(-5). Suppose 0 = 9*o - 4*o - z*f, 4*o = f + 12. Suppose -3*p + 4*p + o*i = -18, -5*p - 10 = 4*i. Is p a multiple of 2?
True
Let r(v) = -v**3 - 7*v**2 + 7. Let x be r(-7). Let b(n) = n**2 + 7*n - 9. Let y be b(x). Let z = -44 + y. Is 18 a factor of z?
False
Suppose 6*q - 3*q = 0. Suppose q = 2*v - 3*s + 2*s - 34, 4*s + 46 = 2*v. Let t = 37 - v. Is 22 a factor of t?
True
Does 12 divide 910/75 - ((-8)/(-15))/4?
True
Let s(i) = 71*i**2 + i + 1. Let d be s(-1). Let r = -31 + d. Is 12 a factor of r?
False
Let i = 146 - 86. Suppose -3*b + 144 = -i. Does 17 divide b?
True
Let x be 6/(-33) + 114/22. Suppose -q + s = 1, x*q - s + 2 = 3*s. Suppose 6*o - q*c = o + 76, 3*c + 37 = 2*o. Does 14 divide o?
True
Suppose -5*a + 4*y = 80, -4*a + 6*a + y = -19. Is 4 a factor of (-66)/a - 6/4?
True
Let k = -30 + -66. Suppose r - 22 = -2*q + 3*r, 35 = 5*q - r. Is 16 a factor of (1 + -3)/(q/k)?
True
Let j(b) = b**3 - 9*b**2 + 9*b + 10. Let n be j(8). Is ((-3)/2)/(n/(-48)) a multiple of 2?
True
Let z(p) = 3*p + 16. Does 3 divide z(0)?
False
Is 190/(0 + 5) + 4 a multiple of 11?
False
Let a be (8/6)/(6/9). Suppose 4*g = a*g + 100. Is g a multiple of 21?
False
Suppose 8 = -n - 2*p, -9 - 7 = 5*n - 2*p. Let q = 7 + n. Suppose -69 = -q*y - 0*y. Is y a multiple of 10?
False
Let f be 6/(-4) + (-25)/(-10). Suppose f = u - 3. Suppose p + u = 37. Does 18 divide p?
False
Let r = -9 + 14. Suppose r*w = -5*f - 75, -w + f + f = 6. Is 23 a factor of w/(-54) + (-410)/(-18)?
True
Let i = 431 - 214. Does 9 divide i?
False
Let y(v) = -v**2 + 6*v. Let k be y(5). Suppose 3*f - 2*h = 68, -k*f - 5*h + 67 = -38. Is (-60)/(-33) + 4/f a multiple of 2?
True
Let y(d) = d**3 - 5*d**2 - 5*d - 1. Let r be y(5). Let a = r + 36. Is a a multiple of 5?
True
Is 21 a factor of 226/4 - (-5)/10?
False
Let y be (-116)/3 + (-2)/6. Let h = y - -69. Is 15 a factor of h?
True
Suppose 0 = 5*l + 132 + 108. Let z = l - -77. Is 23 a factor of z?
False
Let d = -17 - -29. Is 2 a factor of d?
True
Let k = -27 + 49. Is 22 a factor of k?
True
Let q = 9 + 1. Let d(g) = g**2 - 6*g - 5. Does 8 divide d(q)?
False
Suppose 0 = 7*x + 4*x - 3531. Does 12 divide x?
False
Suppose -2*p + 5*l = l - 12, 3*p - 2*l = 10. Suppose p*q = -2*s + 8, 3*s = -7*q + 2*q + 14. Suppose -o + 14 = -0*o + s*f, 5*o = -4*f + 26. Is o even?
True
Suppose -3*x = -0 + 54. Let q = -7 - x. Does 6 divide q?
False
Suppose 3*o + 13 = -5*a, -o - 5*a = -10*a - 29. Suppose -o*z = -352 - 4. Is 27 a factor of z?
False
Let r = 9 + -15. Suppose -2*t = -4*t + 4. Let l = t - r. Does 3 divide l?
False
Suppose 0 = 5*a + 98 - 308. Suppose 3*r - 6 = a. Is r a multiple of 16?
True
Suppose -j + 6*j + 175 = 0. Let r = -10 - j. Is 25 a factor of r?
True
Let m(c) = 3*c + 36. Does 18 divide m(-6)?
True
Let a = -13 - -15. Suppose 0 = -a*m - 2*m + 96. Is m a multiple of 8?
True
Let s(d) = d**3 + 4*d**2 - 7*d + 1. Let z be (0 - 2)*(-20)/(-8). Is 11 a factor of s(z)?
True
Let z be 2 + 1 - (-11 + 0). Suppose z = -4*m - 2*p + 106, -4*p = 2*m - 40. Does 12 divide m?
True
Let p = -8 + 100. Let j = p - 56. Does 12 divide j?
True
Let h(p) = -p**3 + p**2 - 2*p. Let q(k) = -3*k**3 + 4*k**2 - 5*k - 1. Let t(a) = -11*h(a) + 4*q(a). Is 7 a factor of t(3)?
False
Let v = 30 + -9. Is 7 a factor of v?
True
Let r be 10/(-3)*6/(-2). Let v be 3/(-15) + 2/r. Suppose v*n = 5*n - 70. Is n a multiple of 6?
False
Suppose 122 = 2*t - 2*h, -t + 71 = -0*h + h. Is t a multiple of 28?
False
Let w be -7*(-5)/(35/(-6)). Let q(c) = c**2 + 5*c + 7. Does 11 divide q(w)?
False
Let l(h) = -176*h - 17. Let s(p) = 59*p + 6. Let g(o) = -6*l(o) - 17*s(o). Does 14 divide g(1)?
False
Suppose 0 = 8*j - 6*j - 120. Is j a multiple of 15?
True
Does 3 divide (7/(-14))/((-2)/12)?
True
Is (8/(-28) + (-1)/21)*-48 a multiple of 3?
False
Is (-1296)/(-120) + (-1)/(-5) a multiple of 2?
False
Let r be -2 - -1 - -1 - 82. Let t = 139 + r. Does 6 divide (0 - 2) + t/3?
False
Let n(r) = 37*r**3 - r**2 + 6*r - 1. Let o(t) = -t. Let h(s) = n(s) + 5*o(s). Suppose 0*w - 2*w = -2. Is h(w) a multiple of 18?
True
Is (30 - 0)/((-6)/(-4)) a multiple of 20?
True
Let t be 4/14 - (-54)/7. Let j(u) = 2*u**2 + u**3 - 8*u**2 + 5*u - 4 - 16*u. Is 14 a factor of j(t)?
False
Let j(g) = g**2 - 2*g - 1. Let k be j(3). Suppose k*w - 6 = -b, -2 + 4 = 3*w - 2*b. Suppose -w*c = 3 - 15. Is c even?
True
Let n be (0 - -1)*(-2 - -2). Suppose 5*m = 4*k - 40, -k - 4*m + 2 + 8 = n. Is k a multiple of 10?
True
Is 11 a factor of 2 + 61 + 9/3?
True
Suppose -l = l. Let t be 1*(2 - 3) + 6. Suppose 0 = -2*q - l*j + j + 29, 13 = -q - t*j. Is 10 a factor of q?
False
Let g = -15 - -21. Suppose m + 226 = g*m - v, -5*m + 4*v = -214. Does 23 divide m?
True
Let j(p) = 5 + 7*p - 6*p**2 - 5*p**3 - 1 + 4*p**3. Let a be j(-7). Does 5 divide (2/a)/((-2)/(-52))?
False
Let x = -5 - -7. Suppose -5*q + 378 - 78 = 0. Suppose -4*n - 5*k + q = -0*n, 0 = -x*n + k + 16. Is 10 a factor of n?
True
Let m = 40 + -13. Does 9 divide m?
True
Let n(f) = -f**3 + 4*f**2 + 7*f. Let d be n(-5). Suppose 3*h + 5*z - d = 0, 1 = -z + 3. Does 20 divide h?
True
Suppose 0 = 4*j - 3*j - 2. Suppose 0*p + j*t = 5*p - 180, -180 = -5*p + 4*t. Is 19 a factor of p?
False
Is 25 a factor of ((-16)/24)/(2/(-225))?
True
Let t(j) = -j**2 - 3*j - 1. Let u be t(5). Let p = u - -57. Is 11 a factor of p?
False
Let q be 3/(-15) + 178/(-10). Let a = 6 - q. Is 6 a factor of a?
True
Let g be (-7 + -46)*(0 - 2). Suppose 4*v + g = 5*u, u + u + v - 32 = 0. Does 9 divide u?
True
Let b be 4/18 - (-1330)/90. Suppose b = 2*q + 7. Suppose 127 = 5*r - q*i, 3*r + 5*i - i = 57. Does 23 divide r?
True
Let d = -2 + 4. Suppose p = 3, -4*z - 2*p + 54 = -d*z. Does 12 divide z?
True
Suppose 0*v + 4*v = 208. Is v a multiple of 26?
True
Let a(o) = o. Let m be a(2). Suppose 3*z = u - 14, -2*u = -u + 2*z + 11. Does 4 divide -3 + 6 - m/u?
False
Let u(k) be the first derivative of k**4/4 + 3*k**3 + 2*k**2 - 4*k - 27. Suppose 0 = -0*z + z + 5*h + 33, -15 = 3*h. Does 14 divide u(z)?
True
Suppose s = 4 + 24. Is s a multiple of 28?
True
Let s(l) = -l**2 - 5*l + 3. Let z be s(-5). Suppose -159 = -2*g - g + 3*o, g = z*o + 51. Is g a multiple of 19?
False
Is 10 a factor of 3 + (-4 - -5)*27?
True
Let g(v) = 3*v**2 + 11*v + 2. Is g(-8) a multiple of 33?
False
Let a(m) = -4*m + 10. Is 3 a factor of a(0)?
False
Let v = -4 - -4. Is 3 a factor of 1*(0 - (-3 + v))?
True
Let c(p) = -8*p + 1. Let j be c(1). Let t(u) = -3*u + 9. Is t(j) a multiple of 15?
True
Suppose 2*i - 8 = i. Is i a multiple of 8?
True
Suppose 4*s = 5*h - 30, -h + 18 = 2*h - s. Is 3/h + (-25)/(-2) a multiple of 13?
True
Let i(s) = s**2 + 2*s + 2. Let l be i(-2). Suppose -13 = -4*h + 59. Suppose 4*d = l*d + h. Does 3 divide d?
True
Let n be -3 - (-7 - (-1 - -1)). Suppose n*i - 60 = -12. Is 6 a factor of i?
True
Let w(q) = 5*q**2 - 1. Let p be w(1). Suppose o - p*o = -9. Suppose 0 = -5*x + 20, 2*u - o*x + 31 = 3*u. Is u a multiple of 10?
False
Does 10 divide 688/14 + 2/(-14)?
False
Let r(n) = 2*n**2 + 4*n. Suppose 6*k = 3*k + 6. Suppose 0 = t + 3*x + k*x - 2, -5*t + 5*x = 20. Doe