 8. Let m be r(2). Does 5 divide (m/3)/((-1)/15*-5)?
True
Let w(a) = 10*a + 4. Let j be w(-4). Let s(l) = -l**3 + 18*l**2 + 20*l + 45. Let b be s(19). Let o = b + j. Does 7 divide o?
True
Suppose 0 = 2*m - 10. Suppose m*d = 2*c - 522, 5*d + 941 + 113 = 4*c. Is 19 a factor of c?
True
Let p(j) = -12*j**2 + 109*j - 7. Is 24 a factor of p(7)?
True
Let j be ((-8)/6)/((-4)/24). Let f(o) be the third derivative of -o**6/120 + 3*o**5/20 - 5*o**4/24 + 7*o**3/6 - 2*o**2. Does 29 divide f(j)?
False
Let c be 2 - (-10 + 4 + 4). Suppose -352 = -12*p + c*p. Does 21 divide p?
False
Suppose -5*z + 3 = 8. Let f = -13 - z. Let x = f - -21. Is x a multiple of 4?
False
Suppose -f - 2*i + 10 = -0*f, 3*f - 4*i - 30 = 0. Let s(j) = j**3 - 7*j**2 - 16*j + 17. Is 20 a factor of s(f)?
False
Suppose -769 + 2233 = 4*x. Suppose 0 = -5*m + 4 + x. Does 12 divide m?
False
Let k(t) = 4*t**2 + 5*t + 6. Let z be k(-4). Is 3995/50 + 5/z a multiple of 16?
True
Let c = 11 - 14. Let x(u) = -u**3 - 3*u**2 - u - 3. Let b be x(c). Suppose b = 3*j - 0*j - 63. Does 7 divide j?
True
Let h = 807 + 55. Does 45 divide h?
False
Is 46 a factor of -3 + (-5)/(-3) + 32912/51?
True
Let c(m) = m**3 - 7*m**2 + 3*m - 9. Let h be c(5). Let b = h - -230. Is b a multiple of 62?
True
Suppose 0 = -n - 5 + 9. Suppose -24 = -n*h + 84. Does 27 divide h?
True
Let b(a) = 0*a + 10*a - 27 + 7. Is 30 a factor of b(11)?
True
Let y(o) = -o**2 - 9*o - 3. Let s be y(7). Is 36 a factor of -6*(s/(-2))/(-5)?
False
Suppose -4*f = -5*h - 2294, -18*f - h + 578 = -17*f. Is 9 a factor of f?
True
Let a be (1*-27)/(-3)*2. Suppose y - a - 38 = 0. Is 28 a factor of y?
True
Let u(y) be the second derivative of y**6/45 + y**5/60 - y**4/6 + 5*y. Let l(k) be the third derivative of u(k). Is l(2) a multiple of 8?
False
Suppose 291 = 3*j + 54. Let m = j + -45. Does 34 divide m?
True
Let q be (-4)/((-16)/4) + 1. Suppose -2*p = 6 - q. Does 32 divide (p/(-6))/((-4)/(-996))?
False
Suppose 60*j - 37341 = 5559. Does 143 divide j?
True
Let v(d) = d**2 - 16*d + 3. Let u be v(16). Suppose 3*p + 44 = 3*t - 10, u*p = 0. Is t a multiple of 6?
True
Let x = 83 + -70. Is 44 a factor of (x + 26)*(-13)/(-3)?
False
Suppose 4*v = -v - 2*k + 3, 2*v + 3*k = -1. Suppose -d + v + 2 = 0. Is 6 a factor of 2*(8 + (-6)/d)?
True
Let k be (2/6)/(5/45). Let y be -1 + -4 - 0/k. Is 4 a factor of 26/(y + 3)*-1?
False
Let q(r) = -r - 3*r + 12 + 2*r + 0*r. Let a be q(10). Does 14 divide ((-21)/(-6))/((-1)/a)?
True
Let x(u) = -u**2 - u - 2. Let o(k) = 2*k**2 + 3*k - 4. Let w(y) = -o(y) - 3*x(y). Is 3 a factor of w(-3)?
False
Let l be 918/(-33) - (-8)/(-44). Let u = l + 44. Suppose 0 = i + 2*c - 42, 0 = -5*i - 3*c + 166 + u. Is 11 a factor of i?
False
Let v = -1325 - -2783. Is v a multiple of 6?
True
Let x = -196 - -328. Suppose 0 = -5*l + x + 88. Is l a multiple of 4?
True
Suppose 47*j - 28709 = 73986. Is j a multiple of 19?
True
Let v(y) = 3*y**2 - 2*y + 2. Suppose 0 = 2*u - 9 + 5. Let p be v(u). Does 30 divide 762/p - 52/(-65)?
False
Suppose -3*c - 11 = 25. Does 6 divide (c/(-7))/((-30)/(-105))?
True
Let i be 6090/(-45)*(1 + 15/(-6)). Suppose -l - 71 + i = 0. Does 60 divide l?
False
Suppose -12*q = -14*q + 72. Does 36 divide q?
True
Is 47 a factor of 7/((-35)/5) + 353?
False
Suppose -43*q = -65*q + 23826. Is q a multiple of 93?
False
Suppose 7*t = 9*t - 730. Does 78 divide t?
False
Let d(v) = 7*v**3 + v + 2. Let t(i) = -20*i**3 - i**2 - 3*i - 6. Let w(a) = -17*d(a) - 6*t(a). Does 30 divide w(-4)?
True
Suppose 13*n = -9*n + 13354. Does 14 divide n?
False
Let q(n) = n**3 - 2*n**2 - 5*n - 7. Let g be q(5). Is g + ((-3)/3)/1 a multiple of 14?
True
Suppose -4*b - 3*t = -12890, 0 = -8*t + 11*t - 6. Is 13 a factor of b?
False
Is 58 a factor of 0 + -1 + 0 - (-1153 - 13)?
False
Let s = 10 - 7. Suppose 4 = f + s. Let x = f - -24. Does 9 divide x?
False
Suppose 701*l - 708*l = -3850. Is 16 a factor of l?
False
Let f(s) = -s**3 - 4*s**2 + 12. Let y be f(-5). Is 17 a factor of 6/(8/(-4)) + y?
True
Suppose -7*g + 5*g - 1409 = -3*k, -2347 = -5*k + 2*g. Does 98 divide k?
False
Let l = 7 - 38. Let z be (-6 - -7)*(2 - 1)*-10. Let g = z - l. Does 11 divide g?
False
Suppose -3*i - t + 4 = 0, -i + t - 3*t + 8 = 0. Suppose i = -2*g - r - 4*r + 62, -3*g + 3*r = -135. Does 41 divide g?
True
Let v = -21 + 27. Suppose 0 = 3*a - v*a. Suppose a = 2*t + 4*p + 3 - 99, p = -2*t + 102. Is 13 a factor of t?
True
Let s = -234 + 576. Does 18 divide s?
True
Suppose 0 = -4*h + 4 - 0. Let r = h - -1. Is 5 a factor of (r + (-15)/(-2))*2?
False
Suppose -z + 34 = z + 3*b, 5*z - 90 = -5*b. Is 2 a factor of z?
True
Let h = -1645 + 5605. Is (-2)/(-14) - h/(-63) a multiple of 21?
True
Suppose 0 = 500*l - 503*l + 612. Does 27 divide l?
False
Let m(c) = -5*c**2 + 8*c + 10. Let t be m(8). Let a be 2/6 - t/18. Let i = 18 - a. Does 4 divide i?
True
Suppose 0 = 5*x - 10*x, -5*g - 5*x = -1910. Suppose 3*r - g = -3*w + 137, -w = -4*r - 188. Is 16 a factor of w?
True
Let b = 590 + 610. Is 6 a factor of b?
True
Let h(y) = 7*y**2 - 5*y - 3. Suppose -2*j + 9 = -5*j. Let r be h(j). Suppose -5*z = -0*z - r. Does 11 divide z?
False
Let x(o) = o**2 + 333. Let u be x(0). Let m be (-72)/(-32)*(1 - 307/3). Let g = u + m. Does 38 divide g?
False
Let f(o) = o**2 + 2*o - 2. Suppose 0*n = -3*n - 18. Is f(n) a multiple of 11?
True
Let i = -101 - -87. Let r(t) = -2*t + 33. Is 6 a factor of r(i)?
False
Suppose 0*l + 3*w = -l + 114, 74 = l - 5*w. Is 11 a factor of l?
True
Suppose -2*t + 42 = -92. Suppose 3*x - t - 35 = 0. Is 18 a factor of x?
False
Let p = -25 + 181. Is p a multiple of 52?
True
Let x = -20 + 23. Let t(b) = b**2 + 3*b + 3. Let u be t(4). Suppose -u = -x*d + 2. Is d even?
False
Suppose 2*l + 4*h = 1184 - 54, 0 = 5*l - 4*h - 2797. Suppose 63 = 3*b - l. Does 26 divide b?
True
Suppose -12 = k + 4. Let r = k + 16. Suppose -3*z - 5*p + 52 = r, 2*z + 3*z - 78 = -4*p. Is 7 a factor of z?
True
Let w(l) = -l**2 + 28*l - 3. Is w(19) a multiple of 7?
True
Let f = -416 - -784. Is f a multiple of 95?
False
Let z = 201 - 174. Is z a multiple of 11?
False
Suppose -3 = 2*j - 2*l - 15, j + 5*l = -24. Let w(i) = 43*i + 5. Does 6 divide w(j)?
True
Suppose -21666 = 21*g - 44*g. Is g a multiple of 13?
False
Let v = 174 - 116. Suppose 5*w - v = 2*s + 47, 5*w + 4*s = 75. Let r = -9 + w. Is 2 a factor of r?
True
Suppose -n + 3*n = -8. Let o(k) = -3*k**3 - 2*k**2 + 3*k + 2. Let j(p) = 13*p**3 + 7*p**2 - 12*p - 9. Let x(h) = -2*j(h) - 9*o(h). Is 3 a factor of x(n)?
True
Let l(a) = -a - 4. Let s be l(-6). Is 64/s - -2*2/4 a multiple of 9?
False
Suppose -u = -1, -362 = 3*s - 8*s - 2*u. Is s a multiple of 18?
True
Let r = -2171 + 3823. Is r a multiple of 151?
False
Let b = -158 + 72. Suppose 416 = -5*k + 136. Let r = k - b. Is r a multiple of 11?
False
Let r(g) = g**2 + 9*g - 9. Let i be r(-9). Let k = i - -5. Is 2 a factor of (-2)/k + (-18)/(-12)?
True
Does 26 divide 20313/54 - 2/12?
False
Let u(v) = v**3 - 7*v**2 + 8*v - 4. Let g be u(5). Let w be -10 + 1 + -2 - -3. Is w/10*(g + -1) a multiple of 12?
True
Suppose -3*d - d = -7264. Is 27 a factor of d?
False
Suppose 20 = 5*s, 12 = -3*v + 7*v + s. Suppose 0 = -v*y + 5*y - 144. Is y a multiple of 12?
True
Let p(v) = -6*v - 2. Let m be p(-1). Let i be -4*(-3)/(-3) + m. Suppose 4*b + 137 = 3*s - i*s, 0 = 2*s + 5*b - 99. Is s a multiple of 14?
False
Let h(s) = -10*s - 12. Let u = -64 - -53. Does 14 divide h(u)?
True
Suppose 5*h - 231 = -61. Is 3 a factor of h?
False
Let n(c) = -64*c - 13. Let x be n(-4). Let s = -168 + x. Let y = 143 - s. Does 17 divide y?
True
Let y(t) = -t**3 - 3*t**2 + 93. Is y(0) a multiple of 3?
True
Let x = -1179 + 2106. Is x a multiple of 9?
True
Let s be 4/18 - (-25)/9. Suppose 8 + 18 = 5*w - p, -5*w - s*p = -42. Suppose 0 = -7*z + w*z + 64. Is 16 a factor of z?
True
Let z be 8*5/50*115. Suppose -2*y + 4*m - z = -7*y, -y + 2*m = -24. Suppose 0 = -2*r - 3*g + y, -3*g + 11 = -4*r + 69. Is r a multiple of 9?
False
Let h(k) = k**3 + 3*k**2 - 3*k - 1. Let q be h(-2). Let b be 12/9*q/2. Let a(i) = 4*i + 8. Is a(b) a multiple of 8?
True
Suppose 40*c - 10737 = -1017. Is c a multiple of 12?
False
Let s be 1/(-2) + (-3)/6. Let t be s/3*-3*29. Suppose 175 = 2*m - t. Is m a multiple of 17?
True
Let r(t) = 2*t + 37 + 4*t - 37. Does 25 divide r(7)?
False
Let u be 2612/(-10) + (-2)/(-10). Le