se -4*p = 5*v + 20 - 57, -v + 3*p - 4 = 0. Suppose -5*c + 15 = 3*j, -v = 5*c - 2*j + 5. Suppose 4*m - 2*m - 20 = c. Does 6 divide m?
False
Does 11 divide (2 - 6)*57/(-6)?
False
Let n(c) be the third derivative of 0 + 1/6*c**3 + 0*c + 1/24*c**4 - 13/120*c**6 - 1/60*c**5 + 4*c**2. Is n(-1) a multiple of 9?
False
Suppose -3*y - f + 812 = 0, -11*f + 13*f + 536 = 2*y. Is 41 a factor of y?
False
Let w be (-68)/(-18) + (-2)/(-9). Suppose -x = -w*x + 120. Does 17 divide x?
False
Let f(z) be the second derivative of -3*z**3 - 2*z**2 + 8*z. Is 8 a factor of f(-2)?
True
Suppose -83 = -2*x + 55. Is x a multiple of 23?
True
Let r be (-6 - -6)*(-2)/(-4). Let n be (-2)/(r/(-3) - 1). Suppose u - 20 = -n. Is u a multiple of 10?
False
Let q(v) = 3*v + 3. Suppose 8*d - 3*d - w - 30 = 0, -w - 9 = -2*d. Suppose 3*z - 14 - d = -3*u, 4*z - 25 = -3*u. Does 12 divide q(u)?
True
Let l = 11 + -8. Suppose -g + 96 = l*g. Does 6 divide g?
True
Suppose 2*v = -2*d + 28, 5*d = 2*v + v - 2. Does 4 divide v?
False
Suppose -5*w + 157 = -193. Is w a multiple of 10?
True
Let l(y) = -3 + 4*y + 6 - 5. Does 10 divide l(3)?
True
Let a = 24 - -4. Is 14 a factor of a?
True
Let z = 33 + -9. Is z a multiple of 6?
True
Suppose m - 6 = -2*o, -5*m + 0*o - o = -12. Let u(s) = 1 + 11*s**m - 3 - s - 10*s**2. Is 20 a factor of u(7)?
True
Let f(d) = -d**2 - 8*d - 3. Let l = -8 - -4. Let a be -2 - (-1)/(2/l). Does 10 divide f(a)?
False
Let o(l) = -20*l**3 - l**2 + l - 1. Let h be o(1). Let c = h - -32. Does 10 divide c?
False
Let p be (-1)/((-1)/(-7)*1). Let k = 19 - p. Does 13 divide k?
True
Let j be -5*(1 + -5 - -3). Suppose 11 = b + 2*s - s, j*s + 8 = 4*b. Is b a multiple of 2?
False
Let b = -13 + 18. Suppose -b*m + 4 = -56. Is m a multiple of 6?
True
Suppose -4*t = 4*h - 60 - 8, -3*t - 14 = -2*h. Is 13 a factor of h?
True
Is 15 a factor of (0 - -64) + (-19 - -15)?
True
Let n(c) = -c - 7. Let g be n(-6). Let s be -8*(g/(-2) + -1). Suppose -l + 25 = s*l. Does 2 divide l?
False
Suppose 4*r - 5*a - 478 = 0, -r + 2*a = -88 - 33. Is 26 a factor of r?
False
Let l = 7 + 23. Is 5 a factor of l?
True
Suppose 39*q = 48*q - 414. Is 7 a factor of q?
False
Let j be 2/6 + 66/18. Suppose 3*k - 4*y + 7*y + 306 = 0, -2*y = -j*k - 402. Let s = -63 - k. Does 21 divide s?
False
Let u(t) = t**2 + 14*t + 6. Let o be u(-14). Does 19 divide (-3)/(-2) + 219/o?
True
Suppose i + 0*b + 4*b = 120, 80 = i - 4*b. Is 25 a factor of i?
True
Let q = 56 - 83. Is 4 a factor of q/(-18)*22/3?
False
Let j be 2 - -70 - (-5 + 5). Is 12 a factor of 1/((3/j)/1)?
True
Suppose 4*a + 3 = -5. Let w(p) be the third derivative of p**5/15 - p**4/8 - p**3/2 - 3*p**2. Is 11 a factor of w(a)?
False
Suppose -5*f + 22 = 4*u - 3*u, 2*u - 24 = -5*f. Suppose r = u*r + 2. Is 3 a factor of (-1)/(r - (-33)/18)?
True
Suppose -33 + 8 = -5*k. Suppose 260 = 4*s - n, 2*n - 140 = -k*s + 3*s. Is s a multiple of 18?
False
Suppose 2*u = -3*t + 390, -2*u = -t + 2*u + 144. Suppose 0 = -4*b - 4*y + t, y + 57 = 3*b - b. Does 10 divide b?
True
Let p = -2 - -3. Let f(y) = 4*y**3 - 2*y**2 + y. Let n be f(p). Suppose 5*v = 3*q + 169, n*q - 17 - 6 = -v. Is 16 a factor of v?
True
Is (-10)/(-5) + (0 - -44) a multiple of 3?
False
Let y = 301 - 133. Is 14 a factor of y?
True
Let w be (207/15)/(1/5). Let t be (w/1 - 2) + -1. Suppose t + 34 = 5*x. Does 17 divide x?
False
Let i(d) = 4*d - 3. Let c(h) = -4*h + 3. Let x(f) = 4*c(f) + 5*i(f). Is x(4) a multiple of 9?
False
Let z be 2/4 + 14/4. Suppose -c + 14 + 14 = 2*g, 4*g = z*c - 100. Is 11 a factor of c?
False
Suppose 3*m = 69 + 474. Is 22 a factor of m?
False
Suppose -4*n = -n + 4*m + 68, -4*n - m - 82 = 0. Is 1/(-2) + (-90)/n even?
True
Let z(t) be the third derivative of t**6/120 - t**5/12 + t**4/24 - 5*t**3/6 + 3*t**2. Let o be z(6). Suppose -4*a + o = -7. Does 11 divide a?
True
Let j(p) = -2*p**3 + 2*p**2 - 1. Let y be j(1). Let a be 2/(y + 0 + 0). Is 6 a factor of (10 - a)*(-1 + 2)?
True
Let i = -4 + 8. Suppose -3*w = -4*z - 0*z - 21, -4*w - i*z = -28. Does 4 divide w?
False
Let h(m) = 7*m + 17. Is 52 a factor of h(5)?
True
Does 13 divide (-1 - (-2)/6)*-24?
False
Let s = -3 - -4. Suppose j = 2 + s. Suppose -2*a + j = -45. Is 9 a factor of a?
False
Is 58/(-87) + 1 + 935/3 a multiple of 24?
True
Does 7 divide (28/(-3))/((-4)/12)?
True
Does 2 divide (6/(-7))/(16/(-112))?
True
Suppose 0*q = q + 3. Let t(y) = -y**3 - y**2 - 2 + 0*y**2 + 3. Is 9 a factor of t(q)?
False
Suppose -k + 41 = k - d, -5*k - 4*d = -83. Is k a multiple of 4?
False
Let x(o) = 4*o**2 + 2*o + 1. Let j(n) = -n**2 - 2. Let k be j(0). Is x(k) a multiple of 5?
False
Let b be 4 + (0 - (-1 - 0)). Let d(j) = 8*j - 13. Let f(s) = 2*s - 3. Let y(n) = -2*d(n) + 9*f(n). Does 4 divide y(b)?
False
Let c(d) be the first derivative of 26*d**3/3 - d + 3. Does 10 divide c(-1)?
False
Let v(p) = p**3 - 9*p**2 + 8*p + 2. Let r be v(8). Suppose -r*o = 3*o - 75. Is 13 a factor of o?
False
Let d be (-46)/(-1) - (1 - 3). Let g = d - 34. Does 14 divide g?
True
Let j be 5 + 97 - (-2 - -1). Suppose 5*g - 157 + 36 = 2*v, 5*g + 4*v = j. Does 9 divide g?
False
Let l(s) be the first derivative of -2*s**2 - 1. Suppose 5*p = -3*i - 37, -21 = -i + 3*p + 2*p. Is 8 a factor of l(i)?
True
Let y = 31 + -14. Is 3 a factor of y?
False
Suppose -u = 3*u. Suppose 4*y - y - 24 = u. Suppose y = v - 28. Is 15 a factor of v?
False
Let m be 9 - (3 + (-2)/1). Let s = m + -6. Does 11 divide s*(0 - -13 - 2)?
True
Let w be 1/(-4) + 9/4. Suppose -127 - 113 = -3*c + 3*y, -w*y = -4*c + 330. Suppose 0 = -3*m - t + c, -2*m + m + 55 = -5*t. Is 15 a factor of m?
True
Suppose -950 = 7*b - 3652. Is 18 a factor of b?
False
Suppose -5*v - 223 = 2*m - 5*m, -4*m + 249 = 3*v. Is 6 a factor of m?
True
Let j be (2*11)/2 - 0. Suppose 0 = -0*i + i + j. Is 6/(-33) + (-145)/i a multiple of 7?
False
Let b(g) = 29*g**3 - g + 1. Let y(s) be the third derivative of -s**4/12 - s**3/2 + 4*s**2. Let d be y(-2). Is b(d) a multiple of 12?
False
Let s = 60 + 16. Is 18 a factor of s?
False
Let y = 31 + 185. Suppose -2*m = 2*a - y, -5*a + 645 = 4*m + 210. Suppose 8*h - 5*h = m. Is h a multiple of 18?
False
Let u(n) = n**2 - 7*n - 10. Does 34 divide u(13)?
True
Let g(a) = -a**2 - 10*a + 3. Let k be g(-10). Is k + (-2 - -2) + 31 a multiple of 17?
True
Let d(x) = -13*x**2 + 28*x - 24. Let b(s) = -3*s**2 + 7*s - 6. Let j(o) = -9*b(o) + 2*d(o). Does 6 divide j(7)?
True
Let p = 10 - -11. Does 21 divide p?
True
Let h(v) = -2*v + 6. Suppose 8 = -2*f - 6. Let o be h(f). Suppose -b + 0*b + o = 0. Is 9 a factor of b?
False
Let f(r) = 3*r - 4. Let w = 6 - 3. Let l be f(w). Suppose -88 = -4*s - 4*k, -4*k = -l*s + 8 + 84. Is 10 a factor of s?
True
Suppose 2*b - 35 - 20 = 5*w, 0 = -5*b. Let j = w - -18. Does 7 divide j?
True
Let i(n) = 2*n**2 + 33. Is i(0) a multiple of 3?
True
Let s = 99 + -66. Is 5 a factor of s?
False
Let l = -25 + 42. Is 7 a factor of l?
False
Let s be (-24)/((-9)/2 + 3). Let o = -8 + s. Is 4 a factor of o?
True
Let d = -16 - -11. Let l(a) = -4*a. Let r be l(d). Suppose -r = -3*z - z. Does 5 divide z?
True
Let x(c) = c**3 + 7*c**2 - 10*c - 6. Let i be x(-8). Let j be (-106)/(-10) - (-4)/i. Suppose -j = -r - 2. Is 3 a factor of r?
True
Let z(l) = l**2 + 7*l - 1. Does 2 divide z(5)?
False
Let g(z) = -z**2 - 8*z - 2. Let s be g(-7). Let h be -2*s*1/(-2). Suppose 5*w = -h*y + 175, 2*y + w + 0*w = 75. Is 19 a factor of y?
False
Let o be 6/(-4)*(-28)/(-3). Let m = 89 + o. Suppose -y + 6*y - m = 0. Does 15 divide y?
True
Let k be (-1)/(-1*(-1)/(-42)). Let w = -18 + k. Does 8 divide w?
True
Suppose 0 = -4*j + 4*x + 224, -3*j + x - 6*x = -200. Is 12 a factor of j?
True
Let i(j) = -2 + 0*j + 3*j - 2*j. Does 3 divide i(7)?
False
Suppose -4*l + l + 6 = 0. Suppose 1 + l = 3*q. Does 4 divide q*2/(-4)*-16?
True
Let k = -27 - 1. Let r = k - -66. Is r a multiple of 13?
False
Suppose -13*u = -9*u + 12. Is 11 a factor of u/(9/6) + 37?
False
Let g = 128 + -69. Let n = g - 31. Is n a multiple of 8?
False
Let u = 2 + 2. Let x = u + 0. Suppose -4*a + x*s = -104, -s + 3*s + 118 = 5*a. Is 6 a factor of a?
False
Let s = 3 + -3. Suppose -3*x = -s*x. Is 18 a factor of 106*(-3)/(x + -6)?
False
Is (-2)/3*(1 + 668/(-2)) a multiple of 21?
False
Let c(r) = r**2 - 9*r - 5. Is 26 a factor of c(-3)?
False
Suppose 2*y - 49 + 153 = 2*k, k - 3*y - 50 = 0. Does 32 di