t c be ((-4)/(-5))/((-55)/25 + 2). Let f(x) = x**2 + 7*x + 9. Let r be f(c). Does 6 divide (-7 + r)*8/(-5)?
False
Does 77 divide (-2091 - (-8 + 3))/((-48)/264)?
True
Let k(q) = 24*q**2 - 165*q + 863. Does 14 divide k(59)?
False
Let k(h) = -971*h - 184. Is 8 a factor of k(-2)?
False
Suppose 10 = h + 5*g, 0 = -5*h + 2*g - 2 - 2. Suppose -5*y + 196 + 94 = h. Is 10 a factor of y?
False
Suppose -3070 + 1114 = -6*j. Suppose 0 = 4*y - 9 + 1. Suppose -6*z - j = -y*q - 2*z, -4*q - 4*z = -592. Is q a multiple of 51?
True
Suppose 3*z - 4*s = 3263, -2*z + 0*s + 2157 = s. Suppose -3*q - i + 2527 = 0, 3*q + 4*i - z - 1449 = 0. Does 17 divide q?
False
Let x(q) = -q**2 + 13*q + 30. Let p be x(15). Suppose -h + 4*h - 1140 = p. Is 10 a factor of h?
True
Let u(l) = 8*l**2 - 16*l - 1021. Is u(-39) a multiple of 11?
False
Let f(r) be the second derivative of -r**4/12 - 25*r**3/6 - 21*r**2/2 - 6*r. Let q be f(-24). Suppose -q - 9 = -2*o. Is 2 a factor of o?
True
Suppose 48 + 30 = 6*j. Suppose -j*v + 1372 = -2827. Is v a multiple of 19?
True
Let k(z) = 4*z**2 - 8*z + 4. Let x be k(2). Suppose -276 = x*o + 304. Let i = 237 + o. Does 27 divide i?
False
Let v(o) = -o**3 + 25. Let c be v(0). Let l be 56/26 + 12*(-18)/1404. Suppose -l*z + 211 = c. Is z a multiple of 22?
False
Is 43 a factor of 6761 + (14 - 10) + -14?
True
Suppose 69*l = 49*l + 246240. Does 9 divide l?
True
Let m(s) = -13*s + 29. Suppose -11 - 19 = 6*o. Is 3 a factor of m(o)?
False
Let i = 43 + -40. Let r be (45/i)/(-5) + 3. Suppose r = -7*q + 6*q + 14. Is 7 a factor of q?
True
Let q(a) = 7*a - 12. Let w(c) = -42 - c**2 + 6*c + 19 + 19. Let u be w(4). Is 8 a factor of q(u)?
True
Suppose -4*r - 384*h = -386*h - 2702, 4*r = h + 2709. Is r a multiple of 10?
False
Let w(d) = -3*d**3 + 3*d - 1. Let x be w(2). Let z(m) = -m - 24. Let v be z(x). Does 14 divide -41*(-4 + 2) - (-7 - v)?
True
Suppose -1221 = 2*g + 5279. Is (12/(-10)*1)/(75/g) a multiple of 3?
False
Let g be (-20)/(-8)*(-2)/7*-7. Suppose -w - 466 = -2*k + 227, g*k - 1716 = -3*w. Does 23 divide k?
True
Let y(h) be the second derivative of h**3/2 + h**2 + 14*h. Let d be y(0). Is (-42)/(-3)*3*d a multiple of 12?
True
Let v(f) = -f**3 + 76*f**2 - 8*f - 459. Is 4 a factor of v(73)?
True
Let o(q) = 149*q - 78. Does 3 divide o(11)?
False
Let v be (-3 + (-15)/(-9))*39/(-1). Let z = v - 60. Let w(j) = -8*j + 16. Does 8 divide w(z)?
True
Let k(o) = -24*o - 207. Let j(g) = 2*g**2 - 24*g - 28. Let q be j(12). Is 31 a factor of k(q)?
True
Let x(k) be the first derivative of 61*k**2/2 + 28*k + 60. Is x(2) a multiple of 24?
False
Let z(o) = 331*o**2 - 24*o + 5. Is 168 a factor of z(-5)?
True
Suppose 3*q + 27 - 12 = 0, -2*o - 7*q = -109. Let c(u) = 56*u - 2. Let s be c(2). Let r = s - o. Does 19 divide r?
True
Let z(i) = -2*i - 28. Let s be z(-15). Suppose 5*b - 4*r = -16, -s*b + 2 + 6 = 2*r. Suppose -8*m + 1040 = -b*m. Does 13 divide m?
True
Is 54 a factor of 158417/5 - 624/(-1040)?
False
Suppose -3*p = -2*p + g - 4, p - 4 = 3*g. Suppose w - 6 = 2*s, 2*s - 20 - 44 = -p*w. Let q = 56 + w. Is q a multiple of 14?
True
Let b be 6/(-15) - (-3)/(-5). Let u(s) = -2140*s + 4298*s + 126*s**2 + 3 - 2155*s. Is 21 a factor of u(b)?
True
Let f(k) = 5*k**2 - 251*k - 880. Is 6 a factor of f(-48)?
False
Let t(z) = 4*z**3 + 7*z**2 + z - 4. Let l be t(-3). Let d = 57 + l. Is 17 a factor of 27/45 + 432/d?
False
Let j be 3/2*100/6. Let r be 90/j + (-9)/15. Suppose -88 = -0*s - r*s + 5*p, 0 = -2*s + p + 68. Is 11 a factor of s?
False
Is (-858)/((-35)/(-42) + (-29)/30) a multiple of 115?
False
Suppose 27*o - 34 = -5*y + 31*o, -4*y - 5*o = -60. Is 12 a factor of (-180)/(-27)*558/y?
True
Suppose 6*c - 728 = 22. Suppose 53*o = 48*o + c. Is o a multiple of 2?
False
Let p(n) = -511*n - 476. Does 11 divide p(-8)?
False
Let f(i) = 82*i + 98. Let q be f(7). Suppose 4*d - 7*c - q = -3*c, 846 = 5*d - 2*c. Is d a multiple of 17?
True
Let t(k) be the second derivative of k**4/6 + k**3 - 5*k**2 + 5*k. Let d be t(-10). Let l = -85 + d. Is l a multiple of 18?
False
Let j(z) = -z**3 + 5*z**2 + 15*z + 7. Let q be j(7). Suppose -18*c = -q*c - 5888. Is 46 a factor of c?
True
Suppose 3*d - 5*d + 128 = 0. Suppose -7*b - d = -11*b. Suppose -5*w = 4*t - b - 35, -3*t + 4*w + 46 = 0. Does 14 divide t?
True
Let h = -2632 - -3582. Is 130 a factor of h?
False
Let o(h) = -5*h + 22. Let n be o(5). Suppose 5*z + d - 51 = -0*d, 4*z = -2*d + 42. Let x = z - n. Is x a multiple of 12?
False
Suppose -4*d = 2*u - 862, -6*u - 5*d = -u - 2130. Let q = u - 348. Is 39 a factor of q?
False
Let j = 365 - -2163. Is j a multiple of 6?
False
Suppose -119*c = 39*c - 26228. Is c a multiple of 62?
False
Suppose -4853 = -6*v - 1535. Is 7 a factor of v?
True
Suppose q = 66 + 3. Let l = q + -71. Does 42 divide (-2 + 3)/(l/(-354))?
False
Suppose 4*x - 2*k = -3*k + 13331, 2*k + 6658 = 2*x. Is x/20 + 27/(-45) a multiple of 9?
False
Suppose 2*o - 10713 = -1737. Is 88 a factor of o?
True
Let b(v) = 834*v + 1256. Does 25 divide b(4)?
False
Let q(m) = 22*m + 135. Let h(r) = -11*r - 67. Let i(z) = -5*h(z) - 2*q(z). Is 32 a factor of i(10)?
False
Let k = 9 - 5. Suppose -k*y + 2*a + 320 = 0, 4*y - 2*a = 6*y - 160. Suppose -y = 5*c - 6*c. Is c a multiple of 12?
False
Let o(y) = 18*y - 358. Let p be o(20). Does 6 divide 54/p + (20 + -13 - 4)?
True
Let s(j) = -7*j**2 + 3*j - 20. Let u(p) = -21*p**2 + 10*p - 62. Let k(d) = 8*s(d) - 3*u(d). Is 74 a factor of k(12)?
True
Let p = -2888 + 7436. Does 41 divide p?
False
Let d(v) = -v**2 + 3*v + 2. Let g be d(2). Suppose -2*c + 9*t - 8*t = -214, 3*c - 310 = -g*t. Is 3 a factor of c/9 - (-8)/36?
True
Suppose -5*k + 3331 = 2*q, 45*q + k = 49*q - 6695. Is 8 a factor of q?
False
Let m(n) = n**3 - 9*n**2 - 8*n - 8. Let z be m(10). Let f(c) = -c**2 - c**3 + 18*c + 0*c**3 + z*c**2 - 15. Is 19 a factor of f(12)?
True
Suppose -28*b - 537 = -31*b + 3*n, -5*b + n = -879. Suppose -3*g + b = -5*x, -77 + 15 = -g - 2*x. Is g a multiple of 6?
True
Suppose 488 = x - 5*t, -4*x = -56*t + 52*t - 1952. Is 8 a factor of x?
True
Let v = 295 - 299. Does 7 divide (-12128)/(-416) - v/(-26)?
False
Let q(x) = 2*x**2 - 3*x + 33. Let s(z) = -z - 12. Let d be s(-6). Does 41 divide q(d)?
True
Let f(t) = 7*t - 49. Let r be f(5). Does 22 divide 8/r + 63206/238?
False
Let f(l) = 6*l**2 - 31*l + 17. Let n be (24/15)/(3*3/45). Does 17 divide f(n)?
True
Let y = 809 + -807. Let u(g) = 115*g**3 - 3*g**2 + 13*g - 19. Does 19 divide u(y)?
False
Let y = 1796 + -939. Let v = -414 + y. Does 12 divide v?
False
Does 12 divide 9 + -12 - (-14)/(-4)*-2542?
False
Let n(j) = -j**3 + j**2 - j + 723. Let o be n(0). Let g = -120 + o. Does 10 divide g?
False
Let w(h) = -2*h - 1. Let b(t) = -57*t + 84. Let y(d) = b(d) - 15*w(d). Does 85 divide y(-13)?
False
Suppose 0 = 2*y + 3*s - 37447, 1 = -9*s + 10*s. Is 23 a factor of y?
True
Let p(f) = 1061*f**2 + 49*f - 102. Is p(2) a multiple of 16?
True
Suppose -p + 4*a - 7505 = -33400, -p = -2*a - 25889. Does 13 divide p?
True
Suppose -544 = 4*g - 3*c, 0 = -4*g - 0*c - 4*c - 544. Let x = g - -447. Let m = x - 184. Is m a multiple of 13?
False
Suppose -11313 = 36*a - 94833. Is 10 a factor of a/160*(-2)/(-3)*3?
False
Suppose -3229 - 23971 = -8*x. Does 20 divide x?
True
Let s(z) be the first derivative of z**5/60 - 5*z**4/12 + 13*z**3/6 + 11*z**2/2 + 15. Let x(n) be the second derivative of s(n). Is 21 a factor of x(15)?
False
Let t = -372 + 374. Suppose t*o - 333 = -l, 5*l - 1689 = 8*o - 12*o. Is l a multiple of 11?
True
Suppose -13*d = -0*d + 260. Let a = -19 - d. Does 21 divide 0 - (a + -3) - (-4 + -41)?
False
Suppose 4*j - p - 2988 = -5*p, 3*p = -4*j + 2989. Suppose -8*q + 820 = -j. Is 7 a factor of q?
True
Let l = -6489 + 26934. Does 38 divide l?
False
Suppose 36213*d = 36224*d - 208725. Is 70 a factor of d?
False
Suppose -22*y - 61*y + 1157760 = 51*y. Is y a multiple of 108?
True
Let g(o) = 57*o + 8. Let n be g(8). Let k = 271 + n. Does 40 divide -4 + 322/77 - k/(-11)?
False
Suppose 105 + 17 = -40*n - 38. Suppose r + 3*p = 2*r - 1, 5 = 5*r - 2*p. Does 3 divide 36*-4*r/n?
True
Let j be (-65)/52 + (-298)/(-8). Let d be j/(-1)*(-1)/4. Let g(p) = -p**3 + 9*p**2 + 2*p - 14. Is g(d) even?
True
Let q(b) = b**3 + 6*b**2 + 3*b - 507. Is q(19) a multiple of 49?
True
Let v(z) be the third derivative of -4*z**4/3 + 4*z**3/3 