False
Let d(a) be the first derivative of a**3/3 - 7*a**2/2 + a + 4. Let g be d(7). Does 2 divide 0 - (g - -6)*-1?
False
Let x = 29 - 25. Suppose y + x = -5*w, -w - 25 = 4*w. Is 7 a factor of y?
True
Let k(n) = n**3 + 8*n**2 - n - 7. Let d be k(-8). Is (2/d - 3)*-13 a multiple of 4?
False
Suppose -3 = -a - 0. Suppose -v + 4 = -a. Is 12 a factor of (6/v)/(1/14)?
True
Suppose -6*d + 3*d - 5*y = -105, 0 = -4*d + 3*y + 111. Let l = d + 10. Is 20 a factor of l?
True
Let g = 28 + 63. Is g a multiple of 13?
True
Let a(u) = -2*u - 7. Let y be a(-5). Suppose y*f - 2*h = 2*h + 30, 0 = -3*f - 2*h + 30. Is 5 a factor of f?
True
Let d be ((-22)/4)/((-2)/8). Suppose -3*i + 3*p = -4*i + 26, 2*i - 4*p = d. Is 17 a factor of i?
True
Suppose 3 = o, 6 = -2*t + 3*o + 3. Let g(u) = 5*u - 1. Let r(l) = l. Let c(b) = g(b) + 3*r(b). Is c(t) a multiple of 8?
False
Let w be 6/8 - (-50)/8. Suppose w*h - 9 = 3*h + g, 0 = -h + g. Suppose -p + h*p = 64. Does 13 divide p?
False
Suppose -4*j + n + 16 = j, -n + 4 = 0. Suppose -32 = -j*w - 0*w. Is w a multiple of 8?
True
Let t = -149 + 82. Let q = t + 42. Is (-1)/5 + (-230)/q a multiple of 9?
True
Let i(r) = -r. Suppose -4*b - 1 - 3 = 0. Let z be i(b). Does 11 divide 539/21 + z/3?
False
Let f = 62 + -38. Suppose -2*q + 3*q = f. Is q a multiple of 10?
False
Suppose 1 + 22 = b. Suppose 13 = 2*i - 4*r - b, 3*r = -i + 18. Suppose -2*l - l = -i. Is l a multiple of 6?
True
Let l(n) = -5*n + 12. Is l(-7) a multiple of 12?
False
Let a(p) = 6*p + 4. Let s(u) = 6*u + 8. Let n(h) = -6*h - 9. Let v(y) = -5*n(y) - 6*s(y). Let i(j) = -2*a(j) - 3*v(j). Is 10 a factor of i(3)?
False
Suppose 0 = -a - i - 4*i - 30, 2*i = -6. Suppose 4*y = -8 - 100. Let w = a - y. Is 12 a factor of w?
True
Suppose -5*g - 2*u = u + 937, -3*g = -4*u + 568. Let j be (-6)/5*5/2. Does 15 divide g/(-6) - (-1)/j?
False
Let h be (-50)/(-18) - 2/(-9). Suppose -h*m = 4 - 13. Suppose -8*n + 85 = -m*n. Is 17 a factor of n?
True
Let f be 5*1 - (-15)/(-5). Suppose 2*q - 12 = -f. Suppose 87 = q*l - 53. Is 11 a factor of l?
False
Let n(c) = -13*c**3 + 2*c + 1. Suppose -4*p - 4 + 0 = 0. Is n(p) a multiple of 6?
True
Suppose -13*v = -14*v + 84. Does 6 divide v?
True
Let q be (0 + -2)/(4/(-6)). Let a = 2 + q. Let v = 9 - a. Is 2 a factor of v?
True
Suppose b = -m + 51, 161 = -2*b + 5*b - 5*m. Let z = 128 - b. Is 38 a factor of z?
True
Let s(n) = 25*n - 1. Let t be s(-3). Let f(p) = 2*p**3 - 8*p**2 - 4*p - 6. Let z be f(6). Let w = z + t. Is w a multiple of 21?
False
Is 195/21 - (5/(-7) - -1) even?
False
Let l(i) = i**2 + 6. Does 7 divide l(-5)?
False
Let p = -7 - -12. Suppose 6*o - o + 5*s - p = 0, -s = 2*o + 2. Let x = 5 + o. Does 2 divide x?
True
Suppose s - 2*s + x = -8, 4*x = s - 23. Let a be (-1)/((-9)/(-33))*s. Let g = a + 22. Is 11 a factor of g?
True
Let q(a) = 6*a + 2. Let u be q(1). Suppose -5*j + 42 = -u. Is 5 a factor of j?
True
Let p(w) be the first derivative of 5*w**3/3 - w + 1. Is p(-1) even?
True
Is 14 a factor of 10*(70/21 + 4/6)?
False
Let i = 366 + -233. Let w = -27 + 52. Suppose 0 = 4*o - i + w. Is o a multiple of 14?
False
Suppose 0*f = -3*f + 3. Suppose f = 4*s - 55. Does 14 divide s?
True
Suppose v + 6 = -2*v - 2*s, s - 4 = 2*v. Let z be 1 - (-23 + v + 0). Let d = 39 - z. Is d a multiple of 9?
False
Let n = -6 + 22. Let c = -10 + n. Does 2 divide c?
True
Let w(h) = 25*h + 20. Does 35 divide w(9)?
True
Let o(g) be the second derivative of -g**3/6 + g**2/2 + 5*g. Let d be o(-4). Suppose 17 = r + 2*f - 35, 5*r - 290 = d*f. Does 25 divide r?
False
Let n = 50 + -35. Is n a multiple of 5?
True
Let x(o) be the third derivative of o**2 + 0*o + 0 - 1/12*o**4 - o**3. Does 4 divide x(-7)?
True
Suppose 0 = -11*i + 14*i - 897. Does 23 divide i?
True
Let s(v) = v - 1 - 3*v + 0*v. Let k be s(-5). Does 3 divide k - (-2 + 1 + 3)?
False
Is -1 + 65 + -3 + 5 a multiple of 22?
True
Suppose -2*m - 13 + 181 = 0. Is 7 a factor of m?
True
Is 8 a factor of 6/(-3) + (-5 - -34)?
False
Does 24 divide 7 - 3 - (-67)/(0 + 1)?
False
Let d(j) = -3*j - 12. Let o be d(-9). Does 19 divide o*2*(-3)/(-2)?
False
Let w be (-1119)/(-12) - 1/4. Suppose 3*j = 3*f + 99, -3*j + w = -3*f - 2*f. Suppose -4*p - j = -8*p. Does 9 divide p?
True
Let b be (-20)/(1 + -2 + 0). Suppose -3*p - 4*g + 18 + 32 = 0, -p - 3*g + b = 0. Does 14 divide p?
True
Is (2 - 5/10) + 434/4 a multiple of 22?
True
Let l = 43 + -92. Let k = 109 + l. Does 30 divide k?
True
Let d(k) = -k**3 + 9*k**2 - 6*k - 6. Let c be d(6). Suppose -2*s = 2*j - c, 5*s - 3*s + 21 = j. Let h = -21 + j. Is h a multiple of 4?
True
Let r(o) = 4*o - 4. Let z(d) = d - 4. Let a be z(9). Is r(a) a multiple of 16?
True
Let a be (81/18)/(2/28). Suppose 8*q = 5*q + a. Does 10 divide q?
False
Let g be -3*2/3*-1. Suppose 3*f - 54 = -5*s, 2*f = 3*f + g*s - 19. Is f a multiple of 6?
False
Let c(l) = 10*l**3 + l**2 - 3*l + 1. Is 31 a factor of c(2)?
False
Suppose 0 = -2*t, -3*h + 63 = -t - 0*t. Is 9 a factor of h?
False
Let b = -285 - -601. Is 25 a factor of b?
False
Let f be (-2)/(-5) - (-8)/(-20). Let l(m) = -m**2 + 9. Is l(f) a multiple of 4?
False
Suppose -i - 66 = -4*i. Is i a multiple of 10?
False
Suppose d = 2*d - 117. Let k = d - 28. Suppose 5*b - c - k = -0*c, -b - 2*c + 20 = 0. Is b a multiple of 18?
True
Let v = 6 - 2. Let u be (0 - -3)*1*27/27. Suppose u*q + 5*s = 121, -v*q - s + 4 + 180 = 0. Does 12 divide q?
False
Suppose -2*t + 5 = 3. Let r = t - -3. Suppose -2*m + 18 = r. Does 7 divide m?
True
Suppose 3*w + 3*p - 18 = 0, -4*p + 10 = 2*w - 5*w. Suppose w*k - 3*k = -2. Does 2 divide k?
True
Let o(w) = -w**3 - w**2 + 12*w + 13. Let y(v) = 2*v**3 + 3*v**2 - 23*v - 25. Let a(i) = -7*o(i) - 4*y(i). Is a(-7) a multiple of 17?
True
Suppose -2 = -g + 4. Let w = g + -3. Suppose -3*c + 15 = -4*o - 11, w*c + 4*o - 58 = 0. Does 9 divide c?
False
Let z(f) = -f**3 - 11*f**2 + 10*f + 16. Is z(-12) a multiple of 15?
False
Let q(h) = -21*h - 6. Let u(r) = -31*r - 9. Let z(p) = -7*q(p) + 5*u(p). Let v(b) = b**2 - 8*b - 4. Let x be v(8). Does 11 divide z(x)?
False
Suppose -5*u - 160 = -395. Is (-10)/(-30) + u/3 a multiple of 8?
True
Is -125*(-4)/(-6)*24/(-40) a multiple of 10?
True
Let m(n) = 27*n + 14. Let h(p) = -14*p - 7. Let d(q) = 7*h(q) + 3*m(q). Is d(-5) a multiple of 12?
False
Suppose -j + 82 = 3*i, 0*j = 5*i + 4*j - 132. Does 14 divide i?
True
Let x be (-2)/(-7) - 10/(-14). Suppose -b - 4*n + 11 = 0, x = -3*b - 2*n - 6. Let p = b + 13. Is 4 a factor of p?
True
Let v = 353 + -135. Is v a multiple of 14?
False
Let y be (-1)/2 - (-3)/2. Let h(a) be the third derivative of 41*a**4/24 + a**3/6 + 2*a**2. Is h(y) a multiple of 21?
True
Let p(j) = -j**2 - 6*j + 1. Suppose -3*v - i = 10 + 5, 5*v + 3*i + 25 = 0. Let z be p(v). Suppose -x + z + 5 = 0. Is x a multiple of 4?
False
Let u(r) = r**2 + 5*r - 4. Let l be u(-6). Suppose 0*p = l*p - 34. Is 14 a factor of p?
False
Let k = 1 + 1. Let j be (798/12 + -2)*(-8)/(-6). Suppose 3*c + v - j = 6*v, -2*c - k*v = -36. Is c a multiple of 6?
False
Let m be (-1 + -3)*5/(-10). Suppose m*j - 33 - 55 = 0. Is 18 a factor of j?
False
Suppose -5*t + 39 - 14 = 0. Suppose -t*h + 36 = -4*h. Is h a multiple of 12?
True
Suppose -3*j + 10 = -2*j + 5*c, -4*j + c = -40. Is 3 a factor of j?
False
Let q(n) = 4 + n**2 - n**3 - 4*n**2 - 8. Let h be q(-4). Suppose -2*b = -b - 3*x - h, b - 17 = -2*x. Does 9 divide b?
False
Let j be -1 + 6/(-2 - 0). Let x = j - -17. Is x a multiple of 13?
True
Let a be (4/10)/((-2)/40). Let c = 50 - 26. Let f = a + c. Does 8 divide f?
True
Let t(w) = 6*w - 2. Let u be t(4). Suppose p - u - 22 = 0. Is 11 a factor of p?
True
Is 15 a factor of 48/(-10)*50/(-4)?
True
Let p be (-35)/(-10) + 2/4. Does 10 divide (-5 - (-1 + p))*-3?
False
Let c(n) = 8*n**3 + n**2 + n - 2. Is c(2) a multiple of 17?
True
Suppose -m = -2*m - 9. Let h(c) = 2*c + 5. Let y be h(5). Let g = y + m. Does 4 divide g?
False
Let q = 9 - 7. Suppose -q = -x - i, 0 = -x - 2*i + 1 - 2. Is x a multiple of 3?
False
Let n(c) = c**3 - 9*c**2 - 10*c + 3. Is 2 a factor of n(10)?
False
Let n(a) = -a**3 - 8*a**2 - 21*a - 5. Is 7 a factor of n(-6)?
True
Let z(a) = 8*a - 7. Let t(d) = -2*d - 5. Let g be t(-5). Is z(g) a multiple of 11?
True
Does 6 divide (-3 + 3 + -6)*-1?
True
Let z = -64 - -196. Does 12 divide z?
True
Let v = -21 + 38. Is 3 a factor of v?
False