t y be z(-3). Suppose y = -3*v + 249. Does 16 divide v?
False
Let h be 1484/10 + 12/20. Let s = h + -95. Is 27 a factor of s?
True
Let y(z) be the third derivative of z**8/20160 + z**7/560 + 7*z**6/360 - z**5/20 - 3*z**2. Let c(b) be the third derivative of y(b). Is c(-10) a multiple of 12?
True
Let q(n) = 6*n**2 + 2*n + 1. Let o be q(2). Let j = 57 - o. Is j a multiple of 5?
False
Let c(k) = 28*k**2 + k - 1. Let d be c(1). Let a = 41 - d. Is 6 a factor of a?
False
Suppose 5 = 5*g - 10. Does 4 divide 1 + (0 - g)*-3?
False
Suppose -5*c + 2*w + 90 = 0, -4*w - 75 = -5*c + w. Is c a multiple of 14?
False
Let p be (-14)/(-4) - (-1)/(-2). Let j be 6/(-21) + 46/14. Let n = j + p. Is 3 a factor of n?
True
Suppose -h + 5*v + 28 = 0, -3*h = -0*h - 5*v - 74. Let j = -10 + h. Is j a multiple of 13?
True
Suppose -44*l + 339 = -41*l. Is 18 a factor of l?
False
Let r be (6 - (-1)/(-1))/1. Suppose v = -r*q + 41, -5 = -4*q - v + 28. Suppose 0 = -s + 15 + q. Is 8 a factor of s?
False
Let j(o) = 8*o. Let v be j(-1). Let t be ((-4)/v)/((-2)/(-12)). Suppose 3*c + 5*q = 44, t = 5*c - 5*q - 17. Does 4 divide c?
True
Suppose -51 = 3*s + 5*v, -5*s + 0*v = v + 63. Let d = 0 - s. Is d a multiple of 12?
True
Let y = 13 + 20. Does 15 divide y?
False
Suppose 3*o - 4*v - 44 = 0, 5*v = 5*o - 52 - 13. Let c be (-2)/o + (-278)/8. Let t = c + 50. Is t a multiple of 8?
False
Suppose -3*o + 472 = -6*l + 2*l, -324 = -2*o - 2*l. Is 40 a factor of o?
True
Let v = -85 - -160. Does 26 divide v?
False
Suppose -3*r - 18 = 4*c, -16 = 2*r + 3*r + 2*c. Let z be 9/6 - (-1)/r. Does 12 divide (z/2)/((-6)/(-144))?
True
Let f = 12 + -22. Let d = -2 - f. Suppose -p + 5 + d = 0. Is p a multiple of 13?
True
Let x(q) = -q**2 + 6*q - 3. Let l be x(2). Suppose l*m = 18 + 12. Is m a multiple of 2?
True
Let x = 640 + -382. Is x a multiple of 21?
False
Let j(h) = -h**3 - h**2 + 3*h - 5. Is j(-4) a multiple of 8?
False
Let m = 16 - 8. Let v = m + -3. Is v a multiple of 2?
False
Let m be (-4)/(-2)*-1 + 6. Is 16 a factor of (-3)/6 - (-66)/m?
True
Suppose -4*f + 4*s = -852, -1 = 4*s - 13. Suppose -5*v = -f + 36. Does 11 divide v?
False
Let h(r) = -r**2 - 11*r - 10. Let c be h(-10). Suppose 4*m - 119 = -c*m - q, -m = 4*q - 11. Does 14 divide m?
False
Let q be (0/(-1))/(-2) + 10. Suppose -5*f + q + 41 = 4*t, -3*t + f + 24 = 0. Is t a multiple of 3?
True
Is 5 a factor of (-1)/2 + (-99)/(-6)?
False
Let f(a) = a**3 - 3*a**2 - a + 3. Let b = -19 - -27. Let s = b + -4. Does 10 divide f(s)?
False
Let h(m) = m**2 + 5*m + 6. Let o be h(-11). Suppose -f = 2*f - o. Is 12 a factor of f?
True
Let o = -195 + 447. Is 28 a factor of o?
True
Suppose 0 = u + 18 + 53. Is (2 - 1)/((-1)/u) a multiple of 19?
False
Let j(p) = 14*p**2 - 2*p + 2. Let l be j(2). Is (-12)/l - 245/(-9) a multiple of 18?
False
Does 15 divide (-2*1/8)/((-9)/2196)?
False
Suppose 8*p = 7*p + 37. Does 6 divide p?
False
Let g(z) be the third derivative of z**5/60 + z**4/24 + 2*z**3/3 + 4*z**2. Let x be (-2)/(-6) + (-19)/3. Does 9 divide g(x)?
False
Let v(n) = n**2 - n - 4. Let m(x) = -x**3 - 7*x**2 + 7*x - 3. Let r be m(-8). Suppose -r = -2*u + 3. Is 4 a factor of v(u)?
True
Let u = -6 + 4. Let h be 1/(u/30*-3). Let z = h + 5. Is z a multiple of 4?
False
Suppose -2*z + 22 = -50. Is z a multiple of 18?
True
Let l(p) = -1. Let s(w) = -4*w + 9. Let f(u) = -3*l(u) + s(u). Is f(-10) a multiple of 13?
True
Let j be ((-10)/8)/(1/(-4)). Let p = 14 - j. Is p a multiple of 6?
False
Suppose 0 = -4*w + 2*w + 3*i - 321, -2*w + i = 315. Is 14 a factor of w/(-13) + 1*2?
True
Let u be ((-420)/8)/7*2. Let g(n) = -n**3 - 14*n**2 + 13*n - 22. Does 4 divide g(u)?
True
Suppose 2*q = 3*q - 4*c + 25, 4*c = 20. Let z(n) = 2 + 0 + 0*n - 8*n. Is 18 a factor of z(q)?
False
Does 3 divide 10*5/(2 - -3)?
False
Let d(g) = 2*g**2 - 7*g + 2. Suppose 6*c - 24 = 2*c. Let p be d(c). Suppose -12 = -2*j + 3*b, 4*b + p = 5*j - 12. Is j a multiple of 7?
False
Let i = -22 - -53. Does 17 divide i?
False
Let l be 1/((-4)/(-3) - 1). Suppose -3*d - 2*h + 151 = 0, -4*d - l*h = 2*h - 199. Is 17 a factor of d?
True
Suppose -2*c - 5*f + 53 = 4, -5*c - 2*f + 70 = 0. Suppose 3*q + o - c = 14, 3*q - 4*o = 46. Does 10 divide q?
True
Suppose 0*w = -4*i - 3*w + 148, 84 = 2*i - w. Suppose -d + i = d. Does 20 divide d?
True
Let d(z) = 2*z + 4 - z + 3. Is 12 a factor of d(5)?
True
Suppose -2*o + 5 + 17 = 0. Is 11 a factor of o?
True
Let i be 75/6 + (-2)/4. Let n = 18 - i. Does 6 divide n?
True
Suppose 4*n - 255 = -5*s, -2*n + 30 + 104 = -4*s. Is 13 a factor of n?
True
Let y(n) be the first derivative of n**6/120 + n**5/6 + n**4/4 + 3*n**3/2 - n**2/2 + 1. Let t(x) be the second derivative of y(x). Is 14 a factor of t(-9)?
False
Suppose 0 = -5*u - 2*x + 6, -4*x + 9 = -3*u - x. Suppose -3*s - w + 10 = u, 0 = -2*s - 5*w - 3 - 12. Is s a multiple of 5?
True
Let f(r) = -r + 70. Let b be f(0). Suppose b = 2*l - 6. Is l a multiple of 31?
False
Suppose -5*s + 4*m + 17 = -2, -4*m = 4. Does 3 divide s?
True
Let l(c) = -c**3 + 5*c**2 + 8*c - 9. Let f = -6 - -10. Suppose 0 = -f*y - 2*x + 14, -y + x = -x - 16. Is l(y) a multiple of 3?
True
Let x = 13 - -8. Is x a multiple of 21?
True
Suppose -7*u - 4*p = -3*u - 716, u - 181 = -3*p. Is u a multiple of 12?
False
Suppose -3*n + 31 = -26. Let j = -13 + n. Let f = 0 + j. Is 4 a factor of f?
False
Let r be (-8)/10*5/(-2). Suppose -8 = -r*c + c. Is c a multiple of 4?
True
Suppose -88 = 3*t - 493. Suppose 0*b = b + t. Is (6/(-5))/(3/b) a multiple of 20?
False
Let g = -10 - -18. Let c(j) = -j + 11. Does 3 divide c(g)?
True
Suppose -4*w + 3 - 19 = 0. Let t be (-102)/(-27) - w/18. Suppose 2*y - i = -0*y + 18, t*i + 9 = y. Is 5 a factor of y?
False
Let g be 19/7 + 4/14. Does 6 divide (-4 + g)/(1/(-6))?
True
Suppose 0*q + 4*q = z + 118, 2*q = -z + 56. Does 24 divide q?
False
Let r(x) = 7*x**3 + 3*x**2 - x - 11. Let j(a) = a**3 + a**2 + a - 1. Let y(u) = 6*j(u) - r(u). Does 31 divide y(-4)?
False
Suppose 33*i = 36*i - 90. Is 5 a factor of i?
True
Let v(j) = -j**3 + 6*j**2 + 2*j + 3. Let h be v(5). Suppose 2*z + 3*q + 2*q - 37 = 0, 3*z = -4*q + h. Let x = 42 - z. Is 15 a factor of x?
False
Let o be (-5 - (4 + -8)) + -44. Let q be (-1292)/(-18) + (-2)/(-9). Let d = q + o. Is 8 a factor of d?
False
Let g(x) = -36*x**3 - x**2 - 2*x. Does 8 divide g(-1)?
False
Suppose -201 = 5*g - 556. Is 22 a factor of g?
False
Let u(i) = 3*i**2 - 20*i + 20. Is 5 a factor of u(10)?
True
Suppose l = 5*l - 20. Let z be 17/l + (-2)/5. Suppose -q = -z*q + 40. Does 9 divide q?
False
Let d(b) = -7*b + 4. Let c be d(6). Is (-1 + -1)*c/4 a multiple of 8?
False
Let b(i) = -8*i + 2. Let w(x) be the third derivative of -2*x**4/3 + 5*x**3/6 - 4*x**2. Let c(a) = -5*b(a) + 2*w(a). Does 8 divide c(1)?
True
Let x = 167 + -123. Does 11 divide x?
True
Suppose 0*w = 4*w - 20. Suppose w*c + 11 = j, 5*c = 4*j - 2 - 42. Is j a multiple of 11?
True
Suppose 5*r = -n - 0*r, 0 = 3*n + 3*r. Let a = 1 + n. Is 11 - (a - (-4)/(-2)) a multiple of 5?
False
Let f be ((-76)/(-12))/((-3)/(-18)). Suppose -2*k + 52 = 4*o, k - 2*o - f = -7*o. Is k a multiple of 6?
True
Let p(m) = -m**2 - 8*m - 7. Let a be p(-5). Let b(c) = 4*c - 6. Does 13 divide b(a)?
True
Let x(m) = 19*m**2 - 5*m - 1. Does 32 divide x(3)?
False
Let y be ((-1)/(-2))/(4/16). Suppose -268 = y*c - 6*c. Is 11 a factor of c?
False
Let q(i) = -4*i**2 - 1. Let h be q(-2). Let m = h - -28. Is 8 a factor of m?
False
Let f(b) = 4*b**2 - 17*b - 1. Does 23 divide f(-4)?
False
Let q(k) = -k**2 - 7*k - 3. Let j be q(-6). Let b be 4/(-10)*(-195)/j. Let g = b + -15. Is g a multiple of 11?
True
Suppose -4*c + 301 = k - 274, -5*k = 5. Is c a multiple of 9?
True
Let s be 2/3 + (-20)/(-15). Is s*-7*2/(-4) a multiple of 2?
False
Let i(c) be the first derivative of c**5/60 + 3*c**4/8 + 4*c**3/3 + 3*c**2/2 + 2. Let m(d) be the second derivative of i(d). Is m(-9) a multiple of 8?
True
Let y = -24 - -44. Is y a multiple of 20?
True
Let j = -240 - -470. Is j a multiple of 21?
False
Let k(m) = 2*m**3 - 5*m**2 + 4*m + 2. Let s be k(5). Suppose -2*u + 3*u - s = -5*f, -3*u + 21 = f. Is 8 a factor of f?
False
Let p = 376 + -216. Does 59 divide p?
False
Let r(a) = -a**3 - 2*a + 1. Let j be r(1). Is 8 a factor of 228/(2 - j) + 2?
False
Let n be 8/(3/(-3)*-2). Suppose 2*a = n*a - 30. Does 5 divide a?
True
Let a