6 = -2. Let c(a) = 20*a**2 + a. Does 11 divide c(g)?
False
Suppose 18 = 2*s + 2*s - 5*d, 5*s + 4*d = 2. Let q be s/5 - (-40)/25. Suppose m - 6*m = -5*n + 75, -4*m = -q*n + 34. Is n a multiple of 5?
False
Suppose 5*q + 13 = 4*u - 24, -3*q = -u + 18. Suppose 2*t - 6 = -2. Does 6 divide (t/3)/(q/(-75))?
False
Let r(q) = -2*q**2 + q. Let m be r(-1). Let u = m + -1. Is (-12 + -1)/(2/u) a multiple of 12?
False
Does 12 divide ((-3)/(-2))/((-48)/(-992))?
False
Let k = 87 - 62. Suppose 0 = t + t + 6. Does 15 divide -2*t/6*k?
False
Let s be 1/(-3) + (-1220)/(-15). Suppose -4*u + 9 = 5*p - 78, 5*u = 3*p + s. Is 18 a factor of u?
True
Let v(l) = 2*l**2 - 2*l - 1. Let q be v(-1). Suppose -o = -q*f + 55, 0 = -f - 2*o - o + 15. Does 9 divide f?
True
Suppose 0 = 10*c - 1739 - 921. Does 14 divide c?
True
Suppose -4*t + 0*t + 56 = 0. Does 7 divide t?
True
Suppose -4*r - 31 = -3*s + 31, -s - 2*r = -34. Does 24 divide s?
False
Let r = 143 + -91. Is 12 a factor of r?
False
Suppose -5*l + 717 = 3*w, 0 = 4*w - 4*l + 3*l - 979. Does 34 divide w?
False
Let a(k) = -k**2 + 5*k - 4. Let q be a(4). Let f(h) = h**3 - h**2 + h + 9. Is 9 a factor of f(q)?
True
Let m(d) = -42*d**3 + 4 - 3 + d + 0*d. Suppose -2*q + 1 = -5*b, -6*q + q = -5*b + 5. Is 14 a factor of m(b)?
True
Suppose 2*m = 4*t + 8 + 18, -5*m = 2*t - 5. Suppose 15 = -m*k, -3 = 5*v - 5*k - 153. Is 12 a factor of v?
False
Let i be 3*23*4/(-6). Let s = -7 - i. Does 10 divide s/(3/2 + 0)?
False
Suppose 3*c + 944 = -r, -r + 926 = -2*r + 3*c. Is r/(-35) - 4/(-14) a multiple of 8?
False
Let k = -101 + 166. Does 13 divide k?
True
Let p(h) = 9*h - 1 + 8*h + 6*h - 7*h. Is 18 a factor of p(2)?
False
Let o(t) = -t + 8. Let m be o(6). Let l be 21/6*6*1. Let r = l + m. Does 13 divide r?
False
Suppose -62 = 5*x + 48. Let h be 36*(0 + 0 + 1). Let b = x + h. Is b a multiple of 5?
False
Let a = -10 + 19. Does 2 divide a?
False
Let g(q) = 3*q**2 - 6*q + 4. Let i be g(4). Suppose a - i = -3*a. Is 4 a factor of 2/4 - a/(-2)?
True
Let w = -8 - 7. Let v(c) = 8*c**3 + c**2 + 2*c + 1. Let z be v(-1). Let x = z - w. Is x a multiple of 7?
True
Let k(v) be the second derivative of v**5/20 + 5*v**4/12 - 4*v**3/3 - 2*v**2 + 2*v. Does 12 divide k(-5)?
True
Let q be ((-2)/(-5))/(3/15). Suppose -q*s + 7 = -11. Let b = -3 + s. Is 6 a factor of b?
True
Suppose 3*z - 2*m - 10 = 0, 0*z - 3*m = -z + 1. Suppose z - 51 = -l. Suppose w - 1 = 0, 0 = 4*g - 3*g + 3*w - l. Is g a multiple of 17?
False
Let l(g) = g**3 + 5*g**2 - g + 1. Let d be l(-5). Is ((-2)/d)/(2/(-102)) a multiple of 12?
False
Let q = 365 + -227. Does 23 divide q?
True
Suppose 0 = -4*z + v + 4, 0*v + 2*v - 12 = -2*z. Suppose t + z = -10. Let f = t - -18. Is 6 a factor of f?
True
Suppose -4*c - m + 251 = 0, -3*m + 3 = 18. Does 16 divide c?
True
Let j = 12 - 38. Let m = j - -41. Let k = m + 2. Does 7 divide k?
False
Suppose 21 = -2*a - 9. Does 7 divide (-24 - 0)/(a/10)?
False
Let h be (-1215)/(-36) + 2/8. Let g = 12 + h. Is g a multiple of 17?
False
Let s = 2 + 1. Suppose 3*x - 3*j - 2*j = 73, x + s*j - 1 = 0. Is 8 a factor of x?
True
Let q(d) = d**3 + 6*d**2 + 3*d - 6. Let b be q(-5). Let g = b + -3. Let a(f) = 7*f. Is a(g) a multiple of 7?
True
Does 13 divide 835/15 - (3 + 30/(-9))?
False
Let k = 163 - 43. Is 10 a factor of k?
True
Let p(j) = -j**3 - 4*j**2 - 4*j. Let w be (-1)/(-3) + 40/(-12). Does 3 divide p(w)?
True
Let b(j) = j**3 + 5*j**2 - 5*j + 3. Suppose -4*c + 0*c = 3*x + 3, -16 = 3*c + 5*x. Is 22 a factor of b(c)?
False
Suppose -x = 2*x + 6. Does 27 divide (-1)/x - (-161)/2?
True
Suppose 108 = 5*u - 4*k, -3*k = 5*u + 2*k - 90. Does 10 divide u?
True
Suppose 0*s = -3*s + 240. Does 20 divide s?
True
Let y(g) = 2*g + 1. Suppose 0*h + 2*h - 2 = 0. Is 2 a factor of y(h)?
False
Let t(g) = -g. Let s(a) = 4*a + 3. Let p(n) = -n - 6. Let j be p(-5). Let r(q) = j*s(q) - 2*t(q). Is 4 a factor of r(-6)?
False
Suppose -3*m + 18 = 3*f, -10 - 8 = -2*m - 5*f. Suppose 4*u + m = 16. Is 6 a factor of ((-32)/6)/((-1)/u)?
False
Suppose -5*w + 13 = -62. Let h be 12/w*15/6. Suppose 0 = -r - h*r - 5*o + 72, 0 = -4*r + o + 96. Is 12 a factor of r?
True
Let d = 85 + -49. Let x be (4/(-3))/(10/165). Let q = x + d. Is q a multiple of 7?
True
Let o(t) = -11*t + 1. Suppose -2*x + 6 = 2*x - 2*k, -2*x + 4*k = -18. Does 12 divide o(x)?
True
Let r(m) = m**2 - m. Let d(t) = 2*t**2 + 3*t + 10. Let q(h) = -d(h) + 3*r(h). Is q(10) a multiple of 10?
True
Suppose -a = -u + a + 218, 0 = 5*u - 3*a - 1083. Is u a multiple of 36?
True
Let k = -8 + 12. Suppose 0 = -k*u - 4*i + i + 166, 0 = 3*u + 2*i - 125. Does 13 divide u?
False
Suppose 0 = c - 8*a + 3*a + 102, 2*c - 2*a + 164 = 0. Let z = 122 + c. Is z a multiple of 7?
False
Let j(h) = 8*h + 9. Is j(8) a multiple of 15?
False
Does 20 divide (-69)/(-3) + 4/(4/(-3))?
True
Suppose -140 = -4*p + 2*p. Is p a multiple of 10?
True
Let j(c) = c**3 + 23*c**2 + 33*c + 3. Is 16 a factor of j(-21)?
True
Is 15 a factor of (-1 - -10)*((-75)/3)/(-5)?
True
Let c be 7/2 - 1/(-2). Suppose 0 = d + c*d - 15. Suppose -o - 3*o + 80 = -l, d*o - l = 60. Does 10 divide o?
True
Suppose 3*l - 5*f - 2 = 0, l - 6*f + 6 = -f. Suppose 0 = b - l*k - 72, -k + 6*k + 300 = 5*b. Is b a multiple of 14?
True
Let c = -2 - -1. Let p be 60/2*c/2. Does 21 divide 112/20*p/(-2)?
True
Let p(d) = 4 + d**3 - 2*d**3 + 2*d**3 + d + 0*d**2 - 6*d**2. Does 4 divide p(6)?
False
Suppose 14*h = 9*h + 10. Suppose -h*p + 47 = -29. Does 11 divide p?
False
Is 204/3 - (4 - 4) a multiple of 29?
False
Let b be 1 + (-3 - 0) + 7. Let l = b + 3. Suppose -p = -2*p + l. Is p a multiple of 4?
True
Let l = -1 + 1. Suppose 340 = 5*g - 4*x, l = -5*g - x + 207 + 108. Is 16 a factor of g?
True
Let o = -26 + 55. Does 29 divide o?
True
Let b(o) = o**3 + 6*o**2 - 9*o + 9. Let j(v) = v - 17. Let f be j(10). Does 7 divide b(f)?
False
Is 39 a factor of (-2 - 2)/(-4)*300?
False
Suppose -o + 61 = -0*o. Suppose 4*y - o = -5. Does 7 divide y?
True
Let q = -93 + 156. Suppose 0 = v - 4*v + q. Does 7 divide v?
True
Suppose x + 3*b - 13 = 0, -4*x - 2*b = -63 - 29. Does 7 divide x?
False
Let w be (-2 + -1)*-1 - 0. Let g = -1 + w. Suppose 0 = -g*s + s + 55. Does 20 divide s?
False
Let m = 56 + -28. Does 6 divide m?
False
Suppose -4*j + z + 23 = 0, 0*j - 2 = -j - z. Let i be 473/j + 16/40. Suppose -2*v - 5*c + 71 = -0*c, 5*v - i = 4*c. Does 9 divide v?
False
Suppose 11 = 4*h - 9. Is 1*(3 - h - -28) a multiple of 13?
True
Let m be (-41)/3*3*-1. Let j = m - 24. Does 7 divide j?
False
Does 12 divide (3/9)/((-3788)/1263 - -3)?
False
Let g = -86 + 226. Does 20 divide g?
True
Let a be (1/(-3))/((-2)/30). Suppose a*p - 659 = -39. Suppose 0*f = 3*f - 4*m - p, 3*f = m + 121. Is 20 a factor of f?
True
Let d(a) be the first derivative of -a**4/4 + 10*a**3/3 - 4*a**2 + 2. Is d(9) a multiple of 9?
True
Suppose -3*k = -2*v - 284, 3*k - 5*v = -0*v + 269. Suppose -3*g + 50 = m, 3*g + 5*m - k + 28 = 0. Is 15 a factor of g?
True
Let v(l) = -l**3 - l**2 + 2*l + 14. Is v(0) a multiple of 7?
True
Let j = 91 - -35. Is 21 a factor of j?
True
Is 23 - (-6)/(2 + 0) a multiple of 16?
False
Suppose -2*u + 2 = 3*w, 5*w + 17 = 4*u + 57. Suppose 0 = -w*m - 5*n + 216, -n + 48 = 3*m - 114. Is m a multiple of 18?
True
Does 29 divide (-6)/(-9) + (-876)/(-9)?
False
Suppose 2*z = 3*k - 130, 2*k - 190 = -3*k - 2*z. Does 20 divide k?
True
Let d(n) = -6*n**3 - 9*n**2 + 2*n - 1. Does 15 divide d(-4)?
False
Let l(k) = -2*k**2 + k - 7. Let u(z) = 5*z**2 - 4*z + 20. Let w(q) = -11*l(q) - 4*u(q). Is w(-6) a multiple of 19?
False
Let k = -44 + 97. Let w = k - 25. Does 14 divide w?
True
Suppose 130 = 3*j - 4*l - 118, -390 = -5*j - 5*l. Suppose -2*i - s = -35, 3*i - s - j = 3*s. Is 10 a factor of i?
True
Suppose 86 = 2*i - 4*d - 22, 0 = -4*i - 5*d + 216. Suppose 0 = -4*f + 26 + i. Is f a multiple of 19?
False
Suppose -8 = 3*d + m, -2*d + 6 + 6 = 5*m. Let g = d - -4. Suppose 5*p + g*p = 15. Is p a multiple of 3?
True
Let d(r) = -r**2 + r + 1. Let f(z) = z**3 - z**2 - 3*z - 3. Let t(o) = -4*d(o) - f(o). Is t(2) a multiple of 9?
True
Is (-176)/(-24)*3/2 a multiple of 5?
False
Is 66 - (4 + -3 + 3) a multiple of 31?
True
Let p = 7 - 4. Let u(i) = -14*i. Let g(j) = -j - 1. Let a(v) = -2*g(v) - u(v). Does 14 divide a(p)?
False
Let j(p) be the second derivative of p**5/20 - 5*p**4/6 + p**3/2 - 4*p**2 + p. Is