 a multiple of 8?
False
Let d(j) = j**3 + 11*j**2 - 15*j - 12. Is 8 a factor of d(-12)?
True
Let l = -85 - -142. Does 3 divide l?
True
Let i = -264 - -456. Suppose -i = -3*h + 111. Is 27 a factor of h?
False
Suppose -2*p + 2 + 4 = 0. Suppose -5*r = -3*c + 132, -5*c + 140 = -2*r - p*r. Let x = 14 - r. Is 19 a factor of x?
True
Suppose -9 = -3*c + 9. Is c a multiple of 3?
True
Suppose -3 = -5*a + 367. Is a a multiple of 10?
False
Suppose 4*i - 4*h - 800 = 0, -5*i - 253 + 1261 = -3*h. Does 34 divide i?
True
Let u = -1 - -13. Is u/42 + (-236)/(-7) a multiple of 17?
True
Let f(p) = p**3 - 8*p**2 - 6*p + 23. Does 17 divide f(10)?
False
Let o = 0 - -33. Is o a multiple of 10?
False
Let z = 18 + 6. Suppose 3*l - l = z. Is l a multiple of 7?
False
Let x = 6 + -2. Suppose x*u = -0*u + 128. Is 17 a factor of u?
False
Let i = 151 - 67. Let h = i - 42. Is 14 a factor of h?
True
Let y(w) = -17*w + 1. Let j be y(-2). Suppose 5*h = l - j, 123 = 5*l + 2*h - h. Is 10 a factor of l*((-4)/5)/(-2)?
True
Let o = -26 - -98. Is 12 a factor of o?
True
Suppose -1 = -3*r + 5, 3*x = 2*r + 59. Does 7 divide x?
True
Suppose -2*z - 40 = -2*x, -x + 4*z + 18 + 8 = 0. Let f be (-3)/(((-2)/3)/2). Let v = x - f. Is 5 a factor of v?
False
Let i(a) = a + 14. Let w be 23/(-3) + 1/(-3). Does 6 divide i(w)?
True
Let t(q) be the third derivative of q**6/120 + q**5/60 - q**4/8 + q**3/2 - 2*q**2. Let d be t(2). Let a = d - -5. Does 13 divide a?
False
Let q = -8 - -3. Let u = q + 1. Is 4/16 + (-175)/u a multiple of 12?
False
Let r be (-1)/(-2 - (-1 - 0)). Let m(s) = 6*s - 4*s - r - 5*s. Is 3 a factor of m(-3)?
False
Let f = 4 + -8. Let q = f - -8. Is q a multiple of 2?
True
Let d be 11/66 - (-1)/(-6). Let j be (-91)/(-3) - (-1)/(-3). Suppose 0*s - 5*s + 2*u + j = 0, d = -5*s + u + 25. Is s a multiple of 4?
True
Suppose -2*f - 5 = 3, 0 = -4*q + f + 900. Is 56 a factor of q?
True
Let t be -2 - 0 - (-2 + -453). Suppose 6*d = -147 + t. Is d a multiple of 22?
False
Suppose 21 = 3*d + 4*x, 8*d - 3*d = x + 35. Suppose -5*z = -d*z + 34. Does 5 divide z?
False
Let g(q) = -q. Let d = -8 + 13. Let a be g(d). Is (-18 - 1)*(a - -3) a multiple of 11?
False
Suppose 2*n = 3*c + 2*c - 148, -119 = -4*c + n. Does 15 divide c?
True
Let t(q) = q**2 - 5*q + 4. Let z = 20 - 14. Is t(z) a multiple of 10?
True
Let k = -29 + 43. Suppose 5*l - 3*l - k = 0. Does 7 divide l?
True
Let n be (-2 + 0)/(-2 + 1). Suppose -3*u + 48 = 3*o, -n*o + 48 = o - 2*u. Does 8 divide o?
True
Let f = -71 - -138. Suppose 4*r = -19 + f. Does 4 divide r?
True
Is 5 a factor of (-7 + 4)*13*-1?
False
Let f be (2/(-1) - -2)/(-2). Suppose 2*q - 10 = 2*b - 60, b - 2*q - 22 = f. Does 14 divide b?
True
Let n be ((-2 - -5) + -3)/(-1). Suppose -3*d + 6 = -n*d. Suppose 0 = d*i - 4*i + 40. Is i a multiple of 10?
True
Let j(u) = 4*u**2 - 12*u + 4. Is 41 a factor of j(8)?
True
Let q be (-2)/(-2 - (-8)/6). Suppose -4*x = -13 - q. Is 4 a factor of x?
True
Suppose 3*j + 4 = 46. Suppose 4*o = 0, j = -2*y + o + 3*o. Is 20 + 0 - (-21)/y a multiple of 11?
False
Let j(b) = 8*b + 15. Does 8 divide j(6)?
False
Let u(g) = g**3 - 3*g**2 + g - 1. Let k be u(3). Is ((-6)/k)/((-6)/16) a multiple of 3?
False
Let c = -3 - -5. Suppose -j - 2*s = 7 + 3, -c*j - 5*s - 21 = 0. Let u = j - -36. Is u a multiple of 14?
True
Suppose 5*n = 4*q + 4, -5*n - 4*q - q = 5. Suppose n = t - 3 - 1. Let l(u) = 2*u**2 - 5*u. Is 12 a factor of l(t)?
True
Let x = -4 + 9. Let c(t) = -t**2 + 7*t - 5. Is c(x) a multiple of 4?
False
Suppose g = 4*a + 33, 6*a + 4*g = 2*a - 28. Let z(i) = i**2 + 2*i - 7. Let w be z(-6). Let m = a + w. Does 7 divide m?
False
Let c be 5*7/(105/12). Suppose 0 = 2*k - 2*d - 46, -48 = -c*k + 3*k - 4*d. Is 28 a factor of k?
True
Suppose 0 = 3*w - 6 - 0. Suppose -5*l + 2*r = -153, w*r = 4*l - l - 95. Is 12 a factor of l?
False
Suppose -2*n + 1 + 11 = 0. Is n a multiple of 5?
False
Let m(w) = -2*w**3 - 8*w**2 - 4*w + 1. Let h be m(-6). Let o be (h*-4)/((-4)/6). Is 4/(-14) - o/(-21) a multiple of 16?
True
Let h = 94 - 34. Is h a multiple of 20?
True
Suppose -3*l + 12 = 0, -2*q + 7*l + 272 = 6*l. Does 23 divide q?
True
Suppose -y + 2*y = 2*f - 11, 0 = 5*f + 3*y. Suppose -3*z - 5*t = -8, -z + 3*z + 5*t + f = 0. Is z a multiple of 7?
False
Suppose 0 = -5*p + 12 - 2. Suppose 99 = 5*s - p*s. Is s a multiple of 11?
True
Let w = 15 + -9. Suppose -3*q + w = -0. Is 2 a factor of q?
True
Suppose g - 48 + 11 = 0. Let z = 65 - g. Does 14 divide z?
True
Suppose -4*m + 268 = -5*n, -3*m = -2*m + 3. Let x = 89 + n. Is 11 a factor of x?
True
Let u = 29 - 18. Does 5 divide u?
False
Suppose -2*p + 35 = -5*j, -3*p + 2*j + 30 = -j. Suppose 2*x - p = 15. Is (-2)/5 + 64/x a multiple of 6?
True
Let s be -1 - (-3)/((-3)/(-26)). Let o be 2 - (-3 + (2 - 2)). Suppose 0 = -o*f - 0*f + s. Is f a multiple of 5?
True
Is 285/(-38)*56/(-6) a multiple of 7?
True
Let j(y) = -y**3 - 3*y**2 + y - 4. Let v be j(-4). Suppose 12 = -4*i + 8*i. Suppose -v - 8 = -i*p + 5*r, -52 = -3*p - 4*r. Is p a multiple of 12?
True
Does 36 divide 251/7 - (-2)/14?
True
Let j be -2*((-9)/3 + -3). Suppose -3*b + 51 = j. Is b a multiple of 5?
False
Let n(a) = -a**3 - 17*a**2 + 35*a + 7. Is n(-19) a multiple of 18?
False
Suppose -2*l + 3*w + 231 = 0, -5*l = -l - 3*w - 453. Does 19 divide l?
False
Is 21/2 + -6 + 27/6 a multiple of 3?
True
Suppose 2*y = 6*y - 60. Suppose 4*x - y = x. Is 3 a factor of x?
False
Let x be (6 - 15)*11*-1. Let h = x - 57. Does 14 divide h?
True
Let u(d) = d - 1. Let v be u(2). Let r be v + -1 - (-2 + 0). Suppose 107 = r*s + 31. Does 19 divide s?
True
Suppose 3*b - 27 = -3*y - 0*y, -5*b - 85 = -5*y. Let g = y + 0. Is 8 a factor of g?
False
Suppose 20 = 4*u, -t + 3*u + 1 = 8. Let h be 4/12*9 + 1. Suppose h = z - t. Is z a multiple of 10?
False
Does 23 divide 572/8 - 2/(-4)?
False
Let x be -2 - (-18 + 2*-1). Suppose -5*y + 2*y - x = 0. Let d = 5 - y. Is 9 a factor of d?
False
Let h = 6 - 6. Suppose s + 4*j = -5, 3*s - 4*j + h = 49. Does 11 divide s?
True
Let d(l) = l**3 + 7*l**2 - 10*l - 9. Let q be d(-6). Suppose -2*p + 3*b + q = p, b + 137 = 5*p. Does 20 divide p?
False
Let p be (-57)/(-21) + (-8)/(-28). Let y = 6 + p. Does 6 divide y?
False
Is (-45)/((-9)/12 - 0) a multiple of 10?
True
Let i(g) = 51*g**2 + 3*g + 1. Let r be i(-2). Let n = r + -108. Suppose -q + n = 5*o - 4*q, 5*q = o - 5. Is o a multiple of 17?
False
Let v(k) = 6 - 4 - 12*k + 8*k - 3 + 3*k**2. Is v(3) a multiple of 7?
True
Suppose -3*b + b + 10 = 3*d, 0 = 5*b - 2*d + 13. Let n(i) = -12*i - 2. Let q be n(-2). Let f = q - b. Does 12 divide f?
False
Suppose -l + 0*l + 5 = 0. Suppose -279 = -l*s + 36. Is 21 a factor of s?
True
Suppose -3*j + 69 = -2*u, 0 = -j + 5*u - 18 + 54. Let g be (-4)/3*j/(-14). Suppose -3*y + g*y = -17. Does 8 divide y?
False
Let n(c) = c**2 - c - 8. Let u be n(6). Let t be (2 + u/2)*2. Suppose -h + 3*h = -4*j + 38, -5*h = -j + t. Is j a multiple of 11?
True
Suppose 4*k - 3*j + 67 = 0, 3*k + k + 4*j + 60 = 0. Let y = 31 + k. Is 5 a factor of y?
True
Is 8346/33 - (-2)/22 a multiple of 17?
False
Let w = -64 - -94. Is w a multiple of 3?
True
Let x = 134 - 76. Is x a multiple of 17?
False
Suppose -2*u - 12 = -0*j + 2*j, 0 = 2*j + u + 11. Let r be 6/(-10)*40/(-4). Let x = r - j. Does 10 divide x?
False
Let g(m) = 40*m**2 + 2*m - 1. Let h be 15/3*3/5. Suppose 5*r - 7 = -5*y - 2, 2*y - 3 = -h*r. Is 15 a factor of g(r)?
False
Let z = -16 + 28. Is z a multiple of 7?
False
Let t = 47 - -54. Is 8 a factor of t?
False
Suppose 3*j = 4*y - 15, -y + 6*y = -4*j + 11. Suppose -y*p + 0*p = 0. Suppose -20 = -3*n + 2*i - i, p = -4*n - 5*i + 33. Is 5 a factor of n?
False
Suppose 0 = 3*l + 4*v, -5*v = -l + 5*l - 1. Does 3 divide l?
False
Let x = -4 - -12. Does 4 divide x?
True
Let p(f) = f**2 - 16*f - 1. Let c be p(11). Is -1 - -1 - c/4 a multiple of 11?
False
Suppose -5*s + 7 - 2 = 0, 1 = 2*n - s. Let q(w) = -36*w + 5. Let b(g) = -35*g + 4. Let f(y) = -4*b(y) + 3*q(y). Does 9 divide f(n)?
False
Let s(v) = 4*v. Let g(r) = -3*r + 1. Let b(u) = -2*g(u) - 3*s(u). Does 9 divide b(-3)?
False
Let n(x) = -5*x**3 - x**2 + x + 1. Let q be n(-1). Suppose k = q*i - 5, -i - 20 = -4*k - 5*i. Suppose -5 = -k*m + 67. Is 12 a factor of m?
True
Is 1/(((-1)/(-2)*2)/127) a multiple of 41?
False
Let z = 4 + -8. Let g(a) = -a**3 + 9*a**2 + 4*a - 10. Let m(h)