 derivative of m**4/4 - 7*m**3/3 + 2*m**2 + 7*m + 7. Let l be a(6). Let y = 19 + l. Does 7 divide y?
True
Is (566/4)/((296/(-80))/(-37)) a multiple of 78?
False
Let o(m) be the first derivative of m**3/3 - 2*m**2 + 8*m - 5. Let s be o(-8). Let j = s - 71. Is 11 a factor of j?
True
Let r(x) be the third derivative of x**7/630 + x**6/80 - x**5/20 + 4*x**2. Let k(g) be the third derivative of r(g). Is 12 a factor of k(5)?
False
Let f(p) = 6*p**2 - 43*p + 5. Is 5 a factor of f(8)?
True
Let o be 4 + (-5)/15*3. Does 6 divide -2*(-5)/(5/o)?
True
Let x be 7*(-9)/((-189)/(-6)). Let j be x/(-5) + (-39)/(-15). Suppose -2*f = 5*s + j*f - 115, 3*s - 44 = 2*f. Does 16 divide s?
False
Suppose -3*r + 2158 = -1709. Does 28 divide r?
False
Is (-30)/(22737/(-1892) + 12) a multiple of 40?
True
Let c be -10*(2 + -3 + 0). Suppose -6*l - 16 = -c*l. Suppose -n = -l*n + 120. Is n a multiple of 8?
True
Suppose i = -3 + 6. Let b = 7 + i. Suppose -b = -5*s - 0. Is s even?
True
Suppose 0 = -4*j + 4 + 12, -5*b + 1228 = -3*j. Is 8 a factor of b?
True
Does 3 divide (-11682)/(-144) + 1/(-8)?
True
Let n(w) = 40*w**2 - w. Let t be n(1). Let z(p) = -p**3 - 15*p**2 + 17*p + 18. Let q be z(-16). Suppose -15 - t = -q*g. Does 5 divide g?
False
Suppose 14*m - 13*m = 0. Suppose 3*q = -u + 6*u - 1928, 3*u + 4*q - 1151 = m. Suppose s = -4*s + u. Does 13 divide s?
False
Suppose -h + 18 = 3*b, 0 = -14*h + 13*h - 5*b + 10. Is 18 a factor of h?
False
Let i(y) = -y**3 - 20*y**2 - 19*y + 3. Let r be i(-19). Suppose 5*f - 630 = -r*w, 4*w + f - 309 = 531. Does 14 divide w?
True
Let u(d) = -4*d. Let t be u(-2). Suppose q - 162 = -t*q. Is 18 a factor of q?
True
Suppose 2*v + 248 = 3*g - 882, -3*v = 3*g - 1110. Is 34 a factor of g?
True
Let m = 42 - 33. Suppose -10*i = -m*i + 10. Let v = 34 + i. Is v a multiple of 12?
True
Let r(u) = -96*u - 21. Let m(o) = -19*o - 4. Let w(q) = q**3 - q - 11. Let s be w(0). Let d(f) = s*m(f) + 2*r(f). Is 18 a factor of d(2)?
True
Let y(l) = -l**2 + 86*l + 42. Is 56 a factor of y(21)?
False
Let b = -69 + 71. Suppose 0 = -5*d - 10 + 5, 5*h + b*d = 138. Is 5 a factor of h?
False
Let l be ((-3)/5)/((-7)/70). Suppose -l*w + 8 = -8*w. Is 19 a factor of (-1)/(w + 302/76)?
True
Let d be 0*3*1/(-9). Let f(m) = -m**2 - 3*m + 20. Let y be f(d). Is ((-10)/(-3))/(y/30) a multiple of 5?
True
Suppose -3*x - 327 = -4*d, -128 - 195 = -4*d - x. Let a = d + -45. Does 18 divide a?
True
Is 25 a factor of (3 - (-35)/(-14))/((-1)/(-200))?
True
Let r(y) = 4*y**2 - 5*y - 26. Let k(a) = -9*a**2 + 11*a + 53. Let i(q) = 3*k(q) + 7*r(q). Does 10 divide i(13)?
True
Let q be ((-30)/9)/(-5*(-2)/45). Is 17 a factor of (318/9)/((-10)/q)?
False
Let v = 543 + -798. Is (45/(-25))/(3/v) a multiple of 17?
True
Suppose 26*s + 1239 = 29*s. Is 7 a factor of s?
True
Let o be ((2 - 4) + 8)*(-1)/2. Is 18 a factor of ((-8)/o)/(4/54)?
True
Suppose i + 5*t = 2*i + 19, 0 = 4*i - 4*t + 44. Let a be (0 - 0)*i/9. Suppose a = -v - 3*v + 108. Is 6 a factor of v?
False
Let q = 143 - -185. Is 25 a factor of q?
False
Let h = -28 - -31. Let d be (1/2)/((-1)/2). Is 14 a factor of d*(-43 + 0) + h?
False
Suppose -d = -z + 1, 2*z + d + d - 6 = 0. Suppose -z*h = -2*r - h + 179, -r + 77 = -3*h. Is r a multiple of 23?
True
Suppose 5*l = 8 + 12. Suppose -571 = -l*t + 1. Does 11 divide t?
True
Let v = -8 - -26. Let r be (2/(-9))/((-2)/v). Suppose -y = 0, 3*b - 78 = b + r*y. Does 14 divide b?
False
Let j(m) = m**3 - m**2 + 81. Let t be (48/(-30))/((-6)/(-15)). Let p be (-1 - t) + 1*-3. Does 13 divide j(p)?
False
Let u(j) be the third derivative of -j**5/60 + 13*j**4/24 - j**3/6 - 4*j**2. Let a be u(10). Suppose -4*p + 5*p = a. Is p a multiple of 15?
False
Let i be 4 + ((-12)/3 - -5). Suppose -300 = -10*b + i*b. Does 21 divide (1 - 5) + 7 + b?
True
Suppose -4*b + 6 = -3*d + 17, -12 = 3*b - d. Let p(w) = -3*w - 14. Let y be p(b). Does 7 divide -4 + (y + 1 - -23)?
True
Suppose 15*z - 5 = 10*z. Is (z/(-2) - 0)*(-207 - -1) a multiple of 17?
False
Let v be (1 - (-44)/(-12))/((-3)/36). Let z(b) = -b**3 + 5*b**2 + 4*b + 2. Let c be z(6). Let o = v - c. Is 21 a factor of o?
True
Suppose 62 = -5*g + 292. Suppose 2*j - 4 = -0*j. Suppose n = j*n - g. Is 8 a factor of n?
False
Suppose 265 = -0*w + 5*w. Suppose 75 + 171 = 3*f. Let u = f - w. Does 29 divide u?
True
Suppose 0 = -23*z + 3*z - 60. Let s(p) = -6*p**2 + 2 - 4 + 15*p**2 + 5*p. Is 16 a factor of s(z)?
True
Let r(w) = 2*w**2 + 4*w + 11. Let s be r(-5). Suppose 0 = -5*j + s + 19. Does 2 divide j?
True
Let u(z) = z**3 + 3*z**2 + 4*z + 5. Let s be u(-4). Let p = -33 - s. Is 8 a factor of ((-22)/(-4))/(p/(-36))?
False
Suppose 4*c + 4*p = 16, -4*c - 7*p = -2*p - 17. Suppose -5*d - 32 = 3*d. Is c + 60/(5 + d) a multiple of 11?
False
Suppose 0 = j + 6*k - 3*k - 9, -4*k + 12 = 5*j. Suppose j = 9*x + 4*x - 390. Does 6 divide x?
True
Suppose 0 = -2*p - 3*g - 13, -2*p = p - 3*g - 3. Is (2/1)/p*-19 a multiple of 2?
False
Let o(n) = -n**2 + 1. Let q(l) = l**3 - 6*l**2 - 4*l - 1. Let f(a) = -2*o(a) - q(a). Is f(-3) a multiple of 39?
False
Let d(k) = -13*k - 1. Let o be d(-1). Let a be (-41)/2 + 6/o. Let n = a + 30. Is n a multiple of 3?
False
Let g = 259 + -110. Does 8 divide g?
False
Let s = -9 + 9. Suppose s = 4*b + 26 + 22. Is (-309)/b - 2/(-8) a multiple of 13?
True
Suppose 4*t = j - 85, 3*t = -3*j - 20 - 25. Let y be 4/(-10) + (-3328)/t. Does 33 divide (-4)/10*(1 - y)?
True
Let l be ((-44)/(-8))/(2/20). Suppose -4*b = -l - 13. Let q = -5 + b. Is q a multiple of 5?
False
Suppose -3*y - 3 = -4*y. Is (3/(-6) - y)*(-1 - 27) a multiple of 32?
False
Let c = -225 + 833. Let x = 364 - c. Is 13 a factor of 5*(x/(-10) - 4)?
False
Suppose -3*v - 17 = 52. Let s = 36 + v. Suppose -4*n - s = -2*o - 59, -5*o = n - 17. Is 3 a factor of n?
True
Let z be (-313)/(-2) - (-6)/4. Let a = z + -123. Does 15 divide a?
False
Let a(n) = -127*n**3 + 2*n**2 - 3*n - 4. Let w be a(-1). Suppose 2*b + 1 = 9, 3*b = -5*z + 952. Let d = z - w. Does 12 divide d?
True
Suppose -g = -2*i + 584, 3*g = -10*i + 5*i + 1449. Is 7 a factor of i?
False
Let i(d) be the second derivative of d**7/2520 + d**5/24 - d**4/2 - 6*d. Let j(x) be the third derivative of i(x). Does 24 divide j(9)?
False
Suppose 2*m = 4*v, m - 2*m = -v + 3. Let c = m - -27. Suppose -c = -4*j + 2*q + 41, -4*q + 16 = 2*j. Is j a multiple of 7?
True
Let u = -56 - -96. Suppose 2*s + u = -0*s. Is s/(-3)*84/10 a multiple of 16?
False
Let v(j) = 3*j**3 + 10*j**2 + 7*j + 4. Let h = -4 - 3. Let s be v(h). Does 24 divide 9/(-6)*s/12?
False
Let a be (9*2)/(11/(-11)). Let m(b) = -b**2 - 21*b - 18. Is m(a) a multiple of 4?
True
Let l = -6339 + 9207. Does 6 divide l?
True
Let d(h) = -17*h - 13. Let r be d(-3). Let f = r - 30. Is 6 a factor of f?
False
Suppose 0 = -55*z + 26492 + 41598. Is z a multiple of 14?
False
Suppose -47*d = -66*d + 20520. Is 24 a factor of d?
True
Is 42 a factor of (304/32)/((-2)/(-168))?
True
Let x(j) = 2*j**2 - 27*j - 190. Is x(-6) a multiple of 4?
True
Suppose 3*w = -0*w - f + 82, 2*f + 70 = 3*w. Suppose g = 157 + w. Does 13 divide g?
False
Suppose 1596 = 19*o - 4218. Is o a multiple of 15?
False
Let o be 12/(-66) - 244/(-11). Suppose p = -0*p + o. Suppose -y + p = a - 3*y, -2*a + 5*y + 43 = 0. Is 13 a factor of a?
False
Let f(z) = 4*z**3 - 8*z**2 + 9*z + 7. Let b be f(7). Suppose -8*h = -h - b. Is h a multiple of 9?
False
Let c(q) = -193*q + 9. Let b be c(2). Let d = -209 - b. Is 31 a factor of d?
False
Suppose 6*h - 8*h = -6. Let z = h + 1. Does 23 divide ((-46)/3)/(z/(-12))?
True
Suppose 2*i = 13*i. Suppose 9*v - 233 - 361 = i. Is v a multiple of 33?
True
Let y = 217 + -45. Does 32 divide y?
False
Suppose -x + 2*o - 94 = 0, -167 = 2*x + 5*o + 39. Let v = x - -167. Suppose 3*u + 12 = v. Is u a multiple of 19?
True
Let p(o) = 5*o**2 + 3*o - 5. Let c = -37 - -40. Does 7 divide p(c)?
True
Suppose -u + 2*p = 4*u - 31, -3*p = u + 4. Suppose 4 + 14 = r - 5*q, -u*q - 27 = -4*r. Is 2 a factor of r?
False
Suppose 5*v = c + 945, -5*v + 2*c + 93 = -852. Does 9 divide v?
True
Suppose 2*a - 188 = 2*i - 0*a, 5*a = -i - 112. Let h = 142 + i. Is 9 a factor of h?
True
Is -11 + (-1255)/(-115) + 20771/23 a multiple of 62?
False
Let s(w) = 81*w**2 + 13*w - 64. Is s(4) a multiple of 12?
True
Let h be 200/4 - (-3 - -4). Suppose 4*l + h = 9. Is (l/(-25))/(1/35) a multiple of