 n?
True
Is 21 a factor of (3/(-9)*-56)/(11/99)?
True
Let x = -4 - -1. Let q(g) = -8*g**3 - 5*g**2 - 3*g - 4. Let k(o) = 7*o**3 + 5*o**2 + 3*o + 3. Let s(m) = -6*k(m) - 5*q(m). Is 12 a factor of s(x)?
False
Suppose -10*f - 2*f + 1656 = 0. Is 11 a factor of f?
False
Suppose 3*m + 2*m = 1925. Suppose 4*t = -3*o + 308, 5*t = 2*o + o + m. Is t a multiple of 31?
False
Suppose -4*o - 12 + 84 = 0. Is 6 a factor of o?
True
Let s = 38 + -12. Suppose -3*k = -a - 6, -3*k - 4*a - 5 = -s. Suppose 0 = -u + k*u - 44. Is 11 a factor of u?
True
Let d(j) be the third derivative of j**5/20 - j**4/8 - j**3/6 - j**2. Does 8 divide d(3)?
False
Suppose 0*w + 471 = 3*w. Is w a multiple of 44?
False
Is 527/3 + (-34)/51 a multiple of 25?
True
Suppose h - 84 = -2*h. Is 21 a factor of h?
False
Let b(m) = -13*m - 8. Is 2 a factor of b(-2)?
True
Let s be 8/(-5)*(-5)/2. Suppose s*j = 2*j + 42. Is j a multiple of 9?
False
Let a(k) = k**2 + 5*k + 8. Is a(-7) a multiple of 12?
False
Suppose -113 + 329 = 6*m. Is 9 a factor of m?
True
Let s be 10/(-15) + (-14)/(-3). Suppose -5*q + 16 = -l - s, 0 = l - 4*q + 15. Suppose r - 63 = -l*j, 3*r - 57 = -2*j - 2*j. Is 6 a factor of j?
True
Suppose -5*j - 29 = 16. Let g(m) = -5*m - 4. Does 14 divide g(j)?
False
Let o(d) = 2*d**2 - d + 7. Let s be o(-5). Let q = 113 - s. Let b = q + -18. Is 16 a factor of b?
False
Let v be 0*(-3)/(-9) - 0. Suppose v*d = -d + 35. Does 35 divide d?
True
Let y(z) = -3*z**3 - 21*z**2 - 8*z - 11. Is 53 a factor of y(-8)?
False
Let d(k) = -3*k**2 - k + 28. Let o(t) = -t**2 + 9. Let i(r) = -4*d(r) + 11*o(r). Is i(-9) a multiple of 8?
True
Suppose 2678 = 10*w + 3*w. Does 13 divide w?
False
Is 4123/28 + 3/(-12) a multiple of 30?
False
Suppose -586 = -3*u - 4*n - 0*n, 3*n = 5*u - 1025. Suppose 0 = 5*y - u + 22. Is y a multiple of 18?
True
Suppose 5*s = -5*t + 40, 3*s - 7 = 2*t + 2. Suppose -50 = t*c - 8*c. Is c a multiple of 7?
False
Suppose 68 = 2*v - 2*c, -182 = -5*v - 0*c + 2*c. Is v a multiple of 21?
False
Let i = -25 + 45. Let h be i/6 + (-2)/6. Suppose h*y - 13 = -4. Is 3 a factor of y?
True
Suppose 7*x = 6*x + 20. Suppose 3*c = -2 + x. Is c a multiple of 2?
True
Suppose 2*d = -d. Suppose -f + 2*v - 6*v - 34 = d, 2*v = 3*f + 46. Is 9 a factor of (-13 - -6)*f/7?
True
Let g be 1 - (12 - (-4 - -3)). Is 37 + g/(-4) + 1 a multiple of 24?
False
Let m be -1 + 4 - (34 + -4). Let n be (-4)/(-6) + 1/3. Does 18 divide n - -1 - (m - 0)?
False
Suppose 5*p = -25, p - 13 - 6 = -m. Does 4 divide m?
True
Suppose 3 = -5*g - 37. Let m be 2/8 + (-342)/g. Suppose 3*i + 4*w = 97, -w + m = i + 3*w. Is i a multiple of 15?
False
Suppose n - 4 = -n. Let o be 0*2/n - -4. Is (-22)/(-4)*o + -3 a multiple of 11?
False
Let b(r) = -2*r - 7. Let m be b(-5). Suppose 81 = m*o - 45. Is 9 a factor of o?
False
Suppose 0 = -5*x + 19 + 21. Suppose 33 - x = 5*l. Does 4 divide (-46)/(-5) + (-1)/l?
False
Let j be (4/(-8))/((-1)/2). Let q = 6 + j. Let g(v) = -v**3 + 7*v**2 + v + 7. Does 8 divide g(q)?
False
Suppose 3*g - 5*q + 158 = 6*g, 3*g + 3*q - 168 = 0. Suppose 4*l - g = 47. Does 11 divide l?
False
Let o(g) = g - 3. Let m be o(6). Suppose m*i - 77 = -2*t, -i - 5 = -5*t - 25. Does 14 divide i?
False
Let z = -185 - -306. Is 10 a factor of z?
False
Let i be 1*(5 + 1 + 0). Let g = 87 + -89. Is 3/g*(-56)/i a multiple of 7?
True
Suppose -25 = -2*v - 3*v, -2*w - 4*v = -264. Does 10 divide w?
False
Let a(f) = -f**3 - 7*f**2 + 7*f - 4. Let b = -13 - -5. Does 4 divide a(b)?
True
Suppose -p + 94 = 4*r, -6 = p - 4. Is r a multiple of 24?
True
Let p = 33 - 6. Is 2 a factor of p?
False
Is 15 a factor of 16/20 + 684/20?
False
Suppose 4*u + 21 = u. Let r = 9 + u. Does 13 divide ((-33)/(-2) - -2)*r?
False
Suppose -14*h + 924 = -8*h. Does 15 divide h?
False
Let b = 6 - 9. Is (b/(-5))/((-1)/(-10)) a multiple of 4?
False
Suppose 3 + 3 = 3*g, 4*b = 5*g - 2. Suppose -5*z = -10, -3*t + b = -z + 4. Suppose 3*a = 4*x + 37, t = -2*a - 7*x + 3*x + 38. Is 6 a factor of a?
False
Let j(x) = -x**2 - 10*x - 7. Let l be j(-6). Suppose -5*h + l = -3. Suppose 0 = -2*m - 0*m + h*a + 38, 5*m = 5*a + 75. Is 11 a factor of m?
True
Let s(f) be the second derivative of -f**5/20 + f**4/12 + f**3/3 + 2*f. Let g be s(2). Is 20 a factor of g + 43 + 0 + -1?
False
Suppose -690 = -10*g - 0*g. Is 23 a factor of g?
True
Let h = -269 - -378. Does 14 divide h?
False
Let d(c) = c**3 + 5*c**2 + 2*c - 5. Let q be d(-4). Suppose -166 = -q*p + 2*h - 3*h, -p + 72 = -3*h. Does 19 divide p?
True
Let y be (4/(-6))/((-1)/105). Suppose 0 = -3*k - 2*k. Suppose k = 8*o - 3*o - y. Does 14 divide o?
True
Let x(d) = d**3 - 3*d**2 - 4*d - 7. Let h be x(5). Suppose -56 = -3*i - t, 2*i - 3*i + 4*t = -h. Is 10 a factor of i?
False
Let p(a) = a**3 + 4*a**2 + 5*a + 6. Let m be p(-3). Is 22 a factor of m + (2 - 2) + 44?
True
Let p(a) = -2*a. Let b be p(-14). Suppose 0 = 4*w - 5*w + b. Is 6 a factor of w?
False
Suppose 0*d - 2*b - 32 = -4*d, 18 = 5*d + 3*b. Let w(m) = m**3 - 6*m**2 + 8. Is w(d) a multiple of 8?
True
Let f = -12 - -12. Suppose f*q - 32 = -2*q + 2*b, q = -b + 8. Is q a multiple of 8?
False
Let y be 6/(-4) + (-3)/2. Is 6 a factor of (1/y)/(2/(-78))?
False
Let g(a) be the second derivative of 3*a**3/2 - a**2 - a. Let f be g(-8). Let c = -48 - f. Is 13 a factor of c?
True
Let p = -12 - -56. Let l = p - 20. Is l a multiple of 17?
False
Suppose 5*b = 53 + 37. Does 6 divide b?
True
Let j(a) = -a + 4. Let b = 9 - 14. Let w be j(b). Is (-12)/((-1)/(6/w)) a multiple of 6?
False
Let d be -6 + -3 + 1 + 3. Let p = d + 16. Is 11 a factor of p?
True
Suppose -4*o + 26 = -3*y, 2*o + 0*o + y - 8 = 0. Does 11 divide o*((-248)/(-10))/4?
False
Let n(m) = 11*m**3 - 3*m**2 + 3*m + 2. Is n(2) a multiple of 20?
False
Suppose -s = 2*s. Let p(u) = -3*u**2 + s*u**3 - u**3 + 4*u - u**3 - 1. Does 11 divide p(-3)?
False
Suppose 0 = 5*p - 4*m - 240, -2*m + 78 = -p + 3*p. Is p a multiple of 16?
False
Is 17 a factor of (70/(-15) + -1)*-9?
True
Suppose a = 2, 5*r + 23 = -5*a + 453. Suppose -4*v = -0*v - r. Is v a multiple of 21?
True
Suppose 5*m - 4*m = 0. Suppose -i + 2*s + 26 = m, 139 - 2 = 4*i + 3*s. Does 8 divide i?
True
Let y = 24 + -77. Let u = y + 95. Is u a multiple of 14?
True
Suppose -4*d - 4*m = -72, -4*d + 2*d - 3*m = -36. Suppose -g + 4*g - d = 0. Suppose -g*v + 5*v = -38. Is v a multiple of 14?
False
Let a be 0 + (1 - -1) - 2. Suppose a = -p + 3 - 0. Does 8 divide -22*1*p/(-6)?
False
Let w(j) be the second derivative of -5*j**3/3 + j**2/2 - 11*j. Suppose 10*t - 5*t = 4*h + 19, 0 = 5*h - 2*t + 11. Is 11 a factor of w(h)?
True
Is 3 a factor of (-2)/(-6) + (-26)/(-3)?
True
Let c(s) = -2*s**2 + 11*s + 1. Let k(u) = 5*u**2 - 23*u - 3. Let h(x) = 7*c(x) + 3*k(x). Let v be h(-4). Is 5 a factor of (v/(-8))/((-6)/(-16))?
False
Let v = -28 + 113. Does 20 divide v?
False
Let x(k) = -7*k**3 - 2*k**2 + 1. Let o(a) = 3*a + 1 + a**2 - 9*a - 2. Let r be o(6). Is x(r) a multiple of 3?
True
Suppose 83 - 255 = -4*x. Is x + -1*2/(-2) a multiple of 23?
False
Let n be (-4)/12 - 43/(-3). Suppose -d = d - n. Is d a multiple of 7?
True
Let b(i) = 2 + 1 + 8*i + 0. Is 11 a factor of b(4)?
False
Suppose -3*v = g + 10 - 41, -11 = -3*v - 5*g. Suppose 0 = -h + v. Is h a multiple of 6?
True
Let g(n) be the second derivative of -n**4/12 + n**3/6 - 2*n**2 - 2*n. Let m be g(4). Let k = m - -46. Does 16 divide k?
False
Is (-2 - (1 - -50))*-1 a multiple of 20?
False
Let j(o) = -o**3 - 4*o**2 - o - 2. Let r be j(-4). Suppose 0 = r*v - 6*v + 488. Is (-5)/20 + v/8 a multiple of 11?
False
Let p be (4/(-3))/((-2)/18). Let z = p - -50. Suppose 2*h = -2*q + z, -4*h + q + 146 = 27. Is 15 a factor of h?
True
Let i(y) = -5*y + 4. Is i(-10) a multiple of 18?
True
Let n = 35 + -9. Is n a multiple of 26?
True
Let b = 3 - 3. Suppose -y + 3*y + 2 = b. Is 14 + (y - -2)*-2 a multiple of 6?
True
Let n(r) = 2*r - 3. Is n(6) a multiple of 2?
False
Let w = -43 - -16. Suppose j = 3*j + 30. Let d = j - w. Is 6 a factor of d?
True
Suppose -48 = -3*t + 9. Is 15 a factor of t?
False
Suppose 0 = -2*h - 2*q + 70, h = -3*q + 4*q + 29. Does 3 divide h?
False
Let r be 1/3*0 - -5. Suppose -5*w = -r, o + 3*o + 4*w = 148. Is o a multiple of 18?
True
Let l = -111 + 293. Is l a multiple of 33?
False
Let k(d) = -d - 1. Let w(v) = v + 2. Let y(f) = -4*k(f) + w(f). Does 18 divide y(8)?
False
Suppo