 + 6*k + 4. Let h be s(6). Suppose -j = g + h*j - 10, 4*g + 44 = j. Is ((-5)/g)/(2/56) a multiple of 13?
False
Let r = 3 - 1. Suppose -r*y + 159 - 11 = 0. Let g = y + -36. Does 14 divide g?
False
Suppose -3*m + 104 = 29. Suppose 0*z + 5*z = m. Is 3 a factor of z?
False
Is 28 a factor of (-90)/21*(0 + -7)?
False
Let g be (-6)/(-12)*4/1. Let s(u) = -7*u - u**3 + 12 - 15*u**2 + 6*u**g - 1. Does 3 divide s(-8)?
True
Suppose 0*g = 2*g - 22. Suppose -41 = -2*o - g. Does 5 divide (4*o/(-6))/(-1)?
True
Does 6 divide (-1 + 11)*(-18)/(-10)?
True
Suppose -5*b + 38 = -m, -3*b + 4*m + 11 = -22. Let n(d) = -2*d + 4. Let v be n(-3). Let g = v - b. Does 2 divide g?
False
Let x = -11 + 21. Is 6 a factor of (4/x)/((-7)/(-105))?
True
Suppose h - 4 = -3*h. Let g = h - -2. Is g even?
False
Let f = -1 - -5. Suppose 49 = 3*p + 2*p + f*s, p - s = 8. Is 8 a factor of p?
False
Let o(r) = r**2 + 10. Let z be o(8). Let n = -48 + z. Does 15 divide n?
False
Let z(c) = 28*c. Let b be z(3). Suppose 0 = -m - 3*m + b. Let o = m - 5. Does 16 divide o?
True
Let o = 73 - 62. Is o a multiple of 11?
True
Suppose 0 = -2*v + 4*v. Let z = 5 + 0. Suppose -z*m + m + 64 = v. Is m a multiple of 8?
True
Suppose 12*q - 1794 = -11*q. Is q a multiple of 26?
True
Suppose 8*c - 30 = 7*c. Is 15 a factor of c?
True
Suppose f - 28 + 2 = 0. Is f a multiple of 13?
True
Let n = 77 - -3. Is n a multiple of 20?
True
Let o be ((-10)/(-25))/((-1)/(-10)). Suppose -2*h + o = -58. Is 25 a factor of h?
False
Let c(w) = -2*w - 8. Let g be c(-7). Let j = g - 6. Suppose j = -2*l - a + 4*a + 25, 0 = -4*l + 3*a + 47. Does 11 divide l?
True
Let q = -27 + 45. Suppose 0 = -g + 5*m + q, 3*m + 45 = 2*g + 2*m. Let j = -15 + g. Is j a multiple of 4?
True
Suppose -2*a = -5*z - 16, 3*a = 3*z + 3 + 3. Let u be -1 - -19 - 1*a. Suppose 2*f = f + u. Is f a multiple of 10?
True
Suppose -2*k = 2*k - 20. Is 6/k*(4 - -16) a multiple of 16?
False
Let u = 19 + 1. Does 9 divide u?
False
Let b = 20 + 0. Is 5 a factor of b?
True
Suppose -2*p - 50 = 3*p. Is 2 a factor of (24/15)/((-4)/p)?
True
Suppose 67 - 1 = 3*g. Does 22 divide g?
True
Is (9 + -18)*2/(-3) a multiple of 2?
True
Suppose -8*u + 128 = -6*u. Is u a multiple of 13?
False
Let t = -13 + 21. Suppose 0 = 3*s - s - t, -3*s + 17 = p. Suppose -p*w + 25 = -10. Is w a multiple of 3?
False
Suppose 4*k - 3*f + 0 = 3, -2*f - 2 = 4*k. Let u = k - -2. Suppose -5*h = u*m - 32, -m + 5*h + 36 = -10. Is 10 a factor of m?
False
Suppose 156 = 4*g + 2*p, 4*g - 144 = -p - 4*p. Let r = -24 + g. Is r a multiple of 17?
True
Is 4 a factor of ((-66)/4)/(15/(-20))?
False
Suppose -4*u - 147 = 3*b, 5*u + 5*b - 3*b + 182 = 0. Let a be (1/(-2))/(3/u). Suppose 2*z = -a + 54. Is 9 a factor of z?
False
Let t = -13 + 15. Suppose -t*q + 160 = 2*q. Does 20 divide q?
True
Suppose -4*k = r - 7, -r + k = -2*r + 16. Is r a multiple of 19?
True
Let h = -5 + 11. Let f = h + -3. Is 3 a factor of f?
True
Let r = -52 + 34. Is (-6)/r + (-125)/(-3) a multiple of 21?
True
Let l = 47 + -22. Does 7 divide l?
False
Suppose 356 = -5*o - 4*k, 5*o - 4*k = k - 320. Let c = 107 + o. Is c a multiple of 10?
False
Suppose -t - 4 = -2*v, 3*t + 0*v + 4*v = 28. Suppose k = -0*k + 2*l + 15, 16 = t*l. Is k a multiple of 23?
True
Let p = -27 + -46. Let y = 124 + p. Does 26 divide y?
False
Suppose i - 3*q = 67, -q - q + 240 = 4*i. Suppose 63 + i = 4*s. Let y = s + -9. Does 22 divide y?
True
Let f(k) = 11*k**2 + 4*k + 20. Let s(x) = -4*x**2 - x - 7. Let l(v) = -6*f(v) - 17*s(v). Let r be (5/(-4))/(1/(-4)). Is 14 a factor of l(r)?
True
Let g(w) = -4*w - 3. Let s be g(-2). Suppose -s*c + c + 168 = 0. Is c/10 + 1/(-5) a multiple of 4?
True
Suppose 0 = -3*l + y + 59, 4*l - 4*y = l + 74. Suppose r = -r + l. Is r a multiple of 4?
False
Let u(w) = w**3 - w**2 - 5*w - 5. Is u(5) a multiple of 20?
False
Let i(d) = d + 2. Let t = 15 - 7. Does 10 divide i(t)?
True
Is 15 a factor of 4/14 - ((-3039)/21 - 5)?
True
Let t(q) = 7*q**2 + 6*q + 8. Let r(m) = -2*m**2 - 2*m - 3. Let u(a) = 11*r(a) + 4*t(a). Suppose -4*o - 5*s = 18, -3*o = 2*o - 5*s. Does 9 divide u(o)?
False
Suppose -4*x = 3*h - 126, 3*h - 40 = 2*h - 2*x. Suppose 3*d + 5 = -4*a - 8, 0 = 3*d + 2*a + 23. Let c = d + h. Is 16 a factor of c?
False
Suppose 2*h + 4*s = -h + 141, -h + 52 = 3*s. Does 9 divide h?
False
Suppose 4*i - k = 2*k - 7, -3*i + 11 = k. Let r(g) = 16*g - 3 - g + 0 + i. Is r(1) a multiple of 5?
False
Suppose -4*t + 9 = -3. Suppose -c + 71 = t*x, -2*c = -3*x + x + 50. Does 9 divide x?
False
Let r = -12 - -27. Let l = r - 10. Suppose l*b - 36 = b. Is b a multiple of 6?
False
Let p = 39 - 26. Is p a multiple of 13?
True
Let b = 217 - 73. Does 8 divide b?
True
Suppose 2 = 5*q - 3, o = 3*q + 35. Is 9 a factor of o?
False
Suppose -5*o - 240 = -6*a + 2*a, -2*a + 138 = 2*o. Is a a multiple of 6?
False
Let i be (-13)/2 - (-2)/4. Let a(o) = -7*o**2 - 3*o - 2. Let l(v) = v**2 + 1. Let d(z) = -a(z) - 6*l(z). Does 7 divide d(i)?
True
Let j = -89 - -149. Suppose 0*f = 5*f - j. Suppose 0*n + n - f = 0. Does 6 divide n?
True
Let g = 12 + -6. Is g a multiple of 3?
True
Suppose 4*a = -5*x + 32, 2*a - 11 - 15 = -5*x. Suppose 2*p - 202 = -2*p - b, 5*p - 261 = a*b. Is 15 a factor of p?
False
Let a(h) = 5*h - 20. Does 3 divide a(8)?
False
Let l(w) be the second derivative of 1/2*w**2 - 1/6*w**3 + w + 0. Is 2 a factor of l(-3)?
True
Let v(p) = 8*p + 1. Let o be v(4). Suppose -o = -b - 2*b. Is b a multiple of 11?
True
Let s be (8/(-6))/((-2)/6). Suppose -h + 189 = 4*q, -6*q + s*h + 231 = -q. Is 16 a factor of q?
False
Let t = -8 + 13. Suppose 2*r + 126 = t*r. Is r a multiple of 13?
False
Is 0 + -6 - -59 - 3*1 a multiple of 10?
True
Let d(c) = -c**3 - 4*c**2 + c + 3. Let j be d(-4). Let u be 0/(j + 2)*1. Let t = 18 - u. Is 9 a factor of t?
True
Suppose -4*m = -m - 3*o - 222, -5*o + 350 = 5*m. Does 24 divide (-8)/(-12)*m/2?
True
Is 48/(-40)*15/(-2) even?
False
Suppose 7*p - 28 = 3*p - 2*z, -4*z + 41 = 5*p. Suppose -2*t = -s - 26 - 29, 5*t - p*s = 140. Is t a multiple of 9?
True
Suppose 3*z + 0 = -6. Let l = z + 34. Is 16 a factor of l?
True
Suppose -17 = -2*c - 3*u, 0*u = 4*c + 3*u - 31. Let d(p) = 3*p - 2. Is 19 a factor of d(c)?
True
Is 33 a factor of 3 + (-7)/(7/(-55))?
False
Let l = 203 + -171. Is 3 a factor of l?
False
Let w = 30 - 46. Let p = -16 + 54. Let a = w + p. Is a a multiple of 6?
False
Let d(w) = -6*w**2 - 7 - 2 - 4*w - w**3 + 0*w**2. Suppose -3*g + 5*g + 12 = 0. Does 15 divide d(g)?
True
Let j(d) = -d**2 - 7*d + 2. Let m be j(-7). Suppose 15 = l - v, m*v - 45 + 15 = -4*l. Is 3 a factor of l?
False
Let j(n) = n**3 + 7*n**2 - 8*n + 6. Is j(-6) a multiple of 20?
False
Let w = -15 + 17. Suppose -5*c = -2*l + 48, l + w*l = 3*c + 90. Is 15 a factor of l?
False
Suppose -4*p = w - 33, 4*p - 2*w = 16 + 14. Let t = p - 10. Let r = 0 - t. Is r a multiple of 2?
True
Let o(f) = -f**3 + 7*f**2 + 5*f - 3. Let r be o(6). Let v = 106 - r. Let s = v + -17. Is s a multiple of 16?
False
Is 3 + (-3 - -30) + -4 a multiple of 4?
False
Let k(b) = 3*b**2 + 8*b + 4. Is 5 a factor of k(-4)?
True
Suppose 0 = -9*i + 6*i + 66. Does 11 divide i?
True
Let d(z) = 27*z - 1. Let o be d(-1). Let p be 1/((-3)/3) + o. Let x = -16 - p. Does 13 divide x?
True
Suppose 6*z - 3*z = 0. Let u be (z - -12)*(70 + 1). Does 7 divide u/33 + 8/44?
False
Let x(b) = -8*b. Let k be x(-6). Let n = k + -28. Is 10 a factor of n?
True
Suppose 0*n = -n. Suppose n*i = 4*i - 28. Does 4 divide i?
False
Suppose -461 + 110 = -13*o. Does 7 divide o?
False
Let p(j) = -j**2 + 2*j. Let f be p(2). Let r(z) = -z**3 - 6*z**2 + 8*z + 9. Let u be r(-7). Suppose -u*a - 1 = -h, 18 + f = -a + 4*h. Is a a multiple of 2?
True
Suppose 0*a = -x - 2*a - 5, -2*a - 44 = 4*x. Let i = -2 - x. Is 3 a factor of i?
False
Suppose -4*c + 792 = 5*z, z + 2*c - 156 = -0*c. Let i be (-6)/9 + z/6. Suppose 0 = -2*v + i + 6. Is v a multiple of 8?
True
Let i be ((-1)/(-3))/((-1)/6). Let r(v) = 13*v**2 + 2*v + 2. Is r(i) a multiple of 13?
False
Let x = -8 + 13. Let d(t) = 10*t - 15. Let n(l) = -2*l + 3. Let u(k) = -2*d(k) - 11*n(k). Does 7 divide u(x)?
True
Let n be (3 - 9/3)/3. Suppose -2*j + 2*i = -56, 0 = -2*j - 3*i - n*i + 51. Does 9 divide j?
True
Let w(i) = -i**2 + 6*i - 2. Let o be 14*2*(-2)/8. Let s be w(o). Does 9 divide s/(-6) - (-2)/4?
False
Let x = -11 - -14. Suppose -x*