8) + 6/4. Suppose -t - r = -11 - 1, 2*t = 4*r + 18. Suppose -n*c - 1 + t = 0. Is 2 a factor of c?
False
Let a be 34 + -33 - -1*(0 - 1). Let d = a + 30. Is d a multiple of 3?
True
Let j(o) = o**3 + 4*o**2 - 5*o - 3. Suppose 2*v + 11 = -m + 1, -m = 2. Is j(v) a multiple of 17?
True
Is 4 a factor of (-1535)/(-3) + (-26)/39?
False
Suppose 3 + 4 = -7*d. Suppose 9 = 5*p - 11, 4*h = -p - 16. Is 9 a factor of (d + 2)/(h/(-95))?
False
Suppose -r = 54 - 84. Does 10 divide r?
True
Let p be (172/(-5))/(22/(-55)). Suppose -h = -5*s + 4*h + 215, 2*s = 5*h + p. Is s a multiple of 25?
False
Let a(f) = -f**3 + 5*f**2 + 17*f + 29. Does 5 divide a(-9)?
True
Is 29/(9 + 352/(-40)) even?
False
Let s = -25 - -25. Suppose -2*b - 3 + 1 = s. Is -17 - -21 - 5/b a multiple of 3?
True
Does 91 divide (-14768)/(-6) - 525/225?
False
Let i be ((-18)/27)/(4/(-6)). Let d be 0 + -1 + 1/i. Suppose -v + 2*j = -3, -v - v - 3*j + 41 = d. Is v a multiple of 3?
False
Let s(b) = 2*b**2 + 7*b + 9. Let h(t) = 3*t**2 + 7*t + 10. Let i(q) = -3*h(q) + 4*s(q). Suppose 4*g - 26 = -3*k, 0 = 5*g - k - 14 - 9. Is i(g) a multiple of 4?
True
Let v(o) = o**3 + 3 - 2 + 8 + 7*o + 7*o**2 + 0*o**3. Suppose 4*n + 34 = -3*f, 0 = -2*f + 6*n - n + 8. Is v(f) a multiple of 2?
False
Suppose -14*b + 18 = -5*b. Suppose 5*c - 8 - 2 = 0. Suppose -c*g - 3*f = -120, -g - b*f + 5*f + 78 = 0. Is g a multiple of 22?
True
Let m(n) = -2 - 10*n - 9*n**2 + 6 + 0*n**3 + n**3. Let k be m(10). Suppose -x = -5*y + x + 55, -k*y + 56 = -4*x. Is y a multiple of 9?
True
Let y be (30/(-8))/(-5)*-8. Is 31 a factor of -155*((-2)/y)/(2/(-6))?
True
Is (-5)/((-60)/(-8)) - 1000/(-15) a multiple of 6?
True
Let b be (-10)/(-40) - (-15)/4. Let o = b - 1. Suppose f - 2*r = 52, 4*r = o*f + 3*r - 181. Is f a multiple of 19?
False
Suppose -i - 16 = -5*i. Suppose 4*g - 1 = 5*a, -i*g + 5*a = g - 5. Suppose 8 = 4*y + n, -3*y = -g*y - 4*n - 13. Is 3 a factor of y?
True
Let k(o) = 3*o + 3. Let r(z) = -15*z - z**3 + 5*z**2 - 15*z**2 - 4*z**2 - 17. Let s be r(-13). Does 15 divide k(s)?
True
Let f(l) = -l**3 - 8*l**2 - 2*l - 13. Let h be f(-8). Suppose g = -3*i + 149, -h*i - 3*g - 53 = -4*i. Is 10 a factor of i?
True
Suppose s - 602 = -3*q, 2*q - q = -5*s + 3052. Does 10 divide s?
False
Let s = 208 + -98. Let m = s + -98. Does 6 divide m?
True
Suppose z = 4*n + 2598, 0 = 3*z - 28*n + 31*n - 7719. Does 24 divide z?
False
Let a(f) = -f**3 + 13*f**2 - 33*f + 16. Is a(6) a multiple of 5?
True
Let z = 27 + -20. Let l be (1 + z)/((-1)/(-11)). Suppose 0 = -0*o - 4*o + l. Is 11 a factor of o?
True
Let q(s) = -s**3 - 10*s**2 - 4*s + 3. Let g(f) = f**2 - 12*f + 21. Let b be g(8). Does 14 divide q(b)?
True
Suppose 4*v = -12, 3*d + 5*v = 6*d - 15. Suppose -2*r + 2*f - 3*f = -360, d = 2*r + 3*f - 360. Does 10 divide r?
True
Let w(x) = 2*x - 6. Let j be w(3). Let v be (0/(-3) + j)/(-2). Is 6 a factor of (14 - v) + (1 - 3)?
True
Let t = -20 + 2. Let s = t - -22. Is 8 a factor of 34/(-6)*(s - 7)?
False
Let g be (10/(-4))/((-3)/24). Is 7 a factor of 7/2*(g - 2)?
True
Suppose 0*f - 25 = 5*f. Let t(j) = -11 + 29 - 5*j - 18. Is t(f) a multiple of 7?
False
Let j(k) = -151*k**2 + 7*k - 1. Let s(x) = -x + 1. Let c(l) = -j(l) - 4*s(l). Let t(y) = 76*y**2 - y - 1. Let a(q) = -2*c(q) + 5*t(q). Is 26 a factor of a(-1)?
True
Let k(s) = -s**2 - 16*s - 12. Let v = 9 + 56. Suppose 4*m - 13 = -v. Is 10 a factor of k(m)?
False
Let w be 8/16*(6 - (-1 + 1)). Suppose 0 = 3*u + 2*a - 576, 4*a - 15 + w = 0. Is u a multiple of 38?
True
Let i = 23 - 14. Suppose i*o - 11*o + 104 = 0. Is o a multiple of 30?
False
Let k(l) = -101*l - 134. Is 49 a factor of k(-12)?
True
Suppose -15 = 5*f, -y + 6*y = -3*f + 1. Suppose 0 = -h - 2*o + 8, -23 = -3*h - y*o - 3. Is 2 a factor of h?
True
Let g(l) = 59*l**3 + 1 - 2 - 163*l**3 - 3*l + l. Does 35 divide g(-1)?
True
Let o(v) = v**2 + 14*v + 50. Is o(-10) even?
True
Let o = 71 - -33. Does 13 divide o?
True
Suppose -10*k = -14*k + 4. Let s(x) = 15*x**3 + x**2 - 1. Is s(k) a multiple of 6?
False
Let c(h) = -4*h - 4 - 3 - 3. Let m be c(-8). Let d = -8 + m. Is 6 a factor of d?
False
Suppose -19*u = 12*u - 49910. Is u a multiple of 35?
True
Let i(w) be the third derivative of w**5/60 - w**4/24 + 23*w**3/3 + 4*w**2. Does 14 divide i(0)?
False
Let y be 240 + (3 - 12/(16/4)). Let x = y + -15. Is x a multiple of 21?
False
Let p(c) be the third derivative of -c**4/24 - 7*c**3/6 - 4*c**2. Let b be p(5). Let r(h) = -2*h + 3. Does 13 divide r(b)?
False
Suppose -5*d = -20*d + 19590. Is d a multiple of 64?
False
Suppose 0 = 3*o - 41 + 5. Suppose 0 = -2*t - 6, 2*t - 7*t = c - o. Is 9 a factor of c?
True
Suppose -84 = -4*v + 7*v. Let c = 52 + v. Is c a multiple of 6?
True
Let u = 52 - -132. Is u a multiple of 5?
False
Let i(t) = -t**3 - 8*t**2 - 7*t + 17. Let m be i(-7). Suppose -5*v + 54 = r, 0 = -3*r - 2*v + m + 145. Is r a multiple of 11?
False
Suppose 0 = -13*r - 1282 + 7574. Suppose -9*g = -5*g - r. Is g a multiple of 22?
False
Let j(c) = 4*c + 108. Suppose 2*m + 0*m = 0. Does 18 divide j(m)?
True
Is (23 + -22)*(-1 - -483) a multiple of 12?
False
Let n(l) = -l**3 + 14*l**2 + 14*l + 12. Let w be n(15). Does 5 divide w + ((-5)/5 - -9)?
True
Does 7 divide (2/(-1 + -3))/(1/(-694))?
False
Suppose 5*c - 3*u = 13, 4*u - 30 = -2*c - 4. Suppose t - c = -4*m, -5*m + 2*m = -3*t - 15. Suppose 67 = 2*w + 5*d, 3*w - 4*d - 110 = -m*d. Does 12 divide w?
True
Let r = 766 + 116. Is r a multiple of 49?
True
Let r(h) = h**3 - 9*h**2 - 17*h + 6. Suppose -3*p = -p - 22. Is r(p) a multiple of 14?
False
Suppose -w - h + 67 = -2*h, -5*w - h = -329. Let a = w - -39. Is 21 a factor of a?
True
Let l(c) = -9*c + 313. Does 44 divide l(-41)?
False
Suppose 0*p = 7*p. Suppose u + u - 274 = p. Does 22 divide u?
False
Let j(w) = w**2 - w - 6. Let l be j(-3). Suppose t = -5*b + 21, -t + l*t + 3*b = 39. Let k = 17 - t. Is k even?
False
Suppose -17*g - 1643 = -8681. Does 23 divide g?
True
Let o be 7/(-28) + (-1 - (-579)/12). Is o - (20/(-30) - (-4)/(-3)) a multiple of 8?
False
Let q(a) = a**2 - 10*a + 5. Is 20 a factor of q(-5)?
True
Let s = 0 - -5. Suppose s*w - 3*w = 4. Is (6 + w)*7/2 a multiple of 15?
False
Let d(l) = -16*l + 17. Let s be d(-2). Suppose s*q - 43*q = 600. Is q a multiple of 25?
True
Suppose 4*a - 2*a + t - 106 = 0, 4*a + 5*t - 218 = 0. Let y = a + -24. Does 9 divide y - (-3 - 0/(-2))?
False
Let q(c) = -384*c - 333. Does 21 divide q(-3)?
True
Let f = 49 + -47. Suppose 4*a = -16, -a = -5*n - f*a + 366. Is 19 a factor of n?
False
Let p(a) = 2*a + 4*a - 1 - 7*a. Let o(x) = -x**2 - 16*x + 5. Let t(y) = o(y) - 2*p(y). Is 7 a factor of t(-14)?
True
Let q = -22 - -7. Let i(g) = -g**2 - 18*g + 29. Is i(q) a multiple of 21?
False
Let b be 6/(-21) + (-288)/(-28). Suppose -3*q = 2*q - b. Suppose q*n + 0*n - 4*i = 60, 189 = 5*n + 3*i. Is 9 a factor of n?
True
Suppose -18*s = -21*s - 3*y + 1137, -2*s + 764 = -4*y. Does 29 divide s?
False
Suppose -2*o + 5*v - v = -22, 0 = 5*o - 2*v - 31. Let t(p) = -12*p - 3*p**2 - p**3 + 3*p + 2*p**3 + 10. Is 7 a factor of t(o)?
False
Let h(f) = 6*f**2 + 15*f + 3. Let k(l) = -5*l**2 - 14*l - 4. Suppose -4 = -2*s, -5*d = -5*s + s + 28. Let j(m) = d*k(m) - 3*h(m). Is 14 a factor of j(-7)?
True
Let b = 10 + -2. Suppose b*s - 6*s = 84. Is 21 a factor of s?
True
Suppose 7*l - 6584 - 1991 = 0. Is 35 a factor of l?
True
Let m = -11 - -40. Suppose 0 = -2*f - t + 100, -4*f - m = -2*t - 213. Is f a multiple of 12?
True
Suppose 4*n + 2*x = -28 + 282, -3 = -3*x. Does 6 divide (n/7)/((-3)/(-4))?
True
Let h be (-135)/(-25) + 4/(-10). Suppose 14 = h*x - 7*x. Let b(d) = -d**2 - 9*d. Does 7 divide b(x)?
True
Let x be (-3)/(-9)*72/1. Let r be (2 - (-71 - 1)) + -1. Let a = r - x. Is 11 a factor of a?
False
Let w = 50 + -46. Is 8 a factor of (-1 - 2) + w*20?
False
Let o = -42 - -46. Suppose 0 = 4*l - 3*k - 340, k = -o*l + 392 - 68. Does 25 divide l?
False
Let g = -13 + 17. Suppose 3*n = g*n - 5. Suppose -n*a = -2*a - 216. Does 24 divide a?
True
Let o = -739 + 1567. Suppose -q + 287 = -5*a, 3*q - o = -2*a + 6*a. Is q a multiple of 37?
False
Let v = -1261 + 1990. Does 3 divide v?
True
Suppose 119*r = 103*r + 1744. Does 8 divide r?
False
Suppose 7*m + 0 = 77. Suppose -4*x - 1 = m. Does 20 divide 365/6 - x/18?
False
Let v = 11 - 18. Let a = 15 + v. Suppose 6*k - a*k + 48 = 0. Is 6 a f