 8?
True
Let l(g) = g - 5. Let c be l(6). Let n = 7 - c. Does 6 divide n?
True
Let g(r) = -r**3 - 9*r**2 - r - 5. Let d be g(-9). Suppose 3*c - 121 = -4*m, 4*c - 120 = -0*m - d*m. Is 18 a factor of m?
False
Let f = 10 + -10. Suppose -2*j - b + 49 = f, -100 = -5*j + 6*b - 4*b. Is 12 a factor of j?
False
Let q(y) = y - 2*y**3 + 2*y - 3*y**3 + 3*y**2 + 2*y + 2. Let i(a) = 14*a**3 - 8*a**2 - 14*a - 5. Let k(n) = -3*i(n) - 8*q(n). Is 16 a factor of k(-3)?
False
Suppose 0 = -0*b - 4*b. Suppose -10 = -b*p - p. Is p a multiple of 10?
True
Let r be (-2)/3 - (-14)/3. Suppose -r*b = -t - 10 - 26, 2*b - 3*t = 18. Suppose -c = -19 - b. Does 10 divide c?
False
Let j = 14 + -9. Suppose 0 = 3*w - 0*t + t - 17, -3*w = j*t - 25. Does 2 divide w?
False
Suppose 27 = 2*l + 3*p - 31, -p - 179 = -5*l. Is 7 a factor of l?
True
Suppose 0 = 3*c, 6*c - 2*c = 2*l - 4. Suppose -2*x - 5 = 2*g - g, 2*g + x = l. Is 2*-4*(-3)/g a multiple of 8?
True
Let d(i) = -90*i - 94*i + 190*i. Suppose -8 = -3*z + 7. Is d(z) a multiple of 10?
True
Let g = 83 - 44. Is 12 a factor of g?
False
Let x = 61 + -31. Is 25 a factor of x?
False
Suppose -5*m + 73 = c, -c + 3*c + 19 = m. Suppose -4*z - m = 33. Let r = z - -22. Is r a multiple of 9?
False
Suppose -w - 20 = -100. Suppose -a - 54 - 2 = -3*f, -4*f = -4*a - w. Is 18 a factor of f?
True
Suppose 713 = 2*q - 223. Is 26 a factor of q?
True
Let r be (2 - 4) + 0 + 2. Let f = 2 - r. Does 16 divide 0/(4 - f) - -28?
False
Let w = -9 - -5. Let x = 7 + w. Is (-342)/(-8) + x/(-4) a multiple of 21?
True
Let k(n) = -3*n - 7. Let x(y) = -4*y - 7. Let c(r) = -3*k(r) + 2*x(r). Let w be c(-7). Suppose -5*s - 23 + 98 = w. Does 9 divide s?
False
Suppose 4*a = l + 2*a - 43, 0 = 4*l - 2*a - 148. Is 6 a factor of l?
False
Suppose -2*j - j - 5*h = -62, 0 = 5*j + h - 96. Suppose -57 = -4*v + j. Suppose n - 1 - v = 0. Is 19 a factor of n?
False
Let r(c) = c**3 + 13*c**2 + 13*c - 14. Let l be r(-11). Suppose 0*k = 2*k. Suppose -19 = -3*s - g + 30, 5*s + g - l = k. Is s a multiple of 6?
True
Suppose -3*s - 45 + 14 = h, -51 = 5*s + 2*h. Let y = s + 17. Does 3 divide y?
True
Suppose -n = n - 208. Suppose -2*b = 2*b - n. Does 14 divide b?
False
Let x = -31 + 74. Is 9 a factor of x?
False
Suppose 0 = -2*t - t + 9. Suppose -a + 40 = -t*m - m, 2*a - 65 = 3*m. Is 7 a factor of a?
True
Let n = 68 + -32. Suppose 3*v - 2*u + u - 22 = 0, 5*v = u + n. Is 3 a factor of v?
False
Let r(y) = -7*y - 6. Let h(b) = -29*b - 25. Let w(u) = -6*h(u) + 26*r(u). Does 7 divide w(-4)?
False
Let s be (2/(-6))/((-6)/162). Is ((-6)/s)/(2/(-171)) a multiple of 16?
False
Is 3 a factor of 12/(-3 + 8 + -3)?
True
Suppose 4 = 2*y - 128. Is 22 a factor of y?
True
Suppose -4*x + z + 26 = 0, -2*x + 2*z + 17 = x. Suppose 0 = 3*j - x*j - 12. Does 8 divide j*(-8)/9*3?
True
Suppose -i = 4*o + i - 318, -o = 2*i - 84. Suppose -k + 2*k = o. Does 12 divide k?
False
Let w(s) = -s. Let o(n) = -6*n - 9. Let h(t) = -o(t) + 5*w(t). Let l be h(-7). Does 17 divide (l/2 + 33)/1?
True
Let s(z) = -2*z**3 - 3*z**2 - z + 10. Is 38 a factor of s(-5)?
True
Suppose 3*t - 2 = -14. Let v = t + 9. Does 2 divide v?
False
Let b(g) = -3*g. Let s be b(-4). Let l(j) = j**2 - 12*j + 18. Let k be l(s). Let m = k + 27. Does 19 divide m?
False
Let k(w) = 9*w**3 + 27*w**2 + 29*w - 16. Let z(u) = -4*u**3 - 13*u**2 - 14*u + 8. Let y(o) = -3*k(o) - 7*z(o). Is y(-8) a multiple of 12?
False
Let y = 24 - -46. Does 10 divide y?
True
Let k be 2*(-1 + (-5)/2). Let s(w) = -w**2 - 8*w + 3. Is 5 a factor of s(k)?
True
Let t(q) = q**2 + 3*q - 3. Let z be t(3). Suppose -v = -2*v + 4*o + 60, 0 = 5*o + z. Is 14 a factor of v?
False
Suppose -160 = -4*t - 5*i + 55, 4*i = t - 38. Is t a multiple of 10?
True
Suppose 3*p - 2*m - 10 = 0, 0 = -2*p - 4*m + m - 2. Let g = 0 - 1. Does 2 divide (-2 + 3 - g) + p?
True
Suppose 3*w + 0*y = y - 64, -6 = 3*y. Let f = w - -36. Is f a multiple of 7?
True
Suppose -9*k + 215 = -4*k. Does 20 divide k?
False
Let i(a) = 8*a + 7. Let r be i(6). Let b = r - 21. Is b a multiple of 17?
True
Suppose -2*o + 150 = 3*o. Does 5 divide o?
True
Let s = -3 + 7. Let m = s - 2. Let n = 5 - m. Does 3 divide n?
True
Suppose -5*l = 5, k + 3*l - 1 = -0*k. Suppose 3*d = -k*q + 224, -4*d + 3*q = -2*q - 247. Does 18 divide d?
False
Suppose -3*o = -o + 14. Let y(r) = -5*r**2 - 4*r + 13. Let x(v) = -9*v**2 - 9*v + 25. Let d(z) = 4*x(z) - 7*y(z). Is 14 a factor of d(o)?
False
Let k be -17 - -1 - (-3)/(-3). Let u be 10/(-5) - (-5 + 1). Is 8 a factor of u - (4 + -1) - k?
True
Let i(c) = 9*c - 9*c + 5*c**2. Let s be i(2). Let m = -13 + s. Is m a multiple of 4?
False
Suppose -17 = 4*m + 43. Suppose 0 = -i + 6*h - 2*h + 19, -29 = -5*i - 2*h. Let l = i - m. Does 11 divide l?
True
Let f = -10 + 6. Let v be (-18)/(-12) - 14/f. Suppose -5*z + 5*q = -60, -3*z - v + 51 = -5*q. Is z a multiple of 3?
False
Let v(f) be the second derivative of f**4/12 + 5*f**3/6 + 2*f**2 + 25*f. Let w(p) = -p**2 + p - 5. Let z be w(0). Is v(z) a multiple of 3?
False
Let p(b) = -b**2 + 6*b + 7. Does 4 divide p(6)?
False
Suppose -5*x = -13 - 12. Let r(b) = -b**2 + 7*b + 4. Is 14 a factor of r(x)?
True
Let m(p) = p + 2. Let x be m(-2). Suppose 2*c + 6 = x, k + 5*c = -5 - 0. Does 10 divide k?
True
Let y(f) = -f**2 + 10*f + 11. Is 18 a factor of y(9)?
False
Suppose 3 - 1 = -2*m. Let f(d) = 8*d**2 + d + 1. Does 6 divide f(m)?
False
Suppose 4*s - 210 = -3*p, 5*p + 3*s = s + 350. Suppose -2 - p = -2*q. Is 5/(15/q) - -2 a multiple of 6?
False
Suppose -8*i = -0*i - 1736. Does 15 divide i?
False
Let y(t) = 8*t + 8. Does 20 divide y(9)?
True
Suppose 378 = 4*t + 2*t. Does 9 divide t?
True
Suppose 0 = -2*k + k + 5. Is 2 a factor of k?
False
Let n be 10/25 + (-313)/(-5). Let g = n - 41. Is 11 a factor of g?
True
Suppose 5*w - 4 = -14, 2*a - 14 = 3*w. Suppose -4*d + 80 = a. Is 17 a factor of d?
False
Let d = -3 - -5. Suppose -d*t + 29 = -15. Does 11 divide t?
True
Let o = -2 - -5. Suppose 2*w + 5*t - 39 - 12 = 0, 86 = o*w - 2*t. Let j = w - 17. Does 4 divide j?
False
Let i = -65 + 125. Is i a multiple of 20?
True
Let c be (-1)/(((-2)/(-8))/(-1)). Suppose -4 + 16 = c*i. Suppose i*f = 3 + 60. Does 15 divide f?
False
Let y(b) = -3*b - 2. Let z be ((-6)/6)/(1/(-2)). Let t(i) = 16*i + 11. Let s(c) = z*t(c) + 11*y(c). Does 3 divide s(-6)?
True
Suppose -5*f + 61 = -399. Suppose 6*s = 2*s + f. Suppose 72 = 5*c - s. Does 14 divide c?
False
Is -5 - (-726)/10 - 2/(-5) a multiple of 11?
False
Let m be (-86)/(-18) - 4/(-18). Let q(i) = -13*i**2 - 3*i - 5. Let k(d) = -7*d**2 - 2*d - 3. Let b(h) = 11*k(h) - 6*q(h). Is b(m) a multiple of 2?
True
Let r(p) = -4*p - 5. Let l be r(6). Suppose -2*w = -98 + 2. Let m = l + w. Is 8 a factor of m?
False
Suppose 0 = l + 4 - 13. Let p(c) = 33*c**2 - c + 1. Let a be p(1). Let t = a - l. Is t a multiple of 12?
True
Let a(g) = -g**3 - g**2 + 2*g - 10. Does 30 divide a(-4)?
True
Let i(s) be the third derivative of s**5/60 + 7*s**3/6 - 3*s**2. Let g be i(-5). Is 4 a factor of g/(-2)*(-2)/4?
True
Suppose 0 = -17*d + 8*d + 369. Is d a multiple of 9?
False
Suppose -4*c + 11*c - 14 = 0. Suppose c = a - 0*a + 4*i, 0 = -5*a + 5*i + 35. Is 5 a factor of a?
False
Suppose -3*i + 8 = -1. Let f be (-23)/(-1) - (3 - 0). Suppose -i - f = -p. Is p a multiple of 16?
False
Let i be 2/2*(1 + -1). Suppose i = -c + 20 - 3. Does 7 divide c?
False
Let k(r) = 9*r**2 + 2*r - 3. Suppose -2*x + 0*x = 5*u - 16, 0 = 4*u - 2*x - 20. Suppose 3*v - 22 = -u*c, -4*v + 3*c - 4 = -0*c. Does 17 divide k(v)?
False
Suppose 2*v - 168 = 6*v. Is ((-18)/(-4))/((-7)/v) a multiple of 14?
False
Let s(f) = 3*f - 14. Is s(7) a multiple of 7?
True
Let p(t) = t**2 - 4*t - 2. Suppose -2*c - 4*q - 8 = 0, -q + 13 = c - 3*c. Let j be p(c). Suppose -5*m - j = -218. Does 16 divide m?
True
Let s = 67 - 36. Let c = -13 + 3. Let j = s + c. Is j a multiple of 8?
False
Suppose 6*c = 2*c - 32. Is 21 a factor of c/(-60)*-6*-50?
False
Suppose 5*w - 200 - 20 = 0. Does 22 divide w?
True
Let h(i) = -9*i + 1. Let s be h(1). Let o be s/(-2)*1*-1. Is -3*o/(-6)*-13 a multiple of 9?
False
Suppose -40 = -2*c - 4*g, -48 + 152 = 4*c + 2*g. Is c a multiple of 7?
True
Let s(i) be the third derivative of -i**6/120 - i**5/30 + i**4/12 + i**3/2 - 5*i**2. Does 5 divide s(-4)?
False
Suppose 3 - 47 = -4*p. Is 7 a factor of p?
False
Let z(s) = s**3 + 3*s