20). Suppose -2*r = q*l - 6*l - 595, 0 = -4*r - 3*l + 1191. Does 38 divide r?
False
Let j(i) = -i - 3*i - 32 + 7*i**2 + 32 + 31*i**2. Let k be ((-5)/4)/5*-4. Is 11 a factor of j(k)?
False
Let y = -9980 + 34204. Is y a multiple of 54?
False
Let r(g) = 32*g**3 - 3*g**2 + 41*g - 16. Is 6 a factor of r(4)?
True
Let k = -83 - -184. Suppose o - 81 = -2*b + 2*o, 0 = 2*b - 5*o - k. Is b a multiple of 19?
True
Let b be ((-1692)/(-10))/(8/(-20)). Let f = b + 609. Is 6 a factor of f?
True
Let l = 259 - 239. Suppose -l*x = -22*x + 798. Does 21 divide x?
True
Is 56 a factor of (-1 - 111/(-6))*68482/485?
False
Let a = 25 + -40. Does 21 divide 1 - 1554/a - 18/(-45)?
True
Let u be 110/15 - 6/(-9). Let p(a) = u - 3 + 25*a - 2. Is 37 a factor of p(3)?
False
Let v = -716 - -1279. Let d = -377 + v. Does 31 divide d?
True
Let t(q) be the second derivative of -q**5/20 + q**4/6 - q**3/3 - 9*q**2/2 + q - 13. Does 22 divide t(-4)?
False
Let p = 11838 - 3478. Is 40 a factor of p?
True
Suppose r - r + 174044 = 26*r. Is 5 a factor of r?
False
Let g(v) be the second derivative of -31*v**5/10 + v**4/6 + v**3/3 + v**2/2 - 19*v. Let l be g(-1). Does 29 divide (l/14 - 3)*58/3?
True
Suppose -u - 15*u = -80. Suppose -23*b = -u*b - 1710. Does 19 divide b?
True
Suppose 34355 - 43932 = -8*m + 48407. Is m a multiple of 16?
True
Suppose 4*l - 4*c = 326 - 70, c = 4. Suppose -l = 2*y + 2*x, 2*x = 5*y + 3*x + 178. Let i = y - -108. Does 12 divide i?
True
Suppose 24*n + 4*n = -196. Let w(u) = -116*u - 85. Is 10 a factor of w(n)?
False
Let d be ((-789)/6 + -3)*-6. Let u = d + 117. Is u a multiple of 11?
True
Does 88 divide 8/21 + (-24)/84 + 414496/21?
False
Let g = 344 - -2765. Does 11 divide g?
False
Suppose -10*r - 4147 + 17587 = 0. Suppose -4*p - 5*f - r = -8*p, -4*f = 0. Is 7 a factor of p?
True
Let x(c) = 2*c**3 - 29*c**2 - 24*c - 7. Does 56 divide x(23)?
False
Is ((-45)/(-5))/18*2414/1 a multiple of 45?
False
Suppose 7173 = -2*r + 2*t + 34007, 0 = -4*r + t + 53644. Does 13 divide r?
False
Let l(w) = 208*w**3 - 2*w**2 + 18*w - 27. Is l(3) a multiple of 35?
False
Is (856/(-16) + -11)*(-239 + -1) a multiple of 172?
True
Let c = 106313 + -65636. Is 21 a factor of c?
True
Let y = 94 - 79. Suppose -2322 = -y*o + 6*o. Let d = o + -165. Does 31 divide d?
True
Suppose 0 = 3*u - 143 + 80. Let m(z) = 3*z + 7. Is 15 a factor of m(u)?
False
Suppose 0 = 126*u + 130*u - 4210176. Is 78 a factor of u?
False
Let i(v) be the first derivative of -v**4/4 + v**3/3 + v**2/2 + 353*v - 45. Is i(0) a multiple of 31?
False
Suppose 7511 = 4*n - 9*t + 10*t, -7*t = n - 1871. Is n a multiple of 6?
True
Suppose 5*q + 14650 = i, 41834 = 5*i - q - 31344. Does 20 divide i?
False
Suppose -108495 = 129*n - 174*n. Is n a multiple of 12?
False
Suppose 11*q - 6491 = -8*q + 15587. Is 12 a factor of q?
False
Is ((-72459)/332)/(9/(-96)) a multiple of 97?
True
Let k(i) = -126*i**2 - 10*i - 19. Let y be k(-2). Let m = y - -1353. Does 12 divide m?
False
Suppose 21*u - 25*u = -48. Suppose -2*i - 2 = -u. Suppose 0 = -i*p + 500 + 95. Is 21 a factor of p?
False
Let f be (-7)/2*(-5 - 9). Suppose -3*j - 2*j - 15 = 0, 0 = 4*b + 5*j - f. Suppose 5*y = 3*y + b. Is 2 a factor of y?
True
Let n(c) = c**3 + 4*c**2 + 115*c + 601. Let v be n(-6). Let a(b) = -b**3 + 8*b**2 - 7*b - 4. Let s be a(6). Let u = s - v. Does 11 divide u?
True
Let p = -28 - -24. Let m(w) = -220*w + 17. Let o be m(p). Suppose v - 541 = -3*t, 4*v + o = 5*t + v. Is 29 a factor of t?
False
Let u be (-2)/(4/1) + (-294)/(-84). Suppose -1213 = -l + u*i, 0 = -3*l + 5*i - 4*i + 3663. Is 47 a factor of l?
True
Let k = -539 - -120. Let r = -207 - k. Suppose -4*o - 4*c = -r, c = 2*o - c - 94. Is 10 a factor of o?
True
Let s(m) = m**3 + 22*m**2 + 2*m - 14. Let v(z) = 2*z**3 + 45*z**2 + 4*z - 28. Let y(k) = -7*s(k) + 3*v(k). Is y(-19) a multiple of 4?
True
Let p = 2148 + -2122. Suppose -j - 4 = 0, -3*j = -4*t - 6 + 30. Suppose -1 - p = -t*b. Does 3 divide b?
True
Does 5 divide 3 + (-3 + (-99)/(-18))*(-11668)/(-10)?
True
Suppose 0 = 24*o - 21*o - 2*u - 2340, -4*u - 3120 = -4*o. Does 12 divide o?
True
Suppose -25*s + 14*s + 14*s - 24510 = 0. Is 25 a factor of s?
False
Let z = -41 + 44. Suppose -100 = z*f - 2*f. Let p = 205 + f. Is p a multiple of 21?
True
Suppose 5*z = -4*w + 9258, 4*w - z = -5*z + 9264. Is w a multiple of 85?
False
Suppose 5*g = 4*p + 2 - 24, 0 = -4*g + 2*p - 20. Let q be (-2)/(3/27*(-9)/g). Let n = q + 72. Is n a multiple of 12?
True
Let y(u) = -u**2 + 13*u. Let z be y(12). Suppose -365 - 2011 = -z*a. Does 33 divide a?
True
Suppose 33*l - 85079 - 137671 = 0. Suppose -l = 3*t - 12*t. Is 15 a factor of t?
True
Let c(a) = 2*a**2 + 2*a - 12. Let l be c(3). Suppose -8*z + 4*w = -l*z + 5064, 2*z - w = 2520. Is z a multiple of 92?
False
Suppose 0 = 128*s - 117768 - 72312. Is s a multiple of 45?
True
Is ((-693712)/(-44) - -10) + (-12)/66 a multiple of 9?
False
Suppose 39*f + 2575760 = 79*f. Is f a multiple of 11?
True
Let a be 2/3 - 4/(-3). Suppose i - 4*y = 80, 4*y + 16 - 116 = -a*i. Is i a multiple of 30?
True
Suppose -4*g = -0*g - k - 13, -6 = 2*g + 2*k. Suppose -i + 0*b + 2*b = -106, -5*b = g*i - 167. Suppose m + i = 3*m. Does 16 divide m?
True
Suppose 5*i = 5*r + 255, 0 = r - 6*i + 2*i + 48. Let s be 4 - r/(-14) - 44/7. Is 12 a factor of -16*(-2)/(-2)*s?
True
Let h be (0 - 12/(-14))/(13/182). Suppose 6*i = h*i - 1536. Is 16 a factor of i?
True
Is 26761 + (2/3*-1 - (-2340)/(-702)) a multiple of 9?
True
Let q be (-2815)/2*3/(-15)*12. Suppose 3*j + j = 3*p + q, 0 = 5*p - 10. Is j a multiple of 47?
True
Let u be (6 - 1000/(-24))*540. Suppose u - 8247 = 17*n. Is n a multiple of 49?
True
Let d = -18080 + 23748. Is 9 a factor of d?
False
Let s(y) = -4*y - 31. Let c be s(-9). Suppose 15*k = c*k + 50. Let m(n) = 4*n**2 + 9*n - 18. Is m(k) a multiple of 25?
False
Suppose 2*b + 5*m = 25, b = 4*m - 17 + 10. Suppose -342 = -3*n - 2*r, 0 = -b*n - r + 2*r + 570. Does 18 divide n?
False
Let y be ((-6356)/(-7) - -4) + -4. Suppose z + 1368 = 4*z + 3*k, y = 2*z + 3*k. Is 23 a factor of z?
True
Suppose -5*d + 2 - 6 = -2*j, 0 = 5*j - 4*d - 10. Let c(x) = -9*x + 18. Let i be c(j). Does 27 divide i + (1 - 4) + (311 - 1)?
False
Does 5 divide ((-7283)/(-3))/(26 + (-77)/3)?
False
Let q(i) = 0*i**2 - 5*i + i**2 + 2 + 0*i. Let c(z) = z**2 - 16*z - 1087. Let s be c(-26). Is 2 a factor of q(s)?
True
Suppose 0 = 2*l + r + 27, 13 = 5*r + 18. Let a(s) = -2*s**2 - 30*s + 18. Is a(l) a multiple of 8?
False
Let j be 8*(-4)/(-8)*-1 + 15. Suppose 36 = o + d, 15*o - j*o = -2*d + 144. Does 18 divide o?
True
Suppose -q + 270 = 3*y - 2*y, 2*q = -y + 536. Suppose -q = -4*l + 202. Is 39 a factor of l?
True
Suppose 0 = 3*w - 5*b - 109, 2*b = w + 4*b - 40. Suppose -w = -237*n + 235*n. Is 4 a factor of n?
False
Suppose -5*a = -3*d - 3445, 0 = -15*a + 16*a + 4*d - 689. Is 25 a factor of a?
False
Let h = 126 - 90. Is ((-25)/4)/((-289)/h + 8) a multiple of 62?
False
Suppose 42 = -12*q - 2*q. Is 9 a factor of (161/(-28))/(q/36)?
False
Suppose -46*l - n = -51*l + 27589, -3*l + 5*n + 16571 = 0. Is l a multiple of 17?
False
Does 75 divide (-386352)/(-80) + ((-11)/(-55))/((-2)/4)?
False
Suppose -32316 + 636 = -9*y. Does 44 divide y?
True
Suppose -51749 - 67495 - 150006 = -25*j. Is j a multiple of 30?
True
Suppose 2*m + 3*s = 31588, -1537*s + 47408 = 3*m - 1539*s. Does 25 divide m?
True
Suppose 102492 - 837009 = -59*c - 30*c. Is 9 a factor of c?
True
Let x be 0*(25/5)/5. Is (x - 6/(-15))/((-11)/(-495)) a multiple of 2?
True
Is (-144)/1944 - (-53300)/27 a multiple of 6?
True
Does 70 divide (4885/(-7))/(224/(-2352)) - (-2)/4?
False
Suppose 0*u + 4 = u, -f - 3*u + 14 = 0. Let j be f/(-2)*(-1)/1. Is 23 a factor of (-2 + -1 + j - -45)*2?
False
Let n(z) be the first derivative of 9*z**2/2 + 10*z + 1. Let v be (36/81)/2 + (-97)/(-9). Is n(v) a multiple of 17?
False
Suppose -75*a + 73*a + 2*j = -19446, 3*a + 2*j - 29164 = 0. Does 8 divide a?
False
Suppose w + 18478 + 18437 = 5*x, 5*w = 5*x - 36915. Does 5 divide x?
False
Let j(a) = -734*a + 1680. Is j(-8) a multiple of 16?
True
Let q be ((230/8)/5)/(2/(-8)). Let a = -20 - q. Is 23 a factor of (1/a)/((-14)/(-9660))?
True
Suppose 3*r + 66 = 75. Suppose -141 + 87 = -r*q. Does 7 divide q?
False
Suppose -6*j - j = -35. Suppose -570 = -7*t + j*t. Does 57 divide t?
True
Let x(q) = 