et n(i) = -i**3 + 7*i**2 - 9*i - 4. Let f be n(5). Is 13 a factor of 1 + f + 1 - -40?
False
Let b be -90*3/((-15)/2). Let h = -30 + b. Is 4 a factor of h?
False
Suppose -11*a + 494 = -6*a + x, 5*x - 314 = -3*a. Is 29 a factor of -7 + 9 + -2 + 0 + a?
False
Let w = 1592 + -457. Is w a multiple of 34?
False
Let m be ((-3)/(-3) - 3) + 6. Let x be (m/(-6))/((-2)/9). Suppose 5*k = 3*y + 94, 2*y - x - 8 = -k. Is k a multiple of 17?
True
Is 6 a factor of (-5)/35 - ((-297)/21 - 4)?
True
Let y = -28 + 11. Let v = y + 21. Suppose -v*q + 132 = 8. Is q a multiple of 10?
False
Suppose -3*x = 4*p + 41, 7*p + 45 = -3*x + 4*p. Let z = 7 - x. Does 4 divide z?
False
Let i(q) = -43*q + 436. Does 7 divide i(-13)?
False
Does 49 divide (112/(-40))/(11/(-770))?
True
Let h be (-1)/(-5) + (-74)/(-5). Suppose 135 = h*n - 12*n. Is n a multiple of 9?
True
Let k be (2/6)/(2/222). Suppose k = r - 95. Suppose 0 = -3*x + 3*n + r, 4*x = 3*n + 100 + 74. Does 14 divide x?
True
Suppose -22*j = -3691 + 831. Is 9 a factor of j?
False
Is 11 a factor of ((-1500)/(-2))/((-45)/(-30))?
False
Let l(j) = -j**3 - 3*j**2 + 2*j - 4. Suppose 0 = -5*b - 23 + 3. Let n be l(b). Let v(o) = -o**2 + 5*o + 2. Does 6 divide v(n)?
True
Let s(b) = 93*b - 50. Let q be s(25). Is (q/3)/13*3*1 a multiple of 25?
True
Let b(o) = -o**3 - 12*o**2 - 19*o + 12. Let l be b(-10). Suppose -4*p + 448 = -5*h, l*p - 347 = 3*h - 121. Is p a multiple of 22?
False
Let y(o) = o**2 - 10*o + 7. Let g be y(12). Suppose 2*w - 5*w - 5*q = -g, -3*w = 3*q - 21. Suppose 0*v - w*v + 2*a = -78, a = 2*v - 79. Is 20 a factor of v?
True
Is 4826/14 - (1 - 63/49) a multiple of 23?
True
Let u = 367 - 331. Is 9 a factor of u?
True
Let s(o) = 2*o - 11. Let d be s(8). Suppose -3*v - 12 = -2*i, d*v + 7 + 3 = 0. Suppose 3 = i*f, 0 = -2*m + m + f + 74. Is 20 a factor of m?
False
Let c(l) = -l**2 - 20*l + 511. Is 3 a factor of c(-33)?
False
Let o be 5*(1 - 0/(-1)). Suppose 198 = o*u - 2*u. Is u a multiple of 22?
True
Suppose h - 2*h = -3*h. Suppose h = -5*z + n + 93, 76 = 5*z - 5*n - 29. Is z a multiple of 9?
True
Let y(o) be the second derivative of 2*o**4/3 - o**2/2 - 5*o. Let t be y(-1). Let r(i) = i**2 + 3*i - 5. Does 32 divide r(t)?
False
Let c = 625 + -578. Is 2 a factor of c?
False
Suppose 6 = 3*x, -4*f - x + 1001 = -1261. Let k = -340 + f. Is 23 a factor of k?
False
Suppose 5*r - 2*g = 12, -5 = -3*r + 3*g + 4. Suppose -5*d = -12 + r. Suppose 67 = d*u - 2*h - h, 2*u - 85 = -3*h. Does 19 divide u?
True
Let a = 6 - 2. Suppose -3*t + 63 = a*t. Does 3 divide t?
True
Suppose 0 = 13*s - 6326 - 2371. Is 14 a factor of s?
False
Suppose 5*q - 1039 = 206. Suppose -5*c + 3*c - 3*s = -q, 375 = 3*c + 3*s. Is 18 a factor of c?
True
Suppose 4*m - m = -42. Let l = 50 - m. Suppose -8 = -3*d + l. Is 12 a factor of d?
True
Let v(s) = s**3 - 5*s**2 - 2*s + 10. Let c be v(5). Suppose o - 3*b = -8, 6 = -3*o + 3*b - c*b. Does 16 divide (o - -1)*-1 - -34?
True
Let o = -65 + 54. Let f(v) = -v - 6. Is 2 a factor of f(o)?
False
Suppose -2 + 18 = 4*j, 0 = -5*q + 5*j + 20360. Is q a multiple of 33?
False
Let w be 16/10 + (-6)/15*-1. Suppose -2*v + 4*t + 212 = w*v, 175 = 3*v + t. Does 19 divide v?
True
Suppose 0 = -9*q + 11 - 92. Let s(p) = p**2 - 9*p + 8 - 2*p**2 + 2. Is s(q) a multiple of 9?
False
Suppose -83*j + 79*j = -8664. Does 99 divide j?
False
Suppose 5*y + 4*g - 2082 = 0, g + 807 = -4*y + 2477. Is 11 a factor of y?
True
Let u(m) = 11*m**3 + 4*m**2 + 10*m - 37. Is 4 a factor of u(3)?
False
Suppose -3*a + a + 2 = 0, -3*a = -5*m + 362. Let i = m + -12. Does 39 divide i?
False
Let c be 2/(-3)*(-120)/(-16). Let g = c - -7. Does 5 divide (1 - 21)*(-1)/g?
True
Suppose 0 = -2*y + 6 + 4. Suppose -2*h - y*g = -3*g - 94, -5*h + 231 = 3*g. Suppose m - h = -0*a - 2*a, 4*a - 12 = 0. Is m a multiple of 13?
True
Suppose -16*x + 10 = -14*x. Let g be 21/(-35) + 503/5. Suppose -x = 5*n + 5, -5*n - g = -5*r. Is 5 a factor of r?
False
Let w(x) = x - 1. Let s(y) = -8*y + 14. Let d(p) = s(p) + 3*w(p). Is d(-5) a multiple of 9?
True
Let a be (-428)/(-18) - 4/(-18). Is 6 a factor of (-466)/(-8) + 18/a?
False
Is ((-29568)/220)/((-2)/10) a multiple of 12?
True
Suppose 31*m - 4460 = -1856. Is m a multiple of 3?
True
Suppose 3621 = -28*g + 29157. Is 76 a factor of g?
True
Does 17 divide (-1649)/(-68) + -1*(-2)/(-8)?
False
Suppose 0 = -o - 3*o + 28. Suppose o*z = -4*z + 1947. Is 30 a factor of z?
False
Suppose 1926 = 3*t - 5*w, 2*t - 881 = -4*w + 381. Does 13 divide t?
True
Let c(p) = -6 + 6*p + 4*p - 4 - 2*p. Is c(2) a multiple of 2?
True
Let z(w) = w - 11. Let q be z(6). Is (-8)/3*q/(-2)*-3 a multiple of 10?
True
Suppose -2*h + 823 + 1777 = 0. Is 20 a factor of h?
True
Suppose -14 - 25 = 3*p. Let h(q) = 7*q + 6. Let m(i) = 14*i + 13. Let l(g) = p*h(g) + 6*m(g). Is l(-4) a multiple of 7?
True
Let d = -4 + 1. Let r be 60 - ((-3)/(-3) - d). Suppose 2*s = -5*h + 31, -r = -2*s + 4*h + 2. Is 4 a factor of s?
False
Let f = -1382 + 2678. Is 12 a factor of f?
True
Suppose -6*a + 4*a + 4 = 0. Suppose 3*u = -5*z + 53, 3*z + 7 + 22 = a*u. Is 5 a factor of u?
False
Let n(u) = -19*u - 9. Let h be n(-7). Let t be (-2)/(-11) - h/(-44). Suppose -2*a + t*a - 28 = 0. Is a a multiple of 6?
False
Let w(x) = -67*x**3 + x**2 + 2*x + 1. Let t(q) = -20*q**2 + 2*q + 2. Let d be t(-1). Let y be (8/20)/(8/d). Is 11 a factor of w(y)?
False
Let f(t) = 4*t**2 + 16*t + 60. Is f(-5) a multiple of 5?
True
Suppose 20*b - 420 = 25*b. Suppose -5*w + 472 = -313. Let v = b + w. Is 15 a factor of v?
False
Suppose 5*r - 7 - 18 = 0. Let o(t) = -3*t**3 + 43*t**2 - 21*t + 30. Let d(j) = j**3 - 15*j**2 + 7*j - 10. Let h(w) = -17*d(w) - 6*o(w). Is 15 a factor of h(r)?
True
Let c(p) = -5*p**3 - 2*p**2 + 2*p - 4. Let x(o) = -6*o**3 - 3*o**2 + 2*o - 5. Let d(n) = 5*c(n) - 4*x(n). Let r be d(-2). Does 9 divide (r/8 - 3)*-24?
True
Suppose 4*u - 4*n + 62 = -u, -5*u + 5*n = 65. Is u/3*(-9)/2 a multiple of 5?
True
Let j(u) = u + 9. Suppose 0 = -5*g + 5 + 45. Let r = g - 5. Does 7 divide j(r)?
True
Let o(l) be the second derivative of -l**5/20 - 17*l**4/12 - 7*l**3/2 - 19*l**2/2 - 11*l - 2. Let a be ((-40)/(-15))/(1/(-6)). Is o(a) a multiple of 19?
False
Let x be (30/4)/(-5)*8/6. Does 12 divide 860/12 - x/6?
True
Suppose -3*a - a - 56 = 0. Let s(c) = c + 26. Does 2 divide s(a)?
True
Let d(l) be the first derivative of l**4/4 + l**3/3 - 2*l**2 - 12. Is d(2) a multiple of 3?
False
Let r(x) = -x**3 - 7*x**2 + 9*x + 1. Let f be r(-11). Let d = f - 242. Is d a multiple of 21?
False
Let j(f) = -f**3 + 12*f**2 - 6*f + 8. Is 6 a factor of j(4)?
False
Suppose -12*y + 10*y = 4. Let k be (y/1)/((-26)/1833). Suppose k = 6*p - 129. Does 15 divide p?
True
Suppose -3*a = 4*n - 3941, -1724 = -2*n - 2*a + 246. Is n a multiple of 69?
False
Let d = -24 - -106. Let m = -69 + d. Does 9 divide m?
False
Let q = -11 + 9. Let v be q/((-3 + 2)*1). Let o = 3 + v. Is 5 a factor of o?
True
Suppose 3*d - 5*m = 9, d + 0 = 2*m + 3. Suppose x - 44 = -d*x. Is 6 a factor of x?
False
Suppose -5*b - 6*m + 305 = -m, -4*b + 236 = -4*m. Let l = 138 - b. Is l a multiple of 13?
True
Suppose 3*i - 21 = -57. Let q(z) = z**2 + 16*z + 12. Let m be q(i). Is 3 a factor of 6/m + 37/6?
True
Suppose 402 - 16 = 5*c - 3*k, -2*c - 5*k + 173 = 0. Is c a multiple of 22?
False
Is (1728/(-42))/((-3)/14) a multiple of 28?
False
Let j(d) = 3*d**2 + 7*d - 14. Let s(z) = -7*z**2 - 13*z + 29. Let r(n) = -9*j(n) - 4*s(n). Let q be r(10). Is (-2)/1 - (q + -10) a multiple of 4?
True
Suppose 2*t - 3*n + 40 = -2*t, t - 3*n = -10. Is (40/(-14))/(t/385) a multiple of 55?
True
Let n(q) = -q**3 + 26*q**2 + 40*q - 32. Does 11 divide n(27)?
True
Let c = -12 - -15. Suppose 5*q - c = -3*i, -i + 3*q + 2 = -13. Suppose -3*a + i*a - 63 = 0. Is 15 a factor of a?
False
Let d = 24 - 19. Suppose d*c - 4*c - q = 56, 0 = -4*c - 2*q + 224. Does 28 divide c?
True
Is 26 a factor of (-7 - 11285/(-15))/(4/6)?
True
Let y be (-2)/(1 - (-21)/(-15)). Suppose 2*o - 2*g + g - 79 = 0, -3*o - y*g = -125. Is o a multiple of 10?
True
Let h be 1/2*(-5)/((-15)/12). Let t = -2 - -6. Suppose 0 = -t*c - r + 38, h*c + 3*c = 2*r + 41. Does 3 divide c?
True
Suppose 7*g + 834 = 295. Let p = g + 136. Does 8 divide p?
False
Suppose 0 = -p + 5 - 0. Suppose -p*a + 11*a = -12. Let w(l) = -32*l + 1. Does 32 divide w(a)?
False
Suppose 0 = -4*w + 8