 a factor of n?
True
Let u(b) = 3 - 7*b**3 + 1 + 6*b**3. Does 7 divide u(-3)?
False
Let h(s) = -s**3 + 6*s**2 + s - 2. Suppose -2*b - 2 = -3*b. Suppose o - 10 = -4*o, -b*z + 6 = -2*o. Is 14 a factor of h(z)?
True
Suppose -61*g + 87412 = -20*g. Is 52 a factor of g?
True
Let g(k) be the third derivative of -k**5/60 - 19*k**4/24 + 7*k**3/6 + 23*k**2. Does 17 divide g(-13)?
True
Let v = 924 + 588. Suppose 711 + 204 = 3*p + 5*b, v = 5*p + 4*b. Does 16 divide (-2)/3 + p/18?
True
Suppose -w = -5*h + 43, 0 = -4*h + 2*w + 20 + 18. Does 8 divide h?
True
Let t be -4 + (-8)/(-4) + 36. Suppose 0 = 3*f + f. Suppose -s - s + t = f. Is 17 a factor of s?
True
Let l(f) = 43*f**2 - 7*f + 2. Does 32 divide l(2)?
True
Suppose 0 = 4*x - 3 - 13. Suppose -x*f = -7*j + 3*j + 752, -2*j + 375 = -3*f. Is 32 a factor of j?
False
Is 91 a factor of (-31)/((-10881)/26) + (-58966)/(-27)?
True
Let w be -18*(-2 + (-6)/(-4)). Let g be -10 - ((-5)/(-5) - 3). Let s = w - g. Is 3 a factor of s?
False
Let o(v) = v**3 + 11*v**2 + 16*v - 1. Suppose 5*q = -26 - 19. Is o(q) a multiple of 3?
False
Let a(g) = -g**2 + 22*g - 47. Let o be a(19). Let z be 0 - (-2 + (2 - 3)). Suppose z*b - 5*c - 36 = 0, 2*b - c = 27 - o. Is 5 a factor of b?
False
Let c(i) = i**3 + i**2 + i - 8. Let g be c(0). Let a be (-1 - g)*(-6)/(-7). Does 26 divide 158/a - 1/3?
True
Let c(w) = -32*w - 224. Is 28 a factor of c(-35)?
True
Let b = 2256 - 973. Is 7 a factor of b?
False
Suppose 5*z + 3*r - 180 = 0, 57*z = 58*z + 3*r - 48. Is 11 a factor of z?
True
Let m(g) be the third derivative of -g**4/6 + 7*g**3/6 + 5*g**2. Does 4 divide m(-7)?
False
Let j = 13 - 10. Let q(m) = 16*m - 20. Let y(n) = n - 1. Let k(f) = j*q(f) - 60*y(f). Is 6 a factor of k(-1)?
True
Suppose -81*w - 18 = -78*w. Is (-1084)/(-12) - (-2)/w a multiple of 10?
True
Let w be -1*4/(6/(-3)). Suppose -2*c - w*q + 46 = 0, -q = -5*c - 0 + 139. Does 9 divide c?
True
Let n(m) = 3*m. Let j be n(0). Suppose 12*b - 3*b - 1224 = j. Is 17 a factor of b?
True
Let m be 1305/20 - 4/(-16)*-1. Let o(j) = -103*j + 1. Let h be o(-2). Let t = h - m. Is 38 a factor of t?
False
Let f be (-4)/(-10) - 174/(-15). Let j(r) = -7*r - 108. Let h be j(-19). Let g = h - f. Does 4 divide g?
False
Let d be 8/(-12) + 616/6. Suppose -h - d - 12 = 0. Is (h/4)/(9/(-12)) a multiple of 19?
True
Let p(b) = b**3 + 9*b**2 - 12*b + 4. Let i be 2/3*-5*3. Let m be p(i). Suppose -q + m = q. Does 12 divide q?
True
Let o(m) = m**3 + 7*m**2 + 3*m + 7. Suppose 0*h + 3*n + 23 = -4*h, -5*n = 5*h + 30. Is 14 a factor of o(h)?
True
Suppose 486 = 6*m - 9*m. Let c = m + 331. Is 13 a factor of c?
True
Suppose k + 11 - 515 = 2*u, 5*u = 4*k - 2028. Is k a multiple of 32?
True
Suppose -2*b = 4*g + 2, -5*g = -0*b - 2*b - 11. Let v be 18 - 8/(-4) - b. Let l = 48 - v. Does 14 divide l?
False
Let v(p) = 507*p**2 + 2*p + 2. Is 2 a factor of v(-1)?
False
Let w(r) = -3312*r + 6. Let g be w(-1). Suppose -1204 = -17*a + g. Does 12 divide a?
False
Suppose -13*q - 47 = 707. Let u = -38 - q. Is 16 a factor of u?
False
Let q(d) = -2*d**3 - 3*d**2 - d + 2. Let v be 6 + -2 - (0 + 7). Does 8 divide q(v)?
True
Suppose 6*m - 4*m - 6 = 0. Suppose 0 = -m*p - 2*p - 175. Is 13 a factor of ((-9)/5 + 1)*p?
False
Let z = 3 - -10. Let g = 16 - z. Suppose -3*m + 87 = h + 2*h, 0 = -g*h + 15. Is 12 a factor of m?
True
Let j = -319 - -459. Let n = j + -50. Is n a multiple of 15?
True
Suppose -16*y + 3*y = -10660. Is y a multiple of 20?
True
Let i = -114 + 63. Let m = i + 218. Is 15 a factor of m?
False
Suppose 5*q = -3*r + 8276, -113*r + 117*r + 4*q = 11032. Is r a multiple of 11?
False
Suppose -4*j = 3*p - 3560, -p - 3*j = -6*p + 5972. Is 8 a factor of p?
True
Suppose 4*z + 2 = 2*g, -z - g + 2*g = 3. Suppose -3*v = z*v - 155. Is 16 a factor of v?
False
Suppose 2*o - o = 0. Suppose o = 2*g - 531 - 93. Suppose g + 93 = 5*x. Does 27 divide x?
True
Let o(n) be the third derivative of -n**6/120 - 7*n**5/60 + n**4/4 + n**3/3 + 4*n**2. Is o(-8) a multiple of 3?
True
Let r = 302 - 190. Does 24 divide r?
False
Is 5 a factor of ((-16)/(-20))/((-10)/(-1425))?
False
Let f = -2708 - -4002. Is 12 a factor of f?
False
Suppose i = 3*g + 6, 0 = -2*i - 9*g + 4*g - 10. Let z(t) = 4*t + 121. Is z(i) a multiple of 18?
False
Suppose -4*q + 66 = -7*q. Is 21 a factor of q*(-21)/(1/((-3)/(-6)))?
True
Suppose 0 = 14*z - 10*z - 1556. Suppose -6*x + z + 277 = 0. Suppose 3*t - x = -2*t - 4*d, 4*t - 96 = -5*d. Is 5 a factor of t?
False
Does 16 divide -3*(2 - 1)*22919/(-129)?
False
Let h be (12/(-8))/((-1)/4). Let t be -3 + 5 + h*1. Let d(n) = n**3 - 7*n**2 - 6*n. Is 4 a factor of d(t)?
True
Let k = -1115 - -1888. Is k a multiple of 12?
False
Let r = 6 - 6. Suppose 2*v - o = -5, -v - 2*o + 1 - 6 = r. Is 5 a factor of (-2)/v + (-13)/(-3)?
True
Let k(i) = -i**3 + 11*i**2 - 10*i + 9. Suppose 0 = v - 5*v. Suppose -j + 4 + 6 = v. Is k(j) a multiple of 9?
True
Let d(x) = 3*x + 2*x**3 - 1 + 2 - 4*x**3 + 4*x**2. Is 17 a factor of d(-2)?
False
Let b(a) = a**3 + 5*a**2 - 6*a + 5. Let i be b(-6). Suppose 0 = i*c - 2*o + 10, -o + 4 + 1 = 5*c. Suppose -48 = -c*q - 2*q. Is 9 a factor of q?
False
Let m(k) = 11*k - 6. Let w(p) = p**2 - 2*p**2 + 3*p + 2*p**2 - 1. Let q be w(-4). Is 9 a factor of m(q)?
True
Is (1 + 1 - 0) + 3800/25 a multiple of 22?
True
Let g = 223 - 203. Is g a multiple of 20?
True
Suppose 0 = c + 3*b + 3 - 177, -324 = -2*c + 2*b. Let w = 358 - c. Does 21 divide w?
False
Let b(i) = -10 + 13*i**2 + 2*i + 18*i**2 - i + 2*i. Is 15 a factor of b(2)?
True
Suppose 3*j = 5 + 4. Suppose 4*x + 322 = -3*h + 6*h, -427 = -4*h + j*x. Let z = h - 49. Does 19 divide z?
True
Let s(k) = 25*k**2 - k + 2. Let y(m) = -m**3 + 2*m**2 + 3*m + 1. Let c be y(3). Does 13 divide s(c)?
True
Let y(z) = 43*z**2 - 4. Let c(p) = -1. Let w(k) = -5*c(k) + y(k). Let b = 3 + -4. Does 22 divide w(b)?
True
Let k(t) be the first derivative of t**4/4 + 8*t**3/3 + 7*t**2/2 + 4*t + 9. Let l be k(-7). Does 11 divide ((-675)/12)/(-9)*l?
False
Is -90*(2*(-3)/18 + -13) a multiple of 79?
False
Is 358 - (-10)/(-4)*(-48)/(-30) a multiple of 44?
False
Suppose 4*k + 148 = -2*n, -20 = -4*k + 4*n - 192. Let q = 186 + k. Does 26 divide q?
False
Suppose -2*q = -4*r - 0*r + 26, 4*r + 3*q - 1 = 0. Suppose -13 = -3*m - 4, -r*m = -4*d + 32. Is d a multiple of 6?
False
Let j(o) = -14*o + 14. Let x be j(12). Let u = x - -393. Suppose -43 + u = 4*p. Is p a multiple of 31?
False
Let l = -35 + -61. Let t = l - -117. Is t a multiple of 2?
False
Let c = 15 + 9. Is (-66)/(-8) + (-6)/c a multiple of 2?
True
Let i(g) = g**2 - 7*g + 6. Let f be i(6). Let p be (-9 - -10)*(f + -24). Let t = 60 + p. Is t a multiple of 12?
True
Let j(l) be the first derivative of l**6/60 - l**5/12 - l**4/24 - l**3/3 - 7*l**2/2 + 3. Let v(w) be the second derivative of j(w). Is v(4) a multiple of 21?
True
Let d(m) = m**3 + 22*m**2 + 4*m + 16. Let t be d(-22). Suppose 0 = 3*i + 2*x - 425, 25 - 165 = -i + x. Let u = i + t. Does 23 divide u?
True
Suppose 2*b + 11655 = 11*b. Is b a multiple of 12?
False
Let c be 4/((-20)/15)*2/(-3). Suppose 0 = -2*u + 3*i + 384, u + c*i - 181 = -2*i. Is u a multiple of 21?
True
Let a be (-18)/27 - 1/(3/(-50)). Let b(i) = 3*i + 40. Is b(a) a multiple of 44?
True
Let a be -4 - 55/3*3. Let z = -47 - a. Is 6 a factor of z?
True
Let n(g) = -7*g**3 - 8*g - 7. Let s(o) = -13*o**3 - o**2 - 15*o - 14. Let m(k) = 11*n(k) - 6*s(k). Let j be m(-6). Let i = 12 + j. Does 5 divide i?
False
Suppose 42*f - 77 - 7 = 0. Suppose k = -3*k. Suppose k = -5*q - 2*j - 4 + 218, f*q = -2*j + 88. Is q a multiple of 21?
True
Suppose -14 = -l + 3*d + d, 0 = 2*l + d - 10. Let n(p) = 2*p**2 + 2*p - 7. Let v(f) = 8*f**2 + 9*f - 28. Let q(g) = 9*n(g) - 2*v(g). Is 21 a factor of q(l)?
False
Let s(i) = 18*i + 70. Does 15 divide s(9)?
False
Suppose -2*v + 78 = z, -z - 4*v = -3 - 81. Let u = z + -39. Is 8 a factor of u?
False
Let s(g) = g**2 - 9*g - 2. Let i be s(9). Let y be 1/i - (-3)/(-6). Let c = 5 - y. Does 6 divide c?
True
Suppose -402 = 5*t + 293. Let o = t - -19. Does 10 divide o/9*(-9)/6?
True
Let u(i) = 7*i**2 + 4*i + 2. Let k be u(-1). Suppose -4*w + k*d = -114, -2*d - 145 = -5*w + 3*d. Is 7 a factor of w?
False
Suppose 33*d - 6*j - 1182 = 32*d, d = -4*j + 1172. Does 56 divide d?
True
Let m(n) = 3*n + 485. Is m(42) a multiple of 7?
False
Suppose 118