- 4. Let w be b(1). Let x = w - -1566. Is 102 a factor of x?
False
Let s = -13004 + 12994. Let k(u) be the second derivative of -u**4/12 - 7*u**3/3 - 16*u**2 + u. Is 4 a factor of k(s)?
True
Let a(i) be the third derivative of i**5/60 - 3*i**4/4 + 6*i**3 - 3*i**2 - 8*i. Is a(21) a multiple of 11?
True
Let r = 4267 - 4097. Is r a multiple of 5?
True
Suppose 3529*u - 5575808 = 3275*u. Does 160 divide u?
False
Let u = -5149 - -9229. Does 30 divide u?
True
Suppose 6*n = 19 + 731. Let s = 149 - n. Is s a multiple of 2?
True
Let v be ((-8)/5)/(4/10). Let f be (-687)/v - (5/4)/(-5). Let a = -26 + f. Is 31 a factor of a?
False
Let o(q) = -1556*q**3 - 3*q**2 + 5. Is 13 a factor of o(-2)?
True
Let o = 57 + -31. Let i = -18 + o. Suppose -2*m = 3*w - 233 - 110, -4*m = -i. Is w a multiple of 14?
False
Let n(v) = v**3 - v**2 + 43. Let x be n(0). Suppose -4*w = -24 + 16. Let t = x - w. Does 4 divide t?
False
Suppose -4*f - f + 20 = -2*l, 0 = -4*l - 2*f - 64. Is (15 - (-1287)/l)/(6/(-80)) a multiple of 59?
True
Let j(f) = 19*f + 14*f - 8 - 22*f + f**2. Does 47 divide j(-17)?
True
Suppose -11*r = -3*r - 40. Suppose -r*p - 4*i = -8563, 0 = 22*i - 19*i + 9. Is 35 a factor of p?
True
Let x(k) = 270*k**2 - 55*k - 110. Is x(-2) a multiple of 17?
False
Let p(x) = 25*x**2 - 3*x + 14. Let o be p(3). Suppose -13*g = 22 - o. Does 16 divide g?
True
Let l(z) = -15*z**3 + z**2 - z - 2. Let o be l(-2). Suppose -o = -23*c - 9. Is 3 a factor of c?
False
Suppose -205 = -n + 3*l - 6*l, 0 = 5*n + 3*l - 1085. Is n/14 - ((-99)/(-21) - 5) a multiple of 7?
False
Let b = 168 - 164. Let f = b - -14. Does 6 divide f?
True
Suppose 39*z = -34*z + 1158072. Does 4 divide z?
True
Let h be 25 + (5 - (3 + -6)). Suppose -27*w = -h*w + 1470. Is 5 a factor of w?
True
Let l(y) be the second derivative of -y**5/10 + y**3/3 - y**2/2 + 47*y. Let j = 27 + -29. Does 11 divide l(j)?
True
Let a be (48/(-40))/((-1)/15). Let x(u) = 2*u - 24. Let n be x(a). Let t(b) = 3*b - 3. Is 15 a factor of t(n)?
False
Does 20 divide 18/(9 + 164307/(-18260))?
True
Let i(a) = a**2 - 15*a - 24. Let h be i(-11). Let f be 2/(-13) - h/(-13). Suppose 0 = -f*d + 19*d + 126. Does 21 divide d?
True
Suppose -3695 = -5*b - 5*w, -205 = -b + w + 538. Let a = -580 + b. Does 3 divide a?
False
Let b = 343 + -780. Let l = -96 - b. Does 31 divide l?
True
Does 24 divide 0 + -7 - 8/(16/(-6202))?
False
Suppose -3*a + 6224 = 5*i, -9*i + 7*i + 10348 = 5*a. Is a a multiple of 11?
True
Suppose -62 + 44 = 3*b, -4*o + 7*b + 31306 = 0. Is 15 a factor of o?
False
Let v(d) be the third derivative of -d**6/60 + d**4/4 - 13*d**3/6 + 88*d**2. Is 4 a factor of v(-4)?
False
Let p = 38 + -31. Let i(t) = 8*t**2 - 12*t + 16. Is i(p) a multiple of 27?
True
Let p(g) = -g**3 - 9*g**2 + 5*g + 20. Let k be p(-9). Let o(d) = d**2 + 28*d + 110. Is o(k) a multiple of 7?
True
Let w = 303 + -290. Let n(h) = h**3 - 12*h**2 + 7*h - 84. Is 8 a factor of n(w)?
True
Suppose -v = v - 4. Let x be ((-126)/4)/(-9) + v/(-4). Suppose -654 = -5*l + 5*k - 139, -3*l - x*k = -315. Is l a multiple of 41?
False
Let s = 3246 - -5544. Does 43 divide s?
False
Let m(g) = -213*g + 987. Is 24 a factor of m(-17)?
True
Suppose -7 = -4*l + 1. Let s be (2/(-5))/l - 6383/(-65). Does 12 divide s + -3 + (-3 - -4)?
True
Suppose 77922 = 2*u + 35*u. Does 7 divide u?
False
Suppose 14*z - 1512 = 20*z. Let b = -146 - z. Is b a multiple of 23?
False
Does 14 divide (-53 + (-22)/(-11))*289*-3?
False
Suppose 0 = -4*z + 6 + 10. Let a(f) = -z - f**2 + 4 - 6 - f**3 + 4*f**2. Does 12 divide a(-3)?
True
Suppose g + 5*c = 3583, -44*g - c = -41*g - 10665. Is 209 a factor of g?
True
Suppose 21*j - 18*j = 171. Suppose -j*q + 12 = -53*q. Is q a multiple of 2?
False
Suppose -5*t + 114 = 19. Let q = t + -17. Is 18 a factor of 12*6*1/q?
True
Let z be (-1)/(-1) + -3 + -1. Let p be 2 + (156 - -3) - z. Suppose -5*y + 3*s + s + 296 = 0, 3*y - p = -s. Is y a multiple of 14?
True
Suppose -2*a + 3*j = -6*a + 240, -2*a - 2*j + 122 = 0. Suppose -a*c + 52*c = -10. Is ((-118)/5)/(c/(-10)) a multiple of 17?
False
Suppose 17*h - 90*h - 28*h + 921625 = 0. Is 16 a factor of h?
False
Let w be ((-16)/24)/((-1)/3). Suppose -w*f + 5*g = 108, f + 5*g + 53 + 31 = 0. Let k = f + 125. Is 11 a factor of k?
False
Suppose -24*r + 54 = -66. Suppose 0 = r*b - 2*b + 5*f - 111, -3*f = 2*b - 73. Does 16 divide b?
True
Suppose -4*r + 4 = -8*r, 2*r = -2*o + 14. Let x(g) = -g**3 + 9*g**2 - 5*g - 12. Is x(o) a multiple of 4?
True
Let j(a) = -4*a**2 + 82*a**3 + a - 10*a + 9*a. Let q be j(3). Suppose -t + 10*t - q = 0. Is 22 a factor of t?
True
Is (4/6*(-56)/(-112))/(1/8148) a multiple of 23?
False
Is 23 a factor of 198110/154 + 16/28?
False
Suppose -2446130 = -126*a - 132*a + 5231950. Is 15 a factor of a?
True
Let m = 60 + -57. Let q(s) = -3*s + 100 - 2*s + 0*s + m*s. Is q(0) a multiple of 25?
True
Let r(a) = -2*a + 31. Let d be r(14). Suppose 2*h + d*z - 634 + 55 = 0, -2*h = -3*z - 561. Suppose -5*k + 2*s + 363 = 3*s, 4*k - s = h. Is 9 a factor of k?
True
Suppose 0 = -4*o - 4*t + 16892, 40*t - 45*t - 25 = 0. Does 28 divide o?
True
Let u be (1 - 5)*(-28)/14. Suppose 15*q - 553 = u*q. Let a = 128 - q. Is a a multiple of 7?
True
Suppose 4*s + 2*p = -p + 138, -5*s = -3*p - 186. Suppose 4*c - s = -0. Suppose 14*x = 47 + c. Is 4 a factor of x?
True
Let i(v) = 2*v**2 - 40*v + 2. Let a be i(20). Suppose -a*j = 5*m - 576, 5*j - 6*m - 1409 = -3*m. Is 5 a factor of j?
False
Let c = -13093 + 24918. Is 40 a factor of c?
False
Suppose 2*y = -3*v - 3, -7*y + 3*v - 15 = -3*y. Is 2 a factor of (-15)/y + (16 - 2)?
False
Let y be (26/(-4) - -3)/((-4)/24). Suppose -h = 9 - y. Suppose -5*z - 36 = -3*f - 0*z, -h = -f - 4*z. Is f a multiple of 3?
True
Let b = -7 + 82. Let h be b/3 + 0/(-2). Suppose 0*d = 2*u + d - 13, 5*u - h = 5*d. Does 2 divide u?
True
Suppose 9*k + 40 = 7*k. Let h = 116 - k. Does 15 divide h?
False
Let s(x) = x**2 - x - 25. Let z be s(6). Suppose 7*g - 5*g - 118 = -z*o, 3*g = 2*o + 215. Let b = g + 6. Is b a multiple of 18?
False
Suppose 5*i + 7*j = 2*j + 100460, 4*j - 60278 = -3*i. Is i a multiple of 10?
True
Let p be ((-35)/(-2) - -3)/(1/(-78)). Let s = p - -2819. Is s a multiple of 25?
False
Suppose -30*l - 307357 = 54*l - 1492513. Is l a multiple of 125?
False
Let f(x) = x**2 - 6*x - 7. Let k be (1/2)/((-3)/(-18)). Suppose k*q = -6 - 3. Is f(q) a multiple of 5?
True
Let d(c) = -4*c**2 + 6*c - c**2 + 2*c**2 - 393*c**3 + 392*c**3. Is d(-6) a multiple of 9?
True
Suppose 2 = -0*h + h. Let k be 2310/(-195) + h/(-13). Let q(z) = -z**2 - 15*z - 13. Is 7 a factor of q(k)?
False
Let t = -14424 - -63168. Is 15 a factor of t/44 - 12/(-66)?
False
Let o(b) = -b**3 + 5*b**2 + 7*b + 1. Let p be o(6). Suppose -92 = 3*d + p. Is 9 a factor of 6/d - (-1680)/44?
False
Let c(w) be the first derivative of 31*w**3/3 + 3*w - 4. Suppose 0 = 5*d - 27 + 17. Is 24 a factor of c(d)?
False
Is 450*((-4188)/1512*-6 + 2/(-7)) a multiple of 21?
True
Suppose -141*b + 31690 = -33434 - 97731. Is 11 a factor of b?
True
Suppose -3*q = -5*u + 1665, -3*u + 3*q + 1005 = -0*u. Let j = u - 222. Is 16 a factor of j?
False
Suppose -35*l = 14109 + 3321. Let i = 610 + l. Is i a multiple of 14?
True
Let p = 28923 - 6307. Is p a multiple of 204?
False
Suppose -71*v + 30 = -65*v. Does 51 divide 273 + (v - (2 - (-3 + 0)))?
False
Suppose -39 = 25*f + 14*f. Let h(u) = -24*u**3 + 3*u**2 + 3*u + 1. Is h(f) a multiple of 3?
False
Let p = 5903 - 5235. Is 4 a factor of p?
True
Suppose -11*c - 9*c = -4240. Let f(t) = -16*t + 4. Let d be f(-4). Let p = c - d. Is 9 a factor of p?
True
Suppose 0 = -d - d + 2224. Suppose 0 = -23*m + 1763 + d. Does 41 divide m?
False
Let h be (2 - -71 - 3) + 16/(-4). Suppose 0 = -a + 2*g - 4*g - h, a - 5*g = -59. Does 23 divide a*2*(4 - 5)?
False
Suppose -85*r + 9000 = -13*r. Is r a multiple of 15?
False
Let q(r) = -910*r + 2792. Does 88 divide q(-6)?
False
Suppose 25*c = 136 - 3511. Let r = -103 - c. Is 4 a factor of r?
True
Let a(d) = -511*d - 33. Let w be a(-3). Let y = w - 569. Does 67 divide y?
False
Let y(w) = -w**3 + 3*w**2 + 14*w + 2204. Is 29 a factor of y(0)?
True
Let a(b) = 4*b + 15. Let x be a(-3). Suppose x*g + 71 = 4*o - 92, -4*g = -12. Does 7 divide o?
False
Let l = 347 - 16. Let o = l - 236. Does 5 divide o?
True
Let j = -619 + 636. Suppose -2*r + 475 = j*m - 1