21 = -4*m + 9. Is 3*m*(-39)/27 a multiple of 6?
False
Suppose -3*a + 9 = -3. Is 1/a - (669/12)/(-1) a multiple of 28?
True
Let j = 6 + -2. Suppose -j*s + 5*s = -5. Is ((-6)/3)/2 - s a multiple of 4?
True
Is 0 + (61795/68 - (-2)/8) a multiple of 54?
False
Is (2/18 - 985/(-45))*13 a multiple of 26?
True
Suppose -2*u + 23 = -25. Suppose -6 = 3*r - u. Suppose -180 = m - r*m. Is m a multiple of 18?
True
Suppose 22931 - 2131 = 16*c. Does 82 divide c?
False
Suppose 3*l - 138 = -3. Is l a multiple of 17?
False
Suppose -6*t = -0*t - 6. Does 7 divide t + -4 - (-32 + -6)?
True
Suppose -7*v + 440 = -5*v + 4*u, -4*v = -5*u - 906. Does 25 divide v?
False
Let y(u) be the first derivative of 2*u**3/3 + 5*u**2 - 4*u - 345. Suppose 0 = -0*n + 5*n + 45. Does 17 divide y(n)?
True
Suppose -2*s + 16 = -3*a + 57, -58 = 4*s + 2*a. Let f be (1 + 1)*(-1)/2. Does 14 divide (-56)/f - (-64)/s?
False
Let v(b) = -5*b**2 + 3*b - 6. Let n be 3 - (-4)/8*0. Let p be v(n). Let d = p - -66. Is 6 a factor of d?
True
Suppose -d = s - 3*s + 1, 0 = -4*s - 3*d + 27. Does 14 divide 0*s/(-9) - (-1 + -83)?
True
Let n(x) = -194*x + 442. Is n(-12) a multiple of 141?
False
Suppose -1 = 3*f - 7. Suppose -112 = -f*r - 32. Is r a multiple of 10?
True
Let u be 21/(-35) + ((-14)/10 - -2). Is 39 a factor of (u - -2)*(48 - 9)?
True
Let u be 0 + (-2 - -2) + 7. Suppose -d - u*d = -920. Is 5 a factor of d?
True
Suppose 0 = -5*q + 3*q - 82. Let y = q + 88. Does 33 divide y?
False
Suppose -4*v + 47 = -5*x - 96, -5*x = -5*v + 175. Does 3 divide v?
False
Let h be ((-16)/4)/(-4)*18. Is 34 a factor of ((-136)/(-6))/(4/h)?
True
Let t(l) = -l**3 + 9*l**2 + 8. Let a be t(8). Suppose 8*z - a = 2*z. Is 3 a factor of z?
True
Let r = -36 + 4. Is 3 a factor of 1 + (r/(-12))/(4/42)?
False
Let p = -19 - -33. Let c(s) = s**3 - 13*s**2 - 9*s + 20. Is c(p) a multiple of 15?
True
Let b(d) = -3*d + 0*d**3 + d**3 - 2*d + 2*d**2 - 2. Suppose -2 = -4*u - 14. Is b(u) a multiple of 4?
True
Let d = 40 - 127. Is 10 a factor of (-1)/1 + (7 - d)?
False
Suppose -2*d + 166 = -5*r, 4*d - 106 = 2*r - 30. Let b(k) = 7*k + 5. Let q be b(-3). Let s = q - r. Is s a multiple of 8?
True
Let w = -56 + 306. Is 25 a factor of w?
True
Let c(f) = f**3 + 29*f**2 + 24*f - 21. Is c(-28) even?
False
Suppose 4*k = -5*c - 563, -5*k = -c + 3*c + 691. Let a = k - -229. Is a a multiple of 26?
False
Let p be (-4)/22 - 3145/(-55). Suppose -53*t + p*t - 152 = 0. Is t a multiple of 3?
False
Let l(k) = 2*k + 16. Let v be l(-8). Let c = v + 35. Is 4 a factor of c?
False
Suppose 9 = -3*f, -5*f + 125 = 2*a - 3*a. Let n = 202 + a. Let j = 132 - n. Is 10 a factor of j?
True
Let i(l) be the first derivative of l**3/3 + 4*l**2 - 21*l - 27. Does 4 divide i(-11)?
True
Let s(l) = -l**3 + 30*l**2 - 22*l - 154. Is s(28) a multiple of 74?
False
Let i = -15 - -6. Let m(d) be the first derivative of -d**4/4 - 10*d**3/3 - 9*d**2/2 + 3*d + 64. Is 3 a factor of m(i)?
True
Let l(k) = k**2 + 7*k. Is l(-14) a multiple of 7?
True
Suppose -127*o + 146*o - 12616 = 0. Does 22 divide o?
False
Let u = 383 + -272. Suppose 4*v + 3*y - u = 0, 0*y + 3 = 3*y. Let b = -1 + v. Is 7 a factor of b?
False
Let o(j) = -j**3 + 34*j**2 - 147*j + 41. Does 12 divide o(28)?
False
Let o(s) = -232*s + 261. Does 13 divide o(-7)?
True
Does 12 divide 2070/21 + (-3)/(-7)?
False
Let h(o) be the second derivative of 5*o**3/6 + 4*o**2 - 22*o. Does 16 divide h(5)?
False
Suppose -2*a = 4*x + 2*a - 320, -a = 4*x - 320. Suppose -3*w - x = -8*w. Does 11 divide w?
False
Let i(h) = 6*h - 5. Let j be i(5). Suppose 4*x - 5*w + j - 383 = 0, -x = 5*w - 102. Suppose -d - d + 2*m + x = 0, -2*d - 5*m + 64 = 0. Is 11 a factor of d?
False
Let h(t) = 9*t**3 - 5*t**2 + 3*t + 7. Let c(b) = 5*b**3 - 2*b**2 + b + 4. Let a(q) = -11*c(q) + 6*h(q). Let u be (-3 + 4)*9/(-1). Does 8 divide a(u)?
True
Let q = 185 + -178. Is q a multiple of 7?
True
Suppose 147 = 4*t + 55. Let z(u) = u**3 - 6*u**2 + 6*u + 6. Let j be z(5). Let v = t - j. Does 6 divide v?
True
Let j(n) = -n**2 - 7*n + 529. Let o be j(0). Suppose -5*h + w = -572, 5*h - 4*w - 49 = o. Is 13 a factor of h?
False
Does 44 divide 25082/19 - 18/171?
True
Let l(o) be the third derivative of o**6/120 - o**5/60 - o**4/24 + 187*o**3/6 + 21*o**2. Does 11 divide l(0)?
True
Let s(a) = 0 - 19*a + 1 - 4 - 44*a. Is s(-4) a multiple of 17?
False
Let b(k) = k**3 + 21*k**2 - 24*k + 21. Is b(-22) a multiple of 3?
False
Suppose -201 - 323 = -p. Suppose 6*v - 778 = p. Does 7 divide v?
True
Is (-48 - -4)/(2/(-66)) a multiple of 66?
True
Suppose 157 = 4*x - 1283. Is 45 a factor of x?
True
Let p = -52 + -108. Let g = 327 + p. Is g a multiple of 13?
False
Suppose -5*g = -25, -5*o - g = 3*g - 6045. Is o a multiple of 86?
False
Suppose 0 = 2*h + 2*h + 268. Let g(u) = 2*u**2 - 23*u + 29. Let k be g(8). Let n = k - h. Does 16 divide n?
False
Let n(s) be the second derivative of s**4/6 + 19*s**3/6 - 7*s**2/2 + 2*s. Is n(-11) a multiple of 13?
True
Suppose -5*o + 868 = -2*z, -5*o - 2*z + 1055 = 183. Is o a multiple of 38?
False
Let c be (-2)/(-4)*2 - -5. Let s(k) be the second derivative of -k**5/20 + 7*k**4/12 + 7*k**2/2 + 6*k + 4. Is 14 a factor of s(c)?
False
Let d = -243 + 1553. Is d a multiple of 12?
False
Suppose 5*m - 184 = 3*z - 532, -5*m + 540 = 5*z. Suppose -s + z = 22. Is s a multiple of 15?
False
Let b be ((-5)/10)/((-1)/4). Suppose b*o - 10 = -0*o. Suppose -4*u = -o*u + 37. Does 8 divide u?
False
Suppose 0 = -4*m - 35 - 1. Let d(g) = -2*g + 2. Does 8 divide d(m)?
False
Let o(c) = 2*c - 4. Let u be o(0). Let h(s) = -4*s**3 + 4*s**2 + 2 - 3 + 5*s**3 + 5. Is h(u) a multiple of 3?
False
Suppose -u = 2*g - 7*g - 27, 5*u + 2*g = 0. Does 22 divide 3/u*544/12?
False
Does 7 divide (686/(-28))/((-2)/12*1)?
True
Let d(k) = 29*k**2 - 31*k - 81. Does 82 divide d(-3)?
False
Let f be (-8)/(-2*(4 - 3)). Let o be f/(2 - -2) - -1. Suppose 0 = -c + 6*c - o*m - 120, -4*c + 2*m + 98 = 0. Is 10 a factor of c?
False
Suppose 4*b = 4*g - 164, 4*b + b + 3*g = -237. Let z be (-510)/6*(-1 + 2). Let y = b - z. Is 20 a factor of y?
True
Does 40 divide 1875/6 + ((-5)/(-2))/(-5)?
False
Let b = -6 - -15. Let p = b + -8. Is -2*(34/(-4) + p) a multiple of 13?
False
Let r = 1609 + -586. Is 33 a factor of r?
True
Let t be -1 + 3*(0 - 1). Let y be t/(32/20)*-22. Suppose j - 5*l - y = 0, -36 = 3*j - 5*l - 201. Does 29 divide j?
False
Let q be 107*(2 - (2 - 1)). Suppose u = q - 17. Suppose -u = -6*d + 3*d. Does 10 divide d?
True
Let o(u) = u**3 - 6*u**2 - 10*u + 13. Let m be o(7). Let y(d) = -4*d + 4. Is y(m) a multiple of 14?
False
Let i be (-6)/(5 + (-2 - 5)). Let v(d) be the second derivative of d**5/20 + 5*d**4/12 - 5*d**3/6 + 3*d**2/2 - d. Does 12 divide v(i)?
True
Let g be 8/48*0 + 0/2. Suppose g = -5*w - h + 143 + 73, 4*h - 28 = -w. Does 4 divide w?
True
Let j(z) = 4*z**2 - 7*z - 10. Let y be j(10). Let m be y/(-3)*414/(-5). Is 32 a factor of 2/(-5) + m/80?
False
Let t = -78 + 253. Is 5 a factor of t?
True
Suppose -6*j + 5*j = -1. Is 9 a factor of ((-15)/(-30))/(j/68)?
False
Suppose -n = -4*n + 9. Suppose -5*y = -0*s + n*s - 309, 0 = s - 5*y - 123. Is s a multiple of 27?
True
Suppose 3*k + 4*x + 13 = 0, 23 = -4*k - 5*x + 7. Does 17 divide (186 - k) + -1 + 3?
True
Let w = 1038 + -666. Is w a multiple of 12?
True
Suppose 4*x + 88 = 4*a, -73 = -3*a + 4*x - 8*x. Is 10 a factor of a?
False
Let b = -18 + 26. Is 14 a factor of (b - -54) + 0 + 0?
False
Suppose 42*z = -10*z + 46956. Is 21 a factor of z?
True
Suppose -j + 10 = 5*r - 6, -2*r + 5*j + 28 = 0. Suppose 59 = o - 4*z + 10, -r*o = 5*z - 196. Is 16 a factor of o?
False
Let v(q) = q**3 - 5*q**2 - 4*q + 51. Does 42 divide v(8)?
False
Suppose 86 = -4*y + 854. Suppose -y = 2*k - 4*k. Is 32 a factor of k?
True
Let m = 12 - 9. Suppose -2*p - k = 484, -k - 712 = 3*p - m*k. Is 8 a factor of (0 + 2)/((-12)/p)?
True
Let f = 1228 + -580. Is 81 a factor of f?
True
Let m(d) = -7*d - 8 - 2*d + d**2 + 16*d. Let l be m(-8). Suppose -20 = -l*z - z. Does 20 divide z?
True
Let p(l) = -2*l**3 + l**2 + 8*l + 2. Let b(f) = -4*f**3 + 3*f**2 + 17*f + 3. Let c(d) = -3*b(d) + 7*p(d). Is c(-4) a multiple of 20?
False
Let i be 2/(-5) - (-402)/30. Suppose -15*m - 12 = -i*m. Let p = 3 - m. Does 4 divide p?
False
Let s = -1 + 4. Suppose -124 = -7*m + s*m. Let i = -19 + m. Is i a multiple of 5?
False
Sup