8. Does 11 divide o(-15)?
True
Let o(k) = -k**3 - 5*k**2 + 4*k - 10. Is o(-7) a multiple of 6?
True
Let p(s) = s**2 + 3*s - 3. Let g be p(-4). Let r(x) = 7*x. Let j be r(g). Suppose 0 = -j*y + 3*y + 64. Does 16 divide y?
True
Let n(w) = w**3 - 13*w**2 + 4*w - 2. Let q be n(13). Let u = 41 + q. Is 19 a factor of u?
False
Let n = -17 + 0. Let k = n + 31. Does 11 divide k?
False
Suppose 11*y = 675 + 2889. Is y a multiple of 25?
False
Is (-2 + 3)/(-2)*-10 a multiple of 4?
False
Let j = -74 + 132. Suppose 2*m - j = 66. Does 31 divide m?
True
Does 10 divide (2/1)/((-1 - -2)/25)?
True
Let c(z) be the first derivative of z**3/3 + z**2/2 - 12*z - 1. Let t be c(0). Is 3 a factor of 9/(-2)*8/t?
True
Let v(t) = t**2 + 1. Let f be v(2). Let y be 15/(-2)*4/f. Let d(l) = 2*l**2 + 9*l + 3. Does 21 divide d(y)?
True
Suppose 4*s + 4*i = 108, 8*s - 2*i - 156 = 3*s. Is s a multiple of 10?
True
Suppose -3*k + 8*k - 120 = 0. Let y be (4/6)/((-2)/(-6)). Suppose l - k = -2*z - 6, 2*z = -y*l + 30. Is l a multiple of 6?
True
Let f be (-46)/3 + (-4)/6. Let m = f + 30. Is 6 a factor of m?
False
Suppose 3*z = 111 - 39. Suppose z = 2*h + h. Suppose -h + 32 = 2*d. Does 12 divide d?
True
Suppose 4*s + 3 = -t + 10, -5*s + 5 = 0. Let p = 2 + t. Suppose 5*z = v + 86, v + 0*v = -p*z + 84. Is z a multiple of 17?
True
Suppose -u + 2*z = 2*u - 28, 5*z = 5. Is 4 a factor of ((-6)/u)/(1/(-15))?
False
Suppose -4 = 5*u + 6. Is (8*u)/((-1)/1) a multiple of 8?
True
Let c = -13 + -6. Let q = c + 31. Does 4 divide q?
True
Let x(p) = p + 8. Let c be x(-4). Suppose -c*m - 3*g = -168, -2*g + g - 42 = -m. Is m a multiple of 10?
False
Let h be (1/3)/((-7)/(-63)). Suppose -p = -5*f - 7, -5*f = -h*p - 0*f + 41. Is p a multiple of 6?
False
Suppose -2*p + 0*p = 5*w - 7, 5*p - 3*w - 64 = 0. Is 11 a factor of p?
True
Let d(x) = x**3 - 4*x**2 - x - 6. Let i be d(5). Let y = 17 - i. Does 3 divide y?
True
Let u(i) = 0 + 3 + 2 + i**3 - 11*i - 9*i**2. Let w be u(10). Does 5 divide (-4)/w*25/2?
True
Suppose 0 = -2*o + 8 - 4. Let i = o + 1. Suppose -4*r = 4*q - 96, 3*q = -i*r + 2*r + 30. Does 11 divide r?
False
Let t = 20 + 36. Is 9 a factor of t?
False
Suppose 2*p = 2*c + 6, 2*c = 3*c. Suppose 237 = 3*o - p*w, 0*o - 5*w = 3*o - 205. Is 26 a factor of o?
False
Let k = -21 - -105. Is k a multiple of 28?
True
Let h(o) be the second derivative of -o**5/10 - 5*o**4/12 + 2*o**3/3 + 2*o**2 + o. Let l be (4/10)/((-2)/20). Is h(l) a multiple of 12?
True
Suppose -5*b + 3*y + 74 = 28, -28 = -4*b - 2*y. Is 4 a factor of b?
True
Let q be (-2)/(5/(-7) - -1). Does 8 divide (3/1 - q)*1?
False
Let r(h) = -2*h + 1. Let z be r(-5). Let w = z - -4. Does 15 divide w?
True
Let s(p) = 3*p**2 + 2*p - 7. Let i(b) = 5*b + b**2 - 2*b + 3*b**2 - 7. Let a(n) = -2*i(n) + 3*s(n). Does 21 divide a(-7)?
True
Let o(x) = -x**3 + 7*x**2 - 8*x + 8. Is 6 a factor of o(4)?
True
Let y(g) = 19*g - 4. Is 9 a factor of y(3)?
False
Let m(u) = u**2 + 2*u - 1. Let t be m(-3). Suppose -k + 3 = t*k. Does 8 divide (1/(-1))/k - -14?
False
Suppose 0 = -5*k + 6*s - 3*s + 286, s = -4*k + 222. Suppose k + 48 = 4*n. Suppose -14 = -a - 5*w, -n = -5*a - 3*w - 0. Is 3 a factor of a?
False
Suppose -3*t + 33 = 5*z, 0*z = t + 2*z - 12. Let h = t - -11. Does 12 divide h?
False
Let a be ((-1)/(-2))/((-8)/(-288)). Suppose -4*x - h = 42, 4*x = 3*x - 4*h - a. Let r = -7 - x. Is r a multiple of 3?
True
Suppose -5*g + 70 = -0*g. Let k be (-1 + -3)*(2 - 5). Suppose -q = -g - k. Is q a multiple of 13?
True
Suppose 0 = 5*z - 25, 0 = 4*n - z + 3*z - 30. Suppose n*w - 54 - 16 = 0. Is w a multiple of 7?
True
Let r(m) = 6*m - 10. Let w be r(7). Suppose -2*k - 6*q + w = -2*q, 0 = -5*k + 2*q + 56. Does 4 divide k?
True
Let r(q) = -6*q + 1. Let y be r(-7). Suppose -y = -5*o + 27. Is 11 a factor of o?
False
Let f(o) = -3*o**2 + 51. Let z(x) = 7*x**2 - 102. Suppose 0*k - 20 = -5*k. Let u(a) = k*z(a) + 9*f(a). Is u(0) a multiple of 16?
False
Suppose -4*c - 23 = 1. Let t be 0*(9/c)/3. Suppose t = -3*g + 3*n + 45, -6*n + 57 = 3*g - 3*n. Does 10 divide g?
False
Suppose 0 = 5*d + 10, -4*d = -4*j - 0*d - 152. Let g = j - -81. Suppose -36 = -3*i - 2*w - 3*w, -5*i - 2*w = -g. Is i a multiple of 7?
True
Let h(a) = -a + 5. Let z be h(0). Let t = 8 - z. Suppose 0 = 2*c - 10, t*c + 76 = 3*j - 20. Is 20 a factor of j?
False
Suppose 2*s - s - 4*o = -27, 12 = 4*o. Let l = s - -24. Is 3 a factor of l?
True
Let z(f) be the second derivative of -f**5/20 - 2*f**4/3 - 7*f**3/6 - f**2/2 + 2*f. Let h be z(-7). Is 3 a factor of 0 - ((-4)/2 + h)?
True
Let u = -69 + 101. Is 16 a factor of u?
True
Let i(m) = m**2 - 10*m + 15. Does 11 divide i(10)?
False
Suppose -a - 630 = -8*a. Is 30 a factor of a?
True
Let s be (2*1/(-2))/(-1). Let o = s + 0. Suppose k = 7 - o. Is 4 a factor of k?
False
Let f = 2 - -7. Let a be (0 - f)*1/(-3). Suppose -r = 5*w - 49 - 39, 4*w = -a*r + 66. Is w a multiple of 18?
True
Suppose 7 + 3 = -2*m. Let v = m + 9. Suppose -v*i - 54 = -7*i. Does 7 divide i?
False
Let x(p) = 10*p**2 - 6*p + 6. Is 17 a factor of x(2)?
True
Let t = -12 + 8. Let m = 4 + t. Suppose 2*b + b - 111 = m. Is 15 a factor of b?
False
Suppose 0 = -2*v + 3 + 1, 2*v = 2*q - 88. Suppose 0 = 4*z + q + 38. Is 12/(-14)*1*z a multiple of 6?
True
Suppose 0 = -3*s + 12, i + 4*i = 2*s - 58. Is 12 a factor of 3/15 + (-238)/i?
True
Let z be ((-29)/(-4) + 3)*12. Let t = -83 + z. Is t a multiple of 13?
False
Suppose -2*s + 16 = -80. Suppose -2*t = -4*t + s. Is t a multiple of 11?
False
Is -1 + 102 - 5*(-4)/(-10) a multiple of 33?
True
Suppose -5*v + 2*s + 299 + 123 = 0, 0 = v - 4*s - 88. Is v a multiple of 21?
True
Let c(m) = -m**3 - 10*m**2 - 10*m + 2. Suppose 6*j - 2*j + 8 = 0. Let g be (10 - 1)/(j/2). Is c(g) a multiple of 10?
False
Let a(c) = -c**3 - 4*c**2 - 4*c - 3. Let h = 0 - -4. Suppose -h*t - 5 = -3*t. Is a(t) a multiple of 21?
True
Let g be (2/1)/((-2)/(-6)). Suppose 3*y - 4*l - 80 = 0, -2*y + g*l = l - 44. Does 16 divide y?
True
Let n be (-4)/6 + (-44)/(-12). Suppose -n*x + 45 + 15 = 0. Is x a multiple of 10?
True
Suppose 1 = -5*t - 9. Let k be t/(-2)*(1 - -2). Suppose 128 = k*j + 14. Is j a multiple of 19?
True
Let i(n) = 11*n**2 - n - 1. Is i(-2) a multiple of 23?
False
Is 43 a factor of ((-2)/4)/(10/(-2580))?
True
Suppose 8*y - 123 = 149. Is 21 a factor of y?
False
Suppose 23 = -3*f + 4*f - 2*l, -3*f + 94 = -l. Does 11 divide f?
True
Suppose 0 = -2*x - 2*v + 12, 7*x = 2*x + 3*v + 38. Does 7 divide x?
True
Let g(h) = -h**3 - 8*h**2 - 6*h. Does 12 divide g(-8)?
True
Suppose 3336 = 5*q + 3*q. Is q a multiple of 46?
False
Suppose 0 = -3*d - 12, -o = -6*o + 2*d + 43. Is (-2)/o + 58/7 a multiple of 8?
True
Is 13 a factor of 2/13 + 3036/39?
True
Suppose -3*b + 0*b + 15 = 0. Suppose h + 0*t - 32 = -4*t, 0 = -b*h + t + 139. Is 28 a factor of h?
True
Is 244/2 + 1/((-5)/(-15)) a multiple of 25?
True
Let k(m) = 11*m**2 - 30*m + 15. Let q(s) = 4*s**2 - 10*s + 5. Let b(n) = -3*k(n) + 8*q(n). Suppose 12 = -4*x, 3*x + 1 = -h - h. Does 9 divide b(h)?
False
Let n = -6 - -18. Is n a multiple of 5?
False
Is ((-4)/6)/(27/(-1053)) a multiple of 5?
False
Let p(f) be the second derivative of 0 - 3/2*f**3 + 1/12*f**4 - 1/2*f**2 + 2*f. Is 3 a factor of p(10)?
True
Let j(b) = b - 8. Let n be j(10). Suppose 112 = 2*r + n*r. Is 14 a factor of r?
True
Let d(h) be the first derivative of h**3 - h**2 + h + 3. Is 9 a factor of d(2)?
True
Suppose 8*v - 25 = 3*v. Suppose 3*a + n - 235 = 6*n, 290 = 4*a + v*n. Is 16 a factor of a?
False
Suppose 3*p - 34 = 461. Suppose -5*b - 45 + p = 0. Is 8 a factor of b?
True
Let h(v) = 3*v**2 - 2*v - 1. Let m be 12/10*240/18. Suppose -4*o - 2*g = -9*o - m, 3*g - 7 = -o. Is h(o) a multiple of 5?
True
Let x = 209 + -147. Is x a multiple of 31?
True
Let c = -22 + 25. Suppose c*g + 135 = -0*b + 4*b, b - g = 35. Does 10 divide b?
True
Let y = 0 + 3. Suppose 2*c - c - 8 = -y*k, 0 = 5*k - 4*c - 19. Suppose 40 = s + k*s. Is s a multiple of 5?
True
Suppose -4*z + 39 = 5*x, -5*x + 9 = -2*x. Let s be ((-12)/(-15))/(z/(-45)). Is 20 a factor of (-471)/(-12) + s/(-8)?
True
Suppose 3476 = o + 21*o. Does 9 divide o?
False
Suppose -3*u = -w - 597, 0*u - 2*w = -3*u + 594. Suppose 2*h + u = 6*h. Suppose -a = -h + 20. Is a a multiple of 15?
True
Suppose -4*m + r + 437 = 0, -m + 93 = -0*m + 3*r. Is 12 a factor of m?
True
Suppose -5*i