 + 1 - 5*d. Does 6 divide v(5)?
False
Let q(c) = -369*c + 202. Is 32 a factor of q(-5)?
False
Let u = 1109 + -761. Is u a multiple of 47?
False
Let l(s) = -147*s**3 - 2*s. Is l(-1) a multiple of 4?
False
Let l(d) = -d**3 - d**2 + d + 24. Let y(f) = -3*f + 4 + 4*f - 9. Let n be y(5). Is 6 a factor of l(n)?
True
Suppose -32*w = -59*w + 27702. Is 9 a factor of w?
True
Let p(q) = -9*q**3 - q**2 + 6*q + 5. Let k = -31 - -29. Does 19 divide p(k)?
False
Let n(p) = p**3 - 6*p**2 - 8*p + 11. Let d be n(7). Suppose d*w - 18 = -3*l, 5*w = 2*l + 2*w + 5. Is 2 a factor of l?
True
Is 7 a factor of -5 - (-3 - -4)*-257?
True
Let g(y) = -y - 11. Let p be g(-11). Suppose p = -5*b + 5, 2*b = -5*c + 2*c + 131. Does 8 divide c?
False
Let t be (-170)/12 + (-1 + 5)/24. Let b = 6 + -34. Does 12 divide (-4 - 88/b)*t?
True
Let p(u) = -u**2 - 22*u + 2343. Is p(0) a multiple of 71?
True
Suppose 66232 = 21*s + 20389. Does 59 divide s?
True
Suppose 3*p - 739 = -5*a, -2*a - 8*p + 300 = -9*p. Is 4 a factor of a?
False
Let i(k) = 5*k**2 - 7*k. Let m(v) = v**2 - 1. Let z(l) = i(l) - 4*m(l). Let r be z(8). Suppose -c - r = -2*c. Does 6 divide c?
True
Let j(n) = -2*n**2 + 32*n - 1. Is 29 a factor of j(15)?
True
Suppose 36*a - 33*a - 3195 = 0. Is a a multiple of 12?
False
Suppose -d - 2*h - 7 = 0, 3 = 2*d + h + 2. Suppose d*i = -i - 92. Let f = 34 + i. Is 3 a factor of f?
False
Suppose 2*q - 6*q = -288. Let l = -21 + q. Is 14 a factor of l?
False
Let k be (-1 - (-7)/(-6)) + 39/234. Does 10 divide 3*(1 + -2 - k) + 122?
False
Let x be 56 + (-6)/(-1)*(-1)/3. Let l = -26 + x. Is l a multiple of 28?
True
Let r(n) = -n**2 - 33*n + 113. Is r(-21) a multiple of 5?
True
Let o(q) = 4*q**2 + 2*q - 2. Suppose 3*z = -f - 7, -f + 3 = 5*z + 16. Suppose -5*u = i + 8, 3*i = -2*u - f*i + 6. Is 4 a factor of o(u)?
False
Let q = -15 + 32. Is 10 a factor of (8*q)/4 - -1?
False
Let c be (1*-8)/(-4) - 98. Let d = 142 + c. Is 12 a factor of d?
False
Let u(p) = 2*p**2 - 8*p - 29. Is u(-7) a multiple of 5?
True
Let z = 32 + -10. Let j = z + -14. Does 35 divide 288/j - 2/2?
True
Let u = 239 - 221. Let x(w) = -w - 2. Let n be x(-4). Suppose -5*g + 3*z = -113, -n*g + 28 = -z - u. Is 6 a factor of g?
False
Let n(g) = -12*g + 18. Is n(-14) a multiple of 29?
False
Let l(i) = -15*i - 8. Suppose -5*u = 6 - 1. Let j be 0/u - (10 + -3). Is 15 a factor of l(j)?
False
Does 27 divide (-4514)/(-6) + 6/9?
False
Suppose -14*k + 872 = -12*k. Is 10 a factor of k?
False
Suppose o + 5*h - 2 = 0, -3*o + h - 54 = -4*h. Let j = o - -10. Does 19 divide (3/2)/(j/(-114))?
True
Suppose 1 + 6 = g - t, 5*g - 3*t = 25. Suppose 14 = 2*j - 4*s, g*s = 3*j - j - 14. Is 7 a factor of j?
True
Let q(g) be the first derivative of g**3/3 - 5*g**2/2 - 2*g + 2. Let z be (-11 - -5) + (2 - 1). Is 24 a factor of q(z)?
True
Let a = -1603 + 2206. Does 67 divide a?
True
Let t = 623 - 370. Let i = t - 129. Is 31 a factor of i?
True
Suppose 3*b = b - 114. Let m = b + 40. Let h = -7 - m. Is h a multiple of 5?
True
Is -6 + 40/8 - -139 a multiple of 3?
True
Let c(v) = v**3 - v**2 - 6*v - 7. Let x be c(5). Let p = x + -40. Does 12 divide p?
False
Suppose 2*p - 17 = -13. Suppose q - 237 = -p*q. Does 26 divide q?
False
Suppose 9*d - 4*q - 1500 = 8*d, 5*q = 15. Does 24 divide d?
True
Let o(c) = -c**3 - 9*c**2 + 8*c + 15. Let q(d) = d - 3. Let r(y) = y - 1. Let g(u) = q(u) - 3*r(u). Let b be g(5). Does 6 divide o(b)?
False
Suppose 6*c - 623 = 3259. Is c a multiple of 37?
False
Suppose -60 = 5*j - 0*j. Let r be j/15*(-15)/6. Suppose -50 = -r*b - 3*n, -25 = -b + 3*n - 0*n. Does 11 divide b?
False
Suppose 3*h - 4*h = -5*j - 283, -6*h + 3*j + 1671 = 0. Is 2 a factor of h?
True
Suppose 8*t + 80 = r + 9*t, r + 3*t = 78. Is 9 a factor of r?
True
Suppose 0 = 17*w + 15*w - 12256. Does 7 divide w?
False
Let s = -12 + 6. Let l be 2/s*-2*30. Is 3 a factor of ((-3)/2)/((-3)/l)?
False
Let n(l) = l**3 + 4*l**2 - 12*l - 1. Let d be n(-6). Does 12 divide 4018/28 + d/2?
False
Suppose -2*t - 2*v - 307 + 1443 = 0, 0 = 3*t + 4*v - 1704. Is 5 a factor of ((-2)/2 + -1)/((-71)/t)?
False
Let o = 0 + 5. Suppose -n + o*s = 21, s + 2*s = -3*n - 9. Let m = 26 + n. Does 20 divide m?
True
Let j(r) = -29*r + 46*r - 45*r. Does 5 divide j(-1)?
False
Suppose 2*v - 11*v + 63 = 0. Suppose -2*u + 0*o - 3*o - 47 = 0, 3*o + 79 = -4*u. Is 9 a factor of u*((-126)/8)/v?
True
Let u(p) = p**3 - 7*p**2 + 8*p - 9. Let r be u(6). Suppose 4*b - r*q - 106 = 0, 0 = -b - 4*q - q + 38. Is 26 a factor of b?
False
Is 71 a factor of 31/((-1104)/(-366) + -3)?
False
Let w = 4 + -9. Let x(b) = -3*b**2 + 5*b - 1. Let k be x(w). Let t = k - -169. Is 17 a factor of t?
True
Let n(q) = -q**2 + 12*q + 15. Let z be n(13). Suppose -4*h + 11 = -5*o - 18, -4*h - z*o = 6. Does 13 divide (3 - (1 + -11))*h?
True
Let t = -37 - -5. Let x = 6 + t. Let i = x + 38. Does 4 divide i?
True
Suppose -3*s = -2*k - 6*s + 84, s = -k + 43. Suppose q = -5*l + 22, -2*q + 4*l - 14 = -q. Suppose q*u - 179 = k. Does 26 divide u?
False
Let l(m) = -3*m**2 + 11*m + 5. Let w be l(8). Let g = -92 - w. Is 2 a factor of g?
False
Suppose -2*c - 73 - 8 = 5*w, 0 = -w + 5*c. Is (w/10)/(3/(-16)) even?
True
Let x(j) = -j**3 - 13*j**2 + 18*j + 3. Let s be x(-14). Let r = 81 + s. Does 14 divide r?
True
Let x = 698 - -415. Is x a multiple of 53?
True
Let f = -2 + 7. Suppose -f*i + u = -25, -2*i - 5 = 3*u + 2. Suppose -i*n - 2*q = -186, -2*n + q + 76 + 23 = 0. Is 16 a factor of n?
True
Let l = 417 - 141. Is 23 a factor of l?
True
Is (11 + (-2570)/30)*198/(-4) a multiple of 24?
True
Suppose 83 = -4*p + 143. Suppose p*y = 19*y - 240. Does 9 divide y?
False
Suppose 0 = -2*b - 3*i + 200, b + i - 100 = -2*i. Suppose g - b = -4*g. Is g a multiple of 7?
False
Let s(n) = 9*n**2 - 31*n - 136. Does 17 divide s(-6)?
True
Let o(k) = -56*k**3 - 5*k**2 + k + 3. Is o(-2) a multiple of 38?
False
Suppose 4*d + 3*y + 19 = 0, d = -3*d + 2*y - 34. Let x(p) = p**2 + 9. Does 58 divide x(d)?
True
Is ((-6)/9 - 1184/(-12)) + 4 a multiple of 57?
False
Suppose 683 = 5*c + 203. Let i = c + -19. Does 13 divide i?
False
Let y(t) = 53*t + 235. Is y(8) a multiple of 13?
False
Suppose -17*z + 745 = -22*z. Let j = 350 + z. Does 35 divide j?
False
Let v(n) = n - 21. Let g be v(9). Let q be ((-3)/(-4))/((-3)/g). Does 9 divide -1*-2*(q + 6)?
True
Let a = -51 + 76. Let g = a + 177. Does 43 divide g?
False
Let l(x) = -x**3 + 5*x**2 + 16*x - 10. Is 29 a factor of l(-6)?
True
Let b(y) = -2*y + 114. Does 5 divide b(-23)?
True
Suppose -v = -3*m + 10, 2*v + v + 16 = 2*m. Let i be 44/10 + m/(-5). Suppose -z = 4*w - 80, 6*z - z = i*w - 56. Is 6 a factor of w?
False
Let n(t) = t + 25. Let y be n(-19). Suppose -y*u = -2*u - 36. Does 2 divide u?
False
Suppose 4*r - 3 = 3*c - 11, 2*r = -c + 6. Suppose -4*x + 2*x + 8 = 0. Suppose -3*w + x*w + 4 = 0, 0 = 4*k + c*w - 80. Does 8 divide k?
True
Let c = -278 - -547. Let o = c + -93. Is 16 a factor of o?
True
Suppose 8*g = 5*g + 51. Suppose 5*w + 3264 = g*w. Is 17 a factor of w?
True
Let d(w) = -2*w**3 - 2*w**2 + 2. Let q be d(-2). Let r(j) = 2*j**2 - 23*j + 16*j - 8*j + 10. Is 15 a factor of r(q)?
True
Is 47 a factor of 2/(-4)*3424/(-4)?
False
Is (97/(-2))/(588/(-288) - -2) a multiple of 41?
False
Suppose -2*o = -3*h - 19, 4*h + 22 + 6 = 4*o. Suppose -21 = o*b + 1. Let s = b - -20. Is s a multiple of 2?
False
Let j = 17 - 18. Let u be -1 - (-6 - (-1 + j)). Suppose u*i - 84 = -12. Is 24 a factor of i?
True
Let g(i) = i**2 - 2*i + 1. Let s be g(0). Let q(c) = 7*c + 4*c - 2*c - 3*c + s. Is q(12) a multiple of 20?
False
Let i(w) be the second derivative of -7*w**4/12 + w**3/6 + w**2 + 14*w. Let v be i(-1). Let o(u) = -u**3 - 3*u**2 + 7*u - 4. Is o(v) a multiple of 15?
False
Let c(s) = s**2 + s - 4. Let x be c(-4). Suppose 0 = -x*t + 13*t + 5. Is 19 a factor of (3 - (t + 1)) + 26?
False
Suppose 6*b + 180 = -0*b. Let d(y) = -3*y**2 - 2*y + 2. Let g be d(-2). Does 12 divide -30*g*(-4)/b?
True
Let t = -175 + 453. Is t a multiple of 9?
False
Let l(j) = 16*j**2 - 20*j + 121. Is l(7) a multiple of 41?
False
Let v(d) be the third derivative of d**6/60 + d**5/60 + d**4/12 + 11*d**3/6 - 37*d**2. Does 9 divide v(4)?
False
Let q be (-6 - (-216)/(-10))/(3/(-10)). Suppose 0 = 2*g - 164 - q. Does 20 divide g?
False
Suppose -3 = -9*f + 51. Let h(v) be the second derivative of v**5/20 - 