q + 44. Does 5 divide o?
False
Let r = 259 + -98. Is r a multiple of 20?
False
Let u be 1 - (0/3)/2. Suppose -5*v = 2*z - 45, 3*v - 4*v - 2*z + u = 0. Does 6 divide v?
False
Let z = -35 + 23. Is (z/(-10))/(21/70) a multiple of 3?
False
Let t(n) = n**3 + 6*n**2 - 10*n - 7. Is t(-6) a multiple of 11?
False
Let y(s) = -s**3 + 6*s**2 - s - 3. Let r be y(6). Is 8 a factor of ((-24)/r)/(3/18)?
True
Suppose -3*t + 174 = 66. Suppose 337 = 3*x + 2*x + p, -5*x = 4*p - 328. Let z = x - t. Does 12 divide z?
False
Let i(p) = p + 1. Let h be i(-4). Is 10 a factor of 8 + (1 + -2 - h)?
True
Let v be (4/8)/(1/(-26)). Is 13 a factor of v/(-2)*24/4?
True
Let j be (0 - -1) + (-396)/9. Let z = 75 + j. Suppose 0 = 2*v + 5*b - 2, 4*b = -4*v + 8*b + z. Does 3 divide v?
True
Let r(a) = -a + 12. Is 4 a factor of r(-12)?
True
Let z = 21 - 35. Suppose 0 = -0*w + w - 4*x - 33, -2*w - 5*x + 118 = 0. Let s = w + z. Does 18 divide s?
False
Let z(a) = a**3 - 3*a**2 + 7*a + 1. Is 22 a factor of z(4)?
False
Suppose 0 = -6*k + 769 + 293. Is k a multiple of 14?
False
Let y(m) = -m**3 - 6*m**2 - 4*m - 6. Does 8 divide y(-6)?
False
Suppose -3*w = -89 + 11. Let i = w - -26. Does 17 divide i?
False
Suppose 0 = 4*y - 4 + 24, -v = 4*y - 17. Suppose 102 = 4*b - 3*h, 18 = 4*b - h - 80. Let o = v - b. Is o a multiple of 9?
False
Does 12 divide (8/10)/((-2)/(-65))?
False
Let a be 9/(-6) + 90/4. Is a/(-2)*4/(-3) a multiple of 5?
False
Let n be 4/(-10) - (-7)/5. Suppose 166 = -5*i + n. Let z = i - -60. Does 11 divide z?
False
Let s(n) = -6*n + 7. Suppose 0*w = -5*w + 25. Let j = 0 - w. Is 13 a factor of s(j)?
False
Suppose 4*z - 4*v - 9 = 15, 5*z - 9 = -2*v. Let p(r) = r**2 - 7*r + 7. Let i be p(8). Suppose z*c = 3*h + 63, -c + h + i = 2*h. Does 12 divide c?
False
Suppose -6 = -4*s + 6. Suppose -b + s*d = -3*b + 14, 6 = b + 2*d. Does 10 divide b?
True
Let p(i) = -i**3 + 3*i**2 - 2. Let b be p(2). Let f = b + 2. Suppose -f*v + 72 - 4 = 0. Does 9 divide v?
False
Is 30/((-67)/(-16) + -10 + 6) a multiple of 16?
True
Suppose -q = -4*l - 113, 4*q = -5*l - 44 + 454. Does 15 divide q?
True
Let p(t) = 3*t**2 + 2. Let u be p(-4). Let y = u + -34. Does 16 divide y?
True
Let a be (15/2)/(3/36). Is 3890/a + 4/(-18) a multiple of 10?
False
Suppose -5*w + 4*m + 87 = 2*m, 4*m - 35 = -w. Suppose 15 = 4*v + q - 52, -v - q = -w. Suppose 3*i - 5*i = -v. Is 8 a factor of i?
True
Let o = 3 + -3. Suppose 4*v + 146 = 3*f, o = 4*v - 6 - 10. Is f a multiple of 27?
True
Let y = -14 + 34. Is y a multiple of 5?
True
Suppose 0 = 5*c - k + 3*k - 297, 5*c = 4*k + 291. Does 20 divide c?
False
Let g be 4/(24/21)*60. Suppose 5*r = -15 + g. Does 13 divide r?
True
Is 10 a factor of (-6)/(37/20 - 2)?
True
Suppose -4 = o + 12. Let z = -11 - o. Is z a multiple of 4?
False
Suppose -82 + 16 = -i. Is 22 a factor of i?
True
Suppose -i + 87 = 5. Does 12 divide i?
False
Suppose 2*o + 440 = -3*o. Is -1*(o + (3 - 4)) a multiple of 26?
False
Suppose 2*u + 2*q - 84 = 256, -4*q + 176 = u. Does 14 divide u?
True
Suppose 4*f - 5*v = 312, -2*v + 7*v = 0. Let j = f - 39. Suppose -2*r = r - j. Is r a multiple of 13?
True
Let a = -7 + 10. Suppose -a*m - 2*m = -20. Is 47/9 + m/(-18) a multiple of 2?
False
Does 7 divide ((-2)/(-4))/(3/168)?
True
Is 4/22 - (-1444)/44 a multiple of 33?
True
Suppose 0 = -x - x + 2. Let w be (x + 0 - 3)/(-1). Suppose -w*u - 2 = -u, 4*h - 94 = -5*u. Does 13 divide h?
True
Let d(s) = -s**2 + 4*s - 1. Let h be d(4). Let p(a) = -a - 1. Let m be p(h). Suppose m*v - 50 = -5*v. Is v a multiple of 10?
True
Suppose 2*q + 3*z = 5*q - 6, -3*z - 10 = -5*q. Suppose -4*i + 3*p = -33, 3 = i - 5*p - 1. Suppose 0 = q*r - r - i. Is r a multiple of 3?
True
Is 15 a factor of -1*(-28 - 1/1)?
False
Let u = 377 + -215. Suppose 2*k = -3*b + u, 5*b + 3*k = -k + 272. Is 12 a factor of b?
False
Suppose 3*j = -2*m - 8, -4*j - j = -2*m - 40. Let a = 40 - m. Let q = -24 + a. Is 11 a factor of q?
False
Let d(x) be the second derivative of -x**3/6 - 2*x**2 - 2*x. Let z = 3 - 9. Is d(z) a multiple of 2?
True
Let b = -8 - 1. Suppose 2*k + 0*k = 5*f + 23, 4*f = -2*k + 50. Let a = k + b. Is 5 a factor of a?
True
Let c(v) = -v**2 + 9*v - 5. Let y be c(8). Suppose 0*z - y*z = 5*f - 147, -3*f + 93 = 3*z. Does 9 divide f?
True
Let v(z) be the second derivative of -z**5/20 - z**4/6 - 2*z**3/3 - 6*z. Is 7 a factor of v(-3)?
True
Suppose 2*c - 20 = -2*c. Let n(r) = r**2 - 7*r - 1. Let u be n(c). Let m(o) = o**3 + 12*o**2 + 12*o + 16. Is m(u) a multiple of 2?
False
Let h(m) = m**3 + 4*m**2 - m - 1. Let n be h(-4). Suppose 0 = -4*w - 3*a + 8*a + 24, -n*w = a - 18. Does 5 divide w?
False
Suppose 0 = -5*n + 41 + 84. Does 19 divide 2*(n - -3 - 3)?
False
Let n = 7 - 8. Let c be 0 - n - (0 + 1). Suppose -2*q + l = -9, c = q - l - 4*l. Is q even?
False
Let v(r) = -r**3 - 8*r**2 - 8*r + 6. Suppose 5*d + 5*x + 20 = 0, -5*d + 0*x - 23 = 4*x. Does 4 divide v(d)?
False
Let u(r) = -6*r. Suppose 3*m + 41 = f - 6*f, 0 = 2*f - 3*m + 8. Is u(f) a multiple of 21?
True
Suppose j + 16 = -4*w, 4*w + 16 = 3*j + j. Suppose j*f - 2*f = 0. Suppose 0 = r - f - 12. Does 4 divide r?
True
Suppose -5*w + 396 = -2*j, -5*w + j = -0*w - 393. Is w a multiple of 15?
False
Suppose 3*b + 0*b + 6 = 0, 0 = 2*o - 4*b - 40. Is o a multiple of 10?
False
Suppose 3*f - 3*d = 5*f - 585, -d = -2*f + 573. Does 48 divide f?
True
Suppose 0 = 2*y + y - 3*r - 9, 0 = 4*y + 3*r + 9. Suppose y*x = -3*b + 4*x + 68, x = 3*b - 53. Is 6 a factor of b?
False
Let l be 4/(-10) + (-82)/(-5). Let d = l - 8. Does 8 divide d?
True
Let h(f) be the third derivative of 13*f**4/12 - 2*f**3/3 - f**2. Is h(2) a multiple of 16?
True
Let u be 2*22/(-4)*1. Let w = -12 - u. Let m(n) = 14*n**2 - n - 1. Does 4 divide m(w)?
False
Suppose 2*f = -2*f. Suppose f*r = 4*r. Suppose -4*t - 35 + 135 = r. Is 19 a factor of t?
False
Is 11 a factor of (130/(-25))/(3*(-1)/165)?
True
Let z(l) = 44*l + 1. Is z(1) a multiple of 15?
True
Let f(g) = -11*g**3 - 2 + 2. Let t be f(-1). Suppose t + 4 = 3*p. Is p a multiple of 5?
True
Suppose 5*m + 46 = 541. Suppose 2*u - m = -15. Does 21 divide u?
True
Let j(n) = -209*n + 1. Is 21 a factor of j(-1)?
True
Let x(z) be the third derivative of z**5/60 + z**4/6 + z**3/6 - z**2. Is 23 a factor of x(-9)?
True
Let h(p) = p**3 - 15*p**2 - 9*p - 13. Is h(16) a multiple of 11?
True
Suppose -3*w - 3 - 9 = -l, 2*l - 24 = -3*w. Suppose -4*n + l + 4 = 0. Is n a multiple of 4?
True
Let k(i) = i**2 + 5*i. Let x be k(-5). Suppose x*l + 140 = 4*l. Does 16 divide l?
False
Suppose -c - o - 3*o = -16, 3*o = c + 5. Does 25 divide (5/(-2))/(c/(-40))?
True
Let r = 25 + -24. Let z(o) = -2*o**3 - 4*o**2 + 5. Let u(a) = a**3 - a**2 + 1. Let s(l) = 4*u(l) - z(l). Is s(r) a multiple of 5?
True
Suppose -u + 3 = 4*b, -3*u - 19 = -2*b - 0*b. Suppose b*o = 7 - 1. Let j(s) = s + 2. Does 5 divide j(o)?
True
Let b(q) = q**3 - 2*q**2 + 2*q. Let a be b(2). Suppose 3*s = 2*d + 5, s - d = a*s - 11. Suppose 0 = 3*v, 5*v - 28 = -i - s*i. Does 6 divide i?
False
Let p = 5 - -30. Let m = 18 + p. Does 25 divide m?
False
Let d = 52 + -28. Is d a multiple of 8?
True
Let d(q) = -1. Let r(g) = 6*g - 8. Let n(a) = -6*d(a) + r(a). Does 20 divide n(7)?
True
Let b be 386/12 - (-8)/(-48). Suppose g = b - 6. Does 13 divide g?
True
Let q(x) = -9*x + 54. Is 27 a factor of q(-9)?
True
Let v = -280 + 420. Is v a multiple of 35?
True
Suppose 0 = 2*u - 6*u. Let q(z) = -z**3 - z**2 + z + 37. Does 13 divide q(u)?
False
Let f(b) = b**3 - 5*b**2 - 5*b + 6. Let p be ((-4)/5)/(10/(-75)). Is f(p) a multiple of 12?
True
Let i = 58 + -54. Is i a multiple of 2?
True
Let f be (40/5)/(1/2). Let l = -5 + f. Does 5 divide l?
False
Suppose 3*v = -3*m - 3, -3*m - 3*v = -4*v - 17. Let h = 18 + -13. Suppose -h*j + m = -3*a - 13, -4*j + 4*a + 12 = 0. Is j a multiple of 4?
True
Suppose 0 = -4*y - 3*r + 309, 3*y - 2*r = y + 172. Does 17 divide y?
False
Suppose -2*x - 1 = -5*o, -o - 4 = -2*x - 1. Let s = 27 - x. Let w = 45 - s. Is w a multiple of 10?
True
Suppose -4*q + 964 = 4*y, 4*y + 868 + 337 = 5*q. Does 25 divide q?
False
Let w(x) be the first derivative of x**5/60 + x**4/24 + x**3/2 - x**2/2 - 1. Let n(m) be the second derivative of w(m). Does 18 divide n(-6)?
False
Suppose -2*v - 136 = -4*i - 4*v, -4*i + v + 136 = 0. Is i a multiple of 19?
False
Let b(i) = i. Let f be ((-2)/(-6))/(