et p be (8/(-4))/(1 - i). Suppose 0 = p*m + m + 15, m + 57 = 4*n. Is 8 a factor of n?
False
Suppose 0 = -4*s + 18 + 18. Suppose 4*i + 1 = -5*r - s, 4*r = -4*i - 12. Is 3/(9/6) + r a multiple of 3?
False
Let y(b) = 2*b - 3*b - 11*b. Let w be y(1). Let v = w - -27. Is v a multiple of 9?
False
Let d be -125 + (-2)/(0 - -2). Does 15 divide 0 - 1 - d/3?
False
Suppose -3*s = 4*j - 12, 4*j - 9 = j + 3*s. Let o(d) = 4*d**2 + 4*d + d + j - d. Is o(-3) a multiple of 15?
False
Suppose 0*f - 4*f = -48. Let u = -18 + f. Is (1 + u)/((-6)/30) a multiple of 11?
False
Let i = -64 - -92. Does 28 divide i?
True
Let l(m) = -m**3 + 5*m**2 - 3*m - 4. Let x be l(3). Let b be 64/x - 1/(-5). Is 1*b + -5 + 6 a multiple of 14?
True
Let x(u) = u**3 + 6*u**2 + 0*u**2 - 6*u - u**2 + 5. Let v(p) = p**3 - 12*p**2 - p + 6. Let m be v(12). Is 5 a factor of x(m)?
True
Suppose 5*a + 3*c - 11 = 0, -3*c - 12 = c. Suppose -2*t - b + 39 = -0, 2*b = 10. Suppose t = a*k - 3. Does 5 divide k?
True
Is (1/(-3))/((-6)/558) a multiple of 10?
False
Let p be 0/3*(-1)/(-2). Suppose -3*b + 6 = -0, -4*f - 2*b + 84 = p. Is f a multiple of 5?
True
Let a(g) = -5 + 6*g - 7 + 7. Is 19 a factor of a(4)?
True
Let b(g) = -6*g - 2*g**2 + 0 + 4 + 3*g**2. Let f be b(6). Suppose -5*p + 25 = s, f*s + 3 - 31 = 4*p. Is 4 a factor of s?
False
Let j(b) = -b**3 - 2*b**2 + 3*b + 3. Let t = 0 + -3. Let w be j(t). Suppose -v = -x - x + 17, v + 23 = w*x. Does 3 divide x?
True
Let m(p) = 153*p**2 + 1. Let i be m(1). Let a = i - 65. Suppose 4*w - 47 = a. Is 21 a factor of w?
False
Let m = 146 + -264. Suppose -4*f + 4 = 2*b, 5*b + 2*f = -f + 10. Is m/(-10) + b/10 a multiple of 5?
False
Suppose -338 = 4*o - 5*o. Is o a multiple of 27?
False
Suppose -12 = n - z - 4*z, 3*n - 3*z = -24. Let s = n + 13. Does 6 divide s?
True
Let b(l) be the first derivative of l**3/3 - l**2/2 + l - 1. Let n(w) = w**2 - 3*w + 16. Let q(r) = -2*b(r) + n(r). Is q(0) a multiple of 8?
False
Suppose 5*z = -2*f - f + 1004, f = 5*z - 992. Is 40 a factor of z?
False
Suppose -c - 142 = -2*n - 6*c, n + 5*c = 76. Is n a multiple of 22?
True
Let u(p) = -p**3 + 15*p**2 - 18*p - 16. Is u(13) a multiple of 22?
True
Does 9 divide 4/(-10) + 77/5?
False
Let b(c) = c**3 + 3*c**2 + 4*c + 2. Let i(f) = 3*f**3 + 6*f**2 + 7*f + 4. Let r(k) = 5*b(k) - 3*i(k). Is r(-2) a multiple of 7?
False
Suppose 6*l = 4*l + 6. Suppose -v + 2*v - 5*q - 81 = 0, l*v - q = 271. Suppose -4*i + v = -5. Is i a multiple of 12?
True
Let p(h) = -3*h. Let q be p(2). Is 15 a factor of q/21 + (-345)/(-7)?
False
Let v(m) = -m**2 + m. Let l(u) = 14*u**2 - 3*u + 2. Let d(i) = l(i) + 6*v(i). Suppose 2*b + 2 = -2. Does 11 divide d(b)?
False
Suppose -5*h + 4 = 3*p, 2*p - 7 = -h + 2*h. Let r = p - -2. Suppose 3*c - 77 = -x, 0 = -c + r*x - 3 + 2. Does 11 divide c?
False
Suppose o - 2*i = -18, 2*i - 3*i + 29 = -3*o. Let j be ((-18)/o)/(9/24). Let r = j - 3. Is 3 a factor of r?
True
Let a(i) = 6*i + 18. Does 8 divide a(7)?
False
Let x(c) = 21*c + 6. Let v be x(6). Suppose 4*m + 4*b - v = 0, 13 = -0*m + m + 5*b. Is 18 a factor of m?
False
Suppose -5*u + 1772 = -0*u + 4*p, 5*u - 2*p - 1754 = 0. Does 16 divide u?
True
Let w = 8 + -12. Let u be (103/4)/(w/(-16)). Let t = u + -37. Is t a multiple of 27?
False
Suppose 75 = -5*z + 195. Is 12 a factor of z?
True
Let v(k) = -20*k**2 + k + 53. Let f(c) = 7*c**2 - 18. Let b(l) = -17*f(l) - 6*v(l). Let u be b(9). Suppose -39 - u = -3*t. Is 18 a factor of t?
True
Suppose u - 6 = -4. Suppose 2*o = -u*l - l + 22, -8 = 2*l. Is 6 a factor of o?
False
Let j(c) = c**2 + 2*c. Let d be j(-2). Suppose -3*n + 0*n + 12 = d. Suppose -n*s = 3*q - 70, 4*q + 69 = 2*s + 177. Is q a multiple of 13?
True
Let p be (-1 - -7)/3 - -1. Let w(d) = -4*d**2 - 2*d + 3. Let s(f) = -11*f**2 - 6*f + 9. Let a(j) = 6*s(j) - 17*w(j). Is 13 a factor of a(p)?
False
Suppose 0 = -11*d + 5*d + 576. Does 16 divide d?
True
Let j be ((-41)/4)/(1/4). Let d be j/(-4) + (-1)/4. Suppose 2*t - d = 4*l, -3*t - l + 65 = 3*l. Does 10 divide t?
False
Let k be ((-64)/40)/(2/(-10)). Let p = 24 - k. Is 7 a factor of p?
False
Is 26 a factor of 1008/22 - (-2)/11?
False
Is (-1 + -139)*12/(-30) a multiple of 14?
True
Let r be ((-33)/9)/((-1)/36). Suppose 0*l - r = -4*l. Suppose 107 = 5*z - l. Is 14 a factor of z?
True
Suppose y - 6 - 4 = -4*c, -y - 2 = 0. Suppose 0*o + c*o - 3 = 0. Is (o - 0)*(0 - -5) a multiple of 2?
False
Let d be (-3)/(9/(-6)) + 3. Suppose 3*h + 2 - 1 = u, -d*h = 10. Is u/25 + (-742)/(-10) a multiple of 25?
False
Let a(t) = t**3 + 5*t**2 + t - 1. Suppose 3*b - b + 8 = 0. Is 11 a factor of a(b)?
True
Is 12 + 8 + 0/(-1) a multiple of 11?
False
Let n(s) = s**3 - 6*s**2 + 6*s - 6. Is 10 a factor of n(6)?
True
Let f = -47 - -7. Let h = f - -66. Does 26 divide h?
True
Let x(m) = -m**3 - 3*m**2 - 3*m + 4. Let f = 13 + -18. Is 12 a factor of x(f)?
False
Suppose 2*o - 5*o = -33. Let n = 51 - o. Does 20 divide n?
True
Does 14 divide (-6)/15 - 247/(-5)?
False
Let s(q) = 5*q**2 + 5. Is s(5) a multiple of 26?
True
Let x be 2/2 + 5 + -3. Suppose -40 = -m - x*m. Let k = 7 + m. Is k a multiple of 8?
False
Let a(z) = -z**3 - 2*z**2 - 2. Let c be a(-2). Is 17 a factor of ((-5)/5)/(c/66)?
False
Suppose c + 48 = 9*c. Is c even?
True
Suppose 8 = 2*t + 38. Let c be 5/(t/(-6)) - -133. Suppose 4*b + c = 5*a, -b - 104 = -4*a + 3*b. Is 20 a factor of a?
False
Suppose 21 - 1 = 10*r. Let n(u) = 11*u - 2 - 1 + 1. Is 20 a factor of n(r)?
True
Suppose 112 - 424 = -6*r. Is r a multiple of 13?
True
Suppose 3*s = p - 2*s + 19, -4*p + 3*s = 127. Is 8 a factor of -1 + p/(-2) + -3?
False
Let u be 3 + -3 + 51 - -2. Suppose 4*b = 139 + u. Is b a multiple of 12?
True
Suppose t + 34 - 12 = -5*l, -5*t - 22 = 3*l. Let o(z) = -20*z - 3. Let i(y) = 20*y + 3. Let d(j) = l*i(j) - 3*o(j). Is 13 a factor of d(-2)?
False
Suppose -81 = -p + u, -4*p + 4*u = -2*p - 158. Is p a multiple of 32?
False
Let t(r) = r**3 + 6*r**2 - 2*r - 8. Let z be t(-6). Suppose -d + 2*d = -c + 78, 234 = 3*c + z*d. Is c a multiple of 19?
False
Suppose 3*l + 2*l = 0. Let r = l - -2. Suppose -r*c = -6*c + 40. Is 6 a factor of c?
False
Suppose -3*j + 176 = -5*t, 4*j + 5*t = -j + 240. Does 23 divide j?
False
Suppose -2*r - 3*o = 172, 0 = -5*o - 4 - 6. Let b = -3 - 55. Let n = b - r. Is n a multiple of 14?
False
Is (-3)/(-2)*96/18 a multiple of 2?
True
Let t(f) = -f**3 - 10*f**2 + 10*f - 13. Let s be t(-11). Let a be 1 - (-2 + 5 - 2). Does 24 divide (74/2 - a) + s?
False
Let c(p) = p. Let j be c(5). Suppose -u + 238 = 3*i, -3*i = i + u - 316. Suppose j*t - 3*b - 96 = 0, -t = 2*t + 5*b - i. Is 16 a factor of t?
False
Let c be 225/3 + 2 + -2. Let w = 113 - c. Is 19 a factor of w?
True
Let d be (1/3)/((-2)/(-42)). Suppose f = 0, q + 3*f = 3*q - 28. Let i = q - d. Is 6 a factor of i?
False
Let h(i) = i**3 + 14*i**2 - 4*i - 1. Is 11 a factor of h(-14)?
True
Suppose -5*f = 2 - 32. Is f a multiple of 6?
True
Let h = 117 - 76. Is h a multiple of 6?
False
Suppose 15 + 109 = 4*m + 4*w, w + 27 = m. Is m a multiple of 11?
False
Suppose 0 = -4*p - 4*r + 3*r + 616, -5*p + 781 = 4*r. Suppose 5*d = -h + 249, -2*d - 48 + p = -5*h. Is 20 a factor of d?
False
Let c(d) = -d - 4. Let s be ((-2)/4)/(4/56). Let m be c(s). Suppose m*q - 59 = -8. Is q a multiple of 9?
False
Let s(k) = k - 20. Is 2 a factor of s(24)?
True
Let w be -4*5*(-1 + 0). Let f(l) = l**2 - 4*l - 3. Let p be f(5). Suppose 0*z + p*z = w. Is z a multiple of 10?
True
Is 3 a factor of ((-94)/(-6))/((-2)/(-6)*1)?
False
Let c = 14 + -9. Let t(f) = 2*f**2 - 2*f. Is t(c) a multiple of 20?
True
Let o(y) be the first derivative of y**3/3 - 7*y**2/2 - 3*y - 2. Let c be o(7). Is 15 a factor of ((-4)/c)/((-6)/(-135))?
True
Suppose -2*s + 39 = -89. Is 6 a factor of s?
False
Does 9 divide -12*5/(40/(-6))?
True
Suppose 5*r - 17 = z - 0, 4*z = -4*r + 28. Suppose r*g + 12 = 5*g. Does 6 divide g?
True
Suppose -3*p = 2*m - m - 283, 0 = -5*p + m + 461. Is p a multiple of 68?
False
Suppose -40 = -4*x - 2*b + 40, -3*x = -2*b - 46. Is 14 a factor of x?
False
Let w be 2/(-2) - (-14 + -2). Let o(r) = -r - 5. Let c be o(5). Let v = w + c. Does 5 divide v?
True
Suppose 36 + 126 = 2*h - 2*g, -g = 5*h - 393. Suppose -i = -5*o - 10 - 13, h = 3*i - 5*o. Is i a multiple of 14?
True
Let m(x) be the first derivative of x**3/3 + 3*x**2/2 - 5*x + 2. Let u be m(-5