2*y + 24. Does 2 divide ((-1)/k)/(2/y)?
True
Let x(k) = 10 + 1 + 14*k - 10. Is 13 a factor of x(2)?
False
Let f(w) = 37*w**3 - w**2 - 2*w + 1. Does 7 divide f(1)?
True
Let s(y) = 22*y - 1. Is 16 a factor of s(2)?
False
Let a(u) = -u**3 - 3*u**2 - 2*u - 1. Let n be a(-3). Suppose -4*f = 3*k - 29 - 78, 4*k - n*f - 153 = 0. Let b = -14 + k. Is b a multiple of 10?
False
Suppose -3*j = 4*x - 342, -360 = -3*j + 3*x - x. Suppose 2*p - 3*v = 63, -4*p - 3*v + v + j = 0. Is p a multiple of 10?
True
Let a be -58*(0 + -1)/(-1). Let f be (-8)/(-12) - a/(-6). Is 4 a factor of (f/(-6))/(3/8)?
True
Let b(t) = -t + 1. Let y(u) = 5*u - 4. Let a(s) = -3*b(s) - y(s). Let n be a(1). Is 3 a factor of (n + 2 + 3)*1?
False
Suppose 3*p - 23 = -4*d - 8, 0 = 2*d - 3*p - 3. Does 10 divide 58/(1 - d)*-1?
False
Suppose 5*k - 70 = -0*k. Suppose 0 = -4*n - 3*c + 22, 0 = 4*n - n + c - k. Is n a multiple of 4?
True
Let q(p) = -p**3 - 8*p**2 - 7*p + 1. Let t be (-11)/2 - (-9)/(-6). Let v be q(t). Suppose -4*w - v = o, 5*o = -0*w - 2*w + 67. Is 7 a factor of o?
False
Let w = -5 - -8. Suppose -5*t = -3*k + 131, 0 = -k - w*k + 3*t + 171. Is k a multiple of 14?
True
Suppose 0 = -2*p - 4 - 18. Let k = -3 - p. Is 8 a factor of k?
True
Let w(z) = z**3 + 5*z**2 - z. Let p be w(-5). Suppose -n = -p*o - 2, 0 = -n + 2*o - 2 + 10. Suppose -4*x = -0*x - n. Is 2 a factor of x?
False
Suppose -35 = -2*x - 3*x. Let r = x + 11. Does 6 divide r?
True
Let l = 4 + -2. Let u(n) = -3 + 8*n + 0 + n + 0. Is u(l) a multiple of 8?
False
Let u = -17 + 44. Is 9 a factor of u?
True
Let v be 28/((-2 + 1)/(-1)). Suppose -4*d + v = -44. Is 6 a factor of d?
True
Suppose 16 = 4*c + w + 733, -721 = 4*c + 5*w. Let u = c + 106. Is u/(-4) + 1/(-4) a multiple of 9?
True
Suppose 161 + 541 = 3*v. Does 13 divide ((-8)/12)/((-4)/v)?
True
Let t(g) = -12*g + 1 - 2 + 4. Let o be t(-3). Let w = -13 + o. Is 13 a factor of w?
True
Let n be -1 + 1 - 8/(-4). Let l be 1/n*(-8)/(-2). Suppose 5*m + 0*y = -l*y + 35, -3*m - 5*y = -2. Does 9 divide m?
True
Is 12 a factor of (-6)/9 - 388/(-6)?
False
Let o(a) = 23*a**3 + a**2 - a + 1. Suppose -5*p = 3 - 8. Let i be o(p). Let v = 36 - i. Does 12 divide v?
True
Is (-77)/(-3) + (-11)/(-33) a multiple of 6?
False
Let t(g) = -2*g. Is 7 a factor of t(-7)?
True
Let w(x) = 2*x - 3. Let l = -17 - -29. Does 19 divide w(l)?
False
Let z(g) = g**2 + 6*g - 2. Let c be z(-6). Is (c/4)/(16/(-1408)) a multiple of 22?
True
Suppose 2*c = -23 + 59. Is 3 a factor of c?
True
Suppose 0*b = -3*b + 726. Does 35 divide b?
False
Let o = 22 + -13. Suppose -w - 1 + 11 = -2*p, -o = -w + p. Is w a multiple of 4?
True
Let y be (-29)/(-9) + 6/(-27). Suppose -10 = -5*h - 3*g + 5, 2*g = y*h - 9. Suppose -h*a = -3*r - 102, 4*a = 2*a + 3*r + 66. Is a a multiple of 18?
True
Let d(j) be the second derivative of -j**5/10 - 5*j**4/12 + j**3/6 + 5*j**2/2 + j. Suppose -3*r + 7*r + 16 = 0. Does 18 divide d(r)?
False
Let o(z) = z + 5. Let c be o(0). Suppose -1 = -0*s + s, c*s = -4*i + 107. Does 14 divide i?
True
Let j(i) be the second derivative of -29*i**5/20 + i**4/6 + i**3/3 + i**2/2 - i. Suppose -46*s + 4 = -50*s. Does 15 divide j(s)?
True
Suppose 4*b + 229 = -3*m, -201 - 151 = 4*m - 4*b. Let p be -1*(2 + -2) - m. Is 16 a factor of (-1)/(-4) - p/(-4)?
False
Suppose -15 = -3*q - 2*m, 6*m = -q + m + 18. Suppose 2*u = q*u - 4. Is u a multiple of 3?
False
Let s = 54 + -43. Is 2 a factor of s?
False
Let j = 27 + -7. Suppose 4*d = 3*l - 71, 4*d = 2*l - 70 + j. Is l a multiple of 7?
True
Let z be (2 + 9/(-6))*4. Let y(s) = -z*s - s + 0*s - 4. Is 11 a factor of y(-5)?
True
Let a = 11 + -11. Suppose a = -u - 3 + 9. Is u a multiple of 5?
False
Let k be (3 - 2)*3/1. Suppose k*p + 12 = 5*p. Suppose 140 = p*t - 2*t. Is 13 a factor of t?
False
Let b be 6*(6/9)/1. Suppose -n + 18 - b = 0. Does 14 divide n?
True
Let w = -26 + 63. Is 22 a factor of w?
False
Suppose 4*m - 5 = -w, -2*m + 5*w - 2 = w. Does 13 divide (3 - m) + 21 - -3?
True
Suppose 5*x = 5*y + 130, -x - y + 18 + 8 = 0. Is x a multiple of 11?
False
Suppose -5*f - 3*t + 820 = 0, -5*f + 820 = 6*t - 5*t. Is 41 a factor of f?
True
Let h(c) = -c**2 + c + 61. Let n be h(0). Let i be 436/(-16) + (-18)/24. Let w = i + n. Is 11 a factor of w?
True
Suppose p = -3*p - 2*z + 62, 4*p - 56 = 4*z. Suppose -p = -5*r - 2*m, r + 2*m = -3*r + 10. Does 3 divide r?
False
Let a = 37 + 4. Is 21 a factor of a?
False
Suppose -364 = -3*o + 5*p, -o + 371 = 2*o + 2*p. Is 10 a factor of o?
False
Let u(s) = -43*s**2 + 21*s - 17. Let r(m) = 11*m**2 - 5*m + 4. Let t(h) = 9*r(h) + 2*u(h). Is 16 a factor of t(2)?
True
Suppose -2*w - 2 = -0*w. Does 5 divide 3/5*(-15)/w?
False
Suppose 0 = 8*g - g - 1225. Is 7 a factor of g?
True
Suppose -7*x = 3*p - 3*x - 13, -x + 13 = 4*p. Suppose 0 = -3*r - 4*i + 4, -r + i = 4*i - p. Suppose -2*u - 2*u + 112 = r. Is u a multiple of 14?
True
Is 15 a factor of 11 - (-1)/((-3)/(-12))?
True
Let l(v) be the third derivative of v**6/120 - v**5/20 - v**4/8 - v**3/3 + 3*v**2. Let j be l(4). Suppose 0 = -3*f + 10 + j. Is 3 a factor of f?
False
Let s(l) = 4 + 0 + l + 4. Let z be s(-6). Let t(v) = 3*v**2 - 2*v + 1. Is 4 a factor of t(z)?
False
Let r(f) = 2*f - 6. Let z be r(3). Suppose 0 = -p - 4*u - 4, z*u = 2*p + u - 6. Does 2 divide p?
True
Let r(p) = p**3 + p**2 - p + 155. Let o be r(0). Let n = -103 + o. Does 13 divide n?
True
Suppose -3*y - 84 = y + 4*t, -y = -5*t + 21. Let u = 37 + y. Does 9 divide u?
False
Let b be ((-1)/2)/(4/(-48)). Suppose 0*j = -3*j + b. Suppose a - 15 = -j*a. Is a a multiple of 5?
True
Let x(z) = z**2 + 4*z + 6. Does 10 divide x(-9)?
False
Let b(o) = o**2 - 8*o - 13. Let c be b(9). Let m = 17 + c. Let p = m + 25. Does 19 divide p?
True
Suppose 3*h - 1 - 5 = 0. Let u be (0/(h + 0))/(-2). Suppose -w + 2 - 1 = u, -3*l + 62 = -w. Is l a multiple of 21?
True
Suppose 0*h = 3*h - 4*b - 174, -276 = -5*h + 2*b. Let d = -31 + h. Is 7 a factor of d?
False
Suppose 2*f + 0*f = 380. Suppose 2*a - 3*o = -2*a - 245, o - f = 3*a. Let s = -31 - a. Is 17 a factor of s?
True
Let i(q) = -q**2 + 5*q**3 + 1 - q - 7*q**3 + 23*q**3 + 0*q. Does 10 divide i(1)?
True
Suppose 5*u = 5*l + 440, -4*u + l + 358 = 3*l. Let p = u + -53. Suppose 3*j - p = -0*j. Does 6 divide j?
True
Let l(v) = v**2 + 6*v - 7. Let g(p) = p - 1. Let w(o) = -3*g(o) + l(o). Let r be w(-4). Does 15 divide 41 - (1 + -1 + r)?
False
Suppose -y + i = -124, 13*y + 2*i = 10*y + 392. Is 30 a factor of y?
False
Let y(d) be the first derivative of d**3/3 - 7*d**2/2 - 3*d + 3. Does 4 divide y(8)?
False
Let a be 0/1 + -1 + -1. Does 9 divide a/((-6)/81 + 0)?
True
Let t = 24 - 3. Let u = -1 - -2. Does 14 divide (1 - 0)/(u/t)?
False
Suppose 0 = -10*o + 6*o + 400. Is 25 a factor of o?
True
Let w = 4 + -2. Suppose 0 = -3*h + 4*o - 62, w*h = -2*h + o - 74. Let j = h + 34. Is j a multiple of 8?
True
Let i(o) = o**2 - 7*o + 8. Let q be i(6). Suppose 0 = q*t - 0*t + 8, -4*m - 5*t = -20. Does 3 divide m?
False
Suppose -4*r - 20 = 0, f + 0*r - 103 = 2*r. Is f a multiple of 31?
True
Suppose -733 = -5*y + 892. Suppose -f + y = 4*f. Does 18 divide f?
False
Let h(s) = s - 1. Let c(k) = -21*k**3 + k**2 - 4*k + 2. Let y(x) = c(x) + 3*h(x). Is 9 a factor of y(-1)?
False
Suppose -2 = a - 15. Is 5 a factor of a?
False
Let n = -4 + 9. Suppose -k - 4*k = -n*b + 45, 4*k + 12 = b. Suppose 0 = -v - x + 11, -b - 18 = -2*v + 2*x. Is 7 a factor of v?
False
Let w be (-54)/15*(-10)/3. Suppose 2*s - w = -2*v, -v + 27 = 4*v + 2*s. Is 2 a factor of v?
False
Suppose 0 = 3*l - l - 4, -3*l + 16 = 5*m. Suppose m*w = 7*w - 30. Does 3 divide w?
True
Let b = -52 + 152. Is 25 a factor of b?
True
Let v be 2/9 - (-1589)/(-63). Let u be (-2)/4 + v/10. Let i = u - -7. Is 4 a factor of i?
True
Suppose 0*p = -2*p + 220. Suppose -2*k + p = 3*k. Is 13 a factor of k?
False
Let k = 150 + -75. Let j = k - 131. Is 14 a factor of ((-2)/4)/(2/j)?
True
Let u = 5 + -1. Suppose 0 = -u*q + 2*t + 42, t + 4*t = -5*q + 90. Is q a multiple of 13?
True
Let p(x) = -7*x - 6. Let l be 32/(-6) - (-5)/15. Is p(l) a multiple of 8?
False
Let z = 354 - 1889. Is 22 a factor of z/(-35) + 3/21?
True
Let t(n) = 3*n**2 - 2*n + 1. Suppose b + 5 - 2 = 0, 0 = -2*g - 4*b - 16. Let q be t(g). Let k = 29 - q. Is 12 a factor of k?
True
Let t be 0/(-2 - (0 + 1)). Suppose -2*n + 25 + 15 = t. Does 5 divide n?
T