9. Let n be 1*((-12)/y + (-26)/(-5)). Suppose -n*b - 4*j + 225 = -j, 4*j = b - 22. Is b a multiple of 21?
True
Let h = -3019 - -6701. Does 14 divide h?
True
Suppose 3*t - 27833 - 12971 = -4*g, 27221 = 2*t - g. Is t a multiple of 56?
True
Suppose -8*d + 10*d - 4 = 0. Suppose -3*w + 0*b = b - 813, d*b = 5*w - 1366. Is w a multiple of 16?
True
Let u = -462 - -450. Is 29 a factor of ((-9336)/(-20))/(9/((-270)/u))?
False
Suppose h - 4*h - m + 72 = 0, 0 = h - 4*m - 37. Let c = -32 + h. Let f(b) = -b**3 - 5*b**2 + 7*b - 10. Does 13 divide f(c)?
True
Suppose -5*z + 15 = -2*r, -3*z + 4*r = 2*r - 9. Suppose 0 = -5*k - 2*w, -5*k - z = -4*w - 33. Is 13 a factor of k + 22/(-8) + 1835/20?
True
Suppose t + 3*h + 757 = 0, 0*t - 5*t - 3728 = -4*h. Let m = 1364 + t. Is m a multiple of 55?
False
Suppose 17 - 17 = -2*i. Suppose -528 = 4*k - i*k. Let o = 6 - k. Is 23 a factor of o?
True
Suppose -6*b + 1134 = 162. Suppose -3*z + 0*z = -b. Is 6 a factor of z?
True
Suppose -3*k - 2 = -14, -4*a + 348 = 5*k. Let y = 89 - a. Let m(q) = q**3 - 5*q**2 - 4*q - 21. Does 7 divide m(y)?
True
Let b = 10089 - 2081. Is b a multiple of 32?
False
Let u(t) = -t**3 + 4*t**2 + 6*t + 1. Let y be u(5). Is (4116/(-112))/(y/(-16)) a multiple of 27?
False
Let r be 15/25 + 44/10. Suppose 4*q - 20 = 0, -851 = 4*z - r*z - 3*q. Is 76 a factor of z?
True
Suppose 183 = 5*n - 22. Let f = -29 + n. Suppose -14*c + 44 = -f*c. Does 3 divide c?
False
Let t(m) = -m**2 + m - 11. Let x be t(9). Suppose -7*p + 16*p - 855 = 0. Let f = p + x. Is 2 a factor of f?
True
Let j = 47 - 46. Suppose 6*p - 11 = j. Suppose -k + 5*i + 61 = -0*k, p*k - 4*i = 146. Does 17 divide k?
False
Suppose -3*q + 201 = -123. Let x = q - 88. Suppose -x*s + 66 = -9*s. Is 3 a factor of s?
True
Let a = -6 - -10. Suppose -3*b - 2*b = a*k - 1371, 4*k = -2*b + 546. Let m = b + -159. Is 31 a factor of m?
False
Let t(l) be the second derivative of l**4/6 + 5*l**3/2 - 7*l**2/2 - 4*l. Let h be t(-8). Let w(f) = 8*f**2. Does 4 divide w(h)?
True
Let s(f) = -f**3 - f**2. Let d(w) = 8*w**3 + 16*w**2 - 11*w + 4. Let u(o) = -d(o) - 9*s(o). Let k = -15 + 23. Does 31 divide u(k)?
False
Let o = -30 + 12. Let b(g) be the third derivative of g**5/60 + 17*g**4/24 + g**3/3 - 20*g**2. Is 10 a factor of b(o)?
True
Let n be (-4)/6 + (-24)/(-9). Let f(l) = -l**3 - 14*l**2 - 13*l + 4. Let o be f(-13). Suppose -3*p + 18 = n*r, 0 = 4*p + r + o*r - 31. Is p a multiple of 3?
False
Suppose 3*j - 18181 = -5*z, 0*j + 3 = -j. Suppose 79*y - 96*y = -z. Is y a multiple of 14?
False
Let w be 2 - 1/((-5)/20). Suppose -5 = -w*c - 89. Let n = c + 66. Does 26 divide n?
True
Is 33922/((-55)/(99/9) - -6) a multiple of 14?
True
Let y be (-11)/(4/(-40)*2). Let b be 22/y - (-4)/(-10). Suppose -5*r - 7 + 182 = b. Is 4 a factor of r?
False
Let r = 1878 - 1164. Is 12 a factor of 838/14 + 102/r?
True
Let q(l) = -l**3 - 10*l**2 - 5*l - 48. Let u be q(-10). Does 5 divide 503/u - 2/(-4)?
False
Is ((-96)/128)/(3/(-27868)) a multiple of 83?
False
Suppose 6*f = g + 11*f - 1429, 4*f + 16 = 0. Let v = g - 799. Is v a multiple of 65?
True
Does 129 divide (408/(-680))/(2/((-94130)/3))?
False
Let b(f) = f**2 - 21*f - 17. Let y be b(21). Is 42 a factor of (-2)/y + 13248/102?
False
Let k be (-16)/(-12) + (-2)/6. Is ((-60)/14)/(k - 29/28) a multiple of 15?
True
Let m = 1306 - 647. Let d = 1283 - m. Is 14 a factor of d?
False
Let g(u) = -u**3 + 8*u**2 - u + 3. Suppose 0*k - 4*l + 16 = 2*k, 6 = -3*k + 4*l. Let v be ((-68)/85)/(k/(-10)). Does 20 divide g(v)?
False
Suppose 0 = 11*f - 4*h - 5004, 0 = 5*f - 3*h + 5*h - 2286. Is 14 a factor of f?
False
Is 10 a factor of (145/290)/((-2)/(52552/(-2)))?
False
Suppose -5*s - 4*x + 10774 = 3579, 2*x = 0. Let z = s - 921. Is z a multiple of 81?
False
Is (5/(-2) - (-28)/(-56)) + 2072 + 1 a multiple of 10?
True
Suppose 5*g = 3*w + 111749, 4*g - 3*w = -0*g + 89395. Is g a multiple of 54?
False
Suppose -3*h - 3*d - 1275 = 0, -3*h = -5*d + 662 + 629. Is 2*(1 - (h + (-3 - 3))) a multiple of 31?
True
Suppose -4 = 3*r - 4. Suppose 2*m = -3*m + 45. Suppose m*o - 480 - 204 = r. Is o a multiple of 17?
False
Let q be 2 + 0 + (0 - -2 - 0). Let m be (-1)/q + (-42)/(-8). Suppose 0 = m*b + 5*c - 55, 4*b + c = 5*b - 21. Does 9 divide b?
False
Let l(v) be the third derivative of v**5/20 + 19*v**4/12 - 7*v**3/2 + 13*v**2 - v. Is l(-19) a multiple of 17?
True
Suppose j = 4*z - 1128, z + 271 = 2*z - 3*j. Suppose -z - 143 = -2*a. Is 9 a factor of a?
False
Suppose 5*l - 29 = -3*z + 21, 25 = 5*z. Suppose l*q = 4725 + 1260. Is 45 a factor of q?
True
Suppose -4*r + 18346 = l, l - 5*l + 13753 = 3*r. Is 39 a factor of (-8)/(-40) - r/(-15)?
False
Let c(o) = -o**2 - 32*o - 30. Is c(-20) a multiple of 7?
True
Let o(j) = -2*j**3 - 4*j**2 - 13*j - 16. Let k(u) = -u - 1. Let z(g) = -6*k(g) + o(g). Does 11 divide z(-5)?
False
Is 176 a factor of -20*(-4)/(-24)*-264?
True
Suppose -1656*i + 1639*i + 371722 = 0. Is 58 a factor of i?
True
Is 21 a factor of (-15)/2*(9904/(-120))/((-3)/(-54))?
False
Let y = 629 + -561. Is y a multiple of 17?
True
Suppose -343*l + 341*l - 8 = 0, 0 = -2*t + 5*l + 11744. Is 34 a factor of t?
False
Suppose -2*n + 2568*o = 2567*o - 2359, -14 = 2*o. Is 4 a factor of n?
True
Suppose 3*h - 2*h = 4. Let l be ((-4)/((-48)/4))/(14/84). Does 11 divide 105/((-2)/h + l)?
False
Let r(a) = a**2 + 2*a + 858. Suppose -2*i = w + 4, 0 = 4*w - 3*i + i - 4. Is 11 a factor of r(w)?
True
Suppose -3*f + 101 - 8 = 0. Suppose -17*q + f*q - 3850 = 0. Is 54 a factor of q?
False
Suppose -5514 = -5*h - 4*v, -4106 = 16*h - v - 21806. Does 6 divide h?
False
Is (84 - -86)*(494/4 + 0) a multiple of 221?
True
Let o(f) = 4*f**2 - 30*f - 195. Does 57 divide o(-9)?
True
Let t = -55 - -58. Suppose i + r = -0*r + 18, -2*i + t*r = -56. Is 22 a factor of i?
True
Suppose 31 = 21*z + 10. Let l(r) be the first derivative of 52*r**3 - 2*r**2 + 5*r - 1. Is 24 a factor of l(z)?
False
Suppose t - 19 = -3*j, 18 = 5*j + t - 13. Let x be 835/20 + 4 + j/(-8). Let d = x + -21. Does 4 divide d?
True
Suppose 4*x - 4 = 0, 158 = m + 4*x - 7. Let j be (-41 + 2)/((-51)/(-136)). Let c = m + j. Does 13 divide c?
False
Suppose -4*a - 3*s + 96345 = 0, -120384 = 13*a - 18*a + 3*s. Is 14 a factor of a?
False
Suppose 3*u = -5*p + 51755, -55058 = -4*u + 4*p + 13938. Suppose -u = -32*v + 7*v. Does 23 divide v?
True
Suppose 2*k - 12 = -3*r + 5*k, -5*r = 4*k - 2. Suppose -1 = -i + r. Suppose -i*g + 0*g = -12, x - 70 = 2*g. Does 29 divide x?
False
Let j be (-168)/((-6 - -5 - 0)/1). Suppose 5*z = -3*y + 478, -4*z + 214 + j = 2*y. Is z a multiple of 46?
False
Does 351 divide 68638/(11 - 9) + -10?
False
Suppose 7*t - 11 = 17. Suppose t*s = 2*n - 106, -3*n - 48 + 157 = 4*s. Let w = n - -9. Is 9 a factor of w?
False
Let m(h) = -h**2 - 24*h + 54. Let s be m(-24). Let l = 104 - s. Is l a multiple of 3?
False
Let x(f) be the first derivative of -19/3*f**3 + f**2 + 1/4*f**4 - 26*f + 13. Does 4 divide x(19)?
True
Let x be (2235/4)/5 - (-2)/8. Suppose 12*u = 5*u - x. Is 18 a factor of 22 - (-7)/(28/u)?
True
Suppose 23*z - 20*z - 4914 = -3*d, 4*z = 4*d - 6560. Is 12 a factor of d?
False
Let d = -109 + 109. Let u(v) = v - 2. Let a be u(d). Is 25940/90 - a/(-9) a multiple of 48?
True
Let x = 111 - 111. Suppose -2*j + u = -u + 202, -4*j - 5*u - 377 = x. Let a = j - -114. Is 8 a factor of a?
True
Is 66596/30 + 4/30 a multiple of 6?
True
Suppose 386*g = 369*g + 34. Let h(m) = -6*m + 1. Let t be h(-1). Suppose 0 = -5*b + t*c - 3*c + 308, 0 = -g*b - c + 118. Is 10 a factor of b?
True
Let p(x) = 1111*x**2 + 187*x + 376. Is 31 a factor of p(-2)?
False
Let b(s) = -5*s - 27. Let v be b(-6). Let j be (-357)/(-2) + v/(-6) + -2. Let d = j - 118. Does 29 divide d?
True
Suppose -9*c + 14741 = -1675. Suppose 181*k = 177*k + c. Is 12 a factor of k?
True
Suppose -5*b + 11 = -2*d - 20, b = 5*d + 20. Suppose 2*v = b*g + 203, 0 = 2*v + v + 5*g - 317. Let a = 254 - v. Does 22 divide a?
False
Let s = -65 - -78. Suppose -s*v = -11*v - 592. Is 37 a factor of v?
True
Let b(z) = 3*z**2 + 19*z - 116. Is b(32) a multiple of 9?
True
Let t be (-2)/(-3) + (-1922)/(-6). Suppose -4*s - 20 = 0, 0*s = 4*u + 3*s - t. Does 5 divide u?
False
Let w(b) = b**3 - 12*b**2 + 11*b - 8. Let p be w(11). Let h be ((-3)/2)/(p/((-1120)/15)). Does 6 divide (-6)/21 + (-1096)/h?
True
Let v(a) = a**