3*m = 2*w - 35, 2*m + 53 = 5*w - 2*m. Let p = w - -6. Is k(p) a multiple of 27?
False
Suppose 4*c + 573 = -v, -5*c = -v - 0*v - 618. Let n = -209 - v. Is 22 a factor of n?
False
Let z(w) = -80*w**2 + 1. Let k be z(1). Let v = 84 + k. Suppose 2*a - 2*x = 360, 5*a + v*x - 409 = 481. Is 23 a factor of a?
False
Suppose -2*t + 46 = -4*n - 0*t, -27 = 3*n - 3*t. Let u = n - 2. Let o = u + 270. Is 63 a factor of o?
False
Let m be 41*(1 + 0 + 3). Suppose 53*d = 54*d - 3*k + 96, -3*k + 552 = -5*d. Let f = d + m. Is 25 a factor of f?
True
Suppose 2*m = -0*m + 12. Suppose 0 = m*j - 41 - 13. Is 16 - j/(9/(-2)) a multiple of 18?
True
Is 17 a factor of (-22 + 2030/87)/(8/66678)?
False
Let r = -81 + 83. Let f be 2/(2*r/(-4)). Is 142*(6*f/8 + 2) a multiple of 18?
False
Suppose -3*r + 48177 = o, 98*r - 101*r + 48201 = 5*o. Does 37 divide r?
False
Let h = 69 - 58. Suppose 4*s = h*s - 245. Let m = -1 + s. Is 7 a factor of m?
False
Let y = 31 - -16. Suppose 2*a - 21 = -3*m + 2*m, -a = -4*m - 15. Let q = y - a. Is q a multiple of 6?
True
Let n(s) be the second derivative of s**6/180 + s**5/120 + s**4/3 - 11*s**3/6 - 12*s. Let l(g) be the second derivative of n(g). Is l(-4) a multiple of 16?
False
Let v(k) = -115*k + 29. Let d be v(-2). Let i = 364 - d. Does 15 divide i?
True
Suppose -4*m = r - 132819, -104*m + 99600 = -101*m - 4*r. Is m a multiple of 261?
False
Let q(v) = 512*v**2 - 1046*v**2 + 11 + v**3 + 509*v**2 + 48*v. Does 3 divide q(23)?
True
Suppose 3*l = -2*x + 57, 76 = 4*l - 13*x + 15*x. Suppose l*y - 2502 + 374 = 0. Does 16 divide y?
True
Suppose 15*k = 262486 - 42706. Is 99 a factor of k?
True
Suppose -5*g + 3*u + 22298 = 0, 14*g = 18*g + 4*u - 17832. Is 7 a factor of g?
True
Let p(j) = 5*j**2 + 121*j + 626. Is 17 a factor of p(55)?
True
Suppose n + 0 = 1. Suppose 5*f - 6*f - n = -r, -r = 4*f - 11. Suppose -2*u - 3*a = -168, -a - 153 = -f*u + 31. Is 9 a factor of u?
True
Suppose -n + 0*n - 1206 = -m, -2*n = 4*m - 4806. Suppose -18*d = -m - 3621. Is d a multiple of 21?
False
Let m = 33 + -34. Let j be (m/(-2))/(4/96). Let d(x) = -2*x**2 + 25*x + 27. Is d(j) a multiple of 16?
False
Suppose 4*v - 7*v + 5280 = 0. Is 16 a factor of 2/(-6) + -8 + v/24?
False
Suppose 32 = 2*j + 2*j. Suppose -v + g - 4*g + 4 = 0, v - g = j. Suppose 3*t = 4*a - v*a + 228, -4*t + 339 = -3*a. Is t a multiple of 18?
False
Let s = -7 + 7. Let g(q) = -q**2 + 14*q + 72. Let y be g(18). Suppose s = -2*l - y*l + 168. Is l a multiple of 21?
True
Let p(q) = -18*q**2 + q + 7. Let x(o) = 35*o**2 - 2*o - 14. Let i(a) = 11*p(a) + 6*x(a). Let y be (-1)/(-7)*-1 - 180/63. Does 14 divide i(y)?
False
Suppose -2*g = -5*z + 59, -4*g - 4*z + 0*z - 76 = 0. Let s = g - -25. Suppose -c = -2*p + 3*p - 48, -p - s*c + 44 = 0. Does 25 divide p?
True
Let d be 6024/51 + (-6)/51. Does 19 divide (152/(-10))/(d/(-295))?
True
Suppose 11*z - 11549 = 108197. Does 91 divide z?
False
Let o(w) = 4*w**2 - 17*w + 13. Let d be o(5). Suppose d*u = 20*u + 4032. Is 24 a factor of u?
True
Let y = 8215 - 5363. Does 62 divide y?
True
Let u = 876 - 252. Suppose -85*p + 82*p = -u. Does 26 divide p?
True
Is 44 a factor of -2*7 + 15165 + -631?
True
Let a(d) = -12*d**2 - 3*d - 5. Let b be a(-2). Let i = 26 + b. Is 12 a factor of (1 + i/9)*-9*3?
True
Let s = -43561 - -70934. Is 12 a factor of s?
False
Is 113 a factor of 15820/(-40)*128/(-4)?
True
Let d(o) = 451*o + 13. Let z be d(1). Suppose -58*r = -62*r + z. Is r a multiple of 3?
False
Let s = -2622 - -4708. Is s a multiple of 14?
True
Suppose 0 = -3*u - 0*u + 3*f - 213, 4*f = -u - 66. Let g(r) = 17*r**2 + 2*r - 2. Let n be g(-3). Let o = n + u. Is 15 a factor of o?
True
Let q(i) = 2*i**3 + 9*i**2 + 215*i + 8. Is 45 a factor of q(19)?
True
Let h(u) = 2*u - 2*u**2 + u - u**3 + 13*u**2 + 5 + 0*u**2. Suppose 0*w + 90 = 9*w. Does 19 divide h(w)?
False
Let u(z) be the first derivative of 9*z**2/2 + 256*z + 113. Does 11 divide u(18)?
True
Let b(a) = -2*a**3 + 8*a**2 + 15*a - 71. Let p be b(-18). Does 11 divide (18/(-15))/((-22)/p)?
True
Suppose 0 = u - 209 + 57. Let w = 212 - u. Is w a multiple of 12?
True
Let k(s) = -3. Let q(f) = 4*f**2 - 3*f + 47. Let d(j) = 30*k(j) + 3*q(j). Does 54 divide d(11)?
True
Let f = 1678 - 438. Is 8 a factor of f?
True
Does 13 divide 1227 + 378 - 14*(6/(-4))/3?
True
Suppose -82*f + 358*f = 5376204. Does 43 divide f?
True
Suppose -5*h + 45360 = 5*a, -5*a - 9*h = -8*h - 45360. Is 31 a factor of a?
False
Suppose 0 = -j - 5*b + 4315, 2*j = -43*b + 41*b + 8566. Is j a multiple of 75?
True
Suppose 10*c - 3*c + 565 - 1489 = 0. Is c a multiple of 3?
True
Let s(l) = -l**3 + 9*l**2 + 7*l + 35. Is 4 a factor of s(-6)?
False
Suppose 6 = -9*f + 12*f. Suppose -10 + 0 = -f*v. Suppose 208 = v*s - 392. Does 24 divide s?
True
Suppose 9*p - 4*n - 69974 = 0, 0 = -3*p - 172*n + 177*n + 23332. Is 46 a factor of p?
True
Suppose -5*t + 6*t = -7*t. Suppose 2*c + 4*r - 18 = t, -2*c - 10 = -4*r + 12. Is -2*((-213)/3 + c) a multiple of 6?
True
Let y(j) = -j - 22. Let f(m) = 1. Let g(s) = -2*f(s) + y(s). Let p(w) = -w - 23. Let d(r) = 6*g(r) - 7*p(r). Is d(-12) a multiple of 3?
False
Let s = 8889 - 7495. Is s a multiple of 58?
False
Is (-10)/(100/664410)*11/(-33) a multiple of 156?
False
Suppose 0 = s - 3*t - 2046, 0 = 5*s - 7*s - 3*t + 4065. Suppose -b = -4*x - 533, 12*b + 3*x = 8*b + s. Does 27 divide b?
True
Let v(i) = -i**2 - 24*i - 46. Let y be v(-37). Let l = y - -629. Is l a multiple of 6?
True
Let x = -37872 - -64992. Does 15 divide x?
True
Let u(g) = -g**2 - 63*g - 158. Is 18 a factor of u(-56)?
True
Let q(x) = -2*x. Let m be q(-2). Suppose m*j + y - 9 = 0, -3*j + y + 12 = -0*y. Suppose -j*v = 4*z - 193, -33 - 48 = -v + 2*z. Does 33 divide v?
False
Suppose -48*f + 57*f - 36 = 0. Suppose 3*m - 11*w - 1578 = -7*w, 2*m + f*w - 1032 = 0. Is m a multiple of 29?
True
Let r = -9776 + 21402. Is 11 a factor of r?
False
Let y = -2369 + 6680. Does 62 divide y?
False
Let u be 87 + 5 - (-1)/(-2)*-2. Let x = 152 - u. Is 8 a factor of x?
False
Let g(k) = k**3 + 46*k**2 - 77*k - 167. Is g(-46) a multiple of 27?
True
Suppose -316 - 224 = -30*d. Let j(f) = -f**3 - f. Let k(p) = 2*p**3 - 19*p**2 + 20*p - 29. Let x(l) = -j(l) - k(l). Is 11 a factor of x(d)?
True
Suppose -169*k + r - 17118 = -171*k, -4*k = -3*r - 34226. Is 22 a factor of k?
True
Let o be 0/((-3)/((-18)/(-12))). Suppose 8*w - 14*w + 120 = o. Does 6 divide w?
False
Does 7 divide (1 - -2 - (-76)/(-24))*-38526?
False
Let l(o) = 3*o - 16. Let g be l(5). Let d(r) be the third derivative of -47*r**4/24 - r**3/2 - 9*r**2. Is 11 a factor of d(g)?
True
Let t(s) = -s**3 + 8*s**2 + 20*s - 3. Let c be t(10). Let a(p) = -2*p - 1. Let g be a(c). Suppose -g*x + 230 = 3*i - 340, 5*i - 25 = 0. Is 15 a factor of x?
False
Suppose 34*b - 18*b + 24 = -40. Let p be ((-6)/8)/((-2)/8). Is (47 + p)/2 + b a multiple of 18?
False
Let k be 7/(-28) + 51/(-4). Let z be 5 - (-1 - (-2 - 0)). Let o = z - k. Does 2 divide o?
False
Suppose 4*c - 7634 = -5*z, 0 = z - c - 2233 + 699. Let l = z - 255. Is 75 a factor of l?
True
Suppose -3*f + 2*f = -3*y - 10, 16 = f - 5*y. Does 15 divide (36/72)/(f/578)?
False
Let h = 37 - 34. Suppose -h*c - 14*c = 5202. Let f = c + 537. Is f a multiple of 21?
True
Let p(w) be the third derivative of w**5/60 - w**4/24 - 3*w**3/2 + 4*w**2. Let n be p(4). Does 6 divide 18/((n - 0)/3)?
True
Let o(p) be the third derivative of p**4/12 + 17*p**3/3 - 10*p**2. Suppose 1 = a + 5*f - 1, -5*f + 53 = 4*a. Is o(a) a multiple of 17?
True
Suppose 20*j + 1534 = -29766. Let x = j - -2418. Does 105 divide x?
False
Let k = 374 - -434. Suppose 0 = -3*p - y + 772, -5*p = -3*y - k - 460. Is 55 a factor of p?
False
Let c(j) = j**2 - 25*j + 20. Let v(l) = l**3 + 7*l**2 - l - 14. Let y be 2/(-2) - (1 - -4). Let w be v(y). Does 4 divide c(w)?
True
Suppose -17344 - 20408 = -z - 21*z. Is z a multiple of 36?
False
Suppose -3*i = -21 - 99. Suppose 3*w = -l - 8, -5*l + 0*w + i = -w. Suppose 552 = l*r + r. Is 12 a factor of r?
False
Suppose 0 = -5*x + 2*v - 37, 2*v + v + 11 = -2*x. Let a(z) = -3*z - 17. Let t be a(x). Suppose -t*m + 16 = 0, -m - 100 = 4*g - 552. Is g a multiple of 8?
True
Suppose -4*a - 29066 = -2*o, -4*a = -0*a - 5*o + 29069. Is 2 a factor of 8/(-28) + 19/((-931)/a)?
True
Let u(s) = -61*s**2 + 126*s**2 + 70*s + 3 - 60*s**2. Is u(-15) a multiple