((-2)/4)/((-2)/(-28)). Let q(j) = j**3 + 6*j**2 - 11*j - 10. Is 12 a factor of q(w)?
False
Suppose -8*p - 3*r + 194 = -6*p, 0 = p + 2*r - 95. Is p a multiple of 22?
False
Let h(l) = 8*l + 2. Let s be h(2). Suppose s = 2*c - 66. Is c a multiple of 14?
True
Is 13 a factor of 0 + 91 - 4 - -2?
False
Let d(c) = c**3 - 2*c**2 + c + 1. Let u be d(3). Does 5 divide 0 + (-2)/(-1) + u?
True
Let u(q) = q**3 - 8*q**2 + 5. Let b be u(8). Suppose -b*k = -71 - 9. Is 8 a factor of k?
True
Suppose 2*q - 4*q = -48. Is 12 a factor of q?
True
Suppose -2*q = -3*l + 136, -l + 170 = 3*l + 3*q. Does 25 divide l?
False
Let m(f) = f**3 - 5*f**2 + 2*f - 6. Let g be m(5). Suppose -6 = -w - g. Suppose 3*i = -w*i + 120. Is 12 a factor of i?
True
Let t = -7 - -36. Suppose 2*m - t = -g, -3*m + 2*g + 2*g + 49 = 0. Is 7 a factor of m?
False
Let q = 79 - 20. Does 24 divide q?
False
Is (-16)/(-40) + (-156)/(-10) a multiple of 8?
True
Does 12 divide 1292/18 - (3 + (-116)/36)?
True
Let x(g) = -g**3 - 3*g**2 - 2*g - 3. Let i be x(-3). Suppose -3*r + 5*r - i*y = 29, y + 5 = 0. Does 4 divide r?
False
Let n be (-4)/12 + (-8)/12. Does 5 divide 1 - (n + -1) - -7?
True
Let x be -3*(7/(-3) + 1). Suppose 0 = -5*w + 10. Suppose 3*f - w*b - 30 = -f, 0 = x*b + 4. Is f a multiple of 3?
False
Let s be (2 + 0)/(1/(-4)). Let n = -14 - s. Let t(y) = -11*y + 4. Is t(n) a multiple of 20?
False
Let a(o) = -5*o + 34*o**2 + 3 + 3 - 33*o**2 + 0*o. Is 10 a factor of a(8)?
True
Suppose 50 = 5*f - 3*j + 1, 3*j + 1 = -f. Suppose 3*b = 13 + f. Is b a multiple of 3?
False
Let s be (-1 + 2)/((-2)/(-4)). Let d(i) = -3*i + 10*i + 1 - i**s + 1. Is 12 a factor of d(5)?
True
Let i be (-2)/3*57 - -3. Is (-710)/i - (-8)/(-28) a multiple of 4?
True
Let q(n) = -n**3 + 2*n**2 + 1. Let i be q(2). Let u(f) = 22*f**3 - 2*f**2 + 2*f - 1. Does 21 divide u(i)?
True
Let f(g) = -g**2 + 35*g - 52. Is 6 a factor of f(28)?
True
Suppose 2*f = -0*f - 8. Is (1 - (-2)/f)*14 a multiple of 3?
False
Suppose -2*z - 133 = -3*y - 2*y, 3*y - 80 = z. Is 6 a factor of y?
False
Suppose 6*d + 4*i - 36 = 2*d, -d + 2*i + 24 = 0. Is 3 a factor of d?
False
Let s(u) be the third derivative of u**5/60 + 5*u**4/24 - u**2. Let h be s(-5). Suppose n - 3*n + 22 = h. Is 9 a factor of n?
False
Suppose 0 = 4*h - 66 - 102. Suppose 2*k - 14 = h. Suppose 0*f + 3*x - k = -f, 2*x - 77 = -3*f. Does 18 divide f?
False
Let w be 4/(-14) - (-22)/77. Suppose w*a = a. Does 27 divide -1 + (a - -58 - 3)?
True
Suppose -6*l = 653 - 149. Is l/9*-3 + 2 a multiple of 20?
False
Let h be 6/15 + 96/10. Let t = h + -6. Suppose -165 = -5*l - t*g, -170 = -l - 4*l - 5*g. Is 11 a factor of l?
False
Suppose 5*i = -2*b - 21, -i - 11 = 2*b + 2*i. Suppose -b*d - 72 = -6*d. Does 6 divide d?
True
Suppose -2*s + 4*s + p - 86 = 0, -4*s + 188 = -2*p. Let z = s + -15. Does 15 divide z?
True
Is 16*1 + (7 - 5) a multiple of 18?
True
Suppose 60 = -u + 2*u. Is u a multiple of 15?
True
Let i be 6/30 + 46/(-5). Suppose 0 = 2*u + 1 + 9, 0 = -5*j + 2*u + 120. Let o = j - i. Does 16 divide o?
False
Let x(f) = f**3 - 3*f**2 - f + 4. Let l be x(2). Does 4 divide (-2 - 0)/l*4?
True
Let p(r) = 2*r + 1. Let k be p(2). Suppose 705 = 5*w + k*h, 3*w + h - 198 = 233. Suppose o + 2*o = -4*j + w, -j + 45 = -o. Is 18 a factor of j?
False
Let q be -1 + 0 + 9 + -2. Suppose 2*i - q = -i. Is 3 a factor of 2*7/i - 1?
True
Let j(y) = -y**2 - 5*y - 7. Let m(l) = 3*l**2 + 20*l + 28. Let h(f) = -9*j(f) - 2*m(f). Is 27 a factor of h(5)?
False
Let g be 3*(-3 + (-11)/(-3)). Suppose -g*p + 1 = -1. Let k = p + 27. Is k a multiple of 14?
True
Suppose -10 = -5*f + 5. Suppose -2*v + b = 3*b + 6, 7 = -v - f*b. Is (-2 - -2)/v + 8 a multiple of 8?
True
Let s be (-2)/(6/(-21)) + -1. Suppose u - 2 = -s. Let h(b) = -b**3 - 3*b**2 - 4*b - 6. Does 13 divide h(u)?
True
Let x = -35 - -73. Is x a multiple of 7?
False
Let f(x) = 6*x**2 + x + 2. Suppose g = 3*l + 16, -g - 4*l - 22 = -3*g. Let v be -2 - (3 - (g - -2)). Is f(v) a multiple of 12?
True
Let g be (-15)/35 + (-236)/(-28). Let l be 0/(-2) - (-4)/2. Does 2 divide (l/3)/(g/36)?
False
Let o(r) = -11*r - 1. Let m be o(-4). Let i = m + -17. Is i a multiple of 10?
False
Let c(g) = -2*g + 3*g + 2*g**2 + 3*g**2. Is c(1) a multiple of 6?
True
Is 28 a factor of 13/((-325)/10) - (-1107)/5?
False
Let a(r) = -91*r. Does 16 divide a(-1)?
False
Let d = -113 - -149. Is 12 a factor of d?
True
Suppose -3*b + 4*i = -237, 3*b - i - 237 = -5*i. Let g = -49 + b. Suppose 3*t = -0*t + g. Is t a multiple of 5?
True
Let b = 181 - 123. Does 17 divide b?
False
Let o(q) = q**2 + 5*q - 8. Is o(4) a multiple of 14?
True
Suppose 2*q = u + 55, 0 = -3*q + 5*u + 130 - 30. Suppose -2*a - q + 61 = 0. Does 10 divide a?
False
Suppose -7 - 5 = -6*t. Is t a multiple of 2?
True
Suppose 3*r = 4*d - 2*r - 23, 2*r - 30 = -4*d. Let v = d - -3. Is v a multiple of 5?
True
Let d be 1 - (-3 - -2 - 4). Suppose 2*m = 4*s - 12, -m + 6 = 2*s - d*m. Suppose w - s = 5. Is 4 a factor of w?
True
Let i(m) = m**3 + m**2 + m. Let n(b) = -3*b**3 + 2*b**2 + 2*b - 5. Let y(x) = -4*i(x) - n(x). Is y(-6) a multiple of 14?
False
Let i be (2/(-6))/((-2)/6). Is 9 a factor of (16 - -2)/(i + 1)?
True
Suppose 3*n - 15 = 0, -2*l + 4*l - 58 = -2*n. Let o = 0 - -2. Let x = l + o. Is 13 a factor of x?
True
Suppose -j + 8 - 4 = 0. Suppose 5 = 5*i - 5*p, p = -i + j*p + 3. Let s = 30 - i. Does 13 divide s?
False
Suppose 6*n - 24 = 3*n. Suppose 0 = -4*w, m - n = -2*w - 4. Suppose 3*c - m*t = 10, 6*c - 4*t = c + 30. Is c a multiple of 10?
True
Suppose -r + 2*w = 2, -4*w + 44 = 2*r + r. Suppose -r - 9 = -y. Is y a multiple of 5?
False
Let n(k) = -22*k - 2. Does 5 divide n(-1)?
True
Let t = -4 + 0. Let u = 41 + t. Is 13 a factor of u?
False
Let v(f) = -f**3 - 3*f**2 + 2*f + 3. Let w be v(-3). Let k = w - -3. Suppose 2*n = -k*n + 36. Does 15 divide n?
False
Let s(l) = l**2 - 3*l - 2. Let z be s(4). Let r(g) = z*g - 3*g**2 + 2*g**3 + 2*g - g. Is r(2) a multiple of 10?
True
Suppose 2*v = -4*h + 2, 1 = -3*v - 2*h - 4. Let i(q) be the second derivative of -q**3 - q**2/2 + 3*q. Is 13 a factor of i(v)?
False
Suppose 2*b - 3*b + 1 = 0. Suppose 5*q - b = 4*q. Let m = q + 7. Is 3 a factor of m?
False
Let f(v) = -v - 9. Let o be f(-7). Is 15 a factor of (o + 6)*75/4?
True
Let h(v) = -v**2 + 16*v - 17. Does 12 divide h(12)?
False
Let c be (-26)/(-4) + 1/(-2). Suppose 5*t - 4 - 11 = 0, 3*t = -f + 6. Does 6 divide (-2)/c + (-34)/f?
False
Suppose 0 = 3*f - 96 - 9. Is 19 a factor of f?
False
Let m(j) = j**3 - j**2 - 4*j - 2. Let c(u) = u**3 - 3*u - 2. Let w(q) = -3*c(q) + 2*m(q). Does 8 divide w(-3)?
True
Let m(c) = 3*c**2 + 3*c - 20. Is m(6) a multiple of 27?
False
Let v = 137 + -83. Is 18 a factor of v?
True
Suppose -p - 79 = -2*w, 8*w - 3*p = 4*w + 157. Does 14 divide w?
False
Suppose 4*z = -s + 10, -4*z + 19 = -2*s + z. Is 16 a factor of 2 + (17 - (5 + s))?
True
Is (-4)/(-16)*-25*-4 a multiple of 25?
True
Suppose 0 = 3*z + 2*x - 159, -2*x + x = 5*z - 258. Is 6 a factor of z?
False
Let f(y) = y**3 + 5*y**2 - 5. Let m = -1 + -4. Let l be f(m). Let c(i) = -3*i + 4. Is 12 a factor of c(l)?
False
Let n(y) = -2*y**3 + y**2 + y. Is n(-4) a multiple of 35?
True
Let a = -3 - -8. Let q = a - 2. Suppose n = -q*n + 64. Is n a multiple of 16?
True
Let s(n) = -14*n**2 - 2*n. Let j be s(2). Does 8 divide 48/(-10)*j/18?
True
Suppose 20 = -5*b, 6 + 8 = 2*a - b. Suppose a*q = -0*q + 125. Does 15 divide -6*(-3)/30*q?
True
Suppose -91 - 21 = -4*w + 5*i, -2*w + 62 = -4*i. Does 23 divide w?
True
Suppose -2*v = -4*s - 0*v - 684, 0 = -5*s + 3*v - 857. Let h = s + 272. Is 32 a factor of h?
False
Let r(d) = 7*d - 13. Is r(17) a multiple of 20?
False
Suppose -299 = 2*l - 4*l - u, 3*l - 2*u = 459. Is l a multiple of 26?
False
Suppose 0 = 2*a + 3*p - 60 - 33, -45 = -a - 2*p. Is a a multiple of 17?
True
Suppose -3 = -3*v - 0. Suppose -p = -v - 1. Suppose -p*w + 2*k = k - 43, 5*k = -4*w + 79. Is w a multiple of 9?
False
Does 9 divide (0/(-4) - -1)*-3 - -60?
False
Let q be 7 + 6/(1 - 3). Suppose -90 = -s - c, s + q*c = -c + 78. Suppose 7*z = 4*z + s. Does 15 divide z?
False
Is 8 a factor of (2 - -8)*24/10?
True
Let t be 4745/25 + 2/10. Let f = t + -136. Is f a multiple of 18?
True
Suppose -s + 6 + 14 = 0. Let m = 30 - s. Is 10 a factor of m?
True
Let r(k) = 24*k**2 - k - 3. Is 5 a factor of r(-1)?
False
L