3 + m. Is 7 a factor of a?
True
Let x(u) = 30*u**3 + 6*u**2 + 6*u + 7. Let j(q) = -q**2 - q - 1. Let c(b) = -6*j(b) - x(b). Is c(-1) a multiple of 13?
False
Let g = 1 - -1. Suppose -2*w - 3*b + 54 + 7 = 0, -73 = -g*w + b. Is 9 a factor of w?
False
Let l be 0 + (3 - 0)*5. Suppose l = 3*p + 3*x, -3*x - 2*x = 3*p - 15. Does 3 divide p?
False
Let d(u) = -7*u - 6. Does 12 divide d(-6)?
True
Suppose -2*w - 4*c = -90, -2*w = 2*c - c - 105. Is w a multiple of 8?
False
Let j(n) = n + 7. Let g be j(-2). Let z = -2 + 6. Suppose -3*x = -g*w - z*x + 26, -5*x = -5. Is 2 a factor of w?
False
Suppose 0 = 2*v - 45 - 69. Does 19 divide v?
True
Let z = 65 + 4. Suppose 0 = 3*t + 4*w + 7 - 25, -1 = 4*t - 3*w. Suppose -t*u + 1 = -z. Does 13 divide u?
False
Suppose 0 = -4*g - 1 + 9. Let m = g - 2. Suppose 0 = -2*p + 3*v + 69, 3*p + 2*v - 84 = -m*v. Does 10 divide p?
True
Suppose u = -0*v - 4*v + 12, 0 = 2*v - 5*u - 6. Let d be 0 + (-3)/6*-20. Suppose -s + 15 = w, -s + d + 13 = -v*w. Does 17 divide s?
True
Let c(t) = t**3 - 7*t**2 + t + 5. Let m be c(7). Let d = -25 + m. Let q = 0 - d. Does 13 divide q?
True
Suppose 0 = -r - 3*r. Suppose 6*i - i - 90 = r. Is i a multiple of 9?
True
Let u(o) = -46*o**2 + o - 1. Let w be u(1). Does 15 divide (-2)/(-1)*w/(-2)?
False
Let b(m) = -5*m**2 + 3*m + 3. Let a be b(-3). Let j = 71 + a. Does 10 divide j?
True
Let j = -345 - -618. Let l = j + -187. Is l a multiple of 28?
False
Suppose -2*x - 3*u - 5 = -6*x, -2*u = 3*x - 25. Suppose -r = 2*b - 2, -r + x*b + 9 = -0*r. Is 14 a factor of (-1)/(-2) + 78/r?
False
Let k(s) = 5*s**3 - 2*s**2 + 4*s - 6. Is k(4) a multiple of 30?
False
Let a(l) = -7*l**2 + l - 2. Let v(u) be the first derivative of -u**3/3 - u + 4. Let h(q) = -a(q) + 6*v(q). Does 8 divide h(-5)?
False
Let j = 19 - 4. Suppose 2*t = j + 79. Suppose 0 = 5*d - 4*v - t, 2*d - 5*v - 19 = -7. Is 5 a factor of d?
False
Let y be (-6)/15 - 94/(-10). Let n(s) = -s**3 + 11*s**2 - 12*s - 2. Does 26 divide n(y)?
True
Suppose -25 = -2*t + 3*s, 0 = t + 3*s - 0*s + 10. Is 3 a factor of t?
False
Suppose 0 + 36 = 4*f. Let h = f + -5. Is h a multiple of 3?
False
Let n(b) = -5*b + 4. Let p(j) = 11*j - 9. Let h(d) = 13*n(d) + 6*p(d). Is 2 a factor of h(5)?
False
Suppose -1 = -y + 10. Suppose -3*p - 5 = -y. Suppose -a + 17 = -p*g + 4*g, 35 = 3*a + 2*g. Is 4 a factor of a?
False
Suppose 7*y = 2*y + 10. Suppose -3*k + j - 20 - 12 = 0, 0 = 4*k + y*j + 56. Is (k/(-10))/((-3)/(-10)) a multiple of 4?
True
Let q = 1 - -1. Let u = 8 + -8. Suppose u*n - 20 = -q*n. Is n a multiple of 10?
True
Suppose 127 = 4*y - 5*o, -4*o - 5 - 51 = -2*y. Is y a multiple of 13?
False
Suppose -6 = -2*t - 0. Is 2 a factor of t?
False
Does 14 divide -1*(-277)/(-1 - -2)?
False
Let l be (-9)/21 + 76/14. Suppose l*g - 94 = 116. Does 21 divide g?
True
Let u(t) = t**2 - 4*t + 4. Suppose 6 = 3*d - 0. Let k be d/((-2)/3 - -1). Does 8 divide u(k)?
True
Does 48 divide (-6 - -4) + (1 - -263)?
False
Let f(k) = k**3 + k**2 + 32. Is 10 a factor of f(0)?
False
Is 6 a factor of (-69)/(1/(8/12) + -3)?
False
Let l = 9 - 6. Suppose -48 = -y + l*a, -104 = 4*y - 7*y + a. Is y a multiple of 14?
False
Let b(a) = 46*a - 18. Does 39 divide b(5)?
False
Let h(a) = -a**3 + 10*a**2 - a - 11. Is 14 a factor of h(4)?
False
Suppose -2 = -p + 2. Let v = 7 - p. Suppose 3*i - 108 = -3*q, i - 114 = -v*i + 2*q. Is i a multiple of 20?
False
Does 29 divide (-789)/(-9) - (-4)/12?
False
Let t be ((-9)/12)/((-1)/24). Let q be (-13)/(2/t*-1). Let n = q + -77. Is n a multiple of 16?
False
Suppose 3*h - 2*h - 25 = 0. Let v = h + 13. Is v a multiple of 19?
True
Suppose 0 = 3*u + 2*u - 240. Suppose 1 - u = -3*q - 5*k, -3*q + 4*k = -65. Is 19 a factor of q?
True
Let u(f) = f**3 + 7*f**2 + f + 9. Let w be u(-7). Suppose 2*z - 2*k = 0, 0 = -z - 0*k + w*k - 4. Does 4 divide z?
True
Let m = 137 - -53. Is m a multiple of 17?
False
Let l(d) = -d**3 - 8*d**2 + 8*d + 11. Does 5 divide l(-9)?
True
Let o be 4 + -6 + (-26)/(-2). Suppose -f = o - 63. Is 14 a factor of f?
False
Is 5 a factor of (-20)/(-12)*(6 - 3)?
True
Suppose d - 2*d - 38 = 0. Let r be (d/3)/((-10)/15). Suppose -2*h - 5 = -r. Does 4 divide h?
False
Is 64 a factor of (-3*2)/(-2*(-1)/(-116))?
False
Let j(h) = 25*h + 3. Let v(f) = -74*f - 9. Let n(r) = 17*j(r) + 6*v(r). Is 16 a factor of n(-2)?
False
Suppose 7*i - 120 = 986. Is i a multiple of 39?
False
Suppose i - 87 = -11. Is 45 a factor of i?
False
Let t(b) be the first derivative of b**2/2 + 11*b - 1. Let h be t(-8). Suppose 0 = -8*f + h*f + 65. Is 8 a factor of f?
False
Suppose -3*p = 2*p - v + 9, 3*p + 3 = 3*v. Is 14 a factor of (-4)/12*(p - 157)?
False
Suppose 49 = -r - 0*r. Let p be r/(-2) + 2/(-4). Suppose -j = 2*j - p. Does 5 divide j?
False
Let n(k) = 6*k**2 + k + 1. Let u be 7/(-2) + (-2)/4. Let t = u - -2. Does 23 divide n(t)?
True
Let o(y) = -y**3 + 5*y**2 - y - 3. Let t be o(3). Is 8 a factor of 17 - (-8)/t*3?
False
Let c = -2 + 9. Suppose -3*b + c*b = 20. Suppose l = -b*r + 58, 2*l + 0*r + 2*r = 100. Does 22 divide l?
False
Suppose -2*b - 2*w = -8, 0 = -3*b + 4*b - 4*w + 1. Suppose -4*k - b*t + 32 = -t, 0 = -5*t - 20. Is k a multiple of 3?
False
Let k be 5/(-15) + 26/6. Let i(u) be the third derivative of u**4/4 - u**3/6 - u**2. Is i(k) a multiple of 8?
False
Let w(t) = 1 - 15*t - 29*t + 2 + 0. Let d be w(-3). Suppose d = 8*f - 3*f. Does 12 divide f?
False
Suppose 5*q - 338 = 4*i, 2*i - 31 = -q + 45. Suppose -m + 6*m - q = 0. Is m a multiple of 13?
False
Let p = 46 - 3. Is 4 a factor of p?
False
Suppose -688 = -5*a - 238. Let m = -54 + a. Does 18 divide m?
True
Suppose -c - 4*c = 5, 0 = -4*i - 4*c + 116. Is i a multiple of 11?
False
Is 26/(-169) + 316/26 a multiple of 2?
True
Let g be (-6)/(-2) + 4 + -2. Suppose -49 = g*j - 174. Let b = j - 17. Is 4 a factor of b?
True
Suppose 0 = -3*i - 8 + 11. Suppose -x + 8 = 4*r - 18, -x + 5*r = i. Does 5 divide x?
False
Let b be (-60)/(-14) - 8/28. Let u(o) = 2*o - 5. Is u(b) a multiple of 3?
True
Let z(y) = -y + 80. Does 16 divide z(0)?
True
Let y = -41 + 82. Does 21 divide y?
False
Suppose 3*p - 181 = -4*d, -5*d = 4*p - 168 - 59. Is d a multiple of 8?
False
Let u(j) = -j**2 - 16*j - 3. Is 13 a factor of u(-11)?
True
Let k = -38 - -59. Is k even?
False
Let f = 3 + 4. Suppose -f*q + 3*q = 0. Suppose 0 = -q*s - 4*s + 128. Is 16 a factor of s?
True
Suppose 4*a + a = 40. Let f = 19 + -8. Let o = f - a. Is 3 a factor of o?
True
Let s = -60 - -117. Let o = -41 + s. Is 4 a factor of o?
True
Let y(d) = -d**3 + 8*d**2 - 9*d - 4. Let s be y(7). Let w = s + 30. Does 9 divide w?
False
Let s be 2/(-6) - 16/(-3). Is 213/s - (-3)/(-5) a multiple of 12?
False
Let j = 85 + -5. Does 10 divide j?
True
Suppose -4*x = -187 + 47. Does 14 divide x?
False
Suppose 0 = -3*c + 5*c. Suppose 4*f - 32 = -c*k + 2*k, f = k + 7. Is f a multiple of 9?
True
Suppose -b = -0*y + 2*y, 0 = -3*b - y + 5. Let r(d) = 8*d + 2. Let h be r(2). Suppose b*w - 24 = h. Is w a multiple of 10?
False
Suppose 35 = 4*c - 3*d, -5*d = -2*c + 18 + 17. Let t = -24 + c. Let f = t + 28. Is 6 a factor of f?
False
Suppose -2*u - 2*s = -0*s - 76, -2*u + 5*s + 97 = 0. Suppose -5*z + 2*n = -2*n - u, -4*z - 5*n = 0. Does 2 divide z?
False
Is 17 a factor of 2 + (0 - 1) - -60?
False
Let q be 0*(1 - 1/2). Let l = -13 - -16. Suppose -2*i - l*t + 12 = q, -3*t + 1 - 25 = -4*i. Is i a multiple of 6?
True
Suppose -3*v - 4*d = -7, -v = 3*d - d - 5. Let i(r) = r**3 + 2*r + 2 + 4*r**2 + 2*r**2 + 0*r**2. Is i(v) a multiple of 11?
False
Let u(n) = -n**3 + 5*n**2 + 3*n + 4. Let l(p) = 2*p**3 - 5*p**2 - 3*p - 4. Let r(t) = -2*l(t) - 3*u(t). Does 3 divide r(-5)?
False
Let r = 34 - 22. Is r a multiple of 4?
True
Let f be ((-24)/30)/((-2)/(-5)). Let x(n) = 2*n**2 - 2 + n - 2*n**2 - 2*n**3 + 2*n**2. Is x(f) a multiple of 10?
True
Let f(k) = -k**3 - k + 84. Is 24 a factor of f(0)?
False
Let c(p) = 13*p. Does 11 divide c(3)?
False
Let k(c) be the second derivative of 2*c**3/3 + c**2/2 - 7*c. Suppose -3*u + 4*a + 3 = 0, u - 2 = -u + 3*a. Does 3 divide k(u)?
False
Suppose 7 = p - 2*h + 1, -4*h - 4 = 0. Suppose -p*n + l - 3*l = -166, -218 = -5*n + l. Is 12 a factor of n?
False
Let d = 13 + -10. Suppose -4*t = -2*l - 178, l - 18 = d*t - 149. Is 13 a factor of t?
False
Suppose -3*i + 3*g - 4 = 7*g, 0 = 4*i - 2*g - 2. Suppose i = -2*t + 2, t - 51 + 1