). Let m(n) = -n**2 - 4*n + 5. Let c be m(y). Suppose -2*d = -6, -4*d - 71 = -4*a - c*d. Does 14 divide a?
False
Suppose -3*k + 0*k = -12. Suppose 3*s + k*r - 140 = -2*s, -56 = -2*s + 3*r. Is s a multiple of 9?
False
Let l = 2 + 3. Suppose -2 + 77 = l*k. Does 15 divide k?
True
Let x(g) be the second derivative of 11*g**3/6 - 2*g**2 + 3*g. Let c be x(-8). Is ((-6)/12)/(2/c) a multiple of 23?
True
Suppose -3*u + 125 = 2*u. Let w = -1 + u. Does 14 divide w?
False
Let i be 3 - 4 - (1 - 8). Suppose -i = -z + 5. Does 3 divide (z + 3)*(-2)/(-4)?
False
Let o(q) be the first derivative of -3*q**4/4 - q**2/2 - 2. Let n be o(1). Let r(w) = -15*w - 2. Does 23 divide r(n)?
False
Let o = 56 + -32. Is o a multiple of 8?
True
Let g = -214 - -331. Is 13 a factor of g?
True
Suppose -2*t + 7*t = r - 468, 5*t + 5*r = -480. Let i = -35 - t. Let j = -30 + i. Is j a multiple of 11?
False
Suppose -8*c - 465 = -2385. Is c a multiple of 10?
True
Does 16 divide (-4)/(-14) - (-668)/14?
True
Let z(y) = y**2 + y + 18. Suppose -x - 3*x + 2 = -2*o, o = 5*x - 1. Let a(q) = q**2 + q. Let m be a(o). Is z(m) a multiple of 6?
True
Suppose 0 = -4*t - 0*t + 132. Is 136/6 - (-11)/t a multiple of 23?
True
Let f be 63/(-14)*(-4)/6. Suppose -5*y + f = -4*y. Is 11 a factor of ((-33)/y)/(-1 + 0)?
True
Let f(m) = -m**3 - 5*m**2 - 2*m + 7. Let l(s) = s**3 + 6*s**2 + 3*s - 8. Let u(o) = 6*f(o) + 5*l(o). Does 9 divide u(-3)?
False
Let g(f) = -f + 3*f**2 - 3*f**2 - f**3 + 3*f. Is 7 a factor of g(-3)?
True
Suppose 4*l = -4*y - 48, l - 36 = 2*y + 3*y. Let g = y - -11. Suppose -2*p - 5 + 27 = 3*a, -5*p - g*a + 46 = 0. Does 8 divide p?
True
Let u(l) be the second derivative of -l**4/12 + l**3 - 2*l**2 - 3*l. Let v be u(3). Suppose -v*t + 44 = -t. Does 4 divide t?
False
Suppose -16 = -x - 3*x. Suppose 13 + 102 = a. Suppose -f = x*f - a. Is 9 a factor of f?
False
Let y be 2 + 6 - -3 - -1. Suppose 3*m + 0 = -y, 0 = 3*c + m - 146. Is c a multiple of 25?
True
Suppose -2*k = -0*k - 110. Suppose 2*b + 3*v = -2*v + k, -5*b - 2*v + 106 = 0. Does 10 divide b?
True
Let y(x) = x**3 - 9*x**2 + 7*x + 10. Let f be y(8). Let d(z) = 4*z - 1. Let q be d(2). Suppose -h + b = -q, -1 = -h + f*b + 8. Is 2 a factor of h?
False
Suppose -r + 3*s - 207 = 2*r, -r + 4*s = 72. Let l = r + 106. Suppose 4*n - 2*b - 2*b - 24 = 0, -b = -5*n + l. Is 6 a factor of n?
False
Let d(c) = -c**2 - 10*c + 14. Let w be d(-11). Suppose 20 = w*j - j. Is j even?
True
Suppose 44 - 68 = -3*l. Is 3 a factor of l?
False
Suppose 4*a - 3 = -3*w, 2*w = -5 - 1. Let f be a - 1/(2/24). Let r = -5 - f. Is 2 a factor of r?
True
Let r(o) = -o**3 + 6*o**2 + 7*o + 6. Let f be r(7). Let s = -22 - -97. Suppose f*a - s = a. Is a a multiple of 6?
False
Let w be 3/(-6)*2 - -1. Is 20 a factor of (40/(-1))/(-1) + w?
True
Suppose -2*k + 16 = -4*b, -17 = k + 4*b - b. Is 2 a factor of 2/(4 + k)*8?
True
Let w = -117 + 168. Is w a multiple of 17?
True
Let v(y) = y**3 + 28*y**2 + 25*y + 23. Is 11 a factor of v(-27)?
True
Let f(b) = 14*b + 1. Let c be f(1). Let u be 3/2*580/c. Let n = u - 30. Does 24 divide n?
False
Suppose 5*b = -4*q + 300 + 112, b - 95 = -5*q. Is b a multiple of 9?
False
Let l(b) = 6*b**3 - 2*b**2 + 2*b - 1. Let u be l(1). Let r(w) = 5 + 2 - 3 + u*w + w**2. Does 3 divide r(-5)?
False
Suppose 69 = 5*b - 81. Is 6 a factor of b?
True
Let l(u) = 4 - u + 2*u**3 - 3*u**3 - 5*u**2 - 2 - 2*u**2. Does 8 divide l(-7)?
False
Let d = -24 - -42. Does 6 divide d?
True
Suppose -7 - 239 = -2*y. Let k = -79 + y. Does 22 divide k?
True
Let o = 55 + -37. Is o a multiple of 3?
True
Let j(n) be the third derivative of -n**4/24 + 2*n**2. Let w be j(-4). Suppose 2*v - 8 = -w*z, -5*z - v = 2*v - 10. Is 2 a factor of z?
True
Suppose 0 = 5*q - 8*q + 396. Is q a multiple of 23?
False
Let w = 1 - 0. Suppose -t = w - 8. Is t a multiple of 7?
True
Suppose 6 = 3*f - n, 2*f - 4*n + 2 = 3*f. Suppose 83 = f*c - 21. Does 13 divide c?
True
Suppose -7*b + 360 = -25. Does 11 divide b?
True
Let y be (40/(-15))/((-2)/(-222)). Let g be y/36 - 4/(-18). Let w(t) = -3*t + 5. Is w(g) a multiple of 11?
False
Does 14 divide 18/(-12)*(-136)/3?
False
Let r(w) = -4*w - 44*w**3 + 42*w**3 - 3*w**2 - 2 + 3*w. Let h(z) = -z**3 + 4*z**2 + 4*z + 3. Let d be h(5). Is r(d) even?
True
Let g be 39 - (-7)/(7/(-4)). Suppose -12*k + g = -7*k. Does 4 divide k?
False
Does 17 divide -2*3/2 + 88?
True
Let r = -4 + 5. Is -26*(2/(-4))/r a multiple of 13?
True
Let c(s) be the first derivative of -s**7/840 + s**6/90 + s**5/24 + s**4/12 - s**3 + 3. Let o(r) be the third derivative of c(r). Is o(4) a multiple of 11?
True
Suppose 5*t = -j + 19, -4*t + 0 = -4*j + 4. Is -1*49*(3 - j) a multiple of 21?
False
Suppose -3*z = -4*k - 6*z + 38, -2*k + 24 = 4*z. Does 6 divide k?
False
Suppose 45*k = 47*k - 186. Is k a multiple of 9?
False
Let j be 1 - 2 - (-12)/6. Suppose j - 76 = -5*d. Is d a multiple of 3?
True
Let y be ((-8)/(-6))/((-3)/(-9)). Suppose -15 - 13 = -y*w. Does 2 divide w?
False
Suppose 0 = c - 4*m - 64, 4*c - 115 = 2*c - 5*m. Does 12 divide c?
True
Let b be (-144)/(-14) + (-6)/21. Suppose 2*v - b = 44. Is 12 a factor of v?
False
Let b be 586/6 + (-6)/9. Let p be 3/2*(3 - 1). Suppose -3*f + p*l = -7*f + b, 0 = f - 5*l - 7. Is f a multiple of 11?
True
Let r be 2/9 - (-1155)/27. Suppose 4*h - r = 45. Is h a multiple of 11?
True
Let a(w) = w**2 + 5*w - 2. Let m(g) = -g**2 - 9*g - 2. Let k be m(-7). Suppose -5*r + k = -r. Does 11 divide a(r)?
True
Let c(p) = -2*p**3 - p**2 - p + 2. Is 8 a factor of c(-2)?
True
Let u be (-5)/(10/(-4))*2. Let z be 164*-1*(-2)/u. Let y = -56 + z. Is 18 a factor of y?
False
Let b = 14 + 6. Does 6 divide b?
False
Suppose -2*q + 5*w + 210 = -70, -q - 4*w = -166. Is 10 a factor of q?
True
Let x(w) = w**2 + 7*w - 13. Is 9 a factor of x(-11)?
False
Let i(v) = v**2 - 4*v + 2. Let b be i(4). Let r = 5 - -1. Suppose -b*w = -0*w - r. Is 2 a factor of w?
False
Let s = 17 - -27. Does 4 divide s?
True
Is 0 + 1 + (3 - (-25 + -1)) a multiple of 2?
True
Suppose -265 = -4*j - v, 0*j - j + 90 = 5*v. Is 21 a factor of j?
False
Let o = -100 - -352. Does 19 divide o?
False
Let b = 11 - 9. Suppose -b*r + 44 = -r. Does 11 divide r?
True
Does 8 divide (155/15)/(-1 + 7/6)?
False
Let g = -4 + 3. Let r be 3 - -1 - (g - -2). Suppose 4*c + 9*i = 4*i + 77, -2*i = r*c - 49. Is 10 a factor of c?
False
Let u(n) = 9*n + 3. Let b be u(11). Let z be b/(-4) + 1/(-2). Let f = z + 65. Is 14 a factor of f?
False
Suppose 0 = -0*s - 2*s + 26. Does 13 divide s?
True
Suppose -3*i = -n - 21, -3 - 35 = -4*i - 2*n. Is i a multiple of 2?
True
Let y be (5/3 - 2)*3. Let b be 27/6*(y + 7). Suppose -5*s + 60 = 5*q, 5 + b = 4*s - 4*q. Does 10 divide s?
True
Let b(o) = 38*o - 32. Is 13 a factor of b(13)?
False
Let g = -6 - 3. Let y be (2 - 0)/((-2)/(-15)). Let u = g + y. Does 6 divide u?
True
Let t be ((-20)/30)/((-2)/195). Suppose 5*j - 120 = t. Is 15 a factor of j?
False
Let n = 309 - 119. Is 19 a factor of n?
True
Suppose 34 - 162 = -4*w. Suppose 14 = -4*l - 0*z - 2*z, -5*l = -3*z + 12. Let x = l + w. Is 10 a factor of x?
False
Let t = 97 + -69. Is t a multiple of 15?
False
Let k = 0 + 0. Let b = 17 - k. Does 12 divide b?
False
Let g = -3 + -4. Let t(z) = 11*z - 9. Let f be t(g). Is 5 a factor of (-14)/(-63) - f/18?
True
Let d(l) = -4*l - l**2 + 6 + 0*l + 0*l. Let u be d(-5). Is 11/((-2)/(-2)) + u a multiple of 6?
True
Let m(d) = -2*d**2 + 20*d - 8. Let n(u) = -u**2 + 10*u - 4. Let z(l) = 2*m(l) - 5*n(l). Let v be z(9). Does 10 divide (-1)/v + (-144)/(-5)?
False
Let u be 66/12*(-2)/(-1). Suppose u = 3*v - 25. Is v a multiple of 5?
False
Suppose -5*j + 2*j = -5*o - 17, j - 11 = 3*o. Let l(n) = n**2 + 4*n + 4. Let c be l(o). Suppose 0*w + c = w. Is w a multiple of 4?
True
Let f be -2 - 9/(-2 - 1). Suppose r + f = 0, 9 = 5*m - 4*m + 3*r. Is 12 a factor of m?
True
Let r(o) = -o**2 + 3*o. Let i be r(2). Suppose i*b = 2 + 2. Suppose -f + b - 22 = -a, -a - 3*f = -16. Is a a multiple of 11?
False
Let q(f) = -4*f + 43. Is 2 a factor of q(9)?
False
Let g(z) = z**2 + 9*z - 4. Let q be g(-9). Let s be 3/(-1) + 1 - q. Suppose 3*b - 2*b - 43 = -3*n, s*b = 4*n - 44. Is 5 a factor of n?
False
Let r be 4/1 + -2 + 1. Let y(l) = 20*l + 6. Does 30 divide y(r)?
False
Is 25 a factor of (96/20 - 4)*125?
True
Let b(t) = -6*t + 2. Let q be ((-18)/(-5))/((-2)/(-