(d) = -2*d**3 + 71*d**2 + 110*d - 16. Is j(36) a multiple of 9?
False
Let n be 2 + 1 + (-26 - -5). Let l = 22 + n. Suppose -3*z - 2*f + 74 = 0, -2*z - 5*f + l*f + 51 = 0. Is 3 a factor of z?
False
Let q = -59 + 24. Let r = 53 + q. Suppose -17*u = -r*u + 68. Does 29 divide u?
False
Suppose 0 = -3*i + u + 3150, -u - 13 = -7. Is 2 a factor of i?
True
Suppose -1684 = 3*m - 7*m. Let i = m + -270. Let d = -36 + i. Does 14 divide d?
False
Let x be 3*3 - (2/(-1) - -3). Suppose -9*p = -x*p. Suppose -25*l + 31*l - 120 = p. Is 13 a factor of l?
False
Let j(k) = k**2 + 20*k - 39. Let h be j(-22). Suppose v = -4*w + h*v + 536, -4*w + 2*v = -540. Is 16 a factor of w?
False
Let r(y) = -6*y**3 + 2*y**2 - y + 1. Let q be r(2). Let f(p) = 65*p - 4. Let z be f(-1). Let i = q - z. Is 5 a factor of i?
False
Let x be (-42)/14 - (411 + 2). Let n = x + 1096. Is 20 a factor of n?
True
Let w(s) = -3*s**2 - 50*s - 35. Is w(-10) a multiple of 55?
True
Let v(n) = 97*n**2 - 204*n - 50. Is v(9) a multiple of 48?
False
Let i be (1 + -4)/(2/(-2)*1). Suppose -2*t - 346 = -6*q + i*q, -5*q = 4*t - 540. Does 8 divide q?
True
Suppose -6*t - 405594 = -35*t + 15*t. Is t a multiple of 18?
False
Is 9/(-15) - 6/(-20)*6012 a multiple of 33?
False
Is (3 - 1)*((-3)/(-4) - 2173017/(-132)) a multiple of 163?
True
Let r = 2565 + -2460. Does 15 divide r?
True
Let g be 1 - 1/2*-2. Let v = 1752 - 1533. Suppose -g*r + 5*r = v. Does 12 divide r?
False
Suppose -3*w - 505 = -730. Does 20 divide (160/(-20))/((-6)/w)?
True
Let g be 1/16*4*16. Does 16 divide (g/2)/((-2)/(-16))?
True
Is 238 a factor of ((-4)/3)/(-3 + (-427315)/(-142443))?
True
Let q = -27536 - -38776. Does 26 divide q?
False
Let f = 33 - 42. Is 13 a factor of f/24 + (-3285)/(-120)?
False
Let x(s) = s**3 - 12*s**2 + 9*s + 23. Let r be x(11). Let p be (r + 0)*15/1. Let b = 35 - p. Does 3 divide b?
False
Is 20 a factor of 19086/2 + 4432/(-277)?
False
Let h(x) = 15501*x - 689. Does 28 divide h(1)?
True
Suppose -44 + 3 = -4*c + 3*d, 2*d + 46 = 5*c. Let q = c - -31. Let n = -6 + q. Is n a multiple of 4?
False
Let i(h) = h**3 - 72*h**2 + 86*h + 51. Does 18 divide i(71)?
True
Let a be 10/(-15)*(-1 + 10). Let m be ((-32)/a)/((-24)/(-72)). Suppose -8*c + 240 = m. Does 6 divide c?
False
Suppose 2*s + 2*l + 120 = 0, -2*l = 2*s + l + 124. Let k = -54 - s. Suppose 3*t - 3*n = 213, k*n = -t - 41 + 124. Is t a multiple of 25?
True
Let m(g) = -3*g**3 - 46*g**2 + 63*g + 402. Does 12 divide m(-21)?
True
Suppose -3*w + 9226 = -2*i, 0 = -w - 2*i + 127 + 2943. Is w a multiple of 29?
True
Is 4 a factor of 2*-7*((-2 - 0)/(-1) + -46)?
True
Suppose 0 = 3*k - 4*t - 44908, -14986 = -k + 462*t - 464*t. Is 208 a factor of k?
True
Suppose 21 = -3*m, -d + 92*m - 90*m + 47678 = 0. Is d a multiple of 265?
False
Let o(z) = -26*z + 875. Does 3 divide o(16)?
True
Suppose 0 = -3*h + 5*h - 2. Let i be 22 - ((-4 - (h + -4)) + 3). Is 8 a factor of -3 + -1 - (i/(-4) - 71)?
True
Suppose 5*g + 5038 = 4*l, 56*l - g = 57*l - 1246. Is 202 a factor of l?
False
Suppose 0*w - 28*w = -112. Does 53 divide (-53)/(w + (-73)/18)?
True
Suppose 4*d - 2*y = 17974, 21*y = -2*d + 25*y + 9008. Is 162 a factor of d?
False
Suppose 74 = 10*v - 586. Suppose 11*p + v = 13*p. Suppose -m = p - 99. Is 6 a factor of m?
True
Suppose -5*c + 26 = -b, 7 = -2*c + 17. Is 7 a factor of 9*(-2 + 5 + 4 + b)?
False
Suppose -15*n + 1272 = -1262 + 794. Does 6 divide n?
False
Let l = 60912 + -41964. Is 132 a factor of l?
False
Let p(y) = 194*y**2 - y + 6. Let r(k) = -64*k**2 - 2. Let h(w) = 3*p(w) + 8*r(w). Let o(j) = j**3 - 3*j**2 + 2*j + 1. Let i be o(2). Is 23 a factor of h(i)?
True
Let f be 35/(-1)*-5 - 3. Let m be ((-162)/12)/(2/(224/(-6))). Suppose -2*n - 4*w + f = -308, -n + 2*w = -m. Is n a multiple of 32?
False
Let j be (-9)/((-2)/5 + 6526/16640). Is 9 a factor of -6 + j/(4 - 0)?
False
Is 41 a factor of (21/(-2))/(((-9)/27)/((-7784)/(-18)))?
False
Let j be ((-144)/216)/(227/(-225) - -1). Suppose -855 + j = -3*w. Is 10 a factor of w?
True
Suppose -20*s - 165 = -9*s. Is (704/6)/((130/s)/(-13)) a multiple of 22?
True
Let f = -17922 - -37106. Is f a multiple of 11?
True
Let o = 146 - 143. Is 2 a factor of (-40)/((-15)/o)*7?
True
Let h = -7 - -9. Is -6*(-6)/24 + 473/h a multiple of 34?
True
Suppose -2673*j + 89700 = -2650*j. Is j a multiple of 15?
True
Let m(a) = -159*a + 624. Is 125 a factor of m(-11)?
False
Suppose 25 = -5*y, 2173 = 24*s - 22*s + y. Does 90 divide s?
False
Let h(d) = -d**3 - 82*d**2 + 82*d - 1428. Is 84 a factor of h(-84)?
True
Suppose 11*t - 6*t - 3*v = 2970, 3*t + 4*v - 1811 = 0. Let j = t - 376. Does 13 divide j?
True
Does 51 divide 1309 + (-9)/(36/10)*2?
False
Let p(t) = t - 17. Suppose k + 4*b = 18, -3*b - 7 = -2*k - 4. Let v be p(k). Does 7 divide v*((-4 - -6) + -7)?
False
Let w = -15358 + 19247. Is w a multiple of 4?
False
Suppose h = 3*h + 4*n - 66000, h = n + 32991. Does 94 divide h?
True
Suppose 25*x - 34027 - 3983 = -5*x. Does 8 divide x?
False
Suppose 0 = -13*a + 17*a - 16, 7838 = 3*l - 4*a. Is l a multiple of 11?
True
Let w = -43370 + 64960. Is 17 a factor of w?
True
Let m = -10653 - -11147. Is m a multiple of 26?
True
Let v(w) = 1686*w**2 + 183*w + 19. Is v(-4) a multiple of 168?
False
Let s be 136/238 - (-48)/14. Suppose -8*y + 424 = -s*y. Is 53 a factor of y?
True
Does 3 divide (-15)/(465/(-248)) - (0 + -2338)?
True
Suppose 37*k - 109*k - 29*k + 491567 = 0. Is 22 a factor of k?
False
Is 9 a factor of -66*(-8)/48 - -2473?
True
Let i be ((-1864)/(-6))/((-48)/(-36)). Suppose 2*k = -b + 463, k - 2*k - 2*b + i = 0. Does 21 divide k?
True
Let m = 17463 + -12693. Is 11 a factor of m?
False
Let o(l) = 25*l - 33. Let f be o(8). Suppose -f = -4*s + 269. Let v = s + -77. Is 5 a factor of v?
False
Is 2 a factor of -278*(-5)/(-40)*(-16)/12*3?
False
Suppose 0 = 4*u + 3*p + 854, 3*u = -4*p - 347 - 290. Let m = u - -353. Does 24 divide m?
False
Is 43 a factor of 60/60 + (-4 - (3 - 21976))?
False
Suppose g = -5*r + 7, -5*g + 6 = -g - 2*r. Suppose 8 + 10 = g*d. Suppose -725 - 13 = -d*o. Is 16 a factor of o?
False
Suppose 415 = 10*c + 235. Is 13 a factor of (1 - c/(-8))/((-4)/(-384))?
True
Suppose 5 = w - 2*w. Let h = 29 + w. Let g = h + -7. Is g a multiple of 3?
False
Let g(z) = -z**3 + 2*z**2 - z + 7. Let n(t) = t**3 - t**2 + 2*t - 7. Let c(s) = -5*g(s) - 4*n(s). Let m be c(7). Does 18 divide (2*54/7)/(3/m)?
True
Let b(w) = -1385*w - 3613. Is 77 a factor of b(-13)?
False
Let j = 334 + -332. Suppose -j*n - 1708 = -3*c, 23*n - 27*n = -4. Is 38 a factor of c?
True
Suppose 45543 = 81*h - 30678. Is 27 a factor of h?
False
Let z(i) = -3*i**3 - 43*i**2 + 30*i - 101. Let g(o) = o**3 + 14*o**2 - 10*o + 34. Let k(y) = -11*g(y) - 4*z(y). Does 15 divide k(-13)?
True
Let c be (12/(-10))/(366/60 + -6). Let f be (-910)/(-3) - 8/c. Suppose 3*l = -2*r + 6*r + f, 3*l - 318 = -3*r. Does 25 divide l?
False
Let v = -76 + 78. Suppose 5*w - 8*w + 2178 = -3*i, -v*w = 5*i - 1466. Is w a multiple of 28?
True
Let c be -2 - 24/(-10) - 16542/(-45). Let p = c - 113. Is p a multiple of 17?
True
Suppose -373*j + 136*j + 759759 = 126*j. Is 13 a factor of j?
True
Let s(c) = 181*c - 49. Let z(r) = 14*r - 120. Let i be z(9). Is 61 a factor of s(i)?
True
Let k(x) be the second derivative of x**5/20 - x**4/4 + 5*x**3/3 + 5*x**2/2 + 3*x. Let c be k(10). Suppose -5*h = -265 - c. Does 46 divide h?
False
Suppose 0 = -2*o - 3*c + 70092, -4*c + 79385 + 60799 = 4*o. Is o a multiple of 22?
True
Suppose 3*y = 4*q - 17 + 12, -3*y + 13 = 5*q. Let i(l) = 202*l**2 + 20*l - 43. Is 23 a factor of i(q)?
True
Let a(i) = 6*i + 6. Let j be 0 - -1 - (-43 - -4)/(-3). Let x = 18 + j. Is 6 a factor of a(x)?
True
Suppose -h + 1 = -2*g - 8, -5*h + 10 = -5*g. Let c = g - -39. Let y = -17 + c. Is 15 a factor of y?
True
Let o(t) = -915*t**3 - 45*t**2 - 178*t + 34. Is o(-4) a multiple of 22?
True
Suppose -4*x = -8*x - 212. Let g = x + 59. Suppose 4*i - 146 = f, 5*i - g*f + f - 190 = 0. Is i a multiple of 12?
True
Does 3 divide (-20)/(-24) - ((-153485)/210 + (-6)/21)?
True
Suppose -5*n + 32250 = 4*a, 0 = -9*a + 6*a - 5*n + 24180. Does 30 divide a?
True
Let q be 6 - 12 - (0 + 2 - 0). Let b(o) = o + 14. Let j be b(q). Is 10 a factor of (-30)/(-4)*(0 - (-28)/j)?
False
Let p(x) = 86*x + 3831. Is p(114) a multiple of 9?
True
Let j = 327 - 1059. Let h = j + 1245. 