) be the second derivative of 11*t**5/120 + t**4/6 + 3*t**3 + 18*t. Let j(m) be the second derivative of n(m). Is j(16) a multiple of 10?
True
Let h(q) = 4*q - 17. Let r be 0 - 1 - -2 - -4. Let d be h(r). Suppose 3*a + 9*o - 266 = 4*o, 0 = 4*a + d*o - 351. Is a a multiple of 8?
False
Let t = -7328 + 11853. Does 25 divide t?
True
Let d(k) = -67*k + 79*k + 12 - 29. Let v be (8/(-14))/((-1)/7). Is d(v) a multiple of 20?
False
Suppose -5*n + 119*r = 118*r - 4453, 0 = 4*n + r - 3557. Is 10 a factor of n?
True
Let w(p) = 61*p - 146. Suppose -9*k + 58 = -14. Is 19 a factor of w(k)?
True
Suppose -q + 2*r = 37, 5*q + 0*r + r + 130 = 0. Let x be (-1064)/(-665)*(-250)/(-8). Let l = x + q. Does 23 divide l?
True
Let d be 2/(-4) - ((-2205)/10 - -2). Let n = d - -79. Is 3 a factor of n?
True
Let k(x) = 7*x**2 - 155*x + 6623. Is 36 a factor of k(53)?
False
Let f be (-182 - 0)*(-7 + 6). Let k = 266 - f. Does 11 divide k?
False
Suppose -264*q + 257*q = 0. Suppose q = -40*s + 7*s + 4587. Does 3 divide s?
False
Let u(i) = 5*i + 252. Suppose 2*z + 4 + 2 = 0, 2*z = -2*g - 188. Let q = -91 - g. Does 42 divide u(q)?
True
Let x(b) = -2*b**2 + 4*b + 46. Let f be x(6). Does 13 divide 31/((-465)/80)*141/f?
False
Let t be (10/(450/(-615)))/(1 + 8/(-6)). Let z be ((-6)/(-2))/(6/4). Suppose -z*d + 48 = 3*h, 0 = -3*d + 4*h + 113 - t. Does 12 divide d?
True
Let f(w) = w**3 - 7*w**2 - 19*w + 12. Let u be f(9). Suppose 632 = -u*v - v. Is 18 a factor of (-4 + 5 - v)*(-2)/(-6)?
False
Suppose -4*j + 2*o = -68230, 11*o - 85193 = 15*j - 20*j. Is 233 a factor of j?
False
Let h(o) = 116*o - 445. Is h(14) a multiple of 15?
False
Let r(t) = 5949*t + 2475. Let l(k) = 476*k + 198. Let y(n) = 63*l(n) - 5*r(n). Does 18 divide y(4)?
False
Let i(l) = 5*l**2 + 48*l + 418. Let p be i(-26). Suppose 0 = -8*v - 2*v + p. Does 5 divide v?
True
Let f(n) be the first derivative of n**3/3 - 13*n**2/2 + 12*n - 20. Let s be -10*(1 + 56/(-20)). Is 17 a factor of f(s)?
True
Let m(q) = 5*q**3 - q**2 - 7*q + 7. Let z be m(3). Let g = 111 + z. Suppose -k - 21 + g = 4*i, 993 = 5*k + 3*i. Is 18 a factor of k?
True
Let o = -95 + 1366. Is o a multiple of 41?
True
Let g be ((130/4)/5)/(10/1560). Suppose 7*q = -13 + g. Let m = q + -39. Is 26 a factor of m?
True
Let k be (-5 - -3)*19 - -5. Is 16 a factor of 296*((-72)/k + 8/(-44))?
True
Suppose -5*n + p = -1, 4*p = 4*n + 3*p. Let z be 12/8*2/n. Does 28 divide (-2 - 0) + (-166)/(z/(-3))?
False
Let y = -32308 + 51820. Is y a multiple of 271?
True
Let k(d) = 2*d + 12. Suppose 2*j = -5*q - 31, -j + 2*q + 8 - 1 = 0. Let t be (-3 - -13) + 6/j. Is 4 a factor of k(t)?
True
Suppose 0 = -3*z - 5*a - 659, 0*a = 4*z + 2*a + 874. Let r = 393 + z. Is 46 a factor of r?
False
Does 25 divide 981/(-3270) - 890106/(-20)?
False
Suppose 0 = 4*z + 2*p - 2084, 2*p - 3*p = -2. Let w = z + -154. Is w a multiple of 20?
False
Let v(q) = 47*q + 4. Let y be v(-2). Let k = -191 + 129. Let j = k - y. Does 14 divide j?
True
Let j(q) = -35*q**2 + 4*q + 3. Let u be j(-4). Let g = u + 969. Is 11 a factor of g?
True
Is -1 + 3 + (-8 - (6 - 15672/6)) a multiple of 260?
True
Suppose -54*u - 186332 - 103101 = -181*u. Is 41 a factor of u?
False
Let r(g) = g - 1 + 5 - 1 + 5. Let n = -271 + 284. Is 21 a factor of r(n)?
True
Let j = -48 - -57. Suppose 0*z = -j*z + 21177. Is 30 a factor of 2/(-4) - z/(-26)?
True
Let a(i) = 726*i - 5843. Is 4 a factor of a(32)?
False
Let p = 66 + 123. Is 3 a factor of p?
True
Let d(t) = 4*t**3 - 3*t**2 + t. Let j be d(1). Suppose -j*l = -3*g - 42, 0*l = 2*l - g - 38. Suppose -19*k = -l*k - 51. Does 17 divide k?
True
Let n = 7606 - 4271. Does 23 divide n?
True
Let r(m) = m**3 + 9*m**2 - 45*m - 108. Let y be r(-12). Suppose y = -7*p + 50 + 167. Does 9 divide p?
False
Is 24/84 + (-4240962)/(-154) a multiple of 135?
False
Let k(j) = -j**2 - 22*j + 15. Let r = 19 + -16. Suppose -19 = r*p - 3*v + 26, -2*v + 4 = 0. Does 22 divide k(p)?
True
Let f = -93 + 271. Suppose -q - 4*c = f, 12 = c + 3*c. Let v = q + 342. Is 19 a factor of v?
True
Let u be (0*1/6)/(-2). Suppose 6*p - 711 + 51 = u. Does 9 divide p?
False
Is 284 a factor of 825687/(-2120)*-44 - 1/(-10)?
False
Let w(l) = 1132*l**3 - 33*l**2 + 99*l - 60. Does 164 divide w(3)?
True
Let t(o) = o**3 + 9*o**2 + 17*o + 207. Let q be t(-9). Is 24/15*26055/q a multiple of 22?
False
Let t(u) = 101*u + 4 - 4 - 96*u - u**2. Let d be t(3). Suppose 31 = d*b - 83. Is 5 a factor of b?
False
Suppose 0 = 2*j + 31 - 35. Suppose 40 = 4*v - j*v. Suppose -65*c + v = -64*c. Is 10 a factor of c?
True
Let o be (5 + 860/(-4))/1. Let x = o - -271. Is x a multiple of 17?
False
Let y(s) = s + 22. Let i be y(5). Let n = -24 + i. Suppose 4*f = n*t - 244, -4*t - 5*f + 7*f = -322. Is t a multiple of 20?
True
Suppose t + 4*q - 1143 = 0, 370 = -3*t - 4*q + 3823. Suppose -9*w = -t + 129. Let c = -53 + w. Does 19 divide c?
False
Suppose 0 = -2*r + 3*i - 8*i + 9, 2*r - 10 = -4*i. Suppose -r*k = -1041 - 1038. Let w = k - 32. Is 47 a factor of w?
False
Does 102 divide (-1697270)/(-130) + 13/169?
True
Suppose -67*k + 79*k = 3492. Let d = -175 + k. Is d a multiple of 4?
True
Let w = -961 + 1181. Is w a multiple of 4?
True
Let z(g) = -5*g**3 + 3*g + 2. Let i be z(-2). Let l = -33 + i. Let x(y) = 3*y**2 + 3*y - 1. Is x(l) a multiple of 9?
False
Let o = -91 - -109. Suppose -9*u = -7*u. Suppose 22*b - o*b - 384 = u. Does 24 divide b?
True
Suppose 618 = 17*a - 606. Suppose -1344 = a*z - 80*z. Does 28 divide z?
True
Let v = 24823 + 4499. Is 9 a factor of v?
True
Let r(h) = 3*h**2 - 2*h - 1. Let v(j) = j**2 + 2*j - 3. Let s be v(2). Let x be (-1)/(4/100*s). Is 14 a factor of r(x)?
True
Let o = -9028 - -15600. Is o a multiple of 106?
True
Let g(f) = 2. Let p(l) = -l - 4. Let u(q) = -5*g(q) - 2*p(q). Let j be u(1). Suppose j = -2*h - 117 + 299. Is 7 a factor of h?
True
Let h(z) be the third derivative of -5*z**4/24 - 8*z**3/3 + 6*z**2 - 45*z. Let d = -21 - -12. Does 5 divide h(d)?
False
Suppose v = f + 140, 3*f - v - 164 + 582 = 0. Let t = f + 147. Is 8 a factor of 30*(2/(-10))/(t/(-224))?
True
Let d be 1 + (-6 - -3) + 1200 + 2. Suppose 0 = -9*c + 13*c - d. Suppose -s = -t + c, -t - 2*t + s = -900. Is 20 a factor of t?
True
Let o be -6*(-469)/231 - (-2)/(-11). Suppose -o = 5*k + 23. Let u(p) = p**2 + 3*p - 7. Is 7 a factor of u(k)?
True
Let a = -173 + 171. Does 11 divide (-2776)/(-28) - (a/(-14) + 0)?
True
Is 1260/(-147)*(-135576)/30 a multiple of 12?
True
Let x = -4 + 4. Suppose x = -p - p + 118. Let f = p - 45. Does 3 divide f?
False
Suppose -14*y + 23 = -47. Suppose -y*z + 3*j = -1125 - 672, 4*j = 3*z - 1087. Does 51 divide z?
True
Let i(j) = j**2 - 9*j + 25. Let b be i(4). Suppose 5*k + 15 - 76 = 2*a, -a + 52 = b*k. Does 8 divide k?
False
Let b = 10 - 8. Suppose -217 + 81 = b*n. Let z = 52 - n. Is 20 a factor of z?
True
Let y = -5341 + 5737. Is y a multiple of 3?
True
Let s = 602 + -402. Let p be (s/125)/((-1)/5). Let g = p + 79. Is g a multiple of 27?
False
Let k(q) = -445*q - 66 - q**3 + 452*q + 0*q**3 + 8*q**2 + 25*q**2. Is 11 a factor of k(33)?
True
Suppose 861*h + 1471320 = 928*h. Is h a multiple of 18?
True
Let i = 62 - -55. Let y = -98 + i. Is 2 a factor of y?
False
Let c(i) = -145*i**3 + 6*i**2 - 2*i. Let u be c(2). Is 7 a factor of u/25*15/(-2)?
False
Let l(f) = 1. Let p(n) be the second derivative of 5*n**3/3 - 2*n**2 + 14*n. Let b(r) = 2*l(r) - p(r). Does 11 divide b(-5)?
False
Let w = -5877 - -9873. Does 27 divide w?
True
Let a = -45 - -51. Suppose 130 + 536 = a*q. Suppose -q - 241 = -4*z. Is z a multiple of 8?
True
Suppose 20*r + 7*r + 787540 = 40*r. Is 13 a factor of r?
True
Let f(g) be the first derivative of g**6/40 + g**5/120 - 5*g**4/12 + g**3 + 9. Let d(y) be the third derivative of f(y). Is d(4) a multiple of 21?
False
Suppose -5*v = 3*x - 120, 474*v = 4*x + 476*v - 174. Let k(n) = -5*n - 3. Let j be k(3). Let l = j + x. Is l a multiple of 9?
True
Let u(n) = 207*n + 96. Let g be u(7). Let q = g - 1065. Is 10 a factor of q?
True
Suppose 0 = 5*f - 8*a + 4*a - 3280, -2*a - 3270 = -5*f. Suppose 2*o = m + 1295, 2*m - 6*m + f = o. Is o a multiple of 27?
True
Suppose 6385 = 3*r - 5*l, 0 = 3*r + 65*l - 56*l - 6441. Is 32 a factor of r?
False
Suppose -6096 + 30 = -9*t - 1044. Is 93 a factor of t?
True
Is 3 a factor of (-407)/37 + (-132)/(-4 + 1)?
True
Let q(t)