 divide d?
True
Let p = 8 - 5. Suppose p*k - 18 = 3*c, k + 5*c = 1 - 7. Suppose 2*b + 1 = -l + 25, 0 = 2*b - 4*l - k. Is 10 a factor of b?
True
Let h be 3/12 - (-883)/4. Suppose 4*x = 4*o - 184, 5*o + 3*x - 5*x - h = 0. Suppose -2*l - 5*a + o = 0, 4*a = l + 4*l - 25. Does 6 divide l?
False
Let f(j) = j**3 - j**2 + 32. Is f(0) a multiple of 16?
True
Let d be (-3)/9 - (-16)/3. Suppose 0*s + s - 41 = d*n, -s - 3*n = -57. Is 16 a factor of s?
False
Suppose p - 2 + 5 = -3*h, -p - 3 = 0. Suppose h = -3*t + 4 + 2. Suppose -2*m + t = 3*b - 9, 2*m = 2. Is b a multiple of 2?
False
Suppose 0 = 3*g - 9 - 9. Is 3 a factor of g?
True
Let h be (9/(-12))/(2/(-8)). Let w(q) = 1 - 1 + h - q**2 - 5*q. Does 2 divide w(-5)?
False
Let q(t) = -t**2 - 2*t + 4. Let c be (-1)/((-27)/15 - -2). Let b be q(c). Let a = b - -28. Is 6 a factor of a?
False
Let d be 6*1/(-4)*-2. Suppose -5*m - 167 = -3*b - d*m, -m + 230 = 4*b. Is b a multiple of 19?
True
Suppose -5*w - 53 = -3*t, -3*t - w + 3*w = -59. Is t a multiple of 8?
False
Let c(o) be the second derivative of o**4/6 + 2*o**3/3 + o**2 + 2*o. Let f be c(-2). Suppose f*w - 32 = -4*i, 5*w + 2*i + i = 108. Does 12 divide w?
True
Let s(h) be the first derivative of -7*h**2 - 2*h + 8. Is s(-1) a multiple of 4?
True
Suppose 4*l = 4*r - r + 36, 0 = 2*l - 4*r - 18. Is l even?
False
Suppose 6*v = 4*v + 286. Does 29 divide v?
False
Let i(f) = -f**2 + 5*f. Let b be i(4). Suppose -b*h + 64 = v, h = -v - 4*h + 67. Does 26 divide v?
True
Let r be (-38)/(-14) - (-10)/35. Suppose -18 = -r*g + 12. Does 3 divide g?
False
Suppose -40 = 2*q - 5*o, -2*q - 2*o - 22 = 18. Let m = q + 7. Let c = m - -23. Is c a multiple of 10?
True
Suppose -3*i - 14 - 7 = 0. Let m(x) be the first derivative of -x**3/3 - 5*x**2 - 8*x + 1. Is 13 a factor of m(i)?
True
Let t(h) be the first derivative of -5*h**3/6 + 4*h**2 + 3*h - 1. Let l(k) be the first derivative of t(k). Is 15 a factor of l(-7)?
False
Let d(q) = -q - 2. Let b be d(-7). Let l = b - -27. Is l a multiple of 16?
True
Let s(o) be the third derivative of -o**7/2520 + o**6/720 + o**5/30 + o**4/24 + o**2. Let p(d) be the second derivative of s(d). Is p(0) even?
True
Let m = 2 - 1. Let v(p) = p**2 - 13*p + 11. Let f be v(12). Is 6 a factor of 15 - 1/f*m?
False
Let r be (-7)/(49/2)*-14. Let c(l) = l**3 - 3*l**2 - 3. Does 13 divide c(r)?
True
Suppose 0 = -26*i + 20*i + 1500. Is 8 a factor of i?
False
Suppose -d + 2*d - 25 = 0. Does 10 divide d?
False
Is (21/9)/(3/27) a multiple of 16?
False
Suppose -f - a = -2*a, -4*f - 3*a = -28. Let s(g) be the second derivative of -g**5/20 + 5*g**4/12 + g**3/6 + 5*g. Is 10 a factor of s(f)?
True
Let b be (4/(-12))/((-4)/456). Suppose 0 = 2*w - 4*u - 68, 11 + b = w - 5*u. Is w a multiple of 10?
False
Let j = -20 + 60. Suppose -q - 10 - 3 = 0. Let i = q + j. Does 15 divide i?
False
Let k(f) = -f**3 + 3*f + 3. Let s be k(-2). Suppose -6*i + s = -i, -4*i - 256 = -4*w. Is w a multiple of 16?
False
Let p be 2/(-8) - 6/8. Let q be -2 - 20/(-8 + 3). Is p + (-23)/(1 - q) a multiple of 14?
False
Suppose -9*i = -10*i. Suppose 0 = 2*j - i*j - 68. Is j a multiple of 18?
False
Is 3 a factor of ((-6)/(-1))/(-3)*-2?
False
Suppose 0 = 3*k - 23 - 157. Does 12 divide k?
True
Does 4 divide -10*1/4*-2?
False
Suppose -620 = -2*k - 8*k. Is k a multiple of 18?
False
Let i = 5 + 3. Is i a multiple of 8?
True
Let j(k) = 2*k**2 - 2*k - 1. Suppose -2*g - 4 = -5*u, g - 5 = 2*g - u. Does 23 divide j(g)?
False
Suppose 7*k - 180 = 5*k. Does 30 divide k?
True
Let b = -72 + 34. Let n = b + 62. Is 6 a factor of n?
True
Let r be (-44)/(-3)*(-36)/8. Let i = -11 - r. Let k = i + -33. Is 22 a factor of k?
True
Let o = -149 - -289. Is 35 a factor of o?
True
Suppose -3*x = 4*l - 0 - 9, 4*x - 8 = -4*l. Suppose 0 = -l*t - 2*t + 245. Is 17 a factor of t?
False
Let u = 10 + -13. Does 7 divide u + 1/((-3)/(-33))?
False
Let d be (-82)/(-8)*1*4. Let s be 1*-2 + 375/5. Let r = s - d. Is r a multiple of 16?
True
Let m be 4/(-3)*(-6)/4. Let k(t) = -t**3 + 1. Let n be k(-1). Suppose q + 0*q + n*y = 7, 17 = 3*q + m*y. Does 3 divide q?
False
Does 23 divide 109 + 2*15/(-10)?
False
Let g(y) = y**2 - 3*y + 6. Does 28 divide g(8)?
False
Let s = -106 + 153. Is s a multiple of 5?
False
Let x(d) = -d + 8. Suppose -7*n = -3*n + 28. Let r be x(n). Suppose -p + 10 = u, u + r = -2*p + 6*u. Is 5 a factor of p?
True
Let t = 81 - 53. Let g = 47 - t. Does 19 divide g?
True
Let y(v) be the third derivative of -v**6/120 + v**5/12 - v**4/12 - v**3/2 - 4*v**2. Is y(4) a multiple of 2?
False
Suppose -k + 44 = 4*t + 2, 2*t - 72 = -2*k. Let f = k + -3. Is 8 a factor of f?
False
Let a be -1 - (-4 + 0 + -2). Let t be (-2)/4*(-5 + 5). Suppose t = -4*w - 16, w - 13 = -4*f - a. Is 3 a factor of f?
True
Is 7 a factor of -4 + 8 + -3 - (-2 - 120)?
False
Suppose -3*u + 3 + 9 = 0, 0 = -2*x + 5*u + 54. Is 37 a factor of x?
True
Suppose 235 = 9*x - 71. Does 17 divide x?
True
Let o(c) = 2*c**2 + 2*c - 1. Let q be o(-2). Suppose q*w - w = 40. Does 14 divide w?
False
Suppose -4*t - 2 + 22 = 0. Let x(z) = z**3 - 4*z**2 - 4*z + 1. Let p be x(t). Let b(l) = -l**3 + 5*l**2 + 6*l + 8. Is 7 a factor of b(p)?
False
Let t(u) = 2*u. Let h(n) = 6*n. Let d(a) = 4*h(a) - 14*t(a). Is d(-4) a multiple of 8?
True
Let b = 111 + -177. Let q(j) = -24*j - 2. Let p be q(-4). Let y = p + b. Is 14 a factor of y?
True
Let w(b) = 3*b**3 + 9*b**2 + 12*b + 3. Let v(m) = -m**3 - m - 1. Let c(z) = 2*v(z) + w(z). Let j = -5 - 2. Does 13 divide c(j)?
False
Let p = -19 - -28. Let h be 3*3/p - -1. Suppose -h*v + 15 = v. Does 5 divide v?
True
Let z = 18 + -10. Is z a multiple of 7?
False
Let u = -30 - -38. Does 8 divide u?
True
Let h(p) = -13*p + 67. Does 18 divide h(-12)?
False
Suppose u - 880 = -4*u. Let t(s) = s**2 + 9*s - 8. Let x be t(-10). Suppose -x*w = -0*i - 5*i + 179, -3*w - u = -5*i. Does 15 divide i?
False
Suppose 2*j - 46 = 12. Does 19 divide j?
False
Suppose 0 = -o + 9 - 0. Suppose -3*g = -51 + o. Is g a multiple of 2?
True
Suppose 2*p + 19 = 53. Suppose -5 + p = 4*r. Is 5 a factor of ((-13)/(-3) - 1)*r?
True
Suppose k = 2 - 5. Is 16 a factor of ((-3)/k - 1) + 16?
True
Let x(b) = -29*b**3 - b**2 + b + 1. Is x(-1) a multiple of 19?
False
Let i(h) be the first derivative of -h**5/20 + h**4/3 - h**3/6 - h**2/2 - 2*h - 2. Let d(s) be the first derivative of i(s). Is d(3) a multiple of 2?
False
Let f be (-1 + 5 + 79)/(-1). Let b = -295 - -424. Let d = f + b. Does 23 divide d?
True
Let s(m) = 2*m - 8. Let h be s(-9). Let u = h - -48. Is u a multiple of 8?
False
Let u be 3/12 - (-78)/8. Let q(v) = v**2 - 9*v + 8. Is 11 a factor of q(u)?
False
Suppose 2*k - 9*k + 196 = 0. Is 14 a factor of k?
True
Let i(o) = o - 3. Let u be i(-4). Let r = -7 - u. Is 2 a factor of r - -2 - -3 - 2?
False
Let z = 5 + -9. Let u(h) = 2*h**2 + 2*h + 4. Let r be u(z). Suppose -2*x - 14 = -2*g, -4*g = 6*x - x - r. Is 3 a factor of g?
False
Suppose 0 = -3*p - p + 152. Is 19 a factor of p?
True
Let w(d) = 5*d - 1. Let z be w(-1). Is (-4)/6*(-18 + z) a multiple of 16?
True
Suppose -l - x + 67 + 36 = 0, 0 = -4*l - 2*x + 406. Does 20 divide l?
True
Suppose -7 = -5*h + g + g, -5*g + 20 = 0. Suppose 0 = -3*x + 9 - h. Is x a multiple of 2?
True
Let t(w) = w + 1. Let u be t(0). Let q(c) = -c**2 + 2*c - 3 + 11*c**2 + 2. Does 11 divide q(u)?
True
Is (356/(-24)*4)/(12/(-54)) a multiple of 18?
False
Let l(o) = o**3 - 8*o**2 - o - 7. Suppose -2*w = 5*r - 30, -2*r - w + 4*w + 31 = 0. Let k be l(r). Does 5 divide (k/9)/((-3)/9)?
True
Suppose -a + 145 = 5*f, 6*f = 4*a + 2*f - 508. Does 10 divide a?
True
Let y(z) = z + 2. Let c be y(-2). Suppose -30 = -5*q - c. Suppose 4*s = 42 - q. Is 4 a factor of s?
False
Let m = 19 + -11. Does 8 divide m?
True
Is 8 a factor of (3/24*-2)/((-1)/164)?
False
Does 35 divide 2*2 - (-13 + -108)?
False
Let j be ((-4)/5)/(4/20). Let g be (0 + -4)*j/8. Is 8 a factor of ((-1)/g)/(2/(-32))?
True
Let k = -14 - -9. Is 12 a factor of k + 4 + 0 + 16?
False
Let k = 5 - 0. Suppose -4 + 5 = 2*q - p, k*p = 15. Is 57/5 - q/5 a multiple of 11?
True
Let a be -7 + 4 - (2 + -1). Let u be 4/a - 66/(-3). Is -2 + u + 3 + -5 a multiple of 17?
True
Let o(y) = 832*y. Let a be o(1). Is 13 a factor of 4/(-18) + a/18?
False
Suppose 0 = -q + 45 - 3. Does 14 divide q?
True
Suppose 15 = 2*k - p + 7, -8 = 2*k + 3*p. Suppos