= 7. Let w(f) = -226*f**3 - f**2 - f + 1. Is w(z) a multiple of 10?
False
Let c(w) = w**3 - 7*w**2 + 7*w + 10. Suppose 6*g + 4*l - 36 = 2*g, 0 = -2*g - 5*l + 27. Let i be c(g). Suppose i*s - 5*s = 825. Does 25 divide s?
True
Suppose 0 = 32*v - 1079399 + 350951. Does 28 divide v?
True
Let z = 375 + 1281. Suppose 0 = 3*m - 4*s - 1662, -m + 4*m - z = 2*s. Is 14 a factor of m?
False
Let d(w) be the second derivative of 0*w**2 + 1/12*w**4 - w**3 - 10*w + 0. Is d(9) a multiple of 2?
False
Let o = 843 + -627. Let r = o + -86. Does 26 divide r?
True
Let a(x) = -x - 13. Let l be a(-20). Let g(t) = 3*t**2 + 13*t - 23. Let r be g(l). Suppose 6*s - 169 - r = 0. Is 64 a factor of s?
True
Let y = 52 - 47. Suppose o + z + 9 = 0, 0*z - y*z = 3*o + 35. Let p(j) = 2*j**2 + j - 21. Is 12 a factor of p(o)?
True
Let k = -6287 + 9488. Does 33 divide k?
True
Let o(m) = -13*m - 468. Let u(w) = -4*w - 156. Let a(f) = 3*o(f) - 8*u(f). Is 2 a factor of a(-32)?
True
Let z(y) = -2499*y + 5297. Is 12 a factor of z(-7)?
False
Suppose 37786 = 3*s + 2*b, 53*b + 62985 = 5*s + 58*b. Does 17 divide s?
False
Suppose -24*j + 56*j - 159008 = 0. Is 9 a factor of j?
False
Let h(s) = -2*s**2 + 30*s + 12. Let k(w) = -w**2 + 12*w + 4. Let b be k(11). Let j be h(b). Suppose -j*y = -8*y - 96. Is y a multiple of 4?
True
Suppose 12 = 3*p + 3*v, -5*p + v + 40 = -4*v. Suppose 2*d = -p + 36. Suppose 566 + 49 = d*i. Is i a multiple of 15?
False
Suppose 9*b + 19*b + 11872 = 0. Let w = -337 - b. Is w a multiple of 15?
False
Let q(t) = t**3 - 27*t**2 - 5*t + 21. Let a be q(28). Let m = -544 + a. Is 15 a factor of m?
False
Let x be (-7 + (-66)/(-9))*348. Let s(i) = i**2 + 9*i + 8. Let r be s(-12). Suppose -x - r = -8*u. Is u a multiple of 12?
False
Let x = -40 + 20. Let g = -72 - x. Let a = g - -132. Does 16 divide a?
True
Suppose 224*y - 366192 - 112045 + 14557 = 0. Is y a multiple of 90?
True
Suppose -3*c - 3*z + 1450 = -2*z, 3*c + 4*z - 1435 = 0. Suppose 2*j = -2*h + 242, 4*j + 5*h - c = 2*h. Is j a multiple of 6?
False
Suppose 48 = 5*c + 4*x - 15, x = c - 9. Suppose 3*g = -3*p + 138, c*p = 4*g + 12*p - 181. Is g a multiple of 13?
False
Does 6 divide (-9)/(945/(-42)) - 114478/(-5)?
True
Suppose 0*b - 35 = -5*b. Suppose -b*i + 1164 = -306. Is i a multiple of 20?
False
Let s(n) = n**2 - 17*n + 52. Let h be s(13). Suppose 11*c - 7*c - 48 = h. Does 12 divide c?
True
Is -2638*(451/(-22) - -7) a multiple of 77?
False
Let k(p) = p - 9. Let m be k(11). Suppose 12*x - 42 = -m*x. Does 11 divide x - 4 - (-52 + -4)?
True
Suppose -8*c = -0*c + 96. Let f(m) = -6*m + 95. Is f(c) a multiple of 17?
False
Let y be (2/(-20))/((-18)/(-72))*-10. Suppose y*l + 10*l - 7392 = 0. Is l a multiple of 31?
False
Let t be (14 + -6)/16*-12. Let u(w) = -38*w - 138. Is 2 a factor of u(t)?
True
Let n(u) = 7*u**2 - 5*u - 6. Let m be 51*((8/(-12))/(-2) - 0). Let v(p) = -p + 15. Let l be v(m). Is 16 a factor of n(l)?
True
Suppose -844 = -32*b + 30*b. Let a = 805 - b. Is 21 a factor of a?
False
Let l(q) = -122*q + 1800. Is 39 a factor of l(9)?
True
Let q be (-318)/(-10) + (-4)/5. Let n = -32 + q. Let p = 31 - n. Is p a multiple of 8?
True
Let h be ((-2)/5)/(3/45). Let y be (-2)/h*(-6 + 9 + -3). Let b(j) = j**2 + 106. Does 53 divide b(y)?
True
Let q(j) = j**3 - 4*j + 121*j**2 - 10 - 258*j**2 + 124*j**2. Is 38 a factor of q(15)?
True
Let j(z) = z**2 - 3*z - 14. Let m be j(6). Let v be (-1)/(-4)*m + 1. Suppose -4*n + 3*t - v*t = -931, 3*n - 3*t - 705 = 0. Is n a multiple of 43?
False
Let s be 35/(-5)*(5 - -1). Let p = 39 + s. Does 9 divide 2*p/6*-9?
True
Suppose 0 = 3*j - 1391 + 458. Let q = j + -172. Is q a multiple of 12?
False
Let q(x) = -x**3 - 6*x**2 - 9*x - 12. Let s be q(-5). Let h(y) = 30*y - 3. Let d be h(2). Let v = d - s. Is 49 a factor of v?
True
Let i(y) = 3*y**2 - 21*y + 2. Let x = 20 - 13. Let p be i(x). Suppose 0 = -p*l + 7*l - 25. Does 2 divide l?
False
Let l = -17605 - -41709. Is 131 a factor of l?
True
Let t be -5*(-10)/(-75)*(0 - 3). Let w be 133/4 + t/(-8). Does 12 divide (-15)/(2 - w/12)?
False
Let a(m) = -m**3 + 13*m**2 - 6*m - 56. Let g(s) = 1. Let y(w) = a(w) - 5*g(w). Is 5 a factor of y(9)?
False
Does 65 divide (1131/(-4))/((-299)/11960)?
True
Let z(u) = 25*u**3 - 2*u + 1. Let p be ((-1)/3)/((-1)/(-6)). Let s be z(p). Is 7 a factor of (s/10)/(3/(-6))?
False
Let c(l) = 35*l**2 + 1. Suppose -3*d - 3*x - 24 = 0, 4*d = 3*x - 44 - 23. Let j = d + 12. Is c(j) a multiple of 6?
True
Suppose -14*w + 10*w = -8. Suppose -5*d + 28 = q, q + w = 3*d - 2*d. Does 3 divide 9/(-3) + (18 - q)?
True
Is 110/33 + -3 + (38182/6 - 2) a multiple of 23?
False
Let o = 5 + -13. Let z(r) = 11*r**2 - 3*r - 10. Let a(h) = 4*h**2 - h - 3. Let v(p) = o*a(p) + 3*z(p). Is 11 a factor of v(9)?
True
Let d(j) = -j**2 + 17*j - 95. Let t be d(7). Let f = t + 67. Does 16 divide f?
False
Let z = -33801 + 59369. Does 17 divide z?
True
Suppose -196*k = -220*k + 193272 + 14640. Is 152 a factor of k?
False
Suppose 0 = 2*a - 5 - 7. Let p(b) = -4*b**3 - 7 + a*b + 5*b**3 + 13*b**2 + 1 + 0. Is 33 a factor of p(-9)?
True
Suppose 1971611 = 82*u - 1898625. Does 10 divide u?
False
Let f(n) = 2*n**3 + 26*n**2 + 13*n + 321. Is f(25) a multiple of 266?
True
Suppose 22*a - 19536 = 16*a. Suppose 26*z - a = 4232. Is z a multiple of 12?
True
Let s be (-8)/(-6)*(-51)/2. Let z be 13064/207 - (-2)/(-18). Let j = s + z. Is j a multiple of 7?
False
Let g(y) = -2*y**3 + 7*y**2 + 14*y + 3. Let p be (10 - 11)*(-5)/(-1). Is 22 a factor of g(p)?
False
Let k(v) = -2*v**3 + 49*v**2 - 48*v + 25. Let s be k(23). Let d = s + 116. Is d a multiple of 14?
False
Suppose 60*n - 56*n = t + 2420, -3026 = -5*n + t. Is n a multiple of 15?
False
Let z be 222/(-42) - -5 - 789/7. Let r = z + 123. Does 10 divide r?
True
Suppose 32130 = 21*v - 14385. Does 10 divide v?
False
Let g be (-57577)/(-65) - -2*(-4)/10. Suppose 2*v - 5*y - 585 = -2*y, 0 = 3*v + 3*y - g. Suppose 6*u - 186 = v. Is u a multiple of 40?
True
Let h(b) = 3*b**3 - b**2 - 83*b + 11305. Is h(0) a multiple of 17?
True
Let u = 3891 + 2729. Does 20 divide u?
True
Suppose -2*x - 48 = -n + 5*n, x = -2. Let o(p) = 5*p**2 + 25*p + 16. Does 49 divide o(n)?
False
Let h = -408 + 401. Let b(m) = 15*m**2 + 19*m + 31. Is 10 a factor of b(h)?
False
Let c = -5341 + 5603. Is c a multiple of 14?
False
Let g be (-133)/95 + (-2)/(-5) + -4. Is 6 a factor of ((-27)/6 - g)*158?
False
Suppose -12*r - 3967 = -15*r - 5*n, 0 = 2*r - n - 2623. Does 14 divide r?
False
Let y(m) = -25*m**2 + m - 9. Let l be y(5). Let k = -321 - l. Does 44 divide k?
True
Suppose -2608 - 20184 = -37*w. Let o(t) = 70*t - 1. Let i be o(-6). Let s = w + i. Is 39 a factor of s?
True
Let g(f) = -f**2 - 22*f - 3. Let j be g(-22). Let w be (j + 152/(-1))*-5. Suppose -161 - w = -13*b. Is b a multiple of 9?
True
Suppose 5*x + 2*z = 2950, 5*x - 2*z - z - 2950 = 0. Let k be 1 - 4 - (-6 - x). Suppose k + 32 = 5*b. Does 17 divide b?
False
Suppose 5*j + 3*v = v + 2, 2*j + 5*v = 5. Suppose -6*l - 24 = -j*l. Let o(z) = z**3 + 4*z**2 - 6*z - 5. Is 4 a factor of o(l)?
False
Is 1603800/(-396)*8/(-5) a multiple of 54?
True
Suppose -9*n + 11184 + 69887 - 21023 = 0. Is n a multiple of 16?
True
Let q(j) = -j**3 + 15*j**2 - 14*j + 4. Let f be q(14). Let b = 71 + f. Let r = b - 67. Does 4 divide r?
True
Let h be 67*(0 - (-3 - -4)). Let v = h + 71. Suppose -5*l + 406 = 3*a - v*a, 4*l = -a + 323. Is 9 a factor of l?
True
Let z be -3 + -4 + 3 - -10. Suppose z*f - 25 = f. Suppose -2*j = -3*a + 74, -a + 3*j + 8 + f = 0. Is a a multiple of 8?
False
Suppose -3*s + 2*p + 722 = 0, 19*p = s + 18*p - 241. Does 60 divide s?
True
Let n(z) = z**3 - 9*z**2 - 10*z + 15. Let j be n(10). Suppose -j = -2*i + 21. Let m = i + -9. Is m a multiple of 4?
False
Let f be (-2140)/(-5) + (-6 - -10). Suppose 28*g = -f + 2224. Is 4 a factor of g?
True
Let k(m) = 3*m**3 - 32*m**2 - 12*m. Is 122 a factor of k(16)?
True
Suppose -5 = -7*l + 23. Suppose -4*t + 184 = l*c, -93 = 4*t + 5*c - 279. Is t a multiple of 22?
True
Let b(s) = -s**3 - s**2 + 17*s + 6. Let w = 125 - 131. Let u be b(w). Is 13 a factor of ((-3)/3 - -2)*4 + u?
False
Suppose -8*a = -29*a + 61*a - 879480. Does 63 divide a?
True
Is 5 a factor of 36/(-42)*((-6195)/6 - -7)?
False
Let w(l) = 226 - 112 - l - 114. Let y(h) = 9*h**2 + 5*h - 10. Let t(d) = -4*w(d) + y(d). Does 