596. Is c a multiple of 13?
False
Let s be 2/6 - -2*(-8)/(-6). Suppose 15*l - 12*l + s = 0. Is 5 a factor of (l/(-2) + -2)*20/(-3)?
True
Let h be 9*-3*(-8)/24. Suppose -h*i + 13631 + 157 = 0. Is i a multiple of 13?
False
Is -3*256/(-84) + (-15)/105 a multiple of 5?
False
Suppose 0 = -2*q - 4*q + 252. Suppose -5*v + 15 = 0, 5*c + 2*v = -98 - 71. Let o = q + c. Is 5 a factor of o?
False
Suppose -s = 3*g - 1691, -4*s + 669 = -5*g + 3459. Let y be (1 + (42 - -4))/((-58)/12 - -5). Let o = g - y. Does 14 divide o?
True
Suppose -2*f - 4*c + 528 = -3*f, 5*f + 2703 = -c. Let n = f + 1662. Does 22 divide n?
True
Suppose 4*n - 5*d - 3256 = 0, -3*n + 4041 = 2*n + d. Suppose 0 = 2*u - w - 647, -153 = 2*u + 2*w - n. Is 25 a factor of u?
True
Let h = -13629 - -24543. Is 8 a factor of h?
False
Let i(c) = -c**3 - 3*c**2 - 3*c + 3. Let t be i(-2). Let j(x) = 6 - t - 7 + 156*x + x**2 - 149*x. Is 19 a factor of j(8)?
True
Suppose z - 3*n - 11 = 11, 5*z + 4*n - 167 = 0. Suppose -z*v = -38*v + 2884. Is v a multiple of 16?
False
Let y(o) = o**2 - 4*o - 10. Let v be y(6). Suppose -2*h + 22 = 2*j + v*h, 2*j + 2*h = 18. Let d(x) = 3*x**2 - 11*x + 2. Is 9 a factor of d(j)?
True
Let c be (-11)/(-2) - 1/2. Let a be (-5930)/(-6) + -1 - 1/3. Does 12 divide 4/c - a/(-35)?
False
Suppose -3*d + 5*k = -4789, -d - 2313*k + 2317*k = -1608. Does 2 divide d?
True
Suppose -4*p - 2299 + 9001 = -3*l, -2*l = -12. Is p a multiple of 6?
True
Let v = -275 + 1475. Is v a multiple of 8?
True
Suppose -2*s + 8 = -0*s, s = -i + 16948. Does 16 divide i?
True
Let f(a) = -4*a**3 - 2*a**2 - 2*a + 2. Let u(d) = -d**3 + 3*d**2 - 2*d + 4. Let y be 2/(-2)*-6*1/2. Let s be u(y). Does 15 divide f(s)?
True
Suppose 8*o - 201506 - 66022 = 0. Is o a multiple of 52?
False
Let v(m) = 430*m**2 - 40*m + 161. Does 72 divide v(5)?
False
Suppose -515*g - 1738595 = -610*g. Is g a multiple of 3?
False
Suppose -5*w + m + 442609 = 0, 2*w - m - 177046 = -0*w. Let p = w - 45096. Is 11 a factor of p/300 + -1*1/(-4)?
False
Is 5*(-20562)/(-30) + -3 a multiple of 16?
True
Let t be 2/6 + (-2360)/177. Is 2 a factor of (t + -4)*((-5 - -3) + -1)?
False
Suppose 3*z - 2357 = -2*m + 6*m, -4*z = 5*m - 3153. Let x = z - 115. Suppose x = 5*o - 4*q - 212, 5*o = -2*q + 908. Is o a multiple of 30?
True
Let u be (135/(-36))/(81801/(-27264) - -3). Suppose -a = -33*a + u. Is a a multiple of 14?
False
Let f = -21407 - -32079. Suppose 6*c - f = -23*c. Is c a multiple of 8?
True
Suppose -5*w = 5*n + 1245, -6*w = -3*w - n + 759. Is w/(-49)*(-420)/(-8) a multiple of 23?
False
Suppose -249 + 277 = 2*t. Is 48 a factor of (-21)/t*-2*109?
False
Let f = 28909 + -19757. Does 11 divide f?
True
Let k(a) = -7463*a - 3303. Is k(-4) a multiple of 191?
True
Suppose -8*n = 5*n - 156. Suppose 9*v = n*v - 516. Does 42 divide v?
False
Let m(b) = -25 + 11*b**2 + 11*b + 15*b**2 - 12*b**2 + 9*b. Is m(5) a multiple of 25?
True
Suppose -v - 2 - 38 = n, 38 = -v - 2*n. Let o = v + 66. Does 2 divide o?
True
Let z = 225 + -202. Suppose -z + 8 = -w. Is 5 a factor of w?
True
Let a be (6/(-18) + 11/15)*40. Suppose -a*x = x - 272. Does 2 divide x?
True
Let z(q) = 387*q**2 - 7*q - 4. Let r(x) = -258*x**2 + 5*x + 3. Let l(p) = 7*r(p) + 5*z(p). Let a be l(-1). Let m = a - -116. Is m a multiple of 11?
False
Suppose -3*j = -3*i - j + 117, i - 4*j = 29. Let y = i - -26. Suppose -1716 = y*r - 73*r. Is 17 a factor of r?
False
Is 31 a factor of (11 + (-465)/(-45))/((-6)/(-2367))?
False
Suppose 0 = -4*x - 5*q + 151230, 5*x + 28546 = 3*q + 217528. Is 239 a factor of x?
False
Let r be -16*(-259 - (-3 - -10)). Suppose -34*t - r = -53*t. Is 32 a factor of t?
True
Suppose 4*r = -b + 312, -5*b + 9*b = 3*r - 215. Let m = r + -13. Does 23 divide m?
False
Let j be (-6)/(-3) + 3429/3 + -5. Suppose 0 = 36*g - 51*g + j. Is 38 a factor of g?
True
Let c be 2 + 4/4 - -2. Suppose -y = c*y - 300. Is 10 a factor of y?
True
Let c = 9 - -4. Suppose c*n = n + 564. Suppose 0 = 49*s - n*s - 130. Is s a multiple of 13?
True
Suppose s = -4*n + 417, -3*n = -36 + 24. Is 18 a factor of s?
False
Let p be (-5)/((-175)/(-21))*-15. Suppose 0 = -12*b + p*b + 630. Is 10 a factor of b?
True
Let g = -12808 - -24368. Does 20 divide g?
True
Let y(g) = -g**3 + 3*g**2 + 16. Let b be y(4). Suppose b = u + 3*q - q - 13, -q = -5. Suppose u*h = -0*n + 5*n + 255, h = -n + 93. Is h a multiple of 9?
True
Let h = 43 + -43. Suppose -6 = 2*b - h*b. Is (12/(-5))/(b - (-39)/15) a multiple of 2?
True
Suppose 0 = -19*q + 13474 + 21068. Does 18 divide q?
True
Let h(y) = -3*y**3 + 100*y**2 - 2*y + 105. Does 10 divide h(31)?
True
Let n(j) = -j. Let r(y) = 2*y + 11. Let w(l) = 3*n(l) - r(l). Let s = -219 - -212. Is 12 a factor of w(s)?
True
Let r = -11 + 18. Suppose r*g - 130 = 248. Is 27 a factor of g?
True
Suppose -41*c + 1 = -40*c. Is -130*21/(-6)*c a multiple of 35?
True
Let x be (824/3)/2*-3. Suppose 140 = -9*h - 26*h. Does 16 divide x/(-14) + h/(-7)?
False
Suppose k - 4*c - 29 = -2*k, k + 2 = -c. Let s(b) = 11 - 8*b - k*b + 2*b**2 - 27 - 9. Is 12 a factor of s(11)?
True
Suppose -8*f - 888 = -2608. Let w = 294 - f. Does 2 divide w?
False
Suppose -4*u + 2*q = 10, u = 3*u - 5*q - 7. Does 3 divide u/(0 + (-6)/84)?
False
Let s = 208 + -204. Suppose -s*x = 106 - 1450. Is 28 a factor of x?
True
Let r be 29*-1*(7 - 8). Suppose -2*t - r = -1. Is 5 a factor of (t/42)/((-2)/150)?
True
Let c = -88 - -94. Suppose c*n + 164 = -4*w + 3*n, 3*w = -n - 118. Let d = 58 + w. Is d a multiple of 10?
True
Let h = 973 - 774. Is 7 a factor of h?
False
Let f = -386 - -449. Suppose 100 = -4*r + 3*q - 95, -5*r + q = 252. Let y = r + f. Is y a multiple of 4?
True
Let w be -2 - (-9)/(27/15). Suppose 5*f - 69 - 49 = -w*k, -f + k + 22 = 0. Is f a multiple of 4?
False
Is (18/99 - 1175/(-11))*(-3 + 193) a multiple of 6?
False
Let j = -100 - -177. Let u = j - 149. Let f = 183 + u. Is 20 a factor of f?
False
Let z(m) = 773*m - 10474. Is z(22) a multiple of 71?
True
Is (-1 - -17627 - -1) + 1/(15/(-120)) a multiple of 29?
False
Suppose 2*v = -8*w - 5*w + 1878, -2727 = -3*v + 3*w. Is v a multiple of 275?
False
Suppose 581*p - 577*p - 6*z = 128694, -p - 5*z = -32167. Does 21 divide p?
True
Let s be (((-16)/(-6))/(8/(-24)))/(-1). Suppose 3*y + 5*a = -s, y = a + 2 - 10. Does 47 divide y/4 + 1719/18?
True
Let u = -19302 - -70779. Does 216 divide u?
False
Let c(p) = -1600*p - 942. Is 84 a factor of c(-6)?
False
Let i = 14052 - -6886. Is i a multiple of 16?
False
Let b(u) be the third derivative of -u**6/60 - 3*u**5/20 + u**4/6 - 16*u**2. Let w be b(-5). Suppose -w*m + 46 = -19. Is 13 a factor of m?
True
Let d(n) = n**3 + 9*n**2 - 8*n + 2. Let m be d(9). Suppose -9*c - 254 = -m. Does 63 divide c?
True
Let z be (-2 + 1)/(3/(-6)). Let b(r) = -2*r**3 - 3*r**2 + 8*r - 15. Let p(n) = -n**3 - 4*n**2 + 8*n - 16. Let h(f) = -3*b(f) + 2*p(f). Does 11 divide h(z)?
True
Let f(t) = t**2 - 3*t + 11. Suppose -6*x + 112 = -2*x. Suppose 26*a + 12 = x*a. Is 29 a factor of f(a)?
True
Let i(r) = -3*r + 3. Let j(d) = d - 2. Let l be j(-4). Let c be i(l). Does 5 divide ((-26)/(-6))/(133/c + -6)?
False
Is 7 a factor of (-688)/2580 + (-14138)/(-30)?
False
Let i(d) = 22*d**2 + 15*d + 30. Let j(h) = 11*h**2 + 8*h + 15. Let w(g) = 6*i(g) - 11*j(g). Does 20 divide w(-7)?
True
Let x = 1867 + 1481. Does 88 divide x?
False
Suppose 27*p - 6*p - 6448 = -31*p. Is p a multiple of 3?
False
Is 12 a factor of (-93441 - 0)/(-14*108/504)?
False
Suppose 309*x + 10194 = 339*x - 3666. Is x a multiple of 4?
False
Does 4 divide (2 - (-31)/2)*1400/49?
True
Let l be 1*(-54822)/(-54) - (-2)/(-9). Let n = l + -555. Suppose 3*g + 177 = 5*h + 677, 3*g + 5*h - n = 0. Is g a multiple of 16?
True
Let x be (416/5)/(25/125). Let f = x - 256. Is 16 a factor of f?
True
Suppose 0 = 2*y - 4*c - 40, c + 4 = -y + 12. Suppose -y - 38 = -5*h. Suppose 11 = 3*s - h. Is 4 a factor of s?
False
Let q(b) = 104*b**2 - 8*b + 18. Let i(m) = m**3 - 2*m**2 - 8*m + 5. Let r be i(4). Let k be q(r). Is 23 a factor of (-36)/198 - k/(-22)?
False
Suppose -7762*z + 7756*z + 45874 = 2026. Is 12 a factor of z?
True
Suppose 0 = -43*j + 44*j - 10276. Is j a multiple of 7?
True
Suppose 631610 + 1548743 = 175*x + 494578. Is 18 a factor of x?
False
Let n(d) = 43*d - 188. Let o be n(4). Is (0 + o)*56/(-16) + -1 even?
False
Let f be 11/6 + -2 + 2211/(-18). Supp