2 - 6*q + 9. Let w be s(-7). Let r(k) = -k + 4. Let u be r(-6). Suppose u = -d + w*d. Does 10 divide d?
True
Let y(a) = a**2 - 8*a - 7. Let d be y(13). Let x = d + -22. Does 12 divide x?
True
Suppose -2*c - 4*p - 10 + 4 = 0, -2*c + 2*p = -12. Let d = 0 + c. Suppose m - z + 4*z = 5, z = -d. Is 4 a factor of m?
False
Suppose 0 = -d - 89 - 68. Let i = d - -311. Is i a multiple of 28?
False
Let h = 7 + -13. Let a = h + 9. Suppose 206 = 4*s + q + q, 3 = -a*q. Does 18 divide s?
False
Let i(n) = n**2 - 8*n + 5. Let x be i(9). Let c be (0 - -9) + x/7. Let d = c - -2. Is 7 a factor of d?
False
Let n(m) = 15*m**3 - 6*m**2 - 3*m + 10. Let o be n(-5). Let k = 2972 + o. Is 20 a factor of 2/(-4) - k/(-24)?
True
Let i be (-105)/(-6)*2*3. Suppose -2*m = -i + 35. Is m a multiple of 17?
False
Is 36 a factor of 102*(6/2 - (5 - 8))?
True
Suppose 0 = 3*d - d - 8. Suppose 0 = -d*r - 2*r + 30. Suppose y + 20 = 5*l + 6*y, r*y = -20. Is l a multiple of 8?
True
Let o(q) = 5*q**2 - 3*q**2 + 3 - 9*q**3 - 4*q + 4*q**2. Let z(j) = -8*j**3 + 7*j**2 - 5*j + 4. Let l(d) = -6*o(d) + 5*z(d). Is l(1) a multiple of 5?
False
Suppose 2*x - 18 = -4*l, -2*x = x - 15. Let p(u) = -11*u + 4*u - 7*u**l + 6*u**2. Is 3 a factor of p(-4)?
True
Let t be (-19)/38 - (-166)/4. Suppose f - t + 1 = 0. Is f a multiple of 5?
True
Let k be 87/(-58)*8/(-2). Let v = 0 - -2. Suppose 2*q + 16 + k = v*n, -q = -3. Is 7 a factor of n?
True
Let i be ((-48)/42)/(-4) + (-383)/(-7). Suppose -5*h + 995 + i = 0. Is 42 a factor of h?
True
Does 13 divide (-64)/(-8) - -321 - (0 + 2)?
False
Let y be (3/(-2))/((-24)/32). Suppose -30 = -2*k - 2*d, -19 = y*k + 3*d - 53. Does 3 divide k?
False
Suppose 8*w - 5062 = -670. Is w a multiple of 61?
True
Suppose -5*l = -2*r + 975, 3*r - 3*l - 1700 = -251. Is 17 a factor of r?
False
Let s be 6/3 + -5 - 55. Let g = -22 - s. Does 18 divide g?
True
Is 40 a factor of 868/10*(279/18 + -13)?
False
Let l(u) = u**3 + 10*u**2 + 7*u - 1. Let t be l(-8). Suppose -t = -p - 17. Let m = p + -33. Is m a multiple of 6?
False
Let d(g) be the third derivative of -23*g**4/24 - g**3/6 + 5*g**2. Suppose 3*j - 4*p + 7 = 0, -p + 4 = 2*j - 5*j. Is 11 a factor of d(j)?
True
Let m be (0 - 0/1)/(-2). Suppose m*w + 3*w = 354. Is 16 a factor of w?
False
Let s be 3*1*21/(-9). Is 10 a factor of (s/((-63)/(-48)))/((-4)/36)?
False
Let b(c) = 7*c - 8. Let d be b(3). Suppose f + 17 = 2*f. Let n = f - d. Is 2 a factor of n?
True
Let h = 17 + -16. Let s be ((-3)/2)/(h/(-54)). Suppose 24 = 5*v - s. Is v a multiple of 7?
True
Is ((-1120)/(-8))/((-6)/(-12)) a multiple of 7?
True
Suppose -4*y - y - 225 = 0. Let z = 84 + y. Is 3 a factor of z?
True
Let s be 69 + (3 - 5/(2 + -1)). Let n be ((-43)/(-2))/(1/(-2)). Let x = s + n. Is 8 a factor of x?
True
Let s(j) = -j**3 - j**2 + j + 24. Suppose -2*w - 3*w + u - 27 = 0, -5*w + 4*u = 33. Is 21 a factor of s(w)?
False
Suppose -6*g + 3*g - 297 = 0. Is (g/(-12))/((-24)/(-64)) a multiple of 5?
False
Suppose 2*i = 6*i - 312. Suppose 3*u - 5*u = -i. Is u a multiple of 6?
False
Suppose 0*r = -3*r. Suppose -2*t + 5*t - 21 = r. Suppose 4*q - 5 = t. Is q a multiple of 2?
False
Suppose 14 = -4*w - 6, -3*k + 19 = -2*w. Suppose -15*r + 10*r = -10. Suppose -g + 2*x - r = -46, -x = -k*g + 112. Is g a multiple of 11?
False
Suppose -27*t + 28*t = 114. Does 19 divide t?
True
Suppose -3*c + 2*u + 49 = 4*u, 72 = 4*c + 4*u. Let q(f) = f**3 - 16*f**2 - 6*f - 19. Let h(d) = d**2. Let j(x) = -3*h(x) - q(x). Is 27 a factor of j(c)?
False
Let j = -159 + 582. Is 47 a factor of j?
True
Let u(s) = -s**2 - 20*s + 34. Let o be u(-22). Let l(z) be the second derivative of -z**4/12 - 11*z**3/6 + z. Is l(o) a multiple of 7?
False
Let f(m) = -2*m**3 - 2*m**2 + 3*m + 2. Let h be f(-2). Let z(d) = -8*d - 1 + h + 0 + 7 + d**2. Is z(8) a multiple of 2?
True
Suppose 4*s + 746 = 3*c, 3*c + 3*s = -62 + 815. Is c even?
True
Let g = 51 - 36. Suppose -2*w - 13 = -l, -5*w = g + 5. Suppose y - 38 = -l. Is 8 a factor of y?
False
Suppose -9 = -6*v + 21. Suppose 5*s + 3*c = 289, s + 3*c = v*c + 50. Is 12 a factor of s?
False
Let m(b) = 40*b**3 - 11*b**2 - 17*b + 52. Is 86 a factor of m(5)?
False
Let i(s) = s**3 + 12*s**2 - 3*s - 18. Suppose f + 22 = 4*k - 2*f, -k = 5*f + 6. Suppose -12 = k*j - 3*j. Is i(j) a multiple of 6?
True
Let h(l) = 14*l + 1. Let k(r) = -2*r**3 - 4*r**2 - 3*r - 2. Let m be k(-2). Does 19 divide h(m)?
True
Suppose -37*w - 1499 + 16410 = 0. Is 13 a factor of w?
True
Let z(p) = 9*p - 4. Suppose -t = i - 3*i + 8, -19 = -5*i + 2*t. Let q be 0*i/9 + 4. Does 21 divide z(q)?
False
Let z be 16/56 - 208/(-7). Let q = z - 5. Is 12 a factor of q?
False
Suppose -5*l + 20 = -l - 5*m, -12 = 3*m. Let t be 0 - 1*(-53 + l). Suppose -n - 3*v = 4*n - t, -5*n - 5*v = -55. Is n a multiple of 5?
True
Let h = 42 + -166. Let o = -51 - h. Is o a multiple of 16?
False
Suppose -5*h + 7*k = 3*k - 1537, -3*k = 9. Is h a multiple of 5?
True
Let r = 132 - 80. Does 8 divide r?
False
Let l(n) = -3*n - 11. Let t be l(-8). Let f = 0 + 3. Suppose 2*o = f*o - t. Does 13 divide o?
True
Suppose 8*g - 4890 = 646. Does 7 divide g?
False
Suppose -3*h + 118 + 99 = 4*l, 2*l = h + 121. Does 9 divide l?
False
Let u(y) = -6*y**2 + 414. Does 5 divide u(0)?
False
Let d be (6 + -4)/(2 + -3). Let a be 1 + d + 2 + 1. Suppose a*r + 134 = 4*m, 4*m - 3*r - 129 - 4 = 0. Is 10 a factor of m?
False
Let p(c) = -c**3 + 10*c**2 - 7*c - 11. Let l = -5 + 14. Let m be p(l). Suppose -2*a = -5*w - 4, 3*a = 3*w - 1 + m. Is a a multiple of 2?
True
Suppose 0 = -2*c - 4, -4*c - 10 = -2*v + 8. Let g(n) = -n**3 + 6*n**2 + n. Is g(v) a multiple of 30?
True
Let n(r) = -2*r**3 - 11*r**2 - 17*r - 40. Is 11 a factor of n(-10)?
False
Let h be (-2 - (-3 + 1))/2. Does 11 divide h - (-1)/((-4)/(-12)) - -32?
False
Suppose 0 = 37*o - 32*o + 20. Is o - (-2)/4*46 a multiple of 6?
False
Let z = -98 + 193. Suppose -34 - 18 = -r - o, o + z = 2*r. Is (r/(-2))/((-2)/4) a multiple of 16?
False
Suppose -4040 = -6*g + 202. Is 101 a factor of g?
True
Suppose -2*p - 2*t = 14 - 4, -p + 3*t = 9. Let d(z) = -z**2 - 5*z + 6. Let m be d(p). Suppose m = 4*j - 4*c - 140, 4*j = -c + 78 + 67. Is 18 a factor of j?
True
Let m(u) = 9*u + 42. Is m(7) even?
False
Let f(a) = 3*a**3 - 10*a**2 - 3*a + 30. Does 61 divide f(6)?
False
Let i = -72 + 105. Suppose 7*z - i = -3*m + 6*z, -3*m = -z - 33. Is 2 a factor of m?
False
Let v = 537 - 267. Let w be 1/7 + (-1564)/(-322). Suppose v = 10*x - w*x. Is x a multiple of 27?
True
Suppose 0 = -4*b + 2*b + 20. Let n = 36 - b. Is 3 a factor of 74/n + (-2)/(-13)?
True
Let i = 2 - -117. Let f be 1 - 0 - i/(-7). Let m = 28 - f. Is m a multiple of 5?
True
Let z be 1*(-2)/4*-290. Let u be ((-114)/(-15))/(4/140). Let l = u - z. Does 31 divide l?
False
Suppose 5*k - 60 = 2*k. Let i = 11 - k. Let u(l) = -6*l + 1. Does 23 divide u(i)?
False
Suppose 0 = -3*r - 5*m + 3891, -r + 1311 = 29*m - 32*m. Does 21 divide r?
True
Let q(h) = -39*h + 219. Is 12 a factor of q(-7)?
True
Suppose -57 = 5*z + 18. Let o(m) = 8*m - 14. Let b be o(2). Is 8 a factor of 12/z*(-20)/b?
True
Let l be 6/30 + (-242)/10. Let z be (-20)/3*l/10. Is 14 a factor of (2 - z)/((-6)/6)?
True
Let n(y) be the second derivative of 2*y - 1/20*y**5 + 0 + 5*y**2 - 2*y**3 + 5/6*y**4. Is n(8) a multiple of 21?
True
Suppose 4*k - 630 = -2*t + k, -5*t + 3*k = -1533. Suppose -t = w - 322. Is 13 a factor of w?
True
Let h(l) = l**3 + 5*l**2 + 3*l - 4. Let j be h(-3). Suppose 0 = 5*k + j*c - 55, -c = k + 3*k - 53. Is k a multiple of 8?
False
Let v(b) = -10*b - 7. Let l be v(-1). Suppose 0 = 5*s + 4*c - 650, -c = s + l*c - 130. Is 18 a factor of s?
False
Let k(u) be the first derivative of -2*u**2 - 5*u + 1. Let y be k(-2). Does 14 divide -2 + 30/(y + -2)?
True
Suppose 0 = -4*q + 8*q + 412. Let y = -71 - q. Let m = y - 23. Is 6 a factor of m?
False
Suppose 0 = 61*f - 57*f - 8. Suppose f*g - 4*r = 208, -4 = -2*r + 3*r. Is 12 a factor of g?
True
Let v = 20 - 9. Let w be v/((-3)/(-30)*-2). Let n = w - -96. Is 12 a factor of n?
False
Suppose 0 = -4*r - 2 + 18. Suppose y + r*j + 8 - 84 = 0, -5*j - 143 = -3*y. Suppose 0*f + 4*f = y. Is 7 a factor of f?
True
Let o(u) = 3*u**2 - 4*u + 4. Is o(-3) a multiple of 3?
False
Let v(h) = -h**2 - 9*h - 2. Let d be v(-10). Let r = 30 + d. Is r a multiple of 9?
True
Suppose -4*o + 16 = -s - 24, s 