5. Is 17 a factor of q(k)?
False
Suppose d = 3*n - 692, 168 = 2*n + 5*d - 265. Is n a multiple of 25?
False
Suppose 0 = m + 3*q - 4*q - 80, -4*q - 4 = 0. Suppose 3*x - 247 = -r, -x + m = 2*r - r. Is 15 a factor of x?
False
Suppose -x - 19 = -2*x. Let f be 1 + 4*x/2. Suppose -1 = -2*v + f. Is 18 a factor of v?
False
Let p(r) = -r**3 - 9*r**2 + 4*r + 17. Is 17 a factor of p(-10)?
False
Let s = 7 + -7. Suppose -6 = -2*x - 4*b + 2, 4*x + b - 44 = s. Does 6 divide x?
True
Let t(j) be the first derivative of 4*j + 1/2*j**2 - 2 - 2/3*j**3 - 1/4*j**4. Does 8 divide t(-3)?
False
Let f(d) = 10*d**3 + 1. Suppose -4*w = -2*o - 10, 0 = 3*w + 3*o + 6 - 0. Is 9 a factor of f(w)?
False
Let v(m) = -m**3 + 9*m**2 - 7*m - 2. Suppose 0 = 3*u + 3*w - 6, 5*u = 2*u - 2*w + 11. Is v(u) a multiple of 17?
False
Let d(u) = -u - 7. Let h be d(-7). Is 8 a factor of -1 + h + 14 + 1?
False
Suppose 2*o = -3*q + 19, q + o - 2*o + 2 = 0. Suppose -4*w - h - 16 = q*h, 3*w = 5*h + 4. Is 5 a factor of w/(-10) - (-44)/5?
False
Suppose 0*i - 100 = -5*i. Is i/5*10/4 a multiple of 10?
True
Suppose -2*x = -a + 2*x + 12, 5*x - 11 = -2*a. Suppose 2*m - 6*m = a. Let y = 8 - m. Does 6 divide y?
False
Let a(y) = y + 8. Is a(7) a multiple of 5?
True
Let s be 9 + -11 + (-4)/2. Is 1100/16 + (-1)/s a multiple of 23?
True
Suppose -2*s + 211 = -401. Is 16 a factor of s?
False
Does 15 divide -1 - 51/2*-2?
False
Let f(d) = -7*d + 4. Suppose 0 = 4*v + v + 15. Is 25 a factor of f(v)?
True
Let t = -1 - -3. Suppose t*n + 2*n = 576. Suppose 0*w + n = 4*w. Is 13 a factor of w?
False
Let h(j) = j + 28. Is 11 a factor of h(-12)?
False
Let p(m) = -39*m**2 - m + 4. Let l(q) = 8 + 1 + 0*q + 2*q - 77*q**2 - 4*q. Let a(k) = 3*l(k) - 7*p(k). Is a(1) a multiple of 14?
True
Let w = -9 + 5. Is 9 a factor of -1*w*15/3?
False
Let l = -5 - -1. Let s be (-101)/l + 3/4. Does 4 divide 2/(30/s - 1)?
False
Suppose -37 = -z - 0*s + s, -4*z + 146 = -5*s. Is 1 - (-3)/(9/z) a multiple of 7?
True
Suppose 6*k - 3*k = -15. Let o(d) = 3*d + 3. Let g(v) = 2*v + 2. Let j(u) = -7*g(u) + 4*o(u). Is j(k) a multiple of 4?
True
Suppose y + 420 = 5*x, -336 = -4*x + 2*y - 7*y. Does 13 divide x?
False
Let g = 11 - 13. Is 7 a factor of ((-52)/8)/(1/g)?
False
Let s(b) = 5*b. Let o be s(4). Let j be 2/(-4)*(-6 + -40). Suppose 0 = -4*f + o, -u + j = 2*f - 0. Does 4 divide u?
False
Suppose 2*x - 4*x = 0. Suppose x = -m - 2*b + 70, -4*m + b + 303 = 68. Is 20 a factor of m?
True
Let j = -53 + 74. Does 21 divide j?
True
Let z(o) = 3*o**2 + 6*o + 9. Let s be (4/(-12))/(2/24). Is 33 a factor of z(s)?
True
Let l = -30 + 82. Is l a multiple of 13?
True
Let o(g) = -5*g + 6. Does 23 divide o(-8)?
True
Let j(k) = -k**3 + 10*k**2 + 13*k + 15. Is j(11) a multiple of 37?
True
Is 6 a factor of (17/(-34))/((-2)/96)?
True
Suppose d = -5*y + 9, -2*y - 3*d = 2*y - 5. Let b(q) = 2*q**3 - 2*q**2 + q + 1. Is b(y) a multiple of 6?
False
Suppose 6*d - 30 = -0. Let n = d - -7. Is 9 a factor of n?
False
Suppose 5*d - 4*g + 25 + 15 = 0, d = 2*g - 2. Let r = 32 + d. Does 20 divide r?
True
Let r = 52 - 16. Does 18 divide r?
True
Suppose -n + 3*t = 18, 0*t - 9 = -3*t. Let y be (5*5)/(-1)*-1. Let w = y + n. Is 8 a factor of w?
True
Is 71 a factor of 430 + 4 + -9 + (1 - 0)?
True
Let i be (0*(-1)/(-2))/(-1). Let y(d) = 4 + 3*d - 6*d + 2*d. Is y(i) a multiple of 2?
True
Suppose w = 1 + 2. Suppose -w*s = 3*f - 255, -4*s + 3*s = 2*f - 167. Is f a multiple of 16?
False
Suppose -2 = 2*d, -4*d + 12 = 3*u + 148. Let s be (-2)/(-3) + u/(-6). Does 8 divide 118/8 + 2/s?
False
Let d(y) = -y**2 - 19*y - 23. Does 2 divide d(-4)?
False
Let i = 142 - 31. Is i a multiple of 18?
False
Let n(q) = 6*q**3 + q - 1. Let i be n(1). Let l(w) = -3*w**3 - 1. Let p(f) = -2*f**3 - f**2 - f - 1. Let u(k) = -3*l(k) + 4*p(k). Is 17 a factor of u(i)?
False
Suppose -g + 4 - 1 = 0, 2*b - g = 13. Does 4 divide b?
True
Let m(h) = h**3 + 8*h**2 - 9*h + 11. Is m(-9) a multiple of 11?
True
Let s = -23 + 45. Let g(u) = -u**3 - u**2 + u - 12. Let z be g(0). Let b = s + z. Does 7 divide b?
False
Let q be (3 - 7) + 3 - -1. Suppose q = -p - 2 + 6. Is 9 a factor of (0 - -17) + 4/p?
True
Suppose -2*u + 92 = 2*t, t - 50 = -0*t + 3*u. Is 9 a factor of t?
False
Let v = 12 + -9. Suppose -2*r + 6 = 0, -2*d + d + 8 = -v*r. Is d a multiple of 11?
False
Let c(f) = -f**3 - 11*f**2 - 11*f - 13. Let r be c(-10). Let m = 10 + r. Is m even?
False
Let f(k) = 131*k**2 - 4*k + 4. Is f(1) a multiple of 10?
False
Let k be 54/12 + (-6)/4. Suppose 2*j + k*j = -p + 440, -4*p = j - 88. Is 14 a factor of j?
False
Suppose 2*v - 29 = 3*g, -5*v = 5*g - 10*g - 55. Let k = 10 + g. Suppose k*a - 19 - 29 = 0. Does 8 divide a?
True
Suppose -2*w + 68 = -2. Let v be 2/(-11) + w/11. Suppose -v*a = f - 69, -5*a + 3*f + 48 = -81. Is a a multiple of 12?
True
Let c(z) = 2*z**2 + 8*z - 4. Let o be (-1)/(-5) + 31/(-5). Let g be c(o). Suppose 3*x = 2*n + 35, 0*x - 4*x - 4*n + g = 0. Does 9 divide x?
True
Suppose f - 21 = -2*f. Suppose f*u - 5*u - 1 = -3*k, 0 = k + 3. Does 2 divide u?
False
Suppose -2*v - 13 = -109. Does 16 divide v?
True
Suppose -121 - 86 = -3*t. Is t a multiple of 23?
True
Let k be 1 + (-1)/((-1)/(-3)). Is 3 a factor of (4/5)/(k/(-20))?
False
Let g be 10/(-4)*(-16)/10. Suppose 0 = y - g*h - 29, -y + 5*h = 4*h - 14. Does 4 divide y?
False
Let b(u) = 3*u**3 + 21*u**2 - 4*u + 8. Let i(r) = -r**3 - 7*r**2 + r - 3. Let f(q) = 6*b(q) + 17*i(q). Does 23 divide f(-7)?
True
Let n be (-5 + 131)*(3 - 2). Suppose -4*f + o + n = -f, 5*o - 58 = -f. Is f a multiple of 13?
False
Is -2*(2 - 57/6) a multiple of 5?
True
Suppose -c + 2*c = -2. Suppose -4*f - 19 = 5*y - 0*y, 7 = -2*y - f. Does 7 divide (-13)/c - y/6?
True
Suppose -4*p + 11 = p + h, 5*h - 9 = -2*p. Suppose 0*i + 22 = p*i. Suppose 5*q - i = 4*q. Is 9 a factor of q?
False
Suppose -9 + 1 = -2*f, 4*v = 2*f + 292. Is 31 a factor of v?
False
Suppose 4*v + v = 20. Is v even?
True
Let a(o) = -4 + 0*o**2 + 7*o + 3 - o**2. Let t be a(7). Is t/(2/(6*-10)) a multiple of 13?
False
Let d = -9 + 18. Let u = d + 17. Does 13 divide u?
True
Let o(d) = -d**3 - d**2 + 2*d - 1. Let w be 3/2*(2 + -4). Is o(w) a multiple of 7?
False
Let y(s) = -s**3 - 8*s**2 - 7*s - 1. Let h be y(-7). Let n be 124 - h - (-1 - -2). Suppose -n - 12 = -4*j. Does 14 divide j?
False
Suppose 0 = -p - p + 8. Is p a multiple of 4?
True
Let r(s) = s**3 + 2*s**2 - 3*s + 1. Let y be r(2). Suppose f = -y + 52. Is f a multiple of 17?
False
Suppose u + 5*y - 65 = -12, 3*y - 113 = -2*u. Does 20 divide u?
False
Suppose -z = -4*z - 3*r + 12, 0 = -5*z - 4*r + 18. Let i(s) = 2*s**2 - 5*s + 7 - 4*s**z + 3*s**2. Does 6 divide i(6)?
False
Let v(j) = -2*j**2 - 25*j - 6. Let b be v(-12). Let i(g) be the third derivative of g**4/12 + g**3/3 - g**2. Is 7 a factor of i(b)?
True
Suppose -34 = -h - 0*h. Suppose 2*l - 50 = h. Suppose -l = -k - 2*k. Is 5 a factor of k?
False
Suppose -3*p = -0 - 3. Suppose 4*r - 2*z = 80, -4*r - 3*z + p = -99. Suppose -8 = -2*l + r. Does 8 divide l?
False
Let m = -45 + 126. Does 27 divide m?
True
Suppose -y + 34 = 2*s + 3*y, -s - 5*y = -29. Is 3 a factor of s?
True
Let o = 1 + 1. Suppose -129 = o*z + z. Let c = -27 - z. Is c a multiple of 8?
True
Suppose 6*l - 15 = -f + l, 0 = 4*l - 8. Let q(v) = -v. Let t be q(-2). Suppose 5*x - 4 - f = t*k, 0 = 2*x - 10. Is 4 a factor of k?
True
Let s = -1 + 8. Let g be ((-8)/10)/(1/5). Let d = s + g. Is 2 a factor of d?
False
Let r(o) = 3*o**3 - 2*o**2 - 2*o + 1. Let j be 40/16*8/10. Is r(j) a multiple of 7?
False
Let z = -71 + 175. Is z a multiple of 8?
True
Let j = 3 - -2. Let b be (38 - 5)*(0 + 2). Suppose 8 = 2*z, -2*z + b = 3*k - j*z. Is 26 a factor of k?
True
Let p(y) = 4*y + 1. Let r be p(1). Suppose 5*d + z = -3*z + 11, r*z = 2*d - 11. Suppose d + 16 = v. Is v a multiple of 8?
False
Does 8 divide ((-16)/(-20)*4)/(1/5)?
True
Let v(h) = -h**3 + 6*h**2 + 7*h - 3. Is v(5) a multiple of 19?
True
Suppose 290 = 5*u + 5*u. Is u a multiple of 21?
False
Let b(m) = 8*m + 7. Let u(q) = -7*q - 6. Let v(d) = -6*b(d) - 7*u(d). Is v(3) a multiple of 2?
False
Suppose -2 = -3*q + 5*q. Let s(p) = -16*p - 1. Does 5 divide s(q)?
True
Is 20 a factor of (-10)/((4/48)/(5 + -6))?
True
Let f be 5*(-1)/((-10)/(-4)). Does 13 divide 4/f*(4 + -17)?
True
Let m(q) = 3*q + 3. Let j be m(-5). Let a = j + 33. Is a a multi