i**3 + 5 + 8*i**2 + 7. Is k(7) a multiple of 23?
False
Suppose a = -a + 80. Suppose 5*f = 4*q + 126, -3*q = 2*f - 2*q - a. Is 7 a factor of f?
False
Let p = 554 - 299. Suppose 3*g - p = -102. Is g a multiple of 17?
True
Suppose 0 = 6*r - 10*r + 112. Suppose r = -0*v + 4*v. Is v a multiple of 2?
False
Suppose 8 = c + 2*o, 5*c = 2*o - 26 + 66. Let g be (10/c)/((-3)/12). Let r = g - -15. Does 10 divide r?
True
Let o = 21 + -6. Is 7 a factor of o?
False
Let m = -4 - -10. Let a = 9 - m. Suppose -q + j = -3*q + 36, -a*q - 5*j = -68. Is q a multiple of 7?
False
Let j(b) = 15*b - 3. Does 15 divide j(3)?
False
Suppose -5 = w - 2*w. Let x(z) = 4*z**2 - 6*z - z**3 - 1 - 1 + 3*z**2. Is 16 a factor of x(w)?
False
Suppose 0 = -2*u + 5*a - 30 + 174, -2*u + 150 = -2*a. Does 11 divide u?
True
Let j(k) = 7*k**2 + 3*k - 3. Let g be j(2). Suppose 3*y - g = 2*r, 0*r - 2*y = -r - 14. Does 4 divide (-5)/r - 31/(-4)?
True
Let m(c) be the third derivative of c**4/12 + 4*c**3/3 - c**2. Suppose 0 = 2*j - 21 + 5. Is m(j) a multiple of 16?
False
Let a = -2 + 5. Let b be 8/12 - (-327)/9. Suppose 5*l - 3*l - 25 = -d, 2*l - a*d - b = 0. Does 9 divide l?
False
Let y(k) = -k**2 + 10*k. Does 15 divide y(4)?
False
Suppose 0 = 2*w + 2*w - 16. Suppose -w*j + 4*b = -52, 4*j - 9*j = -3*b - 75. Does 4 divide j?
False
Let l(u) = u**3 - 8*u**2 + 8*u - 2. Let r be l(7). Let x(a) = 22*a + 4. Let c be x(r). Suppose c = 5*i - k - 54, i - 4*k = 45. Does 13 divide i?
False
Let c(y) = y**3 + 8*y**2 + 9*y + 9. Let q = 67 + -40. Let d be (-180)/q + (-2)/(-3). Is 9 a factor of c(d)?
True
Let b(o) = 1. Let f(j) = j - 13. Let n(m) = -6*b(m) - f(m). Let x be n(5). Suppose y + 0*z = -x*z + 18, -z = 0. Is y a multiple of 18?
True
Suppose 0 = -2*x + 6*x - 16. Suppose -b + 50 = 5*m, -9*m = -x*m - 3*b - 50. Is 8 a factor of m?
False
Let q(x) = -x**3 - x**2 - x + 16. Is 5 a factor of q(0)?
False
Let w(i) = 5*i**2 + i + 3. Let o be w(-5). Suppose 142 + o = 5*t. Is 15 a factor of t?
False
Let a = 7 - 8. Is 3 - (a - 2 - -3) a multiple of 3?
True
Let t(u) = u**2 + u + 2. Let d(a) = -a**2 - 7*a - 7. Let k be d(-5). Is t(k) a multiple of 14?
True
Suppose -5*o + 46 = 2*p, 0 = 7*o - 2*o - 2*p - 54. Is o even?
True
Does 8 divide 1 - (-1)/((-135)/69 + 2)?
True
Suppose -3*m + 4*m - 7 = 0. Let o be 4/(-8) + 44/8. Is o*((-4)/2 + m) a multiple of 10?
False
Suppose 2*g = g - 18. Let n be 40/g + 4/18. Is 17 a factor of (n + 5 - 0) + 22?
False
Let x(d) = d**2 - 2*d. Does 6 divide x(-4)?
True
Suppose -6*y + y = -10. Suppose -4*l + 43 + 47 = y*n, -25 = -5*n. Is l a multiple of 20?
True
Let l(w) = w**3 + 6*w**2 + w - 3. Let t be l(-6). Let q = t + 47. Does 19 divide q?
True
Suppose 3 = 2*q - 1. Suppose v = q*v. Suppose 5*d + 2 - 12 = v, 3*j - 46 = -2*d. Is j a multiple of 14?
True
Suppose -4*b - 94 = 2. Let z = b + 34. Is z a multiple of 10?
True
Let l(y) = y + 20. Does 12 divide l(4)?
True
Let m(i) = -i**2 + 19*i + 11. Is m(17) a multiple of 9?
True
Suppose 3*n + 33 = 2*r, -28 = -2*r + 2*n + 2*n. Does 4 divide r?
True
Let k be -2 - (1*282)/(-3). Suppose 0 = -2*y + 5*h - 12, 5*y + h = 6*h. Suppose -k = -y*z + 20. Does 10 divide z?
False
Is 5 a factor of 69/6 - (-9)/(-6)?
True
Suppose -c + 55 + 74 = 2*w, -3*c + 2*w + 411 = 0. Is c a multiple of 15?
True
Let r = -11 + 16. Suppose 3*p - c - 28 = 0, 0 = r*c + 10 + 10. Is 3 a factor of p?
False
Let g = -37 - -45. Is 4 a factor of g?
True
Let b(d) be the first derivative of -d**3/3 - 7*d**2/2 + 10*d + 3. Is b(-7) a multiple of 10?
True
Let m = -32 - -65. Suppose 0 = b + 5*z + 17, -3*b + 3*z + 6 + m = 0. Suppose 5*o - 84 = -4*k, -o - 4*k - b = -28. Does 16 divide o?
True
Suppose 20*n = 25*n - 70. Does 14 divide n?
True
Suppose -5 - 5 = -5*g. Suppose 2*w = -3*l + 70, 45 = g*l + 2*w + w. Does 8 divide l?
True
Is 22 a factor of 134 - (2 + 3 - 3)?
True
Suppose 3*h + 9 = 0, 50 + 33 = 4*q + 3*h. Suppose 9*l + 4*j = 4*l + 7, 5*l - q = 4*j. Is l even?
False
Let g(t) be the second derivative of -t**5/20 - t**4 - t**3/6 + 3*t**2/2 + 2*t. Let i be 10/40 - 49/4. Is 5 a factor of g(i)?
True
Suppose 0 = o - 31 - 13. Does 6 divide o?
False
Let p = -5 + 5. Let t be p*(-2)/6 + -1. Is -2 + t*(2 + -9) a multiple of 3?
False
Suppose -5*x - 5*j + 65 = 0, -4*x + 16 + 31 = 3*j. Does 2 divide x/(3 - (4 - 3))?
True
Let c(b) = 6*b + 7. Does 16 divide c(5)?
False
Suppose 0 = 5*l + 2 - 17. Let s be (-1)/l + (-21)/(-9). Suppose s*a + n = -30 + 109, -4*a - 3*n = -157. Is a a multiple of 20?
True
Suppose 5*m + 53 + 37 = 0. Let s = -4 - m. Is s a multiple of 14?
True
Suppose b = -30 + 6. Let g = b - -46. Is 11 a factor of g?
True
Let j be 1*((-1)/1 - -9). Let n = j - -2. Does 10 divide n?
True
Let r(f) = 3*f + 10. Let c(y) = -2*y - 7. Let m(g) = 7*c(g) + 5*r(g). Let l be m(1). Is (-2 - (0 - 22)) + l a multiple of 11?
True
Let d = -3 - -7. Suppose -5*l + 20 = -2*a, -d*a - 4 = -4*l - 0*l. Is 3 a factor of l?
True
Suppose -11 - 223 = 3*s. Let y = s - -120. Is 14 a factor of y?
True
Suppose 4*w - 8*j - 159 = -11*j, w = -3*j + 51. Is w a multiple of 4?
True
Let p(d) = -d**2 + 19*d - 22. Is p(14) a multiple of 4?
True
Let w be -3 + 1 + 1 - -7. Let c = w - -3. Does 9 divide c?
True
Let p = 201 - 132. Does 23 divide p?
True
Let o(f) = f**3 - 5*f**2 + 2*f - 2. Suppose 3*g = 2*j + 6, 0 = -3*g - 3*j - 2 + 8. Let l be o(g). Does 18 divide 10/(-3)*108/l?
True
Let r be 2*(-4)/8*-5. Suppose -19 = -p + 5*v + 28, -r*p = 2*v - 127. Does 19 divide p?
False
Let s be 0/(3/(3/(-2))). Suppose s = m - 2 - 3. Suppose 2*b - m*x - 58 = 0, -4*x + 22 = -0*b + 2*b. Is 9 a factor of b?
False
Let s(k) = -k**3 + 10*k**2 - 4*k - 26. Does 23 divide s(8)?
False
Suppose 33 = 3*x - 57. Suppose r - 6*r + x = 0. Is r a multiple of 3?
True
Suppose -2*b + 45 = 3*b. Does 3 divide b?
True
Let j(m) be the third derivative of m**4/12 - 4*m**3/3 + m**2. Let a be j(6). Suppose -2*i + 46 = -a*l + 6*l, 4*l = -2*i + 52. Does 10 divide i?
True
Let r(c) = -8*c - 2. Let v be r(-3). Suppose -y = -v - 8. Is y a multiple of 10?
True
Suppose 4*c + 8 = 5*c. Suppose 4 = -w, c = -2*r - w - 3*w. Suppose -58 = -r*s + 2*s. Is 13 a factor of s?
False
Let o(u) = -3*u + 3. Let m(p) = p**2 - 7*p + 7. Let n(c) = 2*m(c) - 5*o(c). Let v be n(1). Suppose 4*r - 2*l = 138, 4*l + 0 + 54 = v*r. Does 19 divide r?
False
Suppose 4*p = 3*d + 2*p + 68, d = 3*p - 32. Let f = d - -34. Is f a multiple of 9?
False
Let y be (-1 + 2)/(2/58). Let v = y - 0. Is v a multiple of 8?
False
Let n(i) = -122*i**3 - i**2 - i - 1. Is n(-1) a multiple of 35?
False
Suppose 5*s - 13 = -4*m + 8, -3*s - 1 = -m. Suppose 0*v = v + j + 66, -4*v - 282 = -2*j. Does 9 divide v/(-3)*1/s?
False
Suppose 0 = -t + g - 4*g + 3, -3*t - 3*g = -33. Let q = t - 0. Is 4 a factor of q?
False
Let y(t) = t. Let b be y(1). Suppose 15 = -9*l + 4*l. Does 3 divide b/l - (-30)/9?
True
Let h(p) = 3*p - 9 - p + 0*p. Let t be h(6). Suppose -4*d = -t*d + 5*r - 25, 5*r = -3*d + 45. Is d a multiple of 10?
True
Let l be (1 + -9)*3/(-6). Is (l/(-6))/((-22)/165) a multiple of 2?
False
Suppose t = 3*b - 0*b - 18, 16 = 3*t + 5*b. Let h = t - -46. Suppose 5*l - h = 27. Is l a multiple of 5?
False
Let x be (-74)/(-4) - 5/10. Let f = x - 11. Is 7 a factor of f?
True
Suppose 2*j + 2*j = 12. Suppose g - 3*k = 2*k - 8, k = -j*g - 24. Does 5 divide (-1 - 0)*(0 + g)?
False
Suppose -f + 0*c = 5*c + 2, f - 2*c = 5. Let d be 0/(9/f) + 3. Suppose 3*h - 4*y - 86 = 0, d*h + y = -3*y + 70. Does 18 divide h?
False
Suppose 0*u - 5*u + 60 = 0. Does 6 divide u?
True
Let k(p) = -p**3 - 4*p**2 + 6*p + 7. Let v be k(-5). Let r(q) = 5*q**2 + 2 - 4*q**2 - v*q + 3. Does 13 divide r(4)?
True
Suppose 0 = -0*n + 5*n + 105. Is 14 a factor of (-4)/6*n*2?
True
Let m(u) = -u**3 + 18*u**2 - 17*u. Let w be m(17). Let g be (-4)/(-6) + 16/3. Suppose 0 = -w*t - 3*t + g. Does 2 divide t?
True
Let c(z) = -z**2 - 6*z - 8. Let s be c(-6). Let l be (-3 + (-15)/(-6))*s. Suppose -4*o = -2*o + 3*t - 40, l*t - 114 = -5*o. Does 13 divide o?
True
Suppose -15 = 5*v - 5. Let s = -143 - -85. Is s/v + (-1 - 1) a multiple of 16?
False
Let c(a) = -7*a**2 + 2*a + 1. Let z be c(-1). Let s = z - -19. Let o = s - 3. Does 4 divide o?
True
Let x be (12/(-8) - 0)*-14. Is 7 a factor of (-32)/(-6)*x/4?
True
Does 7 divide 3*((-107)/(-15) + 6/30)?
False
Let k = 1 + 3. Let j be (-15 - k)/(-1 - 0). Suppose z 