oes 8 divide q?
False
Let u(w) = -w**3 + 6*w**2 + 6*w - 5. Let f be u(5). Let b = f + -33. Does 5 divide b?
False
Suppose -38 = -2*o + 70. Suppose -m - o = -4*m. Is 18 a factor of m?
True
Let r(o) = -o**2 + 6*o - 1. Let f(k) = k**3 - 5*k**2 + 5. Let x be f(5). Is 3 a factor of r(x)?
False
Let r(m) = 3*m - 1. Let d be r(1). Suppose 3*i + f - 1 = d*f, i - 2*f = -8. Does 13 divide (104/16)/(1/i)?
True
Suppose -2 - 4 = -3*c. Suppose -28 = -c*j - 10. Does 9 divide j?
True
Let a = 31 - -53. Is 12 a factor of a?
True
Let t be (2/2 + -3)/(-1). Suppose 2*a = a + t. Suppose -k = -a*k - 2*c - 1, 3*k - c = 18. Is 5 a factor of k?
True
Let q(b) = b**2 + 9*b + 3. Let n be q(-6). Let k = 27 + n. Is k a multiple of 5?
False
Let s be 0/3*(-2)/(-4). Let b = 3 - s. Suppose 2*k - b*k + 2*j = -18, 2*k + 4*j - 52 = 0. Does 11 divide k?
True
Suppose 6*k + 200 = 842. Is k a multiple of 38?
False
Suppose 0 = k - 4*k + 135. Let a be (-4)/3*k/2. Does 11 divide -5 - 9/(-3) - a?
False
Let k = -39 + 161. Is k a multiple of 30?
False
Suppose -14*i = 1155 - 4963. Does 17 divide i?
True
Let r = -51 + 87. Is r a multiple of 19?
False
Suppose -2*g - 8 = 5*q, 3*g + 5 + 7 = -3*q. Let c = 5 - q. Is 5 a factor of c?
True
Suppose -7*f - 4*v = -3*f - 40, 5*f - 50 = -4*v. Suppose f*s - 280 = 5*s. Is s a multiple of 15?
False
Is -4 + 1 + 2 - -21 a multiple of 10?
True
Suppose -5*z = 4*c + 307, 2*c - 4*c + 230 = -4*z. Let w = -31 - z. Does 8 divide w?
False
Let m = -1 + 3. Suppose 0 = -4*r - m*b + 126, -r = -0*b - 3*b - 49. Suppose 0 = -3*l + 4*u + r, -3*l - 24 = -5*l + 3*u. Does 6 divide l?
True
Let c(i) = -4*i**3 - 9*i**2 - 7*i - 1. Let m(r) = 5*r**3 + 10*r**2 + 8*r + 2. Let w(d) = -6*c(d) - 5*m(d). Does 3 divide w(4)?
False
Let s(u) = -4*u**3 + u**2 - 1. Let t be s(1). Is t/(1 - (-18)/(-14)) a multiple of 14?
True
Suppose 3*m = -3*f + 45, 2*f + 9 = -f. Is (m/8)/((-8)/(-96)) a multiple of 20?
False
Let i be 9/3 - (-64)/4. Suppose -16 - i = -5*d. Is 5 a factor of d?
False
Let q = 7 + -25. Is 13 a factor of ((-26)/(-4))/((-3)/q)?
True
Let m(t) = 2*t**2 + t - 1. Let i(c) = 3*c + 9. Let l be i(-4). Is 14 a factor of m(l)?
True
Let a(k) = k**2 + k - 5. Let j be a(-5). Let o = j - 10. Suppose -170 = -5*r - 5*u, 2*r - 23 - 24 = o*u. Is r a multiple of 17?
False
Suppose -v = 2*v - 15. Suppose -2*r = -2*i - 16, -2*r + r + 2*i + v = 0. Does 5 divide r?
False
Let l = -23 - -33. Is 4 a factor of l?
False
Let f = -5 - -6. Is 18 a factor of 4 + (-4)/f*-8?
True
Let x(i) = i**3 - 3*i**2 + 2*i - 3. Let a be x(3). Let r(g) = 4*g**2 - 2*g - 2. Is 13 a factor of r(a)?
False
Suppose 0 = 8*x - 3*x. Let h = 4 - -36. Suppose -h = -x*z - 4*z. Does 4 divide z?
False
Suppose -4*v + 46 - 161 = -3*i, -3*v = i - 60. Is i a multiple of 15?
True
Let g = -139 + 203. Suppose -2*y = -6, y + y - g = -2*h. Suppose -h = -5*z - i + 8, 2*z = 3*i + 25. Is 8 a factor of z?
True
Let i be (-5 - 0)*(-8)/20. Suppose 74 = i*q + 14. Does 6 divide q?
True
Let o(x) = -x**3 + 5*x**2 + 4. Is o(4) a multiple of 10?
True
Let q = 4 + -5. Let j(l) = -l**2 + 1. Let b be j(q). Suppose b*a + 63 = 3*a. Is 8 a factor of a?
False
Suppose 2*u - 8 = -2. Suppose -n + 34 = 5*x, -2*x + 4 = -n + u. Is n a multiple of 9?
True
Let z(t) = t**3 + t**2 - 15*t + 13. Does 3 divide z(4)?
True
Let s = 12 + -12. Suppose 5*b - 41 - 94 = s. Does 9 divide b?
True
Let p(c) be the second derivative of c**4/12 + c**3/6 - c**2/2 - 2*c. Suppose 2 = 2*d - 2. Does 4 divide p(d)?
False
Let j = -12 - -7. Suppose 7 = -4*m + 39. Let t = m + j. Is 3 a factor of t?
True
Let n(m) = -6*m + 24. Is 16 a factor of n(-12)?
True
Let p(t) = -t**2 - 13*t + 1. Is 31 a factor of p(-10)?
True
Let s(f) = -21*f**2 - 41*f - 29. Let c(o) = 5*o**2 + 10*o + 7. Let p(t) = 9*c(t) + 2*s(t). Is p(-5) a multiple of 9?
False
Let j(k) = 6*k**3 - 1 + 0 - 49*k**3. Does 24 divide j(-1)?
False
Let o(q) = -39*q**3 - 3*q**2 + 5. Let y(n) = -20*n**3 - 2*n**2 + 3. Let r(c) = -c. Let w be r(7). Let k(a) = w*y(a) + 4*o(a). Does 6 divide k(-1)?
False
Suppose -8*j = -4*j. Suppose 3*i + 2*i + 5*d - 240 = j, -2*i = -4*d - 114. Is 13 a factor of i?
False
Let p be -2*3/(-6)*1. Let s(w) = 25*w**2. Let f be s(p). Suppose f = n + 4*n. Does 4 divide n?
False
Let v = 108 + -66. Is 9 a factor of v?
False
Let r(g) = -g**3 - 4*g**2 - g - 4. Let z be r(-5). Let b = 48 - z. Is 11 a factor of b?
True
Let d(q) = -23*q - 17. Does 11 divide d(-6)?
True
Let q = -3 + 9. Is 4 a factor of q?
False
Let k = -23 + 13. Let s = 1 - k. Does 5 divide s?
False
Let r be 11/(-9) - 10/(-45). Let a be 3/(9/(-6)*r). Let h = 9 - a. Does 4 divide h?
False
Let a be (-140)/(-6) + (-5)/15. Let v = 1 + a. Is v a multiple of 12?
True
Suppose 13 + 1 = j. Is 7 a factor of j?
True
Suppose -5*w + 3*w = -2*j + 16, 0 = -2*j - 5*w + 37. Does 11 divide j?
True
Let x = -91 + 171. Suppose x = b + b. Is b a multiple of 14?
False
Let i be 18/15*10/4. Suppose -w + 4*a + a + 52 = 0, 0 = -2*w + i*a + 69. Is w a multiple of 17?
False
Let y = 190 - 70. Let a = -50 + y. Is 16 a factor of a?
False
Let r be 1/(-4)*-2*6. Let m(i) = -3*i - 4*i**2 - 11*i**r - 4*i**2 + 4 + 9*i**3 + 3*i**2. Does 11 divide m(-3)?
True
Let n = 10 + -17. Let h(t) = t**3 + 7*t**2 - t + 8. Is h(n) a multiple of 8?
False
Suppose 0 = z - 5 - 0. Is (28/z)/((-1)/(-5)) a multiple of 14?
True
Let v(p) = -4*p. Let n be v(1). Is 3 a factor of (-18)/n - (-1)/2?
False
Let d(h) = 2*h**3 + 3*h**2 - 2*h - 2. Does 11 divide d(2)?
True
Suppose 9 = l + 5*c, 3*l = l - c + 18. Suppose -l = -4*r - 1. Suppose -11 = -t + 5*g, -g - 44 = -r*t - 2*t. Is t a multiple of 5?
False
Let k = 72 - 19. Does 24 divide k?
False
Suppose -3*y + 2*n - 4*n = -1145, 3*y = 5*n + 1138. Does 25 divide y?
False
Suppose 5*f + 4*q - 17 = 15, 2*f + 7 = 5*q. Suppose -5*n = -0*n + 15, -72 = -f*b + 4*n. Is 15 a factor of b?
True
Suppose 6 = -4*f - j + 15, 4*f - 5*j = 27. Let r = f + 15. Does 6 divide r?
True
Suppose -h + 59 = -3*z, 2*h = h + 2*z + 59. Suppose 3*u + h = 263. Is u a multiple of 34?
True
Let c be -1*(-56)/(-3)*-3. Suppose -3*x + 5*p + 32 = 6, -2*x = -5*p - 24. Suppose -4*u + 157 = j, -x*u + c = -0*u - 4*j. Is 18 a factor of u?
False
Let h(i) be the third derivative of i**4/8 + i**3/2 + 4*i**2. Is h(4) a multiple of 8?
False
Let w be ((-610)/(-20))/((-1)/2). Let i = 101 + w. Is 15 a factor of 1792/i + (-1)/(-5)?
True
Suppose 0*i + 4*i - 492 = 0. Suppose 2*l + 36 = t, 0 = 2*t + t - l - i. Is 14 a factor of t?
True
Let g = 6 + -3. Let j(f) = 3*f**g - f**2 - 1 - 5*f + 2*f - 2*f**3. Does 15 divide j(4)?
False
Let o = 90 + -58. Is o a multiple of 10?
False
Suppose -5*m + 17 - 2 = 0. Suppose 3*q = m*r + 21, -2*q + 6*q - 3*r - 27 = 0. Suppose 7 + q = k. Is k a multiple of 9?
False
Suppose -9*w + 2*w = -182. Is 9 a factor of w?
False
Let v(t) = -2*t**3 + 3*t**2 + 7*t - 2. Let c(j) = -j**3 + 3*j**2 + 6*j - 1. Let d(g) = -3*c(g) + 2*v(g). Does 8 divide d(-4)?
False
Let g = -1 - -5. Suppose 0 = g*d - 5*t - 61, -3*t = d - 0*t + 6. Let r = d - 0. Is 4 a factor of r?
False
Let y(w) = w + 13. Let a be y(-9). Suppose 5*l + a*h - 338 = 0, -292 = -3*l - l + 4*h. Is l a multiple of 19?
False
Let o(f) = -f - 5. Let u be o(-7). Suppose -5*l - 3*c = 60 - 172, 3*l - 71 = u*c. Is 23 a factor of l?
True
Suppose 0 = 4*q - 2*o - 8, 2*q + 0*o + 8 = 4*o. Suppose 0*c + 5*c + 11 = -k, -k - q*c - 8 = 0. Is ((-30)/k)/((-6)/8) a multiple of 6?
False
Let b = -26 + 55. Suppose 4*p - 2*p - 8 = 4*l, -b = -2*p - 3*l. Is p even?
True
Let o(d) = -d**3 + 7*d**2 - d + 9. Let l be o(7). Let g = 33 - l. Let a = g - 15. Does 6 divide a?
False
Suppose -5*v + 6*v = 15. Is 4 a factor of v?
False
Let i be 7*((-20)/7 - -2). Let f = -3 - i. Suppose -f*r - 31 + 85 = 0. Does 14 divide r?
False
Let h = 192 + 0. Is 24 a factor of h?
True
Let z(d) = d**3 - 9*d**2 + 9*d - 12. Let r be z(8). Let x = -1 - r. Suppose -5*a - 15 = -5*n, 0*n = x*n + 5*a - 49. Is 4 a factor of n?
True
Suppose 3*u = 2*u - 5, -3*u = -4*m + 247. Suppose -4*p - 4*r + 2*r + m = 0, 7 = p + 3*r. Is p a multiple of 11?
False
Let x be ((-8)/2)/1 + -1. Let m = x - -7. Is 2 a factor of m?
True
Let d be (-9 + -1)/(6 - 7). Suppose 6 = 3*b, -i + d = -0*i + 2*b. Is i a multiple of 3?
True
Let w be 0 - (0 + -3 - 3 - -3). Suppose 5*z - 12 = -2, 2*i - 5*z - 2 = 0. Does 3 divide i + w*(-2 + 3)?
True
Let r(u) = -u**2 + 9*u - 9. Le