 Let n be 0/(-2)*(-4 - x). Let r(g) = 2*g**3 + g + 15. Is 5 a factor of r(n)?
True
Let f be ((-51)/(-2))/(3/6). Suppose u + 8 - 33 = 4*n, 3*u - f = 4*n. Does 13 divide u?
True
Let y(r) be the third derivative of 13*r**5/20 + r**4/12 - r**3/6 + 2*r**2. Is y(-1) a multiple of 36?
True
Let u = -583 + 1442. Does 9 divide u?
False
Let c(l) = -67*l - 124. Is 81 a factor of c(-15)?
False
Let x(m) = -m**3 - 6*m**2 - 6*m - 2. Let y be x(-5). Suppose 3*b - 4*v - 13 = 8, 15 = 3*b - 2*v. Suppose -u = -5, b*u - 28 = y*n - 4*n. Does 9 divide n?
False
Let w = -23 - -23. Suppose 0*m - 36 = -m + q, 4*m + 5*q - 108 = w. Does 8 divide m?
True
Suppose 0 = -3*n + 7 + 5. Suppose -n*p - 7 = -5*j, 5*p + 2*j = 3*j + 7. Is 5 a factor of (135/(-18))/((-1)/p)?
True
Suppose 47*i = 28*i - 114. Let n(y) = 14 + 3*y**2 + 1 + 7*y - y**2. Does 15 divide n(i)?
True
Let k(w) = -4*w + 6. Let g be k(1). Suppose g*m = -m - 4*u + 229, 0 = 3*m + u - 226. Does 11 divide m?
False
Suppose -22*c = -34*c + 9744. Is c a multiple of 14?
True
Suppose 39*w - 42*w = -4*q + 2989, 4*w = 2*q - 1492. Is 17 a factor of q?
True
Suppose -32*w + 92490 = 5898. Is w a multiple of 11?
True
Is 43 a factor of ((-529)/(-4))/(10/120)?
False
Let m = 44 + -41. Suppose -q = m*q - 276. Is 9 a factor of q?
False
Suppose 2*u = -4*x + 677 - 105, 0 = -x + 5. Is u a multiple of 23?
True
Let x(f) = 5*f**2 - 4*f + 11. Let l(b) = -b**2 - b + 1. Let v(r) = 6*l(r) + x(r). Is 30 a factor of v(-7)?
False
Let j be (8/6)/(6/18). Suppose 3*f = 6*v - j*v + 450, f + 3*v = 161. Is 16 a factor of f?
False
Suppose -4*c + 5 = -3. Is (59/c)/((-1)/(-2)) a multiple of 22?
False
Let z = 37 + 88. Suppose 3*b + 0*b = -3*w + 177, z = 2*b - 5*w. Is b a multiple of 20?
True
Let u = -122 - -59. Let p = 9 - u. Is 36 a factor of p?
True
Suppose -4*m = -9*m + 130. Let l = m + 16. Is l a multiple of 21?
True
Suppose k = 8 + 2. Let n be 2/k - 8/(-10). Suppose -2*r + 15 - n = 0. Is r a multiple of 2?
False
Suppose 0 = 5*u + 30 - 190. Let w(s) = s**2 - 9*s - 2. Let p be w(7). Let f = u + p. Is 4 a factor of f?
True
Suppose -3*p = -3, -5*g + 10*p - 5*p = -30. Let j(o) = -o**3 + 9*o**2 - 2*o + 8. Does 23 divide j(g)?
True
Let i = 10 - 10. Suppose i*g + 20 = 5*g. Suppose 0 = -0*k - g*k + 68. Is k a multiple of 17?
True
Suppose -9 = -2*x - 67. Let a = x - -56. Is a a multiple of 7?
False
Suppose -2*t + 0*t + 18 = 2*y, 2*t = 10. Suppose -2*r - 490 = -4*v + v, -y*r = 8. Is v a multiple of 18?
True
Let w(z) be the third derivative of -z**6/120 + z**5/10 - 5*z**4/24 + z**3/2 + 2*z**2. Let c be w(5). Suppose -34 = v - c*v. Is 4 a factor of v?
False
Let r = 21 - 15. Let p(n) = -r*n**2 - n - 6*n**3 + 2*n**3 + 8 + 3*n**3. Is 5 a factor of p(-6)?
False
Suppose -3*y - 94 = -622. Is 11 a factor of y?
True
Suppose 3*i - 1 - 2 = 2*h, 0 = -h + 5*i + 16. Let q = -96 - -73. Let a = h - q. Is a a multiple of 2?
True
Suppose 0 = 58*u - 59*u + 544. Is u a multiple of 17?
True
Suppose 2*o - 3*r + 10 = 0, -5*o + 3*r - 25 = 5*r. Let g(v) = -25*v + 20. Is 19 a factor of g(o)?
False
Does 16 divide 344/(-7*1/(-14))?
True
Let w = 13 - 13. Suppose w*r - 2*r = -4*o - 8, 3*o = -r - 16. Does 7 divide o - -3 - (-48)/2?
False
Suppose 4*t - 52 = -2*n, -5*t + 11 = -4. Let f = n + -17. Suppose 2 + 2 = u, -5*i + f*u + 163 = 0. Is 8 a factor of i?
False
Let j(i) = 2*i + 1. Let w be j(0). Let k(s) = 38*s**2 - s. Let g be k(w). Let u = g - 8. Is 7 a factor of u?
False
Let c(g) = -g**2 + 7*g + 3. Let r be c(7). Is r/(0 + 3) + 2 a multiple of 3?
True
Let w(z) = 3*z**2 + 15*z + 2. Let f be w(4). Let j = f + -85. Does 5 divide j?
True
Let n(p) = -p**3 - 6*p**2 + 12*p - 19. Let y be n(-8). Let b = 3 + 1. Suppose y + 14 = 2*d + 3*m, 3*m = b*d - 81. Is 4 a factor of d?
False
Suppose 2*w - 5*b + b - 1780 = 0, 3*w = -5*b + 2626. Is w a multiple of 98?
True
Let u(k) = -2*k - 6. Let g be u(-10). Let l = g + -12. Suppose -3*s = o - 99, -96 = -4*s + l*o + 36. Is 20 a factor of s?
False
Is 3 a factor of ((-2)/4 + 75999/(-42))/(-2)?
False
Let a be 700/22 + (-6)/(-33). Suppose -2*x = -a - 136. Is 14 a factor of x?
True
Let f(y) = 2*y**3 + 71*y**2 + 19*y + 112. Does 48 divide f(-35)?
True
Let w be 350/(-30) + 0 + 1/(-3). Let n(k) = k**3 - k**2 - 3*k + 3. Let t be n(2). Is 3 a factor of w/(t - (4 + -1))?
True
Let o be (-8)/(-1) - (-2 + 25/5). Suppose -3*b - g + 32 = 0, -b + g = o*g - 7. Is 11 a factor of b?
True
Let n(r) = -r + 4. Let w be n(-2). Suppose -2*i + 4 = -w. Suppose 0*s = 2*s - 10, -90 = -5*d + i*s. Does 9 divide d?
False
Suppose -4*q = -5*b - 2515 - 160, -5*q - 3*b = -3390. Suppose 36*a - 41*a + q = 0. Is a a multiple of 16?
False
Suppose 1 + 3 = 2*g. Let a(d) = -d**2 - g*d**2 - 9 - 5*d + 4*d**2. Is 25 a factor of a(-7)?
True
Let l = -99 - -231. Does 11 divide l?
True
Let s(m) = 54*m - 6. Let l be s(4). Let u(x) = -x**3 + 3*x**2 + 8*x + 15. Let p be u(5). Suppose -2*w + 79 = -4*g - 83, -3*w = p*g - l. Does 15 divide w?
True
Let c = -874 - -981. Is c a multiple of 12?
False
Let f(m) be the first derivative of -2*m**2 + 2*m - 15. Does 22 divide f(-5)?
True
Let v(w) be the third derivative of w**4/4 - w**3/3 + 36*w**2. Is v(6) a multiple of 3?
False
Let h(z) = z**3 - z**2 + 1. Let k(b) = -2*b**3 + 8*b**2 + 3*b + 2. Let f = -1 - 0. Let n(s) = f*k(s) - 3*h(s). Is n(-5) a multiple of 8?
False
Suppose 48 = 4*w - 7*w. Let r = -31 - -95. Let f = w + r. Is f a multiple of 16?
True
Suppose 0 = -5*v + 7*x - 4*x + 1835, -5*v - 3*x + 1805 = 0. Is v a multiple of 14?
True
Let f(k) = -6*k**2 + 5*k**2 - k**2 + 10*k**2 - k - k**3 + 8. Let q be f(8). Suppose q = 2*m - 23 - 31. Does 9 divide m?
True
Let l(g) = -g**3 - 5*g**2 + 6*g + 5. Suppose q - 16 = 3*q. Does 35 divide l(q)?
False
Let a = 2270 - 1701. Does 12 divide a?
False
Let p = -9022 + 14078. Is p a multiple of 158?
True
Let u(t) = -3*t + 33. Suppose -5*c - 1 + 51 = 0. Is 2 a factor of u(c)?
False
Does 19 divide ((-5 + 6)*-1)/((-5)/3865)?
False
Suppose 3 = 5*m - 2*m. Let r(f) = -f**3 + 1. Let t be r(m). Suppose -d + 80 = -t*d. Is 28 a factor of d?
False
Suppose p - 3*p = -1140. Is 5 a factor of p?
True
Let m(o) = o**2 - 3*o**2 - 3 + o + 4*o**2. Let k = 264 + -260. Does 7 divide m(k)?
False
Let j = -186 + 266. Does 7 divide j?
False
Let w = 1349 - -697. Is 62 a factor of w?
True
Let n = -87 + 311. Does 17 divide n?
False
Suppose v - 4*k = -60, -v - 23 - 23 = 3*k. Let r = 73 + v. Suppose 0 = -2*l + r - 3. Does 5 divide l?
False
Let i be (-4)/(-26) + ((-31180)/(-130) - 11). Let w = -9 - -13. Suppose -4*q + 61 = -4*z + i, 0 = -w*z - 4*q + 176. Does 11 divide z?
False
Suppose -19*y + 16*y + 5*q = -453, 2*q = -4*y + 578. Is 73 a factor of y?
True
Suppose -15*j - 9 = -16*j. Suppose 4*c + u - 292 = 0, 5*c - 4*u + j*u = 365. Is c a multiple of 11?
False
Let p = -6 + 2. Let j = 9 + p. Suppose j*h = 5*l + 4 - 314, 3*l = 4*h + 191. Does 19 divide l?
True
Is 6 a factor of (-23)/(92/(-1904)) + (1 - 3)?
True
Let p(y) = y**3 - 12*y**2 - 19*y + 13. Let a be p(13). Let q = a - -98. Suppose -2*l - l = -q. Is 6 a factor of l?
False
Let t(p) be the third derivative of p**5/60 + p**4/12 - p**3 + 7*p**2. Let c be t(-6). Does 18 divide (-18)/4*(6 - c)?
True
Let z = 47 - 49. Does 8 divide 3 + -1 + (-1)/z*92?
True
Suppose 6345 = 10*t + 5*t. Does 47 divide t?
True
Let d(k) = -2*k + 8. Let x be d(3). Suppose -x*s + 5*s + 24 = 0. Is 6 a factor of 1/2*(s - -32)?
True
Suppose 6*g + 0*g = 102. Let m be 3/2 + 158/4. Let q = m - g. Is 10 a factor of q?
False
Let s(m) = 3*m**2 + 17*m - 95. Is 35 a factor of s(-19)?
True
Let h(f) = -3*f**2 - 5*f - 73. Let d(l) = -5*l**2 - 8*l - 110. Let q(n) = -5*d(n) + 8*h(n). Is q(-7) a multiple of 5?
True
Let r = -561 - -936. Is r a multiple of 39?
False
Suppose -3*i + 12 - 15 = 0. Does 12 divide -48*i/2*(-1 - -8)?
True
Let r(t) = -t**3 - 9*t**2 + 10*t - 5. Let k be r(-10). Let o = -5 - 1. Is 7 a factor of o/(1/k*1)?
False
Does 7 divide ((-147)/9)/((-5)/15)?
True
Suppose 5*a = -3*f - 95, f = 5*f + a + 155. Let y = f + 75. Is y a multiple of 7?
True
Let a(g) = -2*g - 6. Let l be a(-13). Is 22 a factor of 172 + (-5)/(l/12)?
False
Suppose -2*c + 1 + 3 = -3*l, c = 4*l + 2. Let w be (1 - -2 - 3)/c. Suppose -4*d + 108 = -w*d. Is 8 a factor of d?
False
Let i(q) be the third derivative of q**6/120 - 3*q**5/20 + q**4/12 - 5*q**3/3 + 8*q**2. Does 8 divide i(9)?
Tr