-4 - z. Is 6 a factor of x?
False
Suppose -h = -5*p - 12, -3*p - 39 = -5*h + p. Let i = -2 - h. Let b = i + 25. Is 8 a factor of b?
True
Suppose 16 = -2*p + 3*l, -5*p + 3*l = 30 - 8. Let h = 6 + p. Is h a multiple of 2?
True
Let c be (-1)/5 - (-64)/20. Suppose -5 = c*j - 4*j. Is j a multiple of 5?
True
Let i be ((-6)/(-3) - -9) + 2. Let a = i - 7. Is a a multiple of 6?
True
Let k = -4 - -23. Is k a multiple of 5?
False
Suppose -2*d = -7*d + 10. Suppose -p = d*p + 42. Let j = 24 + p. Is j a multiple of 3?
False
Let n(k) = 6*k**2 + 7*k + 2. Let f be n(-3). Suppose d = -4*h - 13, -h + 1 = 4*d - 7. Suppose -z = -d*c - f, -z = z - 5*c - 69. Is z a multiple of 13?
False
Suppose -4*a + 8 = -12. Suppose -a*g - 3*i + i + 17 = 0, -g + 2*i = -13. Does 4 divide g?
False
Let z(d) be the third derivative of -7*d**4/6 + d**3/6 + 2*d**2. Suppose -2*m - 14 = 3*a + 3, 4*a + 20 = 0. Is z(m) a multiple of 18?
False
Suppose -2*c + 236 = 58. Does 22 divide c?
False
Let f = 1 + -3. Let a = 0 - f. Suppose -6 = a*o - 4*y, 4*o - 2*y - 12 = -0*o. Is 3 a factor of o?
False
Is 1*-2 - (-25 + -4 + 6) a multiple of 7?
True
Suppose -102 = -3*h + 4*l, 8*h = 11*h + 5*l - 129. Is 9 a factor of h?
False
Let m be 3*(5 + 3 + -1). Suppose -3*f = m - 57. Does 11 divide f?
False
Let o(b) be the third derivative of 17*b**4/8 + b**2. Let x be 10/15 + 2/6. Is o(x) a multiple of 18?
False
Let p(b) = 2*b**2 + 2*b. Let x be p(2). Let a = x - 5. Is a a multiple of 6?
False
Suppose 3 = -c, -3*o - 4*c = -c + 3. Does 12 divide (o + -3)*24*-1?
True
Let p(f) = 4*f - 1. Suppose 0 = b - 0*b + 8. Let u be p(b). Let d = u - -53. Is d a multiple of 11?
False
Let t = 7 + 1. Let f be (t/6)/((-4)/114). Is (-3 + 2)*f + 0 a multiple of 15?
False
Let w be ((-4)/(-2))/((-2)/(-3)). Let u = -33 + 31. Is (-20)/(w/(3/u)) a multiple of 3?
False
Let z(m) be the second derivative of m**4/3 + m**3/6 - m. Let b be z(-1). Suppose h - 4*l + b*l = 11, 5*h = 3*l + 57. Does 12 divide h?
True
Suppose 2*y + 0*y - 8 = 0. Let b = 0 - y. Is -3 - 2/b*38 a multiple of 9?
False
Let y(u) be the first derivative of u**4/4 - 8*u**3/3 + 6*u + 4. Is y(8) a multiple of 2?
True
Let m(l) = 10*l - 8. Let r be m(6). Let v be (-12)/(-2) + (-18)/6. Suppose 0 = -v*b - 2*u + r, 2*b - b - 4*u = 36. Does 13 divide b?
False
Suppose 12 = 5*j + 47. Let b(t) = 4*t**2 + 4. Let r be b(j). Suppose -5*s - 60 + r = 0. Is 17 a factor of s?
False
Let k = 76 + -53. Is k a multiple of 5?
False
Let f = 30 + -67. Let x = f + 61. Is x a multiple of 8?
True
Let m be (-8 - -1)/(0 - 1). Suppose 3*p = 3*n + 5229, -3*p + 0*n + 5226 = -2*n. Is 2/m + p/35 a multiple of 27?
False
Suppose 0 = i - 4*i + 15. Suppose i*z - 4*z = 5. Suppose -t - 128 = -z*t. Is t a multiple of 16?
True
Let q(j) = 4*j. Let v be q(1). Let b = v + -2. Suppose -b*i + 5*i - 12 = 0. Is i even?
True
Suppose 5*w = 338 + 832. Does 13 divide w?
True
Suppose -4*n - 5 = -21. Suppose -n*i = -q + 4*q - 59, 3*i + 4*q = 39. Is i a multiple of 5?
False
Let o = -10 - -10. Suppose -3*f = -o*f. Suppose f*h - 29 = -h - 4*x, 5*h - 2*x - 255 = 0. Is 18 a factor of h?
False
Let g(o) = -3*o**3 - 2*o - 2. Let r(z) = 5*z**3 - z**2 + 3*z + 3. Let d(l) = 7*g(l) + 4*r(l). Does 16 divide d(-5)?
False
Suppose 3*u = -1 + 4. Does 4 divide (-1)/(u - 24/21)?
False
Let u be (-44)/(-36) + (-4)/18. Suppose -2*x - 4*f + 6 = -x, 0 = -f - u. Does 5 divide x?
True
Let q(z) = 3*z**2 + 6*z - 11. Does 26 divide q(-6)?
False
Suppose 3*n + 3*h - 66 = h, 4*h - 12 = -n. Suppose -4*c - 2*j = -n, -8 + 34 = 4*c + 3*j. Is 5 a factor of c?
True
Suppose 6*i - 4*i - 44 = 0. Is i a multiple of 14?
False
Let y(k) = 2*k + 2*k + 2 - 5 + 2*k. Let u be y(-5). Let b = u + 55. Does 8 divide b?
False
Let i be 11 + -4 - (-6)/(-2). Suppose -i*p + 14 = 2*d, -5 = -5*p - 0*p. Is d even?
False
Let x = -89 - -179. Let n = -38 + x. Is n a multiple of 25?
False
Let x = -6 - -7. Suppose -2*z = 0, -5*z = -2*b + 11 + x. Is 3 a factor of b?
True
Suppose -5*g - 151 = b, b + 167 = -5*g + 4*b. Let s = g - -54. Is 7 a factor of s?
False
Suppose -4*z = 4*x - 55 - 1, -5*z + 77 = -2*x. Let t be 3/z*2*20. Suppose -70 = -5*i - 5*b, 3*i - i - t = 3*b. Does 5 divide i?
True
Suppose -5*l + 39 = -76. Is l a multiple of 23?
True
Suppose 122 = -u + 3*u. Suppose -3*i + 17 = -u. Is i a multiple of 17?
False
Let d = 8 + 22. Is 30 a factor of d?
True
Let o = 153 - 92. Is o a multiple of 40?
False
Let t be 8/12 + (-188)/(-6). Suppose 4*j - t = -8. Suppose -w + j = -2*q, -q - 22 = -3*w + 3*q. Is 7 a factor of w?
False
Let f(j) = -j**3 - 6*j**2 + 10*j + 3. Let h be f(-7). Let g = 41 + h. Is 7 a factor of g?
False
Suppose 0 = -5*u - 5*t + 190, -t + 86 = 2*u + 6. Is 14 a factor of u?
True
Suppose 4*p + 63 = 271. Is p a multiple of 11?
False
Let b(m) = -m**2 + 11*m - 2. Let p be b(11). Is 1505/20 - p/(-8) a multiple of 15?
True
Is 13 a factor of ((-234)/(-24))/(3/36)?
True
Suppose -5*p = -2*p - 165. Suppose 3*t + 19 = p. Is t a multiple of 6?
True
Let l(c) = 10*c - 5. Let a = -6 - -13. Let y be l(a). Suppose 21 = 2*q - y. Is q a multiple of 15?
False
Let n(b) be the third derivative of 1/6*b**3 + 1/20*b**5 + 1/6*b**4 + 0 - 2*b**2 + 0*b. Is n(-4) a multiple of 15?
False
Let b = 56 + -28. Is 4 a factor of b?
True
Let a = -3 + 24. Let z be (3/6)/((-1)/(-4)). Suppose z*d - d - a = -4*k, 3*k = 9. Does 6 divide d?
False
Let t = -7 - -18. Suppose -4*c - 3 = -t. Suppose -c*g + 73 = g - r, -5*g + 3*r = -123. Is 7 a factor of g?
False
Let a(p) = -p**2 - 10*p - 12. Let j be a(-8). Suppose -3 - 37 = -j*s. Does 5 divide s?
True
Let b(u) = -u**2 - u + 3. Suppose 0 = -5*y - 5*l + 2*l - 6, -10 = -y + 5*l. Let j be b(y). Suppose 3*q + 5*d = 18, -q + 56 = j*q - 4*d. Is q a multiple of 9?
False
Suppose 4*z = -5*a + 116, 0*a = 4*a - z - 76. Is 16 a factor of a?
False
Suppose 0 = -4*o + 8*o - 280. Does 35 divide o?
True
Let n(i) = -5*i. Suppose 3*p - 8 = -32. Does 20 divide n(p)?
True
Suppose 0 = 5*q + 2*w - 7*w + 1885, -15 = -3*w. Let b = -38 + 18. Is 7 a factor of q/b + (-6)/10?
False
Suppose 0 = -s - 2*h + 268, -s - 3*h - 130 + 402 = 0. Is s a multiple of 13?
True
Let o(u) = 3*u**2 + 2*u - 2. Let h be o(-4). Let z = h - 14. Is z a multiple of 12?
True
Let c(w) = w**3 + 5*w**2 + 5*w + 6. Let u be c(-4). Suppose u*x = x - 5*o - 6, 3*o = -x. Does 4 divide x?
False
Let l be (63/(-12))/((-3)/(-12)). Let d be (2 - 2 - -11) + 1. Is 14 a factor of -8*1/(d/l)?
True
Does 10 divide (-868)/35*(2 - 7)?
False
Let m(i) = 4*i**2 - 2*i + 4. Let u be m(3). Let d = u - 24. Suppose 4*h - 5*o - 18 = 37, h - 2*o - d = 0. Is 9 a factor of h?
False
Let q(i) be the first derivative of i**4/4 - 5*i**3/3 - 9*i**2/2 - 10*i - 1. Let b = 19 + -12. Is 10 a factor of q(b)?
False
Let o be 1*(-5 - (-3)/3). Let h be 2 + (-1)/((-2)/o). Suppose -4*t = -h*t - 104. Is t a multiple of 11?
False
Suppose 4 = -2*x + 2*s, -x + 3*s - 6 = 4*x. Suppose x*l + 208 = 4*l. Let f = l - 18. Does 17 divide f?
True
Let h = 7 - -2. Suppose i + 5*a = -12 - 9, 0 = -i + a + h. Suppose 0*b + 56 = i*b. Is 14 a factor of b?
True
Let d(v) = 3*v**3 + 2*v - 1. Let s be d(1). Suppose s*p + 3 = -0*q + 3*q, -3*p = 3*q + 18. Is (-34)/(3/(-6 - q)) a multiple of 10?
False
Let d(a) = -a**3 + 8*a**2 - 8*a + 4. Let u be d(7). Is 9 a factor of 27 + (-2 - (u + 1))?
True
Suppose -3*a + 728 = -m + 5*m, -1206 = -5*a - 3*m. Is 48 a factor of a?
True
Suppose 16 = u + 2*y, -y = u - 0*y - 12. Is 4 a factor of u?
True
Let r = 241 + -151. Is r a multiple of 18?
True
Let q = -4 + 4. Suppose q*h = -h + 23. Is h a multiple of 13?
False
Let q(m) = m**3 - 7*m**2 + 5*m + 2. Let x be q(6). Is 15 a factor of (x/6)/((-4)/216)?
False
Suppose -8*g + 3*g = -325. Is g a multiple of 13?
True
Let t be -6*28/6*1. Let w = -16 - t. Does 3 divide w?
True
Let t be (-2)/(-3) + (-872)/(-24). Suppose 3*b + 0*b = d + 23, 2*b - t = 5*d. Is 3 a factor of b?
True
Suppose -5*s - 3*t + 90 = 0, -4*s + 22 = -4*t - 18. Let l be s*(-5 + 3 + 9). Suppose 3*z - 2*z - 87 = -4*g, -5*g - 5*z + l = 0. Does 11 divide g?
True
Let f = 11 + 67. Is f a multiple of 9?
False
Let c = 0 - -2. Suppose -14 = -2*h + h + c*d, 0 = -2*h + 2*d + 18. Is 2 a factor of h?
True
Let j(x) be the third derivative of x**5/60 + x**3/3 - 3*x**2. Let v be j(-3). Suppose -3*o + 5*d + 0*d = -25, -o + v = -3*d. Does 2 divide o?
False
Let k = 4 - 3. Suppose k