 9. Suppose 2*a + 40 - 5 = q*l, -4*l = 5*a + 5. Is 13 a factor of (-587)/a - (-12)/(-30)?
True
Let f(c) = 4 + 2*c**2 + c - 2 + 3 - 3*c. Does 12 divide f(4)?
False
Suppose 51*r = 29122 + 49367. Is r a multiple of 27?
True
Let q(k) = 3*k - 21. Let a be q(8). Suppose -119 = -o - r, a*o - 358 = -2*r - 0*r. Is o a multiple of 15?
True
Suppose -2*p = -5*s + 2, 0 = -s - 0*p + 5*p - 18. Suppose -13650 = -49*q + 14*q. Suppose -q + 118 = -s*o. Does 34 divide o?
True
Let m(t) = 70*t**2 - 4*t - 4. Let f(r) = r**2 + 7*r - 19. Let x be f(-9). Is 7 a factor of m(x)?
True
Let b be 10*1/(25/(-16))*-5. Is (b/36)/(-4) - 652/(-18) a multiple of 2?
True
Let i = 372 - 363. Does 9 divide i?
True
Let u be 0 + 2 + -1 + -12. Let c(k) = 10*k - k**2 + 2*k**2 + 11 + 0. Is 11 a factor of c(u)?
True
Let v = 332 - 330. Let z = -108 - -155. Suppose -b + 25 = l, v*b + 5*l - z = -0*b. Is 13 a factor of b?
True
Suppose -3*f + a + 10 = 0, 3*f - 22 = 4*a - 0*a. Suppose c = -4 + f. Is ((-6)/(-18))/(c/(-120)) a multiple of 8?
False
Let b(w) = w**3 - 4*w**2 - w + 2. Let r be b(4). Let z be -3*(15/9 + r). Does 9 divide -27*(1 + z + -3)?
True
Suppose -120*g + 112*g + 456 = 0. Is g a multiple of 13?
False
Let y(w) = -23*w - 17. Is 9 a factor of y(-7)?
True
Let l = 182 + -136. Is l a multiple of 11?
False
Let r(s) = 2*s**2 - s + 2. Let h be r(1). Suppose -440 = a - h*b - b, 5*b = a + 439. Is a/(-14) - (-2)/7 a multiple of 9?
False
Suppose 0 = -5*q + 4*q + 5, 4*q + 335 = 5*n. Let g = 137 - n. Is g a multiple of 11?
True
Let m be -1 + -1 - (-3 - 3). Suppose -146 = -s + m*i, 0*s + 3*i = -s + 132. Is 45 a factor of s?
False
Suppose -99*y - 11212 = -76948. Is y a multiple of 4?
True
Suppose 0 = 3*g - 6*g + 9. Suppose -g*w + 61 = -59. Does 16 divide w?
False
Let q(f) = -5*f + 5*f**2 + 4*f - 4*f**2 + f**2. Let s be q(-1). Suppose 4*o - s*t = 90, 3*t = -3*o + 65 + 13. Is o a multiple of 6?
True
Suppose 5*k = 144 - 24. Let d(n) = n**3 - 24*n**2 + 4*n - 42. Is d(k) a multiple of 24?
False
Let d be 1098/(-8) + 22/88. Let r = d - -66. Let w = 119 + r. Does 13 divide w?
False
Let z = 23 - 37. Let o = z - -16. Is 8 a factor of 3/(140/64 - o)?
True
Let r be (-2*4)/((-3)/6). Let s be r*-1 + (-7 - -10). Let v = -10 - s. Does 2 divide v?
False
Suppose 10*i + 2941 = 14941. Is i a multiple of 7?
False
Suppose 7*d - 1098 - 162 = 0. Does 10 divide d?
True
Suppose -s = 2*s + s. Let h(n) = -n**3 - n**2 - n + 21. Is h(s) a multiple of 6?
False
Suppose 98 + 898 = 3*z. Does 11 divide ((-4)/8)/((-2)/z)?
False
Suppose 2898 = 7*b - b. Does 38 divide b?
False
Let r(o) be the first derivative of 3*o**2/2 + 196*o - 8. Does 19 divide r(0)?
False
Suppose 2*l = -92 - 98. Let w = -48 - l. Is w a multiple of 12?
False
Let z(s) = -2*s**2 + 73*s + 34. Is 15 a factor of z(16)?
True
Let l(m) = -m + 25. Let j be l(0). Let s = j - -14. Suppose -3*v = -4*v + s. Is 17 a factor of v?
False
Let f(u) = -u**3 - 14*u**2 - 5*u + 58. Is 6 a factor of f(-17)?
False
Let y = -860 - -1484. Is 26 a factor of y?
True
Suppose 0*g = -3*p - 2*g - 4, 4 = -2*p - 2*g. Is 1 + p + 7 + 46 a multiple of 9?
True
Suppose -2476 = -7*x - 999. Is 9 a factor of x?
False
Let n(y) = 1097*y - 256. Is 22 a factor of n(1)?
False
Let j(v) be the third derivative of -v**4/24 - v**3/3 + 9*v**2. Let w be j(1). Is 15 a factor of ((-67)/w)/((-6)/(-18))?
False
Let w be -3 + 2 + -201 + (-2)/(-1). Let c = -136 - w. Does 16 divide c?
True
Let t be 2*3*((-76)/24 + 3). Does 6 divide ((-657)/(-15) - 2) + t/(-5)?
True
Let s(w) = 2*w + 6. Let n(y) = 5*y**2 - 7*y - 9. Let l(u) = -3*u**2 + 4*u + 5. Let r(j) = -7*l(j) - 4*n(j). Let g(v) = 4*r(v) - s(v). Does 6 divide g(2)?
False
Let b(v) = 2*v**2 + 5*v + 139. Is b(27) a multiple of 94?
False
Let g be (-4)/((-7 - -2) + 4). Suppose 0 = q + g*q - 20. Suppose q*a - 9*a = -105. Is a a multiple of 9?
False
Suppose -4*g = -9*g - 85. Let a = 19 + g. Suppose -6*y + 48 = -a*y. Is y a multiple of 9?
False
Let m = 589 + -533. Is 6 a factor of m?
False
Suppose 2*k - 5*k = 0. Suppose -4*y + 9*y - 20 = k. Suppose y*h - 2*n = 15 + 27, h - 5*n = -3. Is 6 a factor of h?
True
Suppose 4*n = 3*n - 3*m + 4, -5*n = -5*m - 80. Does 4 divide n?
False
Let z = 125 + -33. Suppose 6*b - 2*b - z = 0. Is 18 a factor of b?
False
Suppose s + 3*x = 0, 2*s + x + 10 = 30. Let q be (-4)/(-14) + s/7. Suppose 0 = i + q*w - 18, -4*i = w - 6 - 73. Is i a multiple of 10?
True
Let v(y) = 15*y**2 + 15*y + 50. Does 50 divide v(-6)?
True
Let w(s) be the second derivative of -45*s**3/2 + 3*s**2 - 20*s. Is w(-2) a multiple of 25?
False
Let u be (13 - 0)/((-9)/(-9)). Let l(q) = -q**3 + 14*q**2 - 5*q + 19. Does 20 divide l(u)?
False
Suppose s + 4*a + 64 = 311, -1006 = -4*s + 2*a. Does 3 divide s?
False
Suppose 5*j - 94 = 3*b - 0*b, 3*b + 95 = 4*j. Let v = 24 - b. Suppose v = -5*d + 297. Does 26 divide d?
False
Let i(f) = f**3 - 12*f**2 - 8*f - 9. Let r(y) = -6*y**3 + 61*y**2 + 39*y + 46. Let c(m) = -11*i(m) - 2*r(m). Does 14 divide c(-6)?
False
Let y(u) = -78*u + 3. Let i(r) = -r. Let d(c) = 3*i(c) + y(c). Does 15 divide d(-2)?
True
Let y = 5 + -9. Let z be -6*(-2)/y*-9. Suppose -4*l + z = -33. Does 15 divide l?
True
Let x be 12/(-3) - 6/(-2). Is 2/x*(-72)/16 a multiple of 5?
False
Let z be 0/(12/(-3) + 6). Suppose z = -v + 3*v + 8. Is 16 a factor of 53 - (3 - 4)*v?
False
Let u(l) be the third derivative of -l**4/24 - 2*l**2. Let g be u(5). Let v(m) = -m - 2. Does 3 divide v(g)?
True
Suppose 0 - 8 = -2*z - q, -4*q = -2*z + 18. Let a(u) = -u + u**3 + 3*u - 3*u**2 - z*u. Is 14 a factor of a(5)?
False
Suppose 12039 = 3*k + 1485. Is 23 a factor of k?
False
Let a(q) = -2*q**2 - q - 5. Let u be a(6). Let z = -28 - u. Is z a multiple of 15?
False
Let n = -95 + 99. Let u(y) = 7*y**2 - 3*y - 6. Is u(n) a multiple of 18?
False
Let z = 599 - 202. Suppose 675 = -2*l + 7*l - 5*r, -3*l - r + z = 0. Is l a multiple of 32?
False
Let p = -15 - -17. Suppose k + 47 = p*m, 3*k - 96 = -3*m - 21. Let n = m - 19. Is n even?
False
Let c be ((-21)/(-6))/(2/20). Let q be 7/(c/20) - -47. Suppose -191 = -5*m - q. Is m a multiple of 28?
True
Suppose -2*o + 7 = -5. Let x be (o/(-7))/(3/84). Is 15 a factor of 50/(-4)*x/6?
False
Let g = 13 + -9. Suppose g*t - 6 = t. Suppose 4*k - 126 = -0*h + t*h, -k + h = -32. Does 8 divide k?
False
Let z(a) be the second derivative of a**3/3 - a**2/2 - 2*a. Let p(f) = 4*f - 3. Let l(x) = 2*p(x) - 5*z(x). Is l(-5) a multiple of 5?
False
Let j be (0 + 11)/((-12)/(-156)). Suppose -5*k = -5*a + 365, -a = -3*a - k + j. Is 8 a factor of a?
True
Suppose 88*v = 59*v + 71514. Is 137 a factor of v?
True
Let w(u) = -2*u - 6. Let z be w(-6). Suppose -21 = -j - z*j. Is j even?
False
Let y(r) = -28*r**3 + 4*r**2 + 4*r - 1. Does 38 divide y(-2)?
False
Let q(w) = 110 + 0*w**2 + 15 + 28 + w**2. Is 17 a factor of q(0)?
True
Let r = 33 - 47. Let q(o) = o**2 + 10*o - 20. Does 11 divide q(r)?
False
Suppose 27 = 5*o + 7. Suppose -3*f = -3*p + 60, -43 = -2*p + o*f - f. Is 15 a factor of p?
False
Let f = -57 - -66. Let g(s) = -s**3 + 10*s**2 - 8*s + 11. Is 5 a factor of g(f)?
True
Let b be 3/(1 + (-2)/8). Let i(w) = 2*w - 22. Let u be i(12). Suppose 46 + u = b*j. Does 12 divide j?
True
Suppose 4*i + 514 = 2*c, -c + 242 = -0*c + i. Does 13 divide c?
True
Let p(d) = -d**3 + 6*d**2 + 6*d - 1. Let t be p(6). Let a = t - 21. Does 7 divide a?
True
Let k(r) = r**3 + 2*r**2 + r + 1. Let g be k(-2). Let n be 2 - (-2)/g - 17. Does 8 divide n*(-7)/(7/2)?
False
Suppose -1929 + 7929 = 8*c. Is c a multiple of 6?
True
Suppose 0 = 3*x, -3*b = -7*b - x. Suppose 0 = -3*d, -5*s + b*d - 4*d + 240 = 0. Is s a multiple of 16?
True
Let d(p) = 3*p + 245. Let z be d(0). Let x = z + -161. Does 12 divide x?
True
Let r be ((-520)/(-30))/(6/1359). Suppose -u = -14*u + r. Does 22 divide u?
False
Let r = 4 + 94. Let y be 4/(-6) - r/(-3). Suppose 5*z - 68 = y. Is z a multiple of 20?
True
Suppose -12 = -w - 2*f - 0*f, 4*f + 36 = 3*w. Let x = w - -12. Is 8 a factor of x?
True
Suppose s - c - 273 = 0, -233 = -s - 4*c + 35. Is 46 a factor of s?
False
Suppose 2*c + 3 = 7. Suppose -3*s = 5*y + 211, -s - c*s - 170 = 4*y. Let x = -11 - y. Does 15 divide x?
True
Suppose 3*z - 3374 = i - 6*i, 0 = 3*z + 6. Is i a multiple of 13?
True
Suppose 16 = -4*t + 5*z, 7*t - 2*t = -z - 20. Let j = 10 + t. Is 17 a factor of (-5)/(-10) - (-297)/j?
Fals