f(-1). Let l(i) be the second derivative of 5*i**4/12 + i**2/2 + i. Is 9 a factor of l(v)?
False
Let n(t) = t**2 - t - 3. Let f be n(-5). Suppose 3*c - 5*z = 231, -c + 51 = -2*z - f. Is 36 a factor of c?
True
Let s(q) = -2*q**3 + q**2 + q + 1. Let a be s(-1). Let u(c) = 2*c**3 + 4*c - 2. Does 15 divide u(a)?
False
Is ((-29)/(-4))/(3 + 380/(-128)) a multiple of 15?
False
Suppose 9*a - 966 = 231. Is a a multiple of 18?
False
Let q(l) = -3*l - 15. Is 7 a factor of q(-23)?
False
Let u(p) = -36*p + 4. Is 14 a factor of u(-3)?
True
Let u = -381 + 579. Is u a multiple of 22?
True
Let s(o) = -150*o**3 - o**2 - o + 1. Is s(-1) a multiple of 12?
False
Let z(y) = -y + 8. Let b be z(9). Let n = b + 0. Does 6 divide 17/(n/(0 - 1))?
False
Let d be 2*2*(-15)/4. Let h = -3 - d. Does 12 divide h?
True
Suppose -r = 6*r - 112. Is r a multiple of 16?
True
Let r(n) = n**2 - n. Let i be r(2). Suppose 3*d - i*d = -18. Let q = 46 + d. Does 14 divide q?
True
Let h(n) = 13*n - 7. Let t = 24 - 21. Is h(t) a multiple of 8?
True
Suppose -2*r + 44 = -2*p, -r - 3*p = -47 + 5. Suppose 5*n = r + 48. Does 5 divide n?
True
Let b = 16 + -16. Suppose b = x - 41 - 0. Is 13 a factor of x?
False
Let q(k) = -k + 16. Let x(o) = o**3 + 2*o**2 - o - 2. Let c be (1 + -5)*2/4. Let m be x(c). Is q(m) a multiple of 8?
True
Let v(b) = -4 - 5 + 3 + 25*b. Let j be v(4). Suppose -j = -3*t + 4*p, -t + 4*p + 26 = -16. Is 13 a factor of t?
True
Let u(a) be the second derivative of a**5/30 - a**3/3 + 2*a**2 + 3*a. Let s(k) be the first derivative of u(k). Is 3 a factor of s(2)?
True
Let k = -48 - -8. Let c be ((-3)/2)/1*-2. Does 5 divide c/2*k/(-6)?
True
Suppose -2*f - 34 = -330. Let p = 208 - f. Is 20 a factor of p?
True
Suppose -2*t = -6*t + 152. Suppose 0 = -2*v + v + t. Is v a multiple of 19?
True
Suppose -3*g + p = -184, -138 = -4*g - p + 98. Is g a multiple of 6?
True
Let p = -12 + 59. Let d = p + -17. Is 12 a factor of d?
False
Let n(s) = 3*s - 4. Suppose -2*f - r + 11 = -0*f, 3*f - 17 = -2*r. Is n(f) a multiple of 6?
False
Let w(h) = -3*h + 6. Let q be (5/4)/((-3)/(-12)). Let i be w(q). Is 8/(-36) + (-47)/i even?
False
Let l(g) = g**3 + 4*g**2 - 6*g - 5. Let f be l(-5). Suppose f*u + 75 = 3*u. Is 10 a factor of u?
False
Let i = 123 - 265. Let x = i + 65. Is x/(-5) + (-3)/(-5) a multiple of 8?
True
Let n = 15 + -10. Let a be 30/(-4)*(-4)/n. Suppose g = -a + 27. Is g a multiple of 21?
True
Let l(o) = -o - 1. Let h be l(-4). Suppose 3*w - h*u + 0*u - 48 = 0, -25 = -5*u. Is 22 a factor of 4/(-14) + 468/w?
True
Let p(i) = 7*i**2 - 2*i + 3. Suppose 5*o + 21 = -2*j, 0*j + 16 = -2*j - 4*o. Is p(j) a multiple of 14?
False
Let s = 8 - 5. Suppose s*l - 156 = -2*p, 4*l - 208 = -2*p + p. Is 22 a factor of l?
False
Let j(a) = 6*a**2 - 8*a - 8. Does 20 divide j(-4)?
True
Let s = 6 - 3. Suppose s*f - 20 = 52. Does 16 divide f?
False
Suppose -a = -6*a + 45. Is 4 a factor of a?
False
Let s(i) = -i**3 + 7*i**2 + 7*i + 11. Let f be s(8). Let n = 0 + 2. Suppose n*x + f*q = -4, -7*q + 3*q = -2*x + 24. Is x even?
True
Let b(u) = 3*u - 7 + 1 - u + u**2. Suppose 4*p = 2*p - 12. Is b(p) a multiple of 18?
True
Let a be -2 + -4 - -1*1. Let r(z) be the first derivative of -z**3/3 - 9*z**2/2 - 6*z + 5. Does 7 divide r(a)?
True
Suppose 286 = 4*m - 2*b, 4*b - 65 = -m + 11. Suppose 2*o - m = -26. Is o a multiple of 10?
False
Let s(j) = -j**3 + 3*j**2 + 1. Let l be s(2). Is (88 - 16)*l/4 a multiple of 30?
True
Let x be (-1)/2*(-4 - -2). Let k be (2/(-3))/(x/(-3)). Suppose -u = -k*f + 3*u + 12, 3*u + 14 = 2*f. Is f a multiple of 10?
True
Let v = -11 + 16. Let y be (-6)/2*(4 - v). Suppose -5*h - z = -6, y*h - 2*z - z = 18. Does 2 divide h?
True
Let k be 4/(-18) + (-140)/18. Let v be ((-6)/k)/(2/296). Suppose -2*x = 47 - v. Does 16 divide x?
True
Suppose 4*g = -0*g - 12, -3*a - 4*g + 15 = 0. Is 4 a factor of a?
False
Let r = 38 + 46. Is r a multiple of 28?
True
Let b(v) = v**3 + 7*v**2 + 6*v + 3. Let g be -6*2/(-2 - -4). Let r be b(g). Is r/((-2)/32*-2) a multiple of 9?
False
Let d be (-3)/(-2)*(-120)/(-18). Suppose d = -2*t - 3*u - 2*u, -t - 7 = 3*u. Is 5 a factor of t?
True
Suppose 112 = 3*g - 119. Is 13 a factor of g?
False
Suppose -159 = -5*k - 39. Suppose -2*b + 3*b - k = 0. Does 7 divide b?
False
Let c(q) = -q**3 - 7*q**2 + 8*q + 3. Let k be c(-8). Suppose 0 = -k*h - 0*h - 78. Let u = h - -60. Is 13 a factor of u?
False
Let o(t) = 7*t**3 + 24*t**2 + 4*t + 5. Let z(s) = 11*s**3 + 36*s**2 + 6*s + 7. Let m(g) = -8*o(g) + 5*z(g). Does 19 divide m(-12)?
True
Suppose -5*c = -0*y - 2*y - 35, 3*y + 35 = 5*c. Suppose 5*b = 4*g + 3*b + 28, -3*b + c = g. Let x(a) = -2*a - 2. Does 4 divide x(g)?
True
Suppose 3*w = -16 - 5. Let j(q) = -q**3 - 7*q**2 - 4*q - 10. Let z be j(w). Is 4 a factor of (-2 + 3)/(3/z)?
False
Let v(j) = -j**3 - 19*j**2 + 15*j + 20. Does 16 divide v(-20)?
False
Let i be (-62)/4*(-2 - -4). Let a = i - -55. Does 12 divide a?
True
Let k(d) = -d**2 - 15*d + 7. Does 17 divide k(-12)?
False
Let s(i) = i + 14. Let v be s(-10). Let p = 111 - 1. Suppose -h = v*h - p. Is 8 a factor of h?
False
Does 9 divide ((-310)/15)/((-6)/9)?
False
Let j = -2 + 0. Let z be (-2)/(-4) + (-7)/j. Suppose 2*c + s = -2*c + 101, -z*s = 12. Does 15 divide c?
False
Let n be (-292)/(-2) - (-5)/5. Suppose -5*z = -63 - n. Is 14 a factor of z?
True
Suppose -3*d = -0*d. Suppose -5*g + 120 - 5 = d. Is 23 a factor of g?
True
Suppose -6 = -2*b + 4*b. Let s be 3 - (b + (0 - -3)). Suppose 3*l - 117 = -s*f, -2*f + 3*l + 39 = -44. Is 18 a factor of f?
False
Let m(c) = 3*c**2 + c + 1. Let w(h) = h - 1. Let t be w(1). Let l be (2 + t - 1)*-2. Is 11 a factor of m(l)?
True
Suppose -4*g = -7*g - 9. Is 25 a factor of (6/(-1))/(g/46)?
False
Let g be (1 + 0)*(-6 + 9). Suppose 0 = g*v + 2*v - 90. Is 5 a factor of v?
False
Let x(f) = -6*f**2 + f + 2. Let c be x(2). Is 10 a factor of (-8)/c - 519/(-15)?
False
Suppose 4*r = 3*v - 0 + 2, -2*v + 2*r = 0. Suppose 20 = v*a + 3*a. Is a a multiple of 4?
True
Suppose 0*i - 4*i + 48 = 0. Suppose -i = -2*h - 2*h. Is 17 a factor of 1/(h/(-46))*-3?
False
Let m(o) = 56*o + 1. Let n be m(4). Suppose n = -3*t + 8*t. Suppose -t = -0*q - 5*q. Is q a multiple of 5?
False
Suppose r = 3*j - 0*j - 1, 0 = 2*j + 3*r - 8. Let i = j + 9. Does 10 divide i?
True
Let p(n) = 2*n**2 + 3*n. Let x be p(-2). Suppose 0 = x*b + 2*b. Suppose 2*o = b, 0 = -0*i + 5*i + 2*o - 85. Is 17 a factor of i?
True
Let o(c) be the first derivative of -c**7/210 + c**6/180 + c**5/30 + c**4/12 + c**3/3 - 2. Let l(d) be the third derivative of o(d). Is l(-2) a multiple of 12?
False
Let z(w) = w**3 - 13*w**2 + 16*w - 21. Does 3 divide z(12)?
True
Suppose m + 2*m = -27. Let a = -11 - m. Is 3 a factor of (0 + (a - -1))*-4?
False
Let u(c) = c - 5. Let n be u(7). Let a(p) be the first derivative of 7*p**2/2 - 3*p + 1. Is 4 a factor of a(n)?
False
Let m(b) = 4*b**2 - 2. Suppose -u + 28 = 3*u. Let x(y) = y - 5. Let k be x(u). Does 7 divide m(k)?
True
Let a(m) = -m + 4. Let y = -7 + 10. Let q be a(y). Suppose -k + q = -23. Is k a multiple of 12?
True
Suppose 0 = -4*p + 3*t - 10 + 34, -3*t = 3*p + 3. Suppose 5 = b - 2*j - p, -j = -4*b + 25. Does 8 divide 68/b - 2/6?
False
Let p(i) = i**2 + 4*i + 1. Let z be 16/6*(-4 - -1). Let d be z - -2 - (0 - 1). Is 4 a factor of p(d)?
False
Let u = 127 - 47. Suppose -9*d + u = -7*d. Does 20 divide d?
True
Let b(y) = 0 + 1 + 2*y - 10. Does 5 divide b(11)?
False
Suppose 5*q - 10*q + 370 = 0. Is q a multiple of 19?
False
Let w = 10 + -11. Is 15 a factor of 68*((-3)/(-2) + w)?
False
Let o = 11 + 48. Does 24 divide o?
False
Let c(i) = -3*i**2 + 2*i + 5. Let x(b) = b + 2. Let n be x(-3). Let o(w) = -w**2 + w. Let g(v) = n*c(v) + 2*o(v). Is g(-4) a multiple of 11?
True
Let o(i) = i**3 + 2*i**2 + 4*i + 2. Let t be o(-2). Let a(p) = -4*p**3 + p**2 + 10. Let h be a(-5). Is 18 a factor of h/15 - 2/t?
True
Suppose 3*z - m = 86 + 7, -5*m + 15 = z. Suppose x + z = p, 4*x = -2*p - 2*p + 112. Is 16 a factor of p?
False
Let l = -228 + 330. Is 17 a factor of l?
True
Let u be (20/(-3))/(2/(-6)). Let y = 5 + u. Is y a multiple of 10?
False
Let g(t) = t**2 - 6*t + 10. Let d be g(4). Is 16 a factor of (-258)/(-9) + d/6?
False
Suppose 2*m + 22 = -24. Let s = -14 - m. Is s even?
False
Let x be (1 + 6)*1/1. Let d = x + -4. Suppose 0*p - p + 52 = -4*q, 0 = -d*p 