) = 32*v + 105. Does 20 divide x(6)?
False
Let s(c) be the first derivative of -c**4/2 + c**3/3 - c**2 - 3*c - 20. Does 13 divide s(-2)?
False
Let k = 1 - -3. Suppose 694 = k*w + 3*h - 70, 2*w - 5*h - 356 = 0. Suppose -4*x - 12 + w = 0. Does 16 divide x?
False
Let x = -1051 - -1644. Is x a multiple of 10?
False
Is 11640/(-48)*7/((-35)/18) a multiple of 60?
False
Let o be ((-33)/22)/(2/(-18))*26. Suppose 4*l = 341 + o. Does 10 divide l?
False
Let m(d) = 3*d**2 + 5*d - 14. Let x = -60 - -54. Is m(x) a multiple of 32?
True
Suppose 0*a + b = -2*a + 374, 560 = 3*a + 2*b. Is a a multiple of 5?
False
Let r = -263 - -151. Suppose 3*l = 2*q + q + 555, 3*l = -4*q - 761. Let u = r - q. Is u a multiple of 22?
False
Suppose -w = -3*w - 4*r, 20 = 4*w - 2*r. Suppose -y + 105 = g, 3*g + 9*y - 309 = w*y. Is g a multiple of 27?
True
Let n(h) = -h**3 + 7*h**2 - h + 3. Let d be n(7). Suppose -g = -4*s - 7 - 1, 0 = 5*s - 4*g - 1. Is 13 a factor of -13*(s - (d + 3))?
True
Suppose -3*x - 3*s + 15 = 0, x + s - 4*s = -15. Suppose x*y - 3*y = -6, y = 3*n - 94. Is 16 a factor of n?
True
Suppose -5*d = h - 6 + 18, -3*h + d + 12 = 0. Let n(o) = -o**3 - 9*o**2 - 9*o - 6. Let y be n(-8). Does 12 divide (1 + 1)*h*y?
True
Let w(g) = 2*g + 21. Suppose 7 - 55 = -8*u. Is w(u) a multiple of 11?
True
Let n(x) = x**3 + 3*x**2 - x - 3. Let w be n(-3). Let i be -2 - (-3)/(-6)*w. Is (-5)/(2/i) + 3 a multiple of 4?
True
Suppose -4*q - 2*u + 10 = 0, 3*q - 23 = 2*u - 5. Let p be (8/(-6))/(q/66). Let l = -16 - p. Is l a multiple of 6?
True
Let t be 6/2 - (-6 + 9). Suppose 3*m - 2 - 7 = 0. Suppose m*c - 10 - 17 = t. Is 5 a factor of c?
False
Let w = -36 + 40. Let o(r) = 4*r - 14. Let p be o(w). Suppose -p*t + 252 = 4*t. Is t a multiple of 21?
True
Let b = -8 + 11. Suppose -273 = -3*t - b*d, d + 0 = 5. Suppose -2*u - 3*i = -t, -2*u + 2*i = -i - 62. Does 12 divide u?
False
Suppose 9*o - 32 + 41 = 0. Let k be 1/(1 + -2 + 2). Is 5 a factor of 11 + o + -1 + k?
True
Let j(d) = -9*d - 26. Let a(n) = -n**3 - n**2 - n - 7. Let s be a(0). Is j(s) a multiple of 31?
False
Suppose 0 = -173*v + 170*v + 2583. Is 41 a factor of v?
True
Let j(m) = -11*m + 27. Let k(o) = -22*o + 55. Let i(v) = -11*j(v) + 5*k(v). Does 9 divide i(11)?
True
Let f = 41 + -35. Let m(c) = c**3 - 6*c**2 + 9*c + 13. Is m(f) a multiple of 14?
False
Let w(f) = -44*f + 48. Is 10 a factor of w(-3)?
True
Suppose -5935 = -2*u + 112*x - 117*x, 2*x = -5*u + 14785. Is u a multiple of 52?
False
Suppose 2*r = -0*r + 110. Is r a multiple of 35?
False
Suppose 19*q = 1923 + 1763. Does 4 divide q?
False
Let r(u) = -u**3 - 6*u**2 - 13*u - 14. Does 20 divide r(-5)?
False
Let s = 69 + 214. Is s a multiple of 7?
False
Let g be 15*-3*(-3)/27. Let d = g + 2. Let o = d - 4. Does 2 divide o?
False
Is 1*(-2)/(8/(-1276)) a multiple of 17?
False
Let h = 19 + -17. Let w be 52/12 + 2/(-6). Suppose h*l = -l - q + 368, -w*l + q + 486 = 0. Does 35 divide l?
False
Let a = 840 + 41. Does 56 divide a?
False
Suppose -2*x = 3*p - 1138, 7*x = 6*x + 2. Is 9 a factor of p?
True
Let i(u) = u**2 - u. Let s(z) = -7*z**2 + 11*z + 6. Let o(m) = -m**2 - m + 1. Let p(r) = 5*o(r) - s(r). Let f(c) = -i(c) + p(c). Is 17 a factor of f(17)?
False
Let p(m) = -m**3 - 11*m**2 - 12*m - 16. Let a be p(-10). Suppose -5*k + 2*g - 3 + 59 = 0, -k + 22 = -a*g. Is 5 a factor of k?
True
Suppose -97 + 457 = 6*m. Does 6 divide m?
True
Is 13 a factor of 3/(5 + -2)*117?
True
Let p be 1/((-4)/8) - -2. Suppose 2*t - 153 = -7*w + 2*w, -5*t - 4*w + 408 = p. Is t a multiple of 21?
True
Let j be (26/(-52))/(1/(-306)). Suppose -10*t + j = -57. Does 2 divide t?
False
Let z = 21 + -34. Let g = z - -17. Suppose g*t = 1 + 11. Is t a multiple of 3?
True
Let c(n) = n**2 - 6*n + 8. Let a be c(7). Let i = a + -10. Suppose 5*v = 5*k, -i*v - 3*k + 23 = -9. Is v a multiple of 3?
False
Let l(k) = -2*k + 3. Let a be l(3). Let t be a/(12/(-400)*2). Suppose -5*g - 1 = -11, -h - 5*g + t = 0. Is 19 a factor of h?
False
Let t = 79 + 17. Suppose 5*f + 560 = 5*c, -3*c + t = -2*c + 3*f. Does 12 divide c?
True
Let p(u) = u**3 + 20*u**2 + 46*u + 32. Is 4 a factor of p(-17)?
False
Let g = -10 + 19. Is (-6)/g - (-505)/15 a multiple of 10?
False
Let f = 473 - 116. Is f a multiple of 23?
False
Let z(g) = -g**3 - 2*g**2 - 3*g - 1. Let v be z(-2). Suppose 2*h - 4*m = -h + 63, 0 = -3*h + v*m + 66. Does 10 divide h?
False
Let k(n) = -n + 104. Is k(-24) a multiple of 9?
False
Let x be -2 + 10/2 - (-2)/(-2). Suppose 8*y - x*y - 132 = 0. Is y a multiple of 11?
True
Suppose -n + 34 = -2. Let p = n + 11. Does 5 divide p?
False
Let s(x) = -147*x - 42. Does 47 divide s(-7)?
True
Suppose 0 = 2*f - 2*i - 1422 - 376, 2*i + 899 = f. Is 31 a factor of f?
True
Let j = 598 - 256. Is j a multiple of 5?
False
Is 4 a factor of (12/14)/((-4)/112*-6)?
True
Let x(o) be the second derivative of 7*o**5/40 + o**4/12 + 4*o**3/3 + 7*o. Let w(f) be the second derivative of x(f). Is w(2) a multiple of 10?
False
Let u = 33 + 55. Suppose u = 3*f - 209. Suppose 3*d - f = -3*g, -4*g - 58 = d - 193. Is g a multiple of 17?
True
Let u(r) = 7*r. Let x be u(1). Suppose -x*n = -4*n - 21. Does 5 divide (10/n)/((-2)/(-14))?
True
Let y be (6/6)/((-1)/(-3)). Suppose -3*u + 4*c = 184, 88 = 2*u - y*u - 4*c. Let x = 140 + u. Does 24 divide x?
True
Let p be 2/4 + 46/4. Suppose 2*q = -12 - p. Let r = 19 + q. Is r a multiple of 2?
False
Let s = 2 - 0. Suppose 3*g = 4*r + 95, 3*g + 0*r - 85 = s*r. Does 3 divide g?
False
Suppose -2*u = 4*s - 22 - 54, -4*u + 167 = 3*s. Let y = -20 + u. Is 9 a factor of y?
False
Is 8 a factor of (5 - 1) + 3 + (688 - 1)?
False
Is (-2325)/2*(-88)/33 a multiple of 50?
True
Suppose 4 = -s + 2*s. Suppose -4*i + 3*b + 165 = 0, 4*b + 115 = s*i - i. Suppose -3*h + 3*n + 27 = 0, -5*h + i + 10 = 5*n. Is h a multiple of 5?
True
Is 11 a factor of (-25)/((-5)/1) + 523/1?
True
Let z(s) = 2*s - 5. Let r be z(0). Let c(l) = 824*l. Let g be c(r). Is 13 a factor of 4/18 - g/90?
False
Let y = -39 + 39. Suppose -3*a + 151 = i - 0*i, -i + 2*a + 141 = y. Is i a multiple of 29?
True
Suppose b = -g + 99 + 5, 328 = 3*b - 5*g. Is b a multiple of 58?
False
Let s be 3/5*-10*(-5)/(-10). Let r(z) = 24*z**2 + z + 3. Does 36 divide r(s)?
True
Let v = -6 + 15. Suppose 0 = x - v + 7. Suppose -x*r + r + 28 = 0. Does 10 divide r?
False
Let k(z) = z + 17. Let y be k(-9). Is 28 a factor of (66/y)/(7/(-28))*-5?
False
Let d(w) = -2*w**3 - 3*w**2 - 2*w - 3. Let m be d(-2). Suppose -2*n = -m*n + 15. Suppose 3*i + n = 29. Does 5 divide i?
False
Let c be -2 + 0/(-1) + 6. Suppose 0 = -0*f + c*f - 460. Let a = -62 + f. Is a a multiple of 12?
False
Let h(t) = -17*t + 10. Does 14 divide h(-7)?
False
Suppose 0 = -u + 2*o + 1804, 5*u - o - 5101 - 3901 = 0. Is u a multiple of 40?
True
Let r be 2/4*(13 + -9). Let j(k) = 78*k**2 - k**3 + 5*k - 91*k**r - 16 - 20*k. Is 20 a factor of j(-12)?
True
Let c(l) = -l**3 + 6*l**2 + 6*l + 6. Let v be c(7). Let k be (v/(-2))/((-6)/(-60)). Let i = k - 0. Does 5 divide i?
True
Suppose -14 = -3*y + 2*l - 4, -y - 14 = -5*l. Is (y/(-15) + 48/45)*108 a multiple of 8?
True
Suppose -3*f + 5 = -1. Suppose 4*u + 0*j - j - 342 = 0, 0 = -f*j - 4. Does 17 divide u?
True
Suppose 2*t + 8 = 0, 4*u + t = 5*u - 9. Is 11 a factor of (u - 4)*(-2 + -2 + 125)?
True
Let r(l) = 5*l - 22. Let c be r(12). Suppose -157 = -3*n - x, -5*x = 5*n - 207 - c. Does 9 divide n?
True
Does 14 divide ((-13266)/(-27))/((-4)/(-6))?
False
Let w(q) = -q**3 - 10*q**2 - 9*q - 5. Let n be w(-10). Suppose -5*x + 0*x + 17 = 2*y, 0 = 3*x + 5*y + 5. Suppose n = -0*p + x*p. Is 12 a factor of p?
False
Suppose 3*f - 3*h = 3, 0 = -3*h + 4*h + 3. Let n = f - -5. Suppose 0 = 4*y + 3*r - 2*r - 75, n*y - 62 = 5*r. Is y a multiple of 7?
False
Suppose 4*a + 1031 - 4457 = 2*r, 2586 = 3*a + 4*r. Does 33 divide a?
True
Let r = -732 - -1281. Is r a multiple of 6?
False
Let h(g) = -14*g**3 + 7*g**2 + 37*g + 106. Is 69 a factor of h(-4)?
True
Is (-43 - -42)/(2 - 634/316) a multiple of 10?
False
Suppose -p + w - 3*w = -97, w + 529 = 5*p. Is 3 a factor of ((-60)/p)/(2/(-14))?
False
Suppose -8*r + 48 + 624 = 0. Is 14 a factor of r?
True
Suppose 5*o = -5*v + 115, -3*v + 8*v + 4*o - 118 = 0. Suppose 2*f = 0, -2*f = -0*z + z - v. Is z a multiple of 13?
True
Suppose 41*f - 5985 = -4*f. Does 3 divide f?
False
Let m(c) = 12*c + 5*c -