ppose -20 = -4*a, -2*x + 3*x + 5*a = 11. Let j = x - -26. Is 12 a factor of j?
True
Let b = 63 + -22. Does 9 divide b?
False
Suppose -4*a - 406 = c - 3*c, a - 581 = -3*c. Is c a multiple of 25?
False
Let g(r) = 3*r**2 + r - 1. Is 9 a factor of g(-2)?
True
Let a = -13 + 51. Is a a multiple of 9?
False
Does 15 divide (((-30)/25)/1)/(4/(-50))?
True
Let i(w) be the first derivative of 2*w**3/3 - w**2 + 2*w - 2. Is i(-4) a multiple of 11?
False
Suppose 5*y - 5*v = 35, -y - 3*y = -3*v - 25. Suppose y*d = 3*g + 3*d - 62, 2*g = 3*d + 32. Does 22 divide g?
True
Let r = 65 + -13. Suppose -h = -5*y - r, 5*y = 3 - 8. Does 12 divide h?
False
Suppose 3*q - u - 76 = -0*u, 3*q + 4*u - 56 = 0. Suppose 12*j - 11*j = q. Is j a multiple of 8?
True
Suppose -3*x - 2*x = -335. Does 14 divide x?
False
Let z(q) = -q - 1. Let o be z(-2). Suppose 2*t = o + 35. Is t a multiple of 7?
False
Does 9 divide 24 + -2 - (-7)/(-7)?
False
Suppose -4*r - 5*c + 258 = 0, -5*r + 3*c + c = -343. Does 29 divide r?
False
Is 15 a factor of (98 - 17) + (0 - 2) + 2?
False
Let j(o) = o**2 + 17*o + 19. Is 7 a factor of j(-18)?
False
Suppose -2 = -2*s + 3*k - 20, 2*k + 7 = -5*s. Let v(o) = 2*o**2 - 2*o - 2. Does 11 divide v(s)?
True
Suppose 3 = 5*h - 2. Let w = -1 + h. Suppose 3*g + 39 - 234 = w. Is g a multiple of 24?
False
Let f = -5 - -8. Suppose 49 + 89 = 5*d + 3*g, 12 = -f*g. Is 12 a factor of d?
False
Suppose 2*q - 4 = d, 0 = -4*d + 4*q + q - 1. Let i be (-4)/3*(-9)/d. Does 12 divide i/(-2) + -2 + 27?
True
Let z = 1 + -2. Let j = z - -1. Suppose y + 6 - 14 = j. Does 3 divide y?
False
Let s(h) = -1 + 12*h**3 - h**2 - 2 - 5*h - 14*h**3. Is 22 a factor of s(-3)?
False
Is 10 a factor of ((-48)/(-30))/((-2)/(-25))?
True
Suppose 4*j + 0*j - 3*y - 32 = 0, 24 = 3*j + 2*y. Suppose -j*h + 13 = -3. Is h a multiple of 2?
True
Suppose g - 8*g = -462. Let a be 1*-1 - (0 - 1). Suppose -4*l + 202 - g = a. Is l a multiple of 12?
False
Let n(m) = -43*m + 3*m - 4*m. Is 11 a factor of n(-1)?
True
Let d = -26 - -52. Let k = -15 + d. Suppose -4*t + 93 + k = 0. Is t a multiple of 13?
True
Let j(c) = 4*c**2 + c - 4. Let q be j(6). Suppose -4*a + q = 362. Does 16 divide (0 + 2)*a/(-4)?
False
Let v be 2/10 - 76/(-20). Suppose v*a = -4*x + 76, -3*a = 2*a - 20. Is 15 a factor of x?
True
Let j(g) be the first derivative of g**4/4 - g**3/3 + g**2/2 + 9*g - 2. Is 9 a factor of j(0)?
True
Let d(m) = -10*m**2 + m. Let t be d(-1). Let p = 11 - t. Is 6 a factor of p?
False
Let f = 3 - 1. Suppose -16 = -w + f*m, 0*w + 2*m = 2*w - 40. Is w a multiple of 24?
True
Let v(o) = -o**2 + 7*o - 4. Let w be v(7). Let c be (-20)/(-8)*(2 + w). Is 14 a factor of 74*(c/(-2) + -2)?
False
Let z = 2 + -2. Suppose 4*n + z = 4. Let i = 7 + n. Is 8 a factor of i?
True
Let w(m) be the first derivative of m**4/4 - 4*m**3/3 + 2*m**2 - 3*m + 3. Does 14 divide w(5)?
True
Let v(x) be the second derivative of -x**5/20 - 3*x**4/4 - x**3/3 + 9*x**2/2 + x. Let u be v(-8). Let k = -28 - u. Is k a multiple of 10?
False
Let k(g) = -7*g + 3. Let v be k(5). Let l be v/(-6) + (-2)/6. Suppose 0 = q - 5*y - 13, l*q - 2*y = -3*y + 39. Is q a multiple of 5?
False
Let v be (-2)/(-4)*0 - -4. Suppose v*m = 19 + 113. Suppose -5*a + m = s, 5*s - 3*a + 0*a - 165 = 0. Does 14 divide s?
False
Let n = 11 + 0. Does 11 divide n?
True
Let x(a) = 19*a**2 - a. Is 18 a factor of x(1)?
True
Is (3 - (-44 - -6)) + 2*2 a multiple of 9?
True
Let z(b) = 5 - 2*b**2 + 10*b**2 - 2*b + 3 - 8*b - b**3. Let v be z(6). Let a = v - 4. Is 8 a factor of a?
True
Let p(i) = -i**2 + 22*i + 3. Is 5 a factor of p(18)?
True
Suppose 47 = x - 4*s, 5*x = 3*s + 2*s + 160. Is 6 a factor of x?
False
Suppose 0 = -10*v + 404 - 94. Does 31 divide v?
True
Suppose 3*c = 5*k - 113, -k + 24 = -6*c + 4*c. Suppose 0 = 4*i - 3*r - 38, 2*r - 32 = -3*i + 6*r. Suppose -i = -5*z + k. Is z a multiple of 6?
True
Suppose 3*i = -2*h + 66, 6*h - h = 3*i + 123. Let p be 4*(-1)/(4/3). Is p/((-84)/h + 3) a multiple of 8?
False
Let i(l) be the first derivative of -l**3/3 - 9*l**2/2 - 2*l + 1. Let f = 13 - 19. Is 8 a factor of i(f)?
True
Let f(j) = -4*j + 4. Is 8 a factor of f(-3)?
True
Let w(b) be the second derivative of b**5/20 - b**4/6 + 2*b**3/3 - 3*b**2/2 - b. Let o be (10/(-15))/((-1)/3). Is 2 a factor of w(o)?
False
Suppose 0 = -6*g + 42 + 282. Does 15 divide g?
False
Suppose 0 = 4*j + 13 - 97. Is 21 a factor of j?
True
Let v = 34 + -17. Is 24 a factor of (1 + v)*(-28)/(-8)?
False
Let y = -43 - -45. Let s = -8 - -11. Suppose -21 = -v - y*d, -68 = s*v - 7*v - 4*d. Is 12 a factor of v?
False
Is 12/15*35/2 a multiple of 7?
True
Let b be 1/5 + 11/(-5). Does 12 divide b/(-9) - (-106)/9?
True
Suppose -2*r + 8 = -p + 2*p, -5*r + 17 = p. Suppose -s + 4*a = r*a - 17, -25 = 5*a. Is s a multiple of 6?
True
Let k = 84 + -48. Is k a multiple of 8?
False
Suppose -13 - 3 = -4*m. Suppose 13 + 2 = -5*r, -2*j = -5*r - 95. Suppose 0*w + m*w + 4*g = j, 4*w - 3*g = 61. Is 13 a factor of w?
True
Suppose 2*r - 358 = 5*t, 0 = 2*r + 7*t - 2*t - 398. Is r a multiple of 21?
True
Suppose 0*f - f + u - 22 = 0, 2*f = -3*u - 49. Let y = -14 - f. Is 5 a factor of y?
False
Let o(m) = -m**3 - 9*m**2 - 18*m + 6. Does 56 divide o(-9)?
True
Let t(v) = 3*v**2 - 4*v - 7. Let f be t(7). Let l = 160 - f. Is l a multiple of 15?
False
Does 4 divide (-104)/(-14) - 9*2/42?
False
Suppose -k = k. Suppose k = 2*b - 0*b - 240. Suppose b = w + 2*w. Is w a multiple of 20?
True
Let m be 41 - (-1)/(-2)*0. Suppose -5*y + m = -9. Is 7 a factor of y?
False
Let j(g) = 14*g**2 - 3*g + 2. Is j(2) a multiple of 21?
False
Let q = -2 + 4. Suppose -11 + 29 = -5*d - 4*b, q*d - 2*b = 0. Let h(j) = 8*j**2 + 3*j + 2. Does 10 divide h(d)?
False
Let o = -260 + 410. Does 15 divide o?
True
Let l be 1/(-2)*(-1 + 1). Suppose l*r = -2*r + 62. Does 11 divide r?
False
Let s(w) be the third derivative of w**5/60 - w**4/24 - w**3/6 - w**2. Let d be s(0). Let l = 11 + d. Does 10 divide l?
True
Let w(f) = -7*f + 5. Let c be w(5). Let u = c - -15. Is (-1)/3 - 155/u a multiple of 5?
True
Let l(f) = f**2 - 3*f + 3. Let h be l(3). Let c(b) = b**3 + 6*b**2 - b. Let q be c(-6). Suppose -m + h*p = -5, -2*m - p + 4 = -q. Does 3 divide m?
False
Suppose -4*r = -3*r - 3. Suppose -4*j - k = 10, 3*j = -0*j - r*k - 3. Does 11 divide (-25 - 1)*j/6?
False
Let j = -3 + 4. Suppose -q - j + 0 = 0. Let g(o) = -4*o. Is 2 a factor of g(q)?
True
Let l = 317 - 213. Is l a multiple of 13?
True
Suppose -3*l = f - 13, -2*l = 2*l + 2*f - 20. Suppose -l*v = v - 156. Is 22 a factor of v?
False
Suppose -2*d - 2*d + 3 = -5*a, -2*d + 19 = a. Let t = d + -4. Does 3 divide t?
True
Let k = -15 + 36. Is 7 a factor of k?
True
Let p be 4 - (3 - 4 - -2). Let k(c) = 7*c**2 - 1. Let w be k(-1). Does 17 divide ((-69)/w)/(p/(-6))?
False
Let h(d) = -d**3 - 2*d**2 + 3*d + 2. Let z be h(-2). Is 5 a factor of 16/(1/((-2)/z))?
False
Suppose 3*u - c = 5*u - 6, 2*c - 17 = -5*u. Does 3 divide u?
False
Let g be 18/4*(-36)/(-27). Suppose g = n - 3*p - 2, 0 = n - 4*p - 9. Is n a multiple of 5?
True
Suppose -25 = -4*x - 9. Suppose -4*h - 137 = -5*m, -5*h + 124 = x*m - h. Does 6 divide m?
False
Does 12 divide (-29 - 1)*(0 + (-24)/20)?
True
Suppose 4*f - g - 15 = -0*g, 2*f + 4*g - 30 = 0. Let p = -3 + f. Suppose -p*y + 12 = l - y, 0 = -l - 4*y + 24. Is 8 a factor of l?
True
Let j(v) = -v + 1. Let g be j(-7). Let i(a) be the second derivative of a**3/2 - 6*a**2 - 2*a. Is 12 a factor of i(g)?
True
Let j(u) = 2*u**3 - 2*u**2 - 9*u + 1. Let i be 24/((-9)/(-3)) + -4. Is j(i) a multiple of 18?
False
Suppose 6 = -3*j + 6*j. Let p = -214 + 104. Is 20 a factor of p/(-2) + j + -1?
False
Suppose -3*c + 21 = 3*h, -c + 9 = -h - 4. Is 2 a factor of (-2)/5 + 24/c?
True
Let x(v) = -2*v**3 - 13*v**2 - 4*v + 7. Is 7 a factor of x(-8)?
True
Suppose -10 = 3*p - 4*c, p - 65 = 6*p + 3*c. Let g = p - -13. Does 3 divide g?
True
Suppose 3 - 1 = d. Suppose 2*b - 5 = -5*j, 5 = -d*b - 2*b + 5*j. Suppose b = -l + 15 + 4. Is l a multiple of 9?
False
Let m(d) = -9*d - 47. Is 27 a factor of m(-10)?
False
Let f(j) = -2*j + 3. Let z be f(-4). Let b be z/((-1 - 0)*1). Let w = 24 + b. Is w a multiple of 13?
True
Let v(b) = 14*b. Let r be v(1). Suppose -3*c + r + 25 = 0. Is 13 a factor of c?
True
Is (-414)/27*(-1)/(-2)*-3 a multiple of 23?
True
Suppose 0 = 3*g - 7*g + 720. Suppose 0 = -