9. Let v be m(-12). Suppose -v*a + 5362 + 20 = 0. Does 23 divide a?
True
Let k = -297 + 313. Suppose 4*v - k = 244. Is 9 a factor of v?
False
Suppose 26*o + 10663 - 68149 = 0. Is 67 a factor of o?
True
Let r be 8/(-36) + 1 + (-74)/(-9). Suppose 3780 = 18*b - r*b. Suppose -33*v + b = -29*v. Does 37 divide v?
False
Is (1*-659)/((-4)/28) a multiple of 55?
False
Suppose -26*t = 6710 - 71138. Does 45 divide t?
False
Let a(z) = 1 + 3 + 1 + 8*z**2 - 5*z + z**3. Let x be a(-7). Suppose 4*q - x = -25. Is q a multiple of 4?
True
Let z(f) = -20*f - 1. Let v(n) = -14*n + 5. Let i(d) = -209*d + 76. Let r(b) = -5*i(b) + 76*v(b). Let s(j) = -3*r(j) + 2*z(j). Does 9 divide s(3)?
False
Let o be (-1 - -5 - -5)*1. Suppose 0 = -2*c + o - 3. Is 20 a factor of (67 - -3)/(c/6)?
True
Suppose -307136 = -100*g + 409064. Does 24 divide g?
False
Let k(g) = -8*g + g**3 + 6 + 0 + 14 + 17*g**2. Suppose -w = 3*y + 3*w + 71, 0 = -2*w - 10. Does 18 divide k(y)?
False
Let c(j) be the third derivative of j**5/5 - j**4/24 + j**3/3 - 34*j**2. Does 15 divide c(-1)?
True
Suppose -5*v + 4*y - 22 = -0*y, 4*v + 4*y - 4 = 0. Suppose -19*l = -5*l - 1148. Let w = v + l. Is w a multiple of 20?
True
Let g(h) = -200*h + 62. Is g(-25) a multiple of 2?
True
Suppose 10*t = 9*t - 4. Let x be t*3/(-2) + 16 + -15. Let o = 67 - x. Does 12 divide o?
True
Suppose -22*t + 18*t + 5*o = 13, -5*t = -2*o - 5. Let a(y) = -22*y + 28. Let q(c) = 11*c - 14. Let w(h) = -3*a(h) - 5*q(h). Is 19 a factor of w(t)?
True
Is 16061 - 5/(10/(-8)*(0 + -4)) a multiple of 44?
True
Let a(b) = 11*b**2 + 35*b + 62. Let u(z) = 6*z**2 + 17*z + 30. Let y(x) = 3*a(x) - 5*u(x). Is 34 a factor of y(-10)?
True
Let a(x) = x**3 - 18*x**2 - 19*x + 4. Let m be a(19). Suppose 0 = m*o - 5*b + 3*b - 2020, 2*o - 5*b = 1002. Is 11 a factor of o?
True
Let v(f) = 5*f + 1. Let s be 0 + 2/6 + 14/21. Let d be v(s). Suppose 4*h + n - d*n - 50 = 0, 3*h - n = 43. Is h a multiple of 3?
True
Suppose -5*t = 4*r + 24, -5*r = -3*t - 9 + 2. Let j be 1/t - 2277/12. Is (-2)/(16/j) - (-24)/96 a multiple of 8?
True
Let h(r) = -2*r**2 + 51*r + 32. Let l be h(26). Suppose 0 = v - 4*s + 2*s - l, -s - 3 = 3*v. Suppose -8*z + 54 + 34 = v. Is 3 a factor of z?
False
Let d(b) be the first derivative of -b**2 - 2*b - 52. Is 20 a factor of d(-31)?
True
Let y(b) = b**3 + 14*b**2 - 20*b - 28. Let c be y(-15). Let a(j) = 2*j**3 - 94*j**2 + 11*j - 69. Is 48 a factor of a(c)?
False
Suppose 0 = -7*z + 176 - 15. Suppose 40*n - 3502 = z*n. Is n a multiple of 11?
False
Suppose -29*c = -24*c - 20160. Is 6 a factor of c?
True
Suppose -18*v = -24483 - 7773. Suppose -20*s + v = -4*s. Does 27 divide s?
False
Let l(v) = 3100*v**2 + 9*v - 7. Is 33 a factor of l(1)?
True
Let j(l) = 2*l**2 - 5*l + 12. Let w(k) = 4*k + 7. Let n be w(0). Let r be j(n). Suppose -7*a + 3*a = 5*p - 162, 0 = -3*p + 5*a + r. Is 30 a factor of p?
True
Is 14830 - ((-65)/(-13) + -23) a multiple of 16?
True
Suppose 11363 - 1786 = 5*b + 4*y, 0 = -4*b + 4*y + 7676. Is 23 a factor of b?
False
Suppose 26*t + 3526 = 28*t. Let d = t + -995. Is d a multiple of 64?
True
Suppose 99*l = 325130 + 498154. Is 63 a factor of l?
True
Suppose 57 - 3 = 27*t. Suppose t*b - 1088 = -2*j, 2*j + b = 1638 - 554. Is 15 a factor of j?
True
Let x = -6051 + 20282. Is 12 a factor of x?
False
Let r = -17 - -15. Let z be -3 - (-18 - (r - (-1 + -2))). Suppose z = 7*n - 12. Is 4 a factor of n?
True
Let u(m) = 2*m**2 - 6*m - 5. Let g be u(4). Let z(c) = -3*c**g - 16*c**2 + 4*c**3 - 26 + 5*c + 16*c**2 - 11*c**2. Is 29 a factor of z(11)?
True
Let c(r) = 385*r - 19. Does 26 divide c(17)?
True
Let o(n) be the third derivative of 209*n**6/120 - n**5/6 + n**4/2 - n**3/6 + 141*n**2. Is o(1) a multiple of 76?
False
Suppose 58 = 5*k + 208. Let c be (-195)/k - 1/2. Is ((-2)/c)/((-23)/621) a multiple of 2?
False
Let r(v) = v**3 + 18*v**2 + 14*v + 9. Let f be r(-9). Suppose 4*l + w - f = 0, 4*l - 628 = 9*w - 6*w. Is l a multiple of 7?
True
Suppose 14*o - 22*o = 3032. Let w = o - -973. Is w a multiple of 33?
True
Let s = 472 - -2164. Is s a multiple of 10?
False
Let d be 2/14 + (-921)/(-21) + -5. Suppose 313 = -12*p + 61. Let o = d + p. Is 8 a factor of o?
False
Suppose -439*l + 199044 = -403*l. Does 89 divide l?
False
Let k(v) = 18*v**2 - 2*v - 3. Let w be k(-1). Let z be 13 - w - (-8)/1. Suppose 3*g + 429 = 3*b - 54, -3*b - z*g = -469. Is 41 a factor of b?
False
Let n = 2 + 6. Suppose o + 4*j - 19 = 0, -n*o + 4*o - j = -16. Suppose -3*b - o*b = -126. Is b a multiple of 2?
False
Let p(l) = -3*l + 7. Let b(a) = 7*a**2 - 4. Let i be b(2). Let f = 14 - i. Is p(f) a multiple of 6?
False
Let q(n) = -n**2 + 9*n + 1. Let g be q(9). Let s be (0 - g) + (34/2 - 2). Suppose 3*h = s*h - 605. Is h a multiple of 12?
False
Let y = 99 + -69. Suppose 29*i - y*i = 0. Suppose i = 4*u - 215 - 33. Is 5 a factor of u?
False
Let p be ((-10)/8)/((-18)/(-1224)). Let a = 56 - p. Is 5 a factor of a?
False
Let g(d) = 2*d**2 - 15*d + 2. Let o(k) = 2*k**2 - k + 1. Let i(u) = -g(u) + 5*o(u). Does 25 divide i(-7)?
True
Let m = 99 - 68. Let z = -77 + m. Let t = z + 48. Is t even?
True
Suppose -18*k = -17*k + 77. Let y = 145 + k. Is y a multiple of 17?
True
Let m = 7 - -38. Let r = m + 7. Let u = r + -30. Is 6 a factor of u?
False
Let n(b) = 2 - 37*b + 0 - 1. Let j(h) = 2*h**2 + 28*h - 104. Let k be j(3). Is 12 a factor of n(k)?
False
Let k = 6799 + -4135. Is 74 a factor of k?
True
Let y be (8/6)/((-6)/189). Let h(w) = -w**3 - 10*w**2 + 14*w + 31. Let k be h(-10). Let c = y - k. Is 4 a factor of c?
False
Is 243354/24 - (-162)/72 a multiple of 9?
False
Let n(j) = -5 - 3*j - 7*j - j. Let f be -4 - ((-82)/(-123))/((-2)/3). Is n(f) a multiple of 28?
True
Let g = -976 + 1178. Let h(d) = d + 11. Let m be h(-7). Does 4 divide m/24*g - (-4)/3?
False
Is 91 a factor of 35855553/3487 + 4/11?
True
Let d = -6599 + 8287. Is d even?
True
Let t(u) = -u**3 - 2*u**2 + 102*u - 30. Is 9 a factor of t(-13)?
False
Let s = 12 + 72. Let x = 140 - 99. Let p = s - x. Is p a multiple of 31?
False
Is 22 a factor of 13710558/1222 + 3/13?
True
Suppose 10 = -5*h, -2*w + 0*w + 4*h + 78 = 0. Suppose 0 = 3*g + 6, 0*s + 5*g + w = -5*s. Does 26 divide 6/(-10) + (-393)/s?
True
Suppose 3*z + 2*b - 248 = 0, -2*z + 3*b + 51 + 110 = 0. Suppose -87*l + 275 = -z*l. Is 9 a factor of l?
False
Let d = -43 - -44. Let w = 465 + -678. Does 18 divide ((-5)/(-15) - d)*w?
False
Let p(y) = 3*y**3 - 310*y**2 + 109*y - 201. Does 8 divide p(103)?
False
Let f = 18379 + -12139. Does 32 divide f?
True
Suppose -13*g = -48 + 61. Let q(l) = 434*l**2 - 3*l - 3. Is q(g) a multiple of 62?
True
Suppose -13*k = -8*k - 175. Does 7 divide (-2925)/(-35) + (-20)/k?
False
Suppose z - 1 = 6. Suppose 18 = z*g - 16*g. Is 4 a factor of 2090/76 + g/(-4)?
True
Is 10740/18 - -19 - (-1)/3 a multiple of 14?
True
Suppose 5*p + 28 = 3*v, -v + 20 = 4*p - 3*p. Suppose 272 + 76 = 3*f. Let g = f - v. Does 32 divide g?
False
Let r(g) = -g**3 + 2*g**2 + 4*g + 7. Suppose 0 = 13*u + 18 + 21. Is 13 a factor of r(u)?
False
Let c(z) = -z**2 - 3*z. Let u be c(-3). Let p(o) = -149 - 130 - 17 + 577 + 3*o. Does 18 divide p(u)?
False
Let j(m) = 14*m**2 + 84*m + 98. Let y(b) = 2*b**2 + 5*b - 1. Let p(v) = -j(v) + 6*y(v). Does 20 divide p(-24)?
True
Suppose 4*i + 44 = 4*f, 5*f - 15 + 8 = -3*i. Does 5 divide 1/(i - 3027/(-504))?
False
Let r be 38/10 - 3/(-15). Suppose -4*t - 5*q + 1026 = 0, r*q - 7 = t - 253. Suppose 0*o + 4*l + t = 2*o, 5*o + 3*l = 661. Is 35 a factor of o?
False
Let l(w) = -w**3 - w**2 + w - 10. Let x be l(0). Let c be -1*x/20*(5 - 1). Suppose -2*n + 46 = 5*o - o, -c = -2*o. Does 4 divide n?
False
Suppose 0 = -46067*m + 46051*m + 97936. Does 25 divide m?
False
Let i(j) = 159*j**2 - 15*j - 5. Does 34 divide i(-5)?
False
Suppose -30*h - 6304 = -34*h - 4*a, 0 = -4*h - 5*a + 6300. Does 10 divide h?
True
Let o(r) = 31*r**2 + 445*r + 11403. Does 155 divide o(-26)?
False
Suppose -2*i + 2*f + 706 = -2472, 5*f = 15. Suppose 4*s - i = 2*m, 22*m + 407 = s + 17*m. Is s a multiple of 29?
False
Let m(x) = -8*x + 10 + 3*x + 2*x + 4*x. Let j be m(-6). Suppose -5*c + j*c = -l + 144, 3*l - 432 = c. Is 12 a factor of l?
True
Let a = 7119 - -113. Is a a multiple of 35?
False
Let m(h) = 2*h + 75. Let i(z) = 3*z + 143. Let r(a) = 2*i(a) - 5*m(a). Does 3 divide r(-26)?
True
Let x(q) = 4*q*