(-8) - (20/8 + -3). Does 7 divide (s - 0)/((-3)/96)?
False
Let b = -2 - -8. Let x be ((-20)/(-25))/(b/15). Suppose -3*k + 26 = -x*k. Is 16 a factor of k?
False
Let s = -72 - -51. Let d = s + 23. Suppose d*a = -a + 21. Does 7 divide a?
True
Let t(s) = -s - s + 578 - 568 + s - s**2 + 8*s. Let r(v) = -v**3 + 4*v**2 - v - 1. Let h be r(2). Does 5 divide t(h)?
True
Let f(x) = -56*x - 9. Is f(-1) a multiple of 4?
False
Let w(u) = u**2 + 6*u - 3. Let t be w(0). Is 6/(-4) - (t - 705/6) a multiple of 15?
False
Suppose -17 = 3*s + b, -3 + 4 = s - b. Let o(z) = z + 8. Let u be o(s). Suppose -66 = 2*i - 4*i - u*c, 0 = -c - 3. Does 19 divide i?
False
Let a(t) = 2551*t + 301. Is a(2) a multiple of 17?
False
Suppose 3*i - n - 7 = 0, -5 = -2*i - 3*n + 4*n. Suppose 18 = i*l + 6. Does 4 divide 3/l - (-84)/8?
False
Let n = -7 + 11. Suppose -3*t = -n*x + 12, 3*x = 3*t - 0*x + 9. Suppose 0 = -4*l + 20, l + t*l = 3*a - 49. Does 10 divide a?
False
Suppose 59*o - 7659 = 56*o. Is 111 a factor of o?
True
Is (-4)/(-30) - 4944/(-45) a multiple of 55?
True
Suppose -4*y - 3*w = -25, 2*w - 14 = -2*y - 0*w. Suppose -4*r - 5*d + 228 = 0, 2*r + 32 = -y*d + 146. Is r a multiple of 19?
True
Let j(c) = 150*c**3 - 8*c**2 + 12*c - 6. Does 41 divide j(2)?
False
Suppose -2*s + 232 - 82 = 0. Let n = s - 11. Is n a multiple of 8?
True
Suppose 0 = -3*l - 3 + 60. Let c = l - 4. Let z(w) = 2*w + 10. Is 20 a factor of z(c)?
True
Let d = 7 - 2. Let b be 5*(-1)/(d/(-4)). Is 3 a factor of (-9)/(-6) - (-34)/b?
False
Let w = 20 - 21. Does 13 divide (-244)/w - (-1 + 1)?
False
Suppose -320 = -3*j - 5*n, -2*j + 3*n = -5 - 183. Is 4 a factor of (j/15)/(2/3)?
False
Let p(m) = -m**3 + m**2 + m - 1. Let q(r) = -5*r**3 + 15*r**2 + 8*r. Let v(u) = -4*p(u) + q(u). Does 9 divide v(10)?
True
Suppose 36 = 4*f - 4*l, 5*f - 4*l - 4 = 38. Let t be (-4)/f - 268/(-6). Let a = t + 4. Is a a multiple of 16?
True
Suppose 3*s + 0*s - 15 = 0. Suppose -s*o - 5*p + 3 = -2, -o - 5 = 4*p. Is (4 - 4) + o*1 a multiple of 3?
True
Let b = 14 - 1. Suppose -2*c - 3*p = -195, 3*c - 4*p + b - 263 = 0. Does 15 divide c?
True
Let p(q) = -q**3 + q**2 - q. Let y be p(0). Suppose y = -4*v - 3*z + 4 + 16, 5*v + 3*z = 25. Suppose -3*h = h - v*d - 157, 147 = 4*h + 5*d. Is 12 a factor of h?
False
Let m be ((-8)/(-1 + 3))/(-1). Suppose -6*b + 160 = -302. Suppose 16 = -m*j, -4*d + 5*j = -b - 47. Is 5 a factor of d?
False
Suppose 8*a - 4 = 12. Suppose -2*u - a*u = -832. Does 8 divide u?
True
Let r = -8 - -18. Let b be (-9)/(-2) + 5/r. Suppose 11 = 3*i + k - 17, b*k = -3*i + 20. Does 9 divide i?
False
Suppose 0 = 9*k - 4*k + 2*m - 941, 4*m - 748 = -4*k. Is 6 a factor of k?
False
Suppose 13 = 3*h + 2*g, -31 + 7 = -4*h - g. Is (-34)/(-4)*(h - -3) a multiple of 30?
False
Suppose -6 = 2*k + k + 3*t, 0 = -k + 3*t + 2. Does 35 divide k/5 - (-2)/(-10)*-776?
False
Suppose 0 = k + 12 + 4. Let i(d) = -d + 26. Is i(k) a multiple of 7?
True
Suppose 0 = 6*k - 2427 - 2367. Is 34 a factor of k?
False
Let p(s) = -s**3 + s**2 + 2*s. Suppose -8*a + 4*a - 20 = 0. Is p(a) a multiple of 29?
False
Let j = 69 + -118. Let o = j - -35. Let r = 32 + o. Is 9 a factor of r?
True
Let s be (-7)/(-4 - (-129)/33). Let d be s/5 + (-9)/(-15). Suppose -21*x + 260 = -d*x. Is x a multiple of 13?
True
Let w(i) = -2*i**3 - 5*i**2 - 11*i - 4. Let d(c) = c**3 + 2*c**2 + 6*c + 2. Let j(r) = -7*d(r) - 4*w(r). Suppose 11 = -2*x + 3. Does 8 divide j(x)?
False
Let z(x) = 3*x**2 - 4*x**2 + 16*x**2 - 11*x + 10*x - 4. Is 47 a factor of z(-5)?
True
Suppose 2*f - f - 549 = 3*k, 2*f - 1082 = 2*k. Let x = f + -226. Is x a multiple of 14?
False
Let k = -284 - -484. Does 3 divide 2/(-12) + k/48?
False
Let v(y) be the third derivative of -11*y**4/24 - 11*y**3/3 - y**2. Is 11 a factor of v(-9)?
True
Let y = 28 + -30. Is 2 a factor of 12 + (-2 - 1 - y)?
False
Let o(m) = 2*m**2 - 5 + 4*m**2 + m**3 + 48*m - 53*m. Let h be (-3)/(-1)*(2 + -4). Is o(h) a multiple of 16?
False
Let j(c) = -2*c - 26. Let r be j(-14). Suppose -3*b + 702 = -r*p, 3*p = 5*b - p - 1170. Does 18 divide b?
True
Let d(k) = -k**2 - 15*k - 25. Let f be d(-13). Does 2 divide (12/f)/(26/13)?
True
Let f = -7 - -10. Suppose -5*k + 16 = -0*v - v, 0 = f*k - 4*v - 13. Suppose -5*x + 40 = k*m - 14, 3*x - 4*m = 44. Is x a multiple of 12?
True
Let m be (-6 + 3)*9 - 1. Let k be (-3 - -2) + m/(-4). Let s(w) = -w**3 + 7*w**2 + 7. Is s(k) a multiple of 14?
False
Let g(m) = 7*m**2 - m - 6. Is 6 a factor of g(3)?
True
Let x = 10 - 11. Let j = x + 13. Let v = j + -2. Is v a multiple of 4?
False
Suppose -5*r - 263 = -5*v - 3*r, -r = 4*v - 200. Let y = v + -28. Suppose -p + y = -4*x, 0*x - 46 = -2*p - 4*x. Is 9 a factor of p?
False
Suppose -5*z + 20 = 0, -6*l = -2*l + 5*z + 48. Let b(y) = -y**2 - 17*y + 12. Is b(l) a multiple of 6?
True
Does 7 divide 4/14 - (-9121)/49*5?
True
Let x = 123 + -62. Let r = 9 + x. Is r a multiple of 35?
True
Let d = -127 - 16. Let j = -22 - d. Is 40 a factor of j?
False
Suppose 252 + 1649 = 4*m - 3*p, -2*p - 948 = -2*m. Does 26 divide m?
False
Let j(l) = -6 - 6*l + 3*l + 12*l - 3*l. Does 12 divide j(5)?
True
Is -7 - -4015 - (-7 + 11 + -7) a multiple of 21?
True
Suppose -487 = -3*s - v, -4*s = -6*s + 3*v + 310. Does 23 divide s?
True
Suppose 0 = -3*b + 127 + 161. Let t = b - -18. Is 19 a factor of t?
True
Let s(v) = v + 8. Let r be s(-8). Suppose -2*k + 5*k - 165 = r. Is k a multiple of 16?
False
Let o = 47 - 108. Let d = 16 - o. Is d a multiple of 8?
False
Suppose 9 = 2*u + 21. Let j(r) = -r**3 - 6*r**2 - 3*r - 15. Is j(u) even?
False
Let k = 10 + -7. Let y(c) = -1 - 1 - 5 - k + 3*c. Is y(18) a multiple of 13?
False
Let l be ((-4)/6)/((-6)/18). Suppose -4*k = 2*t - 128, 5*t - l*k = 4*t + 56. Is 5 a factor of t?
True
Suppose 0 = 4*d - 5*d + 31. Let y = d + -1. Is y a multiple of 6?
True
Let i(t) be the first derivative of -t**4/4 - t**3 - t**2 + 7. Let a be i(-3). Suppose -3*b + a*b = 177. Is 16 a factor of b?
False
Let j(o) = 2*o**2 + 6. Let l be j(-3). Let z be l/(-6 - -2)*-1. Suppose -3*i + z*i - 264 = 0. Is 22 a factor of i?
True
Suppose 3*m + 179 = 2*l, 2*l - m - 195 = -14. Let s = -43 + l. Is 16 a factor of s?
True
Let l be (-40304)/(-56) - (-2)/7. Suppose -25*m + 19*m + l = 0. Is 8 a factor of m?
True
Let f(t) = -3*t - 11. Let h be f(-7). Let p be 8/2*(-33)/(-6). Let v = p - h. Is 6 a factor of v?
True
Suppose 29 = -5*p - 51. Suppose 29 = 6*n - 133. Let x = n + p. Is 3 a factor of x?
False
Let d(s) be the first derivative of s**2/2 - 14*s + 12. Let k be d(17). Suppose 2*h - n = 71 - 9, k*n = -5*h + 144. Is h a multiple of 15?
True
Let j be (-4)/30 + 4/30. Suppose 3*n - 364 - 272 = j. Let s = n - 107. Is s a multiple of 22?
False
Suppose 7 = 5*o - 8. Suppose -h - h + 129 = 3*n, 4*n + 151 = o*h. Is h a multiple of 19?
True
Suppose 3*v - t - 11 = 0, 2*v = -3*v + 5*t + 15. Is 9 a factor of (-199 - v)*-1 + -1?
False
Let n be (-6)/(-4 + (-36)/(-8)). Let j = 68 + n. Does 7 divide j?
True
Let c = 247 - 134. Does 9 divide c?
False
Let v(k) = -k**3 - 7*k**2 + 26*k + 3. Let t be v(-11). Let o = t - 89. Is 16 a factor of o?
True
Is (3591/95)/(3/10) a multiple of 14?
True
Is 15 a factor of (-35 - -346) + (-1)/(-1) + 3?
True
Suppose 0 = -1611*s + 1609*s + 3744. Does 48 divide s?
True
Let q(b) = b**3 + 4*b**2 + 3*b + 2. Let u be q(-2). Let i = -5 + 8. Suppose 5*k - 194 = -u*s, 5*s - 58 = -i*k + 48. Is k a multiple of 27?
False
Let v = 13 - 1. Suppose 0*f = -4*f + v. Suppose 0*j + 2*h = 3*j - 81, -3*j + 81 = -f*h. Does 16 divide j?
False
Is 3 a factor of 14535/87 - 20/290?
False
Let x(n) = -11*n**2 + 3*n + 4. Let d be x(-3). Let u be (8 - 8) + -2 + 154. Let g = d + u. Does 16 divide g?
True
Suppose 0*m - 3536 = -34*m. Is 8 a factor of m?
True
Let b = 2 + 10. Suppose 0 = -3*n - 0*n + b. Suppose u = -n*u + 245. Is 9 a factor of u?
False
Suppose -9 - 3 = -4*g. Suppose g = 4*j + 5*l - 4, -4*l - 28 = -j. Is 4 a factor of j?
True
Let w(b) be the second derivative of 7/4*b**5 + 0 - 1/6*b**4 - 2*b - 1/6*b**3 + b**2. Is w(1) a multiple of 8?
False
Suppose -4 = -4*j + 8. Suppose -j*s + 5 = -3*x + s, 5*x = 5*s. Suppose 2*y = -0*v + 3*v + 31, -x*v - 9 = 2*y. Is 4 a factor of y?
True
Is 77 a factor of 5/(50/(-15))*308/(-2)?
True
Let q(p) = 23*p + 1. Let w be q(6). Let o = -67 + w. Is ((-8)/(-16))/(2/o) a multiple of 11?
False
Suppose k + 5*