e second derivative of -v**5/20 + v**4/3 - 15*v. Let w be b(5). Let h = -2 - w. Is 4 a factor of h?
False
Let m(t) be the first derivative of t**3 + 27*t**2/2 - 32*t - 85. Does 3 divide m(-13)?
False
Let n = -1836 + 3075. Suppose -71*a + 73*a + 2 = 0, 0 = t + 4*a - n. Is t a multiple of 35?
False
Let b(g) = 2*g + 11. Let s be b(-6). Let d be 4 - (-1 - -2)*s. Suppose -2*h + 290 = 2*x, -d*x + 5*h + 1136 = 461. Is x a multiple of 20?
True
Let i(o) = 6*o + 6. Let u be i(-5). Let p be 46/6 - (-16)/u. Suppose -4*g - 270 = -p*g. Does 15 divide g?
True
Suppose 0 = 3*m - 5*h - 101, -96 = -4*m + h + 67. Let n be 8/3 + (-28)/m. Is 3 a factor of -1 + (3*15 - (-2)/n)?
True
Let f(i) be the third derivative of 5/6*i**3 + 0*i + 0 + 55/24*i**4 - 23*i**2. Is 15 a factor of f(1)?
True
Let d(p) = -p**3 + 0*p**2 + 4*p + 8*p + 4 - 10 + 0*p**3 - 7*p**2. Is d(-9) a multiple of 5?
False
Suppose 298*u + 37715 + 56785 = 307*u. Is u a multiple of 100?
True
Let m = 44 + 41. Suppose -785 = -14*o - m. Suppose 2*a - p = o, 20 = a - 5*p - 14. Is a a multiple of 8?
True
Suppose 3*l = 3*y, y = -4*l - 16 + 6. Let q be l/5 + 103/(-5). Is (-2259)/(-63) + (-3)/q a multiple of 12?
True
Let b(f) = -3*f - 4*f**3 + 3*f**3 + 0*f**3 - f**2 + 4*f. Let y be b(-2). Suppose w - y*w + 10 = 0. Is w a multiple of 5?
True
Let y(n) be the second derivative of -3*n**3 + 0 + 13/2*n**2 - 31*n - 3/2*n**4 + 1/20*n**5. Does 5 divide y(19)?
False
Let f(c) = -c. Let w(r) = 4*r + 4. Let v(n) = 5*f(n) + w(n). Suppose 0*q - 2*q - 58 = 3*l, 0 = 5*l + 3*q + 95. Is 7 a factor of v(l)?
False
Suppose 0 = 2*t - 3*f - 63 - 103, -3*f = t - 83. Let k = t - -85. Let w = 346 - k. Is w a multiple of 34?
False
Let k(u) = 85*u - 1. Let s(v) = 171*v. Let l(m) = -5*k(m) + 3*s(m). Is 21 a factor of l(4)?
True
Let j(l) be the second derivative of l**6/360 + 4*l**5/15 + 11*l**4/4 - 26*l. Let i(o) be the third derivative of j(o). Is 5 a factor of i(-9)?
False
Let g(w) be the third derivative of -w**6/120 + w**5/10 + w**4/8 + 28*w**2. Let u be g(6). Does 10 divide u/(-42) - 199/(-7)?
False
Let k(d) = d - 3. Let z be k(7). Suppose 2*a = -3*n - 2*n + 21, z*a - 4*n = 0. Suppose -2*y + 33 = -5*o, -a*y - 10 = -4*y - 4*o. Does 7 divide y?
True
Let s(h) = -h**3 + 2*h**2 - h - 7. Let q be s(0). Is 10 a factor of (q + 63)*6/8?
False
Suppose -417*v - j = -413*v - 17296, 2*j = 5*v - 21633. Is 173 a factor of v?
True
Suppose -38*i + 36*i + 6 = 0. Suppose 0 = -3*k + 4*h + 12, 1 = -i*h - 8. Suppose -3*m - m + 16 = k. Is 2 a factor of m?
True
Let g = -16 + 16. Let o(d) = -186*d + 179*d - 5*d**2 - 4 - 6*d**3 + g*d**2. Is 19 a factor of o(-2)?
True
Let t = -21 - -25. Suppose -2*p = -t*o - 4, -4*p - p - o = -21. Suppose -398 = -p*v - 2*w, 0 = -4*v - 2*w + w + 399. Is v a multiple of 19?
False
Let h(q) be the first derivative of q**3 + 25*q**2/2 + 3*q + 23. Let j be h(6). Suppose 0 = -3*y + 360 + j. Is y a multiple of 23?
True
Suppose 3*v + 29 = -52. Let t = -18 - v. Is 13 a factor of ((-39)/t)/(2/(-24))?
True
Suppose w + 32 = 14. Let d be -1*(-6)/(-9)*w. Suppose -51 - d = -s. Does 21 divide s?
True
Let p = 3386 - 1981. Is 20 a factor of p/(-2)*(-6)/15?
False
Suppose 4*h + 49 = h - 2*g, h + g + 18 = 0. Let s(a) = a**3 + 15*a**2 + 23*a - 19. Let x be s(h). Suppose 3*j - 116 = -x. Is j a multiple of 4?
True
Let j = -316 + 456. Let c = j - -1169. Is 34 a factor of c?
False
Is 29793*(6 + 64/(-12))*1 a multiple of 20?
False
Does 109 divide (-96470)/(-15) + 7 + (-88)/12?
True
Let m = -417 - -420. Let s(n) = 6 - 3*n**2 - n**2 + 4*n**3 - 6*n + 5*n. Is s(m) a multiple of 31?
False
Suppose 10*y = 3059 + 15841. Suppose -y = -5*m - m. Is m a multiple of 15?
True
Suppose -4 + 266 = o + 3*x, o - 2*x = 242. Suppose -j - a - o = -4*j, 0 = 4*j + a - 331. Is 6 a factor of j?
False
Suppose 5*n + 2*q + 9 - 4 = 0, -30 = 5*n - 3*q. Let u be (39/9)/((-1)/n). Suppose -11*s - 104 = -u*s. Is s a multiple of 15?
False
Let h(r) be the first derivative of 3*r**2 + 6*r + 2. Suppose 954*j - 32 = 946*j. Is 5 a factor of h(j)?
True
Suppose -973 - 1087 = -103*f. Suppose 2*m = 5*m - 3492. Suppose f*t - m = 16*t. Does 40 divide t?
False
Suppose 0 = 7*j + 725 - 6136. Let b = -549 + j. Is b a multiple of 7?
True
Let y(x) = -159*x - 2. Let d(n) = -n**2 + n + 3. Let g be d(2). Let l be y(g). Is 5 a factor of l/(-10) - 16/160?
False
Suppose -27159 + 8987 = -28*t. Does 11 divide t?
True
Let a(u) = -78*u**2 + 23 - 3*u - 14 + 3. Let z be a(-4). Is (-4)/7 - z/84 a multiple of 14?
True
Let w be -386*3/(-6)*8. Suppose -43*u - w = -45*u. Is (-3)/12 - u/(-16) a multiple of 16?
True
Let y(c) = 36*c**2 + 5*c + 8. Let g be y(-2). Suppose -4*o - 22 = -g. Is 30 a factor of o?
True
Suppose 102107 = 2911*n - 2880*n - 527503. Is n a multiple of 10?
True
Suppose 9 = 28*t - 47. Does 30 divide 1100/(-165)*(-72)/(4/t)?
True
Does 9 divide (-26)/(-351)*3 - 98575/(-9)?
True
Is 28 a factor of (-12)/(-26)*22884 - 82/(-533)?
False
Let o = -5 - -12. Let u be (-948)/14 - ((-12)/o)/(-6). Let c = u + 99. Does 3 divide c?
False
Suppose 0 = 4*f - 0*f - t - 12, 2*f + t = 0. Suppose -2*p + 9 = b, b + f*b + 6 = 5*p. Is (6/(-12))/(b/(-72)) even?
True
Let q(s) = 39*s**2 - 13*s - 404. Does 10 divide q(16)?
False
Let z be (0/(-1))/(-4) + 2. Suppose -4 = -3*k + z. Suppose -17 = f - k*f + u, -62 = -4*f - 2*u. Is f a multiple of 4?
True
Suppose -5096 + 354836 = j + 66*j. Is j a multiple of 45?
True
Suppose 2450 - 10 = 5*c. Suppose -3*v + 685 = -c. Is 51 a factor of v?
False
Suppose 2*j = 7*i - 6*i - 269, 2*i = -5*j + 502. Let t = 1205 + i. Does 100 divide t?
False
Let g = -191 + 227. Suppose -31*a + g*a = 755. Is 10 a factor of a?
False
Let a = -9456 - -9583. Suppose 366 = 2*y - y. Let q = y - a. Is q a multiple of 16?
False
Let p = 59 - 54. Suppose q + 0*q = -p*a, 3*q = -4*a + 11. Suppose -3*u + 14 = -3*l - 79, -4*u = q*l - 88. Is 5 a factor of u?
False
Let q = 96 - -136. Suppose -18*v + 14*v = -q. Let r = v + 5. Is 15 a factor of r?
False
Let o = 102 - 116. Let w be ((-18)/(-5) + 10 + o)*-5. Suppose -418 = -4*n + 5*i, 2*n - 2*i = -w*n + 412. Is 51 a factor of n?
True
Let w = 2568 - 26. Suppose 2*h - w = -5*u, 727 = h + 5*u - 539. Is 11 a factor of h?
True
Let z(u) = u**3 - 6*u**2 - 9*u + 7. Let d be z(7). Let o = d + 15. Suppose 0 = o*y - 262 - 282. Is y a multiple of 15?
False
Let k = -220 - -222. Is 34 a factor of (-814)/(-2) + k*2/4?
True
Suppose -2 = -2*j - 0, -2*q + 2*j + 2 = 0. Let h(b) = -2*b - 8 + 33*b + b + q*b. Is 16 a factor of h(4)?
True
Let t(a) = -2*a**2 - 5*a + 3. Let s be t(-3). Suppose 0*b - 21*b + 3087 = s. Is b a multiple of 18?
False
Let n = 46 - 37. Let j(h) = -2*h**2 + 17*h + 13. Let g be j(n). Is 24 a factor of 24*g/(-4)*-1?
True
Let f = 69 - 66. Suppose -8 = -f*s - s, -u - 5*s = -10. Suppose -4*c = -u*c - 356. Does 7 divide c?
False
Is 93*(3939/707 + 6/14) a multiple of 2?
True
Let s(u) be the third derivative of -u**6/120 + u**5/10 + u**4/6 + 2*u**3 - 23*u**2. Let m be s(6). Is -18*((-123)/m + 1/(-4)) a multiple of 13?
False
Let k(v) = -3*v + 82. Let d be k(24). Suppose d*f - 1290 = -0*f. Is f a multiple of 17?
False
Let b = -4553 - -17783. Does 45 divide b?
True
Let b = -22 + 22. Suppose m - 7*m + 624 = b. Let g = m + -71. Is g a multiple of 9?
False
Let n(w) = 85*w**2 - 103*w - 727. Does 28 divide n(-7)?
False
Suppose -6*v + 138150 = -3*h, 5*h = -v + 23331 - 317. Does 16 divide v?
True
Suppose -40*n + 4*n - 13860 = 0. Let x = 417 + n. Does 2 divide x?
True
Suppose -u + 5*t - 235 = 0, -141 = u - 2*t + 91. Let s = 148 - u. Is 7 a factor of s?
True
Suppose -3043 - 546 = -97*k. Is 37 a factor of k?
True
Let o(k) = k**3 + 69*k**2 - 231*k - 143. Does 28 divide o(-72)?
False
Suppose -5*q + 42 = -4*x, -10 = -x + 2*x - q. Let o be (-2 + x)/(3 - 1). Let a(f) = 2*f**2 + 4. Is a(o) a multiple of 27?
True
Suppose 18*b = 15*b + 54. Is 7 a factor of (-102)/b - -5 - (-384)/9?
True
Let g = -5291 - -5331. Suppose q - 8 = -4. Suppose 3*a = -q*r + 305 - g, -5*r = a - 323. Is r a multiple of 8?
True
Suppose -11*z = 473 + 858. Let k = z + 208. Is 3 a factor of k?
True
Is 31 a factor of 2313864/360 - 4/10?
False
Let a(k) = -k**3 + 56*k**2 + 102*k - 363. Is a(51) a multiple of 68?
False
Let j(i) = i**3 + 3*i**2 + 2*i. Let o be j(-2). Suppose 5*q - 10 = 5*g, 2*q - 3 + o = 3*g. Is 21 a factor of (-380)/(-4) - -2 - q?
Fa