 = 46*t - 2. Let c(z) be the third derivative of 15*z**4/8 - z**3/6 - 11*z**2. Let k(y) = -3*c(y) + 2*g(y). Is 7 a factor of k(-1)?
True
Let q(v) be the first derivative of -v**4/4 + 4*v**3/3 + v**2 - 6*v - 10. Let c be q(4). Does 10 divide 69*c*1/6?
False
Let w(z) = 1868*z - 74. Does 19 divide w(1)?
False
Let r = 409 + -187. Suppose -6*a + r = -366. Is a a multiple of 15?
False
Suppose -j + 2*t - 1 = -6, -4*t + 8 = 4*j. Suppose -s - 2 = i, -4*s + 5*i + 10 = -s. Suppose -j*q + 330 = -s*q. Is q a multiple of 31?
False
Suppose 0 = 48*m - 44*m + 3*a - 208, -4*a + 104 = 2*m. Does 5 divide m?
False
Let d be 52 + (-1 + 2 - -1). Suppose -2*u = -d - 62. Is 18 a factor of u?
False
Let y = 397 + -337. Is y a multiple of 20?
True
Let t be 3111/(-45) + 2/15. Is (-6)/9 + t/(-9) a multiple of 7?
True
Let r(l) be the second derivative of 0 - 35/6*l**3 + 10*l - l**2. Does 6 divide r(-1)?
False
Suppose -101*f + 105*f - 6176 = 0. Does 91 divide f?
False
Let j(d) be the first derivative of -2*d**3/3 + 5*d**2 + 3*d - 11. Let n be j(5). Suppose n*g = -f + 31, f + 4*g - 88 = -2*f. Does 7 divide f?
True
Suppose 0 = a - 4*d - 125, -35*d + 34*d - 3 = 0. Is 14 a factor of a?
False
Let b = -43 + 114. Suppose -b = -5*m - 16. Is 2 a factor of m?
False
Let g = 31 + -27. Suppose -3*l - v + 378 = 0, g*l - 3*v + 126 = 5*l. Does 18 divide l?
True
Let f = 150 - 150. Suppose -l = 2*c - 32 - 570, f = -4*l + 8. Is 15 a factor of c?
True
Let o(f) be the first derivative of 3*f**2/2 + 2*f - 3. Is 9 a factor of o(3)?
False
Suppose 0 = -5*s + 2*v + 1166, 8*s - 5*s - 2*v - 698 = 0. Is 9 a factor of s?
True
Suppose -154 - 11 = -5*l. Let t = l + 15. Is t a multiple of 6?
True
Suppose 2*f + 0 = 2. Let v(o) = 3*o**2 - o + 1. Let j be v(f). Suppose -j*g + 52 = g. Is g a multiple of 10?
False
Suppose -13 = -o + 29. Suppose 0 = -4*y - 8, d - 5*d + o = y. Let c(t) = -t**3 + 12*t**2 - 7*t - 15. Does 23 divide c(d)?
False
Let s(p) be the second derivative of -p**4/12 - 3*p**3/2 + 13*p**2 - 30*p. Is 8 a factor of s(-9)?
False
Suppose 387 - 45 = 9*u. Does 11 divide u?
False
Suppose 78 = -2*d + 86. Is d/(-4 + 140/34) a multiple of 10?
False
Suppose 4*y - 2*n = 922, -6 = -6*n + 4*n. Is y a multiple of 42?
False
Let x = -228 + 682. Is x a multiple of 12?
False
Let v(h) = h**3 - 2*h**2 - 3*h + 2. Let t be v(3). Suppose 3*s = -t*n - 0*s + 18, s + 2 = 2*n. Does 8 divide n/(-9)*(2 - 26)?
True
Let u(l) = l**3 - l - 1. Let v(x) = 7*x**3 - 4*x**2 - 9. Suppose -2*d = p - 5*d + 8, -5*p + 4*d = 7. Let t(k) = p*v(k) - 5*u(k). Is 14 a factor of t(3)?
False
Let y = 42 - 65. Let x = 71 - 17. Let n = x - y. Does 20 divide n?
False
Let f = 3113 + -41. Does 16 divide f?
True
Let l(d) = 3*d**2 + 11*d + 5 - 6*d**2 - 9*d**2 + d**3 + 0*d**2. Let a be l(11). Suppose 5*b - 48 = -2*p, 0 = -5*b - a*p - 0*p + 45. Does 10 divide b?
True
Suppose 61*x - 52*x - 13284 = 0. Does 82 divide x?
True
Let w = 64 - 39. Suppose 0*z - 3*t = z - 13, 4*z - w = -3*t. Is 1*(-2)/z*-140 a multiple of 17?
False
Suppose 0 = -4*p - 1063 + 99. Does 15 divide (-6)/12 + p/(-2)?
True
Let k be (-1 + (2 - -2))*1 - 3. Suppose 8*j + 105 - 417 = k. Is j a multiple of 16?
False
Let p(j) = -31*j - 136. Does 10 divide p(-6)?
True
Let i = -229 + 565. Does 42 divide i?
True
Suppose -4*d + 17 = -3. Let s(x) = 3*x**3 - x**2 + 8*x + 1. Let t(n) = -n**3 - 4*n - 1. Let o(g) = 2*s(g) + 5*t(g). Does 13 divide o(d)?
True
Suppose 0 = -12*m + 5468 - 968. Is m a multiple of 25?
True
Let t be (-502)/(-14) + (275/(-35) - -8). Let a be -4*(-2 - (1 - 0)). Suppose 0 = -10*h + a*h - t. Is 6 a factor of h?
True
Suppose -3*z - 369 = -1269. Is z a multiple of 50?
True
Is (-17)/(85/30) + 254 a multiple of 11?
False
Let k be -12*(2 + -1)/1. Let t be ((-42)/56)/((-1)/k). Let r(o) = -o**3 - 10*o**2 - 12*o + 9. Is r(t) a multiple of 12?
True
Suppose -3*w = x, w = 6*x - x - 48. Let v be 466/x - (-4)/18. Suppose d - 5*d + v = 0. Is 6 a factor of d?
False
Suppose 5*h - 4*h - 3 = 0. Suppose h*n + 0*c - c + 267 = 0, -12 = -4*c. Is 11 a factor of (1 - n) + 3*-1?
False
Is 35 a factor of 630/(3 + -9)*7/(-3)?
True
Suppose 9*c - 616 = 212. Suppose 3*u + 55 = 2*s, -36 = -5*s - 2*u + c. Is s a multiple of 13?
True
Let v = 4680 - 2529. Does 72 divide v?
False
Suppose -5*i = m - 19, -3*i + 5*m - 35 = -8*i. Suppose 0*j = -i*j + 9. Let n(r) = 9*r - 7. Is n(j) a multiple of 17?
False
Let c(s) = -6*s**3 + 3*s**2 + 10*s + 5. Let y(o) = o**2 - 11*o + 7. Let z be y(10). Is c(z) a multiple of 41?
True
Suppose 5*u = -q, 0 = -5*q + 2*u + 30 + 24. Let t(o) = -o + 14. Let m be t(q). Suppose 145 = 3*p + m*f, 5*p - 162 - 69 = 4*f. Is 24 a factor of p?
False
Suppose -11*k + 44 = -7*k. Let d = -42 + k. Let z = 46 + d. Does 8 divide z?
False
Suppose 0*r + 33 = -4*h - 5*r, 0 = -4*h + 5*r - 23. Let i be ((-21)/h)/((-9)/(-489)). Suppose i = 5*x - 3*k, -121 = -x - 2*x - 4*k. Is x a multiple of 7?
True
Suppose -3*d + 6*f = f - 23, 0 = 5*f + 5. Suppose 0 = -d*j + 7*j - 89. Let r = -48 + j. Is r a multiple of 9?
False
Let o = -4 + 68. Let y = -22 - -45. Let g = o + y. Does 32 divide g?
False
Suppose -4*y + 2*y - 8 = 0. Is 2*15/(-10)*y a multiple of 4?
True
Let t(u) = u**2 + 4*u + 3. Let o be t(-3). Let c be 0*(-3 + o)/(-9). Suppose 2*b - 28 = -c*b. Is b a multiple of 11?
False
Let i = 2443 + -980. Is i a multiple of 21?
False
Let l = -99 - -209. Let x = -42 + l. Does 34 divide x?
True
Does 11 divide (3 - -207) + -1 + 11?
True
Let b(o) = -44*o**3 - o - 1. Let y be b(-1). Suppose -2*x + y = 12. Is x a multiple of 3?
False
Let f(o) = o**2 - 4*o + 2. Let q(z) = 3*z**2 - 13*z + 6. Let m(v) = -8*f(v) + 3*q(v). Let n be m(7). Suppose 79 - 11 = n*h. Is h a multiple of 27?
False
Is 13104/(-96)*8/(-3) a multiple of 52?
True
Let q(o) = -2*o**2 + 42*o + 20. Is 30 a factor of q(20)?
True
Let m(f) = 354*f + 329. Is m(5) a multiple of 30?
False
Suppose 17 = 5*t + 4*s, 0 = -4*t - 5*s + 10. Suppose -t*x - x = -378. Does 12 divide x?
False
Let b be (-2)/(-4)*0 - -5. Let l(v) = v**3 - 5*v**2 + 3*v + 5. Is 4 a factor of l(b)?
True
Suppose -5 = -q, 226 = 3*s + 3*q + 31. Does 5 divide s?
True
Let m(j) be the first derivative of j**5/60 + 7*j**4/12 + 5*j**3/2 + 3*j**2/2 - 4. Let p(d) be the second derivative of m(d). Is 6 a factor of p(-15)?
True
Suppose 5*g - 4*w = w + 10, -36 = -4*g - 3*w. Suppose 9*q - g*q - 48 = 0. Is 16 a factor of q?
True
Suppose z - 35 = -2*r + 111, -r + 563 = 4*z. Suppose z = 2*q + 2*q. Does 7 divide q?
True
Let x(c) = c**3 - 12*c**2 + 12*c + 6. Is x(12) a multiple of 25?
True
Suppose -j + 6 = 2*j. Suppose d = -3*p - 7, 4*d - j*p = d + 12. Suppose -2*x - 84 = -3*s - 34, d*s - 5*x = 37. Does 3 divide s?
False
Let y = -138 + 382. Let j = 463 - y. Does 32 divide j?
False
Let s(v) = 7*v**2 - 13*v + 168. Is 48 a factor of s(9)?
False
Let z be (-6)/(-12)*2*3. Suppose 0 = -2*h + 3*d + 141, 0 = -z*h + 5*d + 9 + 204. Is 22 a factor of h?
True
Suppose -2*a = -4, -5*c + 2*a = 3*a + 898. Is c*(8/5 + -2) a multiple of 24?
True
Suppose -2*b = 4*b - 8994. Does 41 divide b?
False
Let v = 59 + 283. Is v a multiple of 6?
True
Suppose 2*r - 20*r + 18 = 0. Let b(v) = -9*v - 1. Let j(q) = 46*q + 5. Let p(i) = -11*b(i) - 2*j(i). Is 3 a factor of p(r)?
False
Let r(m) = m**2 - m + 2. Let k(l) = -l - 6. Let c be k(-2). Is r(c) a multiple of 5?
False
Let a = -377 - -509. Is 31 a factor of a?
False
Let w(g) = 4*g**3 - 12*g**2 + 5*g + 23. Let y(r) = 5*r**3 - 13*r**2 + 5*r + 23. Let d(a) = 4*w(a) - 3*y(a). Is d(10) a multiple of 40?
False
Let t(j) = j**2 - 9*j - 5. Does 43 divide t(20)?
True
Let w(y) = y**2 + 13*y + 5. Let o be w(-8). Let z(m) = 49*m - 161. Let k(g) = 8*g - 27. Let v(d) = o*k(d) + 6*z(d). Does 24 divide v(7)?
False
Let x(b) = 4*b**2 - 3*b + 1440. Is x(0) a multiple of 18?
True
Suppose 3*m = 6 + 9. Suppose -l + 2*h + 157 = 0, -829 = -m*l - 3*h - 5. Suppose -2*d + l = 3*d + j, -d - 3*j = -27. Does 12 divide d?
False
Let g(x) = -2*x - 12. Let y be g(-6). Suppose 2*a - 4 = 74. Suppose y = h + 2*h - a. Is 3 a factor of h?
False
Let l(k) = k - 1. Let y be ((-9)/18)/((-2)/204). Suppose y = 4*w - w. Is 4 a factor of l(w)?
True
Let b = 30 + -36. Let s be 3*5*(-44)/b. Suppose 0 = 2*d + 5*k - 59, 4*d + k + k = s. Is 9 a factor of d?
True
Does 6 divide (-330)/(-1)*(-3 + -9 + 13)?
True
Let b(q) = 2*q - 3. Let l be b(3). Let o = l + 0. Suppos