3?
True
Suppose -5*d = 2*d - 280. Does 8 divide d?
True
Let b be (9 - 1)/((-2)/8). Let r = b + 61. Is 10 a factor of r?
False
Does 19 divide -5 - -120 - 5 - (4 + 0)?
False
Let l be 3/(4/(-4))*1. Is 15 a factor of 94/(4 + 6/l)?
False
Suppose 3*t - 9 - 27 = 0. Suppose -4*r + 13 = -k, t = -k - 2*k + 3*r. Is 1*(k - -23 - -2) a multiple of 12?
True
Let y = 115 - 27. Suppose 5*d = d + y. Let v = d - -16. Is 19 a factor of v?
True
Let x = 165 - 85. Is x a multiple of 7?
False
Let k(u) be the third derivative of -u**4/24 + 2*u**2. Let y be k(6). Does 3 divide 2*(-1 + y/(-2))?
False
Let o(u) = 4*u - 5. Let r(g) = -20*g + 26. Let n(i) = 16*o(i) + 3*r(i). Is n(4) a multiple of 14?
True
Suppose -3*a + 6*a - 30 = 0. Suppose -3*o - 5*k - 45 = -8*o, a = -5*k. Is o a multiple of 7?
True
Suppose 6*q - 32 = 40. Does 3 divide q?
True
Suppose q - 112 = 18. Is 10 a factor of q?
True
Suppose 0 = -3*p + p + 4. Let b(q) = 2*q**3 - 4*q**2 + 2*q. Is b(p) a multiple of 4?
True
Suppose -5*n + r = -23, -r = -3*n - 5*r. Suppose -4*f = n*a - 656, -3*f = a - 213 + 47. Suppose 4*g = -43 + a. Is g a multiple of 14?
False
Let j(v) = v**2 - 8*v - 1. Let h be j(8). Is 10 a factor of (-12)/(-1) + (h - 1)?
True
Let c(a) = -2*a - 16. Is 2 a factor of c(-14)?
True
Let c = 93 - 26. Is 30 a factor of c?
False
Let o(a) = -14*a - 12. Does 8 divide o(-10)?
True
Suppose 0 = 5*w + 4*j + 17, -5*j = 18 - 3. Let t = 1 + w. Suppose 4*m + 3*p - 20 = -0*p, t = p. Is m a multiple of 5?
True
Suppose -2*z = -3*m + 7, -20 + 6 = -4*m - 2*z. Suppose 27 = m*b + 3. Is 7 a factor of b?
False
Let k(d) = d**2 + 13*d - 16. Let w = -10 + -5. Does 14 divide k(w)?
True
Is 62 + ((-3)/3 - -2) a multiple of 9?
True
Suppose 0 = -5*j + j + 24. Suppose 0 = 2*h - g - 102, -3*h + j*h = -g + 158. Is 26 a factor of h?
True
Suppose z + 18 = 93. Does 25 divide z?
True
Let o = -10 - -3. Let i = 11 + o. Suppose 120 = i*c + c. Is c a multiple of 24?
True
Suppose 0 = 5*d - 238 - 542. Is d a multiple of 8?
False
Suppose -5*u + 0 + 5 = 0. Suppose 0 = 5*l - 9 - u, b + 2*l - 26 = 0. Does 11 divide b?
True
Let u(z) = 8*z + 8. Let p be u(-7). Suppose 2*t = 4*t - 18. Is (-6)/(4/(p/t)) a multiple of 5?
False
Let g(l) = 2*l**3 + 2. Let h(m) = -m - 4. Let n be h(-7). Is g(n) a multiple of 28?
True
Suppose 3*s = 3*u - 54, -u - s = -6*s - 26. Let d be (-1)/2*1*18. Let k = d + u. Is k a multiple of 3?
False
Let t = 144 + -88. Is t a multiple of 17?
False
Let q = 17 - 0. Suppose -3*v = -73 - q. Does 9 divide v?
False
Is 245 + (-4 - -4) + (-1 - -5) a multiple of 46?
False
Let n(c) = c**3 - 6*c**2 - 3*c - 10. Suppose 5*m = 10 + 25. Is 8 a factor of n(m)?
False
Suppose 0 = -2*v - 3*v + 460. Does 11 divide -3 - (v/(-2) - -2)?
False
Let b(y) = -y**3 - y**2 + y + 1. Let u be b(-1). Let v be (-2)/1 - (-2 + u). Does 9 divide v/3 + -2 + 11?
True
Suppose 0*p - 4*p - 735 = -5*m, -720 = -5*m + p. Is m a multiple of 11?
True
Suppose 5*z + 17 = -33. Let m = z - -20. Is 9 a factor of m?
False
Let o(x) = x**2 + 2*x + 1. Let v be o(-3). Suppose -v = 2*h, u + 9 = h + 41. Is 14 a factor of u?
False
Let o(m) = -m - 2. Let b be o(-2). Suppose b = -4*g + 2*v + 2*v - 4, -4*v = -2*g. Is g/(-11) - 832/(-22) a multiple of 19?
True
Let l(i) = -3 + 10*i - i**2 - 3*i - 1 - 1. Let x be l(8). Let z(u) = -u**3 - 12*u**2 + 13*u + 7. Is z(x) a multiple of 7?
True
Does 11 divide (65 - 1)*(-1)/(-2)?
False
Let t(c) = 6*c - 2. Let j = -4 - -6. Is 3 a factor of t(j)?
False
Let p = 472 + -328. Is 16 a factor of p?
True
Let i(r) = 1 - r**3 - 2*r + 0*r + 5*r**2 + 0*r**3. Let k be i(4). Suppose k = -4*n + 49. Is 5 a factor of n?
True
Let b = 4 + 12. Does 16 divide b?
True
Suppose -8 = 4*j, 3*v - j = 3*j + 77. Let k = -14 + v. Is k a multiple of 9?
True
Let a(d) = -d**3 - 7*d**2 + 2*d + 9. Suppose -5*o = 2*c + 37, -3*c + 0*c - 3 = 0. Let j be a(o). Let q = 13 + j. Is q a multiple of 8?
True
Let g(i) be the third derivative of 0 + i**2 - 1/60*i**5 + 1/24*i**4 + 1/120*i**6 + 0*i + i**3. Is g(0) a multiple of 3?
True
Suppose 7*c - 4*c = 0. Suppose -3*u = w - 110, -5*u + w + 3*w + 172 = c. Does 12 divide u?
True
Suppose p + 10 = 6*p. Let j(q) = -5 + 8*q + 5 - p. Is j(2) a multiple of 7?
True
Suppose 2*l = -l - 150. Is 31 a factor of (-2460)/l - (-2)/(-10)?
False
Is 1/(4/260) + 1 a multiple of 22?
True
Let p(l) = 3*l**2 - 5*l - 3. Let a be p(-6). Let j = a + -95. Suppose 0 = -3*b, -3*r + j = 2*r - 3*b. Is 7 a factor of r?
False
Let l(z) = z**2 + 5*z - 7. Let q be l(-6). Let w = q + 6. Suppose -2*t = -3*i - w, 0*t - 5*t - 2*i = -41. Is t a multiple of 7?
True
Let y = -52 + 148. Is 10 a factor of y?
False
Suppose 2*o + 0*o + 5*k = 19, o - 3*k = -7. Is 8 a factor of (-74)/(-9) + o/(-9)?
True
Let n = -72 - -114. Is n a multiple of 14?
True
Suppose 5*s - 12 = 2*s. Suppose 4*r = -4*j + 60, -s*r - 25 = r. Suppose -2*i = -0*i - j. Is 10 a factor of i?
True
Let b(w) = w**3 + 5*w**2 - 5*w + 8. Suppose 2*l = -2*l - 24. Let n be b(l). Suppose -128 = k - 5*k + n*g, g = -4. Is k a multiple of 15?
True
Let n be 3 + 4/(8/6). Let a = n + -3. Is a a multiple of 3?
True
Let x(i) = 2*i**2 + 6*i + 2. Suppose -4 - 23 = -3*q. Let w = q - 13. Is x(w) a multiple of 5?
True
Does 18 divide -4*((-1)/2)/(3/189)?
True
Suppose 3*v = -y + 474 - 158, 0 = v + 5*y - 82. Is 31 a factor of v?
False
Let q(z) = 7*z + 4. Let k be q(-10). Let f = k + 130. Is 32 a factor of f?
True
Let k(y) = y**3 + y**2 - 15. Let a be k(0). Let z be (-29 - 1) + 6/3. Let o = a - z. Does 10 divide o?
False
Suppose 48 = n - 4*n. Let j = n + 32. Does 13 divide j?
False
Let i(h) = -h**2 - 7*h + 10. Let n be i(-9). Let t(c) = 0 - 4 - 3*c + 2. Does 22 divide t(n)?
True
Suppose -4*a + 31 - 7 = 0. Is 5 a factor of 8/((-3)/(a/(-2)))?
False
Let y(j) = -j**3 + 10*j**2 - 13*j + 13. Let b be y(9). Let l = b - -40. Does 17 divide l?
True
Suppose 3*f + 18 = 78. Does 13 divide f?
False
Suppose -q = -4*q - 5*h + 176, -5*q - 2*h = -306. Suppose 3*a = -4*z + 114, z + z = a + q. Does 18 divide z?
False
Let i(c) = -3*c + 6. Let x be i(-3). Let k = -12 + x. Is k a multiple of 2?
False
Suppose -142 = 2*y - 5*y - 2*c, 2*y - 103 = -3*c. Is 3 a factor of y?
False
Let r(x) = 5*x**2 + 3*x - 1. Let s be r(5). Suppose 5*l = -4*n + 228, -187 - s = -5*n + 4*l. Is n a multiple of 25?
False
Let n(u) be the second derivative of u**6/240 + u**5/24 + u**4/12 - 2*u. Let k(i) be the third derivative of n(i). Is k(5) a multiple of 11?
False
Suppose 5*m + 2*f = 184, 2*m + 2*f - 78 = -f. Is 7 a factor of m?
False
Suppose -9 = -5*s + 11. Suppose s*h = 4*r + 12, r - 4*h = -2*r - 12. Suppose 5*z + r = 15. Is 2 a factor of z?
False
Let d(q) = -q - 1. Let b(t) = 15*t + 9. Let m(x) = -b(x) - 6*d(x). Let y(g) = 19*g + 6. Let s(w) = 5*m(w) + 2*y(w). Is s(-7) a multiple of 12?
False
Suppose 230 = 4*o + 3*z - 65, -o + 80 = 2*z. Is 10 a factor of o?
True
Let m = 58 - -95. Is m a multiple of 6?
False
Let w(o) = 4*o**3 + 16*o**2 - 7. Let u(b) = -b**3 - 5*b**2 + 2. Let x(f) = 7*u(f) + 2*w(f). Is 6 a factor of x(4)?
False
Let c = 35 + -26. Is 9 a factor of c?
True
Let u(a) = a**2 - a + 7. Let g be u(0). Suppose -g - 14 = -w. Does 14 divide w?
False
Suppose 3*c - 10 = -5*w, 0 = 4*c + 5*w - 29 + 9. Does 3 divide c?
False
Suppose h + 102 = 3*x - h, h = -3. Does 32 divide x?
True
Let x be (-2)/(-1) - 2/(-2). Suppose -2 = -x*d - 17, 2*r + 10 = -4*d. Let u = -2 + r. Is u a multiple of 3?
True
Let p(y) = -y + 8. Let t = 13 + -21. Let n be p(t). Suppose 0 = 3*b + 2*c - 3, 5*c + 14 = 5*b - n. Is b a multiple of 3?
True
Is (3*(-4)/(-18))/(4/774) a multiple of 43?
True
Let x(h) = 21*h**2 - 4. Is x(2) a multiple of 22?
False
Suppose 2*p = 2*d - 6, -3*p + 1 = -4*p. Is (-3)/d - (-237)/6 a multiple of 13?
False
Let c(n) = n**3 + 5*n**2 + 2*n - 4. Let u be c(-4). Suppose 24 = -u*r - 5*m + 109, 5 = 5*m. Suppose 4*x - r = 16. Is x a multiple of 4?
False
Let d(l) = -2*l**3 - l**2 - l - 1 + 3*l - 2*l**2 + l. Is 9 a factor of d(-3)?
False
Let f be (-39)/(-6) + (-2)/(-4). Suppose 2*v + 6 = 3*p + 2, 32 = -2*v - 4*p. Does 4 divide 28/v*(-20)/f?
False
Let j = -3 - -1. Let w = 5 + j. Suppose -2*c + w*c = 6. Does 3 divide c?
True
Suppose -4*v = -20 + 4. Is 4 a factor of v?
True
Let w = -89 - -154. Is 7 a factor of w?
False
Let a = -32 - -186. Suppose -k - 21 = 4*w - a, -5*w - k + 165 = 0. Does 16 divide w?
True
Is 1/((-2)/6