7 = -6*n. Let b(r) = -r**2 - 28*r + 9. Does 12 divide b(n)?
False
Let t = -911 - 902. Let i = -1039 - t. Is i a multiple of 63?
False
Let p be -1 + (9 + -3 - 0) + 415. Let u = p - 230. Is u a multiple of 6?
False
Let i(z) be the second derivative of 5*z**4/12 + 19*z**3/2 - 11*z**2/2 - 7*z + 3. Is 5 a factor of i(-17)?
True
Let i(d) = -30*d + 6. Let v(k) = 125*k - 30. Let w(t) = 126*t - 31. Let a(z) = 6*v(z) - 5*w(z). Let m(r) = 2*a(r) + 9*i(r). Is 16 a factor of m(-2)?
True
Let i = 264 + 2143. Is 31 a factor of i?
False
Suppose -5*a + 785 = 475 - 2490. Let b(r) = 3*r - 3. Let d be b(2). Suppose -d*v - v = -a. Is v a multiple of 10?
True
Suppose 20 = -0*v - 2*v. Let n be -5 + v/(-5) + -4. Is 10 a factor of -1*(14/n)/((-4)/(-174))?
False
Let p(o) = 31*o**2 + 122*o + 57. Does 5 divide p(-9)?
True
Suppose -12 = -2*v, -219*d + 223*d - 3*v - 11362 = 0. Is d a multiple of 25?
False
Let a(y) = -12*y**3 - 5*y**2 - 18*y - 4. Let p be a(-4). Suppose 0 = -6*s - s + p. Is 27 a factor of s?
True
Let p = -23 + -63. Let s(t) = t**3 + 13*t**2 + 7*t - 22. Let a be s(-11). Let j = p + a. Does 12 divide j?
False
Is 10 a factor of (-1 + -361)/((-186)/(-12) - 16)?
False
Suppose -2*r + 17411 = -k, -2*r = k - 14127 - 3278. Does 68 divide r?
True
Let o(n) be the second derivative of -11*n + 0 + 11/6*n**3 - 5/6*n**4 + 3*n**2 + 1/20*n**5. Does 12 divide o(9)?
True
Is (-2 - 134301/(-6)) + (-12)/144*6 a multiple of 41?
False
Suppose 2*k + 1482 = -8*n + 4*n, -4*n = -2*k - 1490. Let f = 1381 + k. Is f a multiple of 11?
True
Suppose -5*w + 22 = -173. Is 22 a factor of 5193/w + -1 - 10/65?
True
Let r(n) be the second derivative of -n**2 + 0 + 13/6*n**3 + 10*n. Does 16 divide r(3)?
False
Let y(i) be the third derivative of -i**6/120 - 7*i**5/15 - 7*i**4/6 + 53*i**3/6 + 8*i**2 - 7*i. Is y(-27) a multiple of 10?
True
Suppose -942*w + 946*w + 5*n = 29091, -36 = 4*n. Is 26 a factor of w?
False
Let c(p) = -402*p + 2. Let k be c(-10). Let a be -1 + (8/4)/((-4)/k). Is ((-2)/(-5))/(a/(-670) - 3) a multiple of 21?
False
Let t = 17552 - -2628. Suppose -44*i = -21004 - t. Does 18 divide i?
True
Let o = 213 - 219. Let j(i) = -2*i**3 - 4*i**2 - 9*i. Does 57 divide j(o)?
True
Suppose 0*f = 7*f + 378. Let u = f + 63. Suppose -15*w = -u*w - 252. Is 6 a factor of w?
True
Suppose 5*i - 5*o = 140725, -3*i + 659*o - 663*o = -84456. Is 227 a factor of i?
True
Let i(q) = -41*q**3 + 3*q**2 - 4*q - 12. Let s be i(-3). Suppose s = m + m. Is m a multiple of 63?
True
Let u = -21710 + 21809. Is 99 a factor of u?
True
Suppose 64 = -2*b + 76. Is 31/(9 - 48/b) a multiple of 6?
False
Let v(u) = 8*u**2 - 44*u + 57. Let d = -431 + 440. Does 38 divide v(d)?
False
Let j(m) = -19*m + 18*m + 4 - 10. Let z be j(-6). Let w = 22 - z. Is 19 a factor of w?
False
Let w = -2972 + 7552. Suppose -v = 19*v - w. Is 16 a factor of v?
False
Let a(q) = 54*q - 25. Let i be a(1). Suppose -3816 - 4101 = -i*f. Is 21 a factor of f?
True
Let v(u) = -u + 1. Let j(s) = s**2 - 5*s - 8. Let d(i) = 2*j(i) + 6*v(i). Does 10 divide d(-7)?
True
Is 77 a factor of ((-6 - 12976) + -6)/(-2)?
False
Suppose -4*k = 2*q - 0*k - 12, 5*q = k - 3. Suppose u + 0*u + 24 = q. Is ((-27)/6)/(2/u) + -2 a multiple of 7?
False
Let s be -4 - -2 - 1287/(-11). Let y = s + -112. Suppose -290 = -y*w + m, 4*w - w + 2*m = 275. Is w a multiple of 21?
False
Let s(y) = -5*y**2 - 14 - 12*y**3 - 5*y**3 + 55 + 2*y + 16*y**3. Is 9 a factor of s(-9)?
False
Let c(g) = -g**3 - 9*g**2 - 8*g. Let p be c(-8). Suppose 7*o = -p*o + 14. Suppose -7 - 13 = -4*w, -2*t + 118 = o*w. Is t a multiple of 8?
False
Let n(y) = -y**3 + 39*y**2 - 160*y + 1. Does 11 divide n(34)?
True
Does 45 divide ((-50)/(-30)*57 - 10)*27*1?
True
Let v(m) = 3566*m - 12912. Is v(10) a multiple of 30?
False
Does 5 divide (-44*(-1 - (-11)/2))/((-69)/322)?
False
Suppose -3*s = 2*d + 159, -313*s = 2*d - 312*s + 161. Let f(m) = -24*m - 4. Let c be f(-5). Let y = c + d. Is y a multiple of 32?
False
Suppose -270 - 40 = -10*v. Let z = 0 + v. Suppose 0 = 2*w - 197 + z. Does 6 divide w?
False
Let g(j) = 568*j - 46. Does 37 divide g(9)?
False
Let l(j) = -24*j - 7. Let p be l(-2). Suppose -3*d + 0*d = 78. Let r = p + d. Does 10 divide r?
False
Let n(h) = -16*h**2 - 36*h - 230. Let k(g) = 9*g**2 + 18*g + 116. Let z(o) = -7*k(o) - 4*n(o). Is 7 a factor of z(-29)?
True
Let a be ((-1425)/10)/((6/(-4))/3). Is 25545/95 + 30/a a multiple of 47?
False
Let a = 60756 + -41691. Does 15 divide a?
True
Is 13 a factor of ((-130)/4)/((-102)/24828) - 4/(-34)?
False
Let i = -78 - -81. Suppose 0 = i*x - 27*s + 22*s - 3798, 0 = 5*x - 5*s - 6320. Is 13 a factor of x?
True
Let g = 11690 - 7031. Does 29 divide g?
False
Let w = 38232 + -18200. Is w a multiple of 39?
False
Does 37 divide ((-39849)/(-6))/((-92)/(-184))?
True
Let g(c) be the third derivative of c**5/5 + 5*c**4/12 - c**3 + 8*c**2. Does 27 divide g(6)?
True
Let y be ((-6)/5)/((-6)/(-15)). Let k = 60 + 278. Is 22 a factor of (-1)/(y/k) + (-6)/9?
False
Let d(h) = 15*h**3 - 6*h**2 - 2*h + 2. Let q be d(5). Let r = 2653 - q. Is 18 a factor of r?
True
Is 56 a factor of ((-35 - 865)/(-30))/((-6)/(-5096))?
True
Let f(y) = 0*y**2 - 5*y + 9*y**2 + 12 - 12*y**2 + y**3. Is f(6) a multiple of 10?
True
Suppose 202 = 3*t + m, 4*t + 2*m - 280 = -2*m. Let s = t + -40. Suppose p + 4*v = 0, 0 = -5*p - 3*v + 8 + s. Is p even?
True
Let i = -4282 + 14782. Is 125 a factor of i?
True
Let i(t) = -t**3 + 7*t**2 - 39*t + 154. Is 17 a factor of i(-16)?
False
Does 5 divide (9 - 1) + (91887/218)/(9/12)?
True
Let l = 187068 + -103731. Is 156 a factor of l?
False
Let y(p) = -73*p + 81. Let q be y(-33). Suppose q = 5*r - 1545. Is 55 a factor of r?
False
Let j(o) = o**3 + 32*o**2 + 45*o + 603. Does 9 divide j(-27)?
True
Suppose 0 = 80*v - 78*v + 5*r - 412, 0 = -2*v + r + 460. Does 11 divide v?
False
Let a(h) be the third derivative of -h**6/360 + 19*h**5/120 - 17*h**4/12 + 11*h**3/6 - 26*h**2. Let d(i) be the first derivative of a(i). Does 30 divide d(9)?
False
Let o = -517 - -524. Let s(d) = -d**2 + 21*d - 46. Is s(o) a multiple of 4?
True
Let v = 827 - -1377. Does 29 divide v?
True
Is (616/(-1078))/(2/(-49868)) a multiple of 13?
True
Suppose 19*d = 1470 + 10158. Is 4 a factor of d?
True
Suppose 5*g - 2 = 8. Suppose -15*d - 387 = -4*v - 14*d, -g*v + 186 = 2*d. Does 16 divide v?
True
Let p(w) = -w**3 + 11*w**2 - 14. Let b be p(9). Suppose g + 23 + b = 0. Let q = -43 - g. Is 18 a factor of q?
False
Suppose 5*w + 28 = 2*d, 0 = -d + w + 16 + 4. Let n(f) = 2*f**2 - 35*f + 28. Is n(d) a multiple of 4?
True
Let g(l) = -3*l - 16. Let a be g(-3). Let v(m) = -2*m**3 - 4*m**2 + 2*m - 8. Is v(a) a multiple of 52?
True
Let l = 28 - 10. Let y = l + -43. Does 15 divide (-1490)/y + (-8)/(-20)?
True
Let w = 19 + -19. Let d be 28/2*(w + -2 + 11). Let m = d + 14. Is 14 a factor of m?
True
Let x(i) = 15*i**2 - i. Suppose -6*k = -0*k - 36. Let q(y) = 14*y**2 - 2*y. Let n(r) = k*q(r) - 5*x(r). Is n(3) a multiple of 12?
True
Let z(p) = 1282*p**2 - 2*p - 2. Let i be z(1). Suppose 3*a - 2*d + i - 4481 = 0, -2*a + 3*d + 2142 = 0. Does 15 divide a?
True
Suppose 152 = 6*x - 124. Let d = x + -54. Is 0/((-7)/(28/d)) - -84 a multiple of 28?
True
Let j be 2/1*((-45)/(-2) + -4). Let z(h) = j - 13 + 9*h - 13 - 13. Is z(18) a multiple of 14?
False
Suppose 105635 = -11150*d + 11187*d. Does 8 divide d?
False
Suppose -4*n - 5*b = -8*n + 3178, 3*n = 3*b + 2382. Suppose 19*i = 8*i + n. Does 9 divide i?
True
Let z(g) = g**3 - 4*g**2 - 9*g - 23. Let c = -380 - -388. Does 23 divide z(c)?
True
Let w = 663 - -1197. Suppose 3*s - w = 1365. Is s a multiple of 43?
True
Let t(m) = -m**3 + 9*m**2 - 3*m + 7. Let n be t(7). Suppose 0 = 3*h - h - n. Is 5 a factor of 3/(6/5)*h?
True
Is 23 a factor of (4232/80 + 4)*4*115/2?
True
Let i = 2793 + -1708. Suppose i = 5*c - 560. Does 47 divide c?
True
Let f(z) = 3449*z**2 + 61*z - 81. Is 182 a factor of f(3)?
False
Let v(a) = -5*a - 38. Let t be v(-8). Suppose 0 = t*d - 6*d + 68. Let r(y) = y. Is 5 a factor of r(d)?
False
Let f be (-2)/(-4) - ((-19)/2)/1. Suppose -f*p = -0*p - 1720. Suppose -z = 2*t - 89, z + t - p = -z. Is z a multiple of 17?
True
Is 10 a factor of (30 - 48)/(-3 + (-1976)/(-660))?
True
Suppose 4*f - 3593 = c, -4*f - 2*c + 2692 = -f. Let k = f + -757. Is 36 a factor of k?
False
Let m = -74 + 62. Let w(j)