Let p(c) = -4*c + 17. Does 3 divide p(0)?
False
Let x be (16 + -19)*(-46)/(-3). Let i = -27 - x. Is 4 a factor of i?
False
Let n = -7 + 2. Let o(v) = -v**2 - 7*v - 5. Does 2 divide o(n)?
False
Let k = 5 + -5. Suppose 4*d + 2 + 30 = k. Let w(p) = p**3 + 7*p**2 - 9*p. Is 3 a factor of w(d)?
False
Suppose -d + 80 = -0*d. Does 20 divide d?
True
Let o(r) be the first derivative of -r**3/3 - 7*r**2/2 + 7*r + 2. Let m be o(-5). Suppose -3*y + m = 5. Does 4 divide y?
True
Let g(f) = 3 - 6 - 1 - 2 + 3*f**2 + 6*f - f**3. Let m be g(4). Suppose -m*i + 30 = 2*u, i - 42 = -3*u - 3*i. Is u a multiple of 13?
False
Let u(n) = -n. Let t be u(-5). Suppose t*y + 9 = -h, 0 = -7*y + 3*y - 20. Is h a multiple of 12?
False
Let k = -141 + 204. Suppose -3*s + k = -0*s. Does 14 divide s?
False
Suppose -106 = -4*k + 2*n, 3*k - 3*n - 2*n - 76 = 0. Is 27 a factor of k?
True
Let k(h) be the first derivative of h**4/2 + h**3/3 - h**2/2 + h - 2. Let i be k(1). Is 0 + (-1)/(i/(-57)) a multiple of 15?
False
Suppose -4*p = -4*h - 16, 4*p + 6 = p - 3*h. Let t(i) = i. Let f be t(p). Let r(b) = 8*b**2 - 1. Does 7 divide r(f)?
True
Suppose 4*q = 4*h - 216, 5*q + 162 = 3*h + 6*q. Let w = h - 38. Does 16 divide w?
True
Suppose -7*j = -j - 96. Let b = 32 + j. Is 12 a factor of b?
True
Let t(h) be the second derivative of 0 - 1/3*h**3 - h - 6*h**2. Does 3 divide t(-9)?
True
Let z(b) = -12*b - 6. Let u be z(-4). Suppose 0*h + 2*h + u = -2*v, -5*v - 2*h = 96. Does 13 divide (8/3)/((-2)/v)?
False
Let l be 64/40 - 2/(-5). Let b(v) = v**2 - 2 - l*v + 6*v + v**2. Does 18 divide b(-6)?
False
Let y = -7 - -3. Let b(d) = d**2 - 4*d + 1. Is 22 a factor of b(y)?
False
Does 62 divide ((-93)/2)/((-42)/280)?
True
Suppose -3*g - 20 = -7*g. Suppose 0 = -5*k + g*m + 83 + 172, -k = -4*m - 54. Is k a multiple of 10?
True
Suppose -4 - 1 = 5*n. Let f(m) = -m**3 - 5*m**2 + 5*m. Let p be f(-6). Let v = p + n. Is v a multiple of 5?
True
Let d = -4 - -1. Let c be 15/(d/(-45) - 0). Suppose 9*q = 4*q + c. Does 15 divide q?
True
Let x(o) = 2*o - 2. Let l be x(-3). Let p be (-90)/(-24) + (-2)/l. Suppose p*v - 5*c - 119 = -6, -24 = -2*v - 4*c. Is 11 a factor of v?
True
Let h be -10 + -1*0/4. Is (12/h)/(12/(-400)) a multiple of 20?
True
Let u(l) = 12*l - 1. Is u(6) a multiple of 33?
False
Suppose -m - 18 = -3*l, 2*m = m. Is l a multiple of 4?
False
Let s(r) = r**2 + 7*r - 6. Is s(-9) a multiple of 6?
True
Let j(s) = -2*s**3 + 5*s**2 + 4*s - 4. Let g(p) = -p**3 - 4*p**2 + 2*p**2 + p**2. Let x(b) = -3*g(b) + j(b). Is x(-7) a multiple of 13?
False
Let f = -8 + 32. Let s = f - 13. Is 5 a factor of s?
False
Suppose -4*l = -3*l - 120. Is l a multiple of 15?
True
Suppose 8 = 9*d - 1126. Does 9 divide d?
True
Let h(q) = -q - 5. Let u be h(-3). Let d = u - -2. Suppose -z - 3*z + 20 = d. Does 5 divide z?
True
Let q(m) be the third derivative of 11*m**4/24 + 7*m**3/6 + 2*m**2. Let n be q(6). Suppose -3*v = z - 11 - 27, -2*z - 5*v + n = 0. Is 10 a factor of z?
False
Let n(l) = 2*l**2 + 11*l + 5. Let d be n(-7). Let a = 15 - d. Is 6 a factor of (a - -3)/((-4)/6)?
True
Let n(q) = -9*q - 36. Is n(-9) a multiple of 5?
True
Let g = -21 + 87. Is 22 a factor of g?
True
Suppose -2*w - 1 - 3 = 0. Let x(o) = o**2 + o + 1. Let q(y) = 11*y**2 + 5*y + 6. Let d(a) = q(a) - 6*x(a). Is d(w) a multiple of 12?
False
Let g(d) = -4*d - 12. Is g(-13) a multiple of 11?
False
Suppose 5*m + 10 = -35. Does 4 divide 3/(-6 + 3) - m?
True
Let a(u) be the third derivative of -u**5/60 + u**4/3 - u**3/6 - u**2. Let g be -1 + (-2 - 0) + 9. Is 11 a factor of a(g)?
True
Let s = 386 - 218. Is s a multiple of 12?
True
Suppose -8*s + 450 = s. Is s a multiple of 3?
False
Let b = -4 + 4. Let d = b - -7. Does 7 divide d?
True
Suppose -3*j + 0*j - 12 = -2*z, -z + 8 = -j. Let q = z + 16. Is q a multiple of 11?
False
Let l(h) be the third derivative of h**4/8 - 25*h**3/6 + h**2. Is l(18) a multiple of 10?
False
Suppose -2*x = -0*d - 3*d + 17, 4*x = -4*d - 4. Let t(i) = 5*i**2 - 5*i + 4. Is t(d) a multiple of 17?
True
Suppose -2*x = -4*x - 12. Let f = x + 19. Is f a multiple of 10?
False
Suppose 5 = 3*t - 4*x - 20, -2*x = 4*t - 4. Suppose 5*h = 5*f - 245, 0 = f + t*h + 7 - 44. Is 10 a factor of f?
False
Suppose j - 2 = 12. Is j a multiple of 2?
True
Let b(d) be the second derivative of -2*d**3/3 - 15*d**2/2 + 3*d. Is b(-10) a multiple of 25?
True
Suppose -v + 6 = -2*j + 126, 4*v - 228 = -4*j. Does 14 divide j?
False
Is 10 a factor of (-3)/12 + (-159)/(-12)?
False
Suppose -w - w = 2*t - 190, 0 = -5*w + 2*t + 468. Does 26 divide w?
False
Suppose -4*p = 0, -500 - 60 = -5*q + 2*p. Is 10 a factor of q?
False
Is 52 a factor of 1*-3*((-16640)/24)/8?
True
Suppose 3*r + 2*p - 5*p - 42 = 0, -2*r + p = -23. Is 3 a factor of r?
True
Let y(d) be the first derivative of d**6/360 + d**5/20 - d**4/8 + 2*d**3/3 - 3. Let f(p) be the third derivative of y(p). Is f(-8) a multiple of 10?
False
Let d(r) be the third derivative of -r**4/12 - 2*r**3/3 + 3*r**2. Let h be d(-8). Is 4 a factor of (-16)/8 + 0 + h?
False
Let a(c) = c**2 + 1. Suppose -5*u = 7 + 3. Let z be a(u). Suppose z = -4*s + 21. Is 2 a factor of s?
True
Let p(u) = u**3 + 2*u**2 - 3*u. Let v be p(2). Suppose n = 4*k - 60, -2*k - n = v - 40. Is 4 a factor of k?
False
Suppose 8*l - 157 = 67. Is l a multiple of 17?
False
Suppose -3*c = -7*g + 4*g + 624, -4*g - 4*c + 872 = 0. Is 37 a factor of g?
False
Let s(n) = n**2 - 3*n - 4. Let q be s(4). Suppose 2*h + 6 = -q. Is 6 a factor of 6/(-9)*45/h?
False
Let w = -9 - -34. Suppose 5 = 2*s - w. Is s a multiple of 14?
False
Let s(w) = w**3 - 24*w**2 + 26*w + 21. Does 10 divide s(23)?
True
Let j = -2 - 12. Let p be j/2*(-3)/3. Let l = -3 + p. Is 2 a factor of l?
True
Let a be (-6)/21 - (-37)/7. Suppose a*f = -97 + 17. Let m = f + 24. Is m a multiple of 4?
True
Let j(v) = 16*v - 3. Let r(u) = -15*u + 2. Let t(s) = -4*j(s) - 5*r(s). Is 15 a factor of t(4)?
False
Let r(k) = 14*k**2 + 3*k + 4. Let n(c) = -14*c**2 - 4*c - 5. Let u(i) = 4*n(i) + 5*r(i). Suppose -5*z - 3 = -2*z. Is 15 a factor of u(z)?
True
Is 7 a factor of 82/12 - (-2)/12?
True
Is 11 a factor of (3 - 14)/(1/(-24))?
True
Let m = 9 + -5. Suppose -m*t + 440 = t. Let f = t + -61. Is 15 a factor of f?
False
Let t = -2 + 2. Suppose -2*y = -2*o, t*y - 4*o + 6 = -y. Let u = y + 7. Is u a multiple of 9?
True
Let t = 141 - 53. Is t a multiple of 34?
False
Let l(v) = -v**3 + 4*v**2 + 2*v + 3. Let p be l(3). Let h = p + 16. Does 17 divide h?
True
Let s(v) = -5*v + 9 - v + 6*v - v. Is 2 a factor of s(4)?
False
Let r(x) = 8 + 4 - 16 + 8*x. Is r(8) a multiple of 23?
False
Suppose 56 = a - 2*t + 4*t, 0 = -5*a + 5*t + 220. Is a a multiple of 12?
True
Let o(i) = i + 27. Is o(12) a multiple of 7?
False
Let w be (2/4)/(5/(-10)). Let p be w/4 - 306/(-8). Is 16 a factor of (p - 1)/(1 - 0)?
False
Let a be 16/(-20) + (-252)/10. Let o = 49 + a. Is o a multiple of 6?
False
Let s(k) = -k**3 - 11*k**2 - 12*k + 1. Is s(-10) a multiple of 7?
True
Let k = 17 + 7. Does 24 divide k?
True
Let v be -1*(-2 - (0 - 31)). Let n = -10 - v. Does 8 divide n?
False
Let g = 9 - -10. Does 19 divide g?
True
Let k(j) = 5*j**3 + j. Let y be k(1). Let c(d) = d + 24. Let u be c(0). Let o = u - y. Does 9 divide o?
True
Let p(x) = -x**3 + 8*x**2 + 10*x - 4. Let o(d) = d**3 + 4*d**2 - 8*d - 6. Let w be o(-5). Is p(w) a multiple of 5?
True
Let z = 10 + -7. Suppose -z*a + 125 + 25 = 0. Is a a multiple of 25?
True
Let h = 12 + -6. Is h a multiple of 6?
True
Suppose -68 = 22*y - 23*y. Is y a multiple of 13?
False
Suppose -5*p - 72 = -2*z, -z + 2*p = z - 72. Suppose -4*n + z = -5*n. Let f = n - -62. Is 9 a factor of f?
False
Let u(c) be the first derivative of c**5/30 + c**4/4 - c**2/2 + 2. Let s(i) be the second derivative of u(i). Does 3 divide s(-4)?
False
Let h(t) be the first derivative of t**2 + 4*t - 2. Is 11 a factor of h(6)?
False
Suppose 2*b - 15 = -5*u, -6*u - 54 = -5*b - 2*u. Suppose o - 25 = b. Let q = o + -22. Is q a multiple of 13?
True
Let k(h) = -h + 1. Let u(f) = -2*f + 2. Let g(a) = -k(a) + u(a). Let j(s) = -2*s - 4. Let p(q) = 5*g(q) - j(q). Is p(-7) a multiple of 15?
True
Suppose 1103 = 8*n - 97. Is 10 a factor of n?
True
Suppose 0 = 7*k - 5*k - 56. Is 4 a factor of k?
True
Suppose l = -0*l. Suppose l*a = -2*a + 4. Suppose -a*u = -37 + 5. Is u a multiple of 9?
