+ -8. Suppose i*a = j - 34, 3*a + 43 = -a - j. Let p = 24 + a. Is p a multiple of 8?
False
Suppose 0 = 3*n - 5*n + 3*n. Is (-3 + (n + 0)/(-2))*-5 a multiple of 10?
False
Let l = 2 + -10. Let t = l - -9. Suppose 0 = -k + 2*c + 6 + t, -2*c = -2*k + 20. Does 13 divide k?
True
Suppose 5*m + 5*x - 3130 = 0, 1433 = 2*m + 5*x + 193. Does 42 divide m?
True
Let d be (0 - -2 - -21) + 2. Suppose 5*o = d + 20. Suppose -5*p + o*p = 152. Is p a multiple of 12?
False
Suppose 8*n - 967 - 3513 = 0. Is n a multiple of 10?
True
Let j(w) = w**3 + 5*w**2 - 3*w - 5. Let c be j(-5). Is 2 a factor of 10/(c/3) - (-8 + 0)?
False
Suppose -13*s - 15*s + 7392 = 0. Is 11 a factor of s?
True
Let t be 3/24 + ((-47)/(-8) - 1). Suppose 0 = 3*w + 6, 318 = 4*l + t*w - 0*w. Does 22 divide l?
False
Suppose -c + 5*z + 375 = 0, 3*c - 2*c - 4*z = 378. Is c a multiple of 13?
True
Let z(t) = t - 10. Let l be z(6). Let x = l - -141. Does 17 divide x?
False
Suppose -100*f + n + 2560 = -99*f, 5122 = 2*f - 3*n. Is 48 a factor of f?
False
Suppose 3*n - 23 - 580 = 0. Let g = 292 - n. Does 20 divide g?
False
Suppose 4*m + 4*w = 80, 0 = m + 2*w + 3*w - 40. Let a = m - -1. Is 8 a factor of a?
True
Suppose -5*g = 365 - 30. Let b = -32 - g. Is 9 a factor of b?
False
Let b = -28 - -76. Does 4 divide b?
True
Let j be 6*2/(3 + 1). Suppose -13 = -j*u + 11. Does 8 divide u?
True
Let y(p) = p**2 + 15*p - 15. Is y(-23) a multiple of 4?
False
Suppose 4*y = 3*g + 28, -5*y + 11 = -g - 13. Suppose -o - 2*o = 3*a - 564, 208 = o - y*a. Is o a multiple of 24?
True
Let b(g) be the second derivative of 25*g**4/12 - g**2/2 - 47*g. Let f = 0 - -1. Is b(f) a multiple of 8?
True
Let s(u) = 2*u**2 - 9*u - 56. Let x be s(14). Let m be (-42)/(-8) - 1/4. Suppose -m*k - 5*i = -345, -3*i - i + x = 3*k. Is k a multiple of 22?
True
Let o(x) = -x**2 + 10*x + 6. Suppose -2*v = -1 - 19. Does 6 divide o(v)?
True
Suppose 2*n - 36 + 0 = 0. Does 2 divide n?
True
Let m(s) = -s**3 - 12*s**2 + 13*s + 4. Let n be m(-13). Suppose 0 = -n*a - 6 + 54. Is 6 a factor of a?
True
Let c(j) = -j**2 - 6*j + 9. Let t be c(-7). Suppose t*z = -5 + 49. Is z a multiple of 22?
True
Let f(o) = -2*o**2 + 8*o**2 - 5 + 2*o - o**2 + 7*o**2. Is 26 a factor of f(3)?
False
Let n = 1220 + -372. Is n a multiple of 8?
True
Let h be (-30)/(-20)*(0 - 18). Let i be (-2)/9 - (-210)/h. Let t(n) = -n**3 - 7*n**2 + 7*n + 10. Is 18 a factor of t(i)?
True
Let q(i) = -19*i**3 - 8*i**2 - 7*i - 2. Does 20 divide q(-3)?
True
Let d(u) = -37*u + 3. Let h = -27 - -17. Let z be h/8 - 4/(-16). Does 10 divide d(z)?
True
Let k be (-3)/2*(-224)/(-12). Let p = -15 - k. Suppose r - p = 50. Is 13 a factor of r?
False
Let w(k) = 2*k**2 + 8*k + 68. Is 17 a factor of w(-6)?
False
Let w(z) = 2*z - 7. Let g be w(9). Let d = 12 - g. Is d*33/6*8 a multiple of 22?
True
Let l(n) be the third derivative of -n**6/120 - 7*n**5/60 - 7*n**4/24 + 2*n**3/3 - 34*n**2. Does 10 divide l(-6)?
True
Is 36 a factor of 2*71 - (-34 - -32)?
True
Suppose 5*p - 2*g = 2106, 2*p = -3*p - 2*g + 2094. Does 70 divide p?
True
Suppose 4*s = 3*h - 49, -2*s - 2*h - 8 = 2*h. Let n(i) = -2*i - 6. Is 2 a factor of n(s)?
True
Let c = 269 + 34. Suppose 912 = 7*m + c. Is 15 a factor of m?
False
Suppose 5*g + 5*p = 545, 6 = p + 11. Suppose 3*k - g - 450 = 0. Suppose 3*r - k = 2*f - 58, -3*f = -3*r + 132. Does 21 divide r?
True
Let g be (15 - 14)/((-2)/(-10)). Suppose g*u - 20 = -5. Suppose -u*m + 6*m = 102. Is m a multiple of 9?
False
Let a(u) = u**3 - 7*u**2 + 4*u - 1. Suppose -2*c - c + 6 = r, 0 = -5*r - 5*c + 30. Let q be a(r). Let z = -1 - q. Is z a multiple of 4?
True
Let i(a) be the second derivative of -1/12*a**4 + 1/6*a**3 + 2*a - 51/20*a**5 + 1/2*a**2 + 0. Is i(-1) a multiple of 13?
False
Let x be (-25)/9 - -3*(-6)/81. Let y(h) = -70*h - 9. Does 25 divide y(x)?
False
Let w(b) = b**3 + 37*b**2 + 40*b - 140. Is 65 a factor of w(-35)?
True
Suppose 4*a = 6*a - 110. Is (a/20*6)/(9/48) a multiple of 8?
True
Let b = 1405 + -1157. Is b a multiple of 6?
False
Let r(s) = s**2 + 14*s + 6. Suppose 0 = -3*c + 2*f + 6 - 60, 45 = -3*c - f. Is r(c) a multiple of 16?
False
Let v(s) = -s**2 + 9*s + 7. Let l(c) = c**2 - 6*c + 8. Let p be l(6). Let y be v(p). Suppose 2*b = 5*b - y. Is 5 a factor of b?
True
Suppose 3*m - 4*h = 770, 13*m + 3*h - 756 = 10*m. Is 3 a factor of m?
False
Let y(u) = 2*u + 4*u**2 + 0*u - 4*u**2 + 5 + 2*u**2. Is y(-2) a multiple of 9?
True
Let c(z) = -58*z - 11. Does 6 divide c(-2)?
False
Let u(p) = p**2 - p - 5. Let k be 7*(4 + (0 - 3)). Let b be u(k). Let v = b - 17. Does 18 divide v?
False
Let v(y) = 3*y**2 + 13*y + 14. Let w be v(-4). Does 10 divide (-86)/7*(3 - w)?
False
Let a = -247 - -375. Let t = -48 - -128. Suppose t = 4*i - a. Does 13 divide i?
True
Let p(w) = 13*w**2 + w - 2. Let g be p(1). Let q = 12 - g. Suppose -u + 4*u - 39 = q. Is 13 a factor of u?
True
Let z = 1937 - 749. Is 21 a factor of z?
False
Let u(b) be the second derivative of -b**5/20 - b**4/3 + b**3/3 + 3*b**2/2 + 5*b. Is 10 a factor of u(-5)?
False
Let v(o) = -6*o - 10. Suppose 6 = 8*u - 6*u. Let n = -9 + u. Does 13 divide v(n)?
True
Suppose x - 7 = 2*x. Suppose 221 = -8*d + 357. Let o = x + d. Is o even?
True
Let k(m) = m - 7. Let f be k(9). Let p = 11 - 8. Suppose -46 = f*u - p*u. Is 23 a factor of u?
True
Let c(a) = -4 - 4 + 4*a + a**2 + 3*a - 3*a. Let k be c(-8). Does 12 divide 562/18 - k/108?
False
Suppose -25*u + 1140 = -30*u. Let f = 372 + u. Is f a multiple of 16?
True
Suppose 160 = -5*x + 10*x. Let t = x - -100. Is 1/(4/t) - -2 a multiple of 7?
True
Is (-7 + 8)*46 + 1 even?
False
Suppose -4*z - 5*q = -13, z - 4*q = -2*q. Suppose 19 = -2*o + r - 1, 2*o + z*r + 8 = 0. Is -66*(16/4)/o a multiple of 15?
False
Let s = -16 + 21. Suppose -2*z = -s*j + 640, 3*z = 5*j - 266 - 369. Is 19 a factor of j?
False
Suppose 72*w - 7971 = 7581. Is w a multiple of 27?
True
Let r = 2367 + -1527. Is r a multiple of 8?
True
Suppose 4*w = w + 45. Suppose 3*a = -w, 3*o = 4*a - 22 + 57. Does 4 divide 48/15*o/2?
True
Suppose -40040 = b - 21*b. Is 13 a factor of b?
True
Suppose v - 745 = 6*v. Let h = 329 + v. Is h a multiple of 30?
True
Does 19 divide 20/50*4*(381 + -1)?
True
Let o = 35 - 25. Let s = o - 5. Suppose 2*m + i + 2*i - 156 = 0, 4*i - 390 = -s*m. Is m a multiple of 37?
False
Is 9 a factor of -6*77/(-42) + 1/(-1)?
False
Suppose -5*j = -k - 3191, -j - k + 636 = k. Is j a multiple of 58?
True
Let a = -276 - -325. Is a a multiple of 7?
True
Let a(x) = x**2 + 12*x + 25. Let w be a(-3). Is 26 a factor of 1 + -6 + (-424)/w?
False
Suppose 5*x - 31 = 4. Suppose 5*g = -8 - x. Is 5 a factor of -2 + g*6/(-2)?
False
Suppose 11*y - p - 5030 = 6*y, 3*p + 3006 = 3*y. Does 46 divide y?
False
Is 18 a factor of 216/14*(-35)/(-10)?
True
Suppose -2*o + 2 = 0, o + 221 + 1202 = 4*w. Suppose 2*p + 4*s = 128, -p - w = -6*p - s. Is p a multiple of 36?
True
Let x be 9/2 + (-3)/(-6). Suppose 0 = -x*s - y + 1020, 5*s - 4*y - 766 - 279 = 0. Is 16 a factor of s?
False
Is 2 a factor of ((-453)/(-4))/((-159)/(-424))?
True
Suppose -23 = -2*t - 15, -5*q + 3*t = 27. Suppose 0*a + 5 = -4*f + a, -4*f = -4*a - 4. Is (-21 - q)*2/f a multiple of 11?
False
Let t(m) = 56*m + 12. Let c be t(-6). Let g = -181 - c. Is g a multiple of 11?
True
Suppose 4*i - 3*g - 381 = 0, -7*i - 5*g + 264 = -4*i. Is i a multiple of 3?
True
Let t(v) = -v**3 + 38*v**2 - 33*v - 1. Does 25 divide t(37)?
False
Let l = 2 - -14. Suppose -4*j + 0*j = -l. Suppose -4*n - n + 116 = 3*t, -j*n - 3*t = -91. Is n a multiple of 4?
False
Let v(q) = -q**3 + q. Let u(n) = -7*n**3 + n**2 + 2*n + 4. Let w(t) = u(t) - 4*v(t). Let r be w(4). Let p = r + 300. Is 30 a factor of p?
True
Let k(f) = -f - 5 - 9 + 0*f. Let l be k(-16). Suppose 39 = 3*z + 3*b, -l*b - 3*b + 49 = 4*z. Is z a multiple of 16?
True
Let s(t) = 2*t**2 - t + 1. Let b be s(-2). Let n(g) = -8*g**2 - 2*g**2 + 4*g**3 - 16 - 3*g**3 - 6*g. Is 9 a factor of n(b)?
False
Let w be (2 + 400/12)*(-3)/(-2). Let j = w - 33. Is j a multiple of 5?
True
Let g = 34 + -69. Does 8 divide (-861)/g - 3/5?
True
Suppose -2*a - 3*x - 47 = 0, 0 = -4*x - 13 - 7. Let n = a + 17. Does 11 divide (10/n)/((-4)/(-14))?
False
Let y be ((-45)/(-60))/((-2)/(-32)). Suppose -y*i + 3809 = 917. Does 19 divide i?
False
Let m(v) be the second derivative of 1/2*v**2 + 1/12*v**4 + 0 - 2*v + 1/3*v**3. D