(p) = p**3 + 8*p**2 + 4*p + 12. Let n be s(-8). Let d be (-2)/(-5) - 1/(n/1972). Let h = d + -53. Is 6 a factor of h?
False
Suppose -123*y + 812890 = -3*y - 247190. Does 7 divide y?
True
Suppose 30000 = -7*x - 0*x + 12*x. Is x a multiple of 10?
True
Let q(n) = 1166*n - 148. Is q(14) a multiple of 16?
True
Suppose -h = -4*p + 28951, -28948 = -4*p - 3*h + 7*h. Is 67 a factor of p?
False
Let l(i) = i + 7. Let k be l(-15). Is -9*k/24*23 a multiple of 23?
True
Let h = 5 + 8. Let q(i) = -35 - 7 + 2 + 2*i + h*i. Does 28 divide q(7)?
False
Let n(r) = 26*r**2 + 21*r + 18. Is n(6) a multiple of 12?
True
Let l be 76/24*-2*-18. Suppose -y = -3*p + 83, -2*p - 2*y + l = 2*p. Let h = 48 - p. Does 20 divide h?
True
Let c be ((-18)/(-15))/((-4)/(-10)). Suppose r + 9 = 5*w, c*w - 2 = -5*r + 9. Does 9 divide (6/(-9))/((-248)/123 + w)?
False
Let p(r) = -r**3 + 57*r**2 + 78*r - 80. Does 24 divide p(58)?
True
Let k(q) = -443*q**2 - 3*q + 3. Let r be k(1). Let g = r + 727. Is 23 a factor of g?
False
Let h(o) = -o**2 + 4*o + 7. Let j be h(8). Let q = -8 + j. Let s = 15 - q. Does 24 divide s?
True
Suppose 123*s - 217*s = -164782. Does 3 divide s?
False
Let c(x) be the third derivative of 21*x**5/10 - x**4/12 + x**3/3 - 23*x**2. Let z be c(1). Suppose 2*s = 2*w - s - z, -2*w + 110 = 5*s. Does 12 divide w?
True
Let h(x) = 6*x + 138. Let v be h(-18). Is 12 a factor of (186/(-4) + 0)/((-5)/v)?
False
Suppose 4*s - 3*o = -0*s - 12, -4*s = -o + 20. Let u(g) = -5*g + 3. Let j(n) = -n**2 + n. Let v(z) = -6*j(z) - u(z). Does 21 divide v(s)?
False
Is (-1749720)/(-72) + 1/3 a multiple of 29?
True
Let o(t) be the third derivative of 41*t**4/24 - 2*t**3/3 - 158*t**2. Is 12 a factor of o(6)?
False
Suppose 0 = -6*g + g - 3*x + 49, -5*x - 17 = -4*g. Let j(i) = 22*i**2 - 27*i + 9 - 23*i**2 - 43 - g. Does 5 divide j(-24)?
True
Suppose 0 = 4*j + 5 - 25. Suppose 4*t + 10 = 2*v + 3*v, v - j*t = 23. Is 5 a factor of v/21 - (-4416)/63?
True
Let g = 36 + -33. Suppose -3*x = g*x - 342. Is (-2)/(-2) - (4 - x) a multiple of 6?
True
Let y(p) = -875*p + 275. Is 3 a factor of y(-1)?
False
Let m(c) = 2*c**2 - 15*c + 23. Let b be m(8). Suppose 3*f - 106 = -b. Let w = f + 22. Is 5 a factor of w?
False
Let q(v) = v**3 - 15*v - 1. Let j be q(-4). Let h be (50/j)/(-1) + (0 - 3). Suppose 204 + 272 = h*a. Does 11 divide a?
False
Suppose 4*g - 2*n - 422 = 0, g - 4*n - n - 119 = 0. Let x be 2/(-17) + (673500/255)/10. Suppose x = 108*r - g*r. Is 11 a factor of r?
True
Let b = 258 - -9. Suppose -5*l + b = -r - 0*r, l - 3*r = 59. Does 53 divide l?
True
Suppose 2*k = -6 - 2. Let d be (-4 - 10/(-3))*(k - -1). Suppose 5*j - q = 15, 3*j - d*q - 24 = -8. Is 2 a factor of j?
True
Let y(i) = -16*i**2 - 1811*i + 275. Is y(-111) a multiple of 69?
False
Let u(o) = 173*o**3 - 3*o**2 - 8*o + 22. Does 106 divide u(3)?
False
Does 15 divide 0 + -8 - 25/(275/(-72061))?
False
Is 8 a factor of 1/(-2) - (-1)/12*10002?
False
Suppose d + 721 = 2*d + 3*v, -2*d + 3*v + 1397 = 0. Suppose p - 3*p = -j + d, -5*p + 2798 = 4*j. Suppose -3*n + 72 + j = 0. Does 46 divide n?
False
Suppose 5*g = g, -102 = 2*z - 3*g. Suppose 62*i - 5*o - 1607 = 53*i, -3*o + 24 = 0. Let f = z + i. Is 6 a factor of f?
True
Suppose 12*r + 30684 = 128544. Does 117 divide r?
False
Let r = -6302 + 11792. Does 6 divide r?
True
Suppose -4*n - 31 = -r, 0 = 2*r + n - 0 - 71. Suppose -3*c - r = -41. Is 49 a factor of (0 - -62) + c + (-8 - -2)?
False
Suppose 2*n + 3 = -h, -4*n - 22 = -6. Suppose 4*t - 5*p = 21, h*p - 3 = -t - 4. Suppose -t*o + 944 = 4*o. Is o a multiple of 13?
False
Let c = 328 + -129. Suppose -c*s + 206*s = 3094. Is 26 a factor of s?
True
Let x(o) = -158*o + 131. Let g be x(-4). Suppose h - g = -5*a, 4*h - 303 = -3*a + 2749. Is 67 a factor of h?
False
Suppose -11*a + 1790 = -9*a. Let f = a - 639. Does 30 divide f?
False
Let b(t) = -2*t**3 - 19*t**2 - 11*t. Suppose 2*a + 5 = -5*k, 3*k + 4*a + a = 16. Let r be -2 - 5 - k - 5. Is b(r) a multiple of 3?
True
Let q(l) = 43*l + 36. Let b be q(-8). Let f = -77 - b. Is f a multiple of 11?
True
Suppose -4*l = 20, l = 5*s + 5*l + 5. Suppose -2*j = 4*f + 30, 0 = 2*f + s*j + 6 + 11. Is 8 a factor of (-11 - f)/((-1)/2)?
True
Suppose 70*l - 13257104 = -98*l - 119*l. Is l a multiple of 8?
True
Let d(x) = 2224*x**3 + 2*x**2 - 6*x + 4. Let k be d(1). Suppose -3*a - k = -7390. Does 14 divide a?
True
Let q(x) be the second derivative of 11*x**4/12 - 2*x**3/3 + 17*x**2/2 - 20*x. Let r be q(-5). Is (10/(-2))/((-4)/r*3) a multiple of 26?
True
Let q be (864/60)/(-12)*800/6. Let o = q - -234. Does 24 divide o?
False
Suppose -g + 1680 = 5*t, -376*t = 5*g - 381*t - 8340. Is 10 a factor of g?
True
Suppose 5*y - 40 = -0*y. Let m be (y - 2) + -5 + -25. Let w = 95 - m. Is w a multiple of 18?
False
Let h be (-10)/(-15)*(1 - -2). Suppose -x - 3*z = 19, -5*x - 86 = h*z + 22. Let s = x + 49. Is s a multiple of 14?
False
Let n(f) = f**3 - 6*f**2 - 8*f - 7. Let h be (-2)/((-8)/7)*4. Let x be n(h). Let u = x + 30. Is 5 a factor of u?
False
Let u(s) = -29*s + 5. Let b(v) = -v**2 - 14*v + 17. Let k be b(-15). Suppose -2*r + 2 = 4*a, 3*a - 2*r = k*a - 12. Is u(a) a multiple of 9?
True
Suppose -9*p - 77 = 2*p. Does 38 divide (p + -10)/(2/(-14))?
False
Let l be 2 + 2 + 13 + (-6)/2. Suppose -f = 4*d - 7, 10*f - 2 = d + l*f. Suppose -d*r - 23 = -241. Is 14 a factor of r?
False
Suppose 0 = -5*x - 4*p - 85, -p + 68 = -4*x + p. Let j(n) = 2*n**2 + 33*n + 51. Is 2 a factor of j(x)?
True
Let k(u) = 2737*u**2 - 16*u + 15. Is 19 a factor of k(1)?
True
Let i(w) = 1376*w + 3912. Does 121 divide i(27)?
False
Let l be (-10 + 8)*(-1 - (-39)/2). Let q = l - -48. Suppose q*k - 1002 = -210. Does 24 divide k?
True
Let k(r) = -r**2 + 3*r + 20. Suppose x = -3*w + 13, 2*x = -w + x + 1. Let o be k(w). Suppose -o*p + 42 = -3*c, c + 9 = p - 10. Does 15 divide p?
True
Let c(x) = -272*x + 459. Is c(-3) a multiple of 75?
True
Suppose -2*a - 15872 = -358*t + 356*t, 0 = -4*t - a + 31744. Does 16 divide t?
True
Suppose -4*k = -16, 3*k - 1813 = -4*z - 5581. Let t = -551 - z. Does 3 divide t?
False
Let o(s) = 133*s**2 + 3 + 25*s - 5*s + 73*s**2 - 66*s**2. Does 79 divide o(3)?
False
Does 14 divide (9826 - 4) + (-6)/6 + -7?
True
Suppose -3*k - k = -4*p - 13648, 4*k + 5*p - 13630 = 0. Does 27 divide k?
False
Let d = -855 + 656. Let l = -159 - d. Does 10 divide l?
True
Suppose 10*w - 45 = w. Is 2517/7 - (39/7 - w) a multiple of 23?
False
Let m(k) = k**3 - 9*k**2 - 17*k + 14. Let f be m(10). Does 17 divide ((-15)/(-5) + -17)*816/f?
True
Let w = 49 - -36. Is (-2)/20*-2 + 9588/w a multiple of 28?
False
Let l(b) = -368 - 10*b - 4*b + 2*b**2 + 420 - b. Does 6 divide l(8)?
True
Is 63 a factor of (25/((-550)/(-4653)))/((-1)/(-154))?
True
Is 2816*6/(-6)*-1 a multiple of 32?
True
Suppose -70 = 3*i + 4*y, i - 4*i + 2*y - 46 = 0. Let p(w) be the first derivative of -w**4/4 - 6*w**3 - 2*w**2 - 24*w - 18. Is p(i) a multiple of 12?
True
Let m(i) = i - 2. Let h(n) = -n - 2. Let u(k) = -k - 4. Let v(q) = -4*h(q) + 5*u(q). Let y(c) = 2*m(c) - v(c). Does 10 divide y(8)?
False
Let m = 33346 + -17223. Is 23 a factor of m?
True
Let w be -516 + (-6)/6 + 1. Let m = -279 - w. Is 15 a factor of m?
False
Suppose 4*t - 36 = -4*j, -6*j - 5 = -7*j. Suppose 83 = -t*w + 447. Is 13 a factor of w?
True
Let w(i) = -i**2 + 12*i + 6. Let h be w(8). Suppose u = 2*q + 3, -h = u - 3*u - 4*q. Suppose u*d - 95 = 10*d. Is d a multiple of 19?
True
Let i(p) = 149*p - 34*p + 0 - 3 - 68*p + 6. Let a be 1*(1 + 0 + 0). Is 5 a factor of i(a)?
True
Let z = 8619 - 8209. Does 7 divide z?
False
Suppose -8*l - 99 + 11 = 0. Let t be (1/(-6))/(((-11)/(-6))/l). Suppose -47 - t = -a. Does 8 divide a?
True
Let z = 6866 - 2184. Does 4 divide z?
False
Suppose 163*j - 1170 = 168*j. Let h = -175 - j. Is h a multiple of 28?
False
Let i(o) = 11*o**2 + 3*o - 18. Let v be (2/(-12)*-2)/((-2)/(-6)). Suppose -5*y - 2*t + 23 = 0, 6*t - v = 5*y + 2*t. Is i(y) a multiple of 30?
True
Let z(d) = -82*d + 2 + 82*d - 11*d**3 - 2*d**2. Let p(b) = 11*b**3 + 2*b**2 - b - 2. Let j(w) = -5*p(w) - 6*z(w). Does 26 divide j(2)?
True
Suppose 17*v = 34425 - 9435. Is 49 a factor of v?
True
Suppose 330*j - 325*j + 69888 = 6*f, -5*j = -5*f + 58240. Is 56 a factor of f?
True
Let w = 1617 + -2383. Let q = -280 - w. Is q a multiple of 9?
True
Suppose 64 = 4*a + 4*i - 4