+ 2. Does 8 divide t(o)?
True
Let m = 16 + -11. Suppose -b - 3*t + 4 = -1, m*b = 5*t + 5. Does 3 divide 1/b + (-26)/(-4)?
False
Let f(s) be the second derivative of -3*s**5/20 - s**4/12 - s**3/6 + s**2/2 - 3*s. Let m be f(1). Is ((-2)/m)/((-3)/(-126)) a multiple of 12?
False
Suppose 0 = -2*c - 3*f + f + 120, -3*c = -4*f - 166. Is c a multiple of 10?
False
Suppose -b - 3*b + 3*y + 12 = 0, 3*y + 12 = 0. Suppose 2*z + b*z - 22 = 0. Is 3 a factor of z?
False
Is 14 - (-1 + 1 + 1) a multiple of 6?
False
Let l be (-2 + 4)*(-3)/(-2). Suppose -w + l*w - 22 = 0. Does 11 divide w?
True
Suppose -2*s = 4*l + 3*s - 967, -l = 2*s - 238. Does 31 divide l?
True
Suppose n = 3*n. Let d(p) = p**3 - 6*p + 3*p**2 - 3 + n*p**2 + 0*p**3. Is d(-4) a multiple of 3?
False
Let z be (-265)/(-6) + 2/(-12). Let a = z - 28. Is a a multiple of 4?
True
Let h(b) = -b - 6. Is 3 a factor of h(-13)?
False
Let a(y) be the third derivative of y**5/60 - 2*y**3/3 + y**2. Let r(o) be the first derivative of a(o). Is 5 a factor of r(3)?
False
Let b(g) = 7*g + 2. Suppose 0 = 3*p + 7 - 19, -8 = -5*s + 3*p. Does 10 divide b(s)?
True
Let z(p) be the third derivative of p**5/60 + p**4/12 - p**3/6 + 4*p**2. Let t be z(-4). Let n = 0 + t. Is n a multiple of 6?
False
Let y(l) = -3*l + 2. Is y(-10) a multiple of 16?
True
Let a = -6 + 8. Suppose 0*j - 2*j = -a*y - 34, -y - 97 = -5*j. Is 9 a factor of j?
False
Let q = -4 - -4. Let f(o) = -o + 48. Let p be f(q). Suppose 0*a = 4*a - p. Is 12 a factor of a?
True
Let p = 10 - -3. Is 13 a factor of p?
True
Suppose -33 = -3*d - 6. Suppose 0 = 5*k - d - 1. Suppose -2*c + 95 = 3*c + 4*y, -3*c - k*y + 55 = 0. Does 13 divide c?
False
Let a = 31 - 12. Is 8 a factor of a?
False
Let c(d) = 27*d**2 + 2*d - 1. Is c(1) a multiple of 7?
True
Let a = 72 - 16. Is 16 a factor of a?
False
Let u be 133/49 + 2/7. Suppose o + o - 2*l = 144, u*o = 2*l + 216. Is 24 a factor of o?
True
Let a = -5 + 10. Suppose 3*v - 35 = -5*c - 7, a*c + 16 = v. Is v a multiple of 11?
True
Suppose w = -4*d - 2 + 1, -4*d + 11 = 5*w. Suppose 2*n - 132 = w*o + 22, -318 = -4*n + o. Does 18 divide n?
False
Let o = 1 - -46. Suppose u + 4*f = o, f - 4*f = -3*u + 66. Is u a multiple of 16?
False
Let u = -5 + 2. Let x be 10*(2 - (-2 - u)). Suppose i - x - 1 = 0. Does 5 divide i?
False
Suppose 0 = 2*s + 4*q - 66, -s - q - 41 = -3*s. Suppose -5*r = 2*v - 138, -r + 0*v - 5*v = -s. Is 15 a factor of r?
False
Suppose 6*i + 10 = i. Let o be ((-6)/4)/(i/4). Suppose 3*n = j + 127, -o*n - 2*j - 65 = -189. Is n a multiple of 21?
True
Let y(k) = -k**3 + 6*k**2 + 4*k - 5. Does 2 divide y(6)?
False
Suppose -29 - 142 = -3*p. Suppose 5*o - p = -u + 3*u, -3*u = 3. Does 11 divide o?
True
Suppose -5*y + 2*w = -81, y - 2*w - 21 = -0*y. Does 3 divide y?
True
Suppose 2*s + 98 = 388. Let d = -94 + s. Is d a multiple of 29?
False
Suppose 2*l - 32 = -5*d + 256, 4*d - 288 = -2*l. Is 16 a factor of l?
True
Suppose -2*v = -6*v + 192. Does 11 divide v?
False
Suppose -c + 4*l - 5*l + 106 = 0, 5*l = -20. Is c a multiple of 10?
True
Suppose 3*u + 3*u + 180 = 0. Let q = 78 + u. Does 12 divide q?
True
Suppose 7 = 5*d - 18. Suppose d*b + 55 - 160 = 0. Is 16 a factor of b?
False
Suppose 3*v = 5*q - 754, 3*v + 0 = 6. Is q a multiple of 23?
False
Suppose 0 = 4*k - 97 - 55. Is k a multiple of 2?
True
Suppose -3*z - 34 = -151. Does 14 divide z?
False
Let k(t) = -14*t - 4. Let z = 6 - 2. Let n be z/6 + 84/(-18). Is k(n) a multiple of 19?
False
Let g = 213 - 129. Is 7 a factor of g?
True
Let d(u) be the first derivative of -u**4/4 + 8*u**3/3 + 5*u**2/2 + 11*u - 3. Does 17 divide d(8)?
True
Suppose -2*c + 6 = -42. Is 12 a factor of c?
True
Let r be -3 + 9/6*-2. Suppose -4*i + 3*i + 5*j + 3 = 0, 7 = -i - 5*j. Is 4 a factor of (16/r - i)*-12?
True
Let l = 5 + -4. Let b(c) = -22*c**2 - 1. Let a be b(l). Let f = a - -56. Is f a multiple of 21?
False
Is (9/(-9))/((-2)/96) a multiple of 8?
True
Let b be (-1)/(((-6)/57)/2). Let j = 29 - b. Is 5 a factor of j?
True
Suppose 0 = -5*f - 21 + 6. Let v be (-1 - (-3)/f)*23. Let x = v - -74. Is x a multiple of 13?
False
Suppose -3*q = 5*l + 2 - 21, 4*q - 60 = 2*l. Let p(v) = -v + 28. Is 4 a factor of p(q)?
False
Let q = 3 - 1. Suppose 11 = a - 4*u, -a + 2 = a + q*u. Suppose a*j - 28 = 95. Does 17 divide j?
False
Suppose 3*g = -2*g + 235. Is g a multiple of 21?
False
Suppose 0 = 4*k - k. Suppose -2*a = 2*h - 5*a - 101, -5*h - 4*a + 195 = k. Is 11 a factor of h?
False
Suppose d + f - 93 = 0, -3*d = 4*f - 6*f - 254. Is d a multiple of 11?
True
Does 13 divide ((-2)/2)/(2/(-98))?
False
Let d = 87 + -48. Suppose d = -2*t - 11. Is (24/(-5))/(5/t) a multiple of 8?
True
Let u(h) be the third derivative of -h**7/2520 + h**6/72 - h**5/12 + h**4/24 - 2*h**2. Let g(d) be the second derivative of u(d). Does 11 divide g(7)?
True
Let z be 60/9*(-3)/(-2). Suppose m = 6*m - z. Let h = 8 + m. Is 10 a factor of h?
True
Suppose -137 - 18 = -5*j. Suppose -71 = -3*c + j. Is 13 a factor of c?
False
Suppose -4*q + 12 = -q. Suppose -5*o + 16 = -c, o + q*c = 2*c + 12. Is 2 a factor of o?
True
Suppose 7*h - 5*h = -3*g + 769, h - 4*g - 412 = 0. Is 20 a factor of h?
False
Let d(h) = -h**3 - 7*h**2 + 6*h - 1. Let i be d(-8). Is 31 a factor of (198/i)/(3/20)?
False
Let z(l) = 5*l + 1 + 3*l + 10*l + 29*l. Let i(t) = -t**2 - 3*t + 1. Let a be i(-3). Is z(a) a multiple of 19?
False
Let o(h) = h**3 + 7*h**2 + 7*h + 7. Suppose 2*t + 3*t = -15. Let p be t/9 + 28/(-6). Is 11 a factor of o(p)?
True
Let i = -3 - -8. Let d be (15/(-1))/(-6 + i). Let y = d - -7. Does 22 divide y?
True
Is (-15)/(-20)*3*8 a multiple of 6?
True
Suppose -84 = -2*i + 5*y, 0*i - 5*i + 210 = -5*y. Suppose 2*z + 0*z = i. Let u = z + -8. Is u a multiple of 13?
True
Suppose 4*l = 49 + 107. Is l a multiple of 10?
False
Let y(s) = -s**3 - 2*s**2 + 13*s - 5. Let a be y(-6). Let k = -5 - -47. Let n = a - k. Does 17 divide n?
False
Let t = 60 + -27. Is 11 a factor of t?
True
Suppose 5*m - 3*d - 2*d = 35, 2*m = -d + 8. Suppose m*r + 11 = 191. Does 6 divide r?
True
Suppose 0 = 3*n + n + 5*g - 291, 20 = -4*g. Let r = n + -37. Is 10 a factor of r?
False
Does 3 divide (-79)/(-9) - (-10)/45?
True
Let p(a) = 5*a + a - 4*a - 4*a. Is 8 a factor of p(-4)?
True
Let t be (9/(-6))/((-3)/6). Let p = t - -3. Does 3 divide p?
True
Let b = 18 - -21. Suppose 2*q - 20 = 5*d, -4*d + 7*d = 3*q - b. Suppose -u = -q - 11. Is 13 a factor of u?
True
Is 870/20 - (-6)/(-4) a multiple of 21?
True
Does 35 divide 7*5/20*20?
True
Suppose -4*b + 15 = -b. Suppose l = -2, 5*l - b = -2*f - f. Is f a multiple of 5?
True
Let t = -9 + 13. Suppose 3*q = t*q - 9. Is 3 a factor of q?
True
Let a(b) = -b**3 + 7*b**2 - 4*b - 5. Suppose 3*s + 5 = 23. Is 7 a factor of a(s)?
True
Let n(m) be the second derivative of m**3 + 4*m. Is n(6) a multiple of 15?
False
Let r(v) = v**3 - 3*v**2 + 2*v - 1. Let x be r(1). Let a be 1/((-2 + x)/(-15)). Suppose -3*t - 43 = -o, -a*t = 2*o - t - 96. Is 17 a factor of o?
False
Let i(w) = w**2 + 6*w + 5. Let x = -8 - -1. Does 6 divide i(x)?
True
Let d be (-1)/(-3) + 1108/6. Let f = -103 + d. Let w = f - 49. Is w a multiple of 13?
False
Suppose 7*q + 2*v - 52 = 2*q, 0 = -3*q - v + 32. Is 12 a factor of q?
True
Let x(i) = 2*i**3 - 4 - 3*i**2 - i - 2*i**2 - 2 - i**3. Is 24 a factor of x(6)?
True
Let c = -8 + 14. Suppose -6 = 3*k - c*k. Suppose 3*d + 13 = 5*r + 78, -53 = -3*d + k*r. Is d a multiple of 15?
True
Suppose 2*a + 2*a - 2 = -i, 5*a = -4*i + 8. Suppose -2*s = -4*q + 1262 + 46, 3*q - 955 = -5*s. Is i/(-9) + q/45 a multiple of 7?
True
Suppose 5*l + 20 = -5*s, -s + 25 - 5 = -5*l. Suppose -104 = -4*g - s*g. Is 17 a factor of g?
False
Let l = -219 + 366. Suppose 0*u - 5*p - 19 = -u, -l = -3*u - 3*p. Is u + (0/1)/1 a multiple of 15?
False
Let g(u) = -u - 2. Let d be g(-5). Let v(j) = j**3 - j**2 + j - 3. Is 9 a factor of v(d)?
True
Let l = 22 - -108. Suppose 3*m - 4*d = l, 5*d + 0*d - 56 = -m. Let y = m + -18. Is 14 a factor of y?
True
Suppose -2*w + 33 = -35. Is 19 a factor of w + (-1 - (-3 - -4))?
False
Is -1 + (5 - 9) - -63 a multiple of 11?
False
Suppose -j = 3*g - 155, -g + 4*j + 80 = g. Let s = g + -34. Suppose -7*x = -5*x - s. Is 4 a factor of x?
True
Suppose -2*p - 61 + 17 = 0. Let s = 55 + p. Suppose 2*y - s = -w - 0*w, -4*w - 39 = -y. Is y a multiple of 8?
False
Let l(h) = h**3 + 7