 z - 60, 34 = 4*u - 2*z. Is u a multiple of 2?
False
Let a = -3 + 9. Let f(k) = -k**3 + 7*k**2 - 5*k. Let x be f(a). Let c(q) = -q**3 + 6*q**2 + 4*q + 2. Does 10 divide c(x)?
False
Suppose 2*d - 11 = -3, -3*y - 2*d = -170. Does 2 divide y?
True
Suppose 4*d - d - 3*v - 69 = 0, 3*v + 6 = 0. Let a = d - 12. Is 7 a factor of a?
False
Let u be 2/((-1)/((-42)/3)). Suppose 4*r - 3*a - 31 = 0, 5*a - 17 = -3*r + u. Is r a multiple of 10?
True
Suppose 0 = -4*z + 4*a, -2*z - 5*a + 3*a = 0. Suppose 0 = -z*u - 5*u + 65. Does 13 divide u?
True
Let w(z) be the first derivative of z**2/2 - z - 1. Let p(h) = -2*h - 6. Let y be p(-6). Is 2 a factor of w(y)?
False
Let s = 7 - -20. Is 9 a factor of (-209)/(-9) - 6/s?
False
Suppose 53 = -3*b + 5. Let l = -7 - b. Let z = -2 + l. Is 3 a factor of z?
False
Let h(y) = y**2 - 4*y - 8. Let d be h(7). Suppose 5 = o - d. Does 13 divide ((-6)/o)/(2/(-150))?
False
Let q(i) be the first derivative of i**6/120 + i**5/15 - i**3/6 - 3*i**2/2 - 1. Let y(d) be the second derivative of q(d). Is y(-3) a multiple of 4?
True
Let v be (-4)/3*(-9 + -3). Suppose -3*f + 11 = -2*r - 8*f, 5*r - 2*f - v = 0. Suppose -3*s - r*s = -20. Does 4 divide s?
True
Let x(n) = n**2 - 2*n - 4. Suppose u + j + 1 = 0, 4*u + 5*j + 17 = 3*u. Suppose -b = 5*a + b - 17, 0 = 4*a + u*b - 8. Is x(a) a multiple of 3?
False
Suppose -3*w = w - 32. Suppose 3*d = 5*d - 140. Suppose -w = -3*k + d. Does 13 divide k?
True
Suppose -y + 4*v + 114 = 0, 0*v - 291 = -3*y - 5*v. Does 6 divide y?
True
Let i be -3 + 5/1 + 1. Let k be (i/9)/((-1)/6). Let x = k - -14. Is x a multiple of 5?
False
Let q(b) = b**3 - 3*b**2 - 7. Suppose -2 - 18 = -4*j. Let d be q(j). Suppose 5*k = d + 57. Is 20 a factor of k?
True
Let q = -3 + 3. Suppose 0 = -2*j - 3*f - q*f + 16, -5*j + 17 = -4*f. Suppose -2*g + 5*b = -0*b - 43, -j*g + 4*b + 65 = 0. Does 9 divide g?
True
Let l(h) = -6*h**3 - 4*h**2 - 6*h - 7. Let w(f) = -5*f**3 - 3*f**2 - 5*f - 7. Let u(i) = 4*l(i) - 5*w(i). Is 3 a factor of u(0)?
False
Suppose 2*c + l = -3, -c - 5*l - 3 = 12. Suppose -5*a = -c*a - 20. Is (-2)/a - 356/(-8) a multiple of 20?
False
Suppose 0 = u + 4*r - 174, -172 = -u - r - 2*r. Is 29 a factor of u?
False
Let q = 12 - 7. Suppose q*p - 2*c - 228 = 0, -c - 4*c - 41 = -p. Is p a multiple of 18?
False
Is (3 + (0 - -1))/((-172)/(-4902)) a multiple of 38?
True
Let x = -198 + 344. Is x a multiple of 29?
False
Suppose y - 5*y = -332. Is y a multiple of 14?
False
Let i(l) be the second derivative of l**5/20 + l**3/6 + 6*l**2 - 16*l. Suppose 0*g = -3*g. Does 7 divide i(g)?
False
Suppose -q = 5*h - 17, 16 = 5*h + 2*q + 2. Suppose b + 12 = -4*r, 3*b + b = -5*r - h. Suppose -5*v + 41 = 5*i - b*i, -i = 2*v - 32. Is i a multiple of 16?
False
Let j(r) = -4*r + 1 + 0*r**2 + 0*r + 2*r**2. Let i be j(4). Let x = i + -3. Is x a multiple of 14?
True
Suppose 5*r - 3*z - 298 = 0, -r + 0*r - 5*z = -82. Is 31 a factor of r?
True
Let i(l) = -21*l + 1. Let h be i(-2). Suppose 4*g + 2*n = 7 + 39, h = 4*g + 5*n. Let w = g + -4. Does 8 divide w?
True
Let p be -20 + 5/((-15)/(-12)). Let u = p + 46. Does 6 divide u?
True
Let q be (-3)/3*-2 + 6. Let j be (-4)/(-6) - q/(-6). Is 15/j + (-6)/12 a multiple of 7?
True
Let q = -6 + 9. Let r be 80/q + (-3)/(-9). Suppose r = 3*b + 3. Does 4 divide b?
True
Is 13 a factor of 96/120 + 151/5?
False
Let n(x) = 2*x + 3. Is n(1) a multiple of 2?
False
Let j(b) = -2*b**3 - 2*b - 1. Let k be j(-1). Suppose 0 = q - 2*q + 5, k*q - 105 = -3*a. Does 15 divide a?
True
Let j(u) = -u**3 + 3*u - 4*u - 4*u + 7*u**2 + 2. Does 14 divide j(5)?
False
Let i = 169 - 102. Is 16 a factor of i?
False
Let i = 20 + -41. Is i/(-14)*(-12)/(-9) a multiple of 2?
True
Let h = 41 - 23. Does 14 divide h?
False
Let x(j) be the second derivative of j**3 + 3*j**2 + 5*j. Does 17 divide x(5)?
False
Let l(t) = 2*t**2 + 13*t + 4. Is l(-7) a multiple of 11?
True
Suppose 3*z - 3 - 321 = 3*l, 5*l - 102 = -z. Is 12 a factor of z?
False
Suppose -346 = -5*p + 44. Is p a multiple of 5?
False
Suppose 0 = 2*f - 4*f + 18. Suppose -f = -3*w - 0. Is w a multiple of 3?
True
Let d(c) = -19*c - 1. Let r(h) = -18*h - 1. Let z(b) = 5*d(b) - 4*r(b). Is 11 a factor of z(-1)?
True
Let y = 363 - 213. Suppose 4*s = -s + y. Does 13 divide s?
False
Let h be -1 - (-6 + 1 + -2). Let p = h + -1. Suppose r + 93 = p*l - r, 3*l - 61 = -4*r. Is 14 a factor of l?
False
Let p = 26 + -20. Is p a multiple of 3?
True
Let z = -3 - -3. Suppose z = -2*q + 3*q. Is (q - (0 + 1)) + 13 a multiple of 9?
False
Suppose -28 = -4*n + 2*n. Let d = 21 - n. Is 4 a factor of d?
False
Is 5 + 5 + 25 - -1 a multiple of 9?
True
Let t = 1 + 1. Suppose t*n + 5*l = 23, 4*n + 0*l + l - 91 = 0. Let k = 40 - n. Is 8 a factor of k?
True
Let v(o) = o**2 - 10. Is 7 a factor of v(6)?
False
Let c = -314 - -578. Does 14 divide c?
False
Let p(n) be the first derivative of -3*n**5/20 - n**4/4 - n**3/6 - n**2/2 - 3*n + 1. Let x(t) be the first derivative of p(t). Does 9 divide x(-2)?
False
Suppose 5*c + 35 = 5*p, -7 = -5*p + 3. Let j = 10 + c. Suppose 4*v = 3*u - 66, 0*u + 33 = u - j*v. Is u a multiple of 9?
True
Suppose 0 = -3*m - 8 + 2. Let x = 2 + m. Suppose 4*k + 36 = -x*q + q, 3*q - 5*k - 80 = 0. Does 10 divide q?
True
Let u(g) = g**3 - 10*g**2 + 12*g - 8. Is u(9) a multiple of 2?
False
Let z(j) = 5*j**2 + j - 4. Let y be z(-3). Suppose y = m - 0*m. Is m a multiple of 19?
True
Let l(x) = -x**3 + 7*x**2 - 6*x - 7. Is 13 a factor of l(5)?
True
Does 7 divide 1/(4*2/184)?
False
Let u(w) = 5*w**3 + 3*w**2 - 9*w - 13. Let b(l) = -l**3 + l**2 + l + 1. Let z(o) = -6*b(o) - u(o). Is 17 a factor of z(9)?
True
Let m = 44 + 50. Is m a multiple of 17?
False
Suppose 0*y - 372 = -3*y. Suppose 101 = 5*i - y. Does 18 divide i?
False
Let x be 4*(-2)/(8/3). Let h be (-2 + 12/9)*x. Is 6 a factor of 1*-1*h*-8?
False
Let i(o) = -22*o + 17. Is 12 a factor of i(-3)?
False
Suppose 0*o = 5*o. Suppose o*i - 24 = -2*i. Is 6 a factor of i?
True
Suppose 32 = 5*h + 12. Suppose -4*b - h*u - 272 = 0, -3*u + 348 = -0*b - 5*b. Let p = -49 - b. Does 10 divide p?
True
Suppose -3*p = -12, 3*r + p + 20 = 6*r. Suppose -36 = -4*m - 4*u, 0 = -3*m + u + r + 31. Is m a multiple of 12?
True
Let h(p) = -p + 10. Let v be h(7). Let n = v + -1. Suppose a + 2*c - 10 = 0, -n*a - 2*c = -0*a - 28. Is 11 a factor of a?
False
Suppose 0 = 2*s + 2*s. Let p = 2 + s. Suppose 3*f = -4*x + 14, -x - 3*f + 1 - p = 0. Is x even?
False
Suppose -4*z + 600 = -1160. Suppose 1478 = -3*r + z. Is 21 a factor of r/(-6) + 2/(-3)?
False
Is 10 a factor of ((-42)/12)/(6/(-252))?
False
Let b(q) = q**3 - 4*q**2 - 8*q - 2. Is 15 a factor of b(6)?
False
Let b(q) = q**3 + 15*q**2 - 16*q + 16. Let r be b(-16). Is 20 a factor of 90/(-4*(-6)/r)?
True
Let p(c) = c**3 - 11*c**2 + c - 6. Let i(z) = -12*z**3 - 1. Let d be i(-1). Let q be p(d). Suppose 4*k - 2*s - 2*s = 56, q*s + 10 = 0. Is k a multiple of 4?
True
Let w be 4 - (3 + 2 + -3). Suppose -3*k - 2 = 2*t - 34, -3*k - 20 = -w*t. Is 13 a factor of t?
True
Let i(o) = -7*o**2 - 2*o + 1. Let z = 3 - 2. Let u be i(z). Does 10 divide (36/u)/(1/(-4))?
False
Suppose 4*r = -19 + 67. Let o = -5 - -1. Let f = o + r. Is 3 a factor of f?
False
Suppose 3*p - 4 = -0*p - h, -14 = -3*p + 4*h. Let c(n) = n**3 - n**2 + 2*n - 2. Let k be c(p). Suppose -y - 1 = -k. Is 5 a factor of y?
True
Let r(k) = 6*k**2 + 4*k - 1. Let u be r(-4). Suppose 54 + 1 = -o. Let g = u + o. Is 13 a factor of g?
False
Suppose 0 = -4*v - 20, -2*h - 4*v = 26 - 0. Let s = h + 7. Suppose s*m + 17 = w + 5*m, 0 = -5*w + 3*m + 101. Is 13 a factor of w?
False
Let o(b) = 2*b**2 + 5*b - 12. Is 6 a factor of o(-5)?
False
Suppose 4*y = -4*n + 32, -n + 2*y = -0*n - 20. Suppose -5*z - 23 = -2*x, x - 3*z + z = n. Suppose x = 4*p + 2. Is p a multiple of 2?
False
Is -61*1*-1 - (2 - 6) a multiple of 48?
False
Let l(i) = -i**2 + 7*i + 6. Let v(w) = -w**3 - 5*w**2 - 2*w - 3. Let m be v(-5). Does 2 divide l(m)?
True
Let x(j) be the first derivative of j**4/2 - 2*j**3/3 - j**2 - 1. Let u = 7 - 4. Does 13 divide x(u)?
False
Suppose 1 = 5*b - 24. Let c = b + -1. Suppose 0 = -c*u + 20 + 124. Is 18 a factor of u?
True
Let k(j) = 20*j - 4. Does 19 divide k(4)?
True
Suppose -4 = -y, 3*r = -2*y + 20 + 12. Is 8 a factor of (r/16)/((-1)/(-58))?
False
Let n = -59 + 95. Does 18 divide n?
True
Let w(g) = -4*g - 13.