g) = -1135*g + 789. Is 17 a factor of a(-50)?
False
Let i(o) be the first derivative of -o**5/10 - 7*o**4/3 - o**3/3 - 5*o**2 - 8*o + 33. Let l(v) be the first derivative of i(v). Is 18 a factor of l(-14)?
True
Let y = 335 - 328. Suppose -3*g = -15, 60*g = -2*a + 65*g + y. Is 8 a factor of a?
True
Suppose -121 = -q - 5*r, -5*r = 2*q - 206 - 6. Suppose -4*z - 99 = -19. Let k = q + z. Is k a multiple of 21?
False
Does 141 divide (40/(-10) + 5)*140586/6?
False
Is 2/((-8)/(-6))*(-9078)/(-267) a multiple of 6?
False
Let q be 3 + 3 + -1 + 1/(-1). Suppose -5*b = 3*h - 2474, -3*b - b + 1976 = q*h. Does 62 divide b?
True
Suppose 4*n + c = -c - 316, 314 = -4*n - 3*c. Let j = 114 + n. Is j a multiple of 3?
False
Suppose 11*z + 22*z - 13*z - 12800 = 0. Is z a multiple of 128?
True
Suppose 29*j + 47564 - 254943 = 0. Does 15 divide j?
False
Let g = 4 + -32. Does 4 divide ((-70)/g)/(518/172 - 3)?
False
Let r be (6/(-12))/(1/6) + -218. Is 6 + -11 - r - 6 a multiple of 15?
True
Suppose 4*u - l = -5*l + 1680, u - 417 = -4*l. Does 38 divide u?
False
Let y be (-2 + 4)*(17 - (4 + -6)). Suppose -5808 - 2248 = -y*i. Is 15 a factor of i?
False
Let i be (-220)/((3/9)/(6/18)). Let u = 430 + i. Does 35 divide u?
True
Let f = 166 + -129. Suppose 2*h - f = 119. Does 39 divide h?
True
Suppose s - 4*y + 27 = 0, 3*y = s + 4 + 25. Does 19 divide s/(-6 - 678/(-114))?
True
Let j be (4 - -2)/(-3) - -5. Suppose 2*f - 5*f = j*z - 504, -2*f - 3*z = -338. Let t = f + 87. Is t a multiple of 23?
True
Suppose -f + 10112 = 2*p, 34*f - 2*p + 30352 = 37*f. Is f a multiple of 88?
True
Suppose -51*m + 943816 = 128*m - 22963. Is 51 a factor of m?
False
Let p(a) = -996*a - 149. Is 13 a factor of p(-30)?
True
Let q = 71 - 62. Let r(o) = -7 + 3*o - o + 2*o**2 - 5*o. Does 8 divide r(q)?
True
Is 7 a factor of (1184/(-56) + 20)*(45594/(-4) - 1)?
False
Let l be 44*7/(-35) - (-3)/(-15). Let w(x) = -10*x**2 - 69*x - 18. Let y(v) = -7*v**2 - 46*v - 12. Let f(z) = 5*w(z) - 7*y(z). Is f(l) a multiple of 13?
False
Suppose 3 = -7*i + 17. Suppose -c = 3*o + 5, -1 = -2*c + 3*o - i. Does 12 divide c + ((-861)/(-15) - 6/15)?
False
Suppose -7*w + 507 = -1243. Let u = w + -216. Is 9 a factor of u?
False
Let s(r) = r**3 + 22*r**2 + 42*r + 42. Let g be s(-20). Suppose -x - 3*d = -402, 12 = g*d + 2*d. Does 19 divide x?
False
Let q = 58 - 59. Let j(o) = 3*o**3 - o. Let c be j(q). Is 5 a factor of (2 + -4)/c*(-76)/(-4)?
False
Suppose 6*g = 2*g, -4*g + 6 = k. Suppose -2*s + k*s + 20 = 0. Is 11 a factor of (-3)/s - 874/(-10)?
True
Let r(v) = -2*v**3 - 4*v**2 + 39*v + 762. Is r(-15) a multiple of 41?
True
Let i(n) = n**2 + 14*n + 49. Let s be i(-5). Suppose -5*y - 4180 = -5*a - 1245, -s*a = 4*y - 2356. Is 42 a factor of a?
True
Let b = 63 - 69. Let m(s) = -4*s**3 - 7*s**2 - 2*s - 25. Let u(h) = 5*h**3 + 8*h**2 + h + 25. Let g(p) = 4*m(p) + 3*u(p). Is g(b) a multiple of 23?
False
Let q = 4491 + -4296. Is q a multiple of 3?
True
Let p(w) = 77*w + 28. Let y be p(7). Let b be ((-10)/(-15))/(6/y). Suppose 5*u = b + 57. Is u a multiple of 8?
True
Let p = 73 + -73. Let q(a) = a**2 - a + 9. Is q(p) even?
False
Let w(a) = -4*a + 136. Let c be w(34). Suppose 0 = 3*f + 42 - 111. Suppose f*s - 19*s - 36 = c. Is s a multiple of 7?
False
Let l(r) = -39 + r**2 - 3*r**3 + 27*r**2 + 4*r**3 - 34*r + 3*r. Does 2 divide l(-29)?
False
Suppose 0 = u + 2, -7*r + 14 = -2*r + 3*u. Suppose -m + 1048 = r*p, 13*m = -5*p + 8*m + 1295. Does 32 divide p?
False
Suppose 0*w - 21 = -7*w. Let h(l) = -l**3 + 17*l**2 - l + 12. Let u be h(17). Let o = w - u. Does 8 divide o?
True
Let q = 5769 - -4805. Is 311 a factor of q?
True
Let v = -245 - -248. Suppose 2*s = -4, v*s + 0*s = -2*n + 1164. Is n a multiple of 13?
True
Suppose -6*d - 12124 = -2*d - 11*d. Does 8 divide d?
False
Let h be (-10)/(-2) - (2/(-4))/((-79)/158). Let n = 95 + -55. Suppose -h*b = 2*g - 4*g + 86, b + n = g. Is 14 a factor of g?
False
Let j(z) = -247*z - 2. Let r be j(10). Let c be 5 + r/(-2) + -1. Suppose 0 = -3*v + 11*v - c. Does 20 divide v?
False
Let y(b) = -b**2 - 21*b + 8. Let f be y(-16). Suppose 0 = -93*s + f*s + 860. Does 19 divide s?
False
Suppose -23*v + 2730 = -9328 - 3720. Does 2 divide v?
True
Suppose -5*o = 2*y - 374, -228 = o - 4*o - 3*y. Let g = o + -66. Is (-7)/28 + 858/g a multiple of 14?
False
Let r(l) = -5*l**3 - 11*l**2 + 50*l + 240. Does 71 divide r(-4)?
False
Let k be (0 - 18490/(-55)) + (-4)/22. Suppose -r - 847 = -5*s, -2*s = 7*r - 6*r - k. Does 22 divide s?
False
Is ((-101916)/54)/((-2)/15) a multiple of 19?
True
Suppose -5*n + 2*b = -48462, -4*n + 9820 = -4*b - 28964. Does 19 divide n?
True
Does 108 divide ((-4)/10)/(-6 + 129239/21540)?
False
Suppose -3*r + 2*a + 17495 = 0, -3*r + a - 29167 = -8*r. Suppose 30*t = r + 13967. Does 22 divide t?
True
Let q = -212 - -217. Suppose -4*u = -8*s + 6*s - 296, -4*s = -q*u + 370. Is u a multiple of 19?
False
Let n = -4198 - -7506. Is 3 a factor of n?
False
Let b(u) = u**3 + 12*u**2 - u - 2. Let j be b(-8). Suppose -r + 74 = -3*o + 8*o, -5*r = -2*o - j. Does 4 divide r?
False
Let c be 12*(6 - (-2)/(-1)). Let p(i) = 23*i + 1063. Let m be p(-45). Let l = c - m. Is 20 a factor of l?
True
Suppose 0 = g + n - 9470, 13*n = 4*g + 10*n - 37894. Is g a multiple of 64?
True
Let z(g) be the first derivative of g**4/2 + 17*g**3/3 - 13*g**2/2 - 4*g - 72. Let s be 282/(-30) - (-2)/5. Is z(s) a multiple of 7?
False
Let l = 82 - -67. Let r = l + -107. Does 31 divide r?
False
Let o = 1666 + 2814. Is 64 a factor of o?
True
Let k(j) = 4*j**3 - 2*j**2 + 13*j - 10. Is 7 a factor of k(3)?
True
Suppose -1177285 = -198*o - 249259. Is 109 a factor of o?
True
Suppose 57*u - 267 = 56*u. Suppose -u = -4*x - 3*s + 202, 3*s - 106 = -x. Is 14 a factor of x?
False
Suppose 528*g - 583648 = 344*g. Is 122 a factor of g?
True
Let u be (-6)/14 + 40593/49. Suppose 12*z + u = 16*z. Is 69 a factor of z?
True
Is ((-12685)/177)/((-1)/978) a multiple of 17?
False
Let l(t) = 1639*t + 23. Let a be l(2). Let y = a - 2113. Is y a multiple of 22?
True
Let w(p) = 34*p - 10. Let o be w(4). Suppose 0 = 320*h - 319*h - o. Is h a multiple of 42?
True
Let k(z) = -2*z**3 - 2*z**2 - 2*z + 6890. Is k(0) a multiple of 65?
True
Let d(s) = -32*s + 4310. Is d(-21) a multiple of 8?
False
Let m(l) be the second derivative of 7*l**6/720 - 2*l**5/15 - 19*l**4/12 + 11*l. Let p(u) be the third derivative of m(u). Is p(8) a multiple of 10?
True
Let i be (-70440)/(-135) - 4/(-18). Suppose 165*f = 156*f + i. Is 58 a factor of f?
True
Does 114 divide (-4)/((-60)/15385) - (4 + (-39)/9)?
True
Is 125 a factor of 2/5 - (-7 + (-449892)/20 + 2)?
True
Does 68 divide (-3 + (-64)/(-24))*-2652?
True
Suppose 90*o - 417201 - 268406 = 444073. Is o a multiple of 43?
False
Suppose -5*c + 2*s + 2289 = 0, 3*s - 533 - 375 = -2*c. Let d = c - 270. Is d a multiple of 17?
True
Suppose 4*c = 7*k - 8*k + 23921, 3*c - 3*k = 17937. Is 13 a factor of c?
True
Suppose -130*j + 28 = -134*j, -2*w = 4*j - 26372. Is w a multiple of 25?
True
Let y be ((-25)/1)/(-5) + -4. Suppose 10*l - y = 79. Suppose -18*q + l*q = -120. Does 12 divide q?
True
Let b = -17 + 17. Suppose o + 8 = -b. Does 9 divide o/36 - (-407)/9?
True
Suppose 0 = s + 8 + 4. Let q be (-364)/3 + (-4)/s. Let l = 205 + q. Does 15 divide l?
False
Let r(y) = 50*y + 36. Let a be r(-2). Let x = 44 - a. Is 24 a factor of x?
False
Let z = -2331 + 15371. Is z a multiple of 77?
False
Let p = 23 + 108. Let r = p - 119. Is (1 + 29/4)*r a multiple of 11?
True
Let i be ((-3)/(-1))/((-18)/12). Is (-2115)/(-25) - i*(-12)/40 a multiple of 14?
True
Let w = 11133 + -8107. Does 26 divide w?
False
Let r = 15320 + -9185. Is 15 a factor of r?
True
Let g = 6806 + -3448. Is 46 a factor of g?
True
Suppose 2*b + 150 = 4*b. Let p(i) = -i**2 + 40*i - 180. Let g be p(33). Let j = b - g. Does 12 divide j?
True
Suppose q - 30105 = -4*r, 5*q - 472*r - 150573 = -476*r. Does 14 divide q?
False
Let o(d) = -18*d**2 + 4*d + 231. Let g(h) = -87*h**2 + 21*h + 1155. Let r(x) = 5*g(x) - 24*o(x). Is 21 a factor of r(0)?
True
Let r(o) = -14*o + 30. Let i be ((-8)/3)/4*66/4. Let k(a) = a**2 + 13*a + 15. Let v be k(i). Does 26 divide r(v)?
False
Let q = -375 + 751. Suppose -8*r + 1080 = -q. Is r a multiple of 14?
True
Suppose -27*f = 22*f - 206584. Is f a multiple of 8?
True
Let s be -4 + (-1 - -6) + 