)?
True
Let r(m) = m**3 + 2*m**2 - 3*m - 2. Suppose -5*o - 3*f - 15 = 0, 3*o + 3*f + 13 = 4. Let y be r(o). Does 12 divide y/(-11) + (-780)/(-66)?
True
Suppose -t + 12 + 24 = 5*j, -4*j = -2*t + 114. Is (t/34)/((-3)/(-88)) a multiple of 5?
False
Let o = 223 + -147. Does 19 divide o?
True
Suppose 4*k + 167 = 2*j - 239, 0 = 4*j + 2*k - 762. Is j a multiple of 23?
False
Let u(s) = -s**2 - 7*s + 11. Let t(o) = 3*o**2 + 14*o - 23. Let c(r) = 2*t(r) + 5*u(r). Let f be c(6). Suppose -f*v + 4*v = 73. Is v a multiple of 13?
False
Suppose 14*s - 11*s - 6 = 0, 5*t = 3*s + 2979. Does 3 divide t?
True
Suppose -q = 2*q - 918. Let o be (0 - -1)/(3/q). Suppose 3*b - o - 18 = 0. Is 7 a factor of b?
False
Suppose 7*g - 99 = -36. Let f = 13 - g. Suppose f*b - 111 = b. Is 5 a factor of b?
False
Suppose -562 = -7*a + 117. Let d = -57 + a. Is d a multiple of 36?
False
Suppose 0*z = -z - 3, -3*d = -3*z - 39. Suppose -y - 171 = -d*y. Is 5 a factor of y?
False
Suppose 0 = -4*f + 147 + 53. Suppose -17 = -2*n + n. Suppose 0 = 3*m + n - f. Does 11 divide m?
True
Let w = -6 - -6. Suppose 4*z - 334 - 46 = w. Is 19 a factor of z?
True
Let n(x) = -2*x**2 + 44*x - 63. Let w be n(20). Suppose 0 = 3*s + 3*a - 6, 4*a - 9 = s - 6*s. Does 5 divide w - (1 + -1 + s)?
False
Let s(z) = -3*z + 6. Let o be s(-19). Let q = o + -49. Does 8 divide q?
False
Let u = 15 - 20. Let z(b) = -11*b + 13. Is 21 a factor of z(u)?
False
Let z = 247 - 151. Is 44 a factor of (0 + -48)*(-704)/z?
True
Suppose 3*w - 95 = -5*n, w + 38 = n + n. Suppose 21*f - n*f - 92 = 0. Is 23 a factor of f?
True
Suppose r + 0*r = -3, 5*r = 3*k - 159. Is 4 a factor of k?
True
Does 7 divide ((-8)/(-10))/(22/5115)?
False
Let r(l) = 2*l**2 - 9. Let a be r(6). Let o = -44 + a. Let i = o - 6. Is 3 a factor of i?
False
Let p(j) be the first derivative of j**3/3 - 7*j**2/2 - 12*j - 14. Does 43 divide p(-6)?
False
Let r(k) = 2*k**3 - 17*k**2 + 13*k - 18. Suppose -3 = -3*x, 2*f - 2*x + 18 = 4*f. Is r(f) a multiple of 11?
True
Suppose -19173 = 14*l - 25*l. Is l a multiple of 19?
False
Let w = 932 - -346. Is 11 a factor of w?
False
Let u(s) = s**3 - s. Let t(n) = -6*n**3 + 25*n + 2. Let i(q) = -t(q) - 4*u(q). Is i(5) a multiple of 13?
True
Suppose -9 = -11*q + 8*q. Suppose -6*h + q*h = -213. Let l = -7 + h. Does 16 divide l?
True
Let y = -909 - -1431. Does 18 divide y?
True
Let p(z) be the third derivative of -z**4/8 + 3*z**3/2 + 6*z**2. Does 5 divide p(-7)?
True
Let k(m) = m**3 - 11*m**2 - 11*m - 6. Let c be k(12). Suppose -8*x = 4*p - c*x - 486, -x - 245 = -2*p. Does 8 divide p?
False
Suppose 3*j + 24 = 2*i, -j - 22 = -0*j + 4*i. Let f = j + 12. Is 3 a factor of 35/3 + f/6?
True
Let b(h) = -4*h**3 + 75*h**2 - 26*h - 13. Is b(16) a multiple of 5?
False
Suppose 3*p - 41 = 58. Let n = p + 2. Is n a multiple of 6?
False
Let a = -33 - -37. Suppose 3*q = 15, a*x - x + 2*q - 43 = 0. Does 2 divide x?
False
Is 52 a factor of 2/(-7) - (-490410)/210?
False
Let g = 239 - 7. Suppose 5*h - 3*h - g = 0. Does 29 divide h?
True
Let o be (3/3)/(6/(-726)). Let s = o - -256. Suppose 5*k - s - 210 = 0. Does 10 divide k?
False
Suppose -16*x + 11*x = 0. Suppose -3*f + 44 = -2*k, x = 5*f - 2*k + k - 64. Let m = 26 - f. Is m a multiple of 9?
False
Suppose 3*k + 15 = 0, q = -0*q + 4*k + 24. Is (q/(-1))/(14/(-476)) a multiple of 25?
False
Let v = 5 + 0. Let w(m) = -m**2 + 6*m - 3. Let s be w(v). Is 15 a factor of -4 + 8 - (-32)/s?
False
Let k(q) = 13*q**2 - 4*q + 3. Let a(v) = v**3 + 5*v**2 - 6*v + 2. Let w be a(-6). Does 15 divide k(w)?
False
Let f(a) = -5*a**2 + a - 2. Let g be f(1). Let q(n) = n**3 + 8*n**2 + 4*n + 16. Is q(g) a multiple of 10?
False
Let r(w) = -w**3 - 15*w**2 - w + 11. Let m be r(-15). Suppose c + m = 3*b - b, -2*b + 6 = 4*c. Is 11 a factor of b?
True
Let f be -1*6/9*-3. Suppose 0 = -f*b + 6*b - 60. Suppose -b*p - 345 = -20*p. Does 23 divide p?
True
Suppose 0 + 5 = 5*o. Let d be (o + 5)*(-9)/27. Let g(w) = -w**3 + w**2 - 3*w - 1. Is 7 a factor of g(d)?
False
Suppose -2*v - 76 + 316 = -2*u, 0 = -3*v - u + 360. Suppose -h - v = -5*h. Suppose -5*r + 105 = -h. Is 9 a factor of r?
True
Let f(k) = 17*k**3 + k**2 + 10*k - 50. Does 19 divide f(3)?
False
Suppose 3*u - 46*c = -44*c + 11138, u + 3*c = 3709. Is 29 a factor of u?
True
Let w(h) = 28*h - 1. Let x be w(5). Suppose 3*t - 386 = x. Is 35 a factor of t?
True
Let l = -3 + 5. Let x = l - -11. Does 3 divide x?
False
Suppose -3*p - 5*f + f = 21, -2*p = 4*f + 18. Let x = 11 + p. Suppose -x = 2*w - 0, 5*n + 2*w = 37. Is 4 a factor of n?
False
Suppose 2*t = -2*o - t + 2374, -5*t = 5*o - 5940. Does 70 divide o?
True
Let r(f) = f**3 - 5*f**2 + 6*f - 2. Let h be r(5). Suppose 0 = -2*u + h + 28. Does 14 divide u?
True
Let t be 1 + -9 + (4 + 2 - 5). Does 3 divide (-4 - -1)/3*t?
False
Suppose -3*p = 3*z + 3, 0 = -3*p + 5*z - 4 + 9. Suppose 2*u + u + 4*a + 3 = p, -5*a - 10 = 5*u. Does 3 divide (8/u)/((-6)/15)?
False
Suppose 5*o - 395 = 340. Is 7 a factor of o?
True
Suppose 10*v + 3*v + 2808 = 0. Let f = -120 - v. Is 12 a factor of f?
True
Suppose 5*q - 3015 = -x, 2*q = -19*x + 24*x + 1179. Is q a multiple of 14?
True
Suppose 3 = m - b, 0 = 4*m - 5*b - 19 + 2. Let c = 5 + m. Let q = c - -2. Is q a multiple of 3?
False
Let u(o) = 7*o. Let y be u(0). Suppose 2*f - 6*f = 4*l - 140, 4*f + l - 131 = y. Is 5 a factor of f?
False
Let i = 1554 + -1011. Is i a multiple of 78?
False
Let o(j) = -j**3 + 9*j**2 - 9*j - 8. Does 2 divide o(7)?
False
Suppose -420 = 4*j + 60. Let c = 188 + j. Does 9 divide (-10)/15 + c/3?
False
Let b = 1157 - 600. Is b a multiple of 25?
False
Let i = -24 + 43. Let d = -9 + i. Is 5 a factor of d?
True
Suppose -5*n - 2*o + 1919 = 0, -1540 = n - 5*n - 4*o. Is n a multiple of 35?
False
Is (4/(-8) - -3)*(102 + -4) a multiple of 17?
False
Suppose -20*l + 6120 + 2680 = 0. Is 22 a factor of l?
True
Let u = 12 + -7. Suppose -597 = -4*k + u*q - 172, -k - 4*q + 80 = 0. Is 10 a factor of k?
True
Let f be 0 - 5/((-15)/(-63)). Let b = 15 + f. Is 6 a factor of (b/(-10))/((-3)/(-30))?
True
Let v(c) be the third derivative of -5/24*c**4 + 7/6*c**3 - 7*c**2 + 0*c + 0. Is 16 a factor of v(-4)?
False
Suppose -47*d + 131005 = -12*d. Is 33 a factor of d?
False
Let h be (1*(-3 + 3 - -1))/(-1). Does 5 divide 2*h/8 + (-313)/(-4)?
False
Let a be 8/12*-3 + -106. Let p be a/8*(-16)/3. Suppose r + 4*h = 23, -3*r + r + 5*h = -p. Is r a multiple of 11?
False
Let d = 12 - 139. Let a = -111 - d. Does 3 divide a?
False
Let t(y) = y**3 - 2*y**2 - y + 514. Let w be t(0). Let s = w - 328. Does 14 divide s?
False
Suppose -9 - 126 = -9*p. Is (-2)/10 + 528/p a multiple of 7?
True
Suppose 0 = -5*f + 3*y + 100 - 2, -2*f - 3*y = -35. Let d = f - -54. Does 13 divide d?
False
Let t(n) = 5 + 3*n**2 - 1 - 2 - 3*n + 3. Let h be t(5). Let u = h - 43. Is 22 a factor of u?
True
Let o(n) be the third derivative of -n**6/120 + n**5/12 - n**4/8 + 2*n**2. Let h be o(4). Suppose i = 5*m + 23, -h*m - 23 = -i - 8*m. Is 7 a factor of i?
False
Suppose 10081 = 10*x + 481. Does 10 divide x?
True
Suppose 2*o - i = -2*o - 182, -143 = 3*o - 4*i. Does 36 divide (168/35)/((-48)/o + -1)?
True
Let d be 5/(2/(60/25)). Suppose d*u - 32 = 5*u. Is 8 a factor of u?
True
Suppose -2*b = -17*b + 8250. Does 25 divide b?
True
Let v be 60/27 - (-10)/(-45). Let j be (v - 2)/(18/9). Suppose -4*h - 217 = -5*q, j = 4*q - h + 3*h - 184. Is 15 a factor of q?
True
Let r = 3 + -2. Suppose -41 = -5*g + 2*j, -g - 2*j + r = -6*j. Let b = 19 - g. Is 7 a factor of b?
False
Let g(n) = n**3 - 6*n**2 + 3*n - 14. Let l be g(6). Suppose 4*r - 426 = -l*w + 158, -3*r = 4*w - 442. Does 20 divide r?
False
Let z(o) = -o**3 - 25*o**2 - 33*o + 15. Does 10 divide z(-25)?
True
Suppose -15*r + 20919 = -5151. Does 22 divide r?
True
Let f = 61 - 57. Suppose 4*i = -f*t + 560, t - 4*i + 51 = 181. Does 16 divide t?
False
Suppose -5*p = -5*x + 710, -p + 291 = 2*x + 4*p. Suppose -2*y - 19 = -13*f + 12*f, 2*y = -5*f + x. Is 9 a factor of f?
True
Suppose 0 = -4*h + 19 - 11. Suppose 3*y - 127 = -h*a + 8, 84 = a - 4*y. Does 18 divide a?
True
Let n = 17 + -13. Let i be 78 + -1 + n - 2. Let k = 135 - i. Is 14 a factor of k?
True
Let k(u) be the second derivative of -7*u**4/12 + 7*u**3/6 + 7*u**2/2 + 10*u. Let n(h) be the first derivative of k(h). Is 10 a factor of n(-3)?
False
Let d be 21/3 + -3 + 1. Su