6. Let r = 193 - s. Suppose -235 = -3*g + 4*l + 1, 0 = -g - 2*l + r. Is 29 a factor of g?
False
Let g be (-4)/2*-1*9/6. Is 158 - ((-10)/g - 8/12) a multiple of 9?
True
Let v(t) = -3*t + 11. Let b be (14/(-4))/(3 - 15/6). Is v(b) a multiple of 17?
False
Let o(g) = -3*g + 0 + 1 + 1 - 4. Does 28 divide o(-10)?
True
Let j(o) = -161*o - 7. Is 9 a factor of j(-1)?
False
Suppose -13*r + 15*r = 24. Suppose -620 = 7*h - r*h. Suppose -5*p + 4*g - 3*g = -h, 3*p + 3*g - 78 = 0. Does 7 divide p?
False
Let v = 17 - 13. Suppose -h + 155 = 2*h - 5*l, -4*h = v*l - 196. Does 23 divide h?
False
Let u(q) = -3*q - 1. Let r(f) = 8*f + 3. Let k(x) = x. Let d(w) = 6*k(w) - r(w). Let n be d(6). Is u(n) a multiple of 22?
True
Let n(k) = -k**3 - 10*k**2 + 10*k - 32. Let i(t) = -12*t. Let j be i(1). Is 22 a factor of n(j)?
False
Let c = 230 - 43. Does 19 divide c?
False
Suppose -2 = -2*f + 8. Suppose 0 = f*s - 4*s - 4, 2*m + 2 = 3*s. Let l(d) = -d**3 + 6*d**2 + 4*d - 5. Does 10 divide l(m)?
True
Let a(z) = 2*z**3 - 4*z**2 - 19*z - 12. Is a(6) a multiple of 15?
False
Let q be (-212)/(-16) - 3/12. Suppose 5*g + 7 = -q, -3*n = -g - 10. Suppose -4*c = -n*c - 24. Is c a multiple of 5?
False
Let f(m) = 9 + 9 + m + 4. Let v be 16/(-10)*15/(-2)*-1. Is f(v) a multiple of 5?
True
Let c(l) = l**2 + 10*l - 7. Let g be c(5). Let j = -2 + g. Is j a multiple of 11?
True
Let j(m) = 16*m. Let w be 3 + 1/(-3)*-3. Suppose 14 = u + 4*o, w*o = -0*u - 2*u + 16. Does 7 divide j(u)?
False
Let g(n) = n + 11. Let s be g(-5). Does 9 divide (3/s)/((-1)/(-108))?
True
Suppose 0 = -b + 10 - 7. Suppose -2*s = 10, b*w - 2*w - 63 = 3*s. Is 6 a factor of w?
True
Suppose 3*t - 1228 - 2174 = 0. Is t a multiple of 63?
True
Is 10 a factor of (-1804)/(-8) + 60/(-24)?
False
Let c(g) = g**2 + 14*g - 29. Let k be c(-14). Let n = k - -125. Is n a multiple of 37?
False
Suppose 3*f + 3*w - 645 = 0, 0 = 2*f + w - 175 - 250. Is 14 a factor of f?
True
Let v be ((-4)/(-2))/((32/(-6))/(-8)). Suppose v*z - 565 = -2*z. Is z a multiple of 11?
False
Let i = -220 - -142. Let x = -39 - i. Suppose -2*r + 1 = -x. Is 9 a factor of r?
False
Suppose o + 11 = 3*t + 2*o, -5*t + 13 = -o. Suppose r - 94 = -y - t*r, -2*y + 148 = -2*r. Suppose 0*k + 133 = 3*n + k, 2*n - y = 2*k. Is 22 a factor of n?
False
Suppose 3*a - 5*v = -a + 191, 5*v + 93 = 2*a. Suppose -w - 3 = -6. Suppose -w*c = -2 - a. Is c a multiple of 7?
False
Suppose h = -2*p + 177, 4*h = p + 1077 - 342. Does 9 divide h?
False
Let c be 5294/10 - ((-2)/(-5) - 1). Let j = c - 279. Is j a multiple of 9?
False
Let p = 14 + 19. Suppose 0 = y - p - 3. Suppose -b - y = -2*b. Is b a multiple of 14?
False
Suppose -4*q + 9 = -7. Suppose 4 = -q*d + 16. Suppose d*g - 32 = -g + 3*k, -4*k + 60 = 4*g. Is g a multiple of 3?
False
Let o(w) = w**2 - 7*w - 1 + 1 + 29*w + 1. Is 16 a factor of o(-23)?
False
Let h be -9*1/(9/24). Let m = h + 57. Does 5 divide m?
False
Let w(q) = -q**3 - 11*q**2 + 12*q. Let s be w(-12). Suppose 3*x - 199 = -4*u, s*u - 5*u + 272 = -4*x. Is u a multiple of 19?
False
Suppose -1379 = -17*y + 474. Is y a multiple of 3?
False
Let d = -136 - -61. Is 10 a factor of 5/(d/5) - 91/(-3)?
True
Suppose -5 + 14 = -i. Let d(f) = 29 + f**2 + 3*f + 2*f - 29. Does 18 divide d(i)?
True
Suppose 4*c - 15 = -a, 2*c - a - 20 = a. Suppose v = -c*t + 117, 0 = -v - 4*v + 4*t + 643. Does 25 divide v?
False
Suppose -2808 = -4*v + t - 0*t, 0 = v + 5*t - 681. Is v a multiple of 39?
False
Let u(y) = -7*y**3 - 5*y**2 + 9*y + 10. Is 20 a factor of u(-3)?
False
Suppose -8 + 38 = 3*z. Suppose 5*c + 145 = s + z, 0 = -2*s + c + 315. Is 32 a factor of s?
True
Let v(g) = 9*g**2 + 2*g - 11. Let y be v(5). Suppose 0 = 51*n - 47*n - y. Does 4 divide n?
True
Let p(u) = -u**2 + 18*u - 8. Let h(l) = -l**2 + 3*l + 14. Let y be h(0). Does 10 divide p(y)?
False
Let s be 3/((5 - 1)/4). Let k(l) = 5*l**3 - 4*l**s + 5*l**2 - 2*l - 6 + 2*l**2 - l**2. Is 3 a factor of k(-6)?
True
Let w = -934 - -4332. Is w a multiple of 20?
False
Let s = -694 + 700. Let h be ((-27)/4)/3*-36. Suppose -s*g = -h + 3. Is 3 a factor of g?
False
Let u = 27 - 27. Is (3 - u)*22/6 a multiple of 11?
True
Let l = 6 - -6. Let d be 2 + 3*16/l. Suppose 5*v = 31 - d. Is v a multiple of 2?
False
Let z = -758 - -386. Let c = -239 - z. Is 7 a factor of c?
True
Let j(z) = -8*z + 7. Let d be j(3). Let g = d - -71. Does 25 divide g?
False
Let r = -35 + 33. Let v(j) = -105*j - 3. Does 23 divide v(r)?
True
Let m = -1561 + 3274. Does 42 divide m?
False
Let v be -4 - (-6 - 1 - -3). Suppose v*b - 3*b = -45. Does 3 divide b?
True
Let z be (4/(-6))/((-8)/36). Suppose 2*w = -2*w + 16, 0 = -z*n - 3*w + 150. Is 23 a factor of n?
True
Let x(n) = -n**2 - 2*n + 11. Let q be x(-6). Does 9 divide -2 - 0 - (q + -1 + -5)?
False
Let d = -26 + 36. Suppose -5*a = -d*a + 25. Suppose 4*r = 4*v - 8*v + 252, -4*r = a*v - 320. Does 17 divide v?
True
Let r(i) be the second derivative of -i**3/6 + 11*i**2 - 4*i. Let d be (-11 + (-4)/(-4))/(-1). Does 4 divide r(d)?
True
Let d(o) be the second derivative of 0 - 4*o + o**2 - 5/3*o**3. Is d(-4) a multiple of 14?
True
Is 48/((-1)/(234/(-27))) a multiple of 13?
True
Let b(d) = -2*d**2 + 8*d. Let u(y) = -3*y**2 + 8*y. Let o(p) = -5*b(p) + 4*u(p). Let s be o(-6). Is (s + 3)*24/(-14) a multiple of 13?
False
Let j(x) be the third derivative of 5*x**4/4 - 5*x**3/3 + 14*x**2. Does 18 divide j(7)?
False
Suppose 0 = -4*p + f - 0*f + 619, 468 = 3*p + 3*f. Let o = p + -90. Does 13 divide o?
True
Let u(n) = n**2 + 2*n + 68. Let a(p) = -19*p**2 + 10*p**3 + 5*p**2 - 3*p**2 - 11*p**3. Let t be a(-17). Does 17 divide u(t)?
True
Suppose 25*j - 41088 + 10038 = 0. Is 68 a factor of j?
False
Let w be 198 - (5 + -3 - 1). Suppose -43 - w = -3*x. Is 16 a factor of x?
True
Suppose -4*y = z + 60, -5*z = -2*y - 0*z - 52. Let j = 255 + y. Suppose -77 = 2*d - j. Is 27 a factor of d?
True
Suppose 0 = -2*c + 2*f + 4, -3*c + 2*f - f = -12. Suppose -c*q + 76 = -84. Let g = q - -7. Does 13 divide g?
True
Suppose -20*z - 12 = -17*z, 0 = -c - z + 455. Is 17 a factor of c?
True
Let b(x) = 342*x**3 + 2*x**2 + 5*x - 9. Is b(2) a multiple of 44?
False
Let q = 1668 - 1077. Is q a multiple of 18?
False
Let n(f) = -23*f - 5. Let o be 16/4*20/(-16). Is 30 a factor of n(o)?
False
Suppose -4*i + q = 24, 7*i + 2*q + 36 = 3*i. Let b(u) = -4*u**2 - 9*u + 11. Let j(f) = 2*f**2 + 5*f - 5. Let s(k) = 4*b(k) + 9*j(k). Is s(i) a multiple of 12?
False
Let u = -34 + 28. Let p(l) = 4*l**2 - 2*l. Is 26 a factor of p(u)?
True
Let n be 0 - (-2)/(-1) - -14. Let t = -1 + 5. Let a = t + n. Does 4 divide a?
True
Let t = -3 - -6. Suppose -x = t*x - 320. Suppose -2*l - x = -7*l. Does 7 divide l?
False
Suppose 5*x - 20*h + 19*h = 3987, 4*x = -h + 3195. Does 42 divide x?
True
Let y be 1/(-1*1/(-3)). Suppose -y*g + 6 = -g. Suppose 0*m = -g*m + 42. Is m a multiple of 14?
True
Suppose 3*d - 1455 = -2*d + 3*l, -5*l = 4*d - 1201. Is d a multiple of 6?
True
Suppose -3 = -3*t, 10*h - 2890 = 8*h - 4*t. Suppose h = 12*x - 285. Is 10 a factor of x?
False
Suppose 832 = 8*v + 5*v. Is v a multiple of 16?
True
Let k be 1*(-4 - (-3 + 2)). Let x be (-24)/(-10)*(-10)/k. Is (-2)/8 + 210/x a multiple of 5?
False
Let u(y) be the first derivative of 2*y**3/3 - y**2/2 - 2*y + 20. Let g(z) = 2*z**3 - z**2 - 2*z - 1. Let f be g(-1). Is u(f) a multiple of 5?
False
Let j(l) = 19*l - 10. Let d be j(3). Let h = -3 - -5. Suppose 3*k + 2*t - d = 0, -2*k = -h*t - t - 27. Is k a multiple of 13?
False
Let b be 20/6 - 28/21. Suppose -4*v + b*v = -124. Does 14 divide v?
False
Let h(a) = 71*a**3 - 8*a**2 + 22*a - 5. Does 118 divide h(2)?
False
Let v = 9 + -14. Let o(i) = 2*i**2 - i**2 - 7*i + 2 - 6 + 8*i. Does 12 divide o(v)?
False
Let s be 12/1*(-6 + 5). Is 10 a factor of 53 + (1 - s/(-3))?
True
Let r(f) = f**2 + 8*f - 4. Let n be r(-10). Is n - (-2 + 2 + -1) a multiple of 3?
False
Let l(z) = 4*z**2 - 23*z - 66. Does 5 divide l(11)?
True
Suppose -4*o + f + f + 24 = 0, 3*o - 32 = 5*f. Suppose -4*i = -2*t - 2*t - 1956, 0 = -o*i + 3*t + 1953. Suppose -6*j = -0*j - i. Is 27 a factor of j?
True
Suppose -15*c + 10*c = -5. Is 3 a factor of c*17 + (4 - 8)?
False
Let q(r) = -44*r - 3. Let j be q(1). Let p = -35 - j. Does 12 divide p?
True
Let t(u) = -u**3 - 2*u**2. Let y be t(-2). Suppose y = 2*k + k + 132. Is 13 a factor of 2/8 + (-1661)/k