et s(l) be the third derivative of l**5/60 + l**4/6 + 2*l**2. Let v be s(-4). Does 3 divide 3 - v*(-3)/9?
True
Let r be (-5)/(-6) + (-3)/(-18). Is (r/2)/((-1)/(-10)) a multiple of 4?
False
Suppose -3*g + 62 = 2*h, 2*h = 3*g + 17 + 21. Does 9 divide h?
False
Suppose 4*i + 3*a - 132 = 2*i, 0 = -3*a - 12. Is i a multiple of 18?
True
Let j(d) = d**3 - 7*d**2 + 2*d + 1. Let o be j(7). Suppose o = 2*b + b. Let v(s) = s**3 - 4*s**2 + s - 2. Does 12 divide v(b)?
False
Let a(o) = -3*o + 6. Is a(-8) a multiple of 13?
False
Suppose 5*q = 2 + 18. Suppose 36 = q*c + 3*h + h, 32 = 2*c - 5*h. Is 4 a factor of c?
False
Suppose 0 = -74*k + 78*k - 112. Does 28 divide k?
True
Let v(n) = n**3 + 9*n**2 + 5*n - 5. Let l be 60/(-6)*4/5. Is 13 a factor of v(l)?
False
Let j(h) = h**3 + 9*h**2 - 9*h + 3. Let a(w) = 6*w**3 + 44*w**2 - 45*w + 15. Let x(k) = -2*a(k) + 11*j(k). Let z be x(10). Let t = z - 6. Does 5 divide t?
False
Let i(l) = 6*l - 2. Let a be i(3). Suppose -2*p - 81 = -5*p. Let v = p - a. Is 11 a factor of v?
True
Let i be -12*(-6)/16*2. Let w = i + -6. Suppose -w*d + 0*o + 69 = 3*o, 3*d - 3*o = 93. Is 11 a factor of d?
False
Suppose q - 12 = -q. Let y be 1/2 + 13/(-2). Is (-88)/y*q/4 a multiple of 13?
False
Suppose -3*i + 3*z = -204, 4*i - 198 = 5*z + 70. Does 9 divide i?
True
Does 11 divide 330/(-2)*(2 - (-28)/(-12))?
True
Is 12 a factor of (85/(-30) - -3) + (-143)/(-6)?
True
Let z = 163 - 91. Suppose 22 - z = -5*v. Does 5 divide v?
True
Let a = 154 - 59. Suppose -4*c + p = 2*p - a, -5*c = -3*p - 123. Does 12 divide c?
True
Let l = 100 + -2. Let d = l + -20. Does 24 divide d?
False
Suppose 7*d - 2*d = -195. Let k = 16 + d. Let m = k - -33. Is 5 a factor of m?
True
Suppose 2*g - 7 = 2*x - g, 3*x - 4*g + 8 = 0. Let u(t) = 9*t**2 + 4*t - 2. Let p be u(4). Suppose -p - 10 = -x*i. Is 15 a factor of i?
False
Let j(c) = 6*c - 6. Is j(4) a multiple of 15?
False
Let z(g) = g + 6*g + 3 - 4 - 2. Suppose -j + 2 + 2 = 0. Is z(j) a multiple of 11?
False
Let j(c) = -3*c**2 - 16*c - 20. Let f(h) = h**2 + 8*h + 10. Let p(x) = -5*f(x) - 2*j(x). Does 19 divide p(12)?
True
Let d = 144 + -114. Does 5 divide d?
True
Let j(s) = -s. Let p be j(0). Suppose 3*f + 15 = 3*y, 2*y + p*f - 19 = 5*f. Does 2 divide y?
True
Let u(o) = -3*o - 1. Let d be u(-4). Let q be (-4)/6*984/(-16). Let a = q - d. Is 15 a factor of a?
True
Let n(j) = -5*j + 58*j**2 - 1 + 9*j + 0*j - 2*j. Suppose i = -8*y + 5*y, 5*i = 2*y - 17. Is n(y) a multiple of 21?
False
Suppose 3*k + 2 + 13 = 0, 3*k = 3*r - 282. Suppose -3*p + 25 = -r. Does 13 divide p?
False
Let n(b) = b**3 - 4*b**2 - 4*b - 1. Let o be n(5). Suppose -j + 3*t = 3, 3*t + o + 2 = 4*j. Is 9 a factor of ((-15)/j + 0)*-5?
False
Suppose 0 = -i - i - 86. Suppose -4*n + 300 = 4*g, 0 = -g + 3 - 4. Let b = i + n. Does 11 divide b?
True
Suppose 1 = -2*r + 5*z - 0, 5*z = 15. Is 7 a factor of r?
True
Let j = 203 - 172. Is j a multiple of 10?
False
Let q = -9 - -16. Suppose -4*m + 16 = 0, m = a - 0*m - q. Is a a multiple of 6?
False
Is (-14)/(-1)*(-15 - -17) a multiple of 13?
False
Let q = 102 + -75. Is q a multiple of 13?
False
Suppose 2*p - 2*w = 166, 3 + 2 = 5*w. Suppose -2*z = z - p. Let k = z + 2. Does 17 divide k?
False
Let l(s) = -s**3 + s**2 - 2*s + 3. Let u be l(2). Let r(p) = -7*p + 3 - 1 + 0*p - 6. Is r(u) a multiple of 9?
False
Let g(d) = -2*d**3 + d**2 - d - 2. Let l be g(2). Let a be 444/14 + 4/14. Let x = l + a. Is 7 a factor of x?
False
Let u(g) = -91*g**3 - g**2. Is u(-1) a multiple of 9?
True
Suppose 2*p + 2*s - 290 = 0, 0*s = -5*s + 5. Suppose 2*z = -z + p. Is z a multiple of 24?
True
Let j(g) be the third derivative of g**5/15 + g**4/8 - g**3/6 - 2*g**2. Suppose 0 = 2*f - 5*o + 31, 2*f + 3*o + 0*o = 9. Is j(f) a multiple of 9?
False
Suppose 5*a - 20 = 40. Suppose 0 = -3*t + 5*s - 0 + 37, 4*s - 10 = -2*t. Let y = a - t. Is 3 a factor of y?
True
Let p(x) = x + 0*x + x - 3 + 4*x. Does 12 divide p(5)?
False
Let v be (-2)/5 - (-1992)/(-20). Let c = 154 + v. Is c a multiple of 19?
False
Suppose 2*w - w + 39 = 0. Is 4/(-2) - -1 - w a multiple of 19?
True
Let f be ((-188)/5)/(5/25). Let d = f - -273. Suppose -4*p - d = -5*i, -3*i - 3*p = -14 - 37. Is 17 a factor of i?
True
Suppose 4*y = 8 + 8. Suppose y*a - 41 = 87. Does 10 divide a?
False
Let k(y) = y - 22. Let v(s) = -2*s + 23. Let h(n) = -3*k(n) - 2*v(n). Does 16 divide h(0)?
False
Suppose -3*k = -0*k - 210. Is k a multiple of 15?
False
Is (-9)/27 - (-278)/6 a multiple of 23?
True
Let y(m) = -16*m - 1. Let j be y(-1). Let b = j - 3. Is b a multiple of 6?
True
Let d be 2/(-3) - 8/(-3). Suppose 5*g = d*g + 132. Is g a multiple of 22?
True
Let g(q) = q**2 + 4*q + 1. Let s be g(-4). Suppose 0 = 3*f - w + 2, 4*f - 3*w + w = 0. Let x = s - f. Is x a multiple of 3?
True
Suppose -u - 4*u - 5*j = -405, -5*u + 408 = 2*j. Does 13 divide u?
False
Let q = 4 - -1. Suppose 0 = m - q - 24. Is 24 a factor of m?
False
Let c(o) = o**3 + 8*o**2 - 5. Let l be c(-8). Let d = -3 - l. Suppose -6*n + 4*b + 116 = -d*n, -n - 5*b = -41. Is 12 a factor of n?
False
Suppose 165 + 10 = 5*b. Is 12 a factor of b?
False
Let y(m) = 3*m**2 - 3*m - 1. Does 12 divide y(-2)?
False
Let o be (-9)/(-2)*4/3. Suppose w = 22 - o. Is 8 a factor of w?
True
Let f(b) = 11*b**3 - 2*b**2 + 2. Is f(1) even?
False
Suppose -3*j + 4*j = 32. Is 16 a factor of j?
True
Let a(q) = 6*q - 11. Is 25 a factor of a(6)?
True
Suppose -3*u = -5*o + 2*o + 12, -3*o - 4*u + 33 = 0. Suppose -27 = 2*k - o. Does 14 divide (2 - 7)*28/k?
True
Is 29 a factor of 8*(-3 - 3/(24/(-82)))?
True
Let f = 75 - -13. Does 11 divide f?
True
Suppose -a - 5*u = -174, -4*u + 79 + 92 = a. Does 11 divide a?
False
Suppose 5*d - 60 = 3*v, 2*d + 4*v = v + 24. Let c = -3 + d. Suppose 2*n - 2*p - 9 = -p, n + c = 5*p. Is 3 a factor of n?
True
Let p(t) = -26*t - 1 + 3 - 3. Let f be p(-1). Let x = -11 + f. Does 7 divide x?
True
Let x be (-40)/(-6) - 2/3. Let s(z) = 2*z - 6. Let g be s(x). Suppose g*f - 9 = 3*f. Is f a multiple of 3?
True
Let k(f) = 12*f + 6. Let v(l) = -4*l - 2. Let o be 12/5*(-30)/9. Let x(y) = o*v(y) - 3*k(y). Does 4 divide x(-4)?
False
Suppose 2*c - 132 = -2*v, 2*c + 3*c - 5 = 0. Is v a multiple of 13?
True
Let j(y) = -y**3 - 4*y**2 + 14*y + 5. Is 18 a factor of j(-7)?
True
Is 1/(-4)*-5*3*60 a multiple of 45?
True
Let z be (1 + 10)*(-1)/(-1). Let m = 26 + -1. Let d = m - z. Is d a multiple of 9?
False
Suppose -3*g = -y + 1, -y - 17 = 3*g - 6. Let a = y - -17. Is a a multiple of 4?
True
Let s be 12 + -9 - (-1 - -4). Suppose -h - 5*b + 20 = 0, -5*h + h + 3*b + 126 = s. Does 15 divide h?
True
Let t = 28 + -19. Suppose 0 = -o + 3 + t. Is o a multiple of 12?
True
Let s = -35 + 59. Is 3 a factor of s?
True
Let a = -18 + 84. Does 16 divide a?
False
Suppose -2*n = -7 - 5. Suppose 0 = w - 5*w - 52. Let q = n - w. Is q a multiple of 13?
False
Let a be (1 - -1) + -1 + 0. Let u = a + -1. Suppose 25 = 5*t - 0*l + 3*l, -t - 2*l + 12 = u. Does 2 divide t?
True
Let v(c) = c**3 + c**2 + 4. Let q be v(0). Is 19 a factor of 1*38/q*4?
True
Let h(l) = 7*l**2 - 3*l - 11. Does 8 divide h(4)?
False
Let b(i) = 5*i - 1. Let l be b(1). Suppose 0 = l*x - 22 - 78. Is x a multiple of 16?
False
Let z be (-9 - (-3 + 2)) + 0. Let q(t) = -t**2 - 9*t + 6. Let s be q(z). Suppose 3*l - s - 31 = 0. Is 5 a factor of l?
True
Suppose 3*b = c + 95 + 102, 4*c - 187 = -3*b. Does 5 divide b?
True
Let t(h) = h**3 + 16*h**2 + 14*h + 17. Is t(-15) a multiple of 8?
True
Let j(c) = 7*c**3 - 13*c**2 + 8*c + 5. Let u(q) = -3*q**3 + 6*q**2 - 4*q - 3. Let v(k) = -2*j(k) - 5*u(k). Is 7 a factor of v(4)?
True
Let q = 26 + -6. Is 8 a factor of q?
False
Suppose 113 = 4*r - 3. Is 11 a factor of r?
False
Let w = 1 - -11. Suppose 4*x - 13 + 5 = 0. Let r = w - x. Does 9 divide r?
False
Let n(l) = 3*l**3 + 4*l**2 + 3*l - 2. Let i be n(-2). Does 4 divide 162/72*i/(-3)?
True
Suppose -4*j - 2*a - 37 + 507 = 0, -2*a + 110 = j. Is 6 a factor of j?
True
Let y(r) = 3*r**2 - 2*r - 2. Is 13 a factor of y(4)?
False
Suppose 0*i - 136 = -4*i. Is 17 a factor of i?
True
Suppose 2*b - 3*b - 4*n = -22, 0 = -4*b - 4*n + 40. Let m = -2 + 5. Suppose -2*r + m*s + 20 + 4 = 0, b = -r - 3*s. Is 3 a factor of r?
True
Suppose 21 - 1 = 4*r. Suppose 0 = -0*j + r*j - 60. Is j a multiple of 7?
False
Suppose 8*k = 6*k + 10. Is 2 - k/((-5)/2) a multiple of 2?
Tr