/(2/(-70))?
False
Let z = 3 - 0. Suppose 4*k - 23 = -z*j + 119, 0 = 5*k - j - 187. Let t = k - 22. Does 11 divide t?
False
Let l = 194 + -110. Is 28 a factor of l?
True
Let f = 59 + -29. Is f a multiple of 15?
True
Let v(u) = u - 7. Let y(k) = 2*k - 4*k + 1 + 5. Let c(a) = -3*v(a) - 4*y(a). Is 11 a factor of c(5)?
True
Let d be (-12)/(-9)*(-18)/4. Let s(x) = -4*x + 6. Does 16 divide s(d)?
False
Suppose -46 = -j + 2*q, 0*j - 5*j = 5*q - 155. Is j a multiple of 9?
True
Let t(d) be the first derivative of 3 + 3*d - 4*d**2 - 8/3*d**3 - 1/4*d**4. Is t(-7) a multiple of 10?
True
Suppose 0*x = -3*x + 9. Suppose 0 = -x*s + 6 + 18. Does 4 divide s?
True
Let y(w) = w**2 + 10*w + 11. Is 2 a factor of y(-9)?
True
Let p = 30 - 6. Let b = -17 + p. Is 3 a factor of b?
False
Let m be 16/6 - (-10)/(-15). Suppose m*c - 7*c = -110. Is 11 a factor of c?
True
Let k(a) = -2*a**2 - a + 2. Let o be k(5). Let f = o + 98. Is f a multiple of 15?
True
Let z be (-2)/(-1)*6/4. Suppose -2*d - 11 = -0*d + 3*i, -15 = z*d + 3*i. Let n = d + 15. Is 4 a factor of n?
False
Let y(p) = -p**2 - 14*p + 3. Does 7 divide y(-7)?
False
Let c(g) = 2*g - 7. Let q be c(6). Suppose q = -2*r + 4*h - h, -3*h = -3*r. Is 3 a factor of 2/(-5) + 17/r?
True
Does 11 divide (8/5)/((-8)/(-220))?
True
Let q be 1 - (0 + 1) - 1. Let s = 6 + q. Is s a multiple of 3?
False
Suppose 0 = 3*q - 38 - 133. Does 15 divide q?
False
Suppose 0 = 2*k - 7 + 3. Let b(t) = 10*t**k - 3 - 2*t**2 + 3 - 2 - t. Does 13 divide b(-2)?
False
Suppose 4*o - 5*z + 0 = -5, -2*o + z - 1 = 0. Suppose -56 = -2*l - o*l. Does 11 divide l?
False
Let o = -15 - -24. Let v = 39 - o. Suppose 30 = 5*u - v. Does 6 divide u?
True
Let b be 6/(-5)*(0 - 15). Let u be (-2 + 2)*1/2. Suppose -g + u*g = -b. Is 6 a factor of g?
True
Suppose 0 = -4*v + 868 + 572. Suppose -5 = 5*d, 0 = -5*i + 3*d + v - 127. Does 13 divide i?
False
Suppose -2*g + 3*a + 59 = 0, -4*g - g = -a - 128. Let l = g + -82. Let z = -18 - l. Is 15 a factor of z?
False
Let p(m) = 2*m**3 + 16*m**2 - 4*m. Is 5 a factor of p(-8)?
False
Suppose 15 = 2*k + 1. Suppose r + 3 = 0, w + r + k = -2*r. Suppose -h + 2*n - 3*n + 16 = 0, 0 = -w*n + 6. Is 5 a factor of h?
False
Let d be (-2)/(-9) + 136/36. Suppose 5*y - 7 = d*y. Suppose -z - y = -2*z. Is z a multiple of 6?
False
Let h(i) be the second derivative of 1/2*i**3 - i**2 - 2*i + 0. Does 2 divide h(2)?
True
Suppose 2*z + 18 = 4*z. Let f(g) = -g**3 + 8*g**2 + 10*g - 5. Let p be f(z). Suppose -b - 21 = -p*b. Does 3 divide b?
False
Let x be -1*2*(-15)/6. Does 13 divide (-548)/(-20) - (-3)/x?
False
Let u(n) = -n**3 - n**2 + n + 24. Let b = 5 + -5. Does 8 divide u(b)?
True
Let v be (-2)/12 - (-52)/24. Suppose 480 = v*k + 106. Suppose 0 = -4*q - 3*u - 45 + k, -5*u + 112 = 3*q. Is q a multiple of 12?
False
Let g(o) be the second derivative of o**5/20 - 5*o**4/4 + 8*o**3/3 - 8*o**2 + 2*o. Is 4 a factor of g(14)?
True
Let u = -20 + 116. Suppose 6 = 3*b - 5*b, -5*o = -2*b - u. Does 6 divide o?
True
Let h(j) = -j + 4 + 0 + 2. Let c be h(6). Suppose -4*b + 5 + 7 = c. Is b even?
False
Does 9 divide 4/18 + (-482)/(-18)?
True
Does 34 divide (-69)/(-1 + 1 - 1)?
False
Suppose -5*f + 10 = 5*m - 20, -5*m - 3*f = -20. Suppose 0 = -c - 1 - m. Does 18 divide -4 + 26 - c/2?
False
Is 7 a factor of (51/9)/(9/108)?
False
Suppose 0 = 4*y - 8*y + 56. Suppose -14 = -2*l + y. Is l a multiple of 5?
False
Suppose 2*q + p = -9, -2*p - 16 + 2 = 3*q. Does 3 divide 6/q*8/(-3)?
False
Suppose 2*l - 3*i - 159 = 0, 229 = 5*l + 5*i - 106. Is l a multiple of 9?
True
Suppose 12 = 3*m + 3*o, 0 = -0*m - m + o - 2. Let b be -3*(-4)/6*-18. Is 6/(-3) - m*b a multiple of 19?
False
Is 452/2*(-7)/(-14) a multiple of 24?
False
Let l = -17 + 22. Suppose -3*m + 19 = -n + l*n, -m = -1. Does 4 divide n?
True
Let y = 8 + -7. Let p be y/(-2) - (-91)/14. Suppose -p = n - 2*n. Does 3 divide n?
True
Let q be ((-27)/2)/(2/(-12)). Let h be (1 + -1)/(10 + -11). Suppose -j - 123 = -4*i, h = -3*i - 0*i - 3*j + q. Is 15 a factor of i?
True
Let a = -47 - -82. Is 35 a factor of a?
True
Let n = -2 - -5. Suppose 3*c - 9 = -3*p - 0*c, 0 = n*p + c - 7. Is p a multiple of 2?
True
Suppose 0 = -d - 4 + 1. Let h = -6 - -8. Is 3/h*(-20)/d a multiple of 4?
False
Let a be 586/10 - (-18)/(-30). Let w = a + -19. Does 13 divide w?
True
Suppose -3*t - 2*p + 32 = 0, t = 3*t - 3*p - 43. Does 8 divide t?
False
Suppose -z + 127 = -5*u, 5*z - 4*z + 4*u - 109 = 0. Is z/5 - 18/45 a multiple of 11?
False
Let g = 49 - -59. Does 27 divide g?
True
Suppose -3*c - 6*i + 9*i = -726, i = 4. Does 10 divide c?
False
Let k = -10 + 96. Is k a multiple of 20?
False
Let z(m) = -m**3 - 4*m**2 - 2*m + 3. Let r be z(-3). Suppose -4*x = -r*x - 52. Is 9 a factor of x?
False
Suppose -4*a = -6*a + 142. Is a a multiple of 38?
False
Let t(s) be the third derivative of 19*s**4/24 + s**3/6 + 2*s**2. Is t(3) a multiple of 19?
False
Suppose -1425 = -5*a - 430. Does 8 divide a?
False
Let j be (-4 + 3)/(-3 - (-5)/2). Suppose v - 3*v + 6 = 0. Let n = v + j. Is 4 a factor of n?
False
Let d(m) = m**3 - 14*m**2 + 5*m - 12. Is 10 a factor of d(14)?
False
Let a(n) = -n**2 - 8*n + 7. Suppose -6*j + 4*j - 6 = 0, -28 = 5*f - 4*j. Does 3 divide a(f)?
False
Let z(o) = 3*o**2. Let i be (-3)/((-2)/4*3). Let t be z(i). Let j = -4 + t. Does 4 divide j?
True
Let n = 31 - 19. Let y = n - 4. Is 4 a factor of y?
True
Is 27 a factor of (-9 + 17)*25/2?
False
Suppose 0 = 5*j - 17 + 2. Suppose -c = j*c. Is -2 - (-8 + c + -2) a multiple of 4?
True
Let c(o) = -o**3 - 2*o**2 + 7*o - 3. Let j be c(-6). Let i = j + -49. Does 25 divide i?
True
Let t be (4/2)/((-1)/(-2)). Let g = -4 + 29. Suppose g = t*v - 35. Is 15 a factor of v?
True
Let y(p) = p**3 + 2*p**2 - 2*p - 1. Let s be y(-2). Suppose 6*i - 2*r = s*i + 25, 20 = 3*i - r. Suppose 5*l + 4*n = -0*n + 41, 13 = 2*l + i*n. Does 9 divide l?
True
Suppose -j = 2*w + 4, -4*j = 3*w - w + 4. Suppose -12 = -3*c - j*c. Let s = c + 8. Is s a multiple of 6?
True
Let w be (-9)/(-21) + 55/35. Let n = w - -44. Is 25 a factor of n?
False
Suppose -2*g + 0 = 12. Let c(m) = -2*m + 4. Let z(j) = -1. Let k(r) = g*z(r) - c(r). Is 9 a factor of k(8)?
True
Let k(f) be the first derivative of f**4/4 - 11*f**3/3 + 7*f**2 - f + 4. Is 13 a factor of k(10)?
True
Let j be (-5)/30 + 481/6. Suppose -4*w + 1 = 17, 0 = 4*p + 2*w + j. Is 92/9 - (-4)/p a multiple of 10?
True
Is (-2)/(-7) - (-3)/((-42)/(-458)) a multiple of 17?
False
Let b = 50 + 15. Suppose -5*z + b = 15. Is z a multiple of 5?
True
Let t = 16 + -16. Suppose t = -4*r - 2*d + 148, 2*r + 4*d = 13 + 49. Does 13 divide r?
True
Is -18*((-147)/18 - (-18)/(-12)) a multiple of 29?
True
Does 26 divide (-2)/(10/(-131)) - 3/15?
True
Does 26 divide (8 - 7)*(179 + 3)?
True
Suppose -30 = -5*n - 5*a, 1 - 10 = -4*n + a. Suppose -4 = y, j + 3*y + 0 = -n. Does 9 divide j?
True
Suppose 5*b - i - 103 = 0, 0*b + 3*i + 49 = 2*b. Is b a multiple of 10?
True
Is -3 + -2*34/(-4) a multiple of 14?
True
Let h(o) = -o**3 - 4*o + 7. Does 9 divide h(-3)?
False
Let y(w) = -4*w + 3. Let v be y(3). Let o be (-24)/v*(-9)/(-2). Let i = -2 + o. Is i a multiple of 10?
True
Let c = -24 - -45. Is 7 a factor of c?
True
Let v(j) = -j**2 - 5*j + 3. Suppose -5*h + h - 4 = 4*a, h = -3*a + 7. Let k be v(h). Suppose 0*u = k*u - 72. Is u a multiple of 12?
True
Suppose -164*t = -161*t - 30. Is 10 a factor of t?
True
Suppose -5*t = 5*u - 3*u - 49, -43 = -5*t - 4*u. Is t a multiple of 11?
True
Let l(s) = s. Is 8 a factor of l(9)?
False
Let u(n) = -n**3 - 5*n**2 - 5*n + 2. Let l be u(-4). Let m(d) = -d**3 + 7*d**2 - 7*d + 8. Let y be m(l). Suppose 54 = -y*v + 5*v. Is 17 a factor of v?
False
Let o(c) = 2*c**2 + 12*c - 14. Let u be o(-10). Suppose -t = 2*t - u. Does 22 divide t?
True
Let b = -265 - -451. Does 24 divide b?
False
Suppose -2*v + 1262 = 4*s - 58, -339 = -s - 5*v. Is s a multiple of 47?
True
Let p(y) = y**2 + 11*y - 3. Let a(n) = -n. Let l(x) = -3*a(x) - p(x). Is 5 a factor of l(-5)?
False
Let h be 2/10 - (-9)/5. Let a be (0*(-1)/2)/h. Suppose a = 3*b - 4 + 1, b + 39 = 4*y. Does 10 divide y?
True
Let f = -4 - -9. Let s(t) = -t**3 - t**2. Let u be s(0). Suppose -f = -x - u. Is 5 a factor of x?
True
Suppose 3*b = 4*s + 21, 3*s = -2*b + 7*s + 18. Suppose 0 = 5*r + b*g - 87, -4*r = -r + 2*g - 53. Does 5 divide r?
True
Let n(q) = -q**3 - 4*q**