2*z - 4*k - 1440 + 44 = 0. Let r be (2 + -1)/(1419/z - 2). Suppose 3*s + s = 4*d - r, 4 = -s. Is 10 a factor of d?
False
Let b = -191 + 193. Is 15 a factor of ((-124)/(-16) - 1)/(b/40)?
True
Let k = -448 - 35. Does 20 divide k/(-4) + 15/(-20)?
True
Is 22 a factor of 26959688/2448 + (-1)/(-18)?
False
Let n(q) = -3*q**2 - 2*q**2 + 424 + 4*q**2 - 420. Let w be n(-2). Suppose w*g + 24 = g. Is 12 a factor of g?
True
Suppose 0 = -60*u + 65*u - 10. Suppose 19 = u*r + 13. Suppose o - 3*z - 50 - 133 = 0, -4*o = r*z - 702. Is o a multiple of 13?
False
Let n = -24776 - -30106. Is 26 a factor of n?
True
Let p(z) = -z**3 - 12*z**2 + 14*z + 15. Let l be p(-13). Let v(y) = -2 + 0*y**l - y**2 + 7*y**2 - y**3 - 5*y + y. Is v(5) a multiple of 2?
False
Let l = 2052 - 288. Does 9 divide l?
True
Let x(w) = -8*w**2 + 5*w + 4. Let n be x(5). Suppose 12718 - 30217 = -57*h. Let g = n + h. Does 17 divide g?
True
Let p = 564 - 523. Suppose p*h + 12086 = 61368. Does 54 divide h?
False
Is 6 a factor of 11/(2/2) - (-13756 - -355)?
False
Let u be ((-6)/(-12))/(1/10). Does 5 divide u + (-8)/((-16)/66)?
False
Let x be -3 + 17/(-5) + (-6)/(-15). Let l be (x + 2)/(-5 - -3). Suppose -390 = -l*m - 3*m. Does 39 divide m?
True
Suppose -4*g - 4*z - 1246 = -6*z, 2*g - 2*z = -618. Let k = 449 + g. Is k a multiple of 9?
True
Let m(v) = -553*v + 163. Let k be m(-6). Suppose -5*i + 4*y - 1111 + 9806 = 0, -2*i + y = -k. Does 83 divide i?
True
Suppose -5*z - 14 + 56 = 3*f, 4*f = -z + 5. Suppose -z*g + 17*g = 4144. Is 51 a factor of g?
False
Let j be -3*1*1/9*3. Let m(t) = -t + 1. Let g(p) = 8*p + 16. Let b(k) = j*g(k) - 4*m(k). Does 4 divide b(-8)?
True
Suppose 3*g - 14 + 5 = 3*r, 4*g - r = 9. Let z be (-40)/(-10) - (1 - -1). Is 14 a factor of g/1 + 52/z?
True
Let u = -80 + 138. Suppose -u = -5*q + 22. Is 22 a factor of q*(9/(-6) - -3)?
False
Let l(k) = 2*k + 147. Let b be l(-36). Suppose -5*c = -f - 1003, c - 5*f = 290 - b. Is c a multiple of 15?
False
Suppose 5*u - 192 = u. Let s = 38 - u. Is 25 a factor of (-6)/(-10) - 744/s?
True
Let n(d) = -3*d**3 + 56*d**2 - 9*d - 8. Is n(15) a multiple of 61?
False
Suppose 5*b + 647 = 2*d, d - 3*b = -4*b + 334. Suppose 0 = 3*h + 4*y - 685, -3*h + 59*y = 54*y - 649. Let v = d - h. Does 12 divide v?
True
Suppose -2*q + 5*y = -29, 2*y + 10 = -0*y. Suppose 0 = -q*c - 4*c - 24. Let z(j) = 5*j**2 + 2*j + 8. Is z(c) a multiple of 20?
True
Let y be 12/42 + 793/(-7) + -2. Let j = 75 - y. Is 15 a factor of j?
False
Let a(f) = -5*f**3 + 2*f + 3. Suppose -175 = -5*m + 4*l, 4*l - 118 + 13 = -3*m. Let z be -4*(4 - m/10). Is a(z) a multiple of 13?
True
Suppose 25*m = -70064 + 348539. Is m a multiple of 47?
True
Let z(j) be the first derivative of -j**4 - 7*j**3 - 11*j**2/2 - 12*j + 195. Is 12 a factor of z(-8)?
True
Let y be 2/3*(-33 + 21). Let z(j) = 9*j**2 + 10*j + 128. Does 39 divide z(y)?
True
Let m be (-2 - -1)*(-2)/(-4)*-8. Is (m/5)/(10/5900) a multiple of 21?
False
Suppose -11*x + 257 - 81 = 0. Suppose -4500 = -x*g + 2412. Is 48 a factor of g?
True
Suppose -21*w - 3422 = 5482. Let s = w + 606. Does 51 divide s?
False
Suppose 0 = 13*z - 5 - 8. Suppose -2*g = 2*n - 3 + z, -n + 3 = 2*g. Suppose -18 = -i - 3*r, 4*i - 3*i - g*r + 2 = 0. Is 6 a factor of i?
True
Suppose 0 = 6*y - 15 - 3. Suppose 30 = -y*t + 6. Is -2*161/t + 1/(-4) a multiple of 4?
True
Let m(i) = 2052*i**2 - 21*i + 8. Does 35 divide m(1)?
False
Let i(c) be the third derivative of -c**6/120 - 3*c**5/20 + 5*c**4/12 + c**3/3 + 3*c**2. Let k be i(-10). Is (90/(-40))/(k/(-48)) a multiple of 6?
True
Let v(r) = 150*r + 9. Let s(m) = m**3 + 8*m**2 + 18*m + 3. Let b be s(-8). Let z = -139 - b. Is v(z) a multiple of 28?
False
Let d = -2628 + 7931. Does 8 divide d?
False
Let q(b) = 5*b**2 - 31*b - 691. Is 103 a factor of q(-40)?
True
Suppose 3 = 3*z + 3. Suppose w - 24 + 19 = z. Suppose w*x - x = 392. Is 17 a factor of x?
False
Suppose -243*c - 60970 = -248*c - 4*x, -5*x + 12215 = c. Is 10 a factor of c?
True
Let b(w) = -349*w - 2422. Does 130 divide b(-51)?
False
Suppose -65*z + 2385 = -12*z. Is 19 a factor of z?
False
Is 39/(-26) + -433*1/(-2) a multiple of 215?
True
Suppose -4*i + 2*a - 588 = 0, -3*i - 475 + 41 = -5*a. Let d = i - -330. Does 61 divide d?
False
Suppose -48*l + 220*l - 1476792 = 0. Does 81 divide l?
True
Let j(i) = 16*i + 22. Let x be j(-4). Let t = 55 + x. Let z(m) = m**2 - 9*m - 29. Is 3 a factor of z(t)?
False
Let i be 33/12 - 1/(-4). Suppose 6*x - 8*x + 142 = l, -i*l + 420 = 3*x. Does 3 divide l?
True
Suppose 0 = -78*u + 79*u + 5*z - 33285, -10*u + z + 333054 = 0. Is 157 a factor of u?
False
Suppose 5*v - 4*z = 147388, 22198 + 7318 = v + 4*z. Is v a multiple of 91?
True
Suppose -5*l = 4*r - 407, 2*l + 0*l - 422 = -4*r. Suppose 2*v = 4*n + 72, -3*v + 6*v + 2*n - r = 0. Is 8 a factor of v?
False
Let y(r) = 5*r**2 + 2*r. Let i be y(-1). Suppose -h = 2*p - 97, -2*h + 68 + 78 = i*p. Is 15 a factor of p?
False
Suppose 4 + 8 = 3*s, -2*j + 3*s = 4. Suppose j*n - 44 = -36. Suppose n*h = y + 6 + 11, h - 4 = -4*y. Is 2 a factor of h?
True
Let f be 22/121 - 9/(-11). Suppose 2*o - f = -3. Is 52 a factor of 3/3*-1 + o + 62?
False
Let w = 48 - 0. Let c = w + -46. Is 8 a factor of 31/c*(-21 - -27)?
False
Let t(q) = 2*q + 12. Let w be t(3). Let n(s) = -s**3 + 20*s**2 - 28*s + 36. Does 36 divide n(w)?
True
Suppose 2*k = -2*i + 6, 2*k + 8*i - 2 = 5*i. Let j(t) = t**3 - 6*t**2 + 5*t + 1. Does 10 divide j(k)?
False
Let b = -13 - -16. Let t(r) = 58*r**3 + r + 1 + 7*r**2 - 19*r**3 - 17*r**3 - 20*r**3. Is 11 a factor of t(b)?
True
Let h = -74 - -84. Suppose 4*u + h*j - 5*j + 25 = 0, -2*j = -2*u + 10. Suppose 3*d - 18 = -u*d. Is d a multiple of 5?
False
Let d = 790 + -778. Suppose -11*f - 3*j - 333 = -d*f, 0 = -5*f + j + 1609. Is 33 a factor of f?
False
Suppose -5*j + h = -30603, -4*j - h - 8994 = -33471. Does 30 divide j?
True
Let l(q) = 5*q**3 + 19*q**2 - 24*q + 23. Is l(10) a multiple of 3?
False
Let p(i) = i**3 - 13*i**2 + 23*i - 19. Let g be p(13). Let k = g + -267. Is 12 a factor of k?
False
Suppose 49*v + 16*v - 665057 = -6*v. Is 17 a factor of v?
True
Is 25 a factor of (-6160)/6*39930/(-847)?
True
Let v be 3/18 + 7480/48. Let t = 97 + v. Does 23 divide t?
True
Let w(k) = -2*k - 2. Let x(v) = v. Let z(j) = -w(j) - x(j). Let i be z(0). Suppose i*y + m - 120 = 0, -3*m + 108 = 2*y + m. Does 31 divide y?
True
Suppose -394 + 2614 = 3*m. Is (-3)/6 - m/(-8) a multiple of 7?
False
Let v(q) = -12*q + 46. Suppose 20*f - 1321 - 739 = 0. Suppose -38 + f = -5*d. Is v(d) a multiple of 35?
False
Suppose 0 = 17*n - 200177 + 84084. Is 83 a factor of n?
False
Let w be 2/(-3)*(-9)/2. Let h be -4 + (1605/5)/(w/(-2)). Is 43 a factor of h/(-3 + (4 + -2)/1)?
False
Let y be 2*(-4)/(32/(-52)). Let h = 17 + y. Is 6 a factor of 1/((-14)/(-36)*h/280)?
True
Suppose -8*y - 37 = -3*r - 4*y, 5*y + 38 = 3*r. Let d be (-638 + -1)*r/(-33). Let u = -96 + d. Does 9 divide u?
True
Let q(v) = v**2 + 51*v + 119. Let i be q(-49). Let f(t) = -137*t - 3. Let x be f(-3). Suppose -i*r = -25*r + x. Is 34 a factor of r?
True
Suppose -3*d + 2*c + 19954 = 0, 2*c + 2*c = -3*d + 19978. Does 50 divide d?
False
Let f = 7 - 2. Suppose -18 = -3*q + f*q + 4*c, -23 = 3*q + 4*c. Is ((-6)/q)/(4/130) + 1 a multiple of 5?
True
Let s(i) = -5*i**3 - 20*i**2 - i - 2. Let n be s(-4). Let a be 6/4*8/3. Suppose o - 6*o - a*d + 662 = 0, 526 = 4*o + n*d. Does 26 divide o?
True
Let j(h) = -3 - 5 + 5 + h**2 - 1 + 4*h. Does 8 divide j(-14)?
True
Let h = -8575 + 12887. Is h a multiple of 56?
True
Let l = -1270 - -2392. Is 17 a factor of l?
True
Let p(m) = 0*m**2 - 10*m + m**3 + m**2 - 50 + 2*m**2 + m**2 + 6*m**2. Does 2 divide p(-7)?
False
Is 193 a factor of 48247/5 - ((-527)/620 + 5/20)?
True
Let j = 6227 + -3306. Suppose 1399 = 9*l - j. Is l a multiple of 32?
True
Let z be (19 - 7 - 6) + -2. Let l(v) = 4*v**3 + 4*v**2 - 2*v - 8. Does 6 divide l(z)?
False
Let u(x) = x**3 - 2*x**2 - 3*x - 1. Let j be u(4). Let p = 7836 - 7831. Let t = p + j. Is 24 a factor of t?
True
Let r(q) = 21*q + 16. Let b(k) = k - 1. Let g be b(7). Let o be r(g). Let d = o - 90. Is d a multiple of 26?
True
Let x = 51 - 43. Let v be 2 + -1 + x + -5. Suppose -2*c = -v*y - 80, -y - 2*y = -5*c + 235. Is 5 a factor of c?
True
Suppose -14*f = 8*f + 14188 - 70156. Is 48 a factor of f?
True
Suppose -3*s =