 + 16 = -4*o, -z = -5*p + 4*o. Does 12 divide p?
True
Suppose -4951 = -5*s - 3*c, -1877 = 5*s + 13*c - 6798. Is 8 a factor of s?
True
Suppose -4 = -4*u, 2*u + 4 - 13 = r. Let w(y) = 5*y**2 - 6*y - 10. Is 18 a factor of w(r)?
False
Let t = -67 - -61. Let d be ((-29)/3)/(3 - (-20)/t). Let m = 0 + d. Does 4 divide m?
False
Is (3/8 + (-44)/32 - -3) + 5189 a multiple of 29?
True
Let h(g) = -4*g**3 - 52*g**2 + 3. Let r be h(-13). Suppose 754 = 5*i + 2*f - 1381, -1307 = -r*i + 4*f. Does 13 divide i?
True
Suppose -2*b + 3*w + 14 = 0, 0*w + 2*w = 5*b - 24. Let c(a) = a**3 - 4*a**2 - 6*a - 6. Let o be c(b). Let v = 66 + o. Does 12 divide v?
True
Let n(x) = 15*x**2 - 18*x - 4. Is 8 a factor of n(4)?
False
Let k(q) be the second derivative of 25*q**3/6 + 25*q**2/2 - q - 66. Does 5 divide k(6)?
True
Let c(s) = -18 + 26 - 27 - 7*s. Let r be c(7). Let y = 208 + r. Does 28 divide y?
True
Suppose -3*j = -3*p - 45, 10*j - 12*j - 54 = 4*p. Is ((-8)/p)/((-234)/(-53235)) a multiple of 4?
False
Let h(k) = -44*k + 5. Let g be h(-4). Suppose -g = -5*v + 144. Suppose -v - 71 = -b. Is b a multiple of 34?
True
Let s(q) = 30*q**2 - 303*q - 68. Does 53 divide s(27)?
True
Suppose 19*d = -4*h + 24*d + 16288, 0 = 4*h + 7*d - 16336. Is 7 a factor of h?
False
Suppose 0 = 3*d, 330 = 7*y - 4*y + d. Suppose -c + y = 10*c. Does 24 divide -10 + c - (-115 + 2)?
False
Let j(m) = -3*m**3 - 3*m**2 - 70*m - 10. Is 18 a factor of j(-11)?
False
Let s be (3/2)/((-4)/40). Let y(t) = -t**2 - 14*t + 13. Let m be y(s). Is m/7 - (-2704)/56 a multiple of 12?
True
Suppose 3*c = y - 4*y + 1239, -3*y + 2*c + 1244 = 0. Let a = -207 + y. Suppose -2*j = j - a. Is 9 a factor of j?
False
Suppose 0*f - f - 2 = 0, 4*p = 5*f + 1430. Suppose -103 + p = 4*h. Does 21 divide h?
True
Suppose -46 - 464 = -15*d. Let y(p) = -2*p**2 + 75*p + 35. Is 3 a factor of y(d)?
True
Let a = 33717 - 19434. Is a a multiple of 69?
True
Is (4/10)/(2/30)*(215 - -91) a multiple of 34?
True
Let z = -41 - -121. Let a = z - 89. Does 20 divide 0 + a + 4 + 242?
False
Suppose a + y - 44321 + 1297 = 0, -2*a - 5*y = -86039. Is a a multiple of 151?
False
Let r(k) be the first derivative of 24*k**4 - 4*k**3/3 - 7*k**2/2 + 2*k - 96. Is r(2) a multiple of 20?
True
Let i(u) = -u**2 + 27. Let m be i(5). Suppose 2*f + 4*b = 3*f, -m*f + 52 = 5*b. Suppose -f*g + 20*g = 392. Does 11 divide g?
False
Suppose 319*n - 27488 = -5*o + 320*n, -4*n = 2*o - 11026. Is 5 a factor of o?
False
Suppose -3*a = 2*d - 4200, -8*d + 4194 = 3*a - 4*d. Suppose 0 = -4*t + 3*q - q + a, 0 = -t - 4*q + 328. Is t a multiple of 12?
True
Suppose 0*u + 143 = 11*u. Suppose u*v + 80 = 3*v. Let k(n) = 2*n**2 - 9*n - 20. Is 36 a factor of k(v)?
True
Let d(v) be the third derivative of 103*v**5/60 - 5*v**4/24 - v**3 - 22*v**2. Is 6 a factor of d(-1)?
True
Let j(u) = u**3 + 38*u**2 - 46*u + 105. Is 36 a factor of j(-38)?
False
Let t(f) = 46*f**3 + 9*f + 6. Let y(b) = 47*b**3 - b**2 + 8*b + 5. Let c(o) = -3*t(o) + 4*y(o). Does 40 divide c(2)?
False
Let o = 12478 - 6570. Does 7 divide o?
True
Is ((-3)/(-4))/(15/74660) a multiple of 14?
False
Let q = 70 + -71. Let d = 17 - q. Is (d/(-15))/3*-310 a multiple of 20?
False
Let s = 60 + 42. Suppose 0 = -l - h - 2*h + 81, l - 4*h - s = 0. Is l a multiple of 25?
False
Let p = -131 + 480. Suppose -21*l = -p - 8429. Is 9 a factor of l?
False
Does 40 divide 3940 + (-6)/(-3) + (-40)/(-16 + 6)?
False
Let o(h) = h**3 - 26*h**2 + 9*h - 60. Let s(x) = -3*x**3 + 77*x**2 - 29*x + 181. Let f(u) = 17*o(u) + 6*s(u). Is f(19) a multiple of 9?
False
Let x(g) = -10*g - 12. Let d be x(-13). Suppose -o + 209 = 4*u + 4*o, 3*u - 4*o = d. Does 45 divide (u - 1)*9/3?
True
Suppose -c - 3*y - 171 = 0, -8*c = -5*c + 2*y + 492. Let z = -43 - c. Does 7 divide z?
True
Suppose -3*s - 5*w = -w - 71, -5*s + 70 = -3*w. Let n(c) = -s*c - 10 + 14*c + 13*c - c**2. Is 5 a factor of n(6)?
False
Let c(j) = -j**3 - 5*j**2 + 2*j - 19. Let v be c(-7). Does 23 divide (8 + v - 11)/((-4)/(-26))?
False
Let n be (-6)/54*2*-3*6. Suppose -1 = d - r - 4, 3 = -4*d - r. Suppose 0 = -n*x - 4*b + b + 1052, -b = d. Does 21 divide x?
False
Does 15 divide (-26654)/(-12) - 4/(-48)*-2?
False
Suppose -83*u = 39*u - 242170. Is u a multiple of 22?
False
Let l(s) = -s**3 + 16*s**2 + 35*s + 14. Let n be l(18). Let d(t) = -6*t - 8. Let g be d(n). Suppose 0 = g*o - 13*o - 513. Is 19 a factor of o?
True
Suppose 0 = -6*l + 3*l + 177. Suppose 2*x + 32 = -3*b, -5*x + 6*b = 3*b + l. Let o = 31 + x. Is 6 a factor of o?
True
Let z be -7 - (-2)/(-2) - -484. Let p = 1054 - z. Does 7 divide p?
False
Let o = 9245 - 5202. Is o a multiple of 13?
True
Suppose 2*z - 12 = 5*z. Let w(u) = u**3 - 5*u**2 - 3*u - 6. Let g be w(z). Is (g + -3 + 2)*(2 - 3) a multiple of 17?
False
Is 16 a factor of ((-12)/10)/((-8)/(-193380)*-3)?
False
Suppose -185*c = -174*c - 79068. Is 45 a factor of c?
False
Let d(m) = 164*m**2 - 327*m**2 + 1 + 27*m - 2*m + 164*m**2. Is d(9) a multiple of 20?
False
Is 5 a factor of 6 + (30 - 10) - -4582?
False
Let b be 4/(-30) - (-13)/(-15). Is (2574/72)/(b/(-4)) a multiple of 11?
True
Suppose -15*x = -14*x + 13. Let j = -13 - x. Suppose 3*w + o = -j*o + 171, -4*w + 5*o + 209 = 0. Is 14 a factor of w?
True
Suppose 0 = -1994*t + 2017*t - 49358. Is 66 a factor of t?
False
Suppose 3*n + 112936 = 4*f, 84691 = 3*f - 6*n + n. Is f a multiple of 11?
True
Suppose 0 = -86*s - 7*s + 191208. Is s a multiple of 9?
False
Let x = -8758 - -15710. Is x a multiple of 88?
True
Suppose 106*h - 101*h = -5*v + 22425, v + 8970 = 2*h. Is h a multiple of 39?
True
Let b = -56 + 44. Let d(t) = -t**2 - 12*t - 15. Let m be d(b). Is 3 + (6/m - 48/(-20)) a multiple of 2?
False
Let w(s) = -8153*s + 172. Does 15 divide w(-1)?
True
Is 42 a factor of (-30)/135 + ((-6)/(-2) - (-276546)/54)?
True
Suppose 19461 = 177*a - 174*a. Does 198 divide a?
False
Let j(h) = 5*h. Let d be j(1). Suppose -a + 29 = -d*y, 0 = -4*a - y - 2*y + 1. Suppose a*i = -2*u + 1040, 55 = -i + 5*u + 293. Does 43 divide i?
True
Is 9956317/565 - ((-48)/15 + 3) a multiple of 6?
True
Suppose 1408 + 6512 = 15*j. Suppose 4*q + j = 6*q + n, 2*n - 258 = -q. Does 14 divide q?
True
Let o(q) = -q**3 - 6*q**2 + 5*q - 2. Let u be o(-7). Suppose 0 = u*w - 7*w - 45. Suppose 669 = w*f + 201. Does 26 divide f?
True
Let t = 21 + 96. Is 15 a factor of 191/9 + (-26)/t?
False
Let r(i) = 1 + 20 - 4 - 38*i + 35*i. Let y be r(3). Suppose -135 = 7*c - y*c. Does 45 divide c?
True
Suppose -24*v + 36*v - 699596 = -25*v. Is v a multiple of 23?
False
Let n(p) = 24*p**2 - p - 3. Let w(s) = -49*s**2 + s + 6. Let t(k) = -11*n(k) - 6*w(k). Let f be 912/152 - (-9)/(-1). Is t(f) a multiple of 42?
True
Let n(c) = c**3 - 23*c**2 - 80*c + 61. Let l be n(26). Suppose 6440 = 14*p + l*p. Is p a multiple of 20?
True
Does 20 divide ((-1)/4)/((-48)/1009920)?
True
Let j be (-1)/(-2) - 6/12. Let z(n) = -n**2 + n + 3. Let b be z(j). Suppose b*x + 4*x - 56 = 0. Does 4 divide x?
True
Let j(z) = -5*z - 9. Let b be j(-3). Let x(a) = 5*a**2 + 11*a - 70. Is 34 a factor of x(b)?
False
Let g(j) = -57*j - 4256. Does 11 divide g(-138)?
False
Suppose -20 = -2*t + 4*n, -3*t + 16 + 2 = -2*n. Let j be (-12)/(t - 3) - 4. Does 5 divide 64/j + 5*9?
False
Is (-33*12/(-54) - 8)*-327 a multiple of 3?
False
Let h be (-20)/(-8)*4/(-5). Is 8 a factor of (44/33)/((-3)/(144/h))?
True
Let x(s) be the first derivative of s**7/840 + s**6/360 - s**5/120 + 11*s**4/24 + 11*s**3/3 + 5. Let n(q) be the third derivative of x(q). Does 11 divide n(0)?
True
Suppose -b = 5 + 7. Let j be (-2)/6*(-1 - b - 2). Let m = j - -141. Is m a multiple of 23?
True
Suppose -13*w - 26 = 3*s - 15*w, 5*s - 5*w + 40 = 0. Does 3 divide (348/s)/(2/(-10))?
True
Let f be 2 - (-4)/3*(-18)/(-12). Suppose -5*y - 2*m + 840 = 120, 0 = -f*m. Is 18 a factor of 1/(3/(-30))*y/(-20)?
True
Suppose -71*f + 21983520 = 471*f. Does 15 divide f?
True
Suppose 272 = -6*w + 10*w. Suppose -71*i = -w*i. Suppose i = 5*r - 75 - 555. Does 21 divide r?
True
Let h(n) = 65*n**3 + 10*n**2 - 21*n + 11. Is h(3) a multiple of 73?
False
Let i(c) be the second derivative of -11*c**3/6 + 21*c. Let d be 8/2*(1 - (-39)/(-12)). Is 9 a factor of i(d)?
True
Let k = -19043 + 20684. Does 4 divide k?
False
Suppose 28016 = 4*k + 4*z, 4*k - 5*z - 6986 = 3*k. Suppose -k = -7*u - 1877. Is u a multiple of 6?
True
Let y