divide s?
True
Let d(p) = -2*p**3 + 7*p**2 - 5*p. Let k be d(4). Let v be -1 + 1 - (-2 + k). Is 10 a factor of v*(-3 + 4) - -2?
True
Let g(s) be the third derivative of s**5/60 - s**4/8 - 5*s**3/6 + 6*s**2. Let l be g(5). Suppose l*u - 3 - 82 = 0. Is u a multiple of 11?
False
Let j(h) be the second derivative of -23*h**5/10 + h**4/12 - h**2/2 - 13*h. Is 28 a factor of j(-1)?
False
Suppose 0*h - 570 = -h + m, 4*m + 1146 = 2*h. Is h a multiple of 45?
False
Suppose -5*a + 3*k = 19, -11 = -5*a - 5*k - 46. Let h = 2 - a. Does 7 divide h?
True
Let t be 24/(-3)*(-11)/2. Let b = -36 + t. Is 2 a factor of b?
True
Suppose 3*n = -5 + 14. Suppose -n*i = 17 - 119. Suppose -5*l = -261 - i. Is 11 a factor of l?
False
Let k = -579 - -1550. Is 71 a factor of k?
False
Let n = 197 - 67. Let d = 238 - n. Is 18 a factor of d?
True
Suppose -171 = -19*q - 0*q. Suppose 3*g + 288 = q*g. Does 9 divide g?
False
Let f(n) = -n**2 - 4*n - 3. Let r be f(-1). Suppose r = -9*d + 249 + 75. Is d a multiple of 12?
True
Let b be (-1)/3 - 12/(-9). Let g(m) = 163*m**2 - m + 3. Is g(b) a multiple of 15?
True
Let d(z) = -z + 3. Suppose 3*i + 15 = -18. Let a be d(i). Suppose -4*o + a = -18. Does 8 divide o?
True
Let z = -131 + 134. Suppose -125 = -z*u + 343. Does 13 divide u?
True
Let g(j) = -j + 9. Let q be g(-10). Suppose -1 + q = y + k, -y + 24 = -k. Is y a multiple of 21?
True
Let j be ((-6)/(-5))/(3/(-15)). Let q be (-18)/(1 - (-10)/j). Does 32 divide (-12)/(q/(-8) + 3)?
True
Suppose 0 = 2*b - 4 - 4. Suppose 44 - 184 = -b*c. Is c a multiple of 19?
False
Let p(i) = i**2 + 3*i + 5. Let j be p(-2). Suppose -5*l + 431 = -t, 0 = -j*l + 2*t - 3*t + 265. Is 9 a factor of l?
False
Let t = 4555 + -1363. Does 19 divide t?
True
Suppose 20611 = 16*l - 20557. Does 10 divide l?
False
Let y(o) be the first derivative of o**7/840 - o**6/72 + o**5/40 - o**4/8 - 2*o**3/3 - 5. Let w(v) be the third derivative of y(v). Is 6 a factor of w(5)?
True
Let z = -325 - -331. Does 5 divide z?
False
Let n = 754 + -70. Is n a multiple of 18?
True
Suppose 4*l = -l + 5*t + 20, 4*l - 10 = t. Suppose 5*o = l*o + 12. Suppose 4*p - 55 - 49 = 4*w, o*p = -5*w + 95. Does 25 divide p?
True
Let s be 81 + (3 - (3 + -3)). Suppose 3*v = v + s. Suppose -20 = -2*w + 2*t, -2*w + 5*t - 10 = -v. Is 4 a factor of w?
False
Let p(k) = -2*k**3 + k**2 + k. Let v be p(-1). Suppose 3*w - 2*w = b - 35, v*w = 0. Does 16 divide ((-14)/b)/(1/(-80))?
True
Suppose -j + 40 = 3*j. Let s = -8 + j. Suppose -3*l + 9 = 5*c - 1, c = -s*l - 5. Does 3 divide c?
False
Let c be (-6)/12*(2 - 2). Suppose l = -c - 4. Is (-196)/l*(0 - -1) a multiple of 20?
False
Suppose -32*z + 33*z = 270. Is z a multiple of 15?
True
Let q = 221 - 53. Suppose 5*k = q + 237. Is k a multiple of 17?
False
Let l(s) = 9*s - 6. Let f = 30 - 23. Let h be l(f). Let m = h + -30. Is 9 a factor of m?
True
Suppose t + 3 = -f, 3*f + 23 = -t + 5*t. Let u(p) = 1230 - 1213 - p - 5*p + 0*p. Is u(f) a multiple of 11?
False
Let k = 612 + -395. Does 6 divide k?
False
Suppose 5*z - 2*u - 3*u - 15 = 0, -4*z = 4*u - 4. Is 41 a factor of 102/1 + (4 - (z + -1))?
False
Let p(l) = l**2 - 3*l + 8. Let t be p(12). Let b = 173 - t. Does 3 divide b?
True
Suppose 1002 = 3*u - 0*d + 3*d, 3*d - 1332 = -4*u. Does 33 divide u?
True
Suppose 4*a = -3*f + 109, 0 = 5*a + 4*f - 108 - 28. Let p be (-5888)/(-28) + (-8)/a. Suppose -8*n = -5*n - p. Is n a multiple of 21?
False
Let l be ((-12)/(-10))/((-5)/(-25)*2). Suppose 3*s - 5*c - 19 = 0, 6*c = -s + l*c - 3. Is s even?
False
Let i = -38 - -56. Let m = 0 + 2. Suppose -i = k - m*k. Is 13 a factor of k?
False
Suppose -2754 = -17*c - c. Does 7 divide c?
False
Let m be 1 - 3184/80 - 2/10. Let i(n) = 69*n. Let g be i(-1). Let d = m - g. Is 10 a factor of d?
True
Suppose b = 3*y - 3*b + 20, 0 = 4*y + 4*b + 8. Let v be y/(-2) + 44/22. Suppose 0 = 2*a + 3*a - n - 192, v*a - 5*n = 162. Does 19 divide a?
True
Let v(u) = u**3 - 16*u**2 + 17*u + 2. Let m be v(15). Suppose 0 = 2*j - 188 - m. Does 11 divide j?
True
Let b be (48/(-10))/(3/15). Does 15 divide (-272)/(-3) - (-16)/b?
True
Let t = -27 - -87. Suppose -2*y - 4*b + t = 0, 2*b + 4 - 2 = 0. Let n = y - 14. Is n a multiple of 6?
True
Let a(c) = c**3 - 3 - 7*c**2 - 2*c**3 - 7 - 4*c + 2*c. Does 35 divide a(-8)?
True
Let z(o) = -4*o**3 - 8*o**2 + 22*o - 16. Does 39 divide z(-8)?
False
Let l(m) = m**3 - 27*m**2 + 96*m + 24. Does 17 divide l(24)?
False
Let g(p) = 6*p**3 + 2*p**2 - 2*p - 1. Let z be g(-2). Let y = 64 + z. Does 27 divide y?
True
Let b(q) = -q**2 - 7*q - 3*q - 8*q - 20. Does 16 divide b(-13)?
False
Suppose -3*x + 28 = 4*x. Does 7 divide 14/(6 - 0 - x)?
True
Let z(h) = 2 - 6*h + 3*h**2 + 3*h + 2*h**2. Let v be z(1). Suppose -v*d = 3*k - 37 - 27, 65 = 3*d - 2*k. Does 6 divide d?
False
Let d(j) = -21*j + 14. Let t(x) = 21*x - 13. Let u(q) = 4*d(q) + 3*t(q). Is 17 a factor of u(-3)?
False
Suppose -5*d - 2*v = -34, -3*d - 10 = -4*d - 2*v. Let q = d - 6. Suppose 3*b - 4*g - 58 - 118 = q, -2*g = -2*b + 116. Does 14 divide b?
True
Let p be (0 - 0)/(7/7). Suppose -2*q + 4*q - 106 = p. Does 13 divide q?
False
Suppose 932 = 2*r + 4*o, 5*o - 1299 = -5*r + 1036. Is 23 a factor of r?
False
Let l(k) = -162*k**3 + 2*k**2 - k - 2. Is l(-1) a multiple of 5?
False
Let o(i) be the third derivative of i**4/12 + i**3/3 + 4*i**2. Let q be o(4). Is (15/q)/(2/52) a multiple of 16?
False
Suppose -8*g + 2584 = -4*g. Is 19 a factor of g?
True
Let x(b) = -2*b - 83. Let l be x(9). Let i = l - -137. Is 18 a factor of i?
True
Is 4 a factor of 90*(-10)/(-40)*40?
True
Let g(x) = -12*x + 15. Let b be g(-18). Let m = 31 - 27. Suppose -11 = m*i - b. Does 11 divide i?
True
Let c be 3/12*528/4. Suppose -c*z + 30*z = -702. Is 39 a factor of z?
True
Let n(o) = -o**3 + 9*o**2 + 12*o - 11. Let x be n(8). Let a = x + -47. Is 12 a factor of a?
False
Let t(z) = -z**3 - 9*z**2 - 2*z + 10. Let v be t(-9). Suppose 27*d = v*d - 133. Is d a multiple of 13?
False
Let c(n) = -n**2 + 16*n - 26. Let p be c(14). Suppose p*v - 66 + 22 = -4*h, -2*v - 2*h = -38. Is v a multiple of 7?
False
Let p(h) = h**2 - 23*h - 120. Is p(39) a multiple of 9?
True
Let d be -4 - (-4 - 0 - 4). Suppose -3*o = r + 4*r - 20, -d = -r. Suppose -10*x + 5*x + 295 = o. Does 16 divide x?
False
Let a = -1503 - -1545. Is 4 a factor of a?
False
Let p = 59 - 49. Suppose -p*o + 505 = -5*o. Is o a multiple of 11?
False
Let f(u) = 35*u**2 + 2*u. Let r be f(-2). Let m = 301 - r. Is m a multiple of 16?
False
Let m(d) = -d**3 + 8*d**2 - 6*d - 13. Let i be m(7). Is 117 + -2*9/i a multiple of 26?
False
Suppose -2*c + 17 = j, -c + 70 = 4*j - 12. Let f = j - -3. Does 4 divide f?
True
Suppose 8*h - 308 = 30*h. Let l(b) = 2*b**2 + b + 1. Let p be l(-4). Let c = h + p. Is 15 a factor of c?
True
Let u(s) = s**3 - 7*s**2 + 11*s - 5. Let w be u(7). Let r be 30/(-20)*2*-1. Suppose w = k + r*k. Is 8 a factor of k?
False
Let f be (3 + 0 - -3) + -3. Let z = f + -1. Suppose 0*i + 3*t = i + 1, 1 = -z*i + 5*t. Is i even?
True
Let u(l) = -4*l - 4. Let i(y) = -4*y**2 + y. Let f be i(1). Let w be u(f). Let o = -1 + w. Is 5 a factor of o?
False
Let n(o) be the third derivative of -1/60*o**5 - 1/24*o**4 + 5*o**3 + 0 + o**2 + 0*o. Is 10 a factor of n(0)?
True
Suppose 50*i = 67*i - 2771. Is 3 a factor of i?
False
Let d(r) = r**3 - 4*r**2 + 9*r - 5. Let h be d(6). Let m = -89 + h. Does 32 divide m?
True
Let f(d) = -d**3 - 9*d**2 + 9*d + 5. Let i(t) = -6*t + 21. Let v be i(9). Let k = 23 + v. Is f(k) a multiple of 15?
True
Suppose -29*n = -25*n + 12, 2*n = -5*x + 8209. Does 14 divide x?
False
Suppose -2*v = 3*n - 47, -3*v + 0*v - 15 = 0. Suppose -g - q = -n - 11, g + 2*q = 34. Is g a multiple of 4?
False
Suppose 820 = -10*c + 15*c. Suppose 198 = 4*w - 5*h, -c = w - 4*w - 4*h. Is 10 a factor of w?
False
Is 86 a factor of 1375 + 1*1/1*1?
True
Suppose -720 = -5*p + 2*b + 88, 5*p + 3*b = 813. Does 17 divide p?
False
Let f(k) = k**3 - 7*k**2 + k - 6. Let o be f(7). Let d be 0 - (-16 + (2 - o)). Suppose 0 = 4*b - 5 - d. Is b a multiple of 5?
True
Let i be 16 - 5/(-15)*-3. Does 9 divide i/((-5)/(-150)*9)?
False
Suppose -368 = 40*g - 44*g. Is 224/(-6)*(-207)/g a multiple of 12?
True
Let r = -6 - -16. Is 4198/10 + 2/r a multiple of 53?
False
Suppose -2*h - 19 = -4*g - 117, 3*g - h = -72. Let u be g/(-6) + (-8)/(-48). Suppose -5*j - 46 