2)/(3/(-3)) + 2. Suppose -3*j - 27 = w*k - 136, 5*k - 2*j = 119. Is 14 a factor of k?
False
Let n(b) be the first derivative of b**3/3 - 5*b**2 - 17*b + 2. Let a be n(12). Suppose t = 11 + a. Does 9 divide t?
True
Suppose 8 + 28 = 4*t. Does 2 divide t?
False
Does 37 divide (0 - (3 - -663))/(7 + -9)?
True
Suppose -5*t + 0*n - 466 = n, 0 = -3*t - n - 278. Let h = -48 - t. Suppose -5*g + h = 11. Is 6 a factor of g?
False
Suppose -t + 2*k + 12 = 0, 11 = 4*t - k - 9. Let v = 11 - -9. Suppose -t*p + v = p. Is p a multiple of 2?
True
Let i(t) = -5*t + 5. Let p be i(4). Let o(y) = -y**3 - 16*y**2 - 17*y - 21. Is 3 a factor of o(p)?
True
Suppose -7*q + 36 = -11*q. Does 15 divide 142/2 - (-27)/q?
False
Let i = 206 - 93. Suppose i = 3*j - 4*g, 5*g = 5*j - 217 + 32. Does 12 divide j?
False
Suppose 0 = -3*x + 16 - 4. Suppose 4*a = -x, 4*a = -0*z + 2*z - 140. Does 17 divide z?
True
Let h(w) = -w**3 - 6*w**2 + 6*w - 7. Let b be h(-7). Suppose 2*q - 26 = 2*v, -4*q = 5*v - b*v + 56. Is 16 a factor of (v/(-5))/((-6)/(-40))?
True
Let d(k) = 53*k - 1. Let s(t) = -7*t**3 + 6*t**2 + t - 1. Let w(a) = -a**3 + a**2. Let y(o) = -s(o) + 6*w(o). Let i be y(0). Does 20 divide d(i)?
False
Suppose -v + 20 = 4*v. Suppose -2*p - 6*u - 20 = -v*u, -4*u - 25 = p. Let r = 7 + p. Does 2 divide r?
True
Suppose -2*b + 0 = 4, -5*b = -5*p + 5. Let d = p - -3. Suppose -4*y + d = -14. Is y a multiple of 3?
False
Suppose -l = -78 - 4. Let m = 169 - l. Let t = m + -61. Is t a multiple of 12?
False
Suppose 0*h + h = -58. Let f = 92 + h. Suppose 0 = -5*a - 2*l + f, -a + 5*l = 2*a - 39. Does 4 divide a?
True
Suppose 8*f - 67 = 7*f. Is f a multiple of 12?
False
Suppose z + 10 = -61. Suppose 2 = -v - 2. Is 18 a factor of 6/24 + z/v?
True
Let i = -14 - -21. Let s(f) = 2*f**2 - 10*f + 3. Does 12 divide s(i)?
False
Let q be (-4)/14 + (-47)/7. Let j(o) = -2*o + 2 + o - 5 - o. Is 11 a factor of j(q)?
True
Suppose 5*v - 594 + 144 = 0. Does 18 divide v?
True
Let o(n) = n + 4*n - n**3 - 1 + 3*n + 0*n + 6*n**2. Is o(7) a multiple of 6?
True
Let n = -85 - -125. Let q be 1 - -17 - (1 - 3). Suppose n = 3*u - q. Does 12 divide u?
False
Suppose 2*i - 5*s = -12 + 80, 5*i = -3*s + 232. Suppose -4*h + i = -3*h. Is 13 a factor of h?
False
Does 17 divide (171 - 21)*(-4)/(-10)?
False
Is 72*(15/6)/5 a multiple of 9?
True
Does 38 divide (-2)/(-7) + (2685/35 - 1)?
True
Suppose -c + 5*u + 755 = 4*c, 4*u = 5*c - 753. Suppose 4*v - i - c = 0, 5*v - 104 = 5*i + 86. Is v a multiple of 19?
False
Let g = 174 + -107. Suppose -4*s = -g - 37. Is 13 a factor of s?
True
Let l = 768 + -547. Is 17 a factor of l?
True
Let d = 14 + -11. Is d a multiple of 2?
False
Suppose 4*b - 123 + 3 = 0. Is 18 a factor of b?
False
Let c be (-10)/(-2) - (3 - 3). Suppose 108 = 4*o - 2*p, c*o - 153 + 17 = 2*p. Is 14 a factor of o?
True
Let y = -5 + 14. Does 2 divide y?
False
Does 7 divide (41 + 1)*(-3 - (-95)/15)?
True
Let h = -11 - -15. Suppose 51 = 3*c - 4*t, c - t - 17 = -h*t. Is c a multiple of 11?
False
Let u = -22 + 13. Let z be (-40)/(-1 - u/12). Suppose 3*n + z = 8*n. Does 16 divide n?
True
Let d = -64 - -123. Is d a multiple of 13?
False
Let y = -12 - -31. Suppose y + 125 = 2*q. Is 15 a factor of q?
False
Let h be (-33)/7 - (-8)/(-28). Let i(q) = -3*q + 1 + 0 - 5. Is i(h) a multiple of 6?
False
Suppose -k + 15 = -6. Let t be ((-14)/k)/((-2)/102). Suppose 4*r - t = 3*r. Is 12 a factor of r?
False
Suppose 0 = -3*u - 127 + 28. Let r = u + 50. Is 17 a factor of r?
True
Suppose 5*o + 28 = 7*o. Is 4 a factor of o?
False
Suppose -4*n + 0*z = -2*z + 40, 5*z = -20. Does 13 divide (-4 - -1)/(n/112)?
False
Suppose -z + 5 = 0, 5*z = 5*f - 41 - 1474. Is f a multiple of 22?
True
Suppose 84 = -4*h + h. Let p = h - -58. Is p a multiple of 15?
True
Let x = -28 - -16. Let o = x + 7. Does 5 divide 1/o + (-123)/(-15)?
False
Suppose -124 - 20 = -4*y. Let n = -2 - -2. Suppose -y = -n*w - 4*w. Does 7 divide w?
False
Let i be (-3)/(-3)*0 - -3. Let n = 6 + i. Does 5 divide n?
False
Let b(f) = f**3 - 2*f**2 - 3*f + 2. Let i be b(3). Suppose 4*x + 36 = i*x. Is -1*x*3/3 a multiple of 14?
False
Let f be 3/(1 + -10)*-3. Suppose 5*v = -2*n + 35, 0 = -3*v - f - 2. Does 20 divide n?
True
Let z(p) = -p**3 - 5*p**2 - 4. Let g be z(-5). Is 5 a factor of g/6 - 64/(-6)?
True
Let c(m) = -m + 4. Suppose 4*l - 4*s - 20 = 0, -3*l + l + s = -5. Let x be c(l). Suppose 3*z = x*z - 3*d - 2, 0 = 4*z + 4*d - 24. Is z even?
False
Suppose 0 = 14*k - 13*k - 51. Is k a multiple of 4?
False
Let y(t) = -t - 2. Let d be y(-3). Let o(h) = 37*h**3 + h**2 - 2*h + 1. Let w be o(d). Suppose 5*z = -4*a + w, a + 8 = -3*a. Is 9 a factor of z?
True
Let t = -69 - -159. Let g = t + -51. Does 13 divide g?
True
Let a(i) = 4*i**2 + 17*i + 5. Does 49 divide a(-9)?
False
Let g(a) = 2*a**2 - 6*a + 5. Let z be g(5). Let q = z - 4. Is 7 a factor of q?
True
Suppose 7*c + 66 = 8*c. Suppose -132 = -4*r - 3*p, 2*r + 4*p - p - c = 0. Is 11 a factor of r?
True
Let x(p) = -12*p - 12. Let n(l) = 4*l + 4. Let d(a) = 14*n(a) + 5*x(a). Let w be d(-6). Suppose -4*h = -8*b + 3*b - w, -5*h + 62 = 3*b. Does 5 divide h?
True
Suppose 3*a - 13*a + 420 = 0. Is 3 a factor of a?
True
Suppose -4*i - 3*m - 83 = 325, -m - 521 = 5*i. Does 7 divide 3/12 + i/(-12)?
False
Suppose 4*c - 7*c + 684 = 0. Is c a multiple of 38?
True
Let u = 7 + 4. Suppose -5*k + u = -144. Does 12 divide k?
False
Let l = -155 - -169. Let c = -2 + 4. Suppose -c*j = -18 - l. Does 7 divide j?
False
Let w = 3 + 1. Let o be 5/2 + (-2)/w. Is 10 a factor of 12/o*(-10)/(-3)?
True
Suppose -3*c + 11 = h, -4*h + 3*c = -0*c - 59. Let z be (-2)/(-6) - h/(-3). Suppose -z*m + 62 = -18. Does 6 divide m?
False
Let w be 9/((-3)/(-6 - -3)). Suppose 42 = w*n - 6*n. Is 5 a factor of n?
False
Suppose 2*f = 4*o - 16, f + 13 = 3*o - 0*f. Suppose 78 - 3 = o*v. Is v a multiple of 13?
False
Let y(o) = o**2 + 1. Let v(j) = -j - 6. Let w be v(-6). Let t be w - (-3)/((-3)/2). Does 2 divide y(t)?
False
Suppose -3*p - x + 161 = 0, 11*x - 7*x - 94 = -2*p. Is 11 a factor of p?
True
Let i be 1/2*(-2 - 4). Let l = 29 + i. Is l a multiple of 4?
False
Let g(w) = w + 4. Let p be g(-2). Suppose p*o + 5*b - 128 = -o, 0 = -5*o - b + 184. Is 12 a factor of o?
True
Suppose 2*b + 4 = 0, g = -g - 2*b + 4. Suppose -7 = g*r - 35. Is r a multiple of 2?
False
Let b = 5 + -2. Suppose -16 = 4*l, -b*k + 204 = k - 3*l. Is k a multiple of 24?
True
Let b(k) = -k**3 + 3*k**2 + k + 3. Suppose 3*t = 2 + 1. Let l = 2 + t. Is 2 a factor of b(l)?
True
Suppose -3*s = -5*f - 5*s - 14, 4*f + 4*s + 4 = 0. Suppose -2 + 0 = 5*z + 4*t, 4*t + 8 = -2*z. Does 5 divide z/f + 105/14?
False
Let b(s) = -s**3 + 12*s**2 + s + 5. Let x(c) = c**2 + c + 1. Let o(u) = -b(u) + 4*x(u). Is 13 a factor of o(8)?
False
Let f be 1*(4 + -2 - 5). Let h = -6 - f. Is ((-15)/5)/(h/52) a multiple of 26?
True
Suppose -y + 5*j = -13, -j - 14 = -2*y + 3*j. Let s = 19 - 15. Suppose 2*h = l + y*h - 14, -s*h + 65 = 5*l. Is 5 a factor of l?
False
Suppose -2*r - 6 = -0. Let m(v) = v**3 + 3*v**2 + v + 3. Let d be m(r). Suppose d*s - 4*s + 28 = 0. Is 7 a factor of s?
True
Let c(u) be the first derivative of -u**4/4 - 2*u**3/3 + 3*u**2 + u - 5. Is c(-4) a multiple of 3?
True
Let g = 260 - 180. Is 12 a factor of g?
False
Let q(z) = z**3 + 4*z**2 + 1. Let n be q(-4). Suppose -j = -2 - n. Suppose 4*f + 0*f + j*d - 53 = 0, -16 = -f + 2*d. Is 7 a factor of f?
True
Suppose -k = k. Let x = k - 4. Let p(s) = -2*s - 5. Is p(x) a multiple of 3?
True
Suppose 4*m - 2*u + 64 = 0, -7*u = -m - 2*u + 2. Let g = 34 + m. Is g a multiple of 16?
True
Suppose 3*b + 7 = -4*o, b = 2*b - o + 7. Let v(n) = 3*n**2 + 6*n - 6. Is 13 a factor of v(b)?
True
Suppose -4*f = -12, 3*q + f - 19 = q. Suppose -3*m = -t - q, -5*m + 1 = -3*t - 7. Suppose -m*l = 4*i - 3*l - 93, 84 = 3*i - 4*l. Is 11 a factor of i?
False
Let d be (-117)/4 - 6/8. Let x = d - -46. Is 16 a factor of x?
True
Let f = 12 - 7. Suppose 25 = f*k - 0*k. Suppose z + 4*a = 2*z - 22, -k*z = -4*a - 30. Is z even?
True
Let q(k) be the third derivative of k**2 + 11/60*k**6 + 0*k**5 + 1/6*k**3 + 0*k + 0 + 0*k**4. Does 12 divide q(1)?
False
Let y = 53 + -11. Is y a multiple of 7?
True
Suppose 10 = 3*b - b. Is (26/b)/(-1)*-5 a multiple of 13?
True
Suppose -1 + 9 = -2*d, 0 = 5*m + 5*d + 20. Suppose 2*p + 9 = -b - 0*b, m = -3*b - 4*p - 1