(-14)/(-159642)). Let n be 2*1/5 + u/105. Let w = -28 + n. Does 15 divide w?
False
Let c(x) = 25*x**2 + 19*x - 44. Let d be c(8). Suppose -5*j = m - d, j - 4*m + 1018 = 4*j. Is j a multiple of 18?
True
Suppose -2*p - 3*s - 3 = 2*p, 4*p - 5*s = 37. Let t(n) = -2*n + 23. Let r be t(10). Suppose a + r*l = -p*a + 111, -3*a = -5*l - 105. Does 15 divide a?
True
Suppose -4*v + 2*i = 2 + 210, 2*v - 2*i + 104 = 0. Is (-10)/12 - 5337/v a multiple of 7?
True
Let n(q) = q**2 - 5*q + 28. Let d be n(6). Is d - (-1)/(-1) - 2 a multiple of 3?
False
Let p be ((-1056)/(-192))/((-1)/(-2)). Suppose -p*s + 4649 + 10861 = 0. Does 19 divide s?
False
Let q be 48/4*9/(-12). Let n be 1050/q*12/(-8). Suppose -n = 10*h - 1375. Is 15 a factor of h?
True
Suppose j = 25 - 1. Let c be (-6)/j - 9/12. Does 19 divide (-1 - 9)*c/((-1)/(-25))?
False
Let z = 136 + -48. Let g = z - -340. Does 20 divide g?
False
Let x(c) = 28*c + 55. Let p be x(23). Suppose 3*v = -i + 3*i - 1353, p = i + 3*v. Does 19 divide i?
True
Let b(k) = 9*k**2 + 2*k**3 + 54*k + 2*k**3 + 5*k**2 - 23 - 5*k**3 + 3*k**2. Does 14 divide b(19)?
False
Suppose 279*y = 275*y + 336. Does 6 divide y?
True
Let i be 198/(-36) - 3/(-2). Is 380 - (3 + 1 + i) a multiple of 19?
True
Let m be 9997/13 - ((-2)/2 - -2). Let h = 1108 - m. Is h a multiple of 10?
True
Let d be 25/((-2)/(-8) + (-3)/(-36)). Suppose 532 = 4*a + 4*t, -38 = -a + 3*t + d. Is a a multiple of 8?
True
Let i be 5 + ((-24)/6)/4. Let l be 4/14 + ((-6)/21 - i). Does 4 divide 90*(36/(-10) - l)?
True
Let v(m) = m**2 + 18*m + 20. Let b be v(-17). Suppose -a + 88 = 8*z - b*z, -102 = -a + 2*z. Is a a multiple of 6?
False
Suppose -4*s + 7 + 4 = b, -3*b - 35 = -5*s. Suppose -s*a - 1185 - 1660 = -5*k, 4*a = -k + 593. Let m = -342 + k. Does 33 divide m?
True
Suppose -5*u + 4*x + 836 = 0, -546 + 40 = -3*u - 2*x. Let i = 18 + u. Suppose 3*c + i = 4*h - 32, 0 = -h - 3*c + 62. Is h a multiple of 7?
True
Let s(i) = -2233*i**3 - 3*i**2 + 77*i + 158. Does 62 divide s(-2)?
True
Let y be (30/9)/((-6)/225). Let n = y - -225. Let s = n - 71. Is s a multiple of 16?
False
Suppose 4*c - 2726 = -v, 4*c - 8123 = -3*v + 3*c. Suppose 109*y - v = 98*y. Is 5 a factor of y?
False
Suppose 13 = -f - 5*h - 0, -44 = -4*f + 4*h. Suppose 1293 = f*q + 236. Suppose 0 = 5*x + 4*u - q, -x - 4*u + 0*u + 43 = 0. Is x a multiple of 3?
True
Suppose -777*c + 776*c = -6192. Does 36 divide c?
True
Let g(u) = -1102*u + 1388. Is g(-9) a multiple of 110?
False
Let f = -4250 + 4737. Is 2 a factor of f?
False
Let p be (1/(-1))/(-5*(-3)/2250). Let j = -123 - p. Is j a multiple of 8?
False
Suppose 0 = 4*y - 4*b - 8664, -4*y + 3267 = 3*b - 5369. Does 47 divide y?
True
Suppose 0 = -24*v + 6608 - 5168. Is v a multiple of 2?
True
Let k be -3 - -4 - (-2 + 1). Suppose 0*p - p + k = 0. Suppose -35 = -t - p*s, -2*t + 43 = -5*s + 9. Is t a multiple of 6?
False
Suppose -7*u = 5*u - 24. Suppose -5*p = -u*d + 259, 10*p - 7*p - 399 = -3*d. Is 16 a factor of d?
False
Let u(l) = 1096*l + 496. Let h(w) = 438*w + 198. Let z(q) = -12*h(q) + 5*u(q). Is 12 a factor of z(2)?
True
Suppose 0 = 4*y + 2*k - 25054, -11*y - 3*k + 6256 = -10*y. Is 7 a factor of y?
True
Let n = 88 - 96. Let v(b) = -b - 1. Let q(h) = -2*h - 2. Let a(w) = q(w) - v(w). Is a(n) a multiple of 2?
False
Suppose -c - 4*a = -478, 2*a + 2390 = 5*c - 2*a. Suppose w = 11*w - 30. Suppose -w*y + 521 = -c. Does 57 divide y?
False
Let v = -84 + 79. Let l be (-3)/v + 4*60/(-25). Is 11 a factor of ((-33)/(-5))/(l/(-90))?
True
Suppose 0 = 3*f - 12, -5*i + 18 + 4 = 3*f. Suppose 0 = 5*d - 4*n - 512, 0 = -i*d + 2*n + 163 + 41. Is 52 a factor of d?
True
Suppose -14*c + 479 = -851. Suppose c*f + 96 = 99*f. Is 5 a factor of f?
False
Suppose -4*y - 7781 = -5*t, -t + 104 = y - 1454. Is 60 a factor of t?
False
Does 27 divide (-4)/14 + (-12)/((-1596)/121999)?
False
Suppose -2*d + 6 = -4*d. Let y be -2 + 12/(d + 4). Does 12 divide 72/180 - ((-1076)/y - 0)?
True
Let d = 2150 + -565. Does 83 divide d?
False
Is 35 a factor of (-2 - (-10)/7) + 228*4916/112?
False
Let z(l) = -5*l**2 + 2*l - 1. Let k(n) = 4*n**2 - 2*n + 2. Let y(c) = 6*k(c) + 5*z(c). Let g be y(-3). Suppose g*p - 33 = 243. Is 5 a factor of p?
False
Suppose 15 = 6*d - 15. Let k(x) = 4*x**3 - 8*x**2 + 8. Is 22 a factor of k(d)?
True
Let b = 60022 + -35739. Is 57 a factor of b?
False
Does 65 divide ((-6)/(-18))/((-15)/(-66645))?
False
Let a = 5881 - -8427. Is 49 a factor of a?
True
Let c be (15 + -1 + -1)/(6/6). Suppose c*l - 1592 = 748. Is 5 a factor of l?
True
Suppose -f - 2*f + 308 = -2*p, -2*p + 192 = 2*f. Let s = f - 94. Does 3 divide s?
True
Suppose 8043 = m - k, 5*m - 5*k - 40200 = -3*k. Is m a multiple of 46?
False
Suppose -5*y + 4*m + 1421 = 0, -5*y + m + 1408 + 1 = 0. Is y a multiple of 6?
False
Let p(u) = -7*u**2 + 27*u - 32. Let z(t) = -8*t**2 + 29*t - 31. Let g(d) = -7*p(d) + 6*z(d). Does 9 divide g(-11)?
True
Let p = 31 + -27. Suppose 0 = 8*c - p*c - 8. Let i(a) = 6*a**3 - 3*a**2 + 2*a - 2. Is i(c) a multiple of 24?
False
Let t(q) = 62*q**2 + 9*q + 34. Let u(n) = 32*n**2 + 5*n + 17. Let o(c) = -2*t(c) + 5*u(c). Is o(-2) a multiple of 49?
True
Let z be (-24)/132 - 35/(-11). Suppose z*m + 14 = -22. Is (-3)/12 - 795/m a multiple of 11?
True
Suppose 9*s - 5656 = -949. Does 48 divide (-4)/(7/(210/(-24))) + s?
True
Let j(m) = -m**2 - 56*m - 290. Let s be j(-50). Is (514/10)/((-894)/90 + s) a multiple of 82?
False
Suppose 26 + 22 = 8*a. Let d be 8/a*1395/10. Let o = -99 + d. Is o a multiple of 29?
True
Suppose 3*a - 16940 = -5*m, -5*a = 2*m - 16514 - 11694. Is 30 a factor of a?
True
Suppose -z + 2*g = 6*g - 8611, 3*g + 17233 = 2*z. Suppose -z = -11*f - 1916. Does 87 divide f?
True
Suppose 5*b = 5*a - 105665, -9*a - 4*b = -10*a + 21124. Is 8 a factor of a?
True
Suppose -82785 = -19*o - 39*o + 96029. Does 25 divide o?
False
Let p = 6364 + -4385. Does 5 divide p?
False
Let m = -6 - -15. Let z = 20 - 16. Suppose m*f - 700 = z*f. Is 28 a factor of f?
True
Let y = -219 - -549. Suppose -3*x = 2*w - 988, x = -0*x - w + y. Does 20 divide x?
False
Suppose 3*w - 16 = -2*a + 15, -2*a - 4 = -4*w. Suppose -4 = -6*c + a. Suppose -5*p + 210 = 2*n, -c*n + 38 + 4 = p. Is 42 a factor of p?
True
Let t = -1686 + 2611. Does 8 divide t?
False
Suppose 0 = 8*o - 3*o - 25. Suppose -3*f + 3*u + 15 = 2*u, -o*u = 0. Suppose f*t + 0*t - 1105 = 0. Does 13 divide t?
True
Let o(b) = -3*b**3 + 7*b - 5. Let p(g) = 8*g**3 + g**2 - 20*g + 16. Let i(v) = -11*o(v) - 4*p(v). Let j be i(4). Suppose -j*f + 85 = -95. Does 20 divide f?
True
Suppose 25*g = 107*g - 361620. Is 70 a factor of g?
True
Let m be (1 + 0)/((-5)/(-5)) - 3. Does 31 divide 570/(m + (-1 - -5))?
False
Let x(w) = 13041*w**2 - 1013*w - 1014. Is 5 a factor of x(-1)?
True
Suppose -3*z - 3450 = -9*z. Suppose 56*v = 51*v + z. Does 23 divide v?
True
Suppose 3*h = -6*m + 10311, 5*m - h + 1955 - 10544 = 0. Is m a multiple of 3?
False
Let s(a) be the second derivative of a**5/20 + 5*a**4/3 + 49*a**3/6 + 12*a**2 - a - 14. Does 29 divide s(-17)?
True
Let h(g) = -194*g**3 + 3*g**2 - 5*g. Let y be h(-3). Suppose y = -5*b + 29*b. Is 22 a factor of b?
True
Does 3 divide (1 + -26131)*20/(-120)?
False
Suppose 17*m = 3*g + 10*m - 63226, 2*g - 42150 = 5*m. Is 17 a factor of g?
True
Suppose -2883*a + 2874*a = -2592. Does 4 divide a?
True
Let y = -19753 - -20993. Is y a multiple of 8?
True
Let u = 68 + -68. Suppose 18*y - 33372 = -u*y. Is y a multiple of 14?
False
Let h(k) = -178*k + 19. Let l(f) = 181*f - 20. Let a(j) = 4*h(j) + 3*l(j). Does 50 divide a(-4)?
False
Let u(d) = -d**2 + 3*d + 12. Let p be u(5). Suppose 4*i + 8 = l, 0*i - i - 23 = -p*l. Does 6 divide l?
True
Suppose 80 = -10*h - 10*h. Does 12 divide h - (1 - (-4 - -153))?
True
Let y(h) = -h**2 - 2*h + 6. Let u = -31 - -27. Let l be y(u). Let f = l - -62. Is 15 a factor of f?
True
Let s(v) = v**2 - 5*v + 3. Let t = 38 + -33. Let p be s(t). Is 13 a factor of 3/(-5) + p/(90/5268)?
False
Let i(o) = 25833*o**2 - 10*o - 9. Is 43 a factor of i(-1)?
False
Let t = 5551 - -2057. Is 186 a factor of t?
False
Let d(l) = 65*l**2 + 264*l - 4137. Is 23 a factor of d(17)?
True
Let b(c) = -c**3 - 7*c**2 - 9*c - 1. Let l be b(-5). Let x be (l/13)/3 - 78/(-507). Suppose x = -2*h - 4*p + 302, 0*p + p + 142 = h. Is 36 a factor of h?
False
Suppose -18*f = 5*q - 13*f - 2995, q