factor of (-1 - (s - 3)) + 15?
False
Let d(c) = -c**3 - 7*c**2 + 14*c + 12. Let x be d(-9). Suppose -x = 2*a - 4*a. Is a a multiple of 12?
True
Is -99*(1 - (-16)/(-12)) a multiple of 8?
False
Let v(r) = -2*r**3 + 29*r**2 - 7*r - 34. Does 5 divide v(14)?
False
Let m(k) be the third derivative of k**5/60 - k**4/4 - k**3 - 3*k**2. Is m(8) a multiple of 9?
False
Let r be -7 + 7/((-14)/(-4)). Let i = 20 + r. Is i a multiple of 15?
True
Let g(s) = -s**3 + 10*s**2 - 6*s - 8. Is g(8) a multiple of 9?
True
Suppose 2 - 1 = y. Let m be (-1 - y)/(-2) - -39. Suppose m = 5*r - 0*r. Is r a multiple of 8?
True
Suppose 5*l = -4*y + 9, -4*y + 3 = -2*y + 3*l. Does 6 divide y?
True
Let f(q) = q + 2*q**2 + 21*q**3 + q - 3*q. Is 15 a factor of f(1)?
False
Let m be (-186)/(-18) + 1/(-3). Let z be ((-9)/(-6))/3*m. Suppose -z*j = 3*y - 6*j - 80, 4*j - 100 = -3*y. Is y a multiple of 14?
True
Is (60/50)/((-6)/(-80)) a multiple of 13?
False
Suppose 2*i - 708 = -4*h, -4*i - 1 = 7. Is h a multiple of 18?
False
Suppose n = 2*n - 2. Suppose -166 = -3*j - 19. Suppose x + n*f - 5 = 2, -5*x + j = -4*f. Is x a multiple of 9?
True
Suppose 2*c - 5*c - 5*a = -144, -c - 2*a + 49 = 0. Let n(g) = -3*g - 2. Let b be n(-2). Suppose 5*i + 81 = 3*s, 2*s + b*i - c = 11. Does 13 divide s?
False
Let s = 7 - 5. Suppose -s*f = -0*f - 20. Does 8 divide f?
False
Let l(h) = h + 4. Let q be l(0). Let d = -4 + q. Suppose 3*j - 4*j + 8 = d. Does 3 divide j?
False
Suppose -5*t - 3*w = 5, 5*w + 0*w = 5*t + 5. Let p be (22 + -2)/(2 + t). Suppose -y - 3*y = -p. Does 2 divide y?
False
Suppose i + 2*i = 5*r - 25, 0 = -3*r - 3*i + 15. Suppose r*y - 30 = -0*y. Is y a multiple of 6?
True
Suppose -3*f - f + 12 = 4*a, 4*a + 3*f - 16 = 0. Let g = a - -9. Is 5 a factor of g?
False
Let r = -27 + 15. Let a be ((-33)/r)/(1/(-4)). Let h = a - -29. Does 9 divide h?
True
Let t = -10 + -5. Let a(s) = 19*s**3 - 2*s - 1. Let g be a(-1). Is 5 a factor of (-2)/((g/t)/(-3))?
True
Let t = -3 - 0. Let y = 0 - t. Suppose y*o + 0*o - 45 = 0. Is 15 a factor of o?
True
Let i = -6 + 7. Suppose -4*h = -2*p - 8, -5 = -2*h + i. Let s = p + 46. Does 19 divide s?
False
Let q = -22 - -40. Does 8 divide q?
False
Suppose -2*u + 58 = -26. Let s = u - 20. Does 8 divide s?
False
Let j(b) be the second derivative of -b**3/6 + 4*b**2 - 2*b. Let w be j(4). Suppose 0*f - 74 = -3*f + w*v, -79 = -3*f - v. Is 13 a factor of f?
True
Suppose 0 = 10*s - 5*s, -s = 4*w - 132. Is 14 a factor of w?
False
Let h(i) = -17*i + 1. Let b(q) = 18*q - 1. Let r(g) = -5*b(g) - 4*h(g). Does 17 divide r(-2)?
False
Let p(n) = n**2 - 7*n + 5. Let q be p(7). Suppose -g = 3*g + 5*i - 7, 5*g = -q*i + 10. Suppose 2*b = g*b - 23. Is 23 a factor of b?
True
Suppose 3*c = c - 5*b + 144, 0 = -2*b. Is c a multiple of 12?
True
Suppose -2*k - 86 = -3*s + 2*k, 2*s - k = 54. Does 5 divide s?
False
Let c be (-2)/(-2 - 38/(-20)). Suppose -a + 2*z + 22 = 0, 2*a - z - 9 = c. Does 7 divide a?
False
Let a = -305 - -552. Is 15 a factor of a?
False
Let y(j) be the second derivative of j**6/120 - j**5/30 - j**4/8 + 2*j**3/3 + j**2 + 3*j. Let x(d) be the first derivative of y(d). Is x(4) a multiple of 24?
True
Let b = 124 - 73. Let k = b + -19. Is 10 a factor of k?
False
Let o be -2*(-3)/6*-2. Let a be 2 + 1/(o/(-96)). Suppose -4*n + 14 = -a. Does 12 divide n?
False
Let c(b) = -23*b - 3. Is 17 a factor of c(-9)?
True
Suppose -6*b + 108 = -3*b. Suppose 2*g - 36 = -3*q - q, 5*g = -4*q + b. Is 4 a factor of q?
False
Suppose 5 = k + 1. Suppose 0*g - 68 = -g - k*n, n = 4. Is g a multiple of 13?
True
Let b(l) = -10*l**2 + l - 2. Let y(k) = 50*k**2 - 6*k + 11. Let z(m) = -11*b(m) - 2*y(m). Suppose -4 = 4*a - 8*a. Does 11 divide z(a)?
True
Suppose 5*q + 4*q = 1071. Does 17 divide q?
True
Let c = 73 - 40. Is c a multiple of 12?
False
Suppose -5*i + 2*i - 15 = 4*p, 0 = i + 3*p. Let t be 6/i*(0 + -33). Let l = t - 13. Is 3 a factor of l?
True
Let d(q) = -2*q. Let s be d(-2). Suppose -7*g - 90 = -2*g. Let i = s - g. Is 10 a factor of i?
False
Suppose 3*x = -4 + 1, 5*x + 9 = 2*o. Suppose o*l + 14 = 118. Is 13 a factor of l?
True
Suppose 3*m = -0*m. Let w = -173 - -95. Is 18 a factor of m + 1/((-2)/w)?
False
Suppose 4*a - 61 = 7. Is a a multiple of 5?
False
Let g be (-4516)/(-52) - 4/(-26). Suppose -g = -5*o + 68. Does 12 divide o?
False
Let k be 2697/9 - 2/(-6). Suppose -2*r = 3*r - k. Suppose r = 4*f + 3*z, -3*f + 5*z + 40 = 2*f. Is 6 a factor of f?
True
Let t(h) = -h**3 + 2*h**2 + h - 2. Does 15 divide t(-5)?
False
Suppose 0 = -2*y + x + 62, -3*x = -6*x - 12. Let b = 40 - y. Let g = b - -4. Is g a multiple of 5?
True
Let l(i) = -i**3 - i**2 + 11. Suppose -4*q - 21 = -r, 2*r + r + 12 = -3*q. Let u = 5 + q. Is 11 a factor of l(u)?
True
Let x be 534/10 + 2/(-5). Let w be -20 - 4*(-2)/((-6)/3). Let m = w + x. Is m a multiple of 8?
False
Suppose 2*w = -w + 72. Let m = 4 + w. Is 28 a factor of m?
True
Does 14 divide 1 + 7/(21/102)?
False
Let c(i) = -i - 5. Let q be c(-9). Let u = -1 + 0. Let h = q + u. Is 3 a factor of h?
True
Suppose -4*a = -3*a + 3*v - 505, -2509 = -5*a + v. Is 13 a factor of a?
False
Let p = -8 + 21. Let o = -8 + p. Suppose s + 28 = o*s. Is s a multiple of 7?
True
Suppose 3*r = r - 26. Let y = -5 - r. Does 8 divide y?
True
Let x(o) = 4*o**3 - 2*o**2 + 1. Let s be x(1). Let f(k) = -4*k + 3 + s + 6*k - 8. Is f(5) a multiple of 8?
True
Suppose 2*t - 44 + 12 = 0. Is t a multiple of 3?
False
Let g = 12 - 7. Is 7/35 - (-79)/g a multiple of 8?
True
Let o(l) = -l**2 - 5*l + 7. Let s be o(-7). Let z = s + 25. Is 18 a factor of z?
True
Let n(k) be the second derivative of -k**5/20 + k**4/3 + 13*k**3/6 + k**2 + 7*k. Is 2 a factor of n(6)?
True
Let v(m) = -2*m - 1. Let i be v(-2). Is 3 a factor of 2 + i + (0 - -1)?
True
Let w(x) = 4*x**3 - 5*x**2 + 4*x - 2. Let c be w(3). Let d = c + -15. Is d a multiple of 20?
False
Let o be (-2)/(-7) - (-156)/42. Suppose -196 = -o*c - 0*c. Is c a multiple of 11?
False
Let k(q) = q**3 + q**2 + 35. Suppose -3*g = -g. Does 10 divide k(g)?
False
Suppose 0 = 5*m - 31 - 99. Is 2 a factor of m?
True
Suppose 12 = 4*n, -n = i - 0*i - 5. Let l(s) = -4*s**i + 24*s**2 - 2*s**2 + s + 1. Is l(-1) a multiple of 9?
True
Suppose -4*x + 229 - 21 = 0. Is 30 a factor of x?
False
Is 11 a factor of (-3 - (-6)/3) + 30?
False
Suppose -s - 4*j + 58 + 74 = 0, -5*j = 4*s - 561. Is 29 a factor of s?
False
Suppose z = -5*m + 71, -6 - 35 = -3*m + z. Let c = 42 - m. Does 14 divide c?
True
Let p be (-6)/(-36) + 418/12. Let q be (-382)/(-5) + (-14)/p. Let f = -25 + q. Is f a multiple of 15?
False
Let d = 0 - 2. Is -3 + (-4)/d - -14 a multiple of 13?
True
Suppose -t - 4*t = 5*w + 10, -1 = 2*w + 3*t. Is -14*((-20)/(-8))/w a multiple of 2?
False
Let x = -23 - -35. Let l(p) = 4*p**3 - 7*p**2 - x*p - 2*p**2 - 7*p**3 + 2*p**3 - 8. Does 8 divide l(-8)?
True
Let z(u) = u**2 - 13*u - 9. Let t be (70/25)/(1/5). Is 2 a factor of z(t)?
False
Let x be (-2)/3 + 24/9. Let d = x + -2. Suppose a = -d*a + 17. Does 7 divide a?
False
Suppose -2*v - 5*q + 2 - 75 = 0, -2*q - 10 = 0. Let z = 46 + v. Let u = z - 6. Is u a multiple of 16?
True
Let b(c) = -63*c - 1. Let h be b(1). Let a = -36 - h. Is a a multiple of 14?
True
Is 2 a factor of -1 + (-38)/1*(-4)/8?
True
Is -14*(4 + -6 - 0) a multiple of 14?
True
Let f(w) be the third derivative of w**5/12 - w**4/8 + w**3/2 - 5*w**2. Suppose -q - 3*q + 8 = 0. Does 11 divide f(q)?
False
Suppose -2*i = 4*u - 278, -4*i = -0*u + 3*u - 216. Is 68 a factor of u?
True
Let a(y) = 108*y - 1. Let p be a(1). Let m = 33 - p. Let g = m - -112. Does 19 divide g?
True
Suppose -2*u - 14 = 4*z, -3*z + 6*u - 3*u = 6. Let h(n) = -6*n - 2. Is h(z) a multiple of 9?
False
Is 53 + (-1 - -2) - 0 a multiple of 17?
False
Let i(r) = r**2 + 2*r - 4. Let u be i(-7). Suppose 2*m - 172 = -4*w, 2*w = -3*w - 3*m + 214. Let z = w - u. Is 5 a factor of z?
False
Suppose -5*m + 4 = -4*n, -5*m - 3*n + 8*n + 5 = 0. Suppose m = -3*p + 18. Suppose c - 2*c = -p. Is c a multiple of 3?
True
Let r(l) = 13*l - 1 + 0*l - 2 - l**2. Is r(9) a multiple of 11?
True
Let m be 4 + (-2 - (-1 - 1)). Let p = 2 + -2. Suppose p = m*r + r - 130. Is r a multiple of 16?
False
Suppose 174 = 5*x - 6. Does 7 divide x?
False
Let l be (4/(-10))/((-1)/5). Suppose -l*w + 0 = 4. Does 4 divide (-2)/(w + 24/15)?
False
Let i be 94 - (-4 + (-8)/