 9. Let k(g) = 5*g + 3. Let o(u) = -7*k(u) - 2*v(u). Let s(r) = r**3 + 7*r**2 + 7*r + 2. Let h be s(-6). Does 5 divide o(h)?
False
Let b = 5 + 3. Suppose -4*u + b = 2*i, -2*i - 24 = -3*u - u. Is i/(-14) + (-330)/(-21) a multiple of 16?
True
Suppose 5*n - 3*w = -182, -5*n - w = 291 - 105. Let z = 113 + n. Suppose 0 = -g - g + z. Is g a multiple of 14?
False
Let m = -17 + -5. Let i = m - -40. Is 6 a factor of i?
True
Let g = 3 - -1. Suppose -16 = 5*h + n, g*h + 2*n = h - 4. Let u = 0 - h. Does 4 divide u?
True
Let o(r) = -r**2 - 3*r - 2. Let l be o(-4). Let x = 10 + l. Suppose -2*y - 12 = -x*y. Does 3 divide y?
True
Let k = -8 - -9. Is 8 a factor of k/1*18 - -1?
False
Let m = -4 - -15. Does 8 divide m?
False
Let f(d) = 2*d + 23. Is f(0) a multiple of 15?
False
Suppose 0 = 2*r - 2*m + 3*m - 549, 564 = 2*r - 4*m. Does 23 divide r?
True
Let a be 12/(-4) - (-1 + -2). Suppose a*s = 2*s + 5*n - 57, 0 = -5*s + 3*n + 127. Is s a multiple of 7?
False
Is (-25)/2*(-252)/35 a multiple of 30?
True
Let t(m) = -2*m**3 - 3*m**2 - 3*m - 2. Does 8 divide t(-2)?
True
Suppose 2*j + 4 = j, 4*k = 5*j + 36. Let u be (-1)/(-2)*(11 + -5). Suppose -p = -1 - 3, -u*a = k*p - 46. Is a a multiple of 10?
True
Let k(j) = j**2 - 4*j - 2. Let o be 23/(-7) + (-8)/(-28). Does 9 divide k(o)?
False
Suppose 4*m = -4*y - 28, -y - 5*m - 14 + 3 = 0. Does 11 divide (-32)/y*(-6)/(-2)?
False
Let o = -36 + 37. Suppose 5*w - 12 = 3*i - i, -4*w + 11 = -3*i. Is 9 a factor of o*(17 + 1 + i)?
False
Suppose -2*l - 4*j + 423 = l, -4*l + 3*j = -564. Is l a multiple of 11?
False
Suppose 4*j = -10 + 42. Is j even?
True
Is (86/4)/((-4)/(8*-1)) a multiple of 20?
False
Let n = -41 - -69. Does 6 divide n?
False
Suppose 0*q + q = -8. Let j be (-2)/q + (-1)/4. Suppose j*d = d - 17. Is 6 a factor of d?
False
Suppose -w - 33 = -2*d, -4*d = w + 4*w - 45. Is 4 a factor of d?
False
Let p = 61 - 42. Suppose -15 = -w - 2*j, j - 2*j = w - p. Is w a multiple of 8?
False
Let u = -7 - -165. Is 13 a factor of u?
False
Let u = -27 + 33. Is 8 a factor of ((-32)/(-10))/(u/45)?
True
Let v(f) = f**2 - 5*f - 8. Suppose -2*i - 4 = -28. Let l be v(i). Suppose 0 = 4*o - 2*o - l. Does 16 divide o?
False
Suppose -5*o - 11 = -4*n, -5*n = o + 6 + 2. Let k(j) = 15*j**2 + j + 1. Does 5 divide k(n)?
True
Is (-3)/((-2)/((-6)/9))*-248 a multiple of 30?
False
Suppose 0 = 8*c + c - 108. Is 4 a factor of c?
True
Suppose -3*u + 3*c + 9 = 0, 5*u - c - 2*c = 15. Is (-28)/(-2) - u/1 a multiple of 10?
False
Let k(u) = 42*u**2 - 3*u - 5. Let m be k(4). Is (-1)/2 - m/(-10) a multiple of 17?
False
Let g(i) = -i**2 - 4*i - 1. Let o be g(-3). Let t(h) = -2 + o*h**2 + 9*h - h - h. Does 14 divide t(-6)?
True
Let m(j) = -2*j - 1. Let l be m(-2). Suppose -l*b = 101 - 29. Is 9 a factor of (1 - b) + (-8)/(-4)?
True
Let c be 108*(0 - (-2)/4). Let l be (-2)/(-9) - (-1986)/c. Suppose -n = -2*n + l. Is n a multiple of 15?
False
Suppose -16 = -4*t, -2*t + t = -4*o + 104. Let r = o - 38. Let z = 25 + r. Is z a multiple of 10?
False
Suppose 0 = -4*m + 62 + 98. Suppose m = 2*d - 48. Is 26 a factor of d?
False
Let w = 2 + 4. Let m = 17 + w. Suppose 0 = 5*y + 4*u, 0 = -2*y + 3*u - 0*u + m. Is 4 a factor of y?
True
Let q(j) = 9*j + 1 + 0 - 2*j. Let n = 2 - 1. Does 4 divide q(n)?
True
Let j be (-2 - -2)*(0 - -1). Let l(i) = i + 2. Let q be l(j). Is (q - 4)*2/(-1) a multiple of 3?
False
Suppose -3*b = -h + 6*h - 16, 0 = -h - 5*b - 10. Suppose -2*v - 3*u = -h*v + 69, -77 = -3*v + u. Is 11 a factor of v?
False
Let u(i) = 3*i**2 + 2*i - 6. Let y be u(5). Let t = -40 + y. Does 10 divide t?
False
Suppose -g - 4*b = 51, -g = -3*g + 3*b - 135. Let s = 121 + g. Suppose -5*c - 2*n = -121, -n - s = -2*c + 3*n. Does 11 divide c?
False
Let j(v) = v**2 + 6*v + 2. Let z be j(-6). Suppose -3 = -z*b - 7. Let r(l) = 2*l**2 - l - 2. Does 4 divide r(b)?
True
Let f(h) = -3*h**3 - h**2 - 2. Suppose i + 35 = 5*t, -5*t + 35 = -0*t + 2*i. Let d(q) = -q**2 + 8*q - 9. Let p be d(t). Is 9 a factor of f(p)?
True
Suppose 2*p - 13 = -d, p - 8 = -0*p - d. Suppose 0 = -2*b + p + 5. Suppose 0 = b*h - 26 - 74. Does 20 divide h?
True
Let g(p) = 1. Let l(j) = -18*j + 27. Let q(b) = -27*g(b) + l(b). Suppose 2 - 1 = d, 0 = f - 5*d + 7. Does 13 divide q(f)?
False
Let f(o) = -11*o + 8. Let j be f(-6). Let g = 131 + j. Suppose 6*l - g = l. Is l a multiple of 14?
False
Let f(t) = 4*t - 2*t**3 + 6*t**2 - 8*t - 2 + 3*t**3 - 3*t. Let p be f(-7). Let c(o) = 2*o**2 + o - 1. Is c(p) a multiple of 5?
True
Suppose -11*a = -6*a - 300. Is 20 a factor of a?
True
Let f(x) = x - 3. Let d be f(-9). Let y be d/(-16) - 5/(-4). Is ((-2)/y)/(2/(-86)) a multiple of 12?
False
Suppose -310 = 5*k - 790. Does 12 divide k?
True
Let b = 152 - 28. Does 14 divide b?
False
Let k = -9 - -11. Suppose f - 2*f = 5*a - 39, k*a + 3*f - 13 = 0. Is 7 a factor of a?
False
Suppose -s + 24 = 4*c, 7 + 5 = 2*c - 4*s. Let l(w) = -2 + 1 + 6*w - 4. Does 15 divide l(c)?
False
Let x be -2*102/4 - -3. Is 11 a factor of (-5)/((-5)/(-2)) - x?
False
Suppose -2*u = 3*u. Let t = u - -26. Is t a multiple of 7?
False
Let a = 29 + 7. Does 6 divide a?
True
Is (-12)/18 + 190/6 a multiple of 14?
False
Let f be 4*2 - (-1 - 0). Suppose 0 = -o + 3*o + 2*g + 2, -5*g = 0. Let d = f + o. Does 8 divide d?
True
Let n = 1 + 7. Let l be 14/n + 1/4. Is (l - (-21)/6)*2 a multiple of 11?
True
Let i = -5 - -7. Does 2 divide i?
True
Suppose 19*y + 663 = 22*y. Does 17 divide y?
True
Suppose -3*u + 118 + 650 = 3*x, 4*u - 3*x - 996 = 0. Suppose -3*j - j = -u. Is j a multiple of 15?
False
Suppose -3*b = b - 80. Suppose 224 = 4*m + b. Does 17 divide m?
True
Let r(j) = 0 + 2*j - 10*j - 2. Does 16 divide r(-6)?
False
Let u be 5 + 2*1/(-2). Suppose -u*m = 5*l - 62, 5*m + 2 = l + 7. Is l a multiple of 10?
True
Suppose 2*g - 2*y - 70 = 0, -4*y - 163 = -5*g - 5*y. Suppose 3*p = -4*o + 26, 0 = 4*o - 2*p + 3*p - 22. Suppose -o = 2*l - g. Is 5 a factor of l?
False
Suppose -2*m - 24 = -2. Let i = 40 + m. Is i a multiple of 5?
False
Let d(c) = c**2 - 3*c + 2. Let u be d(3). Suppose 0*i + 3*i = -3*x + 87, -3*i = u*x - 63. Is 24 a factor of x?
True
Let k(m) = -m + 34. Does 9 divide k(16)?
True
Does 16 divide 4/((-4 - 17/(-4))/19)?
True
Let u(s) = -s**3 + 2*s**2 + s - 2. Let w be u(2). Suppose w = 2*m + m + 48. Is 14 a factor of m/6*42/(-8)?
True
Let i(d) = d**3 + 14*d**2 - 5*d - 18. Is i(-14) a multiple of 12?
False
Is 22 a factor of (-2)/(-11) + (3 - (-2792)/11)?
False
Let j(f) = 3 + 3*f - 6 + 1. Is j(4) a multiple of 8?
False
Suppose 11 - 5 = 2*r. Does 3 divide r?
True
Let z be 2/7 + (-27)/21. Let p(i) = -5*i**3 + i**2 - 1. Is 2 a factor of p(z)?
False
Suppose -u = g + 3*u + 6, 5*u = -4*g + 9. Let k be 1*-2*(-153)/g. Let d = -35 + k. Is d a multiple of 8?
True
Suppose 95 = 2*s + 4*m - 79, -5*s = -m - 402. Is 13 a factor of s?
False
Let t(l) = l**3 + 7*l**2 + 5*l + 3. Let s(w) = w**3 + 13*w**2 + 9*w + 6. Let n(v) = 3*s(v) - 5*t(v). Is 29 a factor of n(-3)?
True
Suppose -n + 6*n - 20 = 0. Suppose n*q - 69 = 3. Is q a multiple of 18?
True
Let p(t) = t**3 - 3*t**2 + 2*t + 3. Is p(4) a multiple of 8?
False
Let l(y) = -y + 12. Let g be l(10). Suppose t + 33 = -5*h, g*t + 2 = 3*t. Is (-14)/2*12/h a multiple of 4?
True
Suppose 0 = -5*p - 88 + 248. Suppose 5*l - p = -12. Suppose l*j - 25 = -j. Is j even?
False
Let q = 87 - 56. Is q a multiple of 10?
False
Let q(h) = h**2 - h - 2. Let v be q(0). Let p = v - -2. Suppose 15 = -3*d, 2*d - 10 = -2*z - p*d. Is 10 a factor of z?
True
Suppose 4*h - 5*u = 297, -3*h + 3*u - 6*u + 189 = 0. Is h a multiple of 16?
False
Let v = -43 + 77. Does 17 divide v?
True
Let u(t) = t**2 - 6*t - 2. Let n be u(5). Let p = 10 + n. Suppose -p*x = -4*w + 66, 5 = x + 3. Is 16 a factor of w?
False
Let q = -8 - -106. Is q a multiple of 16?
False
Let w(a) = -1. Let x = 1 - 0. Let q(m) = -3*m + 1. Let z(k) = x*q(k) + 6*w(k). Does 10 divide z(-5)?
True
Let d(l) = 2*l - 10*l**2 + 2 + l**3 + 3*l + 4*l. Let s be d(9). Does 14 divide -2 + (-48)/(s + -5)?
True
Suppose -7*z = -2*z - 105. Let b = z + 7. Suppose 5*f + 0*f - v - 44 = 0, b = 5*f + 3*v. Does 6 divide f?
False
Suppose -2*a + 3*o + o - 6 = 0, -4*a + 18 = -2*o. Does 7 divide a?
True
Suppose -4*r + 21 = 1. Suppose r*i = -0*i. Suppose i = -3*l + l + 20. Is 10 a factor of l?
True
Let f be (-8)/(-3) + 2/6. Suppose 0 = g + f*g - 44. Is