46 = 0. Suppose -4*b - 10*i = -5*i - 432, 0 = -w*b - 3*i + 540. Does 36 divide b?
True
Let m = 167 + -163. Suppose 4*o = -5*t - o + 115, 119 = 5*t + m*o. Is t a multiple of 9?
True
Suppose 2*v = -37*k + 32*k + 5376, v = k + 2674. Does 26 divide v?
True
Let o be ((-26)/104)/(2/32). Does 15 divide (759 - 5)/(o + (-6 - -11))?
False
Let d(b) = b**3 + 21*b**2 + 26*b + 23643. Is 71 a factor of d(0)?
True
Suppose 0 = 2*y, -5*f - 5*y = -16 + 6. Suppose f*o - 4*h - 44 = 0, -4*o = 3*h + h - 76. Suppose 120 = -19*u + o*u. Is 46 a factor of u?
False
Suppose 0 = 109*f - 412084 - 434846. Does 46 divide f?
False
Suppose 10*t - 66958 = 52102. Does 28 divide t?
False
Let c be ((-3)/(-9))/(2/24). Let q be c*(-1)/(-8)*14. Let v = 22 - q. Is 14 a factor of v?
False
Suppose -25*i = 24 + 101. Is (-662*i/20)/((-4)/(-8)) a multiple of 57?
False
Let j(v) = v**2 + 62*v + 1093. Does 8 divide j(-49)?
True
Let t be (52/6)/(-2*(-3)/(-261)). Let k = 709 + t. Is 3 a factor of k/14 + (-2)/(-7)?
True
Let g(j) be the third derivative of -61*j**4/24 + 49*j**3/6 + 92*j**2. Does 26 divide g(-9)?
True
Let v(r) = -r**2 + 52*r + 14. Let w be (-114)/(-8)*344/129. Is 39 a factor of v(w)?
True
Suppose 29*v - 11425 - 26255 = -v. Does 4 divide v?
True
Let p = -63 - -72. Suppose -w = -4*i - 236, 4*i + 3 + p = 0. Is w a multiple of 34?
False
Does 14 divide 651*(-5 + 78/15)*(-160)/(-12)?
True
Let o = 13923 - 8264. Is 31 a factor of o?
False
Let n(m) = 866*m + 682. Is 44 a factor of n(11)?
True
Let o = 20320 - 15868. Is o a multiple of 14?
True
Let k(t) = -348*t + 35. Is 13 a factor of k(-3)?
True
Let b be 1*-12*7/(-21). Is 18/(b/(-34)*9/(-24)) a multiple of 51?
True
Let l = 11 + -7. Let z(v) = -578*v + 198*v + 7 + 191*v + 196*v. Is z(l) a multiple of 7?
True
Let j(w) = -9*w**3 - w**2 - 2*w + 2. Let x be j(1). Let u(k) = 2*k**2 + 19*k + 5. Let t be u(x). Suppose 0 = 9*z - t*z + 594. Does 33 divide z?
True
Is 58 a factor of (-3)/(27/(-4)) - 1965787/(-207)?
False
Is 10 a factor of (-40)/(-5) - 16/(80/(-3225))?
False
Let z(k) = -667*k**3 - k - 3. Let q be z(-1). Let t = 715 - q. Is t a multiple of 10?
True
Suppose 21*n - 21989 = -1472. Does 187 divide n?
False
Is (-6238)/(-11) + ((-228)/88 - (-70)/28) a multiple of 27?
True
Let r be 3*6/(-90) + (-11)/(-5). Let o be -4*(-7)/8 - 3/r. Suppose 176 = 6*n - o*n. Is 11 a factor of n?
True
Does 25 divide (-9)/(18/(-9752)) + (-5 - -2) + 2?
True
Suppose 2*d - f - 11464 = 0, f = 2*d + 5*f - 11444. Is d a multiple of 47?
False
Let o be 1 - ((-3)/(-6))/((-3)/54). Let g(x) = -3*x + 29. Let b be g(o). Let m(l) = -7*l**3 + 3*l**2 + 3*l + 1. Is m(b) a multiple of 8?
True
Let u(l) = -17*l**3 + 26*l**2 + 6*l. Is 107 a factor of u(-9)?
True
Let x(a) = a - 1. Let c be x(6). Suppose -2*l - 4 = -c*v, 0*l = -2*v + 5*l + 10. Suppose 4*n - 14*n + 760 = v. Does 11 divide n?
False
Let k(s) = -459*s**3 - s - 1. Suppose 520*a = 518*a - 2. Does 34 divide k(a)?
False
Let u be 6/(-39) - (465/(-65) + 0). Suppose 0 = -h + 17 + 21. Let m = u + h. Is m a multiple of 8?
False
Let x(l) = -l**3 + 14*l**2 + 37*l - 260. Let y be x(7). Let v = -244 + y. Is v a multiple of 48?
False
Let b be 5 + (-1 - (-4)/12*-6). Suppose 1024 = 3*k + b*k - 3*a, -3*a = 5*k - 1036. Does 9 divide k?
False
Let w(p) = -8*p - 21. Let z be w(-12). Let m = -72 + z. Suppose -k + 271 = -3*i, 7*k - m*k - 1004 = -4*i. Does 32 divide k?
True
Suppose 76*f + 77*f - 2930220 - 338472 = 0. Is 28 a factor of f?
True
Let q(f) = -f**3 - 2*f**2 - 19*f. Let z(k) = k**2 - k - 2. Let u(t) = q(t) - 4*z(t). Is 19 a factor of u(-9)?
False
Let a(k) = -k**2 + 26*k - 45. Let z be a(24). Let r be ((-1098)/24)/(z/(-8)). Let t = -78 + r. Is t a multiple of 22?
True
Does 12 divide 8 + 6120/9 + -4?
True
Let b(p) = 6*p**3 - 2*p**2 + p - 2. Let h = 24 - 22. Let v be b(h). Is 37 a factor of v/(-20)*((-374)/4 + 0)?
False
Let c = 8735 + -7885. Is 17 a factor of c?
True
Suppose -78*v = 56*v - 1056322. Does 22 divide v?
False
Let p = -68 + 73. Let w be ((-1)/2)/(p/(-30)). Is (96/(-10))/w*-5 a multiple of 16?
True
Let g(r) = -r**3 - 8*r**2 + 21*r + 12. Let u be g(-10). Suppose -f = -u*k + 160, 0 = -f - 4*f - 20. Does 5 divide (k/(-12))/((-3)/6 - 0)?
False
Let m(v) = 985*v**2 - 120*v + 3. Is m(2) a multiple of 3?
False
Let i(g) = 2892*g - 11275. Does 22 divide i(5)?
False
Suppose -2*o + 3*y + 1619 = 0, -55*o + 60*o - 4015 = y. Let a = 1385 - o. Is 53 a factor of a?
True
Let q(m) be the first derivative of -11*m**5/120 - 9*m**4/4 + 31*m**3/3 + 35. Let x(a) be the third derivative of q(a). Does 24 divide x(-18)?
True
Let y = -2983 - -4124. Is y a multiple of 30?
False
Let o = 2010 - -3027. Does 23 divide o?
True
Let r be (2 - 14/6) + 1078/3. Let u be 1*(4 - 3) + r. Is ((-8)/5)/((-16)/u) a multiple of 12?
True
Let a(h) = 87*h - 42. Suppose 6*j + 8 = 10*j. Does 7 divide a(j)?
False
Let s = 25 + -66. Let q = 55 + s. Does 2 divide q?
True
Suppose -5*j - 3*i = -2 - 4, 2*j - 3 = -i. Is 56 a factor of 1094 + 0 - (j + -6 + 2)?
False
Suppose -2742 = -2*s + 3*p, 2*s - 2730 = -2*p - p. Suppose 0 = 10*k + 9*k - s. Is 6 a factor of k?
True
Let u(l) = -l + 31. Suppose 5*n + 67 - 22 = 0. Does 4 divide u(n)?
True
Let r(p) = 51*p**3 - 4*p**2 + 5*p - 4. Let l be r(2). Suppose -4*k + 766 = -2*t, -11*k - l = -13*k + 4*t. Is k a multiple of 21?
True
Let a = -362 - -247. Let d = a - -109. Does 23 divide (3 - d/(-2)) + 2 + 136?
True
Let x(v) be the first derivative of 80*v**3/3 + 17*v**2/2 - 5*v - 63. Is 15 a factor of x(-3)?
False
Let m = 26892 - 24912. Does 198 divide m?
True
Let j = 48 - 39. Let l = 417 + j. Let q = l - 238. Does 37 divide q?
False
Suppose -2*n + 11 = -199. Let l = -75 + n. Let d = l + 183. Does 14 divide d?
False
Suppose 0 = -3*f - 2*j + 141, -8*f + 7*f - j + 48 = 0. Suppose -f*i = -83*i + 55404. Is i a multiple of 27?
True
Let v(p) = -1697*p - 6548. Does 12 divide v(-17)?
False
Suppose 48 = 8*h - 24. Suppose -h*u + 10*u = 216. Is 11 a factor of u?
False
Let k(r) = 7*r**2 - 82*r - 99. Is k(18) a multiple of 63?
True
Is 4 a factor of (12/30 - (-4)/10)/((-4)/(-1310))?
False
Let p(j) = -1155*j + 1312. Is 19 a factor of p(-5)?
True
Let n(v) = -243*v**3 + 3*v + 5*v**2 + 242*v**3 + 8 + 2*v. Let t be n(6). Does 12 divide (t/(-4))/(3/(-192))?
False
Suppose -3*a - j - 1174 = a, 2*a + 4*j + 594 = 0. Let f be a*16*12/24. Does 33 divide 12/(-28) - f/14*1?
False
Let w(i) = i**3 - 5*i**2 - 12*i + 14. Let y = 32 - 25. Is w(y) a multiple of 4?
True
Let h(p) = 3404*p + 276. Does 40 divide h(11)?
True
Let d(b) = 28*b**3 + 19*b**2 + 28. Is 5 a factor of d(4)?
False
Let a(p) = 1 + 30*p - 3*p**2 - 8 + 5*p**2 - 11. Is 5 a factor of a(-19)?
False
Let s(z) = -z**3 - 13*z**2 - 2*z - 22. Let v be s(-13). Is (5/v)/((-3)/(-588)) a multiple of 49?
True
Let u = -9129 + 29256. Does 10 divide u?
False
Suppose -20927 = -109*f + 1745. Is f a multiple of 4?
True
Let s(c) = -153*c**2 + 88*c**2 + 41 - c**3 + 86*c**2 - 14*c. Let w = 36 + -16. Is s(w) a multiple of 23?
True
Suppose -2*h - 4*u - 102 = 0, -3*u = 3*h - 0*u + 150. Let f = -614 + 614. Is 15 a factor of f + -1 - (h + 3)?
True
Let l be (-1656)/(-54) - (-1 - 4/(-6)). Suppose -o = l - 339. Is o a multiple of 14?
True
Suppose -25*o - 20*o + 35004 = -33*o. Does 152 divide o?
False
Let y = 35 + -32. Suppose -2*h = -h - j - 38, -y*h + j = -118. Let x = 84 + h. Is x a multiple of 31?
True
Suppose 2*l + 3*g - 963 = 0, -998 = -2*l + 7*g - 5*g. Is l a multiple of 41?
True
Suppose -q - q + 3*i + 6 = 0, 2*i - 12 = -4*q. Suppose -6*m = q*m + 9. Let g(a) = 124*a**2 + a - 2. Does 21 divide g(m)?
False
Let z be (-7 + 5)/(4/(-10)). Let g(b) be the first derivative of b**4/4 - 4*b**3/3 + 7*b**2/2 - 7*b - 32. Does 8 divide g(z)?
False
Suppose 9584 - 58738 = -91*h + 200732. Is h a multiple of 61?
False
Let c = -5964 - -8502. Is 4 a factor of c?
False
Let m = 30430 - 14964. Does 21 divide m?
False
Suppose -5*c + 440 = 5*k, -3*c + 2*k = 105 - 384. Let t be 8/14 - (12 + (-880)/77). Suppose s - c = -t*s. Does 17 divide s?
False
Suppose 1743*o - 1747*o = -18704. Does 14 divide o?
True
Let m = 118 - 116. Suppose -3*x = 4*f - 2*f - 393, -4*f + m*x + 746 = 0. Is f a multiple of 7?
True
Suppose 5*q - 10*j = -14*j + 15207, 0 = -q - j + 3041. Let k = q + -2173. Is 29 a factor of k?
True
Let c(u) = u**2 - 28*u + 155. Does 33 divide c(56)?
False
Let o(r) = r