 163 divide s?
True
Suppose -29*n = -26*n - 6650 - 1009. Is 111 a factor of n?
True
Suppose -43 = -3*z - 34. Let f be 4/(((-6)/47)/z). Let u = 125 + f. Is u a multiple of 4?
False
Let o(d) be the first derivative of 5*d**2 + 1/4*d**4 - 10 + 8*d - 4*d**3. Is o(12) a multiple of 7?
False
Does 48 divide ((-2)/4 - 7)*(-64)/5?
True
Suppose -2*r - 1810 = -4*s, 0 = -2*s + 5*r + 904 - 19. Suppose -s*g + 320 = -450*g. Is g a multiple of 8?
True
Suppose 0*s + 2434 = 5*h + 4*s, 5*h = -5*s + 2430. Suppose -2*l + h = 3*l - 5*o, 4*o = -l + 98. Let c = l + 132. Does 46 divide c?
True
Suppose 946*w = 938*w + 142528. Does 15 divide w?
False
Suppose 7903 + 48527 = 6*g. Is 99 a factor of g?
True
Let w(h) = -h**2 - 20*h - 16. Let c be w(-9). Let s = c + -63. Does 10 divide s?
True
Let w(t) = -2*t**2 - 8*t - 25. Let z be w(-8). Let p = 35 - z. Does 4 divide p?
True
Suppose 0 = -0*a + 6*a - 156. Suppose -5*t + a = 16. Suppose 4*m + 5*z = 103, -5 = -t*m + z + 36. Is m a multiple of 19?
False
Suppose 0 = -27*k - 65*k + 16*k + 2360104. Does 221 divide k?
False
Let s = 3836 - 2641. Suppose -18*c = -8741 - s. Is 12 a factor of c?
True
Suppose 72*t = 52*t + 55720. Does 14 divide t?
True
Let f = 407 + -434. Does 39 divide (-970)/(-3) - (-9)/f?
False
Suppose 0 = -i - 16*l + 14*l - 456, -5*i = l + 2253. Let k = -33 - i. Does 37 divide k?
False
Let r(a) = 155*a**2 - 333*a - 5. Is r(-7) a multiple of 22?
False
Let i = -17 - 38. Let c be (-4 + -2)*((5 - 6) + -9). Let f = i + c. Does 3 divide f?
False
Suppose 5*n + o + 85 = 0, 4*n - 4*o - 36 = 5*n. Let m = n + 31. Does 16 divide 6/m*(46 + -1) - 2?
True
Let i(h) = 91*h - 50. Suppose -5*u + 4*u - 2 = 0. Let p(y) = -18*y + 10. Let d(j) = u*i(j) - 11*p(j). Does 8 divide d(3)?
False
Suppose b + 3*i = 2 - 6, i = 5*b - 28. Suppose 198 = -b*c + 7*c. Suppose -c + 35 = -4*k. Is k a multiple of 7?
False
Let l(z) = 22*z**2 - 321*z - 12157. Is 302 a factor of l(-39)?
True
Suppose 7*k - 6 = 1. Let g(m) be the third derivative of 79*m**5/60 + m**4/6 - m**3/2 - 2*m**2. Is 8 a factor of g(k)?
True
Let k(d) = -15*d - 10*d + 1609 - 1619. Does 5 divide k(-2)?
True
Suppose -102*s + 97*s - 10 = 0. Is (-2448)/(-17) - (-1)/(s - -1) a multiple of 10?
False
Let v(g) = g**3 - g**2 - 2*g + 6. Let z be v(5). Suppose 2*u - 3*r = 30, 0 = -5*r - 15 - 15. Suppose 2*i + z = u*i. Is 12 a factor of i?
True
Let w(b) = -b**3 + 11*b**2 + 27*b - 8. Let h be w(13). Suppose h*r - 2506 = r - 3*c, 2514 = 4*r - c. Does 5 divide r?
False
Let a = 37692 - 25290. Is a a multiple of 106?
True
Suppose i - 10974 = -2*f, -5*f + 19195 = 5*i - 35685. Does 11 divide i?
True
Suppose 4*p + 9 = -f, f + 0*p = -p. Let s(k) = -5*k + 17. Let a be s(f). Suppose a*j + 473 = 13*j. Is 3 a factor of j?
False
Let l(b) be the first derivative of 69*b**4/4 + 2*b**3/3 + 2*b**2 - 6*b - 259. Is l(2) a multiple of 15?
False
Let k(m) = 3*m**2 - 19*m + 8. Let c(q) = -q**2 + 9*q - 4. Let u(a) = 7*c(a) + 3*k(a). Let i be (-9)/(-15) + 33/(-5). Is u(i) a multiple of 8?
True
Let y(h) = 9*h**2 + 8*h + 40. Let q(k) = k**2 + 37*k + 240. Let f be q(-8). Is 8 a factor of y(f)?
True
Let m be 11/(22/(-2404))*(-1)/2. Suppose -5*d + m = -3*h + 146, -5*h - 289 = -3*d. Does 22 divide d?
True
Suppose -f + 45 = v, -17*f + 5*v + 216 = -13*f. Suppose f*u - 5684 = 35*u. Is u a multiple of 83?
False
Suppose 0 = -3*j - 3, 4*n - 8*n = 5*j - 53295. Is n a multiple of 13?
True
Suppose 36 = 8*a + a. Suppose 3*p = -2*t + 146, -p + 250 = a*p + 5*t. Let o = 17 + p. Does 14 divide o?
False
Let k(n) be the first derivative of n**5/6 + n**4/4 - 7*n**3/2 + 17*n**2/2 + 4. Let w(m) be the second derivative of k(m). Is 23 a factor of w(4)?
False
Let s(q) = q - 12. Let g be s(7). Let j be (g - (-390)/(-7)) + (-2)/7. Let b = j + 105. Is 25 a factor of b?
False
Let o(i) = i**3 + 43*i**2 - 23*i - 176. Does 16 divide o(-32)?
True
Let j be (-14763)/27 + (-14)/63. Let o = -382 - j. Is 11 a factor of o?
True
Let g = -17 - -24. Suppose -16 = 3*s - g*s. Is 14 a factor of (-1)/((-21)/826) + s/6?
False
Suppose -5*r - 378 + 2218 = 0. Is 23 a factor of r/((19/19)/(1 - 0))?
True
Let q be (-32)/(-10) + 35/(-175). Suppose -2*x = -2, -q*z = 18*x - 16*x - 653. Is 7 a factor of z?
True
Let d(w) = -682*w - 6056. Is 9 a factor of d(-14)?
True
Suppose 0 = -a, 3*n - 5*a = 3*a - 5*a + 16428. Does 9 divide n?
False
Let n = -16 - -23. Let g(l) = l**2 - l - 1. Let j(o) = -5*o**2 - 6*o + 19. Let f(p) = -6*g(p) - j(p). Is 22 a factor of f(n)?
True
Suppose 11*w - 385125 = -29597 - 50872. Is 12 a factor of w?
True
Is 3 - (-377)/(-117) - 1335162/(-54) a multiple of 22?
False
Let p(s) = 47 - 5*s**2 - 32*s - 64 + s**2 + 3*s**2. Is 6 a factor of p(-28)?
False
Let o be (3/3)/((-1)/(-4)). Let i be (o - 6) + 5 - -267. Suppose 3*x = -2*x + i. Is 9 a factor of x?
True
Let a(g) = -326*g - 36. Let d(m) = -109*m - 12. Let u(h) = -6*a(h) + 17*d(h). Let q be u(-5). Let c = -273 - q. Is c a multiple of 39?
False
Let w(y) = 6*y - 7. Let d be w(2). Suppose 4*f - d*f = 0. Suppose f = n - 3 - 51. Is n a multiple of 3?
True
Suppose -17*i = 679 - 4623. Is i a multiple of 8?
True
Suppose 0 = -4*o - 3*o + 42. Suppose b + 2*u - 14 = -3*u, b = -u + o. Suppose 2*r - y = 59, -r - b*r = -y - 149. Is 30 a factor of r?
True
Suppose 2*l - 6 = -3*w, -5*w - 2*l + l + 10 = 0. Suppose -2*d = -w*x + 608, 1551 - 355 = 4*x + d. Is 9 a factor of x?
False
Let b = -339 - -340. Let c(v) = 674*v - 23. Is c(b) a multiple of 21?
True
Let i(s) = 11*s + 18. Suppose 19*v - 7*v = 348. Suppose -25*w = -v*w + 56. Is 14 a factor of i(w)?
False
Suppose -385550 = -110*t + 717367 - 150867. Is t a multiple of 9?
False
Suppose 0 = -2*v - 2*z + 47226, -3*v + 61*z = 58*z - 70845. Does 24 divide v?
False
Let g(n) = -6*n**2 + n - 2. Let s(a) = 6*a**2 - a + 1. Let x = -40 - -36. Let k(z) = x*g(z) - 3*s(z). Does 6 divide k(2)?
False
Let f = 535 + -279. Suppose 21*t - 311 = f. Is 2 a factor of t?
False
Let h be (9 - (-25)/4)/(2/(-56)). Let n = h - -617. Does 14 divide n?
False
Suppose -2*j - 2154 = -4*r, -3*r - 4*j + 1781 = 149. Does 19 divide r?
False
Suppose 5*f = -68 + 43. Let i be (-1)/5 - (-29)/f*-4. Suppose -j + 13 = 2*d - 4*j, -i = -d - 4*j. Does 6 divide d?
False
Suppose -3*p = 5*b - 8*p - 25, -4*b = 5*p - 29. Suppose -3*h + n + 707 = 0, 5*h + b*n - 3*n - 1169 = 0. Does 7 divide h?
False
Let m(c) = -47*c + 12*c - 152 + 152. Suppose a - 5*s = -29, -2*a + 11 - 29 = -2*s. Does 10 divide m(a)?
True
Suppose -2462 = -4*u - 3*f + 1371, 0 = -2*u + 5*f + 1949. Does 2 divide u?
True
Let q(w) = 2*w**2 - 92*w + 1911. Is q(-102) a multiple of 41?
True
Let n = 132 - 129. Let f(c) = 6*c**3 - 5*c + 3. Let p be f(n). Let a = p + -145. Is a a multiple of 2?
False
Let x = -202 - -112. Let i = x - -208. Does 59 divide i?
True
Suppose -17098 = -2*l - 2*g, 0 = 4*l + 15*g - 20*g - 34133. Is 23 a factor of l?
False
Let x = 174 - 304. Suppose -2*g + 3*g = 138. Let v = g + x. Does 2 divide v?
True
Let i(u) = 12*u**2 + 11*u - 6. Let c be i(-5). Suppose 5*h = -4*p + 1145, 4*h = -p + 1144 - c. Does 25 divide h?
True
Does 31 divide -12 + 14 + (-60)/28 + 12818/7?
False
Let l(i) = -19*i**3 - 29*i**2 - 63*i + 7. Does 21 divide l(-7)?
True
Let f(i) = -4*i**3 - i**2 - 7*i + 715. Is f(0) a multiple of 55?
True
Let v(y) = 27*y**2 - 72*y + 398. Is 14 a factor of v(6)?
True
Suppose 32*m + 31306 = 332970. Is 17 a factor of m?
False
Let t(x) = -x**2 + 97*x + 2090. Is t(0) a multiple of 5?
True
Let c(u) = 64*u**2 - 147*u + 113. Does 29 divide c(-17)?
False
Suppose -12*s = -16*s - 5*l + 51158, -2*l + 38379 = 3*s. Does 67 divide s?
True
Let f(q) = 27*q + 4140. Is 15 a factor of f(-90)?
True
Suppose 14 + 3 = 3*f + 5*q, -2*f + 4*q + 26 = 0. Let d be 3*2*f/27. Is (d - 0)/((-4)/(-174)) a multiple of 20?
False
Suppose -12*b = -11*b - 4. Suppose 0 = b*o + 3*c - 116, -5*c + 7 + 101 = 4*o. Is o a multiple of 4?
True
Let m be ((-3)/6)/(-1 - (-27)/30). Suppose 0 = -8*i + 3*i + 5*t - 5, 4*t = m*i + 1. Suppose -i = w - 105. Is w a multiple of 17?
True
Suppose 2*x = -2*x - 4*f + 76, 4*x - 101 = f. Suppose 2*t + t = -5*g + x, 2*t - 3 = g. Suppose t*j - 132 = 210. Is j a multiple of 18?
False
Let o = 8062 - 3725. Is o a multiple of 29?
False
Suppose 0 = z + 4*w + 1321, -5*z = -4*w - 0*w + 6629. Let s = -817 - z. Is 9 a factor of s?
False
Suppose -41*j = -228565 + 45664. Is j a m