3*b + w. Does 8 divide b?
False
Let h(v) = -v**3 + 56*v**2 - 95*v - 4. Is 121 a factor of h(53)?
True
Suppose -4*b - 2*h = -30, 17 + 10 = 4*b + h. Suppose 3*o - 5*o + b = 0. Suppose -2*r + 2*l + 196 = 0, -r + 420 = 3*r + o*l. Is 31 a factor of r?
False
Let z(x) = x**2 + 14*x + 37. Suppose 0 = -8*j + 9*j + 17. Does 11 divide z(j)?
True
Suppose -3*g + 9 = k - 6*g, -3*g + 9 = 5*k. Suppose 0*m = -m - 4*j + 205, -k*j = -m + 240. Is m a multiple of 15?
True
Let u = 2019 - 1221. Is u a multiple of 42?
True
Suppose -2*f - 4*s = 28, -2*s - 1 = 7. Let v = 148 - f. Does 21 divide v?
False
Let y(g) = -g**3 + g**2 + 3*g - 1. Let r be y(2). Let l(a) = -10*a**2 + 2*a - 1. Let u be l(r). Let d(j) = j**3 + 9*j**2 - j + 12. Is 21 a factor of d(u)?
True
Is 17 a factor of 463 + 6/((-12)/14) + 3?
True
Suppose -245 = 3*b - 68. Let a = -19 - b. Does 23 divide a?
False
Does 41 divide (34 + 12 + -5)/((-3)/(-75))?
True
Let h = -373 + 670. Does 11 divide h?
True
Let l(u) = 16*u**3 - 3*u**2 + 3. Let r be l(2). Suppose -m - r = -2*m. Is 17 a factor of m?
True
Let w be 18/8*((-682)/(-6) + 1). Suppose -3*l + w = 45. Is 26 a factor of l?
False
Let a be (-26)/(-22) - (-6)/(-33). Let x(j) = 1 - 5 + 2 + 22*j + 3. Does 23 divide x(a)?
True
Let n(y) = 10*y**3 - 10*y**2 + 3*y + 2. Let v(z) = 7*z**3 - 7*z**2 + 2*z + 1. Let f(s) = -5*n(s) + 7*v(s). Is 12 a factor of f(-3)?
True
Let a = 7080 - 5057. Does 7 divide a?
True
Let z(p) = 4*p + 10. Let u(l) = 8*l + 20. Suppose 4*k + 2*m + 6 = 0, 5*k - 2 = -2*m - 12. Let v(a) = k*u(a) + 9*z(a). Is v(3) a multiple of 4?
False
Suppose -2*r + 2*t = -30, 0*t + 61 = 5*r + 2*t. Suppose 10*k + 66 = r*k. Is 3 a factor of k?
False
Let t(s) = 245*s**2 + 17*s - 7. Is t(3) a multiple of 79?
False
Suppose 15 = 4*p + p. Suppose p*f + 0*f = 0. Suppose -38 = -b - f*b. Is 19 a factor of b?
True
Let z = 27 + -25. Let p(w) = w**3 - 2*w**2 + w. Let j be p(z). Suppose j*n - n = 3. Is n even?
False
Let b(m) = 13*m**2 + 19*m - 46. Is b(6) a multiple of 26?
False
Suppose -n + 0*d = 3*d - 55, -3*d = 3*n - 195. Is 12 a factor of n?
False
Suppose 5*h - 45 = 6*p - p, -4*h = -3*p - 37. Let n = h - -6. Is 8 a factor of n?
True
Let n(r) be the second derivative of -18*r**5/5 + r**4/12 - r**2/2 + 21*r. Does 12 divide n(-1)?
True
Let v = -4 - 2. Let k(x) = -x**3 + 7*x**2 - x + 3. Let g(q) = -4*q**3 + 22*q**2 - 3*q + 8. Let n(d) = 2*g(d) - 7*k(d). Is 7 a factor of n(v)?
False
Let i = -65 - -64. Does 4 divide (126/35)/(i/(-5))?
False
Let u(o) = o - 3. Let p be u(1). Let t be p/(-6) - 1/3. Suppose 5*q - 105 = -t*q. Is q a multiple of 7?
True
Let p(s) be the second derivative of -s**4/12 - 5*s**3/3 - s**2 - 5*s. Let b be p(-8). Is 11 a factor of 452/b + 10/(-35)?
False
Let t be ((-2)/4)/((-7)/56). Let j be 4/t - -1 - 0. Suppose -19 - 25 = -j*g. Does 9 divide g?
False
Suppose 11*w + 310 = 12*w. Is 31 a factor of w?
True
Suppose -k - 35*v + 1636 = -37*v, -5*k + 4*v + 8186 = 0. Does 26 divide k?
True
Let q(g) = -272*g + 40. Is q(-2) a multiple of 73?
True
Let u = 1840 - 1310. Is u a multiple of 6?
False
Let x = 414 - 245. Is x a multiple of 13?
True
Let h(v) = -v**3 - v**2 + 3*v - 4. Let y be h(-4). Suppose -6*j + 4 = 4*q - 7*j, q = 2*j + 1. Let i = q + y. Does 11 divide i?
True
Does 7 divide 2*(1738/4 + 2 + -2)?
False
Suppose -5*o = -10, 3*a + 3*o = -a + 114. Does 6 divide a?
False
Suppose -1418 = -2*x + 2*d, -9*d = -5*x - 10*d + 3569. Is x a multiple of 23?
True
Let k = 10 + -7. Suppose -6 = -k*n + 9. Suppose -n*j = -72 - 3. Does 4 divide j?
False
Suppose b + 6*n - 929 + 294 = 0, 0 = 4*n + 12. Is 3 a factor of b?
False
Let x = -42 + 47. Suppose -845 = 3*b - 8*b - x*u, -u = 5. Is b a multiple of 31?
False
Let m be 2/2 - (-13 - 16). Is 5 a factor of 72/m*(-10)/(-4)?
False
Let i = 116 + 48. Suppose -b + i = 27. Let r = -65 + b. Does 18 divide r?
True
Suppose -46 = -2*c + 282. Let x = c + -112. Is x a multiple of 11?
False
Let g(o) be the second derivative of -5*o + 0 - 1/12*o**4 + 5/6*o**3 - 1/2*o**2. Is 2 a factor of g(4)?
False
Let q(f) = -f**2 - 11*f + 8. Let p(s) = s**2 + 10*s - 7. Let y(b) = 6*p(b) + 5*q(b). Let c be y(-6). Suppose a - 85 = -c*a. Does 17 divide a?
True
Let s(t) = t - 4. Suppose -k - 3*b = -0 - 1, 2 = -b. Let c be s(k). Suppose 5*n + a - 185 = 0, -c*a = -0*a - 15. Is n a multiple of 9?
True
Suppose -2572*b = -2577*b + 4125. Does 10 divide b?
False
Let c(o) = -8*o**2 + 44*o + 15. Let s(b) = -3*b**2 + 15*b + 5. Let v(x) = 4*c(x) - 11*s(x). Does 27 divide v(9)?
False
Let y = -15 - -49. Suppose -3*d = -0*d - 2*l - y, -2 = -d + 3*l. Is d a multiple of 6?
False
Let i = -49 - -495. Is 26 a factor of i?
False
Suppose 0 = -4*q + f + 4*f + 35, q - 13 = -3*f. Let l(s) = 3*s + s**2 - 3*s + q*s + 6. Does 27 divide l(-15)?
True
Suppose 9*j = -11*j + 26100. Does 15 divide j?
True
Suppose -4*u - 10 = -g - 39, -2*u - 5*g = 13. Suppose -3*m + u*m = 0. Suppose 2*s = -o - m*s + 9, -2*o = 5*s - 13. Is 13 a factor of o?
False
Let r(k) = -29*k**2 + 11*k + 3. Let x(w) = -10*w**2 + 4*w + 1. Let a(n) = -4*r(n) + 11*x(n). Suppose 6*i + 12 = -0*i. Is 6 a factor of a(i)?
False
Let y = 562 - -442. Is 126 a factor of y?
False
Let f = -513 - -543. Is f even?
True
Suppose -25740 = -46*j + 16*j. Is 39 a factor of j?
True
Suppose -u + 0*u + 26 = 5*i, -4*u = -5*i - 4. Suppose -5*f = 3*o - 1013, -u*f = -2*f + 4*o - 804. Does 41 divide f?
True
Suppose 2*r - 4*r = -3*s + 10, 14 = 4*s - 3*r. Suppose s*l - 148 = -0*l. Is 14 a factor of l?
False
Suppose -n + 0*n = 5*u - 577, -4*n = 4*u - 452. Suppose 0 = -5*v + u + 299. Is v a multiple of 6?
False
Let f(d) be the first derivative of -2*d**2 + 22*d + 6. Is f(-17) a multiple of 15?
True
Let x be 8 - (-2)/4*-2. Suppose -10*h + x*h + 180 = 0. Is 15 a factor of h?
True
Suppose -2*j + 1413 = -2*r - r, -674 = -j - 5*r. Is 10 a factor of j?
False
Let p(b) = -49*b - 44. Is p(-4) a multiple of 8?
True
Is 9 a factor of 171 - (0/(-6))/(-1)?
True
Let z(o) = -o**3 + 3*o**2 + o + 1. Let a be (6/(-2))/((-3)/2). Suppose 4*b + 3*k + a*k = 12, 6 = 2*b - 4*k. Is 4 a factor of z(b)?
True
Suppose 26 = -8*a + 10. Let m(u) = -10*u - 12. Is 4 a factor of m(a)?
True
Let o(f) = f**2 - 6*f + 7. Let h be o(5). Let g(k) = -128*k + 1. Let q be g(h). Is q/(-12) + 6/8 a multiple of 13?
False
Let x(j) = -5*j + 72. Is 19 a factor of x(3)?
True
Let i(v) = v**2 + 7. Let t be i(0). Let w be 54/t + 4/14. Suppose 3 = m - w. Is 6 a factor of m?
False
Let n(v) = -47*v - 3. Let p be 2/(-4) - 36/24. Is n(p) a multiple of 13?
True
Suppose -4*h = 6*d - 10492, -2*h = h - 3*d - 7869. Does 61 divide h?
True
Suppose 3*l + 330 = -5*o, 4*o = l - 210 - 37. Does 9 divide ((-24)/14)/(3/o)?
True
Suppose -14416 = 93*t - 110*t. Does 37 divide t?
False
Let l = -402 - -285. Does 15 divide 110/33*l/(-2)?
True
Let j be (-15)/60 + 1338/8. Let f = -100 + j. Is 11 a factor of f?
False
Suppose h - 34 = -20. Suppose h*d - 1099 = 7*d. Is 18 a factor of d?
False
Let n be 58 + -5 + (0 - -2). Let r = 63 + n. Is r a multiple of 27?
False
Is 3 a factor of -9*(-9 + -5 - -1)?
True
Suppose 5*s = -0*s + 10. Suppose l = y + 19, 0*y + s*y + 84 = 4*l. Suppose 2*a - 2 = -4, j + 2*a - l = 0. Does 18 divide j?
False
Let f = -37 - -34. Is 29 a factor of (4 + 9/f)*101/1?
False
Let y(n) = 8 - 11*n + 23*n - 15*n. Is 23 a factor of y(-5)?
True
Suppose -d = 4*i - 320 - 582, -3*d + 2651 = i. Is 21 a factor of d?
True
Suppose r - v - 22 + 10 = 0, -3*v + 6 = 0. Let f = -109 - r. Let a = -82 - f. Is 9 a factor of a?
False
Let b(z) = -93*z - 15. Is 27 a factor of b(-8)?
True
Let v = 310 + -227. Is v a multiple of 4?
False
Is (-3)/12 - ((-26826)/8 + 5) a multiple of 47?
False
Let t(g) = -34*g - 144. Is 10 a factor of t(-11)?
True
Let w = 10 + -7. Let l(x) = -x**3 + 3*x**2 + 4*x - 2. Let u be l(w). Suppose 0 = -h + 3*h - u. Does 3 divide h?
False
Suppose -3*y + 7*y + 20 = 0. Is 2 a factor of 21*y/(-15) + 0?
False
Suppose 41*i - 35*i - 246 = 0. Does 4 divide i?
False
Let r(y) = -2*y + 9. Let b be r(3). Suppose x + 1 = -b. Is -6*(x - (-2)/(-2)) a multiple of 30?
True
Let h = 7 + -3. Let l = h - -13. Let u = l - 1. Does 16 divide u?
True
Let i(l) = 7*l + 33. Is i(2) a multiple of 2?
False
Let l(c) = 2*c**2 - 15*c + 38. Is 5 a factor of l(4)?
True
Is 126*-10*((-16)/(-5) - 4) a multiple of 72?
True
Suppose 0 = -3*m - 2*p + 3 + 14, -11 = -m - 2*p.