 9. Let a be w(-8). Let l be a/(-6) + 2261/114. Does 6 divide l*(5/20 + 1)?
False
Suppose -24*t = w - 22*t - 9008, 4*t = 5*w - 44998. Is w a multiple of 11?
False
Does 23 divide 1204*(-37)/(3108/(-1104))?
True
Let o = -29 + -182. Let p = 3 - o. Is p a multiple of 15?
False
Suppose -815 - 6367 = -3*n. Suppose -l + n = 5*r, 3*r + 4*l - 2056 = -623. Does 13 divide r?
False
Let v(u) = 3*u + 61. Suppose 15 - 81 = 6*g. Is v(g) a multiple of 28?
True
Let f(k) = -123*k - 4751. Is 22 a factor of f(-65)?
False
Let p(x) = -x**3 - 11*x**2 - 3*x + 7. Let l be p(-10). Let a = l + 319. Is a a multiple of 8?
True
Suppose -195 = 4*t - 491. Is 19 a factor of (-48)/(-96) + -2*t/(-8)?
True
Suppose -2*a = -3*i - 14, 4*i + 4*a + 42 = -10. Let n(y) = -11*y - 1. Let u be n(i). Let k = u - 59. Is 7 a factor of k?
True
Let f be ((-276)/(-24))/((-3)/(-18)). Does 3 divide (f - -1 - 2) + -2?
True
Suppose -15*m - 299799 = -1138839. Is 76 a factor of m?
True
Suppose 5*f - 506*x = -508*x + 65590, -5 = x. Does 32 divide f?
True
Suppose 3*h = -4*i - 0*h, -3*i + 5*h = 0. Suppose -4*m + 2*l + 30 = 0, i*l + 5 = -l. Is 30 a factor of (120/(-7))/(m/(-35))?
True
Suppose -6*r + 8*r = 6. Suppose -r*l + 213 + 273 = 0. Is l a multiple of 9?
True
Is 21 a factor of ((-1669)/3)/((-1870)/306 + 6)?
False
Suppose 4*a = 14 + 6. Suppose -4*b - 16 = 0, -a*o - 2*b = -251 - 1776. Does 37 divide o?
True
Let x = 6567 - 561. Does 78 divide x?
True
Suppose -5*h + 5*o + 20 + 5 = 0, 0 = h + o - 7. Is (13/(-6) - -2) + 4453/h a multiple of 46?
False
Suppose 9 = 3*k - 0*k - 3*c, -4*k + 16 = -5*c. Is 53 a factor of -53*(k/(-2))/((-14)/28)?
True
Let d = -124865 - -184070. Is 20 a factor of d?
False
Let w(u) be the second derivative of -u**4/6 + u**3/6 + 165*u**2/2 + 28*u. Let x be w(0). Suppose 0 = 3*c - x - 69. Does 39 divide c?
True
Suppose -c + 409 = -d, -c + 432 = 5*d + 29. Suppose 2*z = 2*v + c, z - 104 = 4*v + 103. Is z a multiple of 5?
False
Suppose -8*o = -14*o + 18. Let i(v) = 6*v - 5 + v**2 - o*v**2 + 4*v**2. Is 9 a factor of i(7)?
True
Let i(q) = -4*q + 78. Let v be i(21). Let p(n) = -2*n**2 - 12*n + 13. Does 13 divide p(v)?
True
Let f = -6035 + 13129. Does 27 divide f?
False
Let x(m) = 313*m**3 - m**2 - 4*m - 2. Let h(v) = 2*v**3. Let o(y) = 3*h(y) - x(y). Does 34 divide o(-1)?
True
Let b be (-6)/18 + 2328/(-9). Let v = -239 - b. Does 10 divide v?
True
Let h = -19880 - -27678. Does 14 divide h?
True
Let y(z) = -3*z - 13. Let a be y(-3). Let r be ((27/6 + a)*0)/(-1). Suppose -2*b + 7*o - 3*o = -464, r = -2*o + 2. Is b a multiple of 13?
True
Suppose -i - 3*o = -13884, 2*i + 3*o - 16699 = 11075. Is 87 a factor of i?
False
Suppose -17*n = -27694 - 22907 - 46265. Is 11 a factor of n?
True
Let j(c) = 2*c**3 + 82*c**2 - 93*c - 5. Is 5 a factor of j(-40)?
True
Let y = 3531 - 1599. Does 69 divide y?
True
Suppose -p - 4*r = 127 - 549, 4*p - 3*r - 1650 = 0. Is 23 a factor of p?
True
Suppose 0 = 51*b - 40*b - 72787. Is 30 a factor of b?
False
Let i = 46 - 42. Let u be 42 - (3 + -4)*i. Let c = u - 11. Is 14 a factor of c?
False
Is 6 a factor of (8/((-416)/40131))/((-27)/12 + 2)?
False
Let v(w) be the third derivative of -w**4/2 - 6*w**3 - 731*w**2 - 1. Let i be -2*2/(-6)*-12. Is v(i) a multiple of 10?
True
Suppose 13*i + 1729 = -559. Let g = 267 + i. Is g a multiple of 38?
False
Suppose -3*u - p = -59527 - 89684, 5*p + 99440 = 2*u. Does 52 divide u?
False
Suppose -8*v = 5*v - 20*v + 116480. Is 80 a factor of v?
True
Suppose 5 = 5*j + 5*v, 2*v - 8 = 2*j - 6. Suppose -37*c + 28*c + 162 = j. Is c a multiple of 7?
False
Let i be (((-6)/(-8))/(-1))/((-20)/80). Let h(z) = 15*z - 37 - z**3 + 22 + z + i*z + 15*z**2. Is h(16) a multiple of 4?
False
Suppose 0 = -2*s + 4*s - 4. Let p(n) = 15*n**2 + 7*n - 13*n**s + 10 - 22*n. Is 17 a factor of p(9)?
False
Let x(r) = -7*r - 26. Let i be x(-12). Let l = 71 - i. Suppose -83 = -2*w + l. Does 16 divide w?
True
Let x = 57 - 31. Suppose -2*s - 4*n = -x, -n - 22 = -4*s - 3*n. Suppose -3*w + 540 = s*w. Is 18 a factor of w?
True
Suppose 4*c - 9*c = 0. Suppose 0 = a - 5*m - 24 - 26, c = a + 4*m - 86. Let q = 126 - a. Is q a multiple of 14?
True
Suppose v - 21 = -2*p, 2*v = -v - p + 48. Let l be v*((-36)/(-20) - -4). Let z = -59 + l. Is 14 a factor of z?
True
Suppose 0 = -4*j + a + 42436, -52*j - 4*a = -53*j + 10594. Is 48 a factor of j?
False
Let d(q) = 2*q**2 + 5*q + 5. Let y be d(-2). Is 12 a factor of ((-55)/y)/(16/(-576))?
True
Let c(y) = 5*y**2 + 92*y + 152. Is c(-32) a multiple of 24?
True
Suppose 100 = 10*k - 5*k. Suppose 2*h - k = 6*h. Let u(m) = -2*m**2 - 15*m - 6. Is 19 a factor of u(h)?
True
Suppose r = 4*z - 41603, 5*r = 236*z - 234*z - 20815. Is 15 a factor of z?
False
Let d(v) = 3*v**3 + 4*v**2 - 5*v - 14. Let i be d(-3). Let n = i + 65. Is n a multiple of 16?
False
Let h(x) be the third derivative of -x**5/60 + x**4/24 - x**3/2 - 10*x**2. Let s(v) = v**2 - 2*v + 5. Let y(p) = -10*h(p) - 6*s(p). Does 28 divide y(-4)?
True
Let z(y) = -y - 15. Let q be z(-19). Suppose -q*u + 4*w = -20, 5*w + 28 = 3. Suppose -d + 11*d - 440 = u. Is d a multiple of 11?
True
Suppose -3*v - k = 2*v - 76442, -2*k + 76439 = 5*v. Does 13 divide v?
False
Let o = 3866 - 5668. Let f = -878 - o. Is f a multiple of 14?
True
Let g be (235/25)/(2/5)*-2. Let j = g - -50. Suppose -118 - 302 = -j*a. Is a a multiple of 28?
True
Let n = 56 - 35. Let f be n/(-3)*(-12)/42. Suppose -f*r - 3*r = 4*w - 236, -4*r + 191 = w. Is 16 a factor of r?
True
Let f = -224 - -50. Let z = f - -576. Is z a multiple of 8?
False
Let w(k) be the second derivative of 8/3*k**3 + 0 + 10*k**2 + 34*k. Does 22 divide w(2)?
False
Let s(k) = -k**3 + 27*k**2 - 26*k + 28. Let f be s(26). Suppose f*y = 27*y + 1051. Is 43 a factor of y?
False
Suppose -w - 3*d = -0*w - 3, 2*d - 46 = 3*w. Let g be 2/3*(42 + -39). Is 52 a factor of ((-430)/4)/5*w + g?
True
Let v(o) = 12*o**2 + 78*o - 12. Suppose 282 - 246 = -4*r. Does 19 divide v(r)?
False
Suppose -201*b - 3*h + 2646 = -200*b, 0 = 4*b - 3*h - 10719. Is b a multiple of 14?
False
Let s(i) = 185*i + 249. Does 138 divide s(15)?
False
Let v = -11686 + 13769. Is 51 a factor of v?
False
Suppose 4*h + o + 3 = 0, -3*h = -5*o + 7 + 24. Let c be 0*(h + 0 + 1). Suppose -l + 5*f = -12 - 31, c = -5*l + 3*f + 259. Is l a multiple of 12?
False
Suppose -6*y + 4*y = 7*y. Suppose 9*d + 282 + 42 = y. Let r = 66 + d. Is r a multiple of 6?
True
Let t(h) = -h**2 - 27*h + 22. Let m(n) = n - 30. Suppose 5*w - 50 = -5*y, -3*y + 2*w + 11 = -34. Let a be m(y). Is t(a) a multiple of 12?
True
Suppose 0 = -13*g + 6*g + 35. Let a(l) = 50*l - 140. Is a(g) a multiple of 49?
False
Let y be (-62)/(-93) - (-1694)/(-3). Let r = -387 - y. Let u = r - 56. Does 45 divide u?
False
Suppose 0 = -379*q + 1949390 + 4288844 - 1482163. Does 47 divide q?
True
Let h(r) = 2*r**2 - 8*r + 23. Suppose -1 - 7 = -2*b. Let y be 468/52 - (-1 + b - 0). Is h(y) a multiple of 47?
True
Is 103 a factor of (-86511)/(-30) + (-84)/(-240)*(-36)/(-42)?
True
Suppose 3*p + 2*p + 30 = 0. Let r be (446 + p - 5)*5/3. Suppose -5*a + a + r = 5*k, 715 = 4*a + 3*k. Is a a multiple of 38?
False
Let h(a) = a**3 + 12*a**2 + 11*a + 6. Let u be h(-11). Let s(y) = 13 - 13 + 37 - 9 + 7*y. Is s(u) a multiple of 14?
True
Let b(x) = -16*x + 48. Let u be b(3). Suppose 0 = f - v - 1004, 4*v - v + 15 = u. Is f a multiple of 27?
True
Let i be (-222)/(-2) + 3 + (1 - 2). Let v = 126 - i. Is 3/(2/(-72)*(-14 + v)) a multiple of 54?
True
Let i be (1/3)/(0 - 5/(-90)). Suppose -2*s + i = 2. Is 12 a factor of (3/s)/(1/24*2)?
False
Suppose 5*f - 12446 = -158*c + 155*c, -2*f - 3*c + 4982 = 0. Does 4 divide f?
True
Let h = 1573 + -1119. Let x = -359 + h. Does 19 divide x?
True
Suppose -44*s = 9*s - 18868. Suppose 2*j + 448 = -0*j. Let t = s + j. Is 11 a factor of t?
True
Let z = 16 - 7. Suppose 5*w - 3235 = -z*s + 4*s, -5*s = 3*w - 1943. Is 11 a factor of w?
False
Let m = -12 - 35. Let s = 41 + m. Is 26 a factor of 9/s*-2 + 81?
False
Let j(h) = -31 + 13 + 20 - 85*h. Let m be j(1). Let r = 49 - m. Does 17 divide r?
False
Let g(k) = 418*k - 1374. Is g(17) a multiple of 15?
False
Suppose -4*l + 5*i + 8 = 0, 4*i + 10 = 5*l + 5*i. Suppose 4*n - 44 = l*s, 4*s - 5*n + 126 - 26 = 0. Let y = s - -60. Is y a multiple of 10?
True
Let d(a) = -8*a**3 - 526*a**2 + 95*a - 99. Is 33 a factor of d(-66)?