*w = -4*z - 0*w - 36, -3*z + w = f. Is 9 a factor of m(z)?
True
Suppose y - o + 6*o - 5 = 0, 0 = y - 3*o - 5. Suppose y*j - 2*l - 30 = 0, -2*l = -4*j + 11 + 13. Does 6 divide j?
True
Let n be (-2)/3 + 87/9. Suppose n*r = 4*r + 50. Is r a multiple of 10?
True
Let v(m) = 1 + 3*m - 2 + 0*m - 6*m. Does 14 divide v(-5)?
True
Let p(k) = -43*k**3 + 2*k**2 - 1. Does 10 divide p(-1)?
False
Suppose -3*n - 5*l = -406, 5*l - 538 = -0*n - 4*n. Does 22 divide n?
True
Suppose -2*a + 4*a = 8, -2*a + 214 = 2*k. Is k a multiple of 15?
False
Let x(s) be the second derivative of -5*s**3/6 - 3*s**2 + 2*s. Does 10 divide x(-4)?
False
Let i be 6 + -1 - (2 + -1). Suppose -i*q + 187 = 27. Does 8 divide q?
True
Let u be (-18)/(-8) - 5/20. Suppose 2*j = 2*b + 66, u*b + 11 - 3 = 0. Is 12 a factor of j?
False
Suppose -2*j + 0*j = 2. Let g(p) = -6*p + 1. Is 7 a factor of g(j)?
True
Let c = -6 + 80. Does 56 divide c?
False
Does 6 divide (-299)/(-5) - 30/(-150)?
True
Let f = 22 - 5. Let v = f + 23. Is v a multiple of 20?
True
Let p(s) = -s - 4. Let t be p(0). Let j(c) = -2*c**3 - 5*c**2 + 4*c + 9. Does 14 divide j(t)?
False
Let n(x) = -10*x**3 + 17*x**2 - 25*x - 1. Let h(j) = 3*j**3 - 6*j**2 + 8*j. Let f(v) = -7*h(v) - 2*n(v). Does 15 divide f(4)?
False
Suppose -10 = -2*r + 44. Suppose -r - 65 = -4*d. Let a = 36 - d. Is a a multiple of 13?
True
Let q = -32 - -26. Let d = -12 + 1. Let g = q - d. Is 2 a factor of g?
False
Let s(z) = z - 3. Let c be s(3). Let y be c + 1/1 + -1. Suppose y = o - 6*o + 105. Is o a multiple of 21?
True
Let o = 5 + -2. Suppose 2*s = -5*t + 161, 3*t = -5*s + t + 371. Suppose -8 = -j - y + 13, o*j + y = s. Is j a multiple of 13?
True
Let c = 50 - 30. Is (-1)/((-5)/2)*c even?
True
Is 32 a factor of (4/(-5))/(121/(-40) + 3)?
True
Let z(f) = -7*f**3 + f**2 + f - 1. Let v be z(1). Let d be (-25)/30 - (-1)/v. Does 9 divide (-33)/(-3) + d/1?
False
Let d(u) = 28*u**2 + u. Is d(-1) a multiple of 2?
False
Suppose -x + c - 6*c = -29, 2*x - 28 = -4*c. Suppose x*w - w = 18. Does 2 divide w?
True
Does 12 divide ((-112)/24)/(2/(-9))?
False
Suppose 7 = -5*y + 27, 3*r - 82 = -4*y. Is 11 a factor of r?
True
Let f(i) = -i + 4*i**2 - 7*i**2 + 4*i + 1. Let k be f(-3). Let c = 69 + k. Is 17 a factor of c?
True
Let l(y) = y**3 - 6*y**2 + 3*y - 8. Let t be l(6). Let a(u) = u**3 - 10*u**2 + u + 10. Does 5 divide a(t)?
True
Let v(u) = 77*u**2. Is 20 a factor of v(1)?
False
Let x = -68 - -122. Is 7 a factor of x?
False
Let l = -3 + 5. Suppose -4 = -l*n + n. Let u(b) = 5*b + 2. Is 11 a factor of u(n)?
True
Suppose -3*d - 65 - 13 = -4*v, 2*v - 34 = -d. Suppose 0 = -2*i + 4*q + 12, 2*i = 5*i - 3*q - v. Suppose 4*j = 50 - i. Is 6 a factor of j?
False
Let p = 7 + 0. Suppose 0 = -p*n + 2*n + 440. Is 22 a factor of n?
True
Does 20 divide 7/(-21) + (-2 - 1461/(-9))?
True
Suppose n = 6*n + 4*k - 238, 3*n - k - 136 = 0. Is 23 a factor of n?
True
Suppose 5*k - 858 = -a, -8*k = -10*k - 4*a + 336. Is k a multiple of 19?
False
Does 3 divide 63/4 - (-15)/(-20)?
True
Suppose 3*y - 2*m - 750 = 0, 5*y + 4*m - 325 = 947. Does 19 divide y?
False
Suppose -385 = 6*v - v. Let r = v - -126. Suppose 3*f - r = 59. Is f a multiple of 18?
True
Let u(s) = s**3 + 2*s**2 - 1. Let f be u(-1). Suppose i + i + l - 78 = f, 0 = -3*i - 3*l + 123. Does 11 divide i?
False
Let k = 0 + 2. Let d be (0 - k*-4)/2. Suppose 0 = x - 2*j + 9 - 22, 37 = d*x - 3*j. Is 5 a factor of x?
False
Suppose g - 5*g - 604 = 0. Let k = g + 267. Is 11 a factor of 4/(-2)*k/(-8)?
False
Let t = 330 + -190. Is t a multiple of 14?
True
Let s = 6 - 2. Suppose m - 25 = 3*q - s*m, 15 = 3*m. Suppose -2*h + 4*z - z = -22, 5*z - 10 = q. Is h a multiple of 5?
False
Let b = 3 + 8. Let k = b + -19. Let g = k + 16. Does 4 divide g?
True
Suppose v + 3*f + 2*f - 62 = 0, v + 2*f = 50. Suppose -v + 0 = -m. Does 14 divide m?
True
Let j(k) be the first derivative of k**2/2 + 9*k - 2. Let d be j(-9). Suppose -2*i = -24 - d. Is 12 a factor of i?
True
Let u = -153 - -260. Is 17 a factor of u?
False
Let d(c) = -c + 6. Let l be d(6). Suppose p + 3*p - 8 = l. Suppose -p*v + 2*a + 42 = 0, 3*v - 11 - 52 = 2*a. Is v a multiple of 21?
True
Suppose -2*w + 172 + 90 = 0. Suppose -2*n = 2*j - 6, -3*n + 6 + 2 = 4*j. Suppose -35 = n*a - w. Is 9 a factor of a?
False
Let n = 6 - 3. Suppose -n*g + 0*g = -75. Does 14 divide g?
False
Let q(x) = 44*x - 6. Is q(4) a multiple of 27?
False
Let j be (-1)/3*-3 + 2. Let y(f) = -f**3 + 7*f**2 + 9*f - 9. Let l be y(6). Suppose l = -0*c + j*c. Is c a multiple of 14?
False
Let k(p) = -p + 13. Is k(-13) a multiple of 14?
False
Let z be (-3)/2*156/(-9). Is 13 a factor of z - (1*-2)/2?
False
Let t = 226 + -109. Does 14 divide t?
False
Let j(h) = -4*h**3 + 9*h**2 - 5*h - 4. Let m(a) = -a**3 + 2*a**2 - a - 1. Let p(n) = -2*j(n) + 9*m(n). Is 9 a factor of p(-3)?
False
Is 36 a factor of 100 - 0 - (-42)/14?
False
Let o(u) = 124*u**2 + 4*u + 1. Is 8 a factor of o(-1)?
False
Suppose 3*m - 50 = -4*h + 5*m, -30 = -h - 3*m. Suppose i + h = 5*q, 0 = 4*i - 2*i. Suppose -f = j - 3, -5*j - 2*f + q*f = -21. Is 2 a factor of j?
True
Let b be -1 + 6/(-2) + 0. Let y be 18/(-4) - 2/b. Is (-210)/(-4) + (-6)/y a multiple of 20?
False
Let m be 2/(-6) + (-3)/(-9). Suppose -5*b + 4*v + 14 = -0*b, m = -3*v + 12. Is 6 a factor of b?
True
Let s(r) = r**2 - 2*r - 3. Let z be s(4). Suppose 7*c - 18 = -2*y + 3*c, -y + z = -2*c. Does 3 divide y?
False
Let j(z) = -z**3 + 3*z**2 + 2*z - 1. Is 5 a factor of j(3)?
True
Let s = -5 + 10. Let y = -22 - -22. Suppose 3*o - s*o + 50 = y. Is o a multiple of 15?
False
Suppose -6*y + y + 59 = -4*f, 0 = y + 5*f - 35. Is y a multiple of 5?
True
Let c(q) = q**2 - 3*q - 3. Let g(z) = z**2 + 2*z - 1. Let r be g(-4). Does 5 divide c(r)?
True
Let o = -2 + 4. Suppose o*m = -m + 51. Is 17 a factor of m?
True
Let h = -121 - -205. Suppose -2*u + 4*u - h = 0. Is 14 a factor of u?
True
Suppose x - 2 - 11 = -4*k, 2*x = -3*k + 11. Suppose -5*q + 111 - 36 = 0. Suppose -k - q = -3*b. Is b a multiple of 6?
True
Let a(p) = -11*p + 3. Let s = -8 - -5. Does 12 divide a(s)?
True
Let l(j) = -6*j + 5. Let q be l(-5). Suppose x = -z + 7, -2*z - q = -7*z - 3*x. Let m(h) = h**2 - 6*h - 5. Is m(z) even?
True
Let j(r) = -34*r**3 + 4*r**2 - 2*r - 2. Let f be j(2). Is 8 a factor of 9/(-12) + f/(-8)?
True
Suppose j = -2*j - 3, -4*g - j = 69. Let l = g + 23. Is l a multiple of 3?
True
Let g(v) = v**3 + 8*v**2 - 3*v + 1. Does 4 divide g(-5)?
False
Let w be ((-2)/(-5))/(1/10). Let o = w + -3. Does 12 divide (o/(1/(-12)))/(-1)?
True
Let p be 4*(-3)/(-18)*3. Let o = 0 + 0. Suppose -4*n - r - p*r = -60, n + 3*r - 24 = o. Is 10 a factor of n?
False
Suppose 4*d - 195 = 5*n, -d - 4*n = -9*n - 60. Is 7 a factor of d?
False
Let k(b) = b**3 + 19*b**2 - 22*b - 8. Let q be k(-20). Let w(i) = i + 1. Let u be w(1). Suppose 4*n + 3 = -3*s + q, -u*s = -3*n + 26. Is n a multiple of 3?
False
Suppose 0 = 4*r + 4*k + 12, 4*r - 6*k + 28 = -2*k. Let x be ((-4)/r)/((-4)/(-10)). Suppose 14 + 6 = x*g. Is 10 a factor of g?
True
Is ((10/3)/(-2))/((-4)/96) a multiple of 14?
False
Let n = -6 - 0. Let m be ((-172)/n)/(4/30). Suppose 2*x + o - 39 = 50, -o = 5*x - m. Does 21 divide x?
True
Let c be 766/22 + 2/11. Suppose -5*w - 2*k + c = 0, w - 20 = -3*k - 0*k. Is 5 a factor of w?
True
Is (-1 - 31)/((-4)/6) a multiple of 8?
True
Let z(m) = -m**3 + 2*m**2 + m + 1. Let j be (-1)/(9/6 + -2). Let p be z(j). Let l = 12 + p. Does 9 divide l?
False
Let o(w) = 2*w + 10. Does 7 divide o(8)?
False
Let c(f) = -f - 4. Let i be c(6). Is (21/(-6) - -3)*i a multiple of 2?
False
Let p = -325 - -585. Is 65 a factor of p?
True
Suppose 0 = 16*t - 11*t - 75. Is t a multiple of 10?
False
Let v(p) = p. Let i be v(6). Suppose -3*q = -51 + i. Is q a multiple of 15?
True
Suppose -56 - 604 = -5*w. Does 33 divide w?
True
Let a(f) = -8*f - 9. Let v be a(-7). Suppose 73 = 4*p - v. Is p a multiple of 19?
False
Let g be 0*((-4)/6)/2. Suppose -3*r + 25 = w + 3*w, g = -w + 2*r + 9. Does 7 divide w?
True
Let o(x) = -1 - 2 - 1 - 2*x. Is o(-4) a multiple of 4?
True
Let s = 15 - -25. Is s a multiple of 10?
True
Suppose 0 = -11*w + 4*w + 210. Does 30 divide w?
True
Suppose 2*c = -2*a + 910, 5*c = 4*a - 733 - 1042. Is 45 a factor of a?
True
Let d be 10 + -9 + -1*5. Is -1 + 39 + 3 + d a multiple of 18?
False
Let r = 9 - -60. Is 19 a f