**3 - 2*o**2 - 3*o - 2. Let n be y(-1). Suppose -n*a - 4*m + 140 = -3*a, -5*a - 5*m + 760 = 0. Is a a multiple of 39?
True
Suppose -7*n + 381 + 431 = 0. Suppose -2*p - 5*h + h = -156, 4*h + n = 2*p. Suppose r + 101 = 3*x + 5*r, p = 2*x + 2*r. Does 7 divide x?
True
Let z be (-9 - -5)/(2/(-43)). Let d = 168 - z. Let h = d - 75. Is h a multiple of 7?
True
Let b = -17 + -301. Let u = b + 398. Is 40 a factor of u?
True
Suppose 65 = -2*p - 149. Let d = 176 - 241. Let g = d - p. Does 7 divide g?
True
Let c = 1249 + -1894. Let l = -546 - c. Is 2 a factor of l?
False
Suppose g - 4 = 2. Let p be ((20/g)/((-16)/(-24)))/1. Suppose 2*k - h = 131, 9*k = p*k - 4*h + 256. Does 11 divide k?
False
Suppose 85*t - 11812 = 89*t. Is 26 a factor of (-27)/216 + t/(-8)?
False
Suppose -70*v - 5*h + 118280 = -65*v, -10*v = -2*h - 236488. Does 10 divide v?
True
Let y(n) = 4854*n**2 - 11*n - 13. Is 41 a factor of y(-3)?
True
Let j(w) = -20*w**2 - 6*w - 3. Let a be j(2). Let h = -90 - a. Is 63 + -7 - (h - 0) even?
False
Is -18 - (-1228 + 8 + -20) a multiple of 2?
True
Let o be (-2 - 0)*5/2*3. Let k be (o/(-15))/((-1)/(17*-23)). Suppose -10*d + 249 = -k. Is d a multiple of 8?
True
Suppose 0 = -21*m + 20*m. Suppose 9*h - 11*h + 6 = m, -96 = -d + 3*h. Is 2 a factor of d?
False
Suppose -3*g - 2*g + 28 = -3*l, 2 = -l - 2*g. Is 15253/56 + l/16*1 a multiple of 24?
False
Suppose 0 = -18*y + 2*y - 96. Is -434*2/y + 35/105 a multiple of 29?
True
Suppose 0 = -3*t + 5*a + 30069, 2*t - 5*a - 2424 = 17622. Is 17 a factor of t?
False
Is (-58)/(-8 + (-350)/(-45)) a multiple of 29?
True
Let j be (-22)/(-8) - 8/(-33 + 1). Suppose -j*a + 152 = a - 2*d, 0 = -2*a - 3*d + 84. Is a even?
False
Is 46 a factor of 50308/(-36)*-21 - 55/(-33)?
True
Let l = 1707 + -2662. Let w = 1627 + l. Does 48 divide w?
True
Let v(d) be the third derivative of -d**6/120 - d**5/60 + 19*d**4/24 - 11*d**3/6 - 23*d**2. Is v(-6) a multiple of 11?
True
Let q = 74 + -129. Let c = q - -50. Does 3 divide c*(20/(-5) - -2)?
False
Let s(c) = 61*c**2 - c + 18. Let w(l) = 30*l**2 - l + 9. Let m(k) = -2*s(k) + 5*w(k). Let u be m(-5). Is 19 a factor of ((-16)/(-32))/(2/u)?
False
Suppose -s + 12 = -0*s. Suppose 0*l + 4*l - s = 0. Suppose -j + 80 = 2*k, -k - 240 = -3*j + l*k. Does 16 divide j?
True
Let o(d) = 12418*d**2 + d - 4. Does 59 divide o(-1)?
False
Let i = -529 + 206. Is 11 a factor of 4 - 2 - (-24)/(-4) - i?
True
Let t(y) be the third derivative of y**5/60 + 7*y**4/8 + y**3 - 55*y**2. Is t(-24) a multiple of 26?
True
Suppose 7*t = -t + 8. Let m(k) = 26*k - 4. Let w be m(t). Let j = w - -9. Is 6 a factor of j?
False
Does 18 divide (-9)/(19 + (-682617)/35926)?
True
Does 28 divide (28/24)/(-7)*-2*-15 + 5213?
True
Let k(f) = -f**3 - 17*f**2 + 18*f + 25. Let s be k(-18). Suppose -3*m + 4*l - 20 = -2*m, 4*m = 5*l - s. Suppose m = b - 19 + 1. Does 6 divide b?
True
Suppose -3*z - 2*w + 231 = 0, 2*w + 4 + 2 = 0. Suppose -3*i + 223 = z. Does 8 divide i?
True
Suppose 0 = -4*i + 39 + 145. Let z = -45 + i. Is 43 a factor of 1 - z - -5 - -140?
False
Let h be 0 + 240 - (2 - 2). Suppose -5*r = -13*r + h. Is 10 a factor of r?
True
Suppose 1676302 = -518*u + 612*u. Is 42 a factor of u?
False
Suppose -3*a + 3*q + 24642 = 0, 9*q - 6*q + 32858 = 4*a. Is 52 a factor of a?
True
Let o(u) = -19*u**3 + 6*u**2 + 3*u - 6. Let l(r) = 17*r**3 - 5*r**2 - 4*r + 5. Let x(k) = 4*l(k) + 3*o(k). Does 26 divide x(3)?
True
Suppose -221*i + 3*v - 19209 = -224*i, v = 7. Does 26 divide i?
True
Let d(z) = z**3 + 6*z**2 - 9*z - 10. Let w be d(-7). Let x = 150 - 80. Let s = x - w. Is 14 a factor of s?
False
Let c = -2378 + 1694. Let w = 1334 + c. Does 13 divide w?
True
Let w be (3 - 0) + 1 + 168. Let h = w + 26. Does 22 divide h?
True
Suppose 4*k - 3102 = -5*u - 699, -9 = 3*k. Is 41 a factor of u?
False
Let l = -9273 - -11185. Is 22 a factor of l?
False
Let s = 35 + -105. Does 13 divide (-4)/(-14)*s/40*-104?
True
Let h(v) = -v**3 - 10*v**2 - 26*v + 16. Let l be 2/(1*2) - (-117 - -124). Is h(l) even?
True
Let l = -129 + 173. Suppose 4*i = 5*h + 865, h + l = -3*i + 688. Does 13 divide i?
False
Suppose -4*l + 36 = -j - 4, 19 = l + 2*j. Suppose 13*g = l*g + 926. Is 26 a factor of g?
False
Let j(s) = 133*s**2 + 15*s - 240. Does 7 divide j(-5)?
True
Let b = -7788 + 8039. Does 11 divide b?
False
Suppose -18*d + 1130760 = 56*d + 7*d. Does 10 divide d?
True
Let p be 3/(-15) + 3/15. Suppose -3*h = 4*z - 2*z - 53, p = -2*z + 2. Suppose 14*n - h*n + 84 = 0. Is n a multiple of 10?
False
Let d(y) = 30*y + 344. Let x be d(-12). Let r(t) = -t**2 - 38*t - 118. Does 13 divide r(x)?
True
Let i(h) = 5*h - 25. Let b be i(6). Suppose o + b*d = 23, -3*o + 4*d = d + 3. Suppose -o*r + 2*r - 184 = -5*t, r = 3*t - 112. Is 6 a factor of t?
True
Suppose 6 = 3*b, 0 = -4*g + 3*g - 4*b + 15166. Does 15 divide g?
False
Does 8 divide 9489/(-4)*(4/22 + 8836/(-3102))?
False
Suppose -31*s = -24*s - 12152. Is 31 a factor of s?
True
Let p = 34424 + -15603. Is p a multiple of 29?
True
Suppose 101118 = 4*t + b, -2*t + 52672 = b + 2110. Does 11 divide t?
True
Let p(x) = 2*x**2 - 4*x + 319. Let y be p(0). Suppose -7*j - 25 = -y. Is j a multiple of 2?
True
Let h(d) = -12 + 37 - 13 + 2*d**2 - 5 - d. Let x(y) = 2*y**2 + 6. Let r(u) = -4*h(u) + 5*x(u). Is r(6) a multiple of 7?
True
Suppose 3*s - 391 = j - 0*j, 0 = 5*s - 2*j - 653. Let r be -2 - s/(-6)*2. Let n = r + -25. Is 3 a factor of n?
False
Suppose -4*q - 1 + 5 = 0, 54 = -2*n - 4*q. Let m = n + 31. Suppose 2*b - 62 = 5*t, t = -5*b + m*b + 76. Is b a multiple of 10?
False
Let j be 1/((-9)/(-63)) + -2. Is 380 - ((-140)/7)/j a multiple of 24?
True
Let b = -165 + 176. Suppose 13*y - 438 = b*y. Does 44 divide y?
False
Suppose 1932*x = 1940*x - 93952. Is x a multiple of 14?
False
Is 79 a factor of 2*100 + ((-20)/50)/((-18)/(-135))?
False
Let r(w) = 322 + 132 + 5*w - 3*w - 4*w - 111. Is 9 a factor of r(-31)?
True
Suppose 4*l - 133 = -157. Let g(t) = -4*t**3 + 14*t**2 + 7*t - 20. Let d(x) = 5*x**3 - 15*x**2 - 8*x + 21. Let n(o) = l*g(o) - 5*d(o). Is 4 a factor of n(-9)?
False
Let s(x) = -4*x - 67. Suppose 85*a + 125 = 80*a. Is 3 a factor of s(a)?
True
Suppose 6*k + 24 = 9*k. Let v(y) = 2*y**2 - 15 - y**2 + 4*y + y**2. Is 14 a factor of v(k)?
False
Let n(s) = 194*s + 450. Does 184 divide n(47)?
True
Suppose -4*s + 7*s + 2*g - 396 = 0, -3*s + 414 = -4*g. Is 5 a factor of s?
False
Let j = 31 + -25. Let s be (9/3)/(j/4). Suppose 13 = -s*v + 41. Does 2 divide v?
True
Let u = -5 + 7. Suppose 4*p = 3*p + 4*s + 15, 0 = -u*p + 5*s + 15. Does 26 divide (31 + p)/(2/4)?
True
Suppose -29997998 = -621*y - 9322424. Does 10 divide y?
False
Let b be (-2)/((50/(-58) + 1)/(-2)). Let v(l) = 25*l + 0*l**2 - b*l + 2*l**3 + 2*l**2 - 3. Does 22 divide v(4)?
False
Let s = 84 - 84. Suppose s = -23*k + 26*k - 378. Does 3 divide k?
True
Let q(m) be the second derivative of -m**3/6 + 11*m**2/2 + 6*m. Let i be q(-13). Suppose -3 = h, 2*s - 2*h - i = -0. Is s even?
False
Let t be 6/39 - (-8)/(-52). Let l be 17 + (t/3)/(-5). Suppose 3*f - l = 142. Does 5 divide f?
False
Is (-3)/(-21) - (251668/(-21) - (-62)/186) a multiple of 17?
False
Let j = -709 - -3074. Suppose 9*k - j = 137. Does 8 divide k?
False
Let n = 5966 + -214. Does 12 divide n?
False
Let t be (-2)/((-21)/(-9) - 3). Is 48 - 7*t/7 a multiple of 9?
True
Suppose 3*h - 4*w + w + 1530 = 0, -5*h - 3*w = 2590. Let o = 810 + h. Is o a multiple of 59?
True
Let q(b) = b**3 - 34*b**2 + 84*b + 342. Is 86 a factor of q(44)?
False
Let o(w) = 6*w**2 + 10*w + 7. Let v be o(-10). Let c = 297 - v. Let g = -114 - c. Is g a multiple of 24?
True
Let y be (2/4)/((-2)/(-36)). Suppose -y*o + 7*o = -8. Suppose -b - o*z + 96 = 0, 4*b - b - z - 301 = 0. Is 14 a factor of b?
False
Let z = 58645 + -16404. Does 33 divide z?
False
Suppose 4*f + 30 = 10. Let y(o) = 26*o + 18. Let i be y(f). Let v = -43 - i. Does 23 divide v?
True
Let a be (2 - 1) + 2 + -41 + 2. Let u = 38 + a. Suppose u*n + 3*n - 180 = 0. Is n a multiple of 6?
True
Let b = 127 + -100. Suppose b*i - 5120 = 7*i. Suppose g + 3*w = 246, g - i = -0*g - 5*w. Is 40 a factor of g?
False
Is 3 a factor of (0 + 4 + -307)/(174/(-1450))?
False
Suppose -5*u = 4*p - 45560, -442*u + 438*u - p + 36437 = 0. Is u a multiple of 22?
True
Let r be 8/6*(-45)/(-10). Is (r + -3 + -1)*5*14 a multiple of 7?
True
Suppose 