*f + 104. Is 5 a factor of f?
False
Suppose -12 = 2*c - 6*c. Suppose c*v = 70 + 23. Does 10 divide v?
False
Suppose -3*w = -2*r - 6*w, -3*w + 18 = 5*r. Let z be (158/(-3))/((-1)/r). Is 2/10 + z/20 a multiple of 16?
True
Let v(w) = -155*w**3 + 2*w + 1. Does 22 divide v(-1)?
True
Let y(n) = -n**2 + 1. Let m(t) = 6*t**2 + 2*t - 5. Let x(p) = m(p) + 5*y(p). Let r be x(-3). Is 7 a factor of (2 - -1)/r + 6?
True
Let n(s) be the second derivative of s**7/2520 - 11*s**6/720 + s**5/8 + s**4/12 - 3*s. Let j(t) be the third derivative of n(t). Does 2 divide j(10)?
False
Let d(s) be the second derivative of 0*s**2 + 0 - 7/6*s**3 - 3*s. Does 5 divide d(-2)?
False
Suppose -4*s + 57 = -15. Does 6 divide s?
True
Let o = 83 + -42. Is o a multiple of 10?
False
Let o(p) = 0 - 6*p**2 + p**3 - 2*p**3 + 2 - 6*p. Is o(-5) a multiple of 7?
True
Suppose 2*a - 84 = -a. Suppose -a = -3*s + 44. Is s a multiple of 8?
True
Is 3 a factor of (-4)/(-4*(-3)/(-45))?
True
Suppose 6*u - 144 - 162 = 0. Is u a multiple of 11?
False
Let u(j) be the first derivative of 2*j**3/3 - 5*j**2/2 + 5*j + 2. Suppose 5*c - 12 = 2*c. Is u(c) a multiple of 5?
False
Let u(y) be the second derivative of y**5/20 + 7*y**4/12 - 5*y**3/3 - 3*y**2/2 - 6*y. Is u(-7) a multiple of 22?
False
Let v = -37 + 68. Is v a multiple of 27?
False
Suppose -232 = -8*a + 4*a. Suppose -p - 55 = -5*p - 3*f, 0 = -4*p - 2*f + a. Is p a multiple of 8?
True
Is 2 a factor of 24/(-84) + 58/7?
True
Suppose 4*p - 234 = 262. Is 31 a factor of p?
True
Suppose 8 = -4*x + 3*u - 8, 5*x + 20 = 4*u. Let z(o) = 7*o**2 + 3*o + 3. Let y(v) = -3*v**2 - 2*v - 2. Let m(b) = -5*y(b) - 2*z(b). Does 3 divide m(x)?
False
Let g = -2 - -4. Let t(u) = -u**2 + u - 2. Let x be t(g). Does 7 divide 4/(-16) + (-57)/x?
True
Let g = 52 - 26. Does 6 divide g?
False
Let u(s) = 3 - 4 + 2*s**2 + s - 1. Does 13 divide u(-3)?
True
Let a = -67 - -12. Let n(v) = 2*v - 1. Let c be n(-4). Let i = c - a. Does 27 divide i?
False
Let f(o) = o**3 - 7*o**2 - 7*o + 9. Suppose -v - q = -6, 5 + 1 = -3*q. Is f(v) a multiple of 5?
False
Let a(f) = f**2 - 2. Let t = -5 + 7. Let p be a(t). Suppose -4*k - p*i - i + 12 = 0, 2*k - i - 6 = 0. Is k even?
False
Suppose -3*s - 66 = -4*h + 259, 3*s = -2*h + 185. Is h a multiple of 16?
False
Suppose -5*h + 439 = -56. Suppose g - h = -2*g. Let w = -13 + g. Is 10 a factor of w?
True
Let w be 0/(1*(0 - 2)). Let m be (-200)/(-9) - (-4)/(-18). Does 19 divide m - ((0 - 1) + w)?
False
Suppose -5*x = -h + 64, -5*h = 4*x + x - 290. Is h a multiple of 4?
False
Is (-2)/2 + 10*19 a multiple of 21?
True
Let s be (-2)/3*3/2. Is 2 a factor of 323/51 - s/(-3)?
True
Let i(z) = 12*z**2 - 5*z - 7. Does 55 divide i(4)?
True
Let m = 24 + -8. Is 16 a factor of m?
True
Let f be (-10)/(-4)*(3 - 1). Let t be (-84)/5 + (-5)/25. Let s = f - t. Does 11 divide s?
True
Let n be 2*(15/(-2))/3. Let d = n + 21. Does 13 divide d?
False
Let d(n) = n**3 - 20*n**2 + 9*n - 55. Is d(20) a multiple of 4?
False
Let f(c) = -c - 4. Let x be f(-4). Suppose x = 5*g + 17 - 242. Suppose -4*i = -g - 39. Is i a multiple of 20?
False
Let s be (2*-3)/(-3 + 4). Let j(t) = -3*t - 6. Does 12 divide j(s)?
True
Let q = 4 + -4. Suppose 0 = 5*k - 20, -2*g - 4*k + 31 - 5 = q. Suppose -g = -2*b + 25. Is b a multiple of 5?
True
Suppose -z - 45 = 3*v, -4*z + 2*v + 0*v = 180. Is ((-8)/(-3))/((-3)/z) a multiple of 13?
False
Let k(l) = l + 16. Let d be k(-14). Suppose -d*b = -4*b + 26. Is 5 a factor of b?
False
Suppose 8 = -4*x, 28 - 147 = -3*y + 4*x. Is y a multiple of 6?
False
Suppose 11 = 4*g - 5, 5*g - 11 = -3*s. Let j(w) = -19*w + 3. Does 20 divide j(s)?
True
Suppose -3*y + 5*w + 395 = 0, y - 2*y = -w - 135. Suppose -2*p = -4*p + y. Does 13 divide p?
False
Suppose -3*k + 5*b + 22 = 0, k + 1 + 1 = -3*b. Let y be k/(-6) - 1020/(-18). Suppose d = 3*d - y. Is 19 a factor of d?
False
Suppose 13*r = 9*r + 12. Is r even?
False
Let y = -12 + 10. Does 6 divide 7 - (y + 1)/(-1)?
True
Let l(r) = r**3 - 5*r**2 + 2*r - 5. Let p be l(5). Suppose -2*h = -0*w + p*w - 41, -72 = -3*h - 4*w. Is 14 a factor of h?
True
Suppose 68 = 30*u - 28*u. Is 17 a factor of u?
True
Suppose -2*x + 6 = x. Is 2 a factor of 95/30 + x/(-12)?
False
Let w(s) be the first derivative of 2*s**3/3 + 4*s**2 - s - 4. Does 20 divide w(-7)?
False
Suppose w - 3*p = 204, -4*w + 2*p + 543 = -273. Is w a multiple of 7?
False
Suppose 2*o - m = m + 78, 3*o = m + 123. Is o a multiple of 6?
True
Suppose 3*i - 2*i = 10. Let w be (i/(-4) - -3)*14. Let f = 13 - w. Is 6 a factor of f?
True
Let u = -12 - -15. Let g(n) = n**2 - 1. Is g(u) a multiple of 4?
True
Let h = 346 + -175. Let c = 89 - h. Let s = c - -115. Is 15 a factor of s?
False
Let g be (0 + -1)*-3 - 10. Let d = g - -16. Is 6 a factor of d?
False
Suppose 4*k - 1100 = -k. Suppose -7*h + 3*h + k = 0. Is 15 a factor of h?
False
Suppose -q + 3*q - 54 = 0. Suppose -2*f + q = f. Is f a multiple of 9?
True
Suppose 0*d + 2*d = 10. Suppose -p = -6*r + 2*r + 355, -d*p = r - 115. Suppose -5*g + 100 = -5*c, -5*g + r = -4*c + c. Is g a multiple of 9?
False
Suppose -6 = -5*f + 59. Is f a multiple of 10?
False
Suppose 2*c - 2*u - 22 = 0, -5*u = 24 - 4. Let o(g) = -g**3 + 8*g**2 - 4*g - 10. Is o(c) a multiple of 9?
False
Let w(t) = 3*t**2 + 2*t - 1. Let s be w(1). Suppose -y - 3*y = 4*h - 68, 84 = 5*h + s*y. Is h a multiple of 14?
False
Suppose -4*q - 3*x = 13, 3*q - 5*x = 6*q - 4. Let l be (2/(-7))/(1/q). Is ((-4)/(-3))/(l/15) a multiple of 10?
True
Let k = 263 - 113. Does 25 divide k?
True
Let h be ((-42)/12)/(1/(-26)). Let p = h + -51. Is 15 a factor of p?
False
Let m(j) = 3*j - 3. Let d be m(5). Let o = -27 - d. Let q = -25 - o. Is q a multiple of 14?
True
Let s(f) = 5*f**2 + 2*f - 1. Let x be ((-2)/3)/((-2)/(-6)). Is 14 a factor of s(x)?
False
Let m be 2*-3*(0 + 1). Let i(l) = l**3 + 7*l**2 - 6*l - 7. Is 32 a factor of i(m)?
False
Let o = 3 - 3. Suppose 0*j - 4*j + 52 = o. Is 4 a factor of j?
False
Is (-40)/(-6)*9/2 a multiple of 6?
True
Does 7 divide (6/8)/(6/168)?
True
Let r(p) = -14 + 2*p - 2*p**3 + 5 + 4*p**2 + 11 - 2*p**2. Suppose -s = v + 6, 2 = 5*s - 3*v - 0. Does 14 divide r(s)?
False
Let p = -31 - -17. Let x be p/(-8) + 4/16. Suppose 4*i + 0*v = -3*v + 4, -12 = -x*i + v. Is i a multiple of 2?
True
Let l(i) = -5*i**2 + i. Let v be l(-1). Let n = 100 + -62. Does 15 divide n - v - 0/(-2)?
False
Is 5 a factor of 288/28 - (-4)/(-14)?
True
Let u(m) = 15*m + 2. Is u(5) a multiple of 10?
False
Let q(p) = p**3 - 2*p**2 + p + 4. Let c be q(4). Suppose -4*o + c = -44. Is o a multiple of 15?
False
Let h(s) = -s**3 + s**2 + s + 1. Let p(m) = -4*m**3 + 3*m**2 + m + 3. Let o(q) = -3*h(q) + p(q). Does 6 divide o(-2)?
True
Suppose 4*g + 313 + 51 = -4*w, -185 = 2*g - w. Let s = -66 - g. Is 13 a factor of s?
True
Let c be (5 + -2 + -6)*-7. Suppose -56 = -5*m - 3*f, 2*m + f = c + 2. Is 4 a factor of m?
False
Let b(n) be the third derivative of n**5/60 - n**4/6 + n**3/6 - 6*n**2. Does 11 divide b(-3)?
True
Let n = -41 - -74. Is n a multiple of 11?
True
Suppose -4*s = -3 - 1. Is (2 - -3)*s - 1 a multiple of 4?
True
Suppose 0*h + 2*h - 8 = 0. Suppose -j - 4*k = -k - 33, -4*j + 116 = h*k. Does 9 divide j?
True
Suppose -5*s + 4*s + 43 = 0. Let i = s + -22. Is i a multiple of 12?
False
Let h(n) = -10*n - 3. Is h(-5) a multiple of 12?
False
Suppose r - 7*r = -264. Is 22 a factor of r?
True
Let n = -20 + 32. Is n a multiple of 3?
True
Let y(f) = -f**3 - 3*f**2 - 5*f - 7. Does 29 divide y(-4)?
True
Let x(m) = -5*m + 6*m - 2*m + 9*m**2 + 1. Does 18 divide x(2)?
False
Let a(t) = t + 16. Let d be a(-11). Does 4 divide (d/(-3))/((-10)/36)?
False
Suppose -2 = -2*o + 4. Suppose -48 = o*b - 5*b. Does 10 divide b?
False
Let u(t) = -t**3 + t**2 + t + 4. Let p be u(0). Suppose 4*s - 32 = 3*s + 2*a, -p*s + 125 = -5*a. Does 7 divide 10/5 - s/(-2)?
False
Let c be (-1)/(-2) - 15/(-2). Suppose 0 = -c*k + 5*k. Suppose -h + k*h = 0, -4*p = 5*h - 24. Is 3 a factor of p?
True
Suppose -13*n + 16*n = 300. Is 25 a factor of n?
True
Let l(y) = 91*y**2 - 2*y - 1. Is l(-1) a multiple of 23?
True
Let d(s) = 4*s - 1. Suppose -5*m = -0 + 25. Let f = m - -9. Is d(f) a multiple of 15?
True
Let i(c) = 2*c**2 + c - 1. Suppose 0 = -5*x + 6*x - 2. Let n be i(x). Suppose p - 8 = n. Does 17 divide p?
True
Let y(c) = -3*c**3 - 11*c**2 - 21*c + 9. Let r(