uppose -4*u = -4*v - 76, -3*u + 6*u + 51 = -3*v. Let i = 224 + -67. Let t = i - v. Is 46 a factor of t?
False
Does 3 divide (325665/75)/3 - (-2)/(-5)?
False
Is 6 a factor of (32 + -61 + 37)*(301 + 1)/2?
False
Does 13 divide (10 + (-11616 - -5))*(-7)/((-84)/(-104))?
True
Does 5 divide (-8)/(-12)*109*243/54?
False
Let z = -137 + 137. Suppose z = 4*h + 9 + 487. Let n = h + 174. Is n a multiple of 10?
True
Does 23 divide (11614 - -1)*(-8 - -9)?
True
Suppose -p = 3*d - 41, 4*d + p - 28 = 25. Suppose 3*i - 2*f - d = 0, 4*i + f = 3*f + 14. Suppose 4*g + g = -5*t + 70, -i*t = -2*g + 44. Does 2 divide g?
True
Let s = 134 + -128. Does 4 divide 576/80*80/s?
True
Suppose -5*g + 62 = 42, q - g = 11896. Is 7 a factor of q?
True
Suppose -340 - 72 = -2*a - 2*z, 0 = 5*a - 4*z - 1012. Let t = a - 153. Is t a multiple of 17?
True
Suppose 0 = 3*v + 2*u - 163, -2*u - 28 = -v + 21. Suppose -2*r + v = 4*w - 7*r, 0 = -2*w - 3*r + 21. Suppose 69 = b - w. Is 27 a factor of b?
True
Suppose 0 = -373*u + 372*u + 47. Suppose 0 = -54*d + u*d + 889. Is 22 a factor of d?
False
Let l = 35113 - 13749. Suppose 52*d - 24*d = l. Is 7 a factor of d?
True
Suppose 16*k = -32 - 0. Is 6 + (k - -5 - -453) a multiple of 16?
False
Suppose 1117*x = 1054*x + 1160838. Is x a multiple of 37?
True
Suppose 3*n - 33945 - 28862 = -15647. Is n a multiple of 15?
True
Is 141 a factor of 10*10314/225*(-525)/(-10)?
False
Let j(o) = o**3 + 3*o**2 - 2*o + 7. Let v(s) = 2*s**2 - 14*s - 4. Let z be v(7). Let c be j(z). Is 26 a factor of c + 22/14 + 6957/63?
False
Let y(i) = 10 + 17*i + 33 + 18*i**2 - 9 + 0 - i**3. Let a be y(19). Is (a + 18)*6 - -4 a multiple of 9?
False
Let n = 1733 + 1987. Suppose 5*w = 4430 + n. Is w a multiple of 10?
True
Let r(n) = n**3 - 14*n**2 + 32*n + 9. Let w(l) = -l**3 + 13*l**2 - 32*l - 9. Let i(z) = 4*r(z) + 3*w(z). Let p be i(14). Let v = -43 - p. Is v a multiple of 23?
False
Let v be (-3984)/54 - (-6)/(-27). Let n(l) = -6*l + 35. Let g be n(-17). Let r = v + g. Is r a multiple of 33?
False
Let w(y) = 2233*y + 3034. Is 314 a factor of w(7)?
False
Let k(z) = -31*z - 13. Let y = -440 + 436. Is k(y) a multiple of 3?
True
Let i be 7 - (-19855)/40 - (-12)/(-32). Does 9 divide 20/8 + -2 + i/2?
True
Suppose 8 = 4*r, 0 = 4*k + 4*r - 16 - 4. Suppose n - 22 - 15 = k*y, -233 = -5*n - y. Is n a multiple of 11?
False
Suppose -6 = -f - 5*h + 30, -f + 4*h = -9. Suppose -7*g = -f*g + 4900. Is 50 a factor of g?
True
Let j be (-405)/(-21) + 9/((-567)/18). Let b = 5 - 8. Let r = b + j. Is 3 a factor of r?
False
Let a be 12/(-66) + (-1)/(22/458). Let x = a + 29. Suppose x = 3*g - 100. Is g a multiple of 18?
True
Suppose -132 = -8*h - 52. Let l be (23 - 0)*(h/(-2) - -12). Let b = -85 + l. Is 4 a factor of b?
True
Suppose -5*p = -2*h - 8*p + 23, 2*h + 7 = 3*p. Is (2 - (h - (0 + 130))) + -3 a multiple of 5?
True
Let t(u) = u**2 + 19*u + 37. Let d be t(-17). Suppose 5*j = v + 791, 0*j - d*v - 477 = -3*j. Does 7 divide j?
False
Suppose 31 = y - 20. Let k = -48 + y. Suppose 0 = -2*a + 4, -5*b - k*a + 18 = -4*b. Is 3 a factor of b?
True
Suppose s + v = 5355 + 3417, s = v + 8778. Is s a multiple of 39?
True
Let a be (0 + 3)*(-2)/2. Suppose 7611 = -67*z + 8*z. Is z/a - (-4 - -8) a multiple of 4?
False
Let q = -13750 + 23310. Does 6 divide q?
False
Suppose 5*k + 37117 = 2*n, 29*k = 4*n + 32*k - 74325. Is n a multiple of 54?
True
Suppose -48*k + 36*k = 23*k - 377300. Is 55 a factor of k?
True
Let f(x) be the third derivative of x**5/60 - 7*x**4/24 + 2*x**3 + 21*x**2. Let v be f(6). Is (1/((-5)/134))/(v/(-15)) a multiple of 18?
False
Let l(m) = -m**3 + 7*m**2 + 5. Let z be l(7). Let v be 3*(1 + z + -24). Is 12 a factor of v*(46/(-6) + 5)?
True
Suppose -3*i + 985 = -5*a, a - 4*i + 71 = -143. Let t = -6 - a. Is 9 a factor of t?
False
Let u be 8 + ((-2)/(-4))/((-2)/(-8)). Suppose -2*j - 10 + u = 0. Suppose j = -6*h + 7*h - 72. Is h a multiple of 8?
True
Suppose -2*x = -16*x + 9282. Suppose x = -7*a + 1783. Does 3 divide a?
False
Let j = 17223 - 7380. Does 78 divide j?
False
Let d be ((-16)/12 + 1)*-2802. Let f be (-4)/(-14) - (d/(-14) + -2). Let w = 153 - f. Is w a multiple of 14?
True
Suppose 0 = g + 4, 11*v + 82 = 10*v - 3*g. Does 52 divide 2/(-7) - (14 - (-40410)/v)?
False
Let s be ((-4)/(-8))/1*6. Suppose -63 = -s*y + 3*c, 6 = 4*c - c. Let u = 243 - y. Is u a multiple of 20?
True
Let l = 29 - 54. Let q = 29 + l. Suppose -7*u + 612 = -q*u. Does 17 divide u?
True
Let c = 18845 - 17321. Does 37 divide c?
False
Let l(q) = q**3 - 45*q**2 - 39*q + 68. Is l(46) a multiple of 15?
True
Suppose 0 = 5*p + c - 4305, 19*p = 21*p + 5*c - 1745. Is 10 a factor of p?
True
Let x(y) = 618*y + 146. Does 10 divide x(4)?
False
Suppose -2*a = 613*t - 616*t + 500, 496 = 3*t - 4*a. Does 3 divide t?
True
Is 24/(-84) - (-1)/((-28)/(-28792)) a multiple of 6?
False
Let r be (600/18)/(2/6). Suppose 4*n - r - 61 = -3*w, -2*w + 104 = n. Does 15 divide 18/(-3 + w/15)?
True
Suppose 2*l - 1 - 7 = 0. Suppose -51*w = -4*w - 752. Suppose -l*j + 64 = w. Does 4 divide j?
True
Suppose -204*w = -r - 208*w + 6984, 0 = -2*w + 6. Is r a multiple of 4?
True
Suppose 4*b = v - 32371 + 209701, 0 = 3*b + 3*v - 132990. Does 23 divide b?
False
Let h(y) be the third derivative of -y**6/120 - y**5/30 - 5*y**4/24 - 19*y**3/6 + 3*y**2. Let s be h(-3). Suppose -s*b + 207 = 4*b. Does 23 divide b?
True
Suppose -3*q - 3*s + 7710 = 0, 0 = 5*q + 1259*s - 1262*s - 12874. Is q a multiple of 26?
False
Suppose 21*n = 120*n - 267277 - 60512. Is n a multiple of 44?
False
Let a = 8 - 6. Suppose 3*u + 5*z = 6*u - 6, -a*u - 5*z = -29. Suppose 0 = -4*d + 5*j + 7 + u, -5*d + 5*j = -20. Does 6 divide d?
True
Let d = 9285 + -1365. Is d a multiple of 44?
True
Let i(b) = -51*b - 5. Let u(w) = w + 1. Let o(h) = -i(h) - 4*u(h). Let z = 90 + -89. Is 16 a factor of o(z)?
True
Let x = 61 + -63. Is 34 a factor of -3 - (0 - (-12)/x) - -507?
True
Suppose 12*h + 2*c - 31232 = 0, 5*c + 993 = 4*h - 9395. Is 144 a factor of h?
False
Let o(x) = 241*x**2 - 99*x + 8. Is o(-3) a multiple of 12?
False
Let u = -12 + 19. Suppose 15 - 43 = -u*c. Suppose 5*z + c*b = 330, -5*z - 2*b - 67 = -407. Is z a multiple of 26?
False
Is (-39949)/39*2/((-32)/12 - -2) a multiple of 22?
False
Let f = 321 - 209. Let o = -61 + 143. Suppose x - 5*i = f, -o = -x + i + 14. Is 29 a factor of x?
False
Suppose -3*x - 15 = -3*a, 4*a + 0*x = 2*x + 20. Let k be -4*(a/2 - 3). Suppose -k*t - 6 = -4*t. Does 3 divide t?
True
Let f(u) = 5*u**3 + 46*u**2 + 54*u - 71. Let g be 27/18 - (-18)/(-4). Let s(h) = 2*h**3 + 15*h**2 + 18*h - 24. Let b(j) = g*f(j) + 8*s(j). Does 8 divide b(19)?
True
Let h be (-5 - -2)/(33/55). Let r(t) = 2*t**2 + 8*t - 10. Let j be r(h). Suppose 8*b + 553 - 2089 = j. Is 32 a factor of b?
True
Suppose 802*w - 798*w + 23044 = 4*m, -w = -3*m + 17281. Is m a multiple of 170?
False
Let j(q) = q**2 - 11*q - 2. Let r be j(12). Let c be (r/(-10))/(1/(-126)). Suppose -c = -z + 3*b, -b + 8 = 3*b. Is z a multiple of 44?
True
Suppose h = -3*o + 79, -7*o + 127 = -2*o - 3*h. Let w = o + -22. Suppose 0 = -0*s - w*s + 108. Is s a multiple of 8?
False
Suppose 4*s + 12 - 4 = 0, -j - 5*s + 202 = 0. Suppose 2*r - 5*o = 71, 4*r - 8*r + j = 4*o. Does 4 divide r?
True
Let g = 19541 + -11360. Does 9 divide g?
True
Does 55 divide (33 + 0)/((-4)/92 + 0)*-5?
True
Let k = 11937 + -7845. Is 22 a factor of k?
True
Let y = 8624 - 7173. Is y a multiple of 90?
False
Let h(t) = -t**3 + 9*t**2 + 10*t + 9. Let i be h(10). Suppose -4*n - 32 - i = r, -n = 0. Let f = r - -86. Does 9 divide f?
True
Suppose 3*s - 2*s = l + 3, 0 = -s - 2*l + 3. Let q be (-4)/(-6) - (-8)/s*41. Suppose -4*v = -5*d - 249, 5*d - 29 = v - q. Is v a multiple of 6?
False
Let f = -2059 + 3754. Is f a multiple of 15?
True
Is (-65772)/2*6/(-7) a multiple of 174?
True
Suppose -297*p = -301*p + 4, -4*y + 4*p = -50900. Does 13 divide y?
False
Let j = -3752 - -4722. Is 5 a factor of j?
True
Let l(m) = 9*m**2 + 6*m - 12*m + m - 12 - m**3. Let r be l(7). Suppose -r = -4*b + 5. Is b a multiple of 14?
True
Suppose 5*c = -2 + 12. Let l be c - 3 - (-4 + 5). Let j = l + 50. Does 23 divide j?
False
Suppose 178*d - 168*d + 40 = 0. Is 47 a factor of (-2567)/(-5) - d - 16/40?
True
Let d be 5 + -2 - (3 - (-5 + 7)). Does 11 divide (111 + -1)*(21/(-14) + d)?
True
Let a(y) = -117*y - 1260. 