o - 25. Let s be f(32). Let l(y) be the first derivative of 3*y**2/2 + 1. Does 7 divide l(s)?
True
Let c(y) = -y**3 - 8*y**2 + 8. Let d be c(-8). Is d/((-1)/(29/(-2))) a multiple of 29?
True
Let h(n) = -n**3 + 2*n**2 + 8*n + 16. Let j be h(-5). Suppose 4*z + j - 931 = 0. Is z a multiple of 13?
True
Suppose 82451 = 95*j + 24311. Does 63 divide j?
False
Let c be ((-1)/(-1) - 2)*40. Let z = -18 - c. Is 18 a factor of z?
False
Suppose 11 = 2*f + 7. Suppose 0 = -5*c + 10, -3*i = -f*c + 3*c - 137. Does 15 divide i?
True
Suppose -s - 2*n = -9, -27 = -7*s + 2*s - 4*n. Suppose 2*u - 11 = 3*c, 5*u = 7*c - s*c + 10. Is 4 a factor of -2*(-2)/(u - -3)?
True
Suppose 4*i - w + 3 = 1, w - 2 = 3*i. Is 77 - (i + 2/2 - 4) a multiple of 16?
True
Let d = -3091 + 4440. Is 28 a factor of d?
False
Let v be (378/(-15))/((-1)/(-5)). Let q = v - -318. Is q a multiple of 13?
False
Let u(n) = n**2 + 1. Let t(a) = -2*a**2 + 3*a - 3. Let k(r) = -t(r) - 5*u(r). Let h(o) be the first derivative of k(o). Does 12 divide h(-6)?
False
Does 39 divide (10/4)/((-5)/(-132))?
False
Suppose 43*u + 2*w = 46*u - 519, 3*w + 351 = 2*u. Is u a multiple of 3?
True
Let q(m) = -4*m - 223. Let s be q(0). Let t = -155 - s. Is 4 a factor of t?
True
Suppose -2477 = -6*m + 8131. Is m a multiple of 12?
False
Let c(v) = -65*v + 272. Is 10 a factor of c(-31)?
False
Let i be 4/(-14) + (-32)/(-14). Suppose 1 = r + i*w - 7, 2*r + 3*w - 16 = 0. Let g = 23 - r. Is 11 a factor of g?
False
Suppose -4*v + 5*j + 2605 = -2574, 5181 = 4*v - 3*j. Is 81 a factor of v?
True
Let g(d) be the second derivative of -d**5/20 - 5*d**4/6 - 4*d**3/3 + 9*d**2/2 - 3*d. Let b be g(-9). Suppose -2*u = -b*u - 86. Does 15 divide u?
False
Let j be (-162)/(-90)*(-5)/(-3). Suppose j*a = 32 + 31. Is 5 a factor of a?
False
Let b = 1 - -100. Does 2 divide b?
False
Let a be 1*(0 - (-2 + -9)). Let w = a - 15. Let h = 10 + w. Is h a multiple of 3?
True
Let n be ((-3)/(-9))/(1/6). Let u(s) = s**3 + 3*s**2 - 5*s - 2. Let t be u(-3). Let k = n + t. Does 15 divide k?
True
Let z be 60/(0 - -4)*-1. Is (-1392)/z + (-8)/10 a multiple of 18?
False
Let y = -473 + 807. Does 7 divide y?
False
Does 17 divide (-72)/108 + (-1295)/(-3)?
False
Suppose 2*s - 2*d = 0, -2*s + d - 2*d + 6 = 0. Suppose -22 = -5*n - 2*y, -2*n - s + 12 = 2*y. Is n even?
True
Let c(g) = -190*g**2 - 55*g. Let b(v) = 21*v**2 + 6*v. Let r(s) = 55*b(s) + 6*c(s). Is r(-2) a multiple of 15?
True
Let s(d) = -25*d - 7. Let m be s(-5). Suppose 3*w - 321 = -5*n + 6*w, 2*n + 4*w - m = 0. Does 9 divide n?
True
Let q(j) = 211*j - 4. Is 65 a factor of q(3)?
False
Let i = -1307 + 1874. Is i a multiple of 10?
False
Let t = -2 + 4. Let h be 12*((t - 0) + 2). Suppose -2*c + 32 = -h. Is c a multiple of 12?
False
Let a(w) = w**2 + 6*w - 3. Let b(s) = s**3 - s**2 + 4*s + 5. Let u be b(-2). Is 22 a factor of a(u)?
True
Let g(f) = f**3 - 5*f**2 - 6*f - 1. Let w be g(6). Is 482/(-8)*-1 - w/(-4) a multiple of 24?
False
Let b be 28 + 1 + 8/(-4). Is 19 a factor of (-1 - 3) + 2 + b?
False
Let y(j) = -5*j + 2. Let r be y(-7). Let v = 11 + r. Is 12 a factor of v?
True
Suppose -1072 = 5*o - 13*o. Does 8 divide o?
False
Let o = 154 + -109. Is 16 a factor of (224/(-21))/((-6)/o)?
True
Let d be (1/2)/((-2)/120). Let x = -28 - d. Suppose 0 = 4*o - x*o - 196. Does 14 divide o?
True
Let o(z) = -z**3 + 12*z**2 + 4*z + 9. Let w be o(9). Suppose 4*i = 7*i - w. Is 24 a factor of i?
True
Let g = 10 - 2. Let w = g + -3. Suppose 5*v + 4*a = 208, -2*v + 69 = -w*a - 1. Does 20 divide v?
True
Is 4/26 + (3 - (-150168)/52) a multiple of 21?
False
Suppose -3*q + 72 - 18 = 0. Suppose -45 = -2*w + 2*y - 17, w - 3*y - q = 0. Is w a multiple of 6?
True
Let u(v) = 4*v**2 + 2*v + 32. Is u(5) a multiple of 9?
False
Suppose -10*y = -9*y - 4. Let u = 2 + y. Suppose u*f - 590 = f. Is f a multiple of 31?
False
Let i = 2341 - 1763. Does 17 divide i?
True
Let p(s) be the first derivative of s**5/120 + 19*s**4/24 - 11*s**3/3 - 8. Let m(b) be the third derivative of p(b). Is m(0) a multiple of 4?
False
Suppose 194 = 63*a - 310. Is a even?
True
Suppose -2*l - 64 = -3*b + 312, -b - 2*l = -112. Let w = b - 52. Suppose 5*r - w = -4*y + 22, -52 = -4*y + 5*r. Is y a multiple of 5?
False
Let s(i) be the second derivative of -i**6/240 - i**5/120 - i**4/2 - i. Let m(y) be the third derivative of s(y). Does 14 divide m(-13)?
False
Suppose -5*k + z + 565 = 6*z, k - z - 117 = 0. Is 51 a factor of k?
False
Suppose 5*q = -2*g + 6344 - 720, 3*q - 8454 = -3*g. Is g a multiple of 17?
True
Let u = 21 - 5. Suppose -5*l + 236 - u = 0. Is l a multiple of 22?
True
Let m = 9 + -7. Suppose -3*n - m*t + 239 = 0, -n + t + 53 = -20. Is 7 a factor of n?
True
Let u(b) = 14*b**2 + 3*b - 2. Let k(t) = -t**2 - t + 1. Let z(o) = 5*k(o) + u(o). Is z(-5) a multiple of 14?
True
Suppose 32*l - 2*z = 28*l + 870, -2*z = 3*l - 670. Does 11 divide l?
True
Suppose -x - k = -2*x + 446, 4*k = -3*x + 1303. Is 49 a factor of x?
True
Is (-2)/(-4)*-4 + 34 a multiple of 16?
True
Let a(v) be the third derivative of -1/6*v**3 - 1/15*v**6 - 1/60*v**5 + 0 - 1/12*v**4 + 0*v + 6*v**2. Does 3 divide a(-1)?
False
Does 27 divide (-38)/304 - (-5842)/16?
False
Suppose 0 = 4*n - 15 - 761. Is n a multiple of 31?
False
Suppose 0 = -4*h - 2*c + 4*c - 50, h = 4*c - 16. Let d = 10 + h. Let s = 24 + d. Is s a multiple of 11?
True
Let w(v) = -7*v**3 + 5*v**2 - 4. Let p(f) = 4*f**3 - 3*f**2 + 2. Let u(r) = -5*p(r) - 3*w(r). Let y be u(2). Suppose -48 = -g - y. Does 13 divide g?
False
Let v(f) = f**3 + 9*f**2 - 5*f + 5. Let z(a) = -3*a**2 + 22*a + 9. Let k be z(8). Does 13 divide v(k)?
False
Let j be 1/(1/4) - 2. Suppose -3*k + 12*k = 234. Suppose o + 67 = 2*y, -y + j*o = -0*o - k. Is 12 a factor of y?
True
Let q(w) = 2*w - 1. Let n be q(3). Suppose r = -3*r + u + 123, r - 15 = -n*u. Suppose -5*o - 10 = 0, -r = -3*s + s - 5*o. Is s a multiple of 10?
True
Let r(a) = a**3 - 15*a**2 - 14*a - 27. Let o be r(16). Suppose -y + 3 - 2 = 3*b, -4*y = o*b - 18. Does 3 divide y?
False
Let d(n) = 35*n + 49. Does 14 divide d(41)?
True
Let t(q) = 2*q**2 - 8*q - 5. Let z(d) = d**2 - 9*d - 6. Let w(y) = 5*t(y) - 4*z(y). Does 18 divide w(3)?
False
Suppose -3*n - 4 = 3*x + 2*x, -5*n = 5*x. Let o(l) be the third derivative of l**6/60 + l**5/20 - l**4/24 - l**3/6 - 16*l**2. Is o(n) a multiple of 25?
True
Suppose -4*q + 30 = 2. Suppose 3*a - 53 = -2*g, -g - 2*a = -q*a - 33. Is 7 a factor of g?
True
Let l = -693 + 115. Is 8 a factor of l/(-9) - (-24)/(-108)?
True
Suppose 7*o = 234 + 4456. Does 67 divide o?
True
Let k(z) = -z**2 + 18*z - 11. Let v be k(15). Let u = v + -33. Let s(y) = 46*y**3 - 2*y**2 + y. Is 9 a factor of s(u)?
True
Suppose -2*f = -7*f - 135. Let w be (-15 + f)*(-2)/3. Suppose 0 = -3*l + 88 - w. Is 4 a factor of l?
True
Let b(h) = h**2 - h. Let w(s) = -s**2 + 6*s - 8. Let c(m) = -2*b(m) - w(m). Let p be c(7). Let o = p + 109. Does 20 divide o?
True
Is 36 a factor of -5 + -1*2*5204/(-8)?
True
Let k = -133 - -399. Is 79 a factor of k?
False
Does 23 divide 2*(-44)/33*-276?
True
Suppose -19 = -5*r - 4. Suppose -o = -45 - r. Does 6 divide o?
True
Let g(i) be the second derivative of i**4/6 + 3*i**3/2 + i**2/2 - 7*i. Let m be g(-5). Suppose 9*y = m*y + 105. Is 19 a factor of y?
False
Let j = 8279 - 4407. Is j a multiple of 16?
True
Suppose 0 = 3*w + 3*j - 1458, 1950 = 4*w + 9*j - 11*j. Does 7 divide w?
False
Let w(c) = -10*c**2 - 149*c + c**2 + 148*c - c**3. Let t(d) = 9*d**3 - 1. Let r be t(-1). Is 25 a factor of w(r)?
False
Suppose 0*m - m - 23 = 0. Suppose 0 = -2*s - 30 + 2. Let x = s - m. Is 9 a factor of x?
True
Let g(b) = b**2 + 9*b - 207. Is g(29) a multiple of 57?
False
Suppose -2*v = -0*v - 4. Suppose -147 = -3*x + 4*d + d, v*x = -3*d + 79. Is 7 a factor of x?
False
Let n = -187 - -271. Suppose 5*r - 84 = -2*d, 3*r = 2*d - 0*d - n. Is 32 a factor of (-12)/d + 674/7?
True
Let d = -37 + -56. Let r = d + 173. Is 16 a factor of r?
True
Let i(w) = -w + 0*w + 4*w**2 + 0*w - 2*w. Is 9 a factor of i(5)?
False
Suppose -2*k = 237 + 293. Let x = -154 - k. Is 28 a factor of x?
False
Let c(h) = 2*h**3 - 7*h**2 - h + 2. Suppose v = -g + 13, 0*v - v + 29 = 5*g. Let a(q) = -q + 14. Let d be a(v). Is 18 a factor of c(d)?
True
Suppose 26*q - 22*q - 4*h - 48 = 0, -q = 3*h + 4. Does 3 divide q?
False
Let r(l) = l**2 - 5*l - 11. L