= -27*s - 40. Let d be k(-5). Let n = d - -8. Is 10 a factor of n?
False
Let r = 12352 - 8152. Is r a multiple of 42?
True
Let z be 9/6*(428/3 + 0). Suppose -2*k - 4*o = -456, 2*o + z = k - 34. Suppose -k = -u - 6*u. Is u a multiple of 4?
False
Suppose 14*y - 10*y - 3*z - 47 = 0, -3*y - 4*z = -29. Suppose 11625 - 1164 = y*v. Does 23 divide v?
False
Suppose 10 = -f + 7. Let a be 2/(12/f) + (-18)/(-4). Let t(g) = -g**2 + 8*g - 9. Is 3 a factor of t(a)?
False
Let d = -447 - -702. Let h(t) = -2*t**2 + 20*t + 349. Let z be h(19). Does 25 divide 7/z*d*1?
False
Suppose -19273 - 1230 = -29*t. Does 101 divide t?
True
Suppose 40592 = 4*i - 4*n, -16*n = 5*i - 14*n - 50740. Is 172 a factor of i?
True
Is -1 + (-2 - 1) + 2005 - (-152 + 154) a multiple of 22?
False
Let l = 20 + -2. Suppose 4*q - l = q. Suppose -150 = q*o - 9*o. Is o a multiple of 18?
False
Suppose -3*g = 3*c - 21423, 4*c - 265*g - 28565 = -270*g. Is 238 a factor of c?
True
Let r be (-40)/((-3)/240*-5). Let g = -30 + 26. Does 14 divide (-42)/g*r/(-48)?
True
Suppose 70 = -10*a + 5*a. Is 5 a factor of (-7 - 161/a)*26?
False
Let k = -3 + 8. Let v(a) = -4*a + 15. Let r be v(k). Is 10 a factor of (-42)/(-70) - 47/r?
True
Let j be (120/75)/(1*(-2)/(-10)). Let d be 66/176 - (-10189)/j. Suppose w = -6*w + d. Does 13 divide w?
True
Suppose 0 = -2*z - 11 + 1. Let m(l) = -l**3 + 4*l**2 + 8*l + 2. Let j be m(z). Suppose 59*t - j = 58*t. Is t a multiple of 11?
True
Let f(n) = -170*n + 270*n**3 + 184*n + 1 + 8*n**2 + 1. Let t be f(-3). Is (-6)/(-10) + t/(-95) a multiple of 13?
False
Let x be (131 - -1 - -3)*1/3. Is 43 a factor of (-4)/10 - (-1953)/x?
True
Let u = -256 - -256. Suppose u = 29*x - 16*x - 2392. Does 8 divide x?
True
Let j = 605 - -2188. Is 49 a factor of j?
True
Let l(r) = 2*r**3 + 9*r**2 - 6*r + 18. Let v(w) = w**2. Let b(j) = -l(j) - 4*v(j). Is 19 a factor of b(-8)?
False
Suppose -5745*q - 960512 = -5761*q. Is q a multiple of 14?
True
Let t(f) = f**3 - 22*f**2 - 5*f - 343. Is 14 a factor of t(30)?
False
Let w be (-4)/(-6)*(-18)/3. Suppose 0 = 154*s - 377 - 4551. Is (21/w)/((-132)/s - -4) a multiple of 21?
True
Let z = 32 - 30. Suppose -2*d = -2*r + z, -2*r = -2*d + 6*d - 14. Is d/(-6) - (-2410)/30 a multiple of 13?
False
Let o be (-25593)/(-76) + (-2)/(-8). Suppose -5*f + o = 3*i, 5*i + 6*f - f = 555. Suppose v - 5*v = -3*l + i, 4*l + v = 158. Is l a multiple of 13?
True
Let o(m) = 4*m + 2. Let h(k) = k**3 - 10*k**2 + 12*k - 15. Let a be h(9). Suppose 3*w = 3 + a. Is o(w) a multiple of 11?
True
Let p(b) = b. Let d be p(-2). Let y be (-24)/(-15)*(-365)/d. Suppose -4*f + y = 4*z, f + f = 3*z - 194. Is 17 a factor of z?
True
Suppose -6*s = 11*s - 4505. Suppose -4*u = g - 452, 4*g - u - s = 1458. Is g a multiple of 27?
True
Let p(k) = -1239*k - 11080. Does 6 divide p(-35)?
False
Suppose -12 = 3*v, 2*w + 3*v - 449 - 705 = 0. Is 3 a factor of w?
False
Suppose -7*i = -642 - 674. Suppose i + 482 = 5*b. Suppose 0*l = -l + b. Does 6 divide l?
False
Let w be (3 - 0)*(-9 + 8). Let n(s) = -62*s + 12. Does 56 divide n(w)?
False
Let l = -113 - -119. Suppose -l*y = v - 11*y - 16, v + y = 46. Is v a multiple of 41?
True
Let u(n) = -307*n - 160. Does 20 divide u(-9)?
False
Let x(p) = -p**2 - 16*p - 52. Suppose -5*q + 4*v + 2 = 7, 2*q = -5*v - 35. Does 2 divide x(q)?
False
Suppose 9*q - 27 = -0*q. Suppose 2*t = w - 9 + 29, 5*t - 28 = -q*w. Is 10 a factor of (-1 + -43)/(t + -10)?
False
Let f(m) = -m**3 - 2*m**2 - 7*m - 15. Let t be f(-18). Does 9 divide (-17)/68 + t/12?
True
Let z(k) = -k**2 + 15*k + 75. Let b be z(17). Let n = b + 16. Is 19 a factor of n?
True
Suppose 0*m = -4*m - 20, -4*m + 464 = -4*g. Let s = g - -318. Does 29 divide s?
False
Let q = 118621 + -62773. Does 13 divide q?
True
Suppose p + 5*m = -121, 2*m - 151 = p + m. Let r = p + 159. Is r even?
False
Suppose -5*i + 252 = 5*m - 583, 8 = -4*i. Let g = 5 + 104. Let d = m - g. Does 20 divide d?
True
Let c(z) = z**3 - 40*z**2 + 3*z - 80. Let t be c(40). Suppose t*o = 6*o + 1530. Does 5 divide o?
True
Let p(w) = w**3 - 8*w**2 + 8*w - 5. Let d be p(7). Suppose -2*y = y - d*s + 341, y + 127 = 4*s. Let h = -66 - y. Does 5 divide h?
True
Suppose -p + 2*p = 4*i + 503, 3*p - i - 1465 = 0. Suppose 28*b - 1607 = -p. Does 5 divide b?
True
Let j(i) = 2*i**3 + 20*i**2 - 7*i + 9. Let w(h) = -3*h**3 - 22*h**2 + 8*h - 10. Let k(v) = -4*j(v) - 3*w(v). Is 23 a factor of k(15)?
False
Let g(t) be the second derivative of -3*t**5/5 - 5*t**4/12 + 7*t**3/6 + t**2/2 - 2*t + 19. Is 6 a factor of g(-3)?
False
Let o(g) = 15*g - 6. Let i be o(5). Suppose 261*s = 274*s + 442. Let k = i + s. Does 4 divide k?
False
Let u = -235 - -235. Suppose u = 5*c - 0*c - 270. Is c a multiple of 6?
True
Suppose -i + 25845 = -c + 2*c, 3*i - 51693 = -2*c. Does 177 divide c?
True
Suppose 8*r - 34655 = -r + 54616. Does 78 divide r?
False
Let u = 206 - -10. Is u + (25/(-1))/(-5) a multiple of 17?
True
Suppose 2836*i - 2817*i = 546535. Does 20 divide i?
False
Let s(n) be the third derivative of n**5/30 - n**4/24 + 3*n**3/2 + 7*n**2. Let u be 1 + (-5 - -4) + -4. Does 8 divide s(u)?
False
Suppose 2*m + 4*n + 4 = 0, -3*m + 5*n - 3 = -8. Let u(z) = 0*z**3 + 88 + 26661*z**2 + z**3 - 26659*z**2. Is u(m) a multiple of 8?
True
Let v be (15/2)/(-5)*(-1118)/39. Let n(f) = 20*f - f**2 - f - 45 + v. Does 4 divide n(17)?
True
Let j(g) be the second derivative of 73*g**3/6 - 9*g**2/2 + 2*g - 79. Does 8 divide j(5)?
False
Let o(z) = 129*z**2 - 82*z - 315. Is o(-5) a multiple of 83?
True
Let g = -20476 + 29083. Does 19 divide g?
True
Suppose -5*v = -4*v + 4*c - 4076, 0 = -v - c + 4061. Suppose 3*a - v = -84. Is (-3)/6 + a/8 a multiple of 11?
True
Let h be 6/(-12) - 647/2. Let i = h - -387. Is 3 a factor of i?
True
Let z(a) = 2*a**2 - 23*a - 4. Let p(t) = -8*t + 40. Let x be p(7). Is z(x) a multiple of 12?
True
Let v = 573 + 370. Let a = v + -703. Is 24 a factor of a?
True
Let c(r) = 128*r + 8014. Is c(70) a multiple of 46?
True
Suppose 4*b = 32 - 48. Let l be (14 - 14) + (b + 0)*-1. Suppose 2*n - 400 = -4*h + 2*h, h = l. Is 17 a factor of n?
False
Let o(g) = 2*g**3 + 13*g**2 - 9*g - 15. Let r = -138 + 132. Does 43 divide o(r)?
False
Suppose 0 = -5*p - 3*o + 4374, p - o + 4368 = 6*p. Let z = p + -273. Does 17 divide z?
False
Suppose 1436863 = 76*b + 324223. Is b a multiple of 20?
True
Suppose -11*u = -48 - 106. Let b(o) = 91*o + 78. Is 26 a factor of b(u)?
True
Let l(p) = 214*p + 14. Let q be l(2). Let n = q + -238. Is 17 a factor of n?
True
Let j = 4201 - 3261. Is j a multiple of 14?
False
Let x = -11162 + 58410. Is 16 a factor of x?
True
Let h be 2/12 + 29/6. Let q be ((16/h)/4)/((-2)/(-10)). Suppose -q*k = -2*l + 106, 3*l + 2*k = -2*k + 119. Does 45 divide l?
True
Let i = 5204 - 979. Is i a multiple of 168?
False
Let b be (16/(-10)*(-10)/4)/1. Suppose -b*j = 6*j - 60. Suppose -j*f = -26 - 52. Is f a multiple of 3?
False
Let w = 71287 + -45586. Does 93 divide w?
False
Let d = -1737 + 9889. Is 18 a factor of d?
False
Let f = 237 - 150. Let g = 32 + f. Is 25 a factor of g?
False
Suppose 208*q - 1208325 + 78261 = 0. Does 111 divide q?
False
Let c(x) = 23*x**2 + 7*x + 4. Let z(d) = -68*d**2 - 22*d - 12. Let u(r) = 7*c(r) + 2*z(r). Let y(w) = -w - 13. Let t be y(-11). Is 23 a factor of u(t)?
False
Let l = 35891 + -25143. Is 18 a factor of l?
False
Let m = -25015 + 40087. Does 96 divide m?
True
Let i = 4438 + 2804. Does 71 divide i?
True
Let v(w) = -55*w - 55. Suppose 4*t = 21*d - 17*d - 28, 4*d - 8 = 0. Does 44 divide v(t)?
True
Let r(v) = v**3 - 10*v**2 - 15*v + 3. Suppose -4 = -t - 0*s - 3*s, 4*t - 34 = -3*s. Let p = t - -2. Is r(p) a multiple of 12?
False
Suppose -339 + 86 = -5*x - 2*g, 0 = -3*x - g + 151. Suppose 0 = -x*d + 53*d - 252. Suppose d - 15 = m. Is m a multiple of 5?
False
Let q(y) = 92 + 37*y - 69*y + 40*y. Does 14 divide q(6)?
True
Suppose -113 - 7 = -20*j. Does 23 divide (-69)/j*(-1)/(-2)*-16?
True
Let o(i) = i**3 - 6*i**2 - 15*i + 58. Let b be o(7). Let k = 1 + b. Suppose 5*y + 15 = 0, -2*y + 4*y - 309 = -k*l. Is l a multiple of 23?
False
Let l = -1569 + 2912. Is 42 a factor of l?
False
Let a = 15472 - 15104. Is a a multiple of 196?
False
Let g(y) = y**2 + y - 8. Let z be 36/(-27)*(18/4)/(-3). Let h be z + -1*(2 - -7). Is 26 a factor of g(h)?
False
Let j(o) = -o**3 + 24*o**2 - 43*o + 42. Let v