 be -1*-230*1 - 0. Let v be 6/(-10) - (-16)/(-60)*-21. Suppose -v*x = 5*a - o, x + 3*x - 149 = 3*a. Does 12 divide x?
False
Let s = 6 + -3. Suppose 0*t - 4*p + 66 = s*t, 3*t - 51 = p. Is t a multiple of 8?
False
Suppose -3*c - u + 22 = 0, 2*c - 2*u - 17 = -5*u. Is 3 a factor of c?
False
Suppose -v + 4*v = 4*j + 7, j + 4 = 0. Let q = v - -4. Does 10 divide 21 + (q + -2)*1?
True
Suppose -5*l = -0*l - 4*r + 64, 0 = 3*l - 5*r + 41. Let d = l - -30. Is 14 a factor of d?
False
Suppose -2*i + 19 = 7. Is 4 a factor of i?
False
Let b(h) = -2 - 5*h**2 + 5*h**2 + 4*h + h**2. Is 5 a factor of b(-6)?
True
Let z(k) = 7*k**3 + k**2 - 4. Does 8 divide z(2)?
True
Suppose 3*t + 38 = t. Let z(y) = y**3 + 9*y**2 + 8*y - 8. Let j be z(-8). Let s = j - t. Is s a multiple of 11?
True
Let t(k) = k + 18. Suppose 2*w = -4*i + 4, -i - 29 = 5*w + 6. Is t(w) a multiple of 8?
False
Let v(k) be the first derivative of 7*k**2/2 + 2*k - 2. Let d be v(-2). Let m(p) = -4*p - 11. Does 14 divide m(d)?
False
Let o(t) = 75*t**3 - 2*t**2 + 2*t - 1. Does 13 divide o(1)?
False
Let j(c) = 3*c - 1. Let q be j(1). Suppose 4*f - 20 = -5*a, -q = -3*f - a + 2. Does 4 divide 8 - 0/3 - f?
True
Let y(k) = 12*k**2. Is y(-1) a multiple of 6?
True
Let o be (1/(-2))/((-2)/(-12)). Is (-1)/3 - 55/o a multiple of 10?
False
Let r(l) = -l**3 + 29*l**2 + 2*l - 8. Is r(29) a multiple of 5?
True
Suppose 0 = -a + 46 - 16. Is 4 a factor of a?
False
Let i(j) = j - 7. Let d be i(8). Let x be 1 + 0 + d + 0. Suppose 0 = -h + x. Is h even?
True
Let h be 6/(-21) + 94/(-14). Let n = 3 - h. Is n a multiple of 10?
True
Suppose 612 = -0*k + 9*k. Does 35 divide k?
False
Suppose 2*l - 349 = -3*d, -589 = -5*d + 3*l + l. Is 7 a factor of d?
False
Suppose 0*k + 12 = -2*k. Let t(w) = w**2 + w - 8. Does 22 divide t(k)?
True
Let w be ((-1)/(-1) - 2) + 9. Let z = w + -2. Suppose -z = -s - 3. Is s a multiple of 2?
False
Let x = 15 - -15. Is x a multiple of 30?
True
Let z = 53 + -36. Let y = 60 - z. Is 16 a factor of y?
False
Let l be 5*6/(4/2). Suppose -7*h + 2*h = -l. Suppose m = 3*y - 105, -4*y + 0*m + 127 = h*m. Does 13 divide y?
False
Suppose 2 = z + 3. Let u be 0/(2 - (-1 - z)). Suppose 8*n - 4*n - 48 = u. Does 10 divide n?
False
Let b(n) = 3*n**2 + n + 1. Is b(2) a multiple of 11?
False
Suppose 7*j = -j + 88. Does 2 divide j?
False
Let m be 19*7 + 4/2. Suppose 4*q - q = m. Suppose 2*n - 27 = q. Is n a multiple of 15?
False
Suppose -5*v - 90 = -8*v. Let o be 2/(1*4/v). Is 3 a factor of 2/(-3) - (-100)/o?
True
Let n(s) be the first derivative of s**2 + 6*s - 1. Suppose 0 = -2*l - 0*l + 16. Does 22 divide n(l)?
True
Suppose 7 = -y - 17. Let n = y + 75. Is n a multiple of 17?
True
Suppose 9 - 7 = 2*t. Let w(f) = -34*f**3 - 5*f**2 - 7*f - 5. Let u(x) = -x**3 + x**2 + x + 1. Let g(v) = -6*u(v) - w(v). Does 18 divide g(t)?
False
Let n(k) be the third derivative of -1/8*k**4 - 2*k**2 + 0 + 0*k**3 + 0*k + 7/60*k**5. Is n(2) a multiple of 8?
False
Suppose x + 0*x + 16 = -5*m, 4*x - 3*m - 28 = 0. Suppose -23 = -d + x. Suppose 0*s + s = d. Does 10 divide s?
False
Suppose 4*r + 3*y - 190 = 165, -5 = -y. Is 5 a factor of r?
True
Let h be 10/(-35) + (-18)/(-14). Let p be (3 - 3 - h)*0. Suppose p*l + 2*l - 124 = 0. Does 21 divide l?
False
Let f(k) be the first derivative of 2*k**3/3 - k**2 - 2*k - 4. Is 10 a factor of f(-2)?
True
Suppose 0 = -2*p + 5*y + 275, y + 3*y = 5*p - 662. Suppose p = 5*r + x + 4*x, 0 = -2*r + 4*x + 58. Is 14 a factor of r?
False
Suppose 0 = -0*m - 4*m + 8, m + 34 = 3*i. Suppose 0*s - i = -2*s. Is (-36)/(-8)*8/s a multiple of 2?
True
Suppose 2*k + 4*g - 22 = -0*k, -2*k + 16 = 2*g. Suppose -2*b - 176 = -k*j + 22, -2*b + 162 = 4*j. Is 8 a factor of j?
True
Let p be 33*(0 + 2)/6. Let z = -19 + p. Let b = z + 16. Is 8 a factor of b?
True
Let p = -19 + 35. Is 4/p - 143/(-4) a multiple of 18?
True
Let c = 55 - 86. Let v(y) = y**2 - 63. Let m be v(0). Let r = c - m. Is 12 a factor of r?
False
Let k(d) = -d - 1. Let c be k(-3). Suppose -4*z - 20 = 0, -2*a + 9 = c*a - z. Is (0/a + -6)*-2 a multiple of 6?
True
Suppose h = 33 - 10. Does 4 divide h?
False
Suppose -2*u + 5*u = 33. Let p(b) = 5*b + 3. Is p(u) a multiple of 29?
True
Let k be (3/2 - 1)*4. Suppose k*j = -j + 33. Is j a multiple of 4?
False
Suppose 2 = -j - 3. Let r = -5 - j. Suppose r = 4*v - 20. Is v a multiple of 3?
False
Suppose 21*p = 22*p - 106. Let v = -65 + p. Is v a multiple of 13?
False
Let b be (-12)/(-10)*(0 + 5). Let g(w) = w - 7. Let n be g(b). Does 6 divide n + 11 + 3/3?
False
Suppose -3*i + 226 = 46. Is i a multiple of 18?
False
Let b = 11 - 8. Suppose -4*q = g + b*g + 24, 3*q - 6 = 3*g. Is 13 a factor of (g - 1)*(-26)/10?
True
Let f(b) = -40*b + 10. Let o(s) = -27*s + 7. Let c(t) = -5*f(t) + 7*o(t). Is 18 a factor of c(5)?
True
Let r(o) = 11*o**2 + 16*o + 16. Let h(y) = 5*y**2 + 8*y + 8. Let n(k) = 13*h(k) - 6*r(k). Is n(8) a multiple of 4?
True
Let i = 32 - 8. Is 9 a factor of -39*(i/(-9) - -2)?
False
Let k = -11 - -26. Does 3 divide k?
True
Let m = 7 + -5. Suppose -5*q = -0*p + 3*p - 198, -m*q = 3*p - 81. Suppose 5*o - 13 = -g, -q = -0*g - 3*g - 2*o. Does 7 divide g?
False
Let o(z) be the third derivative of -z**7/5040 + z**6/360 + z**5/60 + 2*z**2. Let q(d) be the third derivative of o(d). Does 9 divide q(-7)?
True
Let g(m) = -m + 21. Is 7 a factor of g(2)?
False
Let r(i) = i**3 - i**2 + 42. Let d(b) = 2*b + 5. Let a(z) = 3*z + 6. Let v(j) = -3*a(j) + 4*d(j). Let l be v(2). Is r(l) a multiple of 16?
False
Let y = 59 + -109. Let z = 6 + -40. Let a = z - y. Does 10 divide a?
False
Suppose 5*v + 22 + 78 = 4*y, -5*v = 0. Is y a multiple of 5?
True
Let z(o) = -6*o**3 - o**2 + 1. Let s be -2 + 2 + 3/(-3). Let r be z(s). Is 20/(-6)*(-27)/r a multiple of 15?
True
Let v be 35*(52/(-20) - -3). Suppose -c + v = -10. Does 16 divide c?
False
Is 14 a factor of ((-28)/(-8) - 3)*154?
False
Let a(r) = -r**2 - r + 200. Is 10 a factor of a(0)?
True
Let h(d) = 2*d**2 - 6*d - 15. Is 13 a factor of h(7)?
False
Suppose 3*d = 4*k - 2*d - 638, 3*k + 5*d - 496 = 0. Is 27 a factor of k?
True
Let f(w) be the first derivative of 3*w**2/2 + 8*w - 4. Is f(6) a multiple of 26?
True
Let z(x) = x**2 + 3*x - 1. Is z(2) a multiple of 3?
True
Is 5/(25/112) - (-6)/10 even?
False
Suppose 5*p + 35 = 3*m, 5*p + 0*m + 35 = m. Let u(g) = -g**2 - 14*g - 10. Does 13 divide u(p)?
True
Is 8 a factor of 84/6*(-192)/(-14)?
True
Suppose -4*u + 7 + 13 = 0. Suppose -u*a = -h - 4, h + 20 = 5*h - 2*a. Suppose -v + h*v = 100. Does 20 divide v?
True
Suppose -5*p + 1404 - 245 = -4*a, 4*p = -4*a + 956. Suppose -27 = 4*k - p. Is k a multiple of 13?
True
Let c = -52 - -81. Suppose -c = -4*i - 9. Is i a multiple of 2?
False
Let a = -9 + 15. Suppose 0 = -g + a*g - 5. Is 18 a factor of (36*1)/g + 1?
False
Suppose 2*p + 66 = 4*w, 4*p + 14 + 22 = 2*w. Let k = 27 - w. Is k a multiple of 11?
True
Let a = -8 + 12. Suppose 3*i - 12 = -0*i, 0 = -a*n - i + 124. Does 15 divide n?
True
Let y = 134 - 131. Does 2 divide y?
False
Let n be (-244)/(-12) - (-2)/(-6). Suppose 5*m - 3*b = 27, 7*m - 4*m + 2*b = n. Is m a multiple of 2?
True
Let c = -3 - -5. Suppose -a + 2 = -c*g, 2*a - 4*g - 8 = -a. Suppose a*z = 3*z + 14. Is 7 a factor of z?
True
Let i(u) = -5*u + 4. Let z(y) = -14*y + 13. Let m(h) = -11*i(h) + 4*z(h). Let p be (2 + -2)/(5/5). Does 8 divide m(p)?
True
Let s(c) = -c**2 - 10*c - 9. Let y(l) = -l + 1. Let n be y(10). Let j be s(n). Does 6 divide (-3)/(j + 3/(-8))?
False
Let n = 8 + -6. Let l = -7 + n. Is (-58)/l + 4/10 a multiple of 7?
False
Let p(g) = g**2 + 9*g + 8. Let z be p(-8). Suppose 61 = 2*t - 3*r, -6*t + t - 3*r + 163 = z. Is t a multiple of 6?
False
Does 7 divide 2/(-4) - 2*(-239)/4?
True
Let q be 6*(2/4 + -1). Suppose 5*a - 5 - 5 = 0. Is 5 a factor of 2 - -4 - (q + a)?
False
Suppose 5*b - 6*b = 2*k - 29, 4*k - 23 = 5*b. Does 5 divide k?
False
Let r be (-350)/(-8) - (-7)/28. Suppose 4*t = -5*z - 0*t - r, -3*z + 2*t = 22. Let w = z - -16. Does 4 divide w?
True
Let u = 1 - 4. Let d(q) = -3*q + 1 + 2*q - 2*q. Does 5 divide d(u)?
True
Is 21 a factor of 13 + -12 + 274/2?
False
Let i(k) be the third derivative of k**5/60 - 5*k**4/12 + k**3/2 + 3*k**2. Is i(10) a multiple of 3?
True
Let v = 13 - 7. Is v a multiple of 4?
False
Suppose -j + i - 145 + 360 = 0, -20 = 4*i. Does 14 divide j?
True
Let w be 7