t a(g) = -2*s(g) + z(g). Is a(16) a multiple of 3?
False
Suppose -o + 486 = -5*p - 181, -3*o + 2*p + 2014 = 0. Does 25 divide o?
False
Let c be (3 - 124/12)*-6. Let m be 8/(-2) - (c - -1). Let u = m - -128. Does 22 divide u?
False
Suppose -331 = -4*a + w, 4*a - 412 = -a + 3*w. Is 3 a factor of a?
False
Let b = 30 - 28. Suppose t - b*t = 3*r - 314, -3*r = -t - 316. Does 15 divide r?
True
Let r = -603 + 1019. Is 32 a factor of r?
True
Is 43 a factor of 1/5 - (-24)/(-20) - -259?
True
Suppose -7*i + 27 = 6. Does 34 divide (270/(-9))/(i/(-6))?
False
Suppose -h - 85 = -5*v, v - 17 = -4*h + 3*h. Suppose -x = -1 - v. Suppose -s + 3*t + x = 4, -2*s + 4*t + 22 = 0. Does 5 divide s?
True
Let v(j) = 4*j**2 - 10*j + 2. Let a be v(4). Suppose s + 4*o + 4 = 0, -o - a = -5*s + 2*o. Is 4 a factor of s?
True
Let w = -16 + 36. Is 92/w + 2/5 a multiple of 5?
True
Suppose -264*y - 6620 = -268*y - 3*f, 4965 = 3*y + 5*f. Is 30 a factor of y?
False
Let b = 2 + -3. Suppose 0*v = -6*v + 6. Is 20 a factor of b + -2 + v + 62?
True
Let m(r) = -r**2 + r + 2. Let z be m(0). Suppose 7*x + t = 2*x + 221, -53 = -x + z*t. Does 45 divide x?
True
Does 14 divide (1 + -4)/(-4 - (-322)/82)?
False
Let j be (-5)/(2/(5 - 3)). Is 4 a factor of (-2 - -14) + j + 3?
False
Suppose 2*l = 30 + 42. Let w = l - 12. Suppose -3*n + 57 = n + 3*t, -n = 4*t - w. Is 12 a factor of n?
True
Does 12 divide (-5)/((-15)/567) - -4?
False
Suppose 2414 = 4*d + 2*r, 3 = -84*r + 83*r. Is 14 a factor of d?
False
Suppose -20 = -2*z + 4*t, 4*z + 2*t + 3 = -7. Let d(f) = -2*f**2 - 10*f**3 - 9*f**2 + 11*f + 8 + 9*f**3 + z*f**2. Is d(-12) a multiple of 10?
True
Let d = -1704 + 2664. Is d a multiple of 6?
True
Let a(x) = 13*x**2 - 8*x + 26. Does 10 divide a(6)?
False
Let l(r) = -5*r**3 + 16*r**2 + 23*r + 30. Let z(b) = -3*b**3 + 8*b**2 + 12*b + 15. Let v(k) = 4*l(k) - 7*z(k). Is v(-6) a multiple of 3?
True
Let a(x) = -x**2 - 22*x - 56. Let m be a(-20). Suppose 0 = -2*j, -r - 5*j + 12 = -0*r. Is (-420)/m - 3/r a multiple of 26?
True
Let k be (-2)/6 + 73/3. Suppose 5*d = -501 - 354. Is -2*4/(k/d) a multiple of 16?
False
Let d(x) = 44*x + 1 - 3 - 2 + 3. Let z be d(1). Let g = z + -22. Is 7 a factor of g?
True
Suppose -6*b = -3*b + 4*s - 16, 3*b + 5*s - 20 = 0. Suppose b = 3*d - 1 - 71. Is d a multiple of 4?
True
Suppose -2*k + 284 = -1146. Suppose -v + 166 = -5*d, 4*v - 8*v = -3*d - k. Is v a multiple of 12?
False
Let p = -13 + 6. Let v(d) = 2*d**2 + 5*d - 8. Let z be v(p). Let j = -35 + z. Is 8 a factor of j?
False
Suppose -3*u + 3 - 15 = 0, 0 = -2*s + u + 1080. Suppose -5*p + s = -i - 466, 5*p - 1012 = 3*i. Is p a multiple of 17?
False
Suppose m + 13 - 5 = 0. Let u = m + 2. Is 3 a factor of u/33 + 268/22?
True
Is 9 a factor of ((-484)/12 + -7)*(-6)/4?
False
Suppose 0 = 2*r + 5*f - 71, -r + 6*r - 155 = -5*f. Suppose 2*q + r - 10 = 0. Let v = q + 19. Is 4 a factor of v?
False
Suppose 0 = -3*u - 2*g + 96 + 511, u - 5*g = 208. Suppose 7 = 5*k - u. Let x = k + -13. Does 18 divide x?
False
Suppose 0 = -2*y - 3*a + 19, 6*y - 2*y + 5*a - 35 = 0. Suppose 2*s - o + 182 = y*s, -130 = -2*s - 5*o. Does 11 divide s?
False
Let y be 3 - 5/(-15)*3. Suppose -67 = y*d - 895. Suppose -3*x = -3*f + d, -205 = -5*f - 2*x + 119. Is f a multiple of 14?
False
Suppose 0 = -765*m + 753*m + 5340. Is m a multiple of 53?
False
Suppose -3*v = -8*v - 50. Let b be 714/(-35) + (-4)/v. Is 9 a factor of 1*8/b*-155?
False
Let c be ((-78)/12)/(1/(-4)). Let p be c/7 - (-14)/49. Does 3 divide 3/6 + 30/p?
False
Suppose 2*o + 1125 = m, 5*o + 2049 = 4*m - 2442. Is 47 a factor of m?
False
Let l(n) = -n**2 + 10*n. Let i be l(10). Suppose 2*o - 4*o + 18 = -5*d, i = -5*d + 20. Is o a multiple of 19?
True
Suppose -55*y = -40*y - 13815. Does 76 divide y?
False
Does 2 divide (-8)/(-28) - 1364/(-28)?
False
Let q = -9 + 11. Suppose -q*z = -2*r - 40, 2*r + 2*z - 5*z = -39. Does 25 divide 7/(r/45)*-5?
True
Let k(o) = -7*o + 119. Is 19 a factor of k(-21)?
True
Suppose -4*q + 628 = n, -q - 300 = -3*q + 3*n. Is q a multiple of 39?
True
Suppose 5*j = 5*n - 40, -3 = 2*j + 3. Let i(u) = u - 7. Let p be i(n). Does 6 divide ((-48)/p)/((-24)/(-16))?
False
Let q = 150 + -100. Let b = q + -27. Is 23 a factor of b?
True
Let w = 18 + -10. Suppose 0 = 16*f - 14*f. Suppose k + w - 19 = f. Is k a multiple of 11?
True
Suppose -i + 2*i = -4*x + 17, 40 = 5*i + 5*x. Suppose -2*g + 2*o = -g - 12, 0 = i*g + 2*o - 36. Is g a multiple of 2?
True
Suppose 0 = 5*h - 34*k + 32*k - 1612, 5*h - 1616 = k. Is 6 a factor of h?
True
Let q = -1165 - -1627. Is q a multiple of 7?
True
Suppose 0 = -60*u + 56*u + 2564. Does 39 divide u?
False
Let u = -626 - -1040. Is u a multiple of 31?
False
Suppose 10*f - 25*f + 5520 = 0. Is 16 a factor of f?
True
Let o(j) = j**2 + 10*j. Let m be o(-12). Suppose -h = -3*h + m. Is 6 a factor of h?
True
Suppose 2*x = -x + 9. Suppose -x*i + 4*i + 107 = 0. Does 15 divide i/(-7) - (-4)/(-14)?
True
Suppose -u + 3*f + 1187 = -0*u, 2*f - 3572 = -3*u. Suppose 3*g = -4*g + u. Does 34 divide g?
True
Let g(j) = 11*j**3 - 12*j**2 + 7*j - 9. Let b(n) = 5*n**3 - 6*n**2 + 3*n - 5. Let h(x) = 13*b(x) - 6*g(x). Is h(-8) a multiple of 47?
True
Let c(d) = 2*d**2 + 11*d - 118. Is 7 a factor of c(11)?
True
Suppose -5*m - 9*m + 910 = 0. Is m a multiple of 4?
False
Suppose -2*i + 117 = -5*t, -8*i - 4*t = -3*i - 342. Let a = 77 + -31. Let p = i - a. Is 6 a factor of p?
False
Suppose 0 = 5*c + 2*g + g - 170, 4*c - 4*g = 104. Let r = c - -7. Suppose -4*a = -5*s + 198, 5*a - r - 19 = -s. Is s a multiple of 21?
True
Suppose -h = -6 - 25. Let i = -13 + h. Does 3 divide i?
True
Suppose -6*v + v + 5*x = -525, -3*v - 5*x = -307. Let g = v - 52. Does 26 divide g?
True
Suppose 4*b + 17 = h + 4, 4*b - 65 = -5*h. Suppose 175 = z - h. Is 15 a factor of z?
False
Let u(s) = s**3 - 7*s**2 + 7*s - 9. Is u(7) a multiple of 4?
True
Let k = 88 - -22. Let s = -52 + k. Is 33 a factor of s?
False
Suppose -3*a - 12 = 0, -32 = -t - 3*a + 32. Is 2 a factor of (2 + t/(-8))*6/(-9)?
False
Let u(h) = 15*h**3 - 2*h**2 + h - 2. Let x be u(2). Suppose 0 = -7*z + 42 + x. Does 8 divide z?
False
Suppose 2*j - 220 - 4 = 0. Is 8 a factor of j?
True
Suppose 0*q - 2*t + 2 = 3*q, -2*t - 18 = -2*q. Suppose -4*y + y + 91 = -q*f, -4*y = 2*f - 92. Suppose 4*z - 19 = y. Is 8 a factor of z?
False
Let d be (-1)/(-1) - (-13 - 1). Suppose 3*b + 2*v = -17, 21*b = 23*b + 4*v + 22. Is 5 a factor of b + -9*(-55)/d?
True
Let u = 23 - 15. Suppose 161 = 4*v - 523. Suppose u*w = 45 + v. Is w a multiple of 9?
True
Let g = -13 - -18. Let z(u) = -4*u**2 - 2 + 37*u**3 + 2*u**2 + 3*u - 38*u**3 + g*u**2. Is 4 a factor of z(3)?
False
Is 7 a factor of (-7)/((-290)/36 - -8)?
True
Let b = 61 + -59. Let l(w) = 28*w**2 - 6*w - 1. Is 11 a factor of l(b)?
True
Suppose -14 = -4*k - 3*z + 3, 4*k - 4*z = 52. Let y(n) = 6*n**2 - 5*n**3 + 4*n**3 - 12*n + k*n + 4. Is 7 a factor of y(3)?
False
Let a(x) = 2*x - 12. Let j(v) = v**2 - 2. Let f be j(3). Let g be a(f). Suppose -3*z = g*z - 150. Does 10 divide z?
True
Suppose 0 = 3*k - 964 + 4. Suppose 2*o = 4*t + 235 - 81, -2*t - k = -4*o. Is o a multiple of 14?
False
Suppose -5*i + 608 = -52. Suppose 0 = b - 5*u - i, -4*u - 341 = 2*b - 5*b. Is b a multiple of 33?
False
Let u(p) be the third derivative of -7*p**4/12 - 2*p**3/3 + 3*p**2. Is 40 a factor of u(-6)?
True
Let v = -586 + 1666. Is 12 a factor of v?
True
Suppose r = -4*j + 6*j - 745, 2*j + 4*r = 720. Is 10 a factor of j?
True
Suppose 180 = 2*h + 24. Is 13 a factor of h?
True
Let c be 0 + 6 - 99/11. Suppose 4*d - 20 = -5*o + 21, -7 = -d + 2*o. Is 57/d + (-2)/c a multiple of 2?
False
Let t be (-1 - -5)/(0 + -2). Let n be 3 - (0 + t + 1). Suppose -n*v + 6 = -18. Is 3 a factor of v?
True
Let v(y) = -26*y - 28. Does 16 divide v(-6)?
True
Let r(n) = n**2 + 5*n - 31. Is r(-14) a multiple of 11?
False
Suppose 11*t - 75 = 8*t. Is 26 a factor of 2780/t + 4/5?
False
Suppose 2*u + 5*o + 4 = 0, -o + 7 = 5*u + 3*o. Suppose -u*k - 2*k = -15. Suppose 237 = 4*h - k*t, 4*t + 56 = -0*h + h. Is h a multiple of 10?
True
Let n be 14/(((-2)/(-1))/(-1)). Let b be (n - -7)/((-2)/1). Suppose 2*c - 8 = b, -c + 0*c = -2*y + 116. Is 30 a factor of y?
True
Let v = -35 - -40. Suppose 24 = -v*o + 104. Does 8 divide o?
True
Let q(p) = -p**2 - p - 1. Let v(m) = -10*m**2 - 7*m - 3. Let l(z) = 5*q(z) - v