ide k(x)?
False
Let g(v) = -v**3 - 3*v**2 + 2*v - 2. Let t be g(-4). Suppose 3*l = -t - 6. Let z(m) = 4*m**2 - 2*m - 1. Does 14 divide z(l)?
False
Let j be -2 + -6 + 12 - 20. Does 20 divide j/(-56) + 2378/7?
True
Suppose -x + 3*f + 11 = 0, -5*f - 80 = -4*x - 2*f. Let c(w) = 27*w**2 - 43 + 3*w - 10 - w**3 - 4*w**2 + 10. Is c(x) a multiple of 2?
True
Suppose -8*s + 176 = -120. Suppose -s*w + 3445 = -36515. Is w a multiple of 60?
True
Suppose 2*m - 589*v = -591*v + 17580, -4*m + 3*v = -35188. Does 26 divide m?
False
Let d = -2061 - -12786. Does 207 divide d?
False
Suppose 0 = 1148*a - 1144*a + 416. Let h = a + 1284. Is 25 a factor of h?
False
Let y = 58 - 55. Let m be 8/12 + 30/9. Suppose -30 = -j - 2*j + 2*g, m*j - y*g = 39. Does 12 divide j?
True
Let q(m) be the third derivative of 0 + 0*m - 1/3*m**3 + 1/12*m**4 + 2*m**2. Does 4 divide q(7)?
True
Let q = -15447 + 16854. Is 14 a factor of q?
False
Let g(j) = -55*j + 156. Let x(t) = 276*t - 776. Let l(p) = 16*g(p) + 3*x(p). Is l(-10) a multiple of 86?
True
Does 3 divide (1 + -2)*17/((-204)/13548)?
False
Is 1116 + 6/(-63) + (-3472)/588 a multiple of 19?
False
Let q(v) = 26*v**3 - 159*v**2 - v - 6. Is 9 a factor of q(7)?
False
Let f be 34794/(-45) - (4/5 - 1). Let c = -512 - f. Does 20 divide c?
False
Let d = -123 + 122. Let z be (-1 + (2 - -137))/((-2)/d). Suppose 0 = -b + z + 1. Is b a multiple of 10?
True
Let r = -61898 - -89302. Is r a multiple of 31?
True
Let c(j) be the first derivative of 1/2*j**2 + 10 - 18*j + 1/3*j**3. Is c(-10) a multiple of 46?
False
Let j(q) = q**2 - q - 1. Let s(a) be the second derivative of -5*a**4/12 - 2*a**3/3 + 17*a**2/2 + 11*a. Let l(p) = 6*j(p) + s(p). Does 10 divide l(13)?
True
Suppose -7*r + 2*r = -5*y - 85315, r = 5*y + 17071. Is r a multiple of 47?
True
Suppose -2*k + 3666 + 176 = -2*r, -3*r - 3841 = -2*k. Is 25 a factor of k?
False
Let f(g) = 2*g**3 + 251*g**2 + 76*g + 1930. Does 274 divide f(-124)?
True
Let o(w) = 16*w**3 - 3*w**2 - 4*w + 15. Let g be o(4). Suppose -q = -5*h + 3*q + g, -585 = -3*h - q. Does 15 divide h?
True
Let p be -4*(24/8)/(-3). Suppose 2*o = -5*m + 3414, p*o - 931 - 425 = -2*m. Is 17 a factor of m?
False
Let c(n) = -n + 15. Let z be c(4). Is 7 a factor of 1384/z + (-7)/(308/(-8))?
True
Let d = -11519 + 16457. Does 97 divide d?
False
Suppose -4*s + 5*k = -38197, 44*s - k = 47*s - 28681. Is 59 a factor of s?
True
Let x(n) = 3*n**2 + 8*n - 23. Let u be x(4). Is 17 a factor of -3 - u*30/(-9)?
True
Suppose 263 = -2*l + 453. Let r = 206 - l. Is 2 a factor of r?
False
Let f(s) = 2*s**2 - 72*s - 317. Does 6 divide f(53)?
False
Suppose -w + 5*d = -684, -5*d = -48*w + 44*w + 2661. Is 3 a factor of w?
False
Is (-190)/(-2) - (51 - 51) - 2 a multiple of 4?
False
Let j = -314 + 317. Suppose 4*k - 5*k = -3*u + 484, -5*k + 460 = j*u. Is u a multiple of 40?
True
Suppose 0 = -2*k - y, 0 = 3*k - 5*y - 7 - 6. Suppose 0 = -w - k, 3*c + c - w - 1177 = 0. Does 42 divide c?
True
Let i(m) = -m**3 + 8*m**2 - 15*m + 3. Let p be i(6). Is 36 a factor of (6 + 40/p)*108?
True
Suppose -11227*a = -11203*a - 82368. Is a a multiple of 26?
True
Suppose -6*i - 13*i - 398644 = -1724692. Is 12 a factor of i?
True
Suppose 25 = 5*f - 3*h + 8*h, 3*h = 2*f. Suppose f*k = 6*k + g - 1835, 5*g = -3*k + 1855. Is k a multiple of 61?
True
Let p(o) = o**3 - 8*o**2 + o + 21. Suppose -2*y + 15*y - 130 = 0. Is p(y) a multiple of 33?
True
Let x = 9667 + -6515. Is 4 a factor of x?
True
Let g(c) = -c**2 + 3*c. Let z be g(2). Does 10 divide 6/z + ((-4235)/(-7) - -7)?
False
Let q(h) be the third derivative of -h**6/120 - 17*h**5/30 + 37*h**4/24 + 67*h**3/6 - 140*h**2. Does 14 divide q(-36)?
False
Let w = 11424 - 714. Is 5 a factor of w?
True
Let d = -20 - -27. Let n(v) = v**3 - 6*v**2 - 7*v + 3. Let p be n(d). Let g(o) = o**3 - 3*o + 3. Is 7 a factor of g(p)?
True
Let i = 15949 + -7414. Is i a multiple of 24?
False
Suppose -2*o + 4*t - 382 = 0, -4*t - 587 = 3*o - 3*t. Is 15 a factor of o/(-4)*(-156)/(-39)?
True
Let s(a) = a**2 - 3*a - 22. Let m be (-138)/(-15) - (-10)/(-50). Let h be s(m). Suppose 3*b - 149 = -h. Does 39 divide b?
True
Suppose 61 = 2*p + 5*g, -5*g = -5*p - 0*g + 240. Let v = p + 140. Suppose v = l + 58. Does 39 divide l?
False
Let g(x) be the third derivative of 0 + 1/120*x**6 + 0*x - 2/15*x**5 - 4*x**2 + 1/6*x**4 + 11/6*x**3. Does 14 divide g(8)?
False
Suppose -3*n - 2*i - 19 + 34 = 0, -4*i = -4*n. Suppose n*p - 1870 = 4*h, -3*h - 2500 = -4*p + h. Does 70 divide p?
True
Let v be 3*((-3)/3 + 2) + -3. Suppose v = z, 4*z + 1235 = 3*b + 2*b. Does 13 divide b?
True
Suppose 9*s - 108 - 81 = 0. Suppose -17*d + 20*d - s = 0. Does 7 divide (-18)/42 - (-52)/d?
True
Is 7 a factor of -19 + 258321/63 + 5/3?
False
Let d(t) = 11*t**2 - 8*t + 31. Suppose -k - 10 = -16. Is 24 a factor of d(k)?
False
Suppose -1430*k = -1446*k + 46176. Is 74 a factor of k?
True
Suppose -2*p + 0*t = 2*t - 12, -3*p + 14 = t. Suppose 10 = 14*m - p*m. Is 1 + 167 + 3/m a multiple of 19?
True
Let u be (-2542)/5 - (-24)/(-40). Does 14 divide u*3/6*-1*2?
False
Let w = 4285 + -1835. Is 25 a factor of w?
True
Let q(z) = -8*z + 19. Let l be q(-22). Let w = 331 - l. Let p = w - 78. Is 16 a factor of p?
False
Let o = -266 + 267. Let m(c) = 195*c - 15. Is m(o) a multiple of 20?
True
Let z(q) = 4*q**3 - 25*q**2 - 7*q + 311. Is 37 a factor of z(11)?
False
Suppose -3*f + 48522 = -5*h, -4*f + 14*h = 9*h - 64696. Does 35 divide f?
False
Suppose -h = 2*t - 687, -5*h + 23*t - 20*t = -3383. Is 12 a factor of h?
False
Suppose 196 = 2*y + 186. Suppose 0*r + 1650 = y*r. Is 8 a factor of r?
False
Let a = 30225 - 10011. Does 13 divide a?
False
Let m be ((-156)/(-8))/13*14/3. Suppose -m*b - 38 = 18. Does 12 divide 208/3*(-18)/b?
True
Let p be (-18)/12 - 1180/(-8). Suppose -j - 93 + 249 = 2*i, 0 = -j - 4*i + p. Is j even?
True
Does 16 divide 159/(-477)*63642/(-2) - 6?
False
Suppose -x - 2*c = 163, 128*x - 131*x + 5*c - 500 = 0. Suppose -m = -3*m - 142. Let b = m - x. Does 7 divide b?
False
Suppose 2*f = -10 + 46. Is 33 a factor of 2/(-3) - (238260/f)/(-19)?
False
Let d = 9541 + -2206. Is d a multiple of 5?
True
Let m(k) = -k**3 + 97*k**2 + 764*k + 606. Is 10 a factor of m(104)?
True
Suppose 2440 + 79 = 11*v. Let f = 43 + v. Is 17 a factor of f?
True
Let x = 44 - 29. Suppose 6*b - x*b + 16380 = 0. Is 20 a factor of b?
True
Suppose 0 = -5*i + 4*z - 9930, 7*z = 10*z. Is 26 a factor of (-3 - i/7) + 6/21?
False
Suppose 6*w = -4*q + 4*w + 458, 3*w - 457 = -4*q. Suppose 0 = 2*s + 11*t - 14*t - 133, 2*s - t = 131. Let j = q + s. Is 30 a factor of j?
True
Let p(i) = -60 - 374*i**2 + 761*i**2 + 8*i - 383*i**2. Is 24 a factor of p(-11)?
True
Suppose -4*i + 8*i - 16 = 0. Suppose -2*b = -5*v + 20, -b + i = v + b. Suppose -4*j - 4*k + 2 + 362 = 0, v*k + 332 = 4*j. Does 15 divide j?
False
Is 4 a factor of (-1 - -216)*(-1680)/(-150)?
True
Let y(n) be the third derivative of -3*n**4/8 - 145*n**3/6 - 40*n**2. Is 9 a factor of y(-28)?
False
Let x = -1770 + 6520. Is 19 a factor of x?
True
Let r(c) = -c**3 + 10*c**2 - 4*c + 53. Let u = -14 - -23. Is r(u) a multiple of 5?
False
Let z(h) = -h**3 - 2*h**2 - 5*h + 13. Let m = 19 - 18. Suppose 0 = 2*i + 3*w + 7 - m, 0 = 3*i + 4*w + 10. Does 32 divide z(i)?
False
Suppose 3*a - 5*x - 29 = 0, 2*a - 28*x + 10 = -32*x. Suppose -5*k + 3*q = -1272 - 3993, 0 = 3*k + a*q - 3135. Is k a multiple of 14?
True
Let v be (-21)/(-49) + (-123)/(-7). Is (-16536)/(-54) + -2 + (-4)/v a multiple of 38?
True
Let l(f) = -8*f**2 + 39*f + 21. Let x(h) = -h**2 - h + 1. Let r(j) = -l(j) + 6*x(j). Does 12 divide r(27)?
True
Let z(j) = -17*j**3 - 30*j**2 - 89*j - 36. Is z(-9) a multiple of 12?
True
Let i(k) = -k + 7. Let h be i(11). Let l be h/(-14) - (-6950)/175. Suppose -3*w - 12 = 0, -l = -2*z + 5*w + 40. Is z a multiple of 10?
True
Suppose 0 = 5*h - 15, 27 = -3*x - h + 5*h. Let u(a) = a**3 + 22*a**2 + 21*a - 5. Let s be u(-21). Does 9 divide ((-50)/x)/s - -142?
False
Let f(w) = -9*w + 14. Let q(r) = 4*r - 7. Suppose -16*b = -18*b + 12. Let c(k) = b*f(k) + 15*q(k). Does 3 divide c(12)?
True
Suppose -2*v = 16 - 12. Let n be (v + 0 + 11)/(3/76). Suppose -r - r = -2*z + 222, 4*r - n = -2*z. Is z a multiple of 18?
False
Suppose 8*l = -2558 + 966. Let j = -186 - l. Is 13 a factor of j?
True
Is 41 a factor of (942/(-36) + 1/(-3))/((-9)/630