 4*l**5/15 + l**4/8 - 37*l**2. Let m be i(12). Suppose 0 = -5*n - n + m. Does 7 divide n?
False
Suppose -1 = v - 2*g, 2*v + 3*g - 14 = v. Let z be -227 - (9/1 - v). Let j = 328 + z. Is j a multiple of 40?
False
Let w(k) be the third derivative of k**5/60 + 3*k**4/4 - 4*k**3 - 28*k**2 + 7*k. Suppose -2*m + 4 = -8. Is 20 a factor of w(m)?
True
Let g be (-2)/(-7) + (-75)/(-7). Suppose 0 = -w + 58*u - 53*u + 2, 5*w - 10 = 2*u. Let c = w + g. Does 3 divide c?
False
Let z(k) = -2*k. Let u(x) = 2*x**2 - 30*x - 4. Let b(p) = -u(p) - 6*z(p). Let d be b(21). Suppose -6 = 3*m, -t - 5*m = -d + 2. Does 5 divide t?
False
Suppose 3*r - 24 = 7*r. Let y(k) = -k**2 - 8*k - 19. Let j be y(r). Let b(n) = 7*n**2 + 32*n + 9. Does 16 divide b(j)?
True
Let d(x) = 14*x**2 + 18*x**2 + 3*x**2 + 14. Let a(r) = 12*r**2 + 5. Let u(v) = -8*a(v) + 3*d(v). Does 12 divide u(-2)?
False
Suppose 4*z - 3*h + 4*h = 11, 5*h + 2 = -z. Let s be 1 + z/9 + 69/9. Suppose -s*m + 26 + 2350 = 0. Does 44 divide m?
True
Let c(i) = -10*i - 18. Let r be c(5). Suppose 365 + 976 = -9*a. Let j = r - a. Is 39 a factor of j?
False
Suppose 5*h = -4*a - 6, h - 2*a = -h + 12. Suppose -3*q = -2*x + 4 + 3, -h*x - 4*q = 0. Suppose 0 = -x*n + 3*b + 202, 0*b = 3*n + 5*b - 322. Is 8 a factor of n?
True
Let k(c) be the third derivative of -24*c**2 - 5*c**3 + 0*c + 0 + 1/6*c**4 + 1/60*c**5. Is k(-13) a multiple of 4?
False
Suppose 27870 = 8*u + 3166. Is 23 a factor of u?
False
Suppose -5*x = -4*z - 2513, 12*z - 8*z - 3*x + 2511 = 0. Let a = -592 - z. Does 5 divide a?
True
Let a = 718 - 715. Suppose 0 = -a*j + 6593 - 830. Does 14 divide j?
False
Let x = 10470 + -10468. Let n = 1 + -1. Suppose d = 0, n = -3*q - x*q - 4*d + 560. Does 14 divide q?
True
Let m be (-6)/9 + (-771)/(-9). Suppose 30 = 2*t - 4*y, -6*y + 3*y = -4*t + m. Is 3 a factor of t?
False
Suppose -4*c + 371 - 87 = 0. Let q = c + 13. Suppose 0 = -u + 4*l + q, -3*u + l + 0*l + 241 = 0. Is u a multiple of 10?
True
Suppose -282*c + 8680 = -274*c. Suppose 5*m - c = 90. Is 44 a factor of m?
False
Let z(p) = 25*p - 98. Let b be z(4). Suppose 0*c + b*i - 1588 = -3*c, 3*c - 1612 = 4*i. Does 28 divide c?
True
Let h(u) be the second derivative of -u**4/6 - 5*u**3/2 + 2*u**2 + 7*u. Let q be h(-8). Is 320/(-30)*6/q a multiple of 8?
True
Let d(o) = -o**2 + 17*o - 59. Let h be d(11). Suppose 2*p = 6*p + 3*q - 801, -428 = -2*p + 4*q. Suppose -h*v + p = -307. Does 7 divide v?
False
Let m(s) = -s**3 + 19*s**2 - 34*s - 5. Let p be m(17). Does 91 divide p - (96045/(-105) - 4/14)?
True
Suppose -10*a - 127 + 177 = 0. Suppose z = 3*w + 1052, 3*z = -a*w + 2495 + 605. Is z a multiple of 24?
False
Suppose -5*b + 815 = 235. Is 12 a factor of b + (-4 - -11 - 3)?
True
Let o = 15663 - 10826. Is (4/28)/(1/o) a multiple of 31?
False
Let q = 1335 + -907. Let p = q + 218. Does 12 divide p?
False
Let a(w) be the first derivative of w**6/360 + w**5/20 - 3*w**4/4 + 7*w**3 - 8. Let u(r) be the third derivative of a(r). Is u(-12) a multiple of 10?
False
Let r(y) = 574*y**3 + 3*y**2 + 7*y - 5. Let w(d) = -1150*d**3 - 5*d**2 - 13*d + 9. Let n(v) = -7*r(v) - 4*w(v). Is 53 a factor of n(1)?
True
Suppose -221*c + 16562 - 1534 = 0. Does 6 divide c?
False
Let n(v) be the first derivative of -v**4/4 + 9*v**3 - 5*v**2 - 48*v - 123. Does 16 divide n(26)?
True
Let i(o) = -o**2 + 14*o - 39. Let u be i(11). Let f(h) = -4*h**3 - 11*h**2 + 13*h + 6. Is f(u) a multiple of 36?
True
Suppose -5*u - 40 = 20. Let i(y) = 2*y**2 + 25*y + 16. Let a be i(u). Does 17 divide (254/a)/((-16)/(-64))?
False
Let v(w) = -33*w - 1. Let b be v(-2). Suppose 26*f + 53 - 180 = 133. Let k = b + f. Is 7 a factor of k?
False
Let o be (-97)/(-291) - (28/(-6))/1. Suppose 5*i - v - 2327 = -274, o*v + 812 = 2*i. Does 4 divide i?
False
Suppose 7*a + 4*x = 3*a - 428, 4*a = 2*x - 434. Is (a/(-42))/(2/28) a multiple of 3?
True
Let j be 3 + (-4 - 21/2)*-16. Let d = j + -139. Is 6 a factor of d?
True
Let u(d) = 2*d + 1708. Does 22 divide u(-18)?
True
Is (-1 - 1 - -3)/(-12*1/(-5532)) a multiple of 29?
False
Let q(b) = 312*b**2 - 203*b - 17. Does 6 divide q(4)?
False
Let l(d) = 2*d**3 - 27*d**2 - 15*d + 32. Let v be l(14). Suppose 22*j - v*j = 40. Is 3 a factor of j?
False
Let j be 3/(-2) - 1520/(-32). Suppose -3*a = -4*d - a + 28, -1 = 3*d + 4*a. Suppose -5*c + 86 = -2*c + r, 2*c - j = d*r. Is 7 a factor of c?
True
Suppose -966 = 8*n - 3934. Is (-4)/(-14) - (-70384)/n a multiple of 15?
False
Let i(w) = w**3 - 42*w**2 + 7*w + 103. Is 11 a factor of i(43)?
False
Is 32 a factor of (3/18*(-6)/(-4))/(8/136096)?
False
Let r(u) = -u**3 + 10*u**2 + 5*u + 4. Let h(f) = -2*f**3 - 5*f**2 + 11*f + 6. Let g be h(-4). Is 34 a factor of r(g)?
False
Let m(y) = -y**3 + 13*y**2 - 7*y - 8. Let s be m(7). Let f be (-49)/7 - (17 - -117). Let g = s + f. Does 16 divide g?
True
Let p = -539 + 542. Suppose -6 = 2*l, -209 = -p*s + l + 130. Is 11 a factor of s?
False
Let c = 20976 + -11742. Is c a multiple of 27?
True
Let s(x) = -6*x**3 - 16*x - 13. Let q be s(-9). Suppose 14*g = 9*g + q. Is g a multiple of 28?
False
Let d = -103 - -112. Suppose d*m - 608 = 2524. Is 48 a factor of m?
False
Suppose -82*h + 48 = -86*h. Let c(z) = -z**3 - 12*z**2 - 5*z - 33. Does 15 divide c(h)?
False
Let i = 68332 + -41438. Is 34 a factor of i?
True
Let p(s) = 351*s - 150*s - 124*s - 2 + 1 - 130*s. Let x = -1 - 0. Does 11 divide p(x)?
False
Suppose 0*t - 5*t = 0. Suppose -3*d + 20 + 7 = t. Suppose d*h = 10*h - 6. Does 6 divide h?
True
Let t be (681/(-9) - 1)*(-72)/16. Suppose 196 + 628 = 4*z - 4*l, 626 = 3*z + 5*l. Let f = t - z. Is 23 a factor of f?
True
Let z(x) = 2*x**3 - 22*x**2 - 289*x - 75. Does 40 divide z(25)?
True
Suppose -5*q + 8*q - 2661 = 0. Let z = q + -332. Is z a multiple of 37?
True
Suppose 3*j = -k + 1 + 10, -k + 2 = 0. Suppose -5*x = -j*s + 3265, s - 1091 = -x + 2*x. Is s a multiple of 12?
False
Let s(f) = -21*f + 768. Is s(16) a multiple of 72?
True
Suppose 5*k - 28 = -2*u, u + 8 = 3*k - 0. Suppose -u*x - 3*a + 324 = 0, x = -4*a + a + 72. Does 5 divide x?
False
Let r(b) = 13*b**2 + 31*b - 17. Suppose -2*g + p + 37 = -6*g, 0 = -3*g + 5*p - 45. Is r(g) a multiple of 43?
False
Suppose 4*s = b + 17, -6*b + 22 = 4*s - 8*b. Suppose -2*z + s*x + 467 = 0, 15*z + 3*x = 10*z + 1199. Is z a multiple of 14?
True
Suppose 2*r = 5*d + 210, -5*d + 4*d = 3*r + 59. Let w = d - -104. Let t = -40 + w. Does 5 divide t?
True
Let n be (30/(-9) + 3)*9. Let a be n/(-15) + (-5)/((-50)/(-232)). Does 31 divide (-20 - a) + 3/(6/56)?
True
Let r(t) = -t**3 - 9*t**2 - 16*t - 88. Let m be -5 - (-11)/(22/(-12)). Does 22 divide r(m)?
True
Let a(v) = -v**3 + 15*v**2 + 2*v - 30. Let h be a(15). Suppose h = -8*u + 1492 - 532. Is u a multiple of 16?
False
Let j(w) = -58*w + 50. Let t(s) = -s - 3. Let v(z) = -j(z) - 4*t(z). Is v(7) a multiple of 7?
False
Is 64 a factor of ((-32472)/16)/(13 - 351/26)?
False
Let w(u) = -u**2 - 12*u - 19. Let q be w(-10). Suppose 4*o + q = -3*r, 4*r + 5*o = 2*o + 8. Suppose -k + r*t + 5 = 8, 4*k = 2*t + 42. Is 6 a factor of k?
True
Suppose -1116 + 297 = 9*t. Let r = t + 91. Suppose -16*k + 17*k - 160 = r. Does 32 divide k?
True
Let q(f) = 7*f**2 + 12*f - 16. Suppose 18*d + 9 = 81. Is q(d) a multiple of 4?
True
Let i(x) = -23*x + 46. Let r be i(-9). Let v = 477 - r. Is 16 a factor of v?
True
Let k(y) = 69*y**2 + 3*y + 40. Is 17 a factor of k(-7)?
True
Let k = -2147 + 4087. Does 43 divide k?
False
Let d(t) = t**3 - 7*t**2 + 2*t - 11. Let y = -53 - -60. Suppose y*f = 4*f + 24. Is d(f) a multiple of 23?
True
Let s(l) = 42*l**2 + 160*l + 873. Does 84 divide s(43)?
False
Suppose -62*f - q - 42678 = -66*f, 0 = -3*f - 4*q + 31980. Is 28 a factor of f?
True
Let o(g) = 263*g**3 + 2*g**2 + 7*g - 1. Let m(y) = -262*y**3 - 8*y + 1. Let s(w) = -2*m(w) - 3*o(w). Is s(-1) a multiple of 31?
False
Let y(a) = -2*a + 8. Let h be y(-7). Suppose 23*i + 129 = 26*i - 5*n, -4*n + 156 = 3*i. Does 6 divide 788/h - i/(-264)?
True
Does 6 divide ((-21)/9)/(((-34)/221)/(36/1))?
True
Let l(a) = a**2. Let b(n) = 441*n**2 + n + 3. Let f(m) = b(m) + 5*l(m). Is 9 a factor of f(-1)?
False
Suppose 4*y - x - 1 - 23 = 0, -5*y + 13 = 3*x. Suppose 0*z + 105 = 2*k - 3*z, -k - y*z + 85 = 0. Is 30 a factor of k?
True
Let g = 903 - 415. Let p = -293 - -589. Let w = g - p. Is 48 a factor of w?
True
Suppose -40*v =