s) be the third derivative of s**5/60 + 3*s**4/8 - 13*s**3/6 - s**2. Let f be w(-10). Is (-2)/(f*(-6)/(-405)) a multiple of 12?
False
Let h(v) = 5*v**2 - 17*v - 104. Does 22 divide h(-8)?
True
Let a(b) = -4*b + 268. Is a(-25) a multiple of 23?
True
Let l(u) = u**3 + 10*u**2 - u - 6. Let i be l(-10). Suppose 0 = -3*d + d - 4*a - 188, -i*d - 5*a - 376 = 0. Let f = d + 182. Is f a multiple of 22?
True
Let s(y) = y**2 + y + 11. Suppose -4*d + 15 = 67. Does 18 divide s(d)?
False
Let t be 326/(-4) - (-4)/8. Let a = t - -120. Let p = a + -5. Is p a multiple of 12?
False
Let d(t) = -t**3 - 5*t**2 - 4*t - 6. Let r be d(-5). Does 2 divide (2 - 20/5)*r/(-4)?
False
Suppose 5*x - 178 = 2*u, 0*x + 3*x = 5*u + 122. Is 20/(-8)*x/(-5) a multiple of 17?
True
Suppose 4*t - 5*q = 581, -5*t + t - 2*q + 574 = 0. Is t a multiple of 4?
True
Let z(r) = -r**3 - 14*r**2 - 5. Let k be z(-14). Let y = k - -23. Is 5 a factor of y?
False
Let b be (9/12)/((-1)/(-4)). Suppose -b*x - 110 = -x. Let j = x + 101. Is j a multiple of 13?
False
Let c = 2 - -3. Suppose 57 + 53 = c*u. Suppose 4*v - u = 2*v. Is v a multiple of 3?
False
Let b = -706 + 767. Is 5 a factor of b?
False
Suppose 0 = k - 4*k + 231. Let b = 27 + k. Is 8 a factor of b?
True
Suppose -27 + 359 = 3*l + 2*x, 10 = -5*x. Is l a multiple of 6?
False
Suppose -h = x - 69, -4*h - 4*x + 9*x + 303 = 0. Let m = h - 12. Does 5 divide m?
True
Let f(q) = -q - 1. Let d be f(-4). Suppose 2*x + 152 = -2*x + 4*w, -3*x - 84 = d*w. Let m = x - -53. Is 10 a factor of m?
True
Suppose -2*v - 10 = v + 4*h, -2*v + 5*h = 45. Does 4 divide (v/45)/((-2)/36)?
True
Let f be (-5)/(-20) + 34/(-8). Let b be (1/3)/(f/1788). Let h = -59 - b. Is h a multiple of 18?
True
Suppose -770 = -6*r + 28. Is r a multiple of 5?
False
Suppose 0*i = 2*i - 42. Let d = i - 23. Does 31 divide d - 0 - (-89)/1?
False
Suppose -3*h = 3*v - 0*h + 3, 2*v = -h + 2. Suppose 8*g - v*g - 80 = 0. Does 6 divide g?
False
Suppose 0 = 3*k + 3*v - 21, -3*k + 13 + 12 = 2*v. Does 2 divide k?
False
Let m(d) = -2*d**2 - 8*d + 138. Is m(0) a multiple of 21?
False
Let b = -393 + 400. Let y = 6 - 2. Suppose -b - 17 = -y*f. Is 5 a factor of f?
False
Let n be 2*3/9 - 6/9. Suppose -5*u + j + 398 = n, 6*j - 6 = 3*j. Does 20 divide u?
True
Let d = 536 - -291. Is d a multiple of 42?
False
Let n(k) = 8*k - 16. Let i be ((-14)/3)/(12/(-18)). Is n(i) a multiple of 11?
False
Suppose 70*z - 1776 = 64*z. Does 37 divide z?
True
Suppose 8*g + 232 = 4*g. Let b = g - -150. Does 23 divide b?
True
Let r(g) = -g. Let t be r(-2). Suppose t*b = s - 66, 3*b = -4*s + 6*b + 259. Suppose 0 = 5*u - 3*u - s. Does 7 divide u?
False
Suppose -2 = -o + 8. Suppose -8*u + o*u = 56. Suppose j - 4*j + u = 5*y, -76 = -4*j + 3*y. Does 8 divide j?
True
Suppose 3*q - 4 = z, 3*z = 6*z - 3*q. Let j(r) = -10*r**z + 28*r**2 - 10*r**2 - r**3 + 3 + 10*r. Does 4 divide j(9)?
True
Let f be (-8)/12 - 22/(-6). Let q = 0 + f. Suppose -2*m = -q*m + 49. Does 13 divide m?
False
Let k = 30 - 32. Does 33 divide (12 - 1)*(k + 5)?
True
Suppose 2*l + 104 = 6*l. Suppose -3*c - l = 1. Is 2 a factor of (-114)/(-27) + 2/c?
True
Suppose 4*z - 689 - 39 = 0. Let b(o) = 17*o + 7. Let u be b(7). Let f = z - u. Does 11 divide f?
False
Let c = 4 + -2. Let h(u) = -6*u**3 - 2*u + 7*u**3 + 0*u**3 + 7*u**2 - c. Does 4 divide h(-7)?
True
Let v = 3685 + -2210. Does 64 divide v?
False
Let k = 172 + -167. Suppose k*d - 2111 = -466. Does 47 divide d?
True
Let r = -1694 - -2844. Is 50 a factor of r?
True
Let q be (-15)/(-2) + (-1)/2. Suppose 5*f + q = 5*v + 2, 3*f = 4*v - 7. Suppose 2*t = -3*x + 25, v*t + 5*x = -0*t + 55. Does 10 divide t?
True
Let z(k) = k**2 + 0*k - 57*k**3 + 29 - 31 + 2*k. Let l be z(1). Let j = 99 + l. Does 12 divide j?
False
Let a be (9/(-4))/(-2 + 54/24). Let w be (12/8)/(3/(-4)). Is 2 a factor of a/((15/w)/5)?
True
Suppose 0 = 24*f - 12*f - 912. Is f a multiple of 19?
True
Suppose 1 + 1 = -2*x + 2*p, 0 = x + 4*p + 6. Does 7 divide (11/((-110)/8))/(x/140)?
True
Let y = 1148 + -532. Does 77 divide y?
True
Let x(a) = -a**2 + 5*a + 6. Let r be x(6). Suppose r*j = -3*j + o + 316, -4*j - 3*o = -417. Does 26 divide j?
False
Let p(m) = m**3 - m**2 - 1. Let j(z) = 3*z**3 - z**2 - 5*z + 7. Let o(i) = j(i) + 2*p(i). Is o(3) a multiple of 14?
True
Let l = 3089 - 2154. Is 85 a factor of l?
True
Suppose 5*v = -j - 0*v + 10, -v - 7 = 2*j. Is ((-3)/5)/(370/75 + j) a multiple of 3?
True
Suppose -27871 + 799 = -8*o. Is o a multiple of 18?
True
Let g(c) = 23*c**2 + 19*c**2 - c**3 + c - 35*c**2 + 3 - 7*c. Is g(6) even?
False
Let i be 70/(12/4 + -1). Let y = i + 26. Does 12 divide y?
False
Does 17 divide (-42)/(-4)*(-540)/(-63)?
False
Suppose -6 = 53*a - 55*a. Does 12 divide (-36)/(a/(-2) + 1)?
True
Let r = -12 + 17. Suppose 5*a - r*x - 175 = 0, -4*x - 12 = 5*a - 160. Is a a multiple of 5?
False
Suppose l = 1 + 2. Suppose 0 = 8*g - l*g - 415. Does 37 divide g?
False
Let b(k) = -2 - 3 - 1 - 5*k + 2*k. Let v be b(-10). Suppose -10 = -2*t + v. Is 10 a factor of t?
False
Let c be (-2)/((-2)/(-1))*-5. Let t(g) = -4*g + 32 - 32 - c*g. Does 20 divide t(-3)?
False
Is 10 a factor of 32880/54 - 170/(-153)?
True
Let x(c) = -3*c**2 - 27*c - 8. Let i be x(-8). Suppose 2*q + 24 = 5*q + 3*h, 2*q + 5*h - 4 = 0. Suppose 12*d - i*d = -q. Is d a multiple of 2?
False
Suppose 2*w - 11 = x, 3*w - 8 = 4*x + 6. Suppose w*a + 912 = 3*a. Does 20 divide a/(-10) + 20/(-50)?
False
Suppose m + 16 = 3*o, 0 = -o + 3 + 1. Does 21 divide ((-40)/m + -3)/((-2)/(-12))?
True
Let w(d) = 10*d**2 - 3*d - 4. Let g be (-2)/14 + (66/21 - -1). Does 19 divide w(g)?
False
Suppose 19*u + 8 = 21*u. Suppose 0 = u*y - 16, -4*y - 16 = -4*d + 340. Is d a multiple of 8?
False
Suppose -5*t = -t - 20. Suppose t*u = 4*u. Suppose -f = -u*f + 4*i - 46, -3*i + 210 = 4*f. Is 24 a factor of f?
False
Let p = 7 - -13. Suppose -2 = -g - 4. Is 19 a factor of (0 - g)*p + -2?
True
Let p be -11 + -3 + 3 + 1. Let g = 55 + p. Is 15 a factor of g?
True
Let m = -9 + 4. Let n(t) = -16*t - 10 + t + 0*t. Is n(m) a multiple of 18?
False
Let z(v) = 232*v**3 - 4*v. Is z(2) a multiple of 33?
True
Let t(v) = -25*v. Let b = 3 - 0. Suppose b*f = 7*f + 4. Does 25 divide t(f)?
True
Is 24 a factor of 731 - 21/((-210)/(-40))?
False
Suppose 0 = 33*y - 32306 - 17590. Is 9 a factor of y?
True
Let o(f) = 4*f - 4. Let j(i) = i. Let y(t) = -3*j(t) + o(t). Let p be y(8). Suppose 7*k = p*k + 60. Is 10 a factor of k?
True
Suppose -4*c - 5738 = -l - 17242, 0 = -2*c + l + 5750. Is c a multiple of 15?
False
Suppose -2*q = -z - 27 + 175, 5*z = -5*q + 770. Suppose 2*b - 880 = -2*b. Let s = b - z. Is s a multiple of 18?
False
Suppose 0*r - 5*r = -4*n + 549, 2*n + 5*r = 297. Is 16 a factor of n?
False
Let h(t) = t**2 + 9*t - 8. Let b be h(-7). Is 11 a factor of b/(-1) - 0/4?
True
Suppose 0 = 2*c - 7*c. Suppose c*z + 1136 = 4*z. Suppose -6*t + z = -88. Is 19 a factor of t?
False
Suppose 4*n - 2593 + 773 = 0. Is n a multiple of 21?
False
Let l be (0 - 24) + 0 + 0. Let z be 10*1/1 + (-6)/1. Does 7 divide l*((-7)/(-4) - z)?
False
Suppose -3*n + 528 = 3*f, 2*f + 25 - 373 = -n. Suppose l = 5*l - f. Is 23 a factor of l?
False
Let u(k) = 3*k**2 + 5*k**2 + 1 - 6 + 8*k - 6. Is u(2) a multiple of 3?
False
Suppose -8*f - 273 + 1569 = 0. Suppose 9*t - 8*t - f = 0. Is t a multiple of 27?
True
Suppose 2*d = 4*l - 34, 3*l - 48 = -0*l - 3*d. Let j(b) = -2*b**2 + 5*b - 13. Let g be j(l). Let i = -128 - g. Is 24 a factor of i?
True
Let f = 1232 + -138. Is 16 a factor of f?
False
Suppose a - 83 - 102 = 0. Is a a multiple of 6?
False
Let w(b) = -186*b - 18. Does 11 divide w(-4)?
True
Let x = 474 + -240. Does 143 divide x?
False
Let o(b) be the second derivative of -b**4/12 + 89*b**2 - 3*b. Let t be o(0). Let i = -103 + t. Is i a multiple of 15?
True
Suppose -m = -4 + 4. Suppose 3*f + z = 145, m = 2*f - 2*z - 72 - 30. Is f a multiple of 6?
False
Let q = -23 - -33. Let m(w) = -w**3 + 12*w**2 - 12*w + 8. Is m(q) a multiple of 15?
False
Let g(z) = -z**2 - 9*z + 4. Let u be g(-9). Suppose -3*t + 7*t + 20 = -u*w, -t + 3*w + 3 = 0. Is 7 a factor of (1*-81)/t + 1?
True
Suppose -3*x + 13 = 31. Is ((-96)/20)/(x/40) a multiple of 3?
False
Let w(c) = c**2 + 8*c + 2. Let j be w(-8). Let s be 36/(-10) - j/5. Is 0 + s + (77 - -4) a multiple of 18?
False
Let r = 65 + -15. Suppose d + r = 6*d. I