e
Let j(s) be the third derivative of s**6/120 - s**4/4 + s**3/2 + 2*s**2. Let g be j(5). Let c = -58 + g. Is 20 a factor of c?
True
Let d be ((-2)/1 + 6)/2. Suppose 0 = 4*y + 5*u - 11, -7*y + d*y + 2*u + 22 = 0. Let o(x) = x**3 - 2*x**2 - 6*x + 1. Is 9 a factor of o(y)?
True
Let k(h) = -h + 1. Let g be k(0). Is ((-65)/(-15))/(g/9) a multiple of 13?
True
Let z be ((-8)/(-6))/(2/(-3)). Let d(y) = -3*y**3 - y**2 - y - 1. Is 8 a factor of d(z)?
False
Suppose -2*i = i - 9. Suppose 3*c - 35 - 52 = -3*r, i*r = -6. Is 14 a factor of c?
False
Let n(i) = 6*i**2 - 3*i + 1. Is n(3) a multiple of 20?
False
Let v(x) = 7*x**2 - 2*x + 2. Let a be v(2). Let t = 1 + a. Let n = t + 15. Does 21 divide n?
True
Let v(h) = h. Let x be v(1). Let c be ((-1)/1)/x*-27. Let w = 9 + c. Does 18 divide w?
True
Suppose 5*k - 29 = -9. Suppose -2*g = -t + 38, -k*t + 3 = -3*t + 5*g. Is t a multiple of 8?
False
Let t be 2/((-2)/47)*-2. Let p = t + -42. Is p a multiple of 16?
False
Let h(j) = j - 7. Let s be h(8). Let b be 1*-3*(s + -8). Suppose 0 = 5*t - b - 24. Is 6 a factor of t?
False
Let b(k) = 14*k**2 + 2*k + 3. Does 47 divide b(4)?
True
Suppose 2*d = -2*m - 2*m + 534, 3*m - 399 = -2*d. Suppose 0 = -5*z - x + 162, 0*x = 4*z - x - m. Is 10 a factor of z?
False
Let i = -17 + 57. Is i a multiple of 11?
False
Let l be 2/(-5) - (-64)/(-40). Is 1 + 0 + (-56)/l a multiple of 6?
False
Let v(w) = -w**2 - 3*w - 2. Let x be v(-4). Does 14 divide (-616)/(-33)*x/(-4)?
True
Let f(u) = -2*u**2 + 4*u - 3. Let j be f(2). Let c be j*((-8)/(-6))/1. Let a = c + 14. Is a a multiple of 10?
True
Let j(a) be the first derivative of -6*a - 1/4*a**4 - 5*a**2 - 3*a**3 + 3. Is 8 a factor of j(-8)?
False
Suppose -2*d - 4 = -2*y, 0*d - 4*d + 27 = y. Is 2 a factor of 3/(-3) + y - 1?
False
Suppose 0 = 4*b - c - 12, -b - 4*b = -5*c. Is 12 a factor of (-55)/(-2) - (-2)/b?
False
Let c = 12 + 50. Suppose -3*j - c = -167. Is j a multiple of 8?
False
Let m = -13 - -47. Suppose -m = -3*d - 7. Suppose -4*v + 7 = -d. Does 4 divide v?
True
Let p = 0 + 0. Is (-1 + p)/2*-16 a multiple of 6?
False
Let n(x) = -x**3 + 7*x**2 - 7*x - 4. Let h be n(6). Let g(p) = -p**3 - 9*p**2 + 7*p. Is g(h) a multiple of 12?
False
Let i(l) = -l**3 + 3*l**2 + 5*l + 2. Let d be i(4). Suppose f - d = 5. Is 11 a factor of f?
True
Let i(y) = y**2 - 1. Let h(x) = -4*x + 2. Let t(v) = h(v) + i(v). Let w be t(4). Is 10 a factor of 1/(-1)*w + 21?
True
Let c = 3 - -116. Is 31 a factor of c?
False
Suppose -2*h = -4*w - 22, -2*w - 3 = -1. Let u be (3/h)/(1/(-3)). Is ((-2 - u) + -1)*-23 a multiple of 23?
True
Let s(i) = i**3 - 6*i**2 + 3*i - 2. Is s(6) a multiple of 4?
True
Is (152/(-12))/(3/(-9)) a multiple of 8?
False
Let s = -4 - -10. Let q(t) = t**2 + t + 2. Is q(s) a multiple of 16?
False
Suppose 2 = q - 4. Suppose q*w - 155 = w. Suppose -n + 5*t = -w, 6*n - 3*n = -2*t + 8. Does 2 divide n?
True
Let s = -11 + 17. Is 2 a factor of s?
True
Let f = 95 + -65. Is 10 a factor of f?
True
Let i be 1 - (-3 + (2 - -1)). Does 10 divide ((-1)/2)/(i/(-20))?
True
Let i(b) = -5*b - 10 + 9*b + 3*b + 4*b. Let x be i(7). Let n = x - 4. Does 21 divide n?
True
Let l(w) = w**3 - 5*w**2 + 5. Suppose 6*j - j - 25 = 0. Is l(j) a multiple of 3?
False
Suppose 2*x - 4*d - 38 = 0, -5*d = -4*x + 7*x - 35. Suppose -5*m + x + 35 = 0. Suppose 7*p - m = 2*p. Does 2 divide p?
True
Is 22 a factor of 2/(-4)*(1 - -1) + 23?
True
Let i(k) = -k**3 + 4*k**2 - 6*k - 10. Is i(-4) a multiple of 38?
False
Suppose -5*n = -0*n - 150. Is n a multiple of 5?
True
Let b(p) = 20*p**3 - p**2 + 2*p - 2. Does 19 divide b(1)?
True
Let a = -19 - -27. Let w = -7 - a. Let g = 23 + w. Is g a multiple of 4?
True
Let n be 2/(-3) - (-11)/3. Is 3 a factor of n - 0*(-1)/1?
True
Let j = 13 + -13. Suppose j = -5*t - 33 + 148. Is t a multiple of 16?
False
Let y be 12/(-2) + 10/5. Let q(s) = -s**3 - 3*s**2 - s + 4. Is 12 a factor of q(y)?
True
Suppose 4 + 21 = 5*u. Does 5 divide u?
True
Let v(a) = -34*a - 42. Is 26 a factor of v(-5)?
False
Let w(c) = 235*c - 1. Is 15 a factor of w(1)?
False
Let p be (2/(-4))/((-2)/220). Suppose -4*y - p = -5*m, -y = m + m - 9. Let b = 17 - m. Is 10 a factor of b?
True
Suppose -5*j - 4*k = 8, 3*j + 4*k + 8 = -0*k. Suppose -2*i = -j*i - 10. Is 5 a factor of i?
True
Suppose 0 = 2*p - 5*p + 153. Is 24 a factor of p?
False
Let f(k) = -k + 11. Let x be f(5). Let n(y) = -y**3 + 6*y**2 + 5. Is 5 a factor of n(x)?
True
Let j(r) = 3*r**3 + r**2 - r. Let b be j(1). Suppose b*l = -l + 184. Is l a multiple of 14?
False
Let o(g) = -5 - 3*g + 5 - 1. Is 2 a factor of o(-3)?
True
Let y be 10/(-3)*18/15. Let m = 52 + y. Is m a multiple of 24?
True
Let r(w) = -18*w + 2. Let z(d) = 19*d - 2. Let k(o) = o**2 - 6*o + 6. Let b be k(4). Let v(q) = b*z(q) - 3*r(q). Is 17 a factor of v(2)?
False
Suppose -4*n = 3*x - 10, -4*x + n = -3 - 4. Suppose 5*j - 88 = -x*k, -4*k = -j - k + 21. Does 6 divide j?
True
Suppose 5*y + 12 = y. Does 2 divide (-13)/(-1) + y - 4?
True
Suppose -f + 3 = 1. Suppose 25 + 53 = f*p. Suppose -2*n + 5*n + 3*w = p, 4*n + 2*w = 54. Does 6 divide n?
False
Let v be (1 + (-4)/6)*-3. Let u = v - -1. Suppose 0*z + 2*z - 108 = u. Does 19 divide z?
False
Let d(s) = 2*s - 1. Let i be d(1). Let z be (0 - 0/(-3))/i. Is 6 a factor of (-1 + z)*-11 + 2?
False
Suppose 0 = 5*s - 302 - 403. Does 15 divide s?
False
Suppose -4*s + 3*x + 39 = -2*s, -3*x - 9 = 0. Suppose -s = 3*r - 0*r. Let f = r + 10. Is 5 a factor of f?
True
Let i = 9 + 25. Suppose 2*c = -i - 16. Let g = -3 - c. Is 11 a factor of g?
True
Suppose 0 = c - 5*f - 3, -2*c - 4*f + 6 = -9*f. Suppose -4*b = c*d - 4, 3*d - 4*b + 5 - 25 = 0. Suppose x + 3*i = 4, 2*i - 26 = x - d*x. Does 6 divide x?
False
Let z(p) = -p**3 + 9*p**2 + 12*p + 7. Does 17 divide z(9)?
False
Let u(o) be the third derivative of o**5/30 - o**3/6 + 2*o**2. Let n be u(2). Does 4 divide 2/n - (-108)/14?
True
Suppose p + 2*p = -15. Let r be (-368)/(-5) + (-2)/p. Let h = r - 50. Is h a multiple of 12?
True
Is 1029/35 + (-3)/(-5) a multiple of 15?
True
Suppose 3*o + 4*a + 11 = -3, 4*o - 3 = -a. Let m = -10 - -14. Suppose m*x - q + 3*q = 78, -6 = -o*q. Is 7 a factor of x?
False
Suppose -14*q = -19*q + 130. Is 2 a factor of q?
True
Suppose -2*w + 66 = 18. Does 12 divide w?
True
Let o(m) = -m**2 + 0*m**2 + 15*m**3 - m**2 - m + m**2 + 1. Is 5 a factor of o(1)?
False
Let f = 15 + -11. Suppose 693 = 4*x + 3*c - 8*c, 0 = -4*x + 4*c + 688. Is 16 a factor of 1/4 + x/f?
False
Let g be 2/(-9) - (-364)/18. Let q = 43 - g. Is q a multiple of 16?
False
Suppose -i - 2*i = 0. Suppose -2*g + 5*g - 45 = i. Does 9 divide g?
False
Let h(v) be the first derivative of 1 + 5/2*v**2 - v. Does 6 divide h(2)?
False
Suppose 0*o - 20 = o. Let t = o + -5. Is 10 a factor of (-5)/(-10) - t/2?
False
Let s(q) = -q**3 - 10*q**2 - 10*q + 6. Let j(n) = 2*n + 6. Let u be j(-4). Let i = u + -7. Does 5 divide s(i)?
True
Suppose -4*n = -5 + 9. Is 8 a factor of 4 + (-46 - 4)*n?
False
Does 7 divide 0/(-4 + 1) - -105?
True
Let r = -38 - -4. Suppose 0 = -3*f - 2*f - 90. Let s = f - r. Is 12 a factor of s?
False
Let b(d) = -97*d**3 - 3*d**2 - 2*d. Let k be b(-2). Is 13 a factor of (-9)/(-21) + k/21?
False
Suppose 5*h - 100 = -2*o, 0 = h - 3*o - 3. Does 6 divide h?
True
Let d = 14 + 13. Is 5 a factor of d?
False
Let d(l) = -4*l - 4. Let g be d(-2). Suppose a + 44 = g*m + 5*a, -45 = -4*m - 5*a. Is m a multiple of 6?
False
Suppose 0 = -2*t + 5*v + 227, 3*t + 7*v = 10*v + 363. Is t a multiple of 18?
True
Let r(u) = u**3 + u**2 - 4*u + 124. Is 9 a factor of r(0)?
False
Let n(u) = -u**2 + 6*u + 10. Let a be n(7). Suppose -i + l + 48 - 5 = 0, a*i - 154 = -2*l. Is i a multiple of 16?
True
Let x(v) = -5*v + 11. Does 9 divide x(-5)?
True
Let n(b) = -5*b**2 - 3*b - 12. Let d(r) = -9*r**2 - 7*r - 23. Let k(l) = -4*d(l) + 7*n(l). Does 4 divide k(-7)?
True
Suppose 3*j = -j + d + 1186, 3*j = -2*d + 884. Suppose -6*n + j = -94. Does 18 divide n?
False
Let d(j) be the first derivative of j**4 + 2*j**3/3 - j**2 - j - 2. Let q = -1 + 3. Does 15 divide d(q)?
False
Let u = 8 - 6. Is 77/3 - u/(-6) a multiple of 10?
False
Let j = 6 - 3. Let i(f) = -1 - 20*f**3 - j*f - 18*f**3 + 2*f. Does 19 divide i(-1)?
True
Suppose 3*f = 2*z - 66 - 91, -5*f - 3*z = 249. Let r = -27 - f. Is r a multiple of 6?
True
Let k = 77 + -38. Is k a multiple of 13