d derivative of s**6/120 - s**4/24 + 5*s**3/6 - s**2 + 34*s. Let h(l) be the first derivative of f(l). Is 9 a factor of h(2)?
False
Suppose 821001 = 58*i - 210061 + 26502. Does 8 divide i?
True
Let k(p) = 13*p + 288. Let h be k(-15). Suppose -3*q + 17 + h = 2*w, 0 = 5*q + w - 195. Does 40 divide q?
True
Let b(m) = -m**3 - 10*m**2 - 14*m - 17. Let t(g) = g**3 - 7*g**2 + 7*g + 7. Let a be t(5). Let z be b(a). Let o = z + 43. Does 10 divide o?
True
Let g be (-1)/((2/30)/((-4)/5)). Suppose 10*f - g*f = 50. Is 23 a factor of -1 - 5/(f/695)?
True
Suppose 5*s + 5 = 2*j, 10*j - 5*j + 5 = -5*s. Suppose j = -r - 1 + 5. Is 16 a factor of 3 + (2 - r/((-8)/86))?
True
Suppose 3*x - 239 = -5*y, 5*y = -x - 2 + 95. Suppose x = p - 39. Is 16 a factor of p?
True
Let o be (19/3)/((-7)/357). Let g = -191 - o. Is g a multiple of 69?
False
Let y(u) be the third derivative of 7/8*u**4 + 0 - 10/3*u**3 - 1/60*u**5 + 19*u**2 + 0*u. Does 12 divide y(17)?
True
Suppose -4*o = 4*k + 56, -5*o + 0*o = -4*k - 83. Let c(i) = -i**3 - 19*i**2 - 38*i + 33. Let m(u) = u. Let z(a) = c(a) + 3*m(a). Does 4 divide z(k)?
False
Let a be (-18)/((6/(-30))/((-6)/10)). Let j = a - -58. Suppose 3*z - w = 249, -249 = -3*z - 2*w + j*w. Is 24 a factor of z?
False
Let k be (1/2)/((-1)/(-12)). Let a(q) be the second derivative of q**5/20 - q**4/3 - q**3/6 + 3*q**2/2 + 227*q + 1. Is a(k) a multiple of 23?
True
Let n(j) = 118*j + 26. Let t be n(5). Suppose 16*s = 9*s + t. Let v = s - 74. Is v a multiple of 5?
False
Let x(d) = 2*d**3 + 11*d**2 + 3*d + 2. Let t be x(-5). Suppose 0 = -14*h + 11*h - t. Let p(w) = -3*w**3 - 2*w**2 + 11*w - 4. Does 7 divide p(h)?
True
Is 4 a factor of ((-175)/(-21) - 5)*(-60)/(-25) - -7026?
False
Let u(z) = 4316*z**2 - 575*z. Is u(-2) a multiple of 31?
True
Is 9 + 1900 - 6/1 a multiple of 35?
False
Let z(n) = 84*n**2 - 5*n + 3. Let u be z(3). Suppose 51*a - 55*a + u = 0. Suppose 7*w = 339 + a. Is 23 a factor of w?
False
Let o = -16773 + 25561. Is 29 a factor of o?
False
Let h be 26/(-4) - -6 - 5/(-2). Suppose h*b - 17 = -0*b - 3*a, -3*a = -b - 5. Suppose 0 = 5*j - 15, 944 = b*y - j - 3*j. Is 44 a factor of y?
False
Let t(i) = 34*i + 63 + 20 - 23 + 28*i. Is 24 a factor of t(6)?
True
Let b be 16*(2 - (-5 - -2))/4. Let c = -20 + b. Suppose 85 = 2*h + 3*h - 5*y, c = 2*h + 5*y - 6. Does 2 divide h?
False
Does 7 divide (-5)/(-10) + (1140900/8)/25?
True
Suppose 0 = 2*r - 24 + 18. Suppose -5*p + 27 = -r*h, 39 = -5*h + 5*p - 6. Does 4 divide 29/3 - (-6)/h?
False
Suppose 5*o - q = 88 + 104, -3*q = 3*o - 108. Suppose -8*c + o = -250. Does 19 divide 2/8*51696/c?
False
Is 12 a factor of ((-2)/(-4))/(((-530)/18060)/(-53))?
False
Let o(k) = -14*k - 151. Let v be o(-11). Is 11 a factor of 1347 + 5*(v - 4)?
True
Suppose z = -o + 434 + 2891, z = 0. Does 15 divide o?
False
Suppose -5*w - 4*x = 39 - 4, 4*x = -20. Let s be 21/18*4 + 2/w. Let y(l) = -l**2 + 5*l + 2. Is 2 a factor of y(s)?
True
Let a be (-11)/7 - -1 - 96/28. Is 4 a factor of (1 - a) + 161/1?
False
Let v(f) be the third derivative of -f**6/120 + f**5/6 - 5*f**4/12 - 4*f**3/3 + f**2. Suppose -433 - 274 = -136*p + 245. Is 6 a factor of v(p)?
False
Let j = 197 + -182. Suppose -j*u + 198 = -13*u. Is u a multiple of 11?
True
Let a be (12 - 122) + 3/3. Let l = 134 + a. Does 5 divide l?
True
Let u(b) = b**3 + 16*b**2 - 21*b - 57. Let m be u(-18). Let s = -260 - m. Is s a multiple of 10?
False
Let h(u) = 52*u**2 + 155*u + 1544. Is h(-11) a multiple of 52?
False
Suppose 10350 = 2*y - 11*v - 13922, -4*y + 48544 = -2*v. Does 8 divide y?
True
Suppose -4*z + 5*z = 4*p + 27, -2*p - 11 = -3*z. Let y(a) = -a**2 - 7*a + 5. Let l be y(p). Suppose -r = l*c - 98 - 4, 5*c + 408 = 4*r. Does 27 divide r?
False
Suppose 5*i - 191945 = 5*w, 5*i - 3*w + 105895 = 297836. Is i a multiple of 23?
True
Suppose 29*j - 56*j - 52 + 9718 = 0. Does 2 divide j?
True
Suppose -3*n = -2*u - 81, 0 = -u - 3*u + 12. Suppose -n = 4*q - 497. Suppose 3*s - 4*o - q = 0, 3*s - 2*o = 2*s + 39. Does 13 divide s?
True
Let h(j) = -j**2 + 21*j + 36. Let b(w) = -w**2 + 16*w - 29. Let y be b(12). Let l be h(y). Suppose 0 = -5*x - l + 314. Is 6 a factor of x?
True
Let k(j) = -j**3 - j**2 + 4*j - 2. Let t be k(0). Is (42 + 14)/((-1)/t) a multiple of 28?
True
Let n(l) = l**3 - 7 + 59 - 20*l - 6*l**2 - 30. Does 26 divide n(9)?
False
Let l be (-21)/6*(140/(-49) + 2). Suppose 3*g - 128 = 7*k - 2*k, -3*g - 5*k + 178 = 0. Let c = g + l. Is 27 a factor of c?
True
Suppose -5651*h + 5675*h - 114912 = 0. Is h a multiple of 3?
True
Suppose 2*r - 11702 = 72*g - 76*g, 11695 = 4*g - 5*r. Is g a multiple of 5?
True
Let l(p) = 6*p**3 - 6*p**2 - p - 9. Let i be l(3). Is (-491)/(-3) + 128/i a multiple of 33?
True
Let u = -20347 + 31397. Is 12 a factor of u?
False
Let o(i) = 76*i - 42. Let m(y) = 74*y - 43. Let c(x) = -5*m(x) + 4*o(x). Does 24 divide c(-4)?
False
Let x(u) = -u + 12 + 6 + 12. Let k be x(18). Suppose k*i - 210 = 6*i. Is 6 a factor of i?
False
Let j(t) = -8*t + 79. Let d be j(13). Let a = d + 163. Let r = -91 + a. Does 47 divide r?
True
Suppose 15*q = 20*q - 5, 0 = y + q + 46. Let n(v) = 7*v + 6. Let b be n(5). Let j = b - y. Is 44 a factor of j?
True
Let m = -1007 - -1625. Is m a multiple of 14?
False
Suppose -7*v - 718 = -25134. Does 109 divide v?
True
Let c be (-13)/(104/8290) + 6/(-8). Is 2 + c/(-2) + (-11)/22 a multiple of 8?
True
Let f(k) = -2*k**3 + k**2 + 8*k + 2. Let x(n) = -n - 1. Let s be x(-10). Let g(z) = -z**3 + 11*z**2 - 17*z - 12. Let q be g(s). Does 7 divide f(q)?
False
Let d be -2 + ((-70)/3)/(12/54). Let o = 289 - d. Does 44 divide o?
True
Suppose -27*t - 1631 = -29*t - c, t - 2*c - 808 = 0. Let b = t + -562. Does 84 divide b?
True
Suppose 4*s - 25724 = -2*d, -4*s + 2*s = -2*d - 12844. Is s a multiple of 37?
False
Let f = 124 - 120. Suppose -a = -1 - f. Suppose v - k - 254 = 0, a*k = -8*v + 4*v + 989. Is v a multiple of 23?
False
Suppose -20*t = -51*t + 11780. Suppose 0 = y + 2*y - n - 1165, t = y - 2*n. Is 30 a factor of y?
True
Let g(n) = 3*n**3 - 11*n**2 - 42*n + 533. Is 69 a factor of g(11)?
False
Suppose 5*y = 5*d + 152105, -2*y - 39*d + 60844 = -43*d. Is y a multiple of 90?
True
Let x(d) = 4*d**2 + 9*d + 12. Let n be x(-4). Suppose n = 5*s - 0*s. Does 4 divide 57/(-4)*s/(-6)?
False
Let i(p) = -2*p**2 + 19*p + 21. Let g be i(9). Let z be -3*(-9)/(-15)*g/(-9). Suppose z*o - 9*o = -342. Does 38 divide o?
True
Suppose 0 = 3*m - 5*z - 125526, 5*m + 21*z - 209248 = 23*z. Is 41 a factor of m?
False
Suppose 2*w = x + 184, 2*w - w - 89 = -x. Suppose -4*t + 35 - w = 0. Is 27 a factor of (-942)/(-7) + (-6)/t?
True
Let b = -331 - -326. Is 17 a factor of 2/(b*(-2)/2465)?
True
Suppose 3*f - 26 = -8. Let i be (-1 - -9)/(4/f). Let k(c) = 8*c - 21. Does 25 divide k(i)?
True
Suppose 0 = -4*d - 18 + 26. Suppose d*t - t + 2*i = 10, -10 = 5*t - 5*i. Is 3 a factor of 2 - t - (-9 + -6)?
True
Let x(k) be the first derivative of -40*k**2 - 5*k + 38. Does 47 divide x(-3)?
True
Suppose 3*k - 5 - 13 = 0. Suppose 5*v - 21 = -s + k, -14 = -4*v + 3*s. Does 10 divide 107/v - 26/65?
False
Let p(g) = -g**2 + 28*g - 33. Let k be p(27). Is k/9 - 2960/(-48) a multiple of 18?
False
Suppose -10*b = -66 - 54. Suppose 16*r - b*r - 56 = 0. Let c(t) = t - 3. Is c(r) a multiple of 3?
False
Suppose 3*x - 1095 = -15. Does 6 divide ((-7)/(-4))/((-1435)/x + 4)?
True
Let n be (-2 + 852/18)*15. Let x = 1657 - n. Is 8 a factor of x?
False
Suppose 5*z + 6*d + 2 = 3*d, 4*d = 2*z + 6. Does 30 divide 3 + z + 417 - -1?
True
Let d(l) = l**2 + 7*l + 2. Let o = -78 - -67. Let x be d(o). Suppose 4*v - 390 = -5*r, 3*v + x = 3*r - 188. Is r a multiple of 13?
True
Suppose -4*f - 55 = 2*w - 27, -4*f = 16. Let y(t) = -t**3 - 6*t**2 - 20*t + 2. Is y(w) a multiple of 102?
False
Let u = 120 - 117. Let w(r) = r**3 + 3*r**2 - 4*r + 5. Let v be w(-4). Suppose -u*m + 2*m + v*p + 2 = 0, 2*m + 4*p = 74. Is m a multiple of 8?
False
Does 4 divide (-52*(-1317 + 11))/4?
False
Let u be (-8)/(-6) - (-1)/(-3). Suppose 4*q - 888 = -4*l, q + 2 + u = 0. Does 45 divide l?
True
Suppose 0 = 3*b - 3*c - 23262, -5*c - 9469 = 3*b - 32747. Does 18 divide b?
False
Let k be 2/(-4) + (-7)/(-2). Let j(h) = h**2 + 31*h - 62. Let a be j(-33). Suppose t + i - 118 = 0, -5*t + 562 = -k*i + a. Does 11 divide t?
False
Suppose -153 = a - 0*a - 8898. Is 55 a fact