second derivative of x**4/6 + 5*x**3/6 + 77*x**2/2 - 155*x. Does 35 divide y(-7)?
True
Suppose -5*x + 29*d = 34*d - 17460, 13980 = 4*x + 2*d. Is x a multiple of 11?
True
Let p(s) = -s**3 - 12*s**2 - 5*s. Let f be p(-5). Let a = f - -517. Is a a multiple of 44?
False
Suppose 138*d + 2694 = 141*d. Let y = d + -362. Is 8 a factor of y?
True
Is 1/(-3) - (12 + (-203196)/36)*1 a multiple of 11?
True
Let p be (-84)/(-18) - -3 - 2/(-6). Suppose -3*r + 987 = 3*h, -4*h + p*h = 2*r + 1322. Is h a multiple of 33?
True
Let r = 13641 + -6417. Is r a multiple of 129?
True
Suppose 3*v + 30 + 44 = z, -v = 0. Suppose -z - 169 = 9*h. Is ((-45)/h)/(2/18) a multiple of 15?
True
Let g = 64 + -60. Suppose -g*w = 9 - 13. Is (w + (-3 - -1))/(3/(-420)) a multiple of 28?
True
Let b(z) = 20*z**3 - 11*z + 3. Let n(c) = 13*c**3 - 7*c + 2. Let v(q) = 5*b(q) - 8*n(q). Let u be v(1). Let i(l) = -l**3 - 2*l**2 + 2*l - 6. Does 3 divide i(u)?
True
Let h(v) = -4 + 4 + 1 - 18*v**2 + 19*v**2. Let y be h(-2). Suppose 0 = y*w - 8*w + 291. Is w a multiple of 29?
False
Suppose -4*v = -3*h - 36, -4 = h - 2*h. Let j(s) = -14*s - 15. Let z(o) = -15*o - 15. Let w(r) = -5*j(r) + 4*z(r). Is 27 a factor of w(v)?
True
Let z = 19345 + -12037. Is 63 a factor of z?
True
Let p(t) = 16*t**2 + 20*t - 3261. Is p(42) a multiple of 141?
True
Suppose 4*g - m + 124 = 0, 0*g + 5*g = -4*m - 155. Let o be g/(-3) + (-1)/3. Suppose o*t = 606 + 184. Does 40 divide t?
False
Suppose 31235*l - 560274 = 31213*l. Is 13 a factor of l?
True
Let i = -48904 + 71024. Does 71 divide i?
False
Suppose -6*f - 106 - 7370 = 0. Let u = -746 - f. Is u a multiple of 25?
True
Let o(h) = h**2 + 42*h - 336. Is 10 a factor of o(10)?
False
Suppose 1737 = 30*r + 10977. Let y = -210 - r. Is y a multiple of 3?
False
Let l = 785 + -560. Let n = -139 + l. Does 86 divide n?
True
Let m be 8/52 + -4*(-37)/52. Is 32 a factor of (-6)/(-15) - 5116/(-30)*m?
True
Let l(s) = -s**3 - s**2 + 2*s. Let o be l(1). Suppose 421 = -5*t + 8*t - 5*z, o = 2*z + 10. Is t a multiple of 31?
False
Is (-171)/(-20 + 1) - -10547 a multiple of 54?
False
Let t(l) be the second derivative of 15*l**4/4 - l**3/2 + 3*l**2 - l - 53. Is t(-2) a multiple of 16?
True
Suppose 366*m = 368*m - 6. Suppose 5*z - u = 254 + 444, 146 = z + m*u. Is 15 a factor of z?
False
Suppose 5*i = 14*i + 1080. Let v = i - -140. Suppose -d = -v - 56. Is 4 a factor of d?
True
Let i = 22850 + -18761. Is i a multiple of 21?
False
Is ((-1952)/366)/((-2)/3 - (-7492)/11244) a multiple of 212?
False
Let q(l) = -4*l**2 + 4*l + 4. Let f be q(3). Suppose 4*w + 5*u - 23 = 0, -3*w - 3 - 3 = -4*u. Does 21 divide w/(f/(-2)) - 11744/(-80)?
True
Let k = -37958 + 39812. Is 6 a factor of k?
True
Suppose 0 = 5*k + 5*h - 5290, 4*k + h = -0*h + 4247. Is 129 a factor of k?
False
Suppose 3*j = -3 + 9. Let m(z) = z**2 - 2*z**2 + 63 + 2*z**j + 3*z**2. Is m(0) a multiple of 14?
False
Let c(k) = 1395*k - 2613. Does 218 divide c(15)?
True
Suppose 0 = 7*u - 5*u - 4, 0 = 2*r + 3*u - 10. Suppose -6 = -r*i + 72. Is i a multiple of 3?
True
Let k be ((-1)/(-2))/(1/252). Let h = k - 71. Let t = 1 + h. Is 16 a factor of t?
False
Let x(d) = 688*d - 559. Does 10 divide x(4)?
False
Let x(u) = 37*u**3 + u**2 - 6*u - 4. Let j be x(3). Let v = 1404 - j. Suppose -p - v = -6*g + 2*g, 2*g - 3*p = 204. Is g a multiple of 15?
True
Let z be (-4)/6*(100/8 - -1). Is 28 a factor of z/(-6) + 7770/28?
False
Let c(g) = 63*g**3 - 49*g**2 + 253*g - 17. Is 14 a factor of c(8)?
False
Suppose 4698 = 10*f - 1042. Let l = f + -275. Suppose -11*y + 915 - l = 0. Is y a multiple of 7?
True
Suppose 6102 = 51*f - 50*f - a, 4*f - a = 24402. Is f a multiple of 122?
True
Suppose 58*c = 66*c - 88. Suppose 3896 = c*p - 6499. Is 15 a factor of p?
True
Let d(n) = 7*n**3 - n**2 + 35*n - 251. Is 24 a factor of d(6)?
False
Let n(l) = -197*l + 695. Does 17 divide n(-24)?
True
Let p(g) = -671*g - 14. Let l be p(-1). Suppose -663*r + l*r + 684 = 0. Is r a multiple of 4?
False
Let r = -1182 - -6638. Is r a multiple of 124?
True
Suppose 0 = v - 84 + 76. Suppose -i - 5*k = -50, -3*i + v*k - 3*k + 250 = 0. Does 5 divide i?
True
Suppose 6*i - 2*i + 5*r = 277, 0 = -i - 5*r + 58. Let s = 354 - i. Is 21 a factor of s?
False
Suppose 7*i - 508 + 151 = 0. Suppose -i*v + 50*v + 319 = 0. Is v a multiple of 30?
False
Is 99 a factor of ((-6)/9*19274)/((-169)/39 + 4)?
False
Let p be (-65)/(-15) - 8/(-12). Suppose 3*n - g = -0*n - 29, -5 = n - p*g. Let k = n - -21. Is k a multiple of 11?
True
Let z(r) = 2*r**3 + 8*r**2 - 146*r - 67. Is z(11) a multiple of 19?
True
Suppose -251 = -4*h + 4*b + 5, 0 = 5*h + b - 308. Suppose -3520 = -h*a + 57*a. Is a a multiple of 11?
True
Suppose -7*d - 3*j + 277561 = -15522, -4*d + 5*j = -167523. Is 42 a factor of d?
False
Suppose h - 38 = -3*k, 0*k - h + 26 = 2*k. Suppose -k = 2*x - 5*x - 3*f, 3*f + 3 = 0. Suppose 0 = -x*l - 9 + 129. Is l a multiple of 8?
True
Let i(s) be the first derivative of -2*s**3/3 - 22*s**2 - 10*s + 89. Is i(-17) a multiple of 10?
True
Suppose -13*h + 54593 - 8898 = 0. Suppose 0 = -0*d + 3*d - 5*c - 2141, 5*c = -5*d + h. Does 7 divide d?
True
Let s = -10 - -62. Does 18 divide s/78 - (-104)/6?
True
Let a(c) be the third derivative of c**5/60 - 9*c**4/8 - 16*c**3/3 - c**2 + 49*c. Is 16 a factor of a(32)?
True
Does 11 divide (-28)/(-462) + 3097110/99?
True
Is 8 a factor of 48/10*(2645 + -25)?
True
Suppose -13674 = -8*g - 4*g + 6*g. Is 53 a factor of g?
True
Suppose 22 + 14 = 6*l. Suppose -o + 0 = -l. Is (o/4)/(2/32) a multiple of 4?
True
Suppose -5*y = 5*r - 29350, 2*r + 4*y + 2600 - 14348 = 0. Is r a multiple of 14?
True
Let y = 19565 + -13421. Is y a multiple of 96?
True
Let k = 327 + 10770. Is k a multiple of 7?
False
Does 19 divide 3/(-2) - ((-72)/84 + 115126/(-28))?
False
Suppose 36*f = 121089 + 141351. Is 81 a factor of f?
True
Is (576/(-45))/(6*(-11)/25740) a multiple of 26?
True
Suppose v = 5*z - 19, 9 + 6 = 3*z + 3*v. Suppose z*g - 33 = 527. Is 35 a factor of g?
True
Suppose -30*j - 225*j = -2313105. Does 47 divide j?
True
Let z = 5631 - 4659. Is 27 a factor of z?
True
Let d(s) = -3*s**2 - 29*s - 46. Let v be d(-10). Is 42 a factor of v/6*(-297)/(12 - 9)?
True
Suppose -3*p = 4*s - 21, 3*p = s + p + 3. Let f be (243/162)/((-3)/(-10)). Suppose -f*j = 0, 5*d - s*j - 940 = -4*j. Does 32 divide d?
False
Let v(q) = 22*q - 78. Let h be v(19). Suppose -7*t - 130 = -h. Does 6 divide t?
True
Let s(t) = 8*t - 6. Suppose 5*p = -0*p + k + 20, 2*p = 3*k + 21. Suppose -p*j + 6 = 0, 3*w + 3*j = j + 25. Is 7 a factor of s(w)?
False
Let n(b) = b + 1. Let i(t) = 3*t + 45. Let q(k) = i(k) - 4*n(k). Let z(a) = a - 42. Let o(c) = 6*q(c) + 5*z(c). Is o(-20) a multiple of 14?
True
Suppose -3*f - 4 = -2*w + 3*w, -5*f - 5 = 2*w. Suppose -3*s + w*j = -1417, -3*s - j + 2*j = -1421. Let i = 673 - s. Is 17 a factor of i?
False
Suppose 2*i - 37 = 5*f + 7, 66 = 3*i - 5*f. Suppose -5*u + 3*j = -24, -4*u + u = 2*j - i. Does 3 divide u?
True
Suppose -5*r + 5 = 0, -2897 = 3*u + 2*r - 19447. Is u a multiple of 173?
False
Does 111 divide (-2385 + -1 - -1)*(0 + (-96)/40)?
False
Suppose -4*p + 5*d - 3*d = -18020, p + 3*d - 4526 = 0. Is p a multiple of 196?
True
Let h(c) = 5*c**3 + 3*c**2 + 2*c + 3. Let k be h(-2). Let p = k + 33. Suppose 5*w - 5*y + y - 56 = 0, -p = -w - y. Does 8 divide w?
True
Let k(d) = -19*d + 6. Let o(j) = j. Let l(h) = 2*k(h) + 6*o(h). Suppose -33 = -5*p + 16*p. Is l(p) a multiple of 12?
True
Let h(f) = -f**3 - 6*f**2 + 36*f + 98. Is 24 a factor of h(-17)?
False
Let k = -88 + 92. Suppose t + k*t = -m + 21, 2*t = 4*m + 26. Suppose -75 = -t*o + 70. Is 2 a factor of o?
False
Let p = -720 - -722. Is 6 a factor of (14 + 408/(-60))/(p/95)?
True
Suppose -3*s + 9117 = 36*p - 33*p, -9*s = p - 27359. Is 32 a factor of s?
True
Let h = 117 - 261. Is (117/(-4) - -1)/(18/h) a multiple of 9?
False
Suppose 94*b + 241833 = 154*b - 307887. Is 18 a factor of b?
True
Let o(u) = 95*u**2 + 228*u + 1576. Is 5 a factor of o(-7)?
True
Let h be ((-12)/5)/((-66)/220). Is 2362/h + (9/3)/(-12) a multiple of 8?
False
Suppose 16*l + 3*l - 48*l = -4002. Is l a multiple of 5?
False
Is 34 a factor of (-4 - -2)/(32/(-148720))?
False
Let d = 88 + -90. Let v(u) = -15*u**3 + 6*u**2 + u - 2. Is v(d) a multiple of 7?
True
Let u(x) = -x**3 - 4*x**2 - 2*x + 2. Let q be u(-2). Let 