= -3*y - i*l, 0 = -2*y - 5*l - 4. Is ((-4)/y)/(42/(-315)) a multiple of 5?
True
Suppose 1693*s + 5*b + 20771 = 1697*s, s - 4*b - 5212 = 0. Is s a multiple of 72?
True
Let w = -172 - -18. Let d = 591 + w. Is 29 a factor of d?
False
Suppose 2*j - 11271 = 3*w, 4*j + 3*w = 15368 + 7255. Is 7 a factor of j?
True
Suppose 3 = 3*m, -6*x - 14 = 5*m - 30325. Does 96 divide x?
False
Let x = 13 - 1. Let s be -2*(x/21 + 50/35). Is s + (-5)/(-10)*232 a multiple of 7?
True
Let r = -252 + 522. Suppose 2*x - r = -4*j + 210, 729 = 3*x - 3*j. Is 16 a factor of x?
False
Is 44 a factor of (-18)/(-225) - ((-55052672)/(-200))/(-8)?
True
Suppose -3*b - 109548 = -5*k, 0 = 5*k + 2*b - 13*b - 109516. Does 88 divide k?
True
Suppose 3*h = -5*n + 8*h - 160, 2*n + 5*h + 43 = 0. Suppose 2*u = 5*u - 177. Let j = u + n. Is 5 a factor of j?
True
Suppose d = 4*y + 16, 0 = -3*d + 2*d - 4*y - 8. Suppose d*r = 932 + 5364. Is r a multiple of 11?
False
Let l(x) = 7*x**2 + 2*x + 1. Let s be l(-3). Let f = s - 62. Does 12 divide (78 - f) + 2 + 0?
True
Let b be (-817)/4 + (-87)/116. Let s = 421 + b. Is 10 a factor of s?
False
Suppose -13592 = -s - 2*i, -17341 = -3*s + 4*i + 23475. Does 17 divide s?
True
Let a(i) = -3*i**3 + 3*i**2 + 29*i + 107. Does 8 divide a(-11)?
True
Suppose 6*h = 10 + 2. Suppose 23 = 4*a - 3*l + h*l, -3*l - 29 = -4*a. Suppose 0 = 8*n + a*n - 195. Is n a multiple of 2?
False
Let o = -10287 - -16014. Does 10 divide o?
False
Let q(w) be the first derivative of -41*w**2/2 + 11*w - 44. Does 9 divide q(-5)?
True
Let n(m) = 2*m + 1. Let v(k) = -26*k + 79. Let r(w) = 3*n(w) + v(w). Is 13 a factor of r(-17)?
False
Is 12 a factor of (12 - -3668) + -4 + -5?
False
Let c = -75 + 80. Suppose 0 = c*v - 5*y - 475, v - 4*y = -2*y + 99. Suppose -10*q = -3*q - v. Is q even?
False
Let o be 86/(15/((-930)/4)). Is (7 + o)/(5/(-5)) a multiple of 51?
True
Let o(i) = i**3 - 9*i**2 + 13*i - 12. Let z = -101 + 79. Let y = z + 30. Does 14 divide o(y)?
True
Suppose 9*d - 98 = 10. Suppose d*h - 4544 = 16. Does 19 divide h?
True
Suppose -164*h - 1722 + 648538 = 0. Is h a multiple of 29?
True
Suppose 2394264 - 202658 = 73*n. Is n a multiple of 86?
False
Let i = 46250 + -23950. Does 25 divide i?
True
Is 9 a factor of (-37510)/5*(78/4)/(-13)?
False
Suppose 0 = v + 4*t - 9*t + 4, 5*v = -5*t + 10. Is 72 a factor of 459/v + 10 + -9 + 4?
False
Let t = 6451 + -3303. Does 15 divide t?
False
Let w(j) = -22*j + 4. Let o be w(-1). Suppose 25*s - o*s = -348. Is 12 a factor of s?
True
Suppose s = 4 - 2. Suppose s*y - 7*y = 0. Let i(q) = 8*q + 189. Does 27 divide i(y)?
True
Let a be (-1)/6 + (-3 - 46119/(-18)). Let y = -1798 + a. Does 10 divide y?
False
Let k(p) = 3*p - 15. Let c = -9 - -14. Let n be k(c). Suppose n = -s - 3*s + 220. Is s a multiple of 5?
True
Let h(d) = -9*d - 12. Let n be h(-2). Suppose 0 = -n*j + 2*j + 32. Suppose 0 = 3*v - 38 + j. Is 4 a factor of v?
False
Let v(i) = -22 + 84*i**2 - 177*i**2 + 6*i + 94*i**2. Let n = -32 + 14. Is v(n) a multiple of 17?
False
Let t(h) = 18*h + 225. Let s be t(16). Let w = s + -503. Is w a multiple of 4?
False
Let n = -112 + 189. Let u = n - 87. Is 95 - 16 - u/2 a multiple of 6?
True
Is (-39176)/((2 - 5 - 4) + 5) a multiple of 166?
True
Let u be 3*(-4 - -393)*1. Let l = u + -749. Suppose -47 = -5*r + l. Is 6 a factor of r?
False
Let s = -4059 - -3719. Let r(v) = -6*v**2 + 3*v - 3. Let k be r(5). Let w = k - s. Is w a multiple of 39?
False
Suppose 0 = 5*x + 10, -4*m - x - 10 = -0*x. Let r be (6 - m) + ((-2)/(-2) - 1). Suppose 4*d - r*p - 43 = -3*p, 0 = -5*d - p + 61. Is d a multiple of 4?
True
Suppose -g - 1899 + 545 = -2*r, 5*g = r - 695. Suppose 3*n = -m + 360, -r = -7*m + 5*m + 3*n. Does 18 divide m?
False
Let p(u) = 19*u**2 - 3*u - 5. Let f be (4 - 20/5) + 0. Let a = -2 - f. Is p(a) a multiple of 11?
True
Let o = -57 - -40. Let r(x) = 4 - 13*x + 199*x**2 - 700*x**3 - 183*x**2 - 3*x + 701*x**3 + 27. Is 7 a factor of r(o)?
True
Suppose -23*l = -25*l - 136. Let g = 65 + l. Does 5 divide g/2*(6 - (-242)/(-3))?
False
Suppose -3698 = -4*n + 3*w - 0*w, -2761 = -3*n - 4*w. Let j = n + -638. Does 19 divide j?
True
Let p = -62689 - -98409. Is 190 a factor of p?
True
Suppose -29 = -5*x - 234. Let r = 2124 + -2073. Let a = r + x. Is 5 a factor of a?
True
Let d = 72 - 64. Suppose -12*a = -d*a - 392. Suppose 3*r = -4*r + a. Is r even?
True
Suppose 4 = l - 0*l, -5*l = -2*b + 1812. Is b a multiple of 48?
False
Let r = -7125 + 11307. Suppose 0 = -18*d + d + r. Is 18 a factor of d?
False
Suppose 0 = -65*x + 24449 + 16501. Does 45 divide x?
True
Suppose -6*r + r - 6*x = -28956, -2*r + 11579 = -x. Is 15 a factor of r?
True
Let v(q) = q**3 + 17*q**2 + 17*q + 15. Let j be v(-16). Let b(r) = 9*r + 5. Let a be b(j). Is 17 a factor of 120/28 + a - (-948)/14?
True
Is (3119 - 12/(-4)*3)/1 a multiple of 46?
True
Suppose 7*m + 138027 = 3*w, 7*m - 5*m - 230168 = -5*w. Does 44 divide w?
False
Suppose 961 + 59 = -3*b - 3*s, 4*b + 1381 = 3*s. Let v = b + 511. Is v a multiple of 12?
True
Suppose -42*t - 922304 = -106*t. Does 17 divide t?
False
Suppose 0 = 2*d + 5*d - 7. Let n be 3 + (0 - 2) + d. Suppose -f = 2*x - 340, n*f + 676 = 4*x + 3*f. Does 28 divide x?
True
Let m(w) = 16*w - 268. Let d(u) = -2*u**3 + 12*u**2 - 3*u + 47. Let b be d(6). Does 15 divide m(b)?
False
Let d = -74 + 81. Suppose 0 = q - 3*z - d, -18 = 2*q - z - 57. Suppose 574 = -15*j + q*j. Is 20 a factor of j?
False
Let c be (-1 - -37)/((-78)/(-12) + -5). Let t(o) = 7*o + 3*o**2 + 11*o + c + 2*o**2 - 6*o**2. Is t(9) a multiple of 9?
False
Let x(j) = j**3 + 21*j**2 + j + 25. Let t be x(-21). Is 35 a factor of (-12)/462*-16163 - t/(-22)?
True
Suppose -86 + 62 = -8*v. Suppose 5*j = -4*n + 300, -7*n + 11*n + v*j = 308. Is n a multiple of 16?
True
Suppose -2*p + 9*p = 35. Suppose -29 - 30 = 5*k + l, 2*k = p*l - 29. Let r(z) = 2*z**2 - 2*z + 29. Does 46 divide r(k)?
False
Let m(z) = -2*z**3 + 5*z + 2. Suppose 9*h + 10 = -35. Is m(h) a multiple of 11?
False
Let b = -38 - -50. Let o be b/(-30) - (-22)/5. Suppose -168 = -4*d + o*s, -3*s + 87 = 4*d - 60. Is d a multiple of 13?
True
Let g(u) = -6*u**3 - 47*u**2 + 37*u + 12. Is g(-15) a multiple of 21?
False
Suppose -604 = -12*u - 1684. Suppose 2*r + 1 = -o - 3, -7 = -2*o + r. Is (-5922)/u + o/10 a multiple of 21?
False
Let f = 927 - -199. Suppose -2*o + 5*o - 1136 = 5*i, -3*o = 5*i - f. Is o a multiple of 13?
True
Suppose -5*c = -5*q - 6942 - 7178, -q = -3*c + 8472. Is 72 a factor of c?
False
Let r(b) = 3*b**3 + 9*b**2 + 24*b + 9. Let z be r(-4). Is (2673/z)/(6/(-70)) a multiple of 11?
True
Suppose -3*y + 946 = -o, y - 83 = o + 235. Is y a multiple of 10?
False
Let z be (-142)/10 - (-3)/15. Let p be (-17 - -8) + (-2)/4*2. Is 7 a factor of (z/(-3))/(p/(-45))?
True
Let w = -25 - -25. Suppose -2*i + 7*i - 4*j - 691 = w, 0 = -5*i - 2*j + 667. Suppose 4*y - y - 3*b = i, 2*b + 176 = 4*y. Does 27 divide y?
False
Let i(d) = 14*d - 15 - 12 + 0*d**2 + 2*d**2 + 3*d**2. Is i(-6) a multiple of 2?
False
Suppose 3*q + 4*y = 41730, 3*q + 5*y + 2706 = 44442. Is 44 a factor of q?
False
Let f be (-8 + -9 + 12)*241. Let c = 516 - f. Is 24 a factor of c?
False
Let l(y) = 37613*y - 3423. Is l(1) a multiple of 26?
True
Does 20 divide ((-84)/5)/((-150)/2500)?
True
Let s be (4/5)/((-12)/(-90)). Let k be ((-12)/14)/s + 71/7. Suppose -7*v = -k*v + 153. Is v a multiple of 17?
True
Suppose 112*l = 118*l + 546. Suppose -3*m + 6 = i - 144, 2*m + 135 = i. Let q = i + l. Is 13 a factor of q?
False
Is ((-11466)/12 - -10)/(1/(-28)) a multiple of 149?
False
Let j be (8/(-6))/(-3 + 5716/1908). Suppose -27*u + j = -26*u. Is u a multiple of 53?
True
Let p be -1 - -4 - (-1 + 42). Let w = -44 - p. Let l = 18 - w. Does 5 divide l?
False
Let v(w) = -6*w**2 + 28*w + 12. Let f be v(5). Suppose 0 = f*i - 8, l + 0*l - 2*i - 159 = 0. Is 11 a factor of l?
False
Suppose 7*j - 106442 = -3*k, 3*k - 106438 = -384*j + 379*j. Is k a multiple of 196?
True
Suppose -24*t + 39*t - 2070 = 0. Is 13 a factor of t?
False
Let p(m) = -5*m**2 - 4*m + 64. Let a be p(-12). Let y = -257 - a. Is 16 a factor of y?
False
Suppose 2*d - 5*d + 81 = 2*l, 3*l = d - 16. Suppose -p + 79 = 3*m, 4*p = -p - d. Is m a multiple of 9?
False
Suppose 16*r - 80 = -4*r. Suppose 10*n - r*n - 78 = 0. Does 13 divide n?
True
Suppose -12*j + 4*c = -15*j - 2695, 4*j = 3*c