5. Does 8 divide m?
True
Let d(a) = a**2 - 6*a + 11. Let s be d(-6). Let k = -52 + s. Is k/1 + 3/(-1) even?
True
Let m = 5430 + -3306. Let a = m - 1156. Does 12 divide a?
False
Let x = 172 + 2457. Is x a multiple of 102?
False
Let q be (35/(-3))/((-6)/72). Suppose 0 = -3*m + 9. Suppose m*r + q = 2*a, 5*r + 341 = 5*a + 2*r. Does 11 divide a?
False
Let n(g) = 20209*g**2 + 46*g - 41. Is 17 a factor of n(1)?
False
Suppose -8075 = -22*w + 29039. Does 7 divide w?
True
Suppose -8*s - 17612 + 115192 = 6*s. Is 41 a factor of s?
True
Let p be (-76)/2*(-4)/8. Suppose 20*y - 105 = p*y. Is y a multiple of 11?
False
Suppose -13*j + 2376 = -7023 - 3757. Does 46 divide j?
True
Suppose -26*v = -32*v + 558. Is 15/((-315)/(-14)) + v/9 a multiple of 8?
False
Let w(a) = -33*a**3 + 2*a**2 + 140*a + 765. Is 76 a factor of w(-5)?
False
Suppose 0 = -4157*c + 4137*c + 350240. Is 18 a factor of c?
False
Let t = -350 - -355. Suppose t*s + 577 = 3007. Does 14 divide s?
False
Let f = 3516 - 3423. Let d be ((-6)/(-4))/(6/8). Does 31 divide 2/((12/f)/d)?
True
Suppose 315*c + 13218373 = 785*c - 402227. Is 230 a factor of c?
True
Is -47469*4/(2*-30) + 9/(-15) a multiple of 20?
False
Let a be (2 + -20)*(17 - 18). Suppose -a*w = -12*w - 78. Is 3 a factor of w?
False
Let u be (1/1 - 4) + 1. Let n = 1011 - 1010. Is n/(-4)*u*(71 - 37) a multiple of 2?
False
Suppose 0 = 4*c + 4*z - 46960, -6*c + 35222 = -3*c + 5*z. Is c a multiple of 39?
True
Let i(u) = -u**3 - 31*u**2 + 44*u + 165. Let q(s) = -s**3 - 31*s**2 + 45*s + 166. Let n(v) = 5*i(v) - 6*q(v). Is 27 a factor of n(-32)?
True
Let y = 34 - -81. Let w = y - 1. Let k = w - 64. Is k a multiple of 10?
True
Suppose -u - 6 = -2*u + y, -12 = 4*y. Let b = 18 - 18. Suppose b = q + 2*q - 4*f - 23, 5*q - u*f - 53 = 0. Is q a multiple of 3?
False
Suppose 0 = 16*l - 83554 - 6942. Does 28 divide l?
True
Let y be 16/6 + 13/((-234)/12). Suppose -y*w - 3*r + 17 = 0, 5*w + 3*r = 2*w + 21. Is 3 a factor of (-2)/(-3*w/126)?
True
Let f(y) = y**3 - 108*y**2 + 225*y + 1503. Is f(107) a multiple of 144?
False
Suppose 3*n + 47 = -4*r, -4*n = 4*r + 37 + 15. Let d = 5 + 7. Let x = r + d. Does 3 divide x?
False
Suppose -45 = -23*d - 91. Does 8 divide (350/49 + d)/(3/56)?
True
Let d = -88 + 93. Suppose -2*i - 1682 = -5*j, 5*i + 664 = d*j - 1021. Is 24 a factor of j?
True
Suppose 0 = 3*x - 4*b - 17590, 3*x - 7*b = -12*b + 17635. Is x a multiple of 30?
False
Suppose -5*h = -0*h - 5, 3*u - 3*h + 15 = 0. Let r be (35/u)/(3/(-12)). Does 23 divide 5/r + 2412/21?
True
Suppose 0 = -5*n + 1082 + 408. Suppose -4*o + 470 + n = 0. Does 6 divide o?
True
Suppose -3*q + 6 = f - 25, 23 = 4*q + 5*f. Let y = 52 - 53. Is 16 a factor of ((-32)/3)/(y/q)?
True
Let a = 590 + 1903. Is 12 a factor of a?
False
Let d = 86 - 75. Suppose 17 - d = z. Suppose z*n - 138 = -24. Does 2 divide n?
False
Let k be -4*(0 + (-90)/(-8)). Suppose -w - 3*v = v - 120, 85 = w - 3*v. Is 9 a factor of ((-108)/k)/(1 + (-94)/w)?
False
Does 37 divide -185*((-1759)/1)/(121 + -116)?
True
Let a(y) = -189*y - 169. Is a(-16) a multiple of 5?
True
Suppose 16*t - 36 = 14*t. Let b be ((-20)/18)/(-5) + (-184)/t. Is (-1)/(-2) - 445/b a multiple of 15?
True
Suppose -f + 2*f = -5, 0 = -2*i - 5*f - 13. Suppose 1033 = 3*c + 4*j, -5*c = j - i*j - 1780. Is c a multiple of 28?
False
Suppose 2*k - 4*f + 167 = -211, 4*f = -5*k - 973. Let j = 47 - k. Is j a multiple of 48?
True
Suppose -y - 12 = -3*m, 4*y - m = -y - 18. Let l(w) = 3*w + 12. Let v be l(y). Suppose i - 8 = v*s + 10, 3*s - 45 = -2*i. Does 7 divide i?
True
Let y(a) = a**2 + 1. Let c be y(0). Suppose -2*m = -r - 371, 3 = 4*r - c. Is 37 a factor of m?
False
Let o(a) = 5*a**2 - 25*a + 2. Let z be o(5). Suppose -2176 = -3*n + z*t, -3*n - 2*t + 2200 = 2*t. Does 68 divide n?
False
Let s = 121 + -81. Does 5 divide s/15*(645/10 + 3)?
True
Suppose -2*m = -3*j + 3*m, m = 4*j - 17. Suppose -8*q + j = 5. Suppose o - 33 = -q*o. Does 10 divide o?
False
Suppose -4*o = 32, -3*x - 35*o = -30*o - 8450. Does 51 divide x?
False
Let d be (-2 + 9/3)*(8 + -4). Suppose 0 = j + 4*k - 10, -22 = -0*j + j - d*k. Let i(p) = p**3 + 9*p**2 + 5*p + 15. Is i(j) a multiple of 9?
False
Let t = -61 - -121. Let m = -58 + t. Suppose -5*p + 111 = -m*j, 0*p + 2*p + 4*j - 54 = 0. Does 5 divide p?
False
Let c = -10876 + 24860. Suppose -46*n + c = -8*n. Does 23 divide n?
True
Let y be ((8 - -1685)*1)/1. Let j = 2981 - y. Is 10 a factor of j?
False
Let y(v) = -1. Let x(f) = -f**2 - 30*f + 3. Let h(b) = x(b) - 6*y(b). Is h(-8) a multiple of 9?
False
Suppose 223 = 11*w + 322. Let d(f) = -f**3 - 4*f**2 + 3*f + 10. Let k(z) = -z**3 - 3*z**2 + 2*z + 11. Let v(r) = -7*d(r) + 6*k(r). Is v(w) a multiple of 23?
False
Let l(g) = -82*g + 69. Let n be l(8). Let w = 832 + n. Is w a multiple of 12?
False
Let r(o) = -2*o + 3*o + 2139 + 3*o**2 - 2110. Is r(6) a multiple of 7?
False
Is 200 a factor of 5700/7*(-10304)/(-276)?
True
Let i(l) = 865*l + 2486. Is 24 a factor of i(0)?
False
Does 75 divide 435*(32 - (-18 + 30))?
True
Let n(b) = 306*b - 41. Let r = 376 + -374. Is 36 a factor of n(r)?
False
Does 190 divide (39900/90)/((-295)/75 + 4)?
True
Let c(u) = -u**3 + 12*u**2 + 18. Let t(r) = -8*r**2 + 13*r + 7*r**2 + 7 - 7. Let v be t(12). Does 6 divide c(v)?
True
Suppose -2*j = -6, -9716 + 32154 = 4*h - 2*j. Is h a multiple of 62?
False
Let r(u) = 3*u**3 - 4*u**3 + 31*u + 3*u**2 - 33*u. Let p be r(-5). Suppose -5*j - 5*w + p = 0, 3*j - 4*w - 101 = -2*w. Is 11 a factor of j?
False
Let v be -7 - ((3 - 5) + 176). Let g = 454 + v. Is g a multiple of 25?
False
Let s = -303 - -305. Let j(w) = 14*w + 7. Is 7 a factor of j(s)?
True
Suppose -23 = c + 4*h, 3*c = -4*h - 29 - 56. Let n(x) = x**3 + 31*x**2 - 18*x - 55. Does 28 divide n(c)?
False
Suppose 2166*k = 2131*k + 775635. Is 267 a factor of k?
True
Let g(l) = 842*l**2 - 308*l + 1440. Is g(5) a multiple of 87?
False
Suppose -m - 2*c = -12418, -49820 = -5*m - 3*c + 12263. Does 128 divide m?
True
Let n = -18520 + 46627. Is 148 a factor of n?
False
Let h = 93 - 97. Let l be (-5 + (-5 - h))/(-2). Suppose -4*i + 612 = 5*w, -640 = -4*i + 5*w - l*w. Is 32 a factor of i?
False
Let r = 12694 - 6047. Does 17 divide r?
True
Suppose 0 = 2*j + 2, 123*c + 5*j - 69703 = 119*c. Does 152 divide c?
False
Suppose 4*n + 25*m = 24*m + 12281, n - 3037 = -5*m. Is 12 a factor of n?
True
Suppose 946 = 32*g - 4718. Let s = g - 93. Is s a multiple of 42?
True
Let n(a) = -a**3 + 72*a**2 - 274*a + 149. Let f be n(68). Let z = 180 - -8. Let i = z - f. Does 25 divide i?
True
Suppose -3*j + 294 = -3*c - 792, -3*j - 1413 = 4*c. Let r = -138 - c. Is r a multiple of 20?
False
Suppose -a - 3*t + 18331 = -8*t, 3*a - 5*t = 54983. Is 14 a factor of a?
True
Suppose -3*d = 4*v - 0*d + 13, -5*v - 5*d = 20. Let z be 15*v/(-6)*(6 - 0). Is -3*10/z - 74/(-1) a multiple of 8?
True
Suppose -u - 84 = -3*u. Let a be (((-15)/4)/1)/((-208)/1664). Let s = u - a. Is s a multiple of 3?
True
Suppose m = -0 - 1. Let v(h) = -7 + 4 - 70*h + 4. Is 19 a factor of v(m)?
False
Let k be (-3302)/8 + 8/(-32). Let w = k - -480. Is 10 a factor of w?
False
Suppose 2372 = 2*p - 5*k, -2*p - 4*k + 1702 = -670. Does 36 divide p/11 + 92/506?
True
Suppose -8*y + 11*y = k - 19, -6 = k + 2*y. Suppose -w + 339 = k*l - 0*l, -5*l - 4*w + 410 = 0. Is l a multiple of 6?
False
Let v(n) = n**2 + 3*n. Let y(j) = -j**3 - j**2 + 2*j - 3. Let z(f) = -3*v(f) + y(f). Does 3 divide z(-6)?
True
Let k(p) = -26*p**2 + 13*p - 23. Let j(q) = -13*q**2 + 6*q - 12. Let d(l) = 5*j(l) - 3*k(l). Is 11 a factor of d(-4)?
True
Suppose 2*o = -301 - 71. Let z be (-22)/4*(57 + -9). Let i = o - z. Is i a multiple of 15?
False
Suppose 6*t = 11*t - 36*t + 183303. Is 6 a factor of t?
False
Let c = -3514 + 12300. Is 23 a factor of c?
True
Let c(v) = v**3 - 4*v**2 - 14*v + 32. Let g be c(6). Is 154/4 + 30/g a multiple of 10?
True
Let m be (1 - -1) + 0 + 3. Suppose 5*y + 10*a = 8*a - 17, -4*y - 24 = -a. Is (y/m)/((-2)/194) a multiple of 20?
False
Suppose -182*s + 508273 = 33*s - 1794377. Is 17 a factor of s?
True
Let x(c) = c**2 - 17*c + 4. Let j be x(19). Let u = 42 - j. Suppose u = -3*z - 2*a - 0*a + 80, -4*z = a - 115. Is 30 a factor of z?
True
Let h(o) be the third derivative of o**6/120 - 13*o**5/60 + 11*o**4/24 - 22*o**3/3 - 77*o**2. Does 23 divide h(15)?
False
Suppose 10*h = 40824 