+ 12*h. Let j(c) be the third derivative of l(c). Is 21 a factor of j(11)?
False
Let c(t) = -263*t**3 + t**2 + 4*t + 4. Suppose 4*j = -3*k + 9, 2 = -4*k - j + 1. Is c(k) a multiple of 22?
True
Let y = -3809 + 4088. Is 3 a factor of y?
True
Suppose -2*y - 5*s + 20404 = 0, y + 15*s - 19*s - 10163 = 0. Is y a multiple of 140?
False
Let n = 20 + -18. Suppose -5*w + 5*c = 35, 0*w = n*w - 4*c + 6. Let r = w + 75. Does 8 divide r?
True
Let b(a) = -4*a**2 - 99*a + 33. Let g be b(-25). Does 15 divide 1140 - (0/(2 - g))/(-1)?
True
Let n = 1 - -47. Suppose -12 = -w + 3*y, 0*y + n = 4*w - 2*y. Suppose 13*g - 28 = w*g. Is 11 a factor of g?
False
Let c = 4060 - -30590. Suppose -3*f = -45*f + c. Is 33 a factor of f?
True
Let z(r) = -936*r - 1911. Is 5 a factor of z(-6)?
True
Suppose -27*z + 9164 = -14536 - 109761. Is 7 a factor of z?
False
Suppose b - 4*v - 8849 = -2*b, 8833 = 3*b + 4*v. Is b a multiple of 160?
False
Suppose 0 = -7*a - 4*m + 5*m + 21738, 3108 = a - m. Is 3 a factor of a?
True
Does 6 divide 115364/22 + 952/136*4/154?
True
Let x = 109 - 156. Let q = x + 55. Suppose 0*m - 272 = -q*m. Is 19 a factor of m?
False
Let r(a) be the second derivative of 37*a**4/6 - 8*a**3/3 - 12*a**2 - 2*a - 133. Does 38 divide r(-2)?
True
Let p(o) = 2*o**2 + 5*o - 26. Let r(z) = -4*z**2 - 16*z - 45. Let h(s) = s**2 + s + 1. Let a(b) = -3*h(b) - r(b). Let m be a(-10). Is p(m) a multiple of 54?
False
Let v(h) = 2*h**3 + h**2 + h - 7. Let f(j) = -j**3 - 2*j + 7. Let w(k) = -2*f(k) - 3*v(k). Let u be w(-3). Let d = 204 - u. Is d a multiple of 19?
False
Let z(p) = -p**3 + 17*p**2 - 16*p - 8. Let r be z(9). Let h = -218 + r. Is h a multiple of 8?
False
Let b(v) = 296*v - 4016. Does 30 divide b(15)?
False
Let h(x) = -16*x - 35. Let z be h(-8). Let r = z + -91. Is r a multiple of 2?
True
Let n = 8764 + -8318. Is n a multiple of 58?
False
Let f(k) = k**3 - 10*k**2 + 9*k. Let t be f(9). Suppose 4 = -5*r - d + 4*d, t = -3*r - 4*d - 14. Is 24 a factor of ((-16)/12)/(r/57)?
False
Let q(w) = 9417*w - 222. Let v be q(6). Does 6 divide ((-2)/3)/((-16)/v*7)?
False
Let n(u) = -5*u - 54. Suppose -5*p = -5*k - 8*p - 145, -5*k + 3*p = 145. Does 13 divide n(k)?
True
Suppose -13*o - 8*o = -15*o - 684. Is o a multiple of 4?
False
Let z = 354 - 370. Let s = 347 - z. Is 26 a factor of s?
False
Let o(n) = 79*n - 368. Is 12 a factor of o(33)?
False
Let r = 3410 + -1160. Is r a multiple of 6?
True
Suppose -89*o + 7634297 = 50*o. Does 11 divide o?
True
Suppose s = 3*v + 60228, -32347 = -3*v + 5*s - 92587. Is 61 a factor of v/(-250) + 6/(-20)?
False
Let u(l) = l**3 - 18*l**2 + 17*l. Let a be u(17). Let o = 0 + a. Does 13 divide (6/(-9) + 1)*o - -33?
False
Suppose -7 = -5*g - 2*f, -25*f + 16 = -29*f. Suppose 198 = g*m - 21. Is m a multiple of 11?
False
Let p be 20 + -4 + 6/(-3 - -6). Suppose 3*y + 3 = p. Suppose -3*u + 346 = -4*l, 9*u - y*u - 474 = -l. Is 10 a factor of u?
False
Suppose 22*u + 692 = 26*u. Let w = u - 103. Is w a multiple of 7?
True
Let c(h) = 139*h**2 + 100*h**2 + 2 - 29*h**2. Is 43 a factor of c(1)?
False
Let f be (-3)/(-12)*-33 + (-1)/(-4). Let v = 10 + f. Suppose 3*x + x = 3*s - 38, -3*x = -v*s + 26. Does 10 divide s?
True
Let f(t) = -t**3 + 25*t**2 + 55*t - 11. Let g be f(27). Suppose g = o - 4. Is o a multiple of 2?
True
Suppose -30 = 3*m + 2*m + 5*d, -m = -4*d + 11. Let i(y) = y**3 + 9*y**2 - 7*y - 17. Let l be i(m). Let u = l + -56. Does 11 divide u?
False
Suppose 4*s = -24, -3*z - 6280 = -2*s - 22300. Is z a multiple of 29?
True
Suppose 2*o = -3*i + 28, 0 = 4*i - 2*o - 22 - 6. Let w(r) = -17 + i + 7*r + 41 + 20*r. Is w(6) a multiple of 18?
False
Let k = 17551 - 6329. Is 181 a factor of k?
True
Let l(x) = 17*x**2 - 90*x - 4006. Is l(-41) a multiple of 59?
True
Suppose -s + 17 = 2*r + 3, 56 = 5*s - 4*r. Let w(g) = 13*g**2 - 22*g + 108. Is w(s) a multiple of 44?
True
Let y(z) = -26*z**2 + 204*z + 15. Does 18 divide y(7)?
False
Let w = -4 - -57. Suppose b + 4*k - 7 - 44 = 0, b + 3*k - w = 0. Let d = b + 40. Is 33 a factor of d?
True
Let i(f) be the first derivative of 13*f - f**2 - 2*f**2 + 26*f + 14. Is 25 a factor of i(-6)?
True
Let p be (-2 - -3)/((-2)/(-30)). Let w(t) = -16*t**2 + 47*t - 57. Let m(l) = 7*l**2 - 23*l + 29. Let s(k) = -7*m(k) - 3*w(k). Does 6 divide s(p)?
False
Let r(z) = 4*z**2 - 8*z - 6. Let a(h) = -2*h + 11. Let m be a(4). Let c be 1/m + (-44)/(-12). Is r(c) a multiple of 13?
True
Let i(j) = 3*j - 18. Let n be i(4). Is 48 a factor of (n*88*(5 + -4))/(-1)?
True
Suppose 28*i = 11 + 45. Suppose 0 = -4*y + i*g + 4466, 3*g - 2229 = -8*y + 6*y. Is 12 a factor of y?
True
Let d = -28 - 359. Let r = d - -1207. Does 60 divide r?
False
Let q be (-3)/(-5) - (-2476)/(-10). Let r = 401 + q. Does 12 divide r?
False
Suppose 0 = 113*x + 235*x - 2038932. Is 21 a factor of x?
True
Suppose 5*n - 2*u - 851 = 3347, n = -4*u + 844. Does 30 divide n?
True
Let k(o) = 6*o**2 - 85*o - 235. Does 95 divide k(41)?
False
Let p = 2 + -2. Suppose p = 55*g - 51*g + 528. Let x = g - -258. Is 42 a factor of x?
True
Let j = 11 - -151. Suppose 44 + j = 2*v. Does 9 divide v?
False
Let m be 16 + -483 + 16/2. Let g = m - -492. Is 8 a factor of g?
False
Suppose 1576*y + 43693 = 1581*y - 19487. Is y a multiple of 54?
True
Let p(u) = -u**3 - 27*u**2 - 56*u + 180. Is p(-29) a multiple of 7?
True
Let b be 2 + -73*(-30)/3. Suppose b*y - 738*y = -588. Is y a multiple of 43?
False
Let n(p) = p**3 - 2*p**2 - p + 1. Let r(b) = 7*b**3 - 3*b**2 - 12*b + 32. Let m(j) = 6*n(j) - r(j). Is 7 a factor of m(-10)?
True
Let v = 1600 + 18. Suppose 0 = -3*s + t - 0*t + v, -2*s + 5*t + 1070 = 0. Is 30 a factor of s?
True
Let x = -480 + 511. Does 14 divide x?
False
Let p(w) = 6*w + 28. Let x be p(-4). Is 1/x - (-11726)/328 a multiple of 6?
True
Let j be (25/20)/(1/4). Suppose 0 = -o - 4*p + 929, -4*o + 5*o - 924 = -j*p. Does 73 divide o?
True
Suppose -5*i = -2*m + 355, 0*m + 3*i = 4*m - 703. Let n = m - 163. Is 12 a factor of n?
True
Suppose 5*q - r = 9, -q = 4*q + 5*r + 15. Let s(m) be the third derivative of 25*m**4/8 - m**3/6 - 2*m**2 - 15*m. Is 10 a factor of s(q)?
False
Let x(k) = -1355*k - 497. Is x(-5) a multiple of 113?
False
Suppose s - 5*i - 6 = -4, 3*s - 6 = 4*i. Let j(t) = 47*t**2 - 1. Let r be j(-1). Is 3 a factor of r/s + (10 - 7)?
False
Let r = -523 - -313. Let x = r - -302. Suppose -3*a + 685 = -x. Does 37 divide a?
True
Suppose -109*t + 2455325 = -32*t - 1602036. Does 29 divide t?
True
Suppose -b + 1711 = 2*s, -8*b + 6*b + 2568 = 3*s. Suppose 8*m - 1650 = s. Is m a multiple of 5?
False
Let k(b) = -b**3 + 20*b**2 + 2*b - 39. Let z be k(20). Suppose 0 = x + z, -6*v + 3*v + 904 = 2*x. Is 39 a factor of v?
False
Let a = -42 + 51. Suppose 3*w + 546 = a*w. Does 13 divide w?
True
Let z(o) = 4526*o + 107. Does 21 divide z(2)?
False
Let d be (-1)/(20/23135) + (-9)/(-12). Let u = 1817 + d. Does 32 divide u?
False
Let f(q) = 2*q**3 - 9*q**2 + 9*q - 4. Let g be f(5). Let z = g - 63. Suppose -z*v - 347 = -2*o, -201 = -3*o + 2*o - 4*v. Does 39 divide o?
False
Suppose 2*o - 2995 - 405 = -0*o. Is 2 a factor of o?
True
Suppose -531 = 6*l - 105. Let m = l - -126. Is 2 a factor of m?
False
Suppose -5*l + 3*q = -18627, -3*l + 5423 + 5758 = 3*q. Does 24 divide l?
False
Let t = -2575 - -4115. Is 44 a factor of t?
True
Suppose -5*u = -0*f + 3*f - 15714, -4*u + 12576 = 4*f. Is 10 a factor of (-6)/12 - u/(-2)?
True
Suppose 9*p + 5*j = 8*p + 91, 0 = p + 3*j - 87. Suppose p*l - 896 = 77*l. Is 13 a factor of l?
False
Let h(c) = 222*c**2 + 4*c - 6. Suppose 2*y + 5*j - 4 = 0, 12*j - 6 = -3*y + 7*j. Does 45 divide h(y)?
False
Let v(n) = -2*n**3 + 38*n**2 + 8*n + 108. Is v(17) a multiple of 14?
True
Is 29 a factor of 48048/126 + 2/3?
False
Let q(x) be the third derivative of -x**6/120 + 2*x**5/15 + x**4/6 - 5*x**3/6 - 6*x**2 + 2*x. Does 15 divide q(5)?
True
Let x(n) = -n**3 + 11*n**2 - 12*n + 2. Let s be x(10). Let g = 48 + s. Suppose -5*j + 192 = 4*w, -2*j + j + 2*w + g = 0. Does 4 divide j?
True
Let y(m) = m**3 - 8*m**2 + m - 19. Let a be y(8). Let l = a - 4. Let b = 132 + l. Is b a multiple of 13?
True
Suppose 109*k = 121*k - 41652. Does 169 divide k?
False
Let j = 2785 + -1693. Is 21 a factor of j?
True
Let n = 896 + 3952. Is n a multiple of 48?
True
Let s = -3609 - -4860. Is s a multiple of 17?
False
Let d be (-4)/(-6) + ((-