(b) = b**3 - 17*b**2 + 15*b + 3. Let f(z) = -3*z**3 + 50*z**2 - 44*z - 10. Let h(m) = -4*f(m) - 11*x(m). Let c be h(12). Does 26 divide 47*(-6)/c - 4/10?
False
Let d = -102 + 109. Suppose 14*l - d*l = -630. Let h = l - -117. Is h a multiple of 7?
False
Suppose -32*v + 6*t = -36*v + 30364, 5*t - 30370 = -4*v. Is v a multiple of 50?
True
Suppose 0 = 30*x - 2868 - 6914 + 1442. Does 8 divide x?
False
Suppose -f - 663 = 2*f. Let z(x) = -174*x - 7108. Let d be z(-41). Is 1712/d + -1 - 34/f a multiple of 19?
False
Let z(m) be the first derivative of 3*m**4/4 - 16*m**3/3 - 19*m**2/2 + 3*m + 5. Is z(8) a multiple of 33?
True
Let x(d) = 10*d**3 - 18*d - 17. Let p(k) = k**3 - k**2 - 2*k + 1. Let o(b) = 5*p(b) - x(b). Does 23 divide o(-4)?
True
Let g = 193 + -184. Suppose -g*o - 161 = -557. Does 7 divide o?
False
Let a be 3/1 - (1137 - (-9)/(-3)). Let j = 1731 + a. Is j a multiple of 25?
True
Suppose 0 = -5*q + 6 + 84. Suppose -y - 3*l + l + q = 0, -63 = -3*y + 3*l. Suppose y*h = 18*h + 162. Is 27 a factor of h?
True
Suppose 4*z - 715 = -3*x - 37, 3*z = -3*x + 510. Does 29 divide (-12)/(z/(-82) + 2)?
False
Let l(n) = -5*n + 3. Let k = -35 + 29. Let h be l(k). Let y = h - -12. Is 15 a factor of y?
True
Suppose -120 = -12*a - 708. Let y = -44 - a. Suppose -2*w = -y*p - 80, 4*w = p + 229 - 69. Does 4 divide w?
True
Let w(b) = -20*b**2 + 35. Let a be w(9). Does 19 divide (4 - 0)*(a/(-20) - 0)?
False
Suppose 5*j - 4002 - 251 = -4*p, -p + 4*j = -1037. Suppose -14*x - 245 = -p. Is 9 a factor of x?
False
Let m(g) = -5*g**3 + 69*g**2 + 22*g - 21. Does 21 divide m(-13)?
False
Suppose -4*y + 2535 + 3393 = 0. Suppose -4*k = 3*h - 1076, 0 = -4*h + 4*k + y - 66. Is h a multiple of 4?
True
Let x(t) = 147*t**3 - 8*t**2 + 28*t - 144. Does 27 divide x(5)?
True
Let u(q) = q**3 - 9*q**2 + 10*q - 5. Let n be u(7). Suppose 3*l + 192 = 5*m - 125, -4*l - 4*m - 476 = 0. Let d = n - l. Is d a multiple of 9?
True
Let i(s) = s**3 + 12*s**2 + 11*s + 25. Let l be i(-12). Let u = l + 269. Is u a multiple of 31?
False
Suppose 3*l - 500 = 2*w, -l - 5*w + 308 = l. Let t = l - 146. Is 3 a factor of t?
True
Suppose 23*z - 258 = 122 + 126. Is z a multiple of 11?
True
Let i be 4/(1*(-35)/15 + 3). Suppose 2*h = q - 628, -4*q = i*h - 4*h - 2492. Does 23 divide q?
False
Suppose 2*s - 2*v + 1208 = 0, 2386 = -4*s + 19*v - 21*v. Let q = s - -646. Is 7 a factor of q?
False
Let y(d) = -d**2 - 15*d + 6. Let k be y(-5). Let g = k - 34. Is 2 a factor of g?
True
Let p(c) = 30*c + 38. Let z be p(29). Let r = 1271 - z. Does 15 divide r?
False
Let v(d) = 3*d - 3. Let s be v(5). Suppose -s + 33 = -3*j. Is 2 a factor of 4 + (-6 + 2 - j)?
False
Let q = -19 + 21. Let c be ((-91)/21)/(q/3 - 1). Suppose 103 - c = f. Is f a multiple of 18?
True
Let c(b) = -2*b**2 - 27*b + 18. Let t be c(-14). Let l be (-3)/t - (5 - (-1140)/16). Let o = l - -124. Is o a multiple of 4?
False
Let d = 6632 + -2437. Suppose -15*v = -1505 - d. Is 36 a factor of v?
False
Let p(y) = 2*y**2 + y. Let m be 1601/13 - 2/13. Let k = m + -119. Does 8 divide p(k)?
False
Is (-3676)/(-7)*1281/122 a multiple of 3?
True
Let x be 14/2 - (9 - 13). Let a(g) = g**3 - 9*g**2 - 22*g - 8. Let n be a(x). Is 12 a factor of (-246)/n + (-33)/(-132)?
False
Suppose -5*s + 3*v = 99, 4*v = -5*s + 5*v - 103. Does 13 divide 124 + 18/s*-7?
True
Suppose 4*m + 18 = i, 5*i + 10 = 3*m + 49. Let b(w) = 47*w - 27. Is 9 a factor of b(i)?
False
Suppose -91*y + 4*y = -25*y - 1076816. Is 13 a factor of y?
True
Suppose -16*u + 30*u = 28. Suppose -4*r = -u*r - q - 388, 5*q = 2*r - 372. Is 20 a factor of r?
False
Let r(x) = x**2 + 5*x + 4. Let v be r(-2). Is -4*1*658/56*v a multiple of 4?
False
Let h be (-2)/(-11) + 10/55*-1. Suppose 3*q = 5*u + 4*q - 2350, 5*q + 25 = h. Suppose 0 = 5*p - 4*g - u, -5*g + 4 = -1. Is 22 a factor of p?
False
Is 14 a factor of (-2 - -1)/(55/(-93940))?
True
Let n(f) be the first derivative of f**4/4 + 8*f**3/3 + 5*f**2 + 17*f + 18. Let w be n(-9). Is (-312)/(-7) - (-88)/w a multiple of 4?
True
Suppose 0 = 14*p - 64 - 6. Suppose -7*i = v - 3*i - 1, -3*v + 4*i + 83 = 0. Suppose x - p = v. Is x a multiple of 22?
False
Let c = 20 - 5. Suppose c*b = 3*b - 1356. Is 38 a factor of -9*6/(-27)*b/(-2)?
False
Let b(x) = 28*x**2 - 16*x + 345. Does 14 divide b(20)?
False
Let h(t) = 2*t**3 + 30*t**2 - 24*t - 13. Let n be h(-16). Let y = n - -161. Suppose -6*p = -y*p + 1568. Is p a multiple of 32?
False
Let i be (-21)/(1 - (-125)/(-110)). Suppose w + 3 + 0 = 0, -2*w - i = -4*r. Suppose -4*d - 5*a = -52, r + 2 = 3*d + 2*a. Does 2 divide d?
False
Let u(l) = 1489*l - 267. Is 50 a factor of u(3)?
True
Let r(t) = 77*t + 54. Is 101 a factor of r(4)?
False
Let c be ((-3156)/8)/((-11)/(-22))*-1. Let h = 967 - c. Does 28 divide h?
False
Suppose 574098 + 39386 = 110*o + 118264. Is 3 a factor of o?
False
Suppose -3*u - u = -48. Let v be (36/15)/(u/40). Suppose 0 = -v*r + 9*r - 17. Is 16 a factor of r?
False
Let t(r) = -r**2 + 9*r + 11. Let s be t(5). Suppose 7 - s = -8*a. Suppose -a*x + 268 = 19. Is x a multiple of 12?
False
Let b be ((-3)/((-18)/10))/(400/1440). Let z(y) = -y + 158. Does 38 divide z(b)?
True
Suppose 153*x - 21320 = 23*x. Is 41 a factor of x?
True
Let j = -29 + 163. Suppose -j - 206 = 4*h. Does 26 divide 204/h*(-260)/6?
True
Let a(h) = 10*h**2 + 23*h + 2. Let b be a(-2). Let d = 48 - 106. Is d/b + (-24)/(-16) a multiple of 15?
False
Let y(o) = 23*o**2 - 27*o + 50. Let t be y(21). Suppose -17*u = -t + 1772. Is 14 a factor of u?
True
Let o = 14 + -11. Suppose o*v - 56 = -44. Suppose -157 = -j + 4*f, -2*j - v*f = -4*j + 298. Is j a multiple of 42?
False
Suppose 3*i - 7*x = -2*x + 2273, 4*i + 2*x = 3074. Suppose 0 = 5*w - i - 179. Is 14 a factor of w?
False
Is 17 a factor of 15 - 10 - 3 - -8175?
True
Let f(y) = -5*y**3 - 29*y**2 - 47*y + 10. Is 4 a factor of f(-9)?
False
Is 4 a factor of 16595*54/405 - (-6)/(-9)?
True
Suppose 3*n - 9*n = 624. Let u = n - -201. Is 8 a factor of u?
False
Let r(v) = v**3 + 7*v**2 + 7*v + 7. Let a be r(-3). Let h(g) = -4*g - 66 + g**3 - a*g**2 + 37 - 4*g - 9*g. Is h(23) a multiple of 47?
False
Let p = 21 + -1. Suppose -5*y = -p, -a - 3*y = 4*a - 72. Suppose 3 + a = o. Is 11 a factor of o?
False
Let n(v) = -201*v + 939. Let z be n(4). Let r be (-4)/(-10) + 574/(-10). Let d = r + z. Does 24 divide d?
False
Suppose -2*f + 2*l + 2178 = 0, 2721 = 5*f + 4*l - 2733. Suppose -4*n + 3*d = -1625 + 543, 4*n + d - f = 0. Is 16 a factor of n?
True
Let c = -1590 + 2988. Is 6 a factor of c?
True
Suppose -3*i + 1 = s, 4*i - 5 - 8 = s. Let c = 41 - 45. Is 27 a factor of (-81*c/6)/(2/i)?
True
Suppose -3*r = -5*g - 190, 0*r + 2*r = -5*g + 160. Let x be 1618/6 + (4 - r/15). Suppose -1072 = -4*u + n + 2*n, -n = -u + x. Does 53 divide u?
True
Let x(m) = 10*m**3 - m**2 + 23*m + 77. Is x(6) a multiple of 3?
False
Is 11 a factor of (4646091/(-1588))/(6/(-88))?
True
Suppose -4*a - 39*y = -38*y - 58572, -43929 = -3*a - 3*y. Is a a multiple of 9?
True
Let i = -8034 - -13845. Is i a multiple of 155?
False
Let g = 9890 - 6166. Does 38 divide g?
True
Let m(k) = -3*k**2 - 34*k + 11. Let w be m(-9). Suppose -4*g + 1232 = 5*c, 2*c - w + 1647 = 5*g. Is 21 a factor of g?
False
Let d(q) = 4*q + 12 + 8*q**2 - 9*q**2 - 10*q. Let i be d(-7). Suppose 5*o - 101 = t + 58, i*o - 165 = -5*t. Does 8 divide o?
True
Suppose -11*p + 203 - 1292 = 0. Let f = p - -148. Is f a multiple of 9?
False
Suppose 0 = -4*k + 2*o - 34, 2*k + 5*o - 13 = -0*k. Let l(b) = -5*b + 2. Let p be l(k). Suppose -4*y + 3*h = -99, -2*y = -0*y + 2*h - p. Does 3 divide y?
True
Suppose 6*w - 24728 - 5560 = 0. Suppose 16*h + 1688 = w. Is 14 a factor of h?
True
Suppose -4*u + 14 + 18 = 0. Let l(o) = 9*o**2 + 11*o + 25. Is 12 a factor of l(u)?
False
Let f = 1865 + 1723. Does 78 divide f?
True
Let x = 54 - 52. Let t be (23/(-46))/(x/(-16)). Is 21 a factor of -3 + 22 + (t/1 - 2)?
True
Suppose 9 = l - 4*v, 3*l + 2*v - 6 = 21. Suppose l*u - 7216 = -13*u. Is u a multiple of 12?
False
Suppose -q - 3*n - 27 = q, 2*q - 13 = 5*n. Let l be q/(-27) + 387/81. Suppose -398 = -l*a - 2*j, -5*j + 5 = -15. Is 26 a factor of a?
True
Suppose 4*r - 4*h - 47356 = 0, -2*r + 23666 = 3*h - h. Is r a multiple of 44?
True
Let d = -20344 - -59345. Is 43 a factor of d?
True
Let c = 2938 - -4298. Is 67 a factor of c?
True
Let r be (336/(-