
Let q(k) be the second derivative of -13*k**3 - 45*k**2/2 - 44*k. Is 40 a factor of q(-8)?
False
Let i = -94 - -101. Suppose i*l - 660 = 1006. Does 14 divide l?
True
Suppose 3*i = h - 11, -4*i + 4*h - 16 = 3*h. Let n(a) = -44*a - 70. Does 15 divide n(i)?
True
Let f = 878 - 365. Suppose -f*i = -514*i + 1503. Does 76 divide i?
False
Let j(i) be the second derivative of -i**6/24 + i**5/120 - i**4/12 + 12*i. Let l(t) be the third derivative of j(t). Is 31 a factor of l(-1)?
True
Let v = 0 - 5. Does 13 divide (-3328)/v + ((-294)/35)/14?
False
Suppose -58*y - 20 = -62*y. Suppose -y*c - 313 = -3*m, m - 5*c - 102 = -c. Does 10 divide m?
False
Suppose -4*u = -m - 2*m - 37, u - 4*m - 19 = 0. Let f(q) = -2*q**3 + 14*q**2 + 2*q - 14. Let a be f(u). Is 27/(((-9)/(-45))/(1 - a)) a multiple of 9?
True
Let h(k) be the second derivative of k**5/20 - 19*k**4/12 + 23*k**3/6 - 27*k**2 - 2541*k. Suppose -5*m = 25 - 115. Is h(m) a multiple of 6?
True
Suppose 3*u = -5*t + 10, 6*u - 15 = -t + 8*u. Suppose 6*a - n = 3*a + 752, -3*n - 1248 = -t*a. Is 21 a factor of a?
True
Let u(d) = 12*d + 23 - d**3 - 7 + 6*d**2 - 19. Does 14 divide u(-6)?
False
Let c(y) = -y**3 + 12*y**2 - 8*y + 67. Let w = -80 - -89. Does 13 divide c(w)?
False
Let y be (-6)/63*-14 - (-1)/(-3). Is (-3)/(1/((-184)/12)) + y a multiple of 23?
False
Suppose -3*z = 3*n - 12, -5*n = 3*z - 2 - 8. Suppose 0 = -z*g - 14*g + 3135. Does 5 divide g?
True
Suppose -8 = -4*g, 4*g - 63107 = 36*s - 39*s. Does 27 divide s?
True
Let r be 7 - (4 + (-6 - -185)). Let b = 289 + r. Does 4 divide b?
False
Is (-6104)/1050*-590 + (-4)/(-30) a multiple of 45?
False
Let y = 44 + -50. Let h be (-4)/(y - -2) - -1. Suppose -4*o = h*n - 26, o = -4*o + 15. Is n a multiple of 6?
False
Suppose 17*n - 12 = 13*n. Suppose -n*x + 12 - 6 = 0. Suppose 89 = 4*l - 3*t, -3*l + x*t + 60 = -6. Does 5 divide l?
True
Let o be -2*(25/75)/((-1)/(-3)). Does 15 divide (-3625)/(-50) - 5/o?
True
Let j(k) = k - 13. Let c be j(14). Is 35 a factor of (-10 + c)/(1/444*-9)?
False
Let u = -22 + 21. Let q be -3 + -1 - u - (1 + 0). Is 33 a factor of ((-9)/q)/((-85)/88 - -1)?
True
Suppose -117 = -9*z + 306. Let v be (-2)/(-6)*-1*(z + -44). Is (-973)/(-35) - (v + 4/5) a multiple of 7?
True
Suppose 18099 = -5*o + 41*o + 1179. Does 10 divide o?
True
Suppose 26455 = -19*u - 46*u. Let f be (1 + 1)/(4/(-526)). Let h = f - u. Is 44 a factor of h?
False
Suppose -69*y = -74*y + 80. Let c(d) = d**3 - 15*d**2 + 4*d - 40. Does 70 divide c(y)?
True
Let n be 104 - -6*(-3)/9. Suppose -243 = -4*k - 5*h, 2*h = 2*k - 2*h - n. Is 19 a factor of k?
True
Let s(a) = -49*a + 4. Let r be s(6). Let z = r + 62. Does 16 divide (z/(-95))/((-3)/(-80) + 0)?
True
Let z(t) = 350*t - 46. Let l be z(7). Is 7 a factor of 8/36 - l/(-36) - -3?
True
Let o(q) be the second derivative of q**4/12 + 7*q**3/6 - 37*q**2/2 + 4*q - 2. Is 3 a factor of o(-15)?
False
Let d = 215 + -199. Suppose -d*f + 12*f + b = -1665, 2*b = f - 418. Is f a multiple of 18?
False
Let f = -8267 - -17466. Does 138 divide f?
False
Suppose 0 = -8*u - 2785 - 1087. Let j = u + 820. Is j a multiple of 21?
True
Let u = -173 - -190. Suppose u = o - 148. Is o a multiple of 50?
False
Let l = -269 + 5. Let a(c) = 114*c**2 - 2*c + 3. Let t be a(2). Let k = l + t. Is k a multiple of 26?
False
Let s be 24/(-18) + (-230)/(-6). Let k = s + -7. Suppose 9*h = 3*h + k. Is h a multiple of 5?
True
Suppose 0 = 32*x + 25635 - 302576 - 22579. Is 117 a factor of x?
True
Let v(q) = -q**3 + 4*q + 3. Let z be v(-1). Suppose z = -8*l + 13*l. Let s(m) = 5*m**2 + 2*m + 62. Is 5 a factor of s(l)?
False
Let d(p) = 1. Let a(l) = -l**3 - 14*l**2 + 101*l - 5. Let u(t) = -a(t) + 5*d(t). Does 52 divide u(-15)?
True
Suppose -30334 = -95*r + 155866. Is 14 a factor of r?
True
Suppose 115 = 5*g - 4*a, 7*g - 17 = 6*g + 2*a. Suppose 3*l = -5*u + 1195, u - l + g = 274. Is 11 a factor of u?
True
Suppose 6*y - 43 = -25. Suppose -y*h - 671 + 212 = 0. Let o = h - -361. Is o a multiple of 13?
True
Let g = 8558 + -5007. Does 26 divide g?
False
Let j(z) = 141*z + 18 - 34 + 9. Let x be j(2). Does 24 divide (-11)/(x/(-3310)) + (-2)/5?
False
Let f = -348 + 286. Let b = f - -152. Is b a multiple of 5?
True
Let f = 2170 + -1942. Is f a multiple of 19?
True
Let n(g) be the second derivative of 23*g**3/3 + 2*g**2 - 25*g. Let k be n(2). Let s = -30 + k. Is s a multiple of 9?
False
Suppose -2*j = -8*h + 7*h + 7208, -7244 = -h - 4*j. Is h a multiple of 26?
False
Suppose 3*m + 153 = 2*i, -5*m + 51 = i - 6. Does 61 divide 375/2*96/i?
False
Suppose -36*d + 146624 - 208120 + 970532 = 0. Does 92 divide d?
False
Let i(p) be the first derivative of -p**4/2 + 5*p**3 - 4*p**2 + 7*p + 10. Let g be i(7). Suppose d = 4*a + 2*d - 115, -3*a - d + 85 = g. Is 5 a factor of a?
True
Suppose 4*b + 37333 + 6087 = 5*h, -4*b + 34700 = 4*h. Is 70 a factor of h?
True
Let n(k) = 15*k**2 + 60*k - 600. Is n(14) a multiple of 20?
True
Let f be (3 - 1)/2*-6. Let p be (-4)/f*9/2. Suppose -p*m - 27 = -72. Is m a multiple of 15?
True
Let x(c) = -682*c**3 - 2*c**2 - 7*c - 6. Let m be 5*6/(-150)*5. Does 21 divide x(m)?
False
Suppose -33*w - 1641 + 24 = 0. Let c(z) = -z**2 - 55*z - 246. Is c(w) a multiple of 3?
True
Suppose -43*z + 58812 = -14*z. Does 13 divide z?
True
Let d = -83 - -409. Let m(w) = -d*w**2 - w**3 - 16 + 317*w**2 - 8*w + 0*w**3 + 0*w**3. Does 8 divide m(-9)?
True
Let b = -9947 - -23156. Does 37 divide b?
True
Does 37 divide ((-57231)/(-2))/((-20)/(640/(-48)))?
False
Suppose 85*f = -3*t + 82*f + 54834, -4*f = 2*t - 36544. Is t a multiple of 44?
False
Let j = 15383 + -12403. Does 20 divide j?
True
Let r = 198 - 189. Is (r/6)/((-12)/(-1624)) a multiple of 5?
False
Suppose 18 = -2*q + 8*q. Suppose -80 = -q*s + 400. Is 16 a factor of s?
True
Let z = -850 - -2050. Suppose 10*j - 900 - z = 0. Is j a multiple of 15?
True
Let f = 3805 - 3658. Is 3 a factor of f?
True
Does 7 divide -867*(-1)/1 - (-332 + 340)?
False
Suppose 0 = w - 238 + 242. Let v(k) = 18*k + 9*k**2 - 2*k**2 + 15*k**2. Is 40 a factor of v(w)?
True
Let a(n) = 2*n**2 + 135*n + 1752. Is 26 a factor of a(-94)?
True
Let j(d) = 167*d + 7. Let s be j(-1). Let u = 228 + s. Does 34 divide u?
True
Let g = 73 - -662. Let k = g + -222. Suppose 4*w + 21 - k = 0. Is 41 a factor of w?
True
Let v(h) = -2*h**2 - 34*h. Let i be v(-16). Let w be -3*(4 + i/(-6)). Suppose -3*r + 222 = 3*n, 0 = -r - w*r - n + 370. Does 9 divide r?
False
Let h = 220 - 195. Let d = h - -479. Is 28 a factor of d?
True
Suppose n + 4*d = -214, -4*d - 401 = 3*n + 281. Let v be n/(-5) + 1 + (-13)/(-65). Let x = 128 - v. Is x a multiple of 15?
False
Let h = 254 + -743. Let o = -320 - h. Does 8 divide o?
False
Suppose -127*y - 166*y - 411071 = -2906552. Is y a multiple of 42?
False
Suppose -14*m + 2375 + 3043 = 0. Does 13 divide m?
False
Suppose 0 = -m - 4*x - 16, 2*x + 12 = 3*m - 10. Suppose m*z - 140 = -0*z. Suppose 2*r - 36 = -y, -3*y = -r - z - 108. Is y a multiple of 12?
False
Let x(o) be the first derivative of -o**4/24 + 11*o**3/2 + 3*o**2 + 7. Let t(w) be the second derivative of x(w). Is t(-23) a multiple of 14?
True
Let m(r) be the first derivative of 45*r**2 - 2*r - 5. Let j be 4/6*-8*18/(-96). Does 11 divide m(j)?
True
Suppose -10*w + w + 36 = 0. Let b = 42 + w. Suppose 2*m + 2*d = 70, -4*d - b = -2*m - 0*d. Is m a multiple of 13?
False
Let p = 7668 + -2484. Suppose 0 = 11*o - 20*o - p. Let u = -381 - o. Is 25 a factor of u?
False
Suppose 91*x = 132*x + 31700 - 119563. Does 24 divide x?
False
Let x be 120*(7/(-7) - 1). Let c = -233 - x. Is c a multiple of 2?
False
Let b be 6/(-14) + (-144)/(-42). Suppose -5*n - b*w + 624 = 0, -3*n + 3*w = -w - 386. Is n a multiple of 13?
False
Let o(b) = -b**2 + 3*b + 219. Let m = 119 - 122. Let l be (1 - 1)/((6 - 1) + m). Does 16 divide o(l)?
False
Let i(m) = 5*m**2 - 51*m + 4. Let f be i(12). Does 21 divide 56/f - (-1415)/2?
False
Suppose -6*t - 2*i = -5*t - 353, 4*t + i = 1433. Suppose -31 - t = -2*y + 4*k, 4*k = 16. Does 23 divide y?
False
Let j be -12*2/(-1)*(-17)/(-51). Is 21/(-56) - (-195)/j a multiple of 3?
True
Let a = -76 + 80. Suppose -11*c - 7 = -a*c. Is c/5 + (-1183)/(-65) a multiple of 2?
True
Suppose 50572 = 7*l - 40596. Does 44 divide l?
True
Suppose 0 = 3*n - 15. Suppose -n*w + 2*i + 205 = -i, -15 = 3*i. Let y = w - 25. Is y a mu