 8 divide d(5)?
False
Let o be ((-8)/12)/((-22)/99). Is 2 a factor of 106 - 0 - 18/o?
True
Let m(o) = 5*o**3 - 54*o**2 + 650*o - 40. Is 24 a factor of m(16)?
True
Suppose -5*j - 5*i = -15, -i = 3*j - 0*i - 11. Suppose -4*u + u = -j*u. Suppose u = l - 64 - 4. Is 11 a factor of l?
False
Let z = 4089 + 4391. Is 20 a factor of z?
True
Let u(x) = x**2 - 18*x - 115. Let s be u(-5). Let l(y) = -11*y**2 + 2*y + 385. Is l(s) a multiple of 11?
True
Suppose 12*f - 43*f - 10*f = -205. Let o = -804 + 1126. Suppose -f*w = -158 - o. Does 12 divide w?
True
Let n = -296 + 293. Is (147/(-6) + 0 + n)*-2 a multiple of 4?
False
Suppose -5*w = -5, -4*w = 5*j - 0*w - 1904. Let u = j - -32. Is 9 a factor of u?
False
Let s = -1868 - -1209. Let o = s - -1075. Suppose -6*f = -196 - o. Is 8 a factor of f?
False
Suppose 110*n - 411320 = 44*n + 40*n. Is 24 a factor of n?
False
Let l(f) be the first derivative of -87*f**2/2 - 70*f - 85. Is 3 a factor of l(-3)?
False
Suppose -2 = -3*z + 76. Suppose -4 = d, 4*g - 2*g - 5*d - z = 0. Let n = 7 + g. Is 5 a factor of n?
True
Let n = 4086 - 2912. Is 3 a factor of n?
False
Suppose -21483 = -29*z - 2*z. Is z a multiple of 73?
False
Let d(n) = -7*n - 5. Let i be d(-4). Let y(u) = -5*u - 13. Let r be y(-8). Suppose v - 4*c = i + r, -2*c + 100 = 2*v. Does 25 divide v?
True
Let s(l) = 60*l**2 + 14*l + 337. Does 177 divide s(-26)?
True
Suppose -3*s + 54 = 15*s. Is 27 a factor of (-63)/s*(-1620)/70?
True
Let v = 3864 - 3143. Is 19 a factor of v?
False
Suppose -4*l + 31614 + 3886 = 3*w, w - l - 11838 = 0. Is w a multiple of 30?
False
Let j = 1028 - -179. Is 9 a factor of (j/4 - 0) + (-5)/(-20)?
False
Let i be 285/(-38)*2200/(-6) + 0. Suppose i = -4*b + 14*b. Is b a multiple of 55?
True
Suppose 0 = -4*n + 4, 4*u + 10*n + 17 = 7*n. Is 20 a factor of 479 + u/15*-1*3?
True
Let o be (-11)/((-55)/35) + -2 + 0. Suppose -2*z = -o*r + 17 + 3, 5*r - 50 = -4*z. Does 5 divide r?
False
Does 71 divide (1775/4)/(16/64)?
True
Let c(w) = w + 15. Let k be c(-9). Let t(h) = -h + 10. Let f be t(k). Suppose -2*o + 176 = -3*v, f*o = o - v + 253. Is 14 a factor of o?
False
Let a(c) = -150*c**2 - 1 + 148*c**2 - 6 + c**3. Let i be a(3). Suppose -5*n + i*p + 1312 = 426, 0 = n - 3*p - 172. Is n a multiple of 30?
False
Suppose -89*h + 109*h = -116*h + 127296. Is 27 a factor of h?
False
Suppose 214*h - 31392 = 208*h. Is 8 a factor of h?
True
Suppose -684 = -3*i + 15*i. Let a = i + 111. Is 9 a factor of a?
True
Let v(q) = -96*q + 20. Let p be v(-11). Let t = p + -320. Does 9 divide t?
True
Let a = 330 + -329. Does 50 divide -2*55*a*253/(-46)?
False
Let k = 112284 - 37234. Is 25 a factor of k?
True
Let s(t) be the second derivative of t**4/12 - t**3 - 8*t**2 + 9*t. Let v be s(8). Suppose 3*d + f - 98 = v, f = 2*d - 0*f - 62. Is 16 a factor of d?
True
Suppose 0 = 4*o - 2002 - 10882. Suppose 3*g - o = -920. Is 13 a factor of g?
True
Let u be 4 + -6 - (-3 + -480). Suppose 3*j - 7*c = -6*c + u, -3*j = 2*c - 478. Is 40 a factor of j?
True
Let q(c) = 4*c - 5. Let p be q(-3). Let l = 18 + p. Is l + -59*(-4 - -2) a multiple of 18?
False
Suppose z = 4*b - 12, 10*b - 12*b + 6 = -3*z. Suppose z = -s + 3*s + c - 155, 130 = 2*s - 4*c. Does 3 divide s?
True
Let h(x) be the second derivative of 5*x**4/12 + 25*x**3/3 + 8*x**2 + x + 163. Is h(-12) a multiple of 8?
True
Suppose 0 = 38*b - 1856 - 652. Let c = 333 - b. Is 6 a factor of c?
False
Let c be -2*9/6 - -6. Let r(y) = y + 2. Let k be r(-2). Does 9 divide (k - c)*(-9 - -6)?
True
Suppose -p - 4 = -4*a, 4*p + 7*a - 12 = 9*a. Suppose -5*v - 24 = 3*r, r - p*r + v = 6. Let i(q) = -4*q + 15. Is 6 a factor of i(r)?
False
Suppose -1396 = -2*c - 4*n, 0*c - 4*n - 2054 = -3*c. Suppose 6*k + c + 444 = 0. Let l = k + 360. Does 18 divide l?
False
Let s be ((-2)/(-4))/(86392/(-7200) - -12). Is 44 a factor of s/90 - 831/(-1)?
True
Is (41/(328/16))/(8/102)*240 a multiple of 17?
True
Suppose -23 - 9 = -8*a. Let v be ((-84)/(-35))/(a/1410). Is v/8 + (-3)/(-12) a multiple of 30?
False
Let w be 133*-7 + (-66)/22. Let h = w - -1390. Does 38 divide h?
True
Let t be 8/(-10) - (-87)/15. Suppose 13*j - t*j = -72. Let w = j - -37. Does 5 divide w?
False
Suppose 70 = -14*f + 224. Suppose 0 = 4*q - 12, -f*j = -16*j + 4*q + 3. Suppose -5*a + 161 = c, j*a + a - 131 = -3*c. Does 23 divide a?
False
Suppose i + 9 + 6 = 0. Let z = -228 - -309. Let v = z - i. Is v a multiple of 24?
True
Let b be 10/(-65) + 1/(13/119). Suppose -b*l + 13*l - 8 = 0. Suppose 3*k - s = 38, -l*k - 3*s = -0*s - 29. Does 2 divide k?
False
Let q(x) = 1. Let r(p) = 2*p + 217. Let l(c) = 4*q(c) + r(c). Let o(n) = -n**2 - 15*n - 26. Let a be o(-13). Is l(a) a multiple of 33?
False
Does 44 divide (-7273 + 78)/(5/(-2))?
False
Suppose 25*u = 10577 + 3523. Suppose 9*w + 3 = 10*w, 4*q = 4*w + u. Is q a multiple of 4?
True
Suppose 0 = -2*i + 5*n - 517, -754 = 5*i + 2*n + 582. Is 4 a factor of ((-22)/(-55)*5)/((-2)/i)?
False
Let o(s) be the second derivative of -29*s**3/6 + 69*s**2 - 14*s + 4. Does 15 divide o(-18)?
True
Let d(y) = 3*y - 4. Let t be d(2). Suppose l = -t*l - r + 5, -14 = -4*l - 5*r. Does 7 divide ((l - 8) + (-9 - -6))*-3?
False
Let g(h) = -7*h**3 - h**2 - 137*h + 137*h. Let l be g(-1). Is 3 a factor of l*3 - (4 - 7)?
True
Suppose -9*u = -52*u + 18*u + 1464100. Is 217 a factor of u?
False
Let r(w) be the third derivative of 8*w**4/3 + w**3/6 + 8*w**2 + 1. Is 8 a factor of r(1)?
False
Let p(u) = -31*u**3 + 9*u**2 + 34*u - 2. Is p(-5) a multiple of 38?
False
Suppose -4*u = -2*m + 1 - 7, -4 = -4*m. Suppose 31 = u*i - 5*j, 3*i - 32 = -i + 4*j. Suppose -9 = -i*d + 183. Is d a multiple of 32?
True
Does 9 divide 2*8140/40 + 7?
True
Suppose 3*n + 200 = 5*x - 10, 2*x = -5*n - 319. Let l = -157 - -252. Let u = n + l. Does 26 divide u?
False
Let h(m) = -23*m + 49. Let i be h(3). Does 7 divide (-6212)/i + (-2)/(30/9)?
False
Let k(y) = 5*y**2 - y + 1. Let d be k(1). Suppose d*b = -5*s - 55, -4*s - b = s + 35. Is -3*(-4 - (-152)/s) a multiple of 8?
True
Let u(y) = y**3 + 55*y**2 - 179*y - 1. Does 11 divide u(-57)?
False
Suppose o = 1, -a + 2*o - 4 = -2*o. Suppose -4*x - 2*r + 6*r + 60 = 0, a = 3*x - 2*r - 45. Is 3 a factor of (-2 + 85/x)*6?
False
Is (-106)/318 + (-334)/(-3) a multiple of 2?
False
Let n(x) = -169*x + 1539. Does 18 divide n(9)?
True
Suppose -302 = -b + q, 27*b - 5*q = 23*b + 1210. Is 20 a factor of b?
True
Let n = 3889 - 2099. Suppose -2*d + 0*d - 4*m + 1194 = 0, 3*d - n = -5*m. Is d a multiple of 17?
True
Let b = -87 - -90. Suppose b*w - 2*f = 6 + 4, 4*w = 5*f + 11. Is 4 a factor of w?
True
Let x(p) = 1267*p + 8568. Is x(8) a multiple of 112?
True
Suppose -4*y = -x - 152318, -2*y - 343*x + 76132 = -339*x. Does 32 divide y?
False
Let b(n) = 16*n**2 + 2*n + 4. Let q be 5 - (-3 - -2 - -1). Does 35 divide b(q)?
False
Let v(y) = 1954*y - 30. Let d be v(-13). Let g be 6/(-81)*3 + d/(-72). Let j = -166 + g. Is 37 a factor of j?
False
Suppose -10*s - 14 = -17*s. Let n(q) = -2*q**3 + 6*q**2 - 4*q. Let g be n(4). Is ((-21)/s)/(18/g) a multiple of 28?
True
Suppose 0 = 259*v + 102*v - 539334. Is v a multiple of 18?
True
Let r(s) = 17*s**2 - 11*s + 26. Let l be r(-9). Suppose l*m - 864 = 1499*m. Is m a multiple of 12?
True
Let p(u) be the first derivative of -u**5/20 - u**4 + 19*u**3/6 - 3*u**2 + 20*u - 2. Let n(y) be the first derivative of p(y). Does 15 divide n(-14)?
True
Let v = -191 - -175. Is 4 + 3048/v*8/(-3) a multiple of 8?
True
Let k(s) = -s**2 - 27*s + 796. Is 3 a factor of k(-43)?
True
Let c(l) = -2*l**2 - 26*l - 34. Let m(a) = 3*a**2 + 51*a + 68. Let s(n) = 5*c(n) + 3*m(n). Is 5 a factor of s(23)?
False
Suppose 0 = 1484*h - 1445*h - 19227. Is 2 a factor of h?
False
Let v = -198 - -302. Suppose 2*k = 5*a + 172, -4*a - 26*k = -24*k + 116. Let b = v + a. Is 8 a factor of b?
True
Let n = -13329 + 20150. Is n a multiple of 26?
False
Let x = -7266 - -11891. Does 7 divide x?
False
Let q = 1523 - 947. Does 36 divide q?
True
Let b = -68 - -81. Suppose -b*d + 1408 = -126. Is d a multiple of 59?
True
Is 8/(-14)*144443362/(-1964) a multiple of 31?
False
Let t = 1783 - 235. Suppose -9*s - t = -0*s. Let p = s - -420. Is p a multiple of 62?
True
Suppose 4*s + 6 = 6*s. Suppose -m = s*m + 4. Is 12 a factor of (0 - m)/(8/632)?
False
Let g(o) = -o**2 - 21*o - 30. Let u be g(-20). Does 35 divide (215