et f be l(-2). Let p be (2 + -8)*2/f. Is 6 a factor of d(p)?
False
Let l(k) be the second derivative of k**3/3 + 8*k**2 + k. Let u be 16/(-10)*((-210)/(-24))/(-7) - -3. Is l(u) a multiple of 7?
False
Let w(u) = 2*u**3 - 19*u**2 - 30*u - 3. Suppose -2*o - 48 = -4*y, y + 8 - 11 = -4*o. Is 15 a factor of w(y)?
True
Suppose 335*b - 332*b = 4*j + 9191, 5*b - 15349 = -j. Is 99 a factor of b?
True
Suppose -44*r - 14*r = -132298. Does 23 divide r?
False
Let b(u) = -u**2 + 11*u + 98. Let y be b(13). Let a = 41 + -25. Suppose -a*d = -18*d + y. Does 18 divide d?
True
Let w(h) = -h + 443. Let m be w(0). Suppose -2*o = -n - m, -n + 9 = -4*n. Let a = o + -90. Is a a multiple of 10?
True
Let k be (12/15)/(11/220). Suppose -k*l - 54 = -22*l. Is 9 a factor of l?
True
Is (-8)/1*(-125161)/188 a multiple of 88?
False
Suppose 5*y - 267 = -4*d, -4*d - 5 - 3 = 0. Let p be (-4)/22 + (-320)/y. Let m = 104 + p. Does 14 divide m?
True
Let w(s) = 2*s**2 + 13*s + 100. Is w(16) a multiple of 2?
True
Let w(j) = -j**2 - 3*j + 36*j**2 - 13*j**2. Is w(-3) a multiple of 5?
False
Let j be (-11)/(-4) - 1/(-4). Let s(h) = 2*h - 3. Let k be s(j). Suppose 9 = 3*m, 4*n + 4*m - 455 = k*m. Is 19 a factor of n?
False
Suppose 6*l + 19*l - 2539 = -589. Is 2 a factor of l?
True
Suppose -25575 = -3*h + 5*o, 2*h + 4*o - 4641 = 12431. Is h a multiple of 5?
True
Let u = 12341 - 2347. Is u even?
True
Suppose -3 = -3*z + 4*z - 2*v, 0 = -5*z + v + 30. Suppose -3*b = 22 - z, 0 = 4*q + 4*b. Suppose n = 4*j - n - 58, q*n + 33 = 2*j. Is j a multiple of 5?
False
Let w be (0/(-4))/(2/(-2)). Suppose -13*b + 17*b = w. Suppose b = -3*i - 0*i + 324. Is 18 a factor of i?
True
Let b(i) = -16*i**3 - 39*i**2 - 344*i + 5. Is 33 a factor of b(-8)?
False
Let y = 260 - 266. Let j(n) = -39*n + 100. Does 20 divide j(y)?
False
Suppose -c = -3*q - 256, 586 = 2*c + 5*q + 85. Let p(i) = 254*i**2 + 3*i - 1 + i + 3 - c*i**2. Is p(3) a multiple of 3?
False
Suppose 29 + 6 = 7*l. Let u = l + -2. Suppose 2*n - 325 = -u*n. Is 5 a factor of n?
True
Let g = 60 - 54. Let b = g - -2. Is 5 + 3 + (b - 3) a multiple of 2?
False
Let u = -5625 - -7025. Is u a multiple of 20?
True
Does 67 divide (-22)/10 + 12/(-15) + 53988/44?
False
Suppose 2*r - 153 = -j + 38, 5*j = 3*r + 903. Is 3 a factor of j?
True
Let y(u) = -77*u - 34. Let x be y(-5). Suppose -v = -2*v + x. Is 16 a factor of v?
False
Suppose 31*g - 22*g - 29073 = -5*a, -a - 9699 = -3*g. Is 31 a factor of g?
False
Let n be (1/3)/((-28)/(-504)). Let k be 12/3 - n - -126. Suppose -2*c + 56 = -k. Does 15 divide c?
True
Suppose -2*l - 14 = 0, -x + 27*l - 29*l + 4866 = 0. Is x a multiple of 80?
True
Let y = 40 + -50. Let n be (3 - (-4)/(-8))*(-1048)/y. Let w = -124 + n. Is 24 a factor of w?
False
Is 10 a factor of (18/(-12))/((-90)/207600)?
True
Let r be (11/(-1))/(2 + -1). Is (12 + r)*(-5)/((-5)/68) a multiple of 17?
True
Let l(u) be the third derivative of -u**6/60 - 3*u**5/10 + u**4/12 + 22*u**3/3 + 52*u**2 + 2*u. Is 13 a factor of l(-12)?
True
Let s(t) be the second derivative of -5*t**3/6 - 16*t**2 + 77*t. Is s(-33) a multiple of 6?
False
Suppose -38*d = -5*d + 132. Is 12 a factor of (-2)/d + -3*4565/(-30)?
False
Let o be (-1 + 2/(-1))/(2/(-114)). Let i = o + -57. Does 23 divide i?
False
Suppose 4*f - 7662 = -3*j + j, -3*j - 2*f = -11481. Does 7 divide j?
False
Let n(c) = -2*c**3 + 46*c**2 + 26*c - 186. Is n(23) a multiple of 6?
False
Suppose -4*m + 3*o + 5925 = 0, -34*m - 4*o + 7414 = -29*m. Is m a multiple of 7?
False
Let b(a) = 72*a**2 - 930*a - 9. Does 50 divide b(13)?
False
Suppose 20*p - 13*p - 145260 = -13*p. Is p a multiple of 9?
True
Let j = -34 + 28. Let w(n) = -n**2 - 5*n + 16. Let k be w(j). Is ((-2)/k*6)/(3/(-105)) a multiple of 7?
True
Suppose -4*b + 49 = 65, 0 = -3*m - 5*b + 14272. Is m a multiple of 6?
True
Let v(j) = -11*j - 17. Let y be (0/(-5) + -4)*3. Let m be v(y). Suppose -5*h + 50 = -m. Does 11 divide h?
True
Let v be (-692*12/(-96))/(2/(-12)). Let n = -387 - v. Is 12 a factor of n?
True
Is -9*40/1620 - 61805/(-9) a multiple of 27?
False
Let s(y) = -4308*y - 2197. Is 156 a factor of s(-3)?
False
Let q be (2 + (5 - 8))/((-1)/2). Let a(o) = 450*o - 60. Is 42 a factor of a(q)?
True
Suppose -15*y = 203*y - 373216. Is 4 a factor of y?
True
Suppose 3*b = -3*l + 186 + 153, -4*l + b = -442. Let r = l - 12. Is r a multiple of 9?
True
Let r(g) = -12*g**3 - 2*g + 1. Let u be r(1). Let w(m) = -12*m - 69. Let t be w(-7). Let d = t - u. Is d a multiple of 4?
True
Let c(x) = -x**3 - 9*x**2 - 11*x - 5. Let g be c(-8). Let k(m) = -m**2 + 22*m - 4. Does 11 divide k(g)?
False
Suppose 5 - 1 = 4*t. Let u(x) = -32*x**2 + x - 2. Let b be u(t). Let w = b + 72. Is 14 a factor of w?
False
Let o = -108 - -55. Let q = o + 57. Suppose 3*f - 228 = -q*u, u - 15 = 6*u. Does 6 divide f?
False
Let q = -218 + 223. Suppose 2*s - 287 = -r, -s - 2*s - q*r + 427 = 0. Is 16 a factor of s?
True
Is (-3)/(-3) - (-18 - 121108/13) a multiple of 2?
False
Suppose -4*z = -2*w - 164, 7*z - 2*z = w + 205. Let k = 47 + z. Is 4 a factor of k?
True
Suppose 0 = -2402*b + 2385*b + 170. Let g(m) = 19*m**2 - 5 - 8*m**2 + 8*m + 0*m**3 - m**3. Is 25 a factor of g(b)?
True
Let y(a) = 14*a + 7. Let o be y(-6). Suppose -65*t + 120*t = -1705. Let z = t - o. Does 23 divide z?
True
Let d = -46 - -48. Suppose 2*q + 0*g - 234 = 2*g, q - 114 = d*g. Is q a multiple of 24?
True
Let k(z) = z**3 - 14*z**2 - 7*z - 21. Let j be k(11). Let q = j + 1067. Does 6 divide q?
True
Suppose 235086 - 468994 = -14*n + 343088. Does 27 divide n?
False
Suppose -24 = 4*l - 4, 0 = 2*q - 4*l - 28. Suppose -7*n + 1202 = -2*n - w, q*w = n - 229. Suppose 5*s = -3*o + n, 5*o - 147 = -5*s + 88. Is s a multiple of 3?
False
Let d(t) = 12*t + 44. Let a be d(-4). Does 28 divide (a + 16)/(3/70)?
True
Let t = -18 + 18. Let o(g) = -g**3 - 2*g + 4. Let k be o(t). Suppose k*m - 329 = -3*m. Is 7 a factor of m?
False
Let o(y) = 2*y**3 - 3*y**2 + y + 1. Suppose -270 = 5*h + 2*r - 6*r, -5*h - 5*r - 225 = 0. Let a = -47 - h. Is o(a) a multiple of 29?
False
Suppose -3*w = 5*p - 21, 4*w + 11*p - 15*p = 60. Suppose 1118 = w*i - 1258. Does 33 divide i?
True
Suppose 3*w - 516572 = -34*w - 96*w. Is 42 a factor of w?
False
Let x = 1288 + -759. Does 3 divide x/7 - ((-54)/(-21) + -2)?
True
Suppose 2*a = 5*q + 7*a - 65, q - 3*a = 9. Suppose -9*w = f - q*w - 258, -4*f = -4*w - 1008. Does 8 divide f?
False
Let k(r) = r**3 + 5*r**2 - 5*r + 6. Let h be k(-6). Suppose z + 2*y = -h*y, z + y + 1 = 0. Is z + 16/10 + 102/5 a multiple of 10?
True
Suppose -4*d + b = 19, 0 = -5*d - 5*b - 8 - 22. Let c be 5/(d/2) - 2. Does 8 divide 480/(9 + c)*(-1)/(-2)?
True
Suppose -13*a + 24 = -a. Is 34 a factor of a - (-40)/(-16) - 2586/(-4)?
True
Suppose -5*w + t = -2, 2*w + 2*t + 0 - 8 = 0. Let c be w/((-5)/(-25) - 0). Suppose c*n - 219 - 861 = 0. Does 12 divide n?
True
Let i = 9805 - 4943. Is i a multiple of 26?
True
Let i = 70 + -58. Suppose -v + 3*v = w - 7, -3*v = i. Is 18 a factor of -4*w/4 + 17?
True
Is ((-230)/3)/(((-2)/(-4))/((-435)/10)) a multiple of 53?
False
Let b(p) = 172*p**2 - 144*p - 9. Is 61 a factor of b(3)?
False
Let x(a) = 5*a + 14. Let p = 26 - 18. Suppose -32 = -p*s + 16. Is 11 a factor of x(s)?
True
Let j(m) = 6*m - 16. Let k be 548/(-20) + -2 + (-24)/(-10). Let o = k - -43. Is j(o) a multiple of 16?
True
Suppose 14*o - 6874 - 6916 = 0. Let b = o + -568. Does 30 divide b?
False
Suppose 2052 = 6*n + 780. Suppose n = -4*m + 1176. Suppose 0 = 5*u + 2*z - m, 6*u = 3*u - 3*z + 150. Does 7 divide u?
False
Let h(x) = 13*x**2 - 4. Let o be 80/(-14) - 8/28. Does 16 divide h(o)?
True
Let j(r) = 271 + 23*r**2 - 2*r - r**2 - 29*r**2. Is 15 a factor of j(0)?
False
Does 15 divide 2480*(2/(-8) + (6 - 85/20))?
True
Let m(l) = 30 + 321*l**3 + 2*l**2 + 33*l**2 - 8*l**2 - 322*l**3. Is 2 a factor of m(27)?
True
Let o(t) be the first derivative of -t**4/4 - 16*t**3/3 + 15*t**2/2 + 26*t - 134. Is o(-18) a multiple of 3?
False
Let u = 5173 - -6371. Does 52 divide u?
True
Suppose -947*o - 5*b = -943*o - 11461, 0 = -4*o - 2*b + 11446. Does 2 divide o?
False
Suppose -4*p = i - 665, 0*p = p + 5*i - 190. Suppose -34*h + 45*h - p = 0. Is 15 a factor of h?
True
Suppose 0 = 4*s + 5*b - 6702, 2*s - 21*b + 16*b = 3366. Is 3 a factor of s?
False
Let c(j) = -4*j + 32. Let h be c(5). Let i be ((-6)/8)/(h/(-64