6 - 25. Let v(u) = -u**3 - 9*u**2 - u. Does 9 divide v(z)?
True
Let v be (0 + -2 - -8) + -1. Suppose v*c = 99 - 29. Is 7 a factor of c?
True
Suppose -26 = -5*o - 2*z, 3*o - 3*z - 3 = -0*o. Let n(c) = c**3 - 4*c**2 - 7*c - 3. Let v be n(6). Suppose -123 = -o*d - v. Is 13 a factor of d?
False
Let g(m) = m**2 + m - 3. Suppose 5*a = 0, -4*a - 4 = 5*b + 16. Is g(b) a multiple of 8?
False
Suppose 4*o = -o + 2*r + 224, r = -4*o + 174. Is o a multiple of 8?
False
Suppose 0 = -2*g + g + 2, g = 2*p. Let b be (3/(-6))/(p/50). Let u = 38 + b. Does 13 divide u?
True
Suppose 0 = -3*s + 4*s + 4*m - 44, 4*s - m - 108 = 0. Is 7 a factor of s?
True
Let g(s) = s - 1. Let n be g(3). Let d = n + 0. Suppose -2*r - b = -11, -3*b = 3*r - d*b - 15. Is 2 a factor of r?
True
Suppose 46 + 102 = 2*x. Does 37 divide x?
True
Let s = -455 + 679. Let r = s + -144. Suppose 4*q = -q + r. Is 10 a factor of q?
False
Suppose -4*t - 35 + 583 = 0. Suppose -2*a - 71 = -5*a + b, 0 = 5*a + 3*b - t. Is 11 a factor of a?
False
Suppose u - 1 = 1. Suppose -u*k = d - 65, 3*d = -2*d + 25. Is k a multiple of 15?
True
Suppose -3*u = -108 + 12. Suppose 3*r - 2*g = u, 3*g = -5*r - g + 68. Is 12 a factor of r?
True
Let j(o) = 13*o + 8. Does 11 divide j(4)?
False
Let d = 70 - 34. Does 19 divide d?
False
Does 5 divide -1 + (-4 + 0 - -105)?
True
Let z = 7 - 4. Suppose 0 = q + z*m - 227, -m = -5*q + 2*m + 1063. Suppose q = 5*i + 25. Does 19 divide i?
True
Suppose -3*h - 5 = 2*j + 7, 3*h - 6 = j. Let o(s) = 17*s**2 + s - 2. Let x be o(2). Is 5 a factor of 2/j - x/(-6)?
False
Suppose -4*p + 5*p = 0. Suppose p = 4*u - 2*h - 90, -3*h - 93 = -7*u + 3*u. Is 15 a factor of u?
False
Let l(n) = 0 - n**2 - n**2 + 3*n - 1. Let q be l(6). Is 7 a factor of (q/(-15))/(1/3)?
False
Suppose -5 = 2*n - 25. Let g = n - 14. Does 7 divide g/14 - 651/(-49)?
False
Let l = -14 - -10. Let h = 6 + l. Suppose 3*z - 30 = 3*g, 0 = g - 2 - h. Is 10 a factor of z?
False
Let f be 8/2 - -1 - 0. Let d = -19 + 24. Suppose -6 = -f*s + 4*s + 5*n, -4*n = d*s - 88. Does 16 divide s?
True
Let x(o) = -o**3 + o**2 + o + 6. Let y = 2 + -2. Let v be x(y). Suppose -2*p + 3*p = v. Is p a multiple of 6?
True
Let g(i) = -i**3 + 5*i**2 - 2. Let t be g(5). Let k be (1/t)/(2/(-12)). Suppose 56 = 4*v + 4*l, -38 = -k*v - l - 0*l. Is 12 a factor of v?
True
Suppose 0 = -4*u - 1 + 25. Let b = 31 - u. Does 16 divide b?
False
Suppose 0 = 4*b - b + 45. Let k = b + 33. Suppose -4*s = 2*n - 22, 2*n + 3*s - k = -2*s. Is 7 a factor of n?
False
Let h(j) = 7*j**3 + 4*j**2 - 5*j - 6. Is 35 a factor of h(3)?
False
Suppose 5*n = -5*u + 305, n - u + 3*u - 62 = 0. Is n a multiple of 15?
True
Let s(k) = -k**3 - 17*k**2 + 18*k + 9. Is 3 a factor of s(-18)?
True
Suppose 0 = -7*w + 60 + 122. Is w a multiple of 16?
False
Let n(x) = 12*x**2 - 3*x - 1. Does 9 divide n(2)?
False
Suppose 3*b = 2*s + 99, 68 = 4*b - 2*b - 2*s. Is 31 a factor of b?
True
Let k(q) = q + 13. Let b be k(-11). Is 22 a factor of (-308)/(-21)*(b + 1)?
True
Suppose 0*u + 2*u - 4*r - 26 = 0, 3*r = 12. Is u a multiple of 5?
False
Let i(b) be the second derivative of -b**5/20 - 3*b**4/4 + 7*b**3/6 + 4*b**2 - b. Is 14 a factor of i(-10)?
False
Suppose d = 5*d - 8. Suppose -4*g - d*r + 71 = -3*r, -93 = -5*g - 3*r. Is g a multiple of 18?
True
Let f(w) = 3*w**2 + 3*w - 1. Let t be f(-5). Suppose -195 = -4*k - t. Does 17 divide k?
True
Let g = 22 + 35. Does 19 divide g?
True
Suppose 0 = -2*t - 5 + 17. Let u be (-2)/(t/711*3). Let l = u - -115. Is 18 a factor of l?
True
Suppose -j - 94 = -2*j + 4*s, -5*s = 3*j - 265. Suppose 0 = x - 6*x + j. Is 6 a factor of x?
True
Let x(o) = -o**3 + 7*o**2 + 3*o + 3. Suppose 29 = 2*f - 27. Let s be 204/f + 2/(-7). Is 13 a factor of x(s)?
False
Suppose -5*g + 20 = -0. Let c(a) = 3*a**2 - a - 4. Let j be c(g). Suppose -2*i = i - 4*u - 49, -3*i + j = 5*u. Is 6 a factor of i?
False
Suppose -16 = 2*w - 6*w. Suppose 4*p - 3*i - 2*i = -29, -4*p = w*i - 16. Is 11 a factor of 3 - 1/(p/23)?
False
Let c = 8 - 5. Let k(q) = q**2 - 5*q + 1. Let n be k(c). Is 11 a factor of -1 + 12 - (2 + n)?
False
Suppose -u - 3*u = -5*d + 8, 4*d + 4 = -2*u. Let l = d - -2. Is l a multiple of 2?
True
Let c = 93 + 23. Is 8 a factor of c?
False
Let f(x) = 6*x**2 + 4*x - 1. Is f(3) a multiple of 25?
False
Let u(n) be the third derivative of n**6/120 - n**5/30 + n**4/8 + n**3/6 + 3*n**2. Let q be (1/3)/((-1)/(-9)). Does 9 divide u(q)?
False
Let i(g) = -3*g - 6. Let v(a) = -a + 5. Let z be v(3). Let y be 2/(5/((-35)/z)). Is 12 a factor of i(y)?
False
Let g = 37 - 19. Does 10 divide g?
False
Let i be 5/(-15) + (-1)/(-3). Let m be 2 - (i - -4*2). Let l(j) = j**3 + 6*j**2 - 2*j - 6. Does 6 divide l(m)?
True
Let d = 158 - 58. Is 10 a factor of d?
True
Let z = 154 - 26. Suppose 2*g - 4*n = 44, -2*n = 5*g - g - z. Does 6 divide g?
True
Let n(s) = s**2 - s + 10. Is n(5) a multiple of 10?
True
Suppose -3*g + 0*g = -246. Let d = 4 - 1. Suppose 5*h - g = z, d*h - z - 66 = -h. Is h a multiple of 16?
True
Is (3 + 77)*9*(-3)/(-36) a multiple of 12?
True
Let t = -27 + 47. Is 15 a factor of t?
False
Let p = 67 - 53. Does 7 divide p?
True
Let z(b) = -b + 10. Is z(2) a multiple of 3?
False
Suppose 25 = 2*x - 29. Is 9 a factor of x?
True
Is ((-255)/68)/((-1)/4) a multiple of 15?
True
Suppose -21*c + 17*c + 164 = 0. Is 10 a factor of c?
False
Let j(d) = d. Let z be j(-1). Let f be (z - -2)*(-14)/2. Let k = f - -11. Does 4 divide k?
True
Suppose 102 = -5*b - 4*v, 0 = -3*b - 0*b - 4*v - 58. Let w = -11 - b. Is 11 a factor of w?
True
Suppose 18 = -f + 3. Suppose 49 = 5*k - 56. Let l = k + f. Is 5 a factor of l?
False
Suppose 2*b = -0*b + 10. Let t(y) = y - 3. Let j be t(b). Suppose 4*k - j*h - h - 21 = 0, 29 = 5*k - h. Does 3 divide k?
True
Does 5 divide (-20)/30 + 238/6?
False
Suppose -12*x + 20 = -11*x. Is 10 a factor of x?
True
Suppose 2*r - 82 = 4*w, 3*w = -4*r + 3*r + 66. Is r a multiple of 17?
True
Let u = -3 - -1. Let k = 25 + u. Is k a multiple of 10?
False
Let r be 6/4*(-8)/6. Let a be (-4)/r + (-4)/2. Suppose j + 3*o = -0*o + 11, o - 1 = a. Is j a multiple of 8?
True
Is (-4)/(-22) + (-568)/(-22) a multiple of 13?
True
Let q = -135 - -196. Does 7 divide q?
False
Let u = -9 - -29. Let f be 2*6*(-3 + 30/9). Suppose -2*t - 2*w = t - u, -2*w - f = 0. Does 6 divide t?
False
Let c be -6*((-5 - -2) + (-12)/8). Let t(k) = -8*k - 3. Let n be t(-6). Let x = n - c. Does 15 divide x?
False
Suppose 1 = 6*q - 557. Is 12 a factor of q?
False
Let s(g) be the second derivative of -g**5/20 - 2*g**2 - g. Let i be s(-3). Let b = i - 1. Is 22 a factor of b?
True
Suppose c = -3, 0 = -a - 0*c + c + 202. Is 37 a factor of a?
False
Let l = -46 + 71. Does 14 divide l?
False
Let m(n) = -22*n - 18. Does 12 divide m(-3)?
True
Is ((-216)/(-20))/((-9)/(-30)) a multiple of 12?
True
Suppose 2*h - q = -0*h + 57, -3*h - 5*q + 118 = 0. Is 12 a factor of h?
False
Let c(t) be the first derivative of -t**4/4 - t**3 + 5*t**2/2 - 7*t - 2. Does 6 divide c(-5)?
True
Let p(f) = -89*f - 4. Is 17 a factor of p(-1)?
True
Suppose 0 = 4*o - 112. Is 28 a factor of o?
True
Suppose 0 = 3*q - 60 - 381. Does 21 divide q?
True
Let s(t) = -t**3 - 4*t**2 + 3*t - 4. Does 25 divide s(-6)?
True
Let q(z) = 18*z - 6. Let t be q(3). Suppose 0 = -3*h + 4*d + 36, 5*h - 38 = -2*d + t. Does 8 divide h?
True
Let l = 36 + -24. Is 12 a factor of l?
True
Let w(k) = -k**3 + 2*k**2 + k - 1. Suppose -3*o + 1 = 5*r, -6 = -5*o + 3*r + 7. Let g be w(o). Does 2 divide 4/6*(g - -2)?
True
Let t = 100 + 127. Suppose 0 = 4*i - p + 11 - t, -3*p = 5*i - 270. Is 21 a factor of i?
False
Let k(n) = n + 1. Let l(a) = 2*a - 7. Let b(f) = -6*k(f) - l(f). Is 3 a factor of b(-1)?
True
Let i(o) be the second derivative of o**5/4 + o**3/3 - o**2/2 + 8*o. Does 32 divide i(2)?
False
Let w = -1 + 1. Suppose -2*k = -5*p - 2, 3*k + p + 0*p - 37 = w. Does 5 divide k?
False
Let k = 44 + -30. Is 8 a factor of k?
False
Suppose 2*p - 4*y - 25 - 307 = 0, -5*y = -15. Is 22 a factor of p?
False
Let c = 4 - -3. Let t(o) = -o**3 + 8*o**2 - 2*o + 10. Let z be t(c). Suppose a = -3*q + 6*a + 33, a + z = 3*q. Is q a multiple of 6?
False
Let z = -4 - -9. Suppose -4*x = -z - 15. Suppose -v + 16 = 2*v - 4*h, 65 = x*v + h. Does 4 divide v?
True
Suppose 2*d - 724 = -2*d + w, 2*w = 0. Does 13 divide d?
False
Let k(o) = -o**3 - 8*o**2 + 1