(-2). Suppose -10*o + o = -y. Does 20 divide o?
True
Let t(o) be the second derivative of -o**4/12 + 2*o**3 - 3*o**2 - 39*o. Let l be t(11). Suppose l*q - 39 = -m + 2*q, m = 2*q + 14. Is 3 a factor of m?
True
Let z = 6631 + -4530. Does 11 divide z?
True
Let m(j) = -j**2 + 3*j + 10. Let p be m(5). Suppose p = -3*y - 9, -y - 1568 = 5*o - 7290. Suppose 13*h = 8*h + o. Does 32 divide h?
False
Suppose 18*k = 13*k + 25. Suppose 4*w - 1724 = -4*l, 0 = k*w - 5*l + l - 2164. Suppose -2*y = y + 3*n - w, 4*y - 583 = 3*n. Does 19 divide y?
False
Suppose 0 = -21*l - 365 + 5699. Let o = l - -13. Does 11 divide o?
False
Let m(j) = 110*j**3 - 19*j**2 + 42*j - 145. Is 273 a factor of m(6)?
False
Let c(r) = -4*r + 133. Let t = -52 + 55. Suppose t - 3 = -3*i. Is c(i) a multiple of 12?
False
Let w(u) = 2*u**3 - 31*u**2 + 3*u - 128. Suppose 64 = 4*h - 10*r + 12*r, 0 = 2*h - 3*r - 32. Is w(h) even?
True
Let z(u) = 265*u**3 + 19*u**2 + 12*u - 9. Does 19 divide z(3)?
True
Suppose -6178 = -7*t - 1747. Suppose 4*b - 5*s = 3808 + t, b + 2*s - 1120 = 0. Suppose -12*k - 442 = -b. Does 4 divide k?
True
Let x = -3757 - -1789. Let i be (4/(-3))/((-4)/x). Let j = -384 - i. Is j a multiple of 41?
False
Let n = 66 - 66. Let j be ((-318)/(-5) - n/5)*5. Suppose -h + j = 118. Does 40 divide h?
True
Let w(y) = -2515*y - 1727. Does 14 divide w(-13)?
True
Is (2 - (-5)/(-3))/(13/(-4273659)*-3) a multiple of 31?
False
Let t = -3376 - -9648. Is 28 a factor of t?
True
Suppose 0 = -5*g + 2*k + 57, 38 = 3*g + k - 6*k. Let c(p) = 2*p**3 - 13*p**2 - 23*p + 13. Does 10 divide c(g)?
False
Let r(n) = 31*n**2 + 155*n + 20. Is r(5) a multiple of 67?
False
Suppose 0 = 16*z - 31 - 83073. Is 56 a factor of z?
False
Suppose w = 2*l, -2 = -5*w + 3*l + 5. Let c be 14/(208/(-100) + w). Let f = -90 - c. Does 6 divide f?
False
Suppose 0 = z - 3*z - 554. Let m = -12583 - -12537. Let w = m - z. Is w a multiple of 21?
True
Let w(u) = -6*u + 28. Let q be w(4). Let z(g) = -3*g + 7. Let h be z(-6). Suppose -q*f + h = -3*l, l + 5 = 4*f - 14. Does 3 divide f?
False
Let l(i) = -i**3 - 140*i**2 - 85*i + 2508. Is 107 a factor of l(-140)?
False
Suppose -3*j - 2*t + 12 = -2*j, j - 24 = -5*t. Is (j*-4)/(-11 - 3400/(-310)) a multiple of 10?
False
Let i be (11 - -96) + -4*2. Suppose 221 = i*t - 98*t. Is 54 a factor of t?
False
Is (432/(-288))/((-6)/11332) a multiple of 14?
False
Let n(u) = u**3 - 6*u**2 - 17*u + 11. Let r be n(8). Suppose -5*l + r*l = 2*m - 26, 2*l - 21 = -m. Suppose l*a = 7*a + 132. Is 14 a factor of a?
False
Let z(i) = -10*i + 124. Let y be z(3). Suppose 2*q = y - 62. Is q a multiple of 6?
False
Let t(p) = 3*p + 78. Let n be t(-28). Let m be 2 + 69*5 - (-8 - n). Suppose 15*f + m = 2059. Is 19 a factor of f?
True
Let r be (7 + -9)*(0 - (-411)/(-3)). Suppose -10*h + r = -8*h + 5*o, 4*o = -4*h + 560. Is 12 a factor of h?
False
Suppose 5*l - 3*l = 5*j - 8, 16 = -4*j - 4*l. Suppose -5*f + 4*v + 297 = 0, -4*f + 3*v = -j*f - 238. Does 2 divide f?
False
Suppose 4*q = 3*a - 21447, 108*a - 4*q = 110*a - 14338. Is 16 a factor of a?
False
Let k be (-33)/(-24)*158 + 210/120. Suppose -g + 0*g + 378 = 0. Let r = g - k. Is 10 a factor of r?
False
Suppose -5*h - 30*y = -33*y - 31453, -5*h + 31438 = 12*y. Is 74 a factor of h?
True
Suppose 4*c + 4 = -4*s, 2*c = 5*s - 3*s + 18. Suppose -4*i - z - 33 = 0, 0*i + 24 = -4*i - c*z. Is 18 a factor of ((-20)/45)/2 - 839/i?
False
Let j(o) = 3*o**2 - 73*o - 36. Does 173 divide j(-48)?
True
Let i = -11 + 82. Let y = i - 68. Suppose 2*b + 0*b - 58 = -y*n, 5*n - 114 = b. Is 22 a factor of n?
True
Let r = -3 + 3. Suppose 0 = c - 4*h - 6, r*c + 4*h = 2*c. Does 8 divide (50/c)/((-6)/18)?
False
Suppose 0 = -4*w + 68 - 72. Let s(d) = d**3 + d**2 + 1. Let l(v) = -29*v**3 + v**2 + v + 2. Let c(o) = w*l(o) + 3*s(o). Is 61 a factor of c(2)?
False
Let g(j) = -j**2 + 13*j + 17. Let n = 24 + -10. Let h be g(n). Suppose -2*x - 5*m = -111, h*x + m = 4*m + 114. Is x a multiple of 20?
False
Is 22 a factor of (1055/(-10))/(469/(-462) + (-4)/(-4))?
False
Let s(a) = 54*a**2 + 165*a - 1. Is s(-11) a multiple of 10?
False
Is 12 a factor of (-22140)/((2*-1)/((-324)/(-243)))?
True
Suppose -8*d + 2225 = p - 7*d, 2*d = 8. Is p a multiple of 5?
False
Let m = 1743 + -503. Does 28 divide m?
False
Let f = -192 - -199. Let h(z) = 2*z**3 - 11*z**2 + 12*z + 22. Is 23 a factor of h(f)?
True
Let s = -183 - -187. Suppose -2*u = 2*w - 296, -s*w + 248 = 5*u - 342. Does 3 divide w?
True
Let w be 76*(-13 + 6 + 6). Does 13 divide ((-1044)/(-24))/((-6)/w)?
False
Let r(w) = -2*w**3 - 2*w**2 - 1. Let y(h) = -8*h**3 + 5*h**2 + 2*h + 3. Let v(l) = -4*r(l) - y(l). Does 34 divide v(3)?
False
Does 84 divide 7/3*72/(-12*(-9)/594)?
True
Let o(u) = -11*u - 1 + 11*u**2 - 6*u**2 + 4 + 34*u + 14*u**3. Let k(f) = -5*f**3 - 2*f**2 - 8*f - 1. Let v(n) = -17*k(n) - 6*o(n). Is v(3) a multiple of 6?
False
Suppose -6*k + 26*k - 3300 = 0. Let z = -161 + k. Is 3 a factor of z?
False
Suppose 3*z = 5*k - 1468, 5*k + 0*z + 4*z = 1461. Suppose 2*d - k = d - f, -2 = f. Does 8 divide d?
False
Suppose -4*j = -2*u - 1572, 5*j = 5*u + 1901 + 54. Let m = j - -141. Is 58 a factor of m?
False
Suppose 2*i = -3*p + 23731, -3*i - i + 2*p = -47438. Is i a multiple of 29?
True
Suppose 3*u + 2351 = o + 121, o + 3*u = 2284. Does 61 divide o?
True
Suppose 50*p + 19*p = 218937. Is 8 a factor of p?
False
Suppose -3*p - 2526 = -4*a, 0*p + 3117 = 5*a + 3*p. Is a a multiple of 33?
True
Let u = -11735 - -34207. Is 27 a factor of u?
False
Suppose 0 = -7*o + o + 2*o. Let i = -15 - -15. Suppose o = 2*b, 5*h + 4*b - 100 = -i*b. Is 14 a factor of h?
False
Let n = -1243 + 1968. Let f = n - 533. Is 4 a factor of f?
True
Suppose -4*p - 14*p - 216 = 0. Is 33 a factor of 6/p - 661/(-2)?
True
Let m(w) = 2*w**2 + 14*w + 4. Let k be m(-7). Suppose 3*b + k = -4*i, 2*b + 2 = -2*i - 0. Suppose b = 27*p - 31*p + 272. Is p a multiple of 9?
False
Suppose -82 = -5*r + 8. Suppose -17 = -k - r. Let m(s) = 76*s**2 + s. Is m(k) a multiple of 12?
False
Is 2/(-2) - (-3806 + 11 - 7) a multiple of 8?
False
Let c be (17 + 0 + 2)*5. Let l = 71 - c. Is 2/(-8) + (-2094)/l a multiple of 19?
False
Suppose -4*n + 5*t = -n - 65, -n - 5*t + 35 = 0. Let f be (-4)/10 + (-15)/n. Let a(r) = -40*r - 1. Is 18 a factor of a(f)?
False
Let k(l) = 6*l - 22. Let w(p) = p**3 - 9*p**2 - 2*p + 22. Let f be w(9). Let z be k(f). Let b(a) = 2*a**3 + 2*a**2 + a. Is 16 a factor of b(z)?
False
Let w(n) = n**2 - n + 1. Let r(g) = -g**2 - 3*g. Let u(k) = r(k) + 2*w(k). Let f be u(4). Is 13 a factor of 398/(-4)*f/4*4?
False
Let g(b) = -2*b + 1. Let a(z) = -114*z - 22. Let m(q) = -a(q) + 4*g(q). Is m(5) a multiple of 10?
False
Let v(j) = 9609*j**2 + 18*j + 2. Does 31 divide v(-1)?
False
Let c(o) = -4317*o - 782. Does 34 divide c(-5)?
False
Let c(f) = -f**3 + 4*f**2 - 4*f + 4. Let k be c(3). Let q(o) = -4*o**2 - 18*o + 15. Let l be q(-5). Does 41 divide (7 - (l - k)) + 79?
True
Let k(o) = o**3 + 22*o**2 + o + 28. Let d be k(-22). Let w be d - 2 - (1 - -1). Suppose 0 = -w*f + 94 + 276. Does 37 divide f?
True
Suppose -d = -3*h + 60, 12*h - 17*h + d = -102. Let k(p) = -p**3 + 10*p**2 - 11*p - 5. Let u be k(8). Let t = u - h. Does 7 divide t?
True
Suppose 2*b = b + f + 2362, 3*b = -2*f + 7061. Let c = b - 1275. Is c a multiple of 18?
False
Let v(i) = 129*i**2 - i - 2. Suppose -y - 6 = -8. Suppose -y = d - 3. Is v(d) a multiple of 7?
True
Let r(s) = -7*s**3 - 18*s**2 - 40*s - 88. Is 26 a factor of r(-10)?
True
Let d(f) be the second derivative of f**5/5 + f**4/3 - 2*f**3 - f**2/2 - 15*f. Let r be d(4). Does 20 divide r/2 + 5/(-10)?
False
Let n(f) = -2*f**3 - 2*f**2 + 3*f + 13. Let h(j) = j**3 + j**2 - j - 7. Let v(p) = 7*h(p) + 4*n(p). Is v(-3) a multiple of 3?
True
Does 21 divide (-13)/(-91) - (-3499610)/133?
True
Let r(x) = -66*x**3 - 7*x + x**2 + 68*x**3 + 3*x**2 - 5. Let u be r(-4). Let d = u + 62. Does 7 divide d?
True
Let i = 664 + -661. Is 9 + -6 - i - -621 a multiple of 5?
False
Let l(s) = 2 + 24*s - 6*s + 2 + 8*s. Let c = -35 + 36. Does 30 divide l(c)?
True
Suppose -5*f - 4389 = -5*p - 18344, -3*p + 5567 = 2*f. Is f a multiple of 17?
True
Let s(y) = 3*y**2 + 52*y + 269. Is 77 a factor of s(46)?
True
Let y(l) = 38*l**2 - 220*l - 12. Is 11 a factor of y(14)?
True
Let o(g) be the third derivative of g**4/12 - 3*g**3/2 - 14*g*