Let j(i) be the third derivative of -i**6/120 + 7*i**5/60 + i**4/24 + 2*i**3/3 + 6*i**2. Let z be j(7). Suppose 160 = -6*v + z*v. Is v a multiple of 21?
False
Let p(v) = 9*v**3 - 3*v**2 - 2*v - 4. Let l be p(3). Suppose -9*j + 5*j = 0. Suppose j = -4*t - 2*r + l, -t - 2*r = -6*t + 244. Is 25 a factor of t?
True
Let p(y) = -y**3 - y**2. Let m be p(-1). Suppose 2*f = m, 0*f = -o + 2*f + 40. Does 21 divide o?
False
Let s(x) = -x**3 + 8*x**2 - x - 9. Let n be s(4). Let g = 116 - n. Does 9 divide g?
False
Let v(g) = 58*g + 6. Is v(13) a multiple of 14?
False
Let s(q) = -q**3 + 52*q**2 - 50*q - 53. Let d be s(51). Let r = -2709 - -1092. Is r/(-22)*d/(-3) a multiple of 8?
False
Let n(u) = u**2 - 20. Let g be n(7). Let j = g - 2. Is j a multiple of 12?
False
Let p(w) be the third derivative of w**5/60 - 7*w**4/24 - 2*w**3/3 - 17*w**2. Does 14 divide p(-5)?
True
Suppose 13*t = -0*t + 7657. Does 7 divide t?
False
Let m = -468 - -698. Suppose 0 = -4*u - 2*i + m, 3*u + 3*i + 2*i = 183. Suppose -11*o + 15*o - u = 0. Does 14 divide o?
True
Let f be 244/3 - 20/60. Suppose 5*t = -4*l + 327, 3*l - 8 = t - f. Is 10 a factor of t?
False
Suppose 0 = -t - t + 6. Suppose 3*u + 3*j = -2*j + 12, -t*j = -5*u + 20. Suppose 3*p + 30 = u*p. Does 15 divide p?
True
Let l(i) = i + 6. Let t be l(-3). Suppose -t*x - 186 = -5*x - 4*c, 2*x - 3*c = 186. Is 8 a factor of x?
False
Is -4 + 491 + ((-4)/(-2) - -4) a multiple of 17?
True
Suppose 0 = -8*k - 26 - 158. Let f = -19 - k. Is (4/5)/(f/100) a multiple of 20?
True
Let b = -124 - -398. Is b a multiple of 5?
False
Suppose 29 - 64 = 5*g. Let y(u) = 3 + u**2 - 5 + 5*u + 0. Is 6 a factor of y(g)?
True
Let g(r) be the third derivative of 3*r**5/10 - r**4/8 + 5*r**3/6 - 11*r**2. Does 37 divide g(2)?
False
Let d(z) = -z**3 - 4*z**2 + 11*z + 62. Is 23 a factor of d(-9)?
True
Let t = -1 + 3. Suppose 0 = 3*d - 5*f - 0*f - 12, 5*d - 20 = f. Suppose 116 = 4*i - t*j, d*j = -j. Is 12 a factor of i?
False
Let b = 41 + -29. Let w(x) = 3*x - 3. Let t be w(b). Let y = t + -2. Is y a multiple of 9?
False
Let b(j) = 3*j + 19. Let t be b(-6). Suppose -t = r - 25. Does 6 divide r?
True
Suppose -2*k + 5*n + 1763 = 4*n, 3*n = -2*k + 1751. Is k a multiple of 83?
False
Let u(r) = 2*r - 1. Let j be u(0). Let p be (-2 - j) + (-4 - 1). Is 84/10*(-15)/p a multiple of 13?
False
Suppose -621 = i - 1453. Is i a multiple of 13?
True
Let u be (-530)/(-25) - 1/5. Let n = u - 22. Is 14 a factor of n + (32 - 6/3)?
False
Let b be 0 + -4*(-12)/16. Suppose 3*j = -2*v + 70, -b*v - 5 = -2*j + 20. Is -20*(-3 - j/(-8)) a multiple of 2?
True
Is 44 a factor of ((-210)/18 + -3)*-3*10?
True
Let a(m) = m**3 + 11*m**2 - m - 11. Let t = -5 + -6. Let d be a(t). Suppose d*i - 65 = -5*i. Is 7 a factor of i?
False
Suppose 0 = 7*q - 7 - 14. Suppose 6*p - p + 5*t = 195, 4*p + q*t = 161. Does 22 divide p?
True
Let i = -61 + 59. Does 3 divide (3/4)/(1/(-4))*i?
True
Suppose 0 = 2*y + 2*i - 3364, -151*y + 4*i + 5074 = -148*y. Is y a multiple of 33?
False
Suppose 2124 = 5*o - p + 4*p, -4*o - p + 1695 = 0. Does 3 divide o?
True
Suppose -15*c - 10*c + 5800 = 0. Is 58 a factor of c?
True
Let y(b) = 2*b**2 + 4*b**2 - 1 - 2 - 5*b**3 + 1. Let m(g) = g**3 - g**2 + 1. Let o(f) = -6*m(f) - y(f). Is o(-3) a multiple of 10?
False
Let x(o) = o**2 + 16*o - 62. Let p be x(-19). Let f(b) = -4*b - 2. Let h(g) = -5*g - 1. Let s(w) = -3*f(w) + 4*h(w). Is 14 a factor of s(p)?
True
Let x(i) = -4*i**3 - 20*i**2 + 19*i - 33. Let o(c) = -11*c**3 - 60*c**2 + 56*c - 99. Let n(q) = 3*o(q) - 8*x(q). Is n(-21) a multiple of 9?
True
Suppose -5*w = -8 - 2. Suppose -309 = -3*u - 5*v, -4*u + 445 = -w*v + 59. Does 25 divide u?
False
Let s be -4 + 4/(8/10). Let p(j) = 215*j - 5. Does 42 divide p(s)?
True
Let h be 1*54*13/39. Suppose -h = 5*d - 14*d. Does 2 divide d?
True
Suppose 0 = -5*z + 25 + 30. Suppose z*w - 208 = 3*w. Is 6 a factor of w?
False
Let v(j) = -j**2 + 2. Let u(t) = 3*t**2 + t - 7. Let f(q) = -6*u(q) - 21*v(q). Does 15 divide f(5)?
True
Let m be 1356 - (-5 - 0)/(-1). Suppose 5*h = -2*h + m. Does 48 divide h?
False
Let y(k) = 5*k**3 + 3*k**2 - 2*k - 4. Let t be y(2). Let q = 176 - t. Is q a multiple of 11?
True
Let s = -2003 - -3043. Does 83 divide s?
False
Suppose -12 = -3*k + 6*k. Is 6 a factor of (-2 + 2/3)/(k/36)?
True
Suppose -4*f = 16, -c + 5*f - 16 = 4. Let g = 59 + c. Is g a multiple of 7?
False
Let o(t) = -32*t**3 - 2*t**2 - 17. Is o(-3) a multiple of 24?
False
Suppose 576*w - 581*w + 3250 = 0. Is 49 a factor of w?
False
Suppose -13 = -y - 127. Let f be y/5*(-3 + -2). Is ((-2)/(-2))/(2/f) a multiple of 19?
True
Let r be (-2)/5 + 378/70. Suppose -r*t + f = 20 - 120, 5*t - 90 = -f. Is 11 a factor of t?
False
Let y(f) = -f + 22. Let n be y(6). Suppose 6*l - 7*l = -n. Is 10 a factor of l?
False
Is 28 a factor of 6/(0 - -6)*153?
False
Let n be 9 - 3/(9/6). Suppose -4*s - n = 1. Is 24 a factor of (-369)/(-15) - s/5?
False
Let d = 257 + 295. Does 24 divide d?
True
Suppose 0 = -2*c - 2, -5*b - 3*c = -2*b - 33. Suppose 4*d = -4*a - b, -36 = 2*a - 3*d - d. Let n(h) = -h**2 - 11*h + 3. Does 27 divide n(a)?
True
Let t be (-60)/(-8)*(-48)/(-15). Let g = t - 22. Is 33/g + (-6)/(-12) a multiple of 5?
False
Suppose -4*r + 8*r - 4*t - 36 = 0, 0 = 3*r - 2*t - 30. Suppose -2*k - r = -3*k. Suppose 0 = 2*h - k - 4. Does 8 divide h?
True
Let g(d) = d**3 + 7*d**2 - d - 4. Let f be g(-7). Suppose -2*i + f*i = 0. Does 12 divide (-37)/(1/(i + -1))?
False
Let k = 206 + -70. Suppose 5*x - 366 = -k. Does 23 divide x?
True
Let j(p) = -p**2 - 6*p - 9. Let c be j(-5). Let i(t) = -15*t. Does 10 divide i(c)?
True
Suppose 37*c - 36*c - 469 = 0. Is c a multiple of 67?
True
Let y = -1389 + 1949. Is 16 a factor of y?
True
Let u(l) = 2*l - 1. Suppose 2*k = 2, -2*d - 4*k + 2*k = -10. Suppose 0 = d*w - 16, -2*v - v - w + 28 = 0. Is 9 a factor of u(v)?
False
Suppose -267*u - 140 = -269*u. Does 10 divide u?
True
Is 13 a factor of 15*(1 - 54/(-10))?
False
Let y be (-7)/(2 + -3) + 1. Suppose y*u - 20 = 3*u. Suppose 3*r + u*q + 24 = 111, -4*r + q = -116. Does 11 divide r?
False
Suppose 3*u - 31 = -3*n + 2*u, -2*u + 53 = 5*n. Let m(x) = 2*x - 18. Let q be m(n). Suppose s - 91 = -q*s. Is 13 a factor of s?
True
Is (-4550)/20*(12/(-15))/1 a multiple of 13?
True
Let h(f) = 28*f + 112. Is 12 a factor of h(18)?
False
Let x(d) = -122*d + 10. Let o be x(-8). Suppose h - 1454 = -3*n, 4*n + 4*h = 2*n + o. Suppose -3 + n = 4*u. Is u a multiple of 40?
True
Suppose 18*a - 17*a = -2*j + 1544, a + 5*j - 1550 = 0. Is a a multiple of 70?
True
Let y(o) = 4*o**2 + 2*o + 3. Let k be (-1 - -1)/4 + -2. Is y(k) a multiple of 15?
True
Let f(p) = 21*p - 5. Let d be f(4). Suppose 0 = -5*q + d + 91. Let g = 7 + q. Is g a multiple of 13?
False
Suppose g - 4*g + 69 = 0. Let y = 34 - g. Does 5 divide y?
False
Suppose 0 = 2*d - 8, -2*h - 2*d + 2 = -2. Let g(n) = n**2 - n + 2. Let w be g(h). Is 6 a factor of (w/10)/((-1)/(-30))?
True
Suppose 4*v + 5*x + 0 = -1, 2 = -2*x. Let a(l) = 147*l**2 - 1. Is 33 a factor of a(v)?
False
Is (270/8 + (-72)/(-36))*4 a multiple of 11?
True
Let i(h) = 2*h + 24. Let z be i(-10). Suppose 0 = 2*n - z*k - 54, 2*n - 3*n + 3*k = -28. Is n a multiple of 5?
True
Suppose -5*u + 1668 = 2*b + 549, -4*b + 2256 = 4*u. Does 19 divide b?
False
Is (4/10)/(1/80) a multiple of 11?
False
Let c be 95/((7/(-6))/7*-2). Is (-38)/c + 6124/30 a multiple of 34?
True
Let o = 31 + 33. Suppose 0 = 5*k - o + 4. Let h = 2 + k. Is h a multiple of 7?
True
Let m = -23 + 37. Let h(v) = -3*v + 12. Let z be h(0). Suppose r - 2*k - z = 0, -3*k = 4*r - 5*r + m. Does 4 divide r?
True
Let a(c) = -12*c + 201. Does 24 divide a(0)?
False
Let b be (-2 - -2)/(-8 + 7). Let f be -3 + 27 + 0 - b. Does 19 divide (-12)/f*(-75 - 1)?
True
Let c = 792 + -627. Is 32 a factor of c?
False
Let x = -20 - -20. Suppose 0*y - 2*y + 204 = x. Suppose 4*c - 2*c = y. Does 11 divide c?
False
Let g = 6 + -1. Suppose 0*l - 5*t - 55 = -g*l, l = 3*t + 21. Suppose 3*m - l*m = -63. Is 17 a factor of m?
False
Suppose 0 = 3*m + 9, 0*u + 3*m + 13 = -4*u. Let h(k) = -81*k + 2. Does 12 divide h(u)?
False
Let h = 58 - -792. Suppose -y - h = -6*y. Let j = y + -102. Is 17 a factor of j?
True
Suppose -5*i = -0*i - 15. Suppose -i*c + 3 = 2*v - 177, -v + 88 = 2*c. Is 16 a factor of v?
True
Let c be (0 - 5)/(2/(-2)). Let g