f) = 2*f**3 - 4*f**2 + 4*f - 2*f - 2 + 5. Does 11 divide b(j)?
False
Is 3 a factor of (-2 - (-24)/9)*9?
True
Suppose 3*j - 53 - 34 = 0. Is 5 a factor of j?
False
Let o(n) be the second derivative of 7*n**4/6 + n**2/2 - 2*n. Is o(-1) a multiple of 11?
False
Let y(z) = 3*z**2 - 2*z - 1. Let m be y(2). Suppose 3*s - 4*o = m, 3*s - s + 5*o = 20. Is s even?
False
Let v(g) = g + 5. Let o be v(0). Suppose 2*c - 35 = -z, 5*c + 133 = o*z + c. Is 26 a factor of z?
False
Suppose -8*p = 2*c - 4*p - 24, -38 = -4*c + 2*p. Let n = c + -6. Suppose -33 = -n*q + 2*v + 49, -3*q - v = -64. Does 10 divide q?
False
Let u = -1 - -5. Suppose u*f + y + 8 = 9*f, -4*f - y = -10. Suppose -2*j + 6*j + b - 20 = 0, -f*b + 28 = 5*j. Does 4 divide j?
True
Let i(p) = -113*p - 33. Is 20 a factor of i(-3)?
False
Let k(t) = 11*t**2 - 4. Does 5 divide k(2)?
True
Does 13 divide (-1 - (-18)/12) + (-250)/(-4)?
False
Let y = -3 + 2. Let m(f) = -f - 7. Let x be m(-13). Let h = x + y. Does 4 divide h?
False
Let b(h) = h**3 - 4*h**2 - 8*h + 12. Is 12 a factor of b(6)?
True
Suppose -3*m - m = -36. Is m a multiple of 3?
True
Let i = 117 + -57. Does 16 divide i?
False
Let x be 3/2 + 1/2. Suppose -o + 27 = x*o. Does 3 divide o?
True
Suppose u - 222 = -4*a - 2*u, -5*a + 274 = 2*u. Is 6 a factor of a?
True
Suppose 0 = 4*b - 3*a - 200, 5*b - 7*a = -3*a + 249. Is b a multiple of 8?
False
Let k be 975/9 + 1/(-3). Suppose 2*b + k = -2*b. Let j = 62 + b. Does 13 divide j?
False
Let h(r) = -2*r + 14. Let o be h(0). Suppose -2*j = -j - o. Is 11 a factor of j?
False
Let n be 15/(-3)*8/(-20). Suppose y - 2*j = 14, -y - 2*j + n = 2*y. Is 2 a factor of y?
True
Let w = -134 - -221. Let f = w - 48. Is f a multiple of 13?
True
Let y(v) = 2*v**2 - 21*v + 9. Let d(r) = r**2 - 10*r + 4. Let i(o) = -5*d(o) + 2*y(o). Let p be i(6). Suppose -2*b = -32 + p. Is 10 a factor of b?
False
Let x(p) = 6*p - 7. Let c(v) = -v**2 - 8*v - 2. Let d be c(-6). Suppose -q = 2*y + 4*q - d, 0 = -4*q. Is x(y) a multiple of 12?
False
Suppose 4*v - 2*v - 105 = -5*m, -4*v = -2*m + 42. Let c = -7 + m. Is c a multiple of 7?
True
Let w be 0 - -1 - 14/(-2). Let r = 17 - w. Does 7 divide 3*(42/r + 0)?
True
Is 3 - (-4 - (12 + 3)) a multiple of 22?
True
Let v(d) = d**2 - 5*d + 3. Let w be v(3). Suppose -26 = -4*f + 6. Let t = f + w. Is t a multiple of 5?
True
Let m be ((-2)/(-6))/(3/225). Let j = m + -15. Does 5 divide j?
True
Let c = 24 + -17. Suppose 5*f + c*p - 4*p - 29 = 0, 10 = 2*f + 2*p. Let w = f + -4. Does 3 divide w?
True
Let c = -7 - -9. Suppose 52 + 12 = c*h. Is 16 a factor of h?
True
Let f(i) = -24*i**2 - 2*i - 3. Let d be f(6). Let l = -507 - d. Is (-4)/6*l/(-8) a multiple of 11?
False
Let z be 6*(6/(-3) + 1). Let l = 6 + z. Suppose -2*s + 4*m = s - 59, 4*s - 5*m - 77 = l. Does 5 divide s?
False
Suppose 0 = 2*h + i - 278, -11*h + 4*i = -9*h - 268. Does 23 divide h?
True
Let k be (-6 - -9)*(-2)/3. Let q be (-208)/(-3) + k/6. Let g = q + -37. Is 12 a factor of g?
False
Suppose -5*v + 3*u = 2*u + 112, -3*u = -6. Does 5 divide 1 - v - (11 - 8)?
True
Suppose 2*n + 12 = -y - 2*n, 5*y - 5*n = 15. Let u be (-1)/1 + (0 - -3). Is (u - y)*5/2 a multiple of 5?
True
Let q(f) be the first derivative of -3*f**2/2 - 8*f - 8. Is q(-12) a multiple of 7?
True
Let n = -100 + 63. Let i = 89 + n. Is i a multiple of 13?
True
Let q = -9 - -13. Let n(a) = a**3 - a**2 + 2*a + 1. Is 19 a factor of n(q)?
True
Let c(f) = 4*f**2 - 7*f - 2. Is c(-4) a multiple of 18?
True
Let a(m) = -m**2 + 3*m. Let i be a(4). Let b = i + 4. Suppose -2*s + 4*r = -6, b*r - 5*r + 5 = 0. Does 5 divide s?
True
Suppose -6 - 18 = -2*r. Is r a multiple of 6?
True
Suppose 4*f + 26 = -14. Let z = 20 + f. Is z a multiple of 10?
True
Let w(v) = 19*v + 2. Is 27 a factor of w(5)?
False
Let y(q) = -q - 3. Let o be 8/(-4) - 2*-1. Let j be y(o). Let v = 5 + j. Is v a multiple of 2?
True
Let i(w) = -w**3 + 9*w**2 - 10*w - 2. Suppose -m + 28 = 4*x, -2*x = 3*x - 4*m - 35. Let c be i(x). Does 19 divide -4*(c/(-4) - 3)?
True
Let h(p) = 185*p**3 + p**2 - 1. Let f be h(1). Suppose -6*j + f = -j. Is j a multiple of 15?
False
Let t = 11 - 10. Does 19 divide 0 + t + (-8 - -63)?
False
Let l(y) = -29*y + 26. Does 44 divide l(-8)?
False
Let g be 0 - (2 + -2 - 3). Suppose 0 = -g*a - 5*q + 4 - 29, 0 = -4*a - q - 5. Suppose -3*z + 39 = -a*z. Is 13 a factor of z?
True
Let r be (1 + (-3 - -1))*0. Suppose r = -5*b + b + 72. Is b a multiple of 6?
True
Suppose 5*d - 2*k = 14, 2*d = -d - 2*k + 2. Suppose d*y - 5*y + 72 = 0. Is 12 a factor of y?
True
Let k(s) = s**2 - 2*s + 150. Does 25 divide k(0)?
True
Let k(x) = 5*x**2. Let v be k(1). Suppose 3*g = -5*u + u - 6, -v*g - 10 = 2*u. Suppose -4*h = 20, 2*z + u*z + 2*h = 88. Does 18 divide z?
False
Suppose -2*u + 35 = 3*u. Is 6 a factor of (-10)/35 - (-51)/u?
False
Suppose 2*t = 2 - 14. Let v = t + 10. Suppose -5*d + 3*m = -v*d - 16, -2*d + 32 = -m. Is d a multiple of 7?
False
Is 3 a factor of 20/(-3)*5/((-75)/27)?
True
Is 8 a factor of (-2)/((4 - 7)/18)?
False
Let t(j) = -j**3 + 7*j**2 + j + 12. Is t(6) a multiple of 18?
True
Let h(v) = -11*v - 2. Let f be h(-3). Suppose 4*s + 3 = f. Is s a multiple of 7?
True
Let o(n) be the first derivative of -n**4/4 - n**3/3 - n**2 - 3*n - 2. Suppose -5*f - y = 13 + 3, 0 = -f - y - 4. Is o(f) a multiple of 13?
False
Let g(m) = -m**3 - 4*m**2 + 7*m - 4. Let t = -6 - -4. Let r = t - 4. Does 13 divide g(r)?
True
Suppose 4*o + 4 = -4. Does 7 divide -1 - -1 - (o + -5)?
True
Let p be 3*(-1)/((-6)/(-8)). Let q be (-2 + (-9)/2)*p. Is (1 + q/(-6))*-9 a multiple of 15?
True
Let s(h) = 10 - 10*h + 2*h - h + 0*h - h**2. Is 12 a factor of s(-7)?
True
Let v be (-4)/14 - 14/(-49). Suppose -3*s + 9 + 3 = v. Is ((-10)/s)/(5/(-10)) a multiple of 5?
True
Let s(b) = b**3 + 4*b**2 - 7*b - 6. Let o be s(-5). Suppose -o*k = -15 - 5. Does 5 divide k?
True
Suppose -4*r + 5*d = 6, 3*r + 1 + 17 = -3*d. Does 6 divide (-2)/r - 94/(-4)?
True
Let n(y) = 2*y. Let x be n(-1). Is 12 a factor of (x/(-3))/((-6)/(-477))?
False
Suppose v + 4 = 2*v + 3*z, 0 = 5*v - z - 84. Does 4 divide v?
True
Let m(h) = h + 10. Let z be m(-9). Suppose 3*w + c - 21 = -2*c, c = w - z. Suppose -2*u + u + j = -4, 9 = 3*u - w*j. Does 4 divide u?
False
Suppose -i + 5*c + 28 = 0, 2*i - 3*c - 132 = -i. Does 8 divide i?
True
Suppose -38*p + 392 = -36*p. Does 49 divide p?
True
Let c(s) = -s**2 - 9*s - 2. Suppose -9 = 2*t + 3. Does 8 divide c(t)?
True
Suppose -a + 41 = -h + 3*h, 0 = 4*a + 2*h - 152. Suppose -38 = -5*i + a. Does 12 divide i?
False
Suppose -2*r + 8 = 3*l - 31, 81 = 4*r + 3*l. Is 7 a factor of r?
True
Let h(j) = 17*j**2 + j + 2. Is 41 a factor of h(-2)?
False
Suppose 2*k + 23 = -5*l - 2*k, -3*l + 3*k - 3 = 0. Let d be ((-218)/l)/((-10)/(-75)). Is d/20 + (-2)/8 a multiple of 9?
True
Let b be 4/(5/((-10)/(-4))). Suppose -b*o - 24 = 2*o. Let w(g) = -g + 1. Is w(o) a multiple of 4?
False
Let x be (6 + -1)*4/(-10). Is (-1 - 39/6)*x a multiple of 15?
True
Let p(m) = -6 - m**2 + 1 + 2*m + 4*m. Let q be p(5). Suppose q*j - 38 = -2*j. Is j a multiple of 19?
True
Let h(x) be the third derivative of x**5/30 + 2*x**2. Does 20 divide h(4)?
False
Suppose -3*i - 6 = -4*i. Suppose 5*j - i = 2*j, -5*j = -4*a + 70. Is 5 a factor of a?
True
Let q(l) be the third derivative of -l**5/60 - 5*l**4/24 + l**3/3 + 2*l**2. Let h be q(-4). Let d(p) = p**3 - 7*p**2 + 8*p. Is 12 a factor of d(h)?
True
Let i = 7 + 3. Does 8 divide i?
False
Suppose 0*p = 2*p - 114. Is p/(-2*(-6)/8) a multiple of 19?
True
Suppose 5*k = k + 128. Let w = -4 - k. Is (-964)/w + 4/18 a multiple of 7?
False
Let y(n) = n + 5. Suppose 0 = -0*i - 4*i + 52. Suppose q + m + i = 3*q, -5*q - 2*m + 19 = 0. Is y(q) a multiple of 9?
False
Suppose -3*o + 2*o = 16. Is 30/((-2)/(o/6)) a multiple of 23?
False
Let w be (1 + -1)/1 + 0. Let y = 5 - w. Let x(f) = f**2 - 2*f + 6. Does 20 divide x(y)?
False
Suppose p - 5*b - 93 = 0, 2*p + b - 144 = -3*b. Is 21 a factor of p?
False
Suppose 0 = 4*x - 7*x + s + 114, -3*x + 120 = s. Suppose -12 = -3*q + x. Does 17 divide q?
True
Let w(b) = b**3 + b**2 + 9. Let z be w(0). Let r(x) = x**2 - 8*x + 5*x - 12 - 3*x. Does 13 divide r(z)?
False
Suppose r = 3*v - 4*r - 140, 2*v = 5*r + 95. Does 15 divide v?
True
Let i be (79 - (1 - 5)) + -3. Suppose -2*g + 2*w + i = -0*w, -5*g + 2*w + 185 = 0. Does 8 divide g?
