se -2*v + 207 + 3613 = -a, 0 = 3*v - 4*a - 5740. Suppose -v = -9*u + 2511. Does 12 divide u?
False
Let n(g) = 3*g**3 + 238*g**2 + 225*g - 91. Is 221 a factor of n(-77)?
False
Suppose 66*k - 53*k - 87092 = 95727. Does 17 divide k?
False
Let q be ((-12)/(-10))/((-1)/5). Let p(y) = -25*y + 27. Let o(u) = 75*u - 70. Let t(k) = -3*o(k) - 8*p(k). Is 48 a factor of t(q)?
True
Let x = -329 - -208. Let p = x - -253. Is 6 a factor of p?
True
Let s(m) = m**3 - 19*m**2 - 56*m + 531. Does 6 divide s(21)?
False
Let y(s) be the second derivative of -s**5/20 - 7*s**4/6 - s**3/3 - 25*s**2/2 + s - 5. Does 2 divide y(-14)?
False
Let f(u) = -u**3 - 22*u**2 - u - 74. Let g be f(-22). Let b = 92 + g. Is b a multiple of 10?
True
Let t = -1845 - -1859. Let z(s) = -s**3 - s + 28. Let b be z(0). Does 13 divide 4/t - (-1812)/b*1?
True
Suppose 2*r - 3*r = 1449. Let p be (-6 + 180/25)*10. Is r/(-12) - (-3)/p a multiple of 22?
False
Let q = -1313 - -12537. Is q a multiple of 122?
True
Is 12 a factor of 143/(-286) - 1154/(-4)?
True
Let d be ((-2)/(-3))/(4/60). Suppose 7350 - 2250 = d*o. Does 62 divide o?
False
Suppose -7*p + 69098 + 410101 = 0. Is p a multiple of 19?
True
Let c = -738 + 742. Suppose -j + 787 = c*g, 2*j = 3 + 3. Is 5 a factor of g?
False
Suppose -4*j + 21 = 1. Does 19 divide (228*4/j)/((-147)/(-490))?
True
Let f = -7207 + 15499. Is 4 a factor of f?
True
Let n(u) = -27*u + 76. Let g(h) = -82*h + 228. Let a(i) = 2*g(i) - 7*n(i). Is a(12) a multiple of 11?
False
Is 15 a factor of 9 + -9 + (-4 + 30/6 - -7544)?
True
Suppose 90*l - 499008 = -176*l + 40*l. Does 6 divide l?
True
Let m = 165 - 161. Let g be (-1322)/(-3) - 5/(-15). Suppose -m*r = -r - g. Is r a multiple of 25?
False
Let x = 5144 + 5159. Is 10 a factor of x?
False
Suppose -30572 = -3*t - 4*d, 13*t = 11*t + 6*d + 20442. Is 44 a factor of t?
False
Let k(a) = -1043*a - 407. Does 26 divide k(-13)?
False
Let c(p) = -37*p - 196. Let z be c(-10). Does 89 divide 127165/z - (-2)/12?
False
Let j be (0 - (-25)/(-15))/(20/(-24)). Suppose -j*t = 6, 12*b = 8*b + 5*t + 319. Does 14 divide b?
False
Suppose -14*c + 6 = 6. Suppose 2*k - 142 = k + 3*v, c = 4*k - 4*v - 544. Is 4 a factor of k?
False
Suppose 5*w + 28 = -s, -8*s + 34 = -4*w - 3*s. Let u be (-1 + 3 + w/2)*-9. Is 39 a factor of 40774/261 + (-2)/u?
True
Let f(p) = 1767*p + 104. Is f(1) a multiple of 26?
False
Let d(c) = -4*c**2 - 12*c - 36. Let u(t) = -t**2 - 2. Let g(i) = d(i) - 6*u(i). Let l = 15 + -3. Does 30 divide g(l)?
True
Let d(c) = -4*c**3 + 6*c**2 - 2*c - 9. Let k be d(4). Let t = 3677 + k. Does 6 divide 2/(-9) - (3 + t/(-36))?
False
Let a be (6 - (-4576)/56) + 6/21. Let y = -1 + 5. Suppose y*d - 64 = -t - 3*t, -a = -5*t - 3*d. Is t a multiple of 4?
True
Let t = 22 - 22. Let w(m) = -4 + 3 - 73*m + 12*m**2 + 69*m + t*m**2. Is 19 a factor of w(3)?
True
Let n(a) = -81*a - 6. Let q(p) = -5*p - 43. Let r be q(-8). Is 23 a factor of n(r)?
False
Let y = -1 + 1. Suppose 54 = -5*u - 3*t + 52, -4*t = u + 14. Is u/3 - ((-426)/9 - y) a multiple of 12?
True
Let i be (-3)/(-18) + 141/18. Suppose -4 + i = 2*d. Suppose 5 = d*q - 5, 3*k - 5*q - 53 = 0. Is 10 a factor of k?
False
Let u = -130 - -132. Let m(c) = 12*c - 17. Is m(u) a multiple of 7?
True
Suppose 5*h + 10 = 0, -5*h + 59 = 5*i - 256. Let d = i + 571. Does 6 divide d?
True
Does 101 divide (119/(-14) - -7)*10518/(-3)?
False
Suppose -9*n - 286026 = -123*n. Is 13 a factor of n?
True
Suppose -4*z + 3*t = 42, 3*z + 4*t - 6 = -25. Let a be (-6)/(-9)*z/2. Does 21 divide a/((-60)/(-8))*-5*53?
False
Let n = -155 + 260. Suppose -321 = -6*o - n. Is o a multiple of 4?
True
Suppose -g - 5*j = -1137, 173 = -j + 174. Is 4 a factor of g?
True
Let j(w) = -68*w - 30 + 21 - 32 + 74*w. Let r be j(9). Suppose 195 = r*l - 12*l. Is l a multiple of 39?
True
Suppose -12 = -3*n, 1300 - 7352 = -p + 4*n. Is p a multiple of 74?
True
Let d(i) be the third derivative of -i**6/20 + i**5/20 + i**4/4 - i**3/2 - 95*i**2. Is d(-3) a multiple of 6?
True
Let g be (78/10)/((-6)/(-30)). Let o = -37 + g. Suppose -4*l - 4*s + 404 = -9*s, o*s = 2*l - 200. Is l a multiple of 31?
False
Is 104 a factor of -10 + (-119 + 0)*(-370)/35?
True
Is 6 a factor of (2 - (7 + -4) - 115)*2651/(-22)?
False
Let o = -2932 - -2927. Let v = -69 + 33. Is 9 a factor of -1 - (v - (o + 1))?
False
Is (-19136832)/(-1404) + -2*(-2)/(-18) a multiple of 47?
True
Let x = 337 + -339. Let d = x + 734. Is 6 a factor of d?
True
Suppose 3*w - 5844 = -4*a, 0*w + 2920 = 2*a + 2*w. Suppose 2*i = 4*i - a. Suppose -8*r + i = -564. Is r a multiple of 18?
True
Let m(k) = k - 8. Let r be m(12). Let b be r + (0 - -83*8). Suppose 4*z = n + 648, z = 5*z + 4*n - b. Is 47 a factor of z?
False
Suppose 45*u - 134440 - 75356 = 44229. Is u a multiple of 9?
False
Let x(k) = -k**3 + 5*k**2 + 16*k - 11. Let y be x(7). Suppose 2*z = y*s + 2435, 4910 = 4*z - 7*s + 9*s. Is z a multiple of 95?
False
Let k = 30541 + -17216. Is k a multiple of 93?
False
Let c be 114*((-12)/8)/1. Is 2 a factor of 20 - (475/c - 4/18)?
False
Let q = 9553 + -9623. Let s be (3/(-2))/(6/(-440)). Is q/(-25)*s/4 a multiple of 17?
False
Let r(d) = d**3 + 25*d**2 + 18*d - 22. Is 32 a factor of r(-21)?
False
Suppose 7*g + 2*d - 5710 = 5*g, -2*g + d = -5710. Suppose q = -3*z + 719, 0*q - 4*q = 5*z - g. Is 16 a factor of q?
False
Let n(x) = -x**2 - 3*x + 42. Let z be n(-8). Suppose -3*w - z*m + 396 = -218, -4*w + 842 = -2*m. Is 8 a factor of w?
True
Let a(f) = 2*f**3 - 64*f**2 - 126*f - 40. Let u(x) = x**3 - 32*x**2 - 63*x - 20. Let q(o) = 3*a(o) - 7*u(o). Is q(33) a multiple of 16?
False
Let g(x) = -12*x + 1. Let f be g(9). Let c = 167 + f. Suppose c = -s + 4*s. Does 4 divide s?
True
Suppose 514*o - 409*o = 2438260 + 1754180. Is 24 a factor of o?
False
Let g = 186 + 26310. Is 92 a factor of g?
True
Let d be (1 + (-2)/2)/(-2 - -5). Suppose d = -x - 5*h + 124, 3*h = -2*x + 2*h + 239. Does 7 divide x?
True
Let m be (-4 - 80/(-15))*(-3)/(-2). Let h be (-1 + m + -5)/((-9)/558). Suppose -655 = -5*q + d, 5*d + 255 = 4*q - h. Does 21 divide q?
False
Is (-60344)/(32/(-4)) - 9 a multiple of 120?
False
Suppose 261 = 4*g - 103. Is 1 + (5 - 2 - 4) + g a multiple of 11?
False
Let b(v) = 112*v**3 + 3*v**2 - 38*v + 126. Is 74 a factor of b(4)?
False
Let l = -780 + 777. Does 7 divide l/8 + (-88164)/(-96) - -6?
True
Let n = -31551 + 32981. Does 3 divide n?
False
Let s = 18236 - -3634. Is 33 a factor of s?
False
Suppose -136*j = -450*j + 56520. Is 6 a factor of j?
True
Suppose -k = -r, -4 = 2*k - 7*r + 4*r. Suppose -k = 4*b - 4*y, -y + 0 = 1. Is 3 a factor of ((-8)/5 - b) + 204/15?
False
Suppose 29*s - 13*s - 16 = 0. Does 27 divide (585/78)/(s/54)?
True
Suppose -39356 - 904 = -8*b + 34244. Is 4 a factor of b?
False
Let m(p) be the third derivative of -5*p**4/6 - 64*p**3/3 - 106*p**2. Is m(-10) a multiple of 8?
True
Suppose 5*n + 5*g - 62036 + 16636 = 0, 2*g = -n + 9082. Does 89 divide n?
True
Suppose 4*s = 3*q + 1573, -4*s + 643 = 3*q - 936. Suppose s*c = 395*c - 294. Is 7 a factor of c?
True
Let h = -2866 + 3199. Does 3 divide h?
True
Let t(x) = 78*x + 3815. Is 2 a factor of t(-43)?
False
Suppose -19902 = 5*n + 2*n - 9*n. Is 31 a factor of n?
True
Let h(b) be the first derivative of -2*b**4 + 2*b**3 + 7*b**2/2 + 6*b - 65. Is h(-4) a multiple of 13?
False
Suppose -4*l = -u - 11, -3*u = 4*l - 11 - 4. Does 23 divide l + 152 + 6/3?
False
Let c(f) = f + 11. Let a be c(-6). Suppose -11*g - 4*z + 130 = -10*g, -g = -a*z - 157. Does 3 divide g?
False
Suppose -3*v = h - 840, -7*v = -4*h - 10*v + 3333. Let u = 1387 - h. Is 13 a factor of u?
False
Is 32 a factor of ((-2)/(-10) + 234660/300)/(3/20)?
True
Let f be (-1 - ((-42)/(-18) + -2))*-3. Is 48 a factor of -534*f/(-6)*(-3)/(-6)?
False
Let w = 39 - 27. Let j(r) = -w*r**2 - 4*r + 5*r**2 + 2 + 1 - 2*r**3. Is j(-4) a multiple of 35?
True
Suppose -g + 29*g - 224 = 0. Suppose -1097 = -g*l + 1951. Is l a multiple of 10?
False
Let h = -304 + 310. Suppose 4*c - 86 + h = 0. Is 12 a factor of c?
False
Let a = -6237 - -6426. Does 3 divide a?
True
Suppose j - 3*q - 1462 = 0, 2255 + 4987 = 5*j + 2*q. Is j even?
True
Suppose 3*v - 10 = 2. Suppose 4 = -w + 4*u, -v*w + 0*w + 2*u - 16 = 0. Let x(y) = y**3 + 8*y**2 + 3*y - 10. Is 5 a factor of x(w)?
False
Does 133 divide 1*-4*(2121 - 0)*2204/(-1392)?
True
Let y = 6995 + -5503. I