pose -16 = 2*b - b. Let v = 22 + b. Suppose -152 = -v*i + 2*i. Does 18 divide i?
False
Is 6 a factor of -4*(-5)/(60/87)?
False
Suppose 0 = -5*y - 5*g + 105, -2*y + g = 2*g - 41. Suppose -2*d - 5 = -2*l + d, 0 = 2*l - 4*d - 4. Does 3 divide ((-12)/(-10))/(l/y)?
True
Let q(w) be the third derivative of w**5/60 + 8*w**3/3 - 2*w**2. Suppose 7*k - 6*k = 0. Is q(k) a multiple of 7?
False
Suppose h = 9 + 201. Is 35 a factor of h?
True
Let b(u) = 2*u - 3*u - 1 + 4*u**2 + 2 - 6*u**3 - 2. Let w(x) = x**3 - x**2 + x. Let o(l) = b(l) + 5*w(l). Does 2 divide o(-3)?
False
Suppose -4 = -3*c + 8. Let g(p) be the third derivative of p**6/60 - p**5/12 - p**4/8 + 5*p**3/6 + 3*p**2. Is g(c) a multiple of 17?
False
Suppose 0 = -5*m - 1 + 11. Let g(k) = -k**3 - 3*k**2 + 5*k + 5. Let r be g(-5). Suppose -r = -m*x - 8. Is x a multiple of 11?
True
Let x(d) = 6*d**2 + 2*d + 1. Let c be x(-1). Let a(i) = i**3 - 5*i**2 - 3. Let u be a(c). Let t = u - -16. Is t a multiple of 8?
False
Let n(m) = 2*m**2 + 13*m. Let x be n(-6). Let o(q) = 3*q - 3*q**2 - q**2 + 2 - q**3 - q**2. Is 9 a factor of o(x)?
False
Suppose -18 + 58 = 2*y. Does 11 divide y?
False
Is (28/6)/(8/36) a multiple of 21?
True
Suppose 5*j - 133 - 137 = 0. Is j a multiple of 11?
False
Let r = 2 + 3. Suppose 5 = -x - 0*x - 5*i, -r*x + 41 = 3*i. Is 5 a factor of x?
True
Suppose -4*p = -3*t + 2*t - 55, 5*p - 2*t = 65. Is 15 a factor of p?
True
Suppose -n + 360 = 2*n. Is n a multiple of 40?
True
Let j = 9 + -6. Suppose j*s = 4*s - 28. Does 14 divide s?
True
Suppose -3*h = -3*l + 384, -3*l - 2*h = 3*h - 384. Does 36 divide l?
False
Suppose -187 - 203 = -5*z. Let d be (-15)/(-9) - (-1)/3. Suppose -u = d*u - z. Is 13 a factor of u?
True
Suppose -3*d + 284 = -2*o, -2*d + 0*d + 186 = 2*o. Is 15 a factor of d?
False
Let p(f) = f**2 - 10*f + 21. Is 4 a factor of p(11)?
True
Suppose -2 = -o - 1. Does 11 divide (0 + 33/o)/1?
True
Let z(w) = 6*w + 6. Does 11 divide z(4)?
False
Suppose -2*y - y + 15 = 3*l, -2*l - 17 = -y. Let u = 4 + y. Let p = -7 + u. Is 2 a factor of p?
True
Suppose 1585 = 9*m + 442. Does 17 divide m?
False
Let g(o) = o**2 - 7*o + 9. Suppose 0 = -5*p + 3*x + 38, p - x = 3*x + 11. Is 7 a factor of g(p)?
False
Let v be ((-6)/(-4))/(2/4). Let u = 49 - 40. Is 3 a factor of (v/u)/((-3)/(-36))?
False
Let x(s) = -3*s**2 + 3*s + 3. Let m be x(-3). Suppose -4*i = 0, 5*h + 25 = 5*i - 0*i. Let w = h - m. Does 16 divide w?
False
Let u = 7 - 4. Let s be (86/u)/((-4)/(-6)). Let k = -20 + s. Does 9 divide k?
False
Suppose 6*p = 472 + 176. Is p a multiple of 36?
True
Let x be (1/(-2))/((-3)/156). Let i = -16 + x. Is i a multiple of 10?
True
Suppose -4*c = -f - 289, 3*c - 4*c + 4*f + 61 = 0. Does 10 divide c?
False
Let l = 1 - -164. Does 33 divide l?
True
Suppose -3*s + s = 0. Suppose -89 = 5*j + 4*n + 153, s = 4*j + 3*n + 194. Does 8 divide 2/(-6) - j/6?
True
Suppose -2*f = -3*f + 124. Does 6 divide f?
False
Let g = 85 + -58. Is 7 a factor of g?
False
Suppose -2*i = 5*q - 37, -4*q - 3*i - 11 = -6*q. Suppose q + 2 = w. Is 5 a factor of w?
False
Let k(w) = -4*w - 5. Does 8 divide k(-12)?
False
Let x = 4 - 4. Suppose 3*w - 95 = -2*y - 0*w, x = -5*y - w + 218. Suppose 0 = 3*z + 4*v - y, -z - 5*v = z - 31. Is z a multiple of 13?
True
Suppose 0 = 3*f + f - 720. Suppose -2*n = 3*n - f. Is n a multiple of 12?
True
Let i = 66 - 37. Is 4 a factor of i?
False
Suppose -4*k - 3*l - l + 4 = 0, -2*l = 3*k - 4. Suppose 4*h - 102 = k*h. Does 14 divide h?
False
Let n(s) = 5*s + 4*s**2 - 5*s**2 + 4*s**2 - 2 - 2*s**2. Let b be (-2)/(-6) - (-8)/3. Does 8 divide n(b)?
False
Let s = 455 + -656. Let o = -615 - s. Does 14 divide 2/5 + o/(-15)?
True
Let f = -24 - -24. Suppose c = -m + 48, f*m - 2*m = 5*c - 111. Is m a multiple of 14?
False
Let s(w) = 3 + 6 - 6 - w**2 + 3*w. Let u be s(3). Suppose k + 4 = 4*i, 4*k - 48 = -k + u*i. Does 4 divide k?
True
Let k(o) = o**3 + 3*o**2 - o - 1. Let m be k(-3). Suppose 5*b - 1084 = 4*r, m*b = -0*b - r + 431. Suppose 3*j + 4*x = -j + b, 0 = 5*x + 10. Is 20 a factor of j?
False
Let p = 8 - 5. Suppose -13 = -p*u + 2*u. Suppose -2*n + 4 + 4 = -2*q, -n - 2*q + u = 0. Is 7 a factor of n?
True
Suppose g - 82 = -2*n, -5 = n + 5*g - 37. Let a = -15 + n. Is a a multiple of 16?
False
Suppose -4*r + 197 = -147. Is 31 a factor of r?
False
Suppose u + 3*h + 1 = 4*h, 0 = -2*h + 6. Suppose -u*l = -3*l + 20. Is 7 a factor of l?
False
Suppose 0 = 2*x - 112 - 32. Is x a multiple of 13?
False
Suppose 0 = -2*i + 4*c - 36, -5*i + 7*c - 3*c = 120. Let f = i - -55. Is f a multiple of 9?
True
Suppose -18*p + 160 = -5204. Is p a multiple of 50?
False
Suppose -3*q - 5*g - 66 = 0, 5*g - g = 3*q + 39. Let p(r) = -r**2 + 2*r + 6. Let o be p(-3). Let y = o - q. Is 8 a factor of y?
True
Let w = 93 + 110. Does 11 divide w?
False
Is 5 a factor of (-4)/3*270/(-20)?
False
Let j(o) = -o**2 + 3*o + 4. Let d be j(3). Suppose -i = d*v - 0 - 5, 1 = 5*v + 3*i. Suppose v*s + 0*y - 36 = -4*y, 0 = -5*s - 4*y + 78. Is 14 a factor of s?
True
Is 16 a factor of 19/(-38)*128/(-2)?
True
Let l = 126 + -47. Does 12 divide l?
False
Let x(w) = 2 - 4 - 5*w - 5. Let n(c) = 3*c - 1. Let j be n(-2). Is 14 a factor of x(j)?
True
Suppose 3*v - 22 = -a, -3*v + a + 21 = 7. Suppose v = 9*i - 8*i. Let x = i + 30. Is 18 a factor of x?
True
Suppose -2*u = 0, 4*u = 4*d + 2*u. Let v be 74 + 5 - (1 + d). Suppose -5*a + v = -17. Is 10 a factor of a?
False
Suppose 289 = m + 3*h + 13, 0 = -m - h + 276. Does 12 divide m?
True
Suppose -i + 4*h = -12, -7*i - 2*h = -3*i + 6. Is (-5)/(-1 - 0 - i) even?
False
Let b = 6 - 3. Let s be 4/(-6) - (-34)/6. Suppose b*v - 4*i = 5 + 28, 3*v = -s*i + 33. Is v a multiple of 4?
False
Let j = 8 - -17. Is 5 a factor of j?
True
Let p(c) = 63*c**2 + c + 1. Does 5 divide p(1)?
True
Suppose h = 2*h + 3*n + 12, 2*h = 2*n. Does 14 divide (-658)/(-21) - (-1)/h?
False
Let b = 9 - 4. Suppose m + 20 = b*m. Does 3 divide m?
False
Let g = 110 - -4. Does 17 divide g?
False
Suppose -8 = -4*c + s + 2*s, 2*c - 4*s + 6 = 0. Let p = c + 6. Let j = -4 + p. Is j even?
False
Suppose -6*j - 25 = -j. Let l(c) = -c**2 + 7*c + 9. Let v(r) = 3*r**2 - 14*r - 19. Let x(m) = -5*l(m) - 2*v(m). Is 2 a factor of x(j)?
False
Suppose -5*j - 3*u + 24 = -2*j, -20 = -j - 5*u. Let w be 5*-142*(-1)/j. Is 13 a factor of (-6)/8 - w/(-8)?
False
Suppose -3*j + 16 = 2*y, -2*y = -3*j - 1 + 9. Let w be 1 + 0 + (-75)/(-1). Suppose 0 = j*b + 2*x - w, 3*b - 79 = -x + 5*x. Is b a multiple of 12?
False
Let w be (-2)/(-7) - (-24)/14. Suppose 19 = -w*z - 3*q, -4*q - 1 = -3*q. Let v(c) = -c**2 - 10*c + 2. Does 9 divide v(z)?
True
Let d(b) = -b**2 - 6*b + 6. Suppose 0 = -8*h + 3*h - 25. Let q be d(h). Let v = q - 7. Is 2 a factor of v?
True
Suppose -g + 3 = 2*g + 3*r, 4*r = 12. Is (-273)/(-14) + g/(-4) a multiple of 20?
True
Is (-3 + 4 + -13)*46/(-6) a multiple of 46?
True
Suppose -q + 12 = i, -q - 16 = -i + 2*q. Let n = -5 + i. Does 6 divide n?
False
Suppose -289 = -4*p - 17. Is p a multiple of 17?
True
Suppose 5*f + 6 = 4*j + 22, -3*j = f + 12. Let b(l) = l**3 + l**2 + 14. Let a be b(0). Let s = a - f. Does 7 divide s?
True
Suppose 4*z = 1382 - 566. Is 30 a factor of z?
False
Does 5 divide 4/(-2)*(-434)/28?
False
Suppose 3*x = -x + 248. Does 7 divide x?
False
Let f(d) = -6*d + 3. Let z be f(-8). Let v = 36 - z. Is (v/20)/(2/(-16)) a multiple of 6?
True
Suppose 3*r + 4*h + 17 = 0, 0*h - 2*h = -2*r + 12. Let d be -2 + (-2)/2*r. Let j = d + 9. Does 6 divide j?
True
Suppose 3*p - p + 3*h = 20, 3*p = -h + 16. Let v be 441/(-18) + 2/p. Does 7 divide (v/(-15))/(-4)*-50?
False
Suppose 0*a - a + 16 = 0. Does 8 divide a?
True
Let a(v) = -13*v**2 + 4*v - 4. Let r be a(4). Let p = -211 + 78. Let c = p - r. Is 17 a factor of c?
False
Let h = -7 + 8. Let a = h + -7. Let i = 40 + a. Does 17 divide i?
True
Suppose 188 = 8*i - 100. Is i a multiple of 18?
True
Let g be 16 + 1 - (-15)/5. Let k = g + -11. Does 9 divide k?
True
Is 116 - -5 - (4 - 2) a multiple of 7?
True
Let s be 1*-5*(-2 + 1). Let j(y) = 2*y + 2. Does 4 divide j(s)?
True
Let h be ((-8)/(-6))/(1/(-78)). Is (h/(-12))/((-1)/(-3)) a multiple of 14?
False
Suppose -5*z + 12 = -z. Suppose z*k + 564 = k. Does 12 divide (k/9)/((-4)/6)?
False
Does 4 divide 3 + -5 + (-26)/(-1)?
True
Suppose -c + 3*c = 0. Suppose c = -b + 6*b - 80. Is 8 a factor of b?
True
Let r