be the third derivative of -7*f**6/60 + f**5/30 - f**3/6 - 11*f**2. Is 22 a factor of s(-2)?
False
Let s(h) = -2*h**3 - 2*h**2 + 3*h + 3. Let u(i) = i + 4. Let r be u(0). Suppose -3*y + 3 = -r*y. Does 15 divide s(y)?
True
Let w be (-21)/28 - (-289)/(-4). Let k = 193 + w. Suppose -a = a - k. Does 10 divide a?
True
Suppose -62 + 177 = 5*a. Let h = a + -15. Suppose -4*w - 120 = -h*w. Does 10 divide w?
True
Let x(t) = -t**2 - 15*t - 26. Let l be x(-11). Suppose 0 = 5*z + 3*o - 173, o - 15 = -z + l. Is 7 a factor of z?
False
Let j(d) = -d**2 + 10*d - 6. Let s be j(9). Suppose -s*i + k + 500 = 0, -5*i + 359 = -2*k - 473. Is i a multiple of 14?
True
Suppose 26 = -8*g + 9*g. Suppose g*t - 360 = 21*t. Does 5 divide t?
False
Let o = 28 - 25. Let z(i) = -i**3 + 4*i**2 + i + 1. Let q be z(4). Suppose 2*j - q*w = -j + 128, -112 = -o*j + w. Is 12 a factor of j?
True
Suppose -3*u + 2*f + 48 = 6*f, u - 21 = -3*f. Let z be (3 - 0)/(-3) + u. Suppose -11 = -b + z. Is b a multiple of 11?
True
Let r(o) = 13*o**2 + 88*o + 7. Does 12 divide r(-11)?
True
Suppose -4*l - 5*r + 280 - 39 = 0, -317 = -5*l - r. Does 17 divide l?
False
Suppose 3*i - 3*l - 1422 = 0, -l + 5*l - 454 = -i. Does 24 divide i?
False
Suppose -20 = -4*b, -2*x = -3*b - 3 - 0. Suppose -4*z - 20 = -x*z. Suppose -z*v = -2*v - 34. Is v a multiple of 8?
False
Let a be 4/(-18) - (-110)/9. Let u(s) = s**3 - 12*s**2 + 2*s - 11. Let l be u(a). Suppose 2 = o - l. Does 5 divide o?
True
Let n = -1756 + 2947. Is 27 a factor of n?
False
Let o be -3 - (2 + -2 - (3 + 16)). Suppose 0*i - o = -i. Does 4 divide i?
True
Let d = -30 - -36. Suppose 0 = 5*x - 20, -f + d*f + 4*x = 346. Let i = -16 + f. Is 10 a factor of i?
True
Let m(t) = -6*t - 1. Let i be m(-1). Suppose -34 = i*z + 66. Let n = z + 52. Does 16 divide n?
True
Let r be 3/(-2)*(-5 - -3). Suppose 2*g + 349 = 5*z - 40, -z = -r*g - 70. Does 9 divide z?
False
Let f(v) = -4*v**2 + 11*v + 30. Let b(u) = -u**2 + 1. Let z(l) = -5*b(l) + f(l). Is 15 a factor of z(-10)?
True
Suppose 61 = l + 4*c - 78, 5*c = 4*l - 514. Let w = l - -29. Let m = w - 76. Does 13 divide m?
False
Let f(g) = g**2 + 7*g - 4. Let w be f(-8). Let j(b) = -6*b - 5*b**2 - 6 + 13*b + w*b**2 + 5*b. Is 5 a factor of j(11)?
True
Let a(g) = g**2 + 25*g - 49. Let c be a(-27). Suppose -u - c*u = -504. Is u a multiple of 5?
False
Let j(b) = 3*b - 6. Let i be j(4). Let y be 10/(3 - 15/i). Suppose 2*c + 3*c = y. Is 4 a factor of c?
True
Suppose 2*q + 576 = -3*t, -q = 2*q - 2*t + 851. Does 24 divide (-2)/((35/q)/7)?
False
Let l(w) be the third derivative of 79*w**5/60 + w**4/8 - w**3/3 + 22*w**2. Is 8 a factor of l(1)?
True
Let f(m) = 4*m**2 - 21*m + 9*m**2 - m**2 - 11*m**2 - 16. Is f(24) a multiple of 4?
True
Let n(p) = -7*p**3 - 4*p**2 - 2*p + 4. Let f be n(-3). Suppose 0 = 4*u - f - 109. Is 17 a factor of u?
True
Suppose -6*o + 5*x = -9*o + 1829, -3*o + 4*x + 1820 = 0. Does 27 divide o?
False
Let r = 4 + 23. Suppose 4*f + 3*y = 24, y - r = -5*f - 2*y. Suppose -f*s + s + 52 = 0. Is 17 a factor of s?
False
Let q(p) = -6*p**2 + 6*p - 5. Let w(y) = 19*y**2 - 19*y + 16. Let d(l) = -7*q(l) - 2*w(l). Let i(a) be the first derivative of d(a). Is 15 a factor of i(3)?
False
Suppose 7*q - 8 - 13 = 0. Let t(j) = j**3 + 8*j - 13. Is 19 a factor of t(q)?
True
Suppose -2*y - k = -0*k - 1099, 1648 = 3*y + 2*k. Is 25 a factor of y?
True
Suppose -12*n + 929 + 79 = 0. Is n a multiple of 28?
True
Let b(f) = f + 1. Let l be b(3). Suppose 3*n - l = 2. Let g(a) = 2*a**3 + 3*a**2 - 3*a. Is 11 a factor of g(n)?
True
Suppose -i = -2*i + 52. Let c be (-82)/(-4)*(-2 - -6). Let r = c - i. Does 10 divide r?
True
Suppose 2 = -4*s + 18. Suppose -39 = s*p - 199. Suppose -4*k - p = -240. Does 15 divide k?
False
Let n = -109 - -376. Is n a multiple of 31?
False
Suppose 5*h + 166 = -34. Let n = h + 102. Does 5 divide n?
False
Suppose -27*z + 9*z = -126. Is 2 a factor of z?
False
Suppose 4*a + a = -i + 295, 2*i = 5*a + 530. Suppose -6*n + i = -355. Is 15 a factor of n?
True
Let m(a) = a**3 - 7*a**2 + 2*a - 11. Let l be m(7). Suppose l*z - 105 = -0*v + 3*v, z + v = 33. Is z a multiple of 5?
False
Does 19 divide (154/(-13) + (-10)/65)*-3?
False
Let t = 618 - 66. Suppose 0 = -15*o + 17*o - t. Is 12 a factor of o?
True
Let t(a) = 157*a**2 - 82*a + 237. Is t(3) a multiple of 39?
True
Suppose 4*p + 16 + 4 = 0, -p - 39 = -2*a. Suppose -5*c + a = -8. Let d = c - -16. Is d a multiple of 10?
False
Suppose 2*t - 70 = f, 9*f = 2*t + 12*f - 54. Is t a multiple of 7?
False
Let d(u) = u**3 + 35*u**2 + 14*u + 10. Does 23 divide d(-34)?
True
Let p be -2*2/(-8)*10. Let c(n) = -4 - 4*n - 32*n**2 + 35*n**2 + 0 - 1 + 2. Is c(p) a multiple of 13?
True
Is (-7 - 1)*(-390)/8 a multiple of 47?
False
Let k(l) = 45*l**2 + 123*l + 484. Does 4 divide k(-4)?
True
Let x = 64 - -1010. Is x a multiple of 37?
False
Let p(q) = -q**3 + 6*q**2 - 82. Is p(-9) a multiple of 72?
False
Let w(n) = 2*n**3 + 2*n**2 - 3*n - 1. Let r be w(3). Let s = r + -22. Does 8 divide s?
True
Suppose 1124 = -6*x + 10*x. Is 16 a factor of x/9 + 12/(-54)?
False
Let w(a) = 4*a - 15. Let y be w(5). Let i = y - 5. Suppose 0 = -i*o - 4*o + 48. Is o a multiple of 4?
True
Let l(w) = -7*w**2 - w - 2 + w**3 - 2*w**2 + 8*w + 2*w. Let d be l(8). Suppose -z - d*m - 2 = -m, 5*m + 71 = 2*z. Is z a multiple of 23?
True
Let p = -921 - -2507. Does 47 divide p?
False
Let f = 196 + -124. Is 16 a factor of f?
False
Suppose 5*n + 90 = 5*y, 0 = n - 4*y + 10 + 23. Suppose 0*g = 2*g + 86. Let k = n - g. Does 10 divide k?
True
Suppose 0*v + 2*d = -4*v + 2382, 5*v - 2*d - 3000 = 0. Suppose -52*b = -54*b + v. Is 54 a factor of b?
False
Let t = 21 - 11. Let r = t + -8. Is 14 a factor of 800/45 + r/9?
False
Let h(q) be the second derivative of -q**2 - 6*q + 1/6*q**3 + 1/12*q**4 + 0. Does 14 divide h(5)?
True
Let b(m) = 2*m + 7. Let l be b(4). Let i = l - 17. Does 16 divide (-70*2)/i - 3?
False
Is 10 a factor of ((-71478)/495)/(1/(-25))?
True
Is (-8)/(-6) - 5830/(-15) a multiple of 26?
True
Let j(s) be the third derivative of 7*s**4/12 + 5*s**2. Is j(13) a multiple of 26?
True
Suppose -71*s + 939 = -69*s + 5*l, -5*s - 2*l + 2316 = 0. Does 33 divide s?
True
Let w(r) = 27*r**2 - 7*r - 82. Is 75 a factor of w(-6)?
False
Let j(n) = n**3 + 6*n**2 - 3*n + 3. Suppose s + 2 = -4. Does 7 divide j(s)?
True
Is 22*4 + 12/6 a multiple of 11?
False
Let z(g) = -5*g**3 - 2*g**2 - g - 10. Let x be z(-3). Let k = x + -1. Does 8 divide k?
False
Let b(f) = -6 + 13 + 6*f**2 + 18 - 12*f - 7*f**2. Does 15 divide b(-11)?
False
Suppose -z - 3*z + 184 = 0. Let i(w) = 126*w**3. Let s be i(1). Let g = s - z. Is 21 a factor of g?
False
Let z(y) be the second derivative of y**4/12 + 2*y**3 + 7*y**2 + y. Let b = 252 - 264. Does 3 divide z(b)?
False
Is 25 a factor of (5 - 7 - -4)/((-10)/(-11065))?
False
Suppose 380 = -6*x - 10. Let n = -17 - x. Does 6 divide n?
True
Let n(g) = -g**3 - 2*g**2 + 7*g - 6. Let j be n(-4). Let s(y) = -31*y + 4. Does 12 divide s(j)?
False
Suppose 0*a - 3*a = -24. Suppose -2*c + a = 2*o - 3*c, -5*o + 20 = -4*c. Let t = o - -5. Is t a multiple of 6?
False
Let t(k) = k + 2. Let g be t(-6). Let r be g/5 - 4/20. Does 6 divide r/(-3) - (-444)/18?
False
Suppose 4*j = 22 + 14. Let y = -2 - -2. Suppose y = 5*x - 11 - j. Is 3 a factor of x?
False
Let q = -280 - 3. Let u = 622 + q. Does 34 divide u?
False
Let q(a) = -3*a + 7. Let r(g) = -3*g + 7. Let z(x) = 2*q(x) - 3*r(x). Let k be z(3). Suppose -k*y + 0*y + 5*w + 105 = 0, 46 = y + 4*w. Does 13 divide y?
False
Suppose -24 = 3*b - 5*b + 4*w, 0 = 4*b - 4*w - 32. Let i(o) = 2*o**3 - 4*o**2 - 4*o + 2. Is 10 a factor of i(b)?
True
Suppose -3*z + 184 = -5*l - 689, 5*z - 1455 = -4*l. Is 18 a factor of z?
False
Suppose 4*d - 9892 = -5*i, 4*d - 3968 = -2*i + 8*d. Is i a multiple of 9?
True
Let v(r) = -75*r - 31. Does 15 divide v(-5)?
False
Let u(k) = -10*k + 2. Suppose -g = 2*w + 12, g + 9 = -2*g + 3*w. Is u(g) a multiple of 26?
False
Suppose -2*i + 4658 = 3*g + 530, 5*i + 5*g - 10320 = 0. Is i a multiple of 24?
True
Let i(j) = j + 11. Let q be i(-7). Suppose -k + 171 = 4*f, 216 = 5*f + q*k - 6. Is 6 a factor of f?
True
Let z = 55 - 55. Suppose z = 2*f + 2, 0 = c - 3*f - 80 - 27. Is 13 a factor of c?
True
Let l = 31 + -30. Does 17 divide 67 - (l - (2 - 0))?
True
Let l = -8 - 2. Let s(p) = -10*p + 2