 0, g = -v - 9. Let w = g + 7. Suppose 3*r + 30 = 4*s, 4*r - 3 = -w*s + 1. Does 6 divide s?
True
Let q be 2/7 - (-208)/56. Suppose -15 = -f - q*f. Is 2 a factor of f?
False
Suppose -3*p = 2*p - 80. Suppose p = y + 2. Is 7 a factor of y?
True
Let n = 12 - 10. Suppose 3*d - 3*h + n = h, 0 = -5*d + h - 9. Is 15 a factor of (31 - 4/d) + -3?
True
Let g(q) = q**2 + 13*q + 5. Does 11 divide g(-15)?
False
Let k = 18 - 23. Let d(u) = -u + 11. Is d(k) a multiple of 6?
False
Suppose -x + 109 = x + 5*n, 4*x - 209 = -n. Is x a multiple of 25?
False
Does 3 divide (-18)/(-7)*(-28)/(-6)?
True
Let m(z) be the second derivative of -z**6/360 - 17*z**5/120 - z**4/4 + 2*z**3/3 + 3*z. Let o(p) be the second derivative of m(p). Does 16 divide o(-13)?
False
Let j be -3 - 14*3/(-6). Suppose j*d + 61 = 5*d. Is d a multiple of 14?
False
Suppose 5*z = -0*o - 4*o + 187, 2*o - 95 = -z. Suppose 2*h + 2*v - 44 = 0, 4*h = 2*v + o + 22. Is h a multiple of 19?
True
Let t be 0/(2/(-4 + 2)). Suppose t = 7*q - 4*q + 3. Let l(j) = -8*j + 1. Is l(q) a multiple of 6?
False
Is 34 a factor of (-411)/(-12) - (-1)/(-4)?
True
Suppose 9*s = 4*s + 80. Is 3 a factor of s?
False
Let d(w) be the third derivative of -1/24*w**4 + 0*w**5 + 0 + 7/60*w**6 + 0*w - w**2 + 0*w**3. Is 13 a factor of d(1)?
True
Suppose y = -3*h - 0*y + 335, -4*y - 16 = 0. Is 8 a factor of h?
False
Suppose 0 = 5*t + 4*p - 66, -3*t + 3*p = 5*p - 40. Does 2 divide t?
True
Suppose -2*v + 2*f + 110 = 0, -2*v - 4*f = f - 89. Let t be 0 - (-1 + 2 - 89). Let r = t - v. Is 14 a factor of r?
False
Suppose 0 = -d - 3 - 0. Does 2 divide 6*((-2)/d + 0)?
True
Suppose 2 = n - 0*n, l = n + 1. Suppose o - 12 = -l*o. Suppose -5*f + 27 = -2*d - 38, -3*f = -o*d - 39. Is 13 a factor of f?
True
Let l be (-1 - -2) + -1 + 23. Suppose 100 = 5*v + s, -3*s = -3*v + v + l. Suppose -14 - 10 = -2*t - 5*u, u = t - v. Does 7 divide t?
False
Suppose 0 = 8*m - 6*m - 58. Does 9 divide m?
False
Let c be (-3)/12 + (-126)/8. Let r = c - -40. Is 12 a factor of r?
True
Suppose -k - 3*v = 4 + 9, k + 8 = -2*v. Does 12 divide -1 + k + 17/1?
False
Suppose -2*v = -4*v - 20. Let m be 4/(-10) - 44/v. Suppose 3*j - 84 = -m*l - 1, j + 95 = 4*l. Does 14 divide l?
False
Suppose -5*x = 2*r - 316, 5*r - 624 = 4*x + 199. Is 29 a factor of r?
False
Suppose 3*b + 3*w - 213 - 204 = 0, 420 = 3*b + 4*w. Is 34 a factor of b?
True
Suppose 0 = 2*n - 4, -3*q + n - 4*n = -174. Let a be 4/26 - q/26. Is 2/(-5)*(a - 53) a multiple of 21?
False
Let i = -23 - -32. Is i a multiple of 7?
False
Let v(p) = -2*p**2 - p + 17. Let u(o) be the third derivative of o**5/60 - 4*o**3/3 - o**2. Let w(q) = 5*u(q) + 2*v(q). Is 14 a factor of w(-6)?
True
Suppose -257 = 7*k - 1657. Does 25 divide k?
True
Suppose -2*x + 3*k + 42 = -29, 0 = -x - 4*k + 52. Does 20 divide x?
True
Let k(a) = -a - 1. Let i(q) = -50*q - 6. Let d(g) = -i(g) + 5*k(g). Let j be d(1). Suppose -3*n + 23 = -j. Does 22 divide n?
False
Suppose -5*r = -f - 8, 2*f - 5*f + 4*r + 20 = 0. Is f a multiple of 12?
True
Suppose 3*z - 2*z - 7 = 0. Let c(y) = -y**2 + 7*y + 2. Let u be c(z). Suppose 2*n - 20 = -u*f - 2*f, 0 = -f - 3*n. Does 6 divide f?
True
Let r = -12 + 23. Is r a multiple of 2?
False
Suppose -3*w + 22 - 7 = 0. Suppose a - 2*u = 7, -4*u + 0*u - 23 = -w*a. Suppose -84 + 0 = -a*h. Is 21 a factor of h?
False
Let q be (-13)/((-2)/4 + 0). Suppose 2*k = -2*c - 20 - 22, -c = -4*k + q. Let p = 37 + c. Is p a multiple of 6?
False
Suppose 3*a - 5*c - 8 = 0, -2*a - 2*c = -0*c. Let l = a - -3. Let o(r) = r**3 - 3*r**2 + 2*r + 1. Is 10 a factor of o(l)?
False
Let g be (-1)/(1 - 2)*-6. Let a be 4/g + 16/6. Is 8 a factor of a/(2/32*2)?
True
Let n(z) = 8*z - 10. Let h(p) = 9*p - 9. Let d(q) = 6*h(q) - 5*n(q). Does 19 divide d(3)?
True
Does 34 divide 189 + 20/(1 + 4)?
False
Let b(k) = 15*k**3 - 2*k**2 + 40. Let v(i) = -7*i**3 + i**2 - 20. Let s(z) = -6*b(z) - 13*v(z). Is 7 a factor of s(0)?
False
Suppose -k + 5 = 4*g + 2*k, 3*k + 13 = 5*g. Suppose t - 13 = g*t. Let h = 23 + t. Does 10 divide h?
True
Suppose 2*q + 1144 = 4*i, 858 = 5*i - 2*i - 3*q. Does 13 divide i?
True
Let u(m) be the third derivative of 1/60*m**5 + 0 + 0*m - 7/24*m**4 + 3/2*m**3 + 4*m**2. Does 8 divide u(7)?
False
Suppose 2 + 6 = 4*g. Suppose g*p - 33 = 7. Let y = -11 + p. Is y a multiple of 9?
True
Suppose 25 - 1 = 4*g. Let y be g/9 - 13/(-3). Suppose 5*r = -2*p + 50, -y*r - 2*p = p - 55. Is r a multiple of 6?
False
Let x(r) = r**3 - 4*r**2 - 4*r - 4. Let w = 10 - 5. Let j be x(w). Let q(p) = 6*p**2 - 1. Does 2 divide q(j)?
False
Let p = -17 - -34. Is 6 a factor of p?
False
Let j be ((-2 - 2) + 4)/(-2). Suppose -4*u + 2*u + 8 = j. Is u a multiple of 4?
True
Suppose 3*t = 2*d + 144, -8*t + d = -3*t - 233. Is 4 a factor of t?
False
Let s(b) be the second derivative of 3/5*b**5 - b - 1/2*b**2 + 1/12*b**4 + 0*b**3 + 0. Is 6 a factor of s(1)?
True
Let b(h) be the third derivative of -h**5/60 - h**4/24 + 4*h**3 - 2*h**2. Does 12 divide b(0)?
True
Let z = 15 - 12. Suppose -z*i + 52 = i. Does 13 divide i?
True
Does 19 divide 6/15 - 213/(-5)?
False
Let z be (1 - (-2 + 7))*-3. Suppose -3*h = -2*k + 4*k - 12, z = 2*k - 2*h. Suppose -22 = -3*c - v + 11, k = 2*v. Is c a multiple of 8?
False
Suppose c - 58 = u, 0*u - 2*u + 10 = 0. Does 7 divide c?
True
Let w(f) = -f. Let o be w(-4). Suppose o*x = 4*l + 112, -2*x - x - 2*l + 59 = 0. Is 11 a factor of x?
False
Let b(c) = -2*c. Let r be b(7). Let j = -7 - r. Is 7 a factor of j?
True
Is 27 a factor of 3*(-3 - (-1090)/15 - -1)?
False
Let d(n) = n + 11. Let h be d(-11). Suppose h*q + 5*q - 35 = -5*y, 3*y - 19 = -5*q. Is 8 a factor of y?
True
Suppose -4*u - 2*w = u + 14, -1 = -2*u - 3*w. Let x = u + 7. Suppose p = z + 9, -4*p + z + 42 = x*z. Is 10 a factor of p?
True
Suppose -4*i = a - 43 - 41, -5*a = i - 344. Is a a multiple of 45?
False
Let r(b) = b**3 - 4*b**2 - b + 6. Does 13 divide r(5)?
True
Let v(x) be the second derivative of x**4/12 + x**3/6 - 2*x**2 + 3*x. Let j be v(-3). Let u = 8 + j. Is 4 a factor of u?
False
Let a = -4 + 8. Suppose -a*f = -9*f + 215. Is f a multiple of 15?
False
Let x(q) = -q**3 + q**2 + q + 12. Let p be x(0). Let k = p + -8. Is k a multiple of 3?
False
Let r(j) = -35*j - 13. Does 32 divide r(-4)?
False
Let p(q) = 21*q - 10. Does 22 divide p(15)?
False
Let l = 11 - 9. Is -1 + l - 82*-1 a multiple of 22?
False
Suppose -4*n = -0*b + 3*b - 60, -3*b = -2*n + 48. Is 18 a factor of n?
True
Suppose -4*t - t + 345 = 0. Suppose -4*i = -i - t. Does 12 divide i?
False
Let r(f) = -f**2 + 5*f - 2. Let h be r(6). Let o = -4 - h. Suppose u = o + 35. Is u a multiple of 10?
False
Let q be ((-2)/6)/(6/(-90)). Suppose -q*s + s + 12 = 0. Suppose 5*i + s*h - 103 = h, 0 = h + 1. Is 7 a factor of i?
True
Suppose 0 = -j + 3*o + 108, -3*j = 2*j - o - 470. Is j a multiple of 31?
True
Suppose -4*h + 0*h = 0. Let k be (16 - 0) + h/(-4). Let c = -4 + k. Is c a multiple of 6?
True
Does 19 divide (-74 + 2)*(-4)/8?
False
Let s = 49 + -27. Is 13 a factor of s?
False
Does 8 divide 65 - (3/(-6))/((-1)/2)?
True
Suppose -2*o + 276 = -26. Suppose -3*k = 2*h - o, 27 = k - 3*h - h. Let y = k + -30. Is y a multiple of 17?
True
Let z be (30/8)/((-1)/(-4)). Suppose -5*i + a = -14, 2*i - 12 = -i - 3*a. Is ((-8)/i)/((-5)/z) a multiple of 5?
False
Let r(h) = 2*h**2 + 2*h + 7. Does 3 divide r(-3)?
False
Let u = 3 + -1. Suppose z + 15 = -5*a, 5*a + 6 = -2*z - 9. Does 19 divide (u - z) + (36 - 0)?
True
Let r = -17 + 41. Does 12 divide r?
True
Suppose 3*z - 23 = -4*j, 3*j - 23 + 9 = z. Let w = 8 - 6. Suppose -j*f = -w*c - 34, 13 = f + f - c. Does 4 divide f?
True
Let w(z) = 17*z**3 - 2*z**2 - z. Let b be w(-1). Let m be (-32)/18 - (-4)/b. Does 16 divide m/(-1) - -7*2?
True
Let n(v) = -13*v**2 + 5*v - 23. Let b(k) = 7*k**2 - 3*k + 12. Suppose -y - 5 = -2*h + 7, -5*y = 5*h + 15. Let u(f) = y*n(f) - 11*b(f). Does 12 divide u(-6)?
True
Suppose 4*j - 6*j = -14. Does 3 divide j?
False
Suppose 0 = 2*y - 2 - 6. Suppose j - 19 = -4*h + 18, 0 = y*j - 4*h - 48. Does 17 divide j?
True
Suppose -5*p + 53 = q, 0 = -5*q - 4*p + 159 + 1. Let m = -13 + q. Suppose 4*f + 0*f - 2*a = 98, m = 3*a. Is f a multiple of 11?
False
Suppose 4*i = -6 + 2. Let z(t) = 2*t. Let j be z(i). Does 13 divide (13 + (-2 - j))*2?
True
Suppose g + 3 = 3*r + 1, 3*r = -5*g + 44. Suppose -g*b + 2*b = -5*h