 of 9?
False
Suppose 0 = 3*w - 2*w + 6. Let l be 158 - ((-8)/(-6))/((-4)/w). Suppose -8*k = -372 - l. Does 12 divide k?
False
Let d be 3/(2*(-18)/(-24)). Suppose -7*n + 5*n = -d, -2*l + 350 = 4*n. Does 14 divide l?
False
Let j(x) = -x**3 + 13*x**2 + x + 13. Let w be 1612/130 + 4/(-10) - 0. Does 10 divide j(w)?
False
Let i = 2297 - 1131. Does 31 divide i?
False
Let p = -437 + 942. Let q = p + -155. Does 14 divide q?
True
Let n(l) = -l**2 - 3*l - 12. Suppose 2*k = -5*k - 77. Let w(g) = 5*g**2 + 15*g + 59. Let i(s) = k*n(s) - 2*w(s). Does 24 divide i(11)?
True
Suppose -10*q - 5*q - 90 = 0. Let t be (q/6 - 0)/(2/(-22)). Suppose 5*k = 2*i + 32, -5*i - t + 31 = 0. Is 6 a factor of k?
False
Let p(v) = -15*v**3 - 12*v**2 - 17*v - 42. Does 120 divide p(-6)?
False
Let t = 147 - 91. Is 5 a factor of t + 35/7 + -11?
True
Let z be 30 + 12/(-8)*2. Suppose -2*i + 4*r + 30 = 0, -4*i + 0*i - 5*r = -125. Let u = z + i. Is u a multiple of 17?
False
Let f be ((-9)/(-6))/((-15)/20). Let u be (2 + (f - -4))/(-9 + 7). Does 16 divide (2 + -71)/(u + 2 + -1)?
False
Let u = 12500 + -8430. Is 205 a factor of u?
False
Suppose -20 = -8*f + 4. Suppose 0 = s + 5*w - 156, 5*s - 4*w + f*w - 884 = 0. Does 18 divide s?
False
Suppose 19*g = 3*g - 176334 + 579950. Is g a multiple of 205?
False
Suppose 3*k - 229 = u - 958, 2*u + k = 1493. Does 6 divide u?
True
Suppose 9*f - 148410 = -88*f. Does 85 divide f?
True
Let b(t) be the third derivative of -t**6/120 + t**5/6 - t**4/8 - 43*t**3/6 - 35*t**2. Let q be b(9). Suppose -q*w = -16*w + 320. Is 5 a factor of w?
False
Suppose -14*n + 170 = -15*n. Let r = 285 + n. Suppose 7*v + r = 626. Does 6 divide v?
False
Let y(k) = -k**2 + k - 1. Let f(q) = 14*q**2 - 3*q + 11. Let a(o) = -f(o) - 6*y(o). Let r be a(-3). Let l = r - -100. Is l a multiple of 32?
True
Suppose 497 = 5*q + z, -q + 0*z + 88 = 4*z. Is 25 a factor of q?
True
Let v = 1988 + -44. Is 18 a factor of v?
True
Suppose n - 10 = -3*u, 10 = 9*u - 4*u - 5*n. Suppose 5*j + 4156 = 4*q + 917, -j = -u*q + 2421. Is 13 a factor of q?
True
Let o = -37 - 184. Let z = 351 + o. Is 10 a factor of z?
True
Let n(l) = 2*l - 3*l + 5 - 6*l. Suppose -u = 2*s + 38, -s - 5*u + 6*u - 19 = 0. Does 11 divide n(s)?
False
Suppose -117*z = -108*z - 14193. Is 101 a factor of z?
False
Suppose -3*l = -5*l + k - 9, 15 = 3*k. Let h be l/(-9)*-21*-180. Suppose 0*r - h = -10*r. Is r a multiple of 21?
True
Let s be -12*(606/(-9) - 2). Let g = 1388 - s. Is 15 a factor of g?
False
Let a(n) be the second derivative of 0 - 1/6*n**3 + 19*n + 1/2*n**4 - 5*n**2. Is 17 a factor of a(-3)?
False
Let u(r) = 24*r**3 - 20*r**2 + 16*r + 12. Does 18 divide u(6)?
True
Let q(n) be the second derivative of -29*n**5/20 + 5*n**4/12 + 2*n**3/3 - n**2/2 - 2*n. Let v be (-1)/3 - (40/(-3) + 15). Does 27 divide q(v)?
True
Suppose 0 = 56*w - 74*w + 7092. Let i = w + -114. Is i a multiple of 12?
False
Let j = 4166 + -6019. Let b = j - -2702. Is 17 a factor of b?
False
Let z = 682 + 397. Let b = z - 698. Does 14 divide b?
False
Let j = -15 + -28. Let c be 3 - j/((-13)/(-6) - 2). Suppose -5*b + x + 435 = 2*x, -3*b = 2*x - c. Is b a multiple of 29?
True
Let f = -14338 - -24678. Does 220 divide f?
True
Suppose 3*c - 1945*p = -1948*p + 100779, -67221 = -2*c + 3*p. Is 84 a factor of c?
True
Let c(g) be the first derivative of -7/3*g**3 + 7/2*g**2 + 1/2*g**4 + g + 4. Does 14 divide c(5)?
False
Suppose -3*h = -1 + 31. Let u(p) = -p**3 - 11*p**2 - 11*p - 5. Let t be u(h). Suppose -t*i = -3*i - 190. Is 41 a factor of i?
False
Let p(c) = -2*c**2 + 49*c + 69. Let r be (-4 - -8) + 36/2. Does 14 divide p(r)?
False
Let y = -2 - -1962. Is 28 a factor of y?
True
Let o be -12*(4/(-22) + (-1018)/(-33)). Let z = o - -854. Is z a multiple of 18?
True
Let b be (-31074)/(-21) - (-6)/21. Suppose b = 6*j - 254. Is 23 a factor of j?
False
Let i(v) = v**3 + 6*v**2 + 6*v + 6. Let z be i(-5). Let w be -2 + 140/(-3 - z). Let j = 62 + w. Is j a multiple of 3?
False
Let l = 79 + -50. Let t = -36 + l. Does 31 divide 12/t*49/(-2)?
False
Let n = -984 + 561. Let m = n - -783. Is m a multiple of 10?
True
Let w(c) be the third derivative of c**5/60 - 13*c**4/12 - 109*c**3/3 - 68*c**2. Is w(40) a multiple of 18?
True
Suppose -140*s - 21*s + 3793160 = 0. Is 38 a factor of s?
True
Let x = -1080 - -1895. Let d = 1429 - x. Is 20 a factor of d?
False
Suppose -69*q = -74*q + 190. Let m be q + -33 - 3*1. Suppose -5*v = m*v - 98. Does 8 divide v?
False
Suppose -20*o + 438 = -2982. Suppose -297 = -3*n + o. Does 26 divide n?
True
Let r = -6125 + 9405. Is r a multiple of 10?
True
Let s be (45/6 + 1 - 1)*-2. Let z(u) = u**3 + 16*u**2 + 17*u + 33. Let l be z(s). Is 20 a factor of (-4)/l*(-639)/6?
False
Suppose 804 + 546 = 3*s. Let c(w) = -w**3 - 7*w**2 - 10*w - 18. Let j be c(-6). Suppose -y - s = -j*y. Is y a multiple of 9?
True
Suppose -3*h - 6148 = -65*y + 60*y, 5*h + 6140 = 5*y. Is 14 a factor of y?
True
Let f = 60 - 68. Let d(o) = -60*o + 59. Is 35 a factor of d(f)?
False
Let i(q) = -q**2 + 8*q - 12. Let z be i(5). Suppose z*l = 8*l - 100. Is (-29 + 1)*-1*5/l a multiple of 7?
True
Let x = -17 + 16. Let m(v) = v**2 + 3*v + 2. Let d be m(x). Does 5 divide 29 - (d/(-2) + 1)?
False
Suppose 5*q = -3*m + 4464, 4*q - 9*q = -3*m - 4446. Suppose -558 = -3*x + q. Is 23 a factor of x?
True
Suppose 3*y + 0*y = 6. Let m be y*(0 + -1)/(-1). Does 21 divide (m + 0 - 0) + 19?
True
Let w be 158/(-18) - 6/27. Let i(a) = -a**3 - 7*a**2 - 20*a - 6. Is 9 a factor of i(w)?
False
Let w(j) be the third derivative of 11*j**5/60 - 3*j**4/4 + 5*j**3/6 + 103*j**2. Does 23 divide w(-4)?
True
Let u = 8591 - 4286. Is u a multiple of 57?
False
Let w(k) = k**2 - 46*k + 430. Does 10 divide w(6)?
True
Suppose 21*f - 15*f = -1746. Let s = f - -335. Does 2 divide s?
True
Let q = 5237 - 2558. Is 44 a factor of q?
False
Let s = 2108 + -711. Is s a multiple of 2?
False
Suppose -2*a = -a - 4*u - 3, -u - 20 = -3*a. Let x(o) = o**3 + 7*o**2 - 26*o + 14. Does 7 divide x(a)?
True
Let z(p) = -12*p + 2. Let t = 19 - 16. Let n be z(t). Let s = 40 + n. Does 3 divide s?
True
Let y(f) = 2*f**2 + 37*f - 51. Let m(g) = -3*g**2 - 37*g + 52. Let b(v) = 3*m(v) + 4*y(v). Let w be b(25). Let k = -150 + w. Is 17 a factor of k?
True
Suppose 9*l = 7836 + 4962. Is l a multiple of 9?
True
Suppose 5*o - 11*o = -510. Let b = o + -85. Suppose b*c + 6*c - 138 = 0. Does 8 divide c?
False
Suppose -s - 1032 = 4*s - 4*i, 0 = -5*s + 5*i - 1035. Let y = 313 + s. Suppose -a = -q + 4*a + y, -4*a + 603 = 5*q. Does 24 divide q?
False
Let h = 68418 + -42218. Is 200 a factor of h?
True
Let z(f) be the first derivative of -f**4/4 + 4*f**3 + 27*f**2/2 + 19*f - 19. Let r be z(14). Suppose 0 = 4*t, -r*s = -s - 3*t - 284. Does 30 divide s?
False
Suppose -14*n - 67*n = -7452. Does 3 divide n?
False
Suppose 6*y - 10700 + 10736 = 0. Let q(k) = -k**3 - 6*k**2 + 5*k - 10. Let p be q(-7). Is p/(-10) + y + (-4928)/(-20) a multiple of 8?
True
Is 42 a factor of (-4 + -7 + 183/9)/(2/1737)?
True
Suppose 3*q + t = -31, 8 = -2*q + t - 6. Is 9 a factor of -87*(q - (4 + 1 + -3))?
False
Let z = -86 + 92. Suppose -4*o = -z*w + 2*w + 1164, 2*o = -3*w + 868. Is w a multiple of 10?
True
Suppose 783360 = -81*o + 117*o. Is o a multiple of 136?
True
Let z(k) = 4*k - 31. Let l be z(9). Suppose l*g - 23 + 8 = 0, 3*a - 4*g = 135. Does 6 divide a?
False
Let f(l) = -l**3 + 52*l**2 - 45*l + 144. Let o be f(51). Let b = 498 - o. Is b a multiple of 4?
True
Let w(n) = -n**3 + 11*n**2 + 21*n + 1. Let l be w(13). Let u = l + 628. Does 47 divide u?
True
Suppose 4 = -8*z - 12. Let d(i) = -6*i - 8. Let c be d(z). Suppose l = 3*g - g - 104, -c*l - 266 = -5*g. Does 8 divide g?
False
Let s(p) = -98*p**3 - p**2 - 38*p**3 + 18*p + 4*p**2 + 5 - 11*p. Let v be s(-2). Suppose 5*z - 2*c = 1358, 7*c - 4*c = -4*z + v. Is 17 a factor of z?
True
Let b be 31 + 4 - (6 + -4). Let h be 22/b*(-15)/(-2). Suppose -d - 3*d + 2*m = -596, 0 = 5*d + h*m - 715. Does 7 divide d?
True
Let b = 51649 + -30217. Is b a multiple of 36?
False
Suppose -54*t + 45*t = 3528. Let o = t - -707. Does 21 divide o?
True
Let q be (198/(-30))/(-3 + (-80)/(-25)). Is 16 a factor of q/(-1)*3120/90?
False
Suppose 3*q + q = -8. Let c be (((-105)/7)/5)/(q/(-34)). Let b = c - -144. Does 31 divide b?
True
Let i be (-134)/(-18) + 124/(-279). Suppose i*g -