**3 + 9*f**2 + 6*f - 8. Let k be (-25)/(-150) - (-49)/(-6). Let s be j(k). Suppose s*w = 11*w - 405. Does 27 divide w?
True
Let u be 3 + (0 + 0 - -1). Let p be 5/2*(-4 + -4 + (-220)/(-25)). Suppose -s = -w - 11, -p*s - u*w + 18 = -7*w. Is s a multiple of 15?
True
Suppose -11 = 5*b - 4*b. Let w = 9 + b. Is 15 a factor of -134*(4 - (-11)/w)?
False
Suppose -c - 45 = -16*c. Suppose 388 = c*k + 2*t, 7*t - 4*t + 122 = k. Does 32 divide k?
True
Let p(y) = -16*y + 196. Suppose 4*u + g + 36 = 0, g + 1 + 8 = -u. Does 10 divide p(u)?
True
Let c be (-4015)/(-15) + -2 + 1/3. Let o = c - 224. Is 15 a factor of o?
False
Let v = -168 - -284. Suppose -v - 517 = -n. Does 50 divide n?
False
Suppose 0 = -2*j - 2, -13*y - 14841 = -17*y + j. Is y a multiple of 53?
True
Suppose 22 = 3*r - 2*l, -4*l + 1 = 4*r - 15. Suppose -27 = -r*o + 2*o - s, -2*s - 50 = -5*o. Suppose -4*a = -o*y + 10*y - 40, 4*a - 36 = -4*y. Does 11 divide a?
True
Suppose -14244 - 1580 = 16*q. Let r = -656 - q. Does 9 divide r?
True
Let z be 210/(-84)*(-13208)/(-10). Is 20 a factor of z/(-3) + (-32)/48?
True
Let a(i) = -i**3 + 16*i**2 + 16*i + 5. Let o be a(17). Is 32 a factor of (-1990)/o + -5*(-11)/330?
False
Let c(o) be the second derivative of o**4/12 + o**3/3 + 30*o**2 + 281*o. Is c(-12) a multiple of 5?
True
Suppose -3*x + 6 + 4 = 5*l, 3*x = l - 2. Suppose v + 4*a = 94, 3*v = 4*a + 328 - 46. Suppose -o + s + v = 0, -4*s + 282 = 3*o - l*s. Is o a multiple of 21?
False
Does 148 divide ((-254)/(-5))/(79/(-4819)*2/(-5))?
False
Let d be -16 + 1 - (-2 + 1). Let h be (1/((-27)/18))/((-2)/(-354)). Let t = d - h. Is 10 a factor of t?
False
Let c be (-3)/((-2)/((-4)/(-3))). Let x = 4919 - 4912. Suppose x*l + c*l = 2070. Is 46 a factor of l?
True
Let r(s) = 10204*s - 64. Does 65 divide r(1)?
True
Let a(q) = 2*q**2 + q + 2. Let s be a(-1). Suppose s = -2*v + v. Does 7 divide (19*8)/4 + v?
True
Let h(b) = -41*b - 45*b - 44*b + 16 + 146*b. Is h(27) a multiple of 8?
True
Let m = 7971 + -6368. Does 17 divide m?
False
Let w(x) = -2*x**2 - 18*x - 9. Let z be w(-9). Let g(b) = b + 17. Let p be g(z). Let o(c) = c**3 - 8*c**2 + 3*c - 9. Is o(p) a multiple of 5?
True
Let b = -101 - -131. Let x = b - -6. Does 15 divide x?
False
Let r(w) be the third derivative of -w**6/120 + w**5/20 + 37*w**4/8 + 3*w**3/2 - 10*w**2 + 1. Is r(12) a multiple of 3?
True
Suppose 4*v - 3*l + 26 = 0, 2*l + 5 = 5*v + 41. Is v/(-40) + (-5652)/(-15) a multiple of 23?
False
Suppose -3*f = 3*f - 24. Suppose -8 + 0 = -f*o. Suppose 5*r = -o*d - 3*d + 400, 320 = 4*r + 2*d. Is r a multiple of 16?
True
Suppose -15252 = 13*w + 9539. Let g = -1331 - w. Does 16 divide g?
True
Let x = 141 + -139. Suppose -3*r = 2*r - 10, 3*l - x*r = -4. Let i(b) = 4*b**2 + b + 72. Does 6 divide i(l)?
True
Suppose -181*f + 75417 = -174681 - 213624. Does 42 divide f?
True
Let w(r) = -3448*r**3 - 4*r**2 - 15*r - 3. Is w(-1) a multiple of 72?
True
Suppose 0 = 2*m + 30 - 920. Is m - (-3 - -3)/7 a multiple of 89?
True
Suppose 0 = -5*q - 4*t - 2661, 2*t + 2081 = -5*q - 572. Let i = 1026 + q. Is 71 a factor of i?
True
Suppose 14*u - 173 = 79. Suppose -5*t - 4*l = -3955, 0 = -u*t + 16*t - l + 1585. Is 53 a factor of t?
True
Let c be (-16)/12 + ((-16)/(-12) - 1). Is 13 a factor of -6*(104/12)/c?
True
Suppose -154*a = -155*a + 14. Is -1 + -226*a/(-4) a multiple of 10?
True
Let d(j) = -j**3 - 19*j**2 + 4*j + 18. Let c be d(-19). Let b be (8/5)/(8/220). Let x = b - c. Is 17 a factor of x?
True
Let f(b) = 119*b + 7800. Is 53 a factor of f(-32)?
False
Let g(d) = -d**2 + 3*d + 23. Let q be g(6). Suppose -1273 = -q*f + 82. Is 13 a factor of f?
False
Let b(s) = -s**3 + s**2 + 3*s - 1. Let y be b(2). Suppose 0 = 4*i + 3*p + y, -4*p - 8 - 6 = -i. Suppose -2*n + 536 = i*n. Is 34 a factor of n?
False
Suppose u = -2*h + 21702, 126371 = 8*u + 5*h - 47190. Does 17 divide u?
True
Let d = -1553 - -4609. Is 16 a factor of d?
True
Suppose 0 = -3*s - 3*x + 7798 - 82, s + 3*x = 2580. Does 24 divide s?
True
Let h(d) = d**3 - 5*d**2 + 3*d - 12. Let p be h(5). Suppose -15*v = -6*v + p*v. Suppose v = 15*c - 17*c + 452. Does 18 divide c?
False
Let t(s) = -s**3 - 3*s**2 + s + 5. Suppose 3*p + 9 + 0 = 0. Let b be t(p). Is (b/1 - 1)*(-9 - -91) a multiple of 8?
False
Is 88 a factor of (-10)/45 - (2/(-21))/((-168)/(-14874440))?
False
Let d(o) be the third derivative of o**6/120 + o**5/60 + 85*o**3/6 + 22*o**2. Let g be d(0). Suppose 6*p - 41 = g. Is p a multiple of 7?
True
Let c be (-567)/18*(-60)/18. Does 55 divide c/(-42) - (-5775)/6?
False
Suppose 0 = -6*v + 5*v + 5. Suppose 2*y - 332 = 5*d - d, -v*d = 2*y - 314. Let z = y + 46. Does 26 divide z?
True
Let z = 23 - 18. Let u = z + 5. Suppose 4*d - w = u, 2*d + w - 5 - 3 = 0. Is 2 a factor of d?
False
Let r(x) = -x**3 - 71*x**2 - 649*x + 330. Is 22 a factor of r(-66)?
True
Let w = -1980 + 1373. Let n = -354 - w. Does 17 divide n?
False
Suppose 0 = -40*f + 47453 + 28787. Is 16 a factor of f?
False
Suppose -45*y - 147775 + 494950 = 0. Is y a multiple of 44?
False
Let r = 42 + -32. Suppose 47*t - 46*t = -r. Let o(f) = f**3 + 11*f**2 + 5*f - 4. Is o(t) a multiple of 10?
False
Let q = -4430 - -4464. Does 17 divide q?
True
Suppose -15*x = 8*x - 17480. Suppose 3*u - 758 = -2*c, 0*u - 3*u - 4*c + x = 0. Is 36 a factor of u?
True
Is (-301 + 7463)/((-2 - -3) + 1) a multiple of 22?
False
Let h(i) = 2*i**3 - 4*i**2 + 8*i - 11. Let u be h(2). Suppose -4*d - 2226 = -u*a - d, 4*a = -5*d + 1766. Does 12 divide a?
True
Suppose -4*s - 1567 + 24791 = 4*a, 2*a = 2*s - 11588. Does 25 divide s?
True
Let j(h) = 2*h**2 - 27*h + 92. Does 28 divide j(-35)?
False
Let h = 12316 - 8136. Is 7 a factor of h?
False
Suppose 3*g - 19713 = -3*r, -2*g = -6*g - 2*r + 26284. Is 202 a factor of g?
False
Suppose 222 = -563*y + 566*y. Let r = 10 + y. Is r a multiple of 3?
True
Let c = 9913 + 5983. Does 22 divide c?
False
Suppose -11*t + 6*t + 335 = 0. Let c = t - 19. Let d = 79 - c. Is d a multiple of 31?
True
Let p = 2722 + 5709. Does 37 divide p?
False
Suppose -660*g - 69642 = -713*g. Is g a multiple of 5?
False
Is 3 a factor of (-11 - -6581) + 4 - 20?
False
Suppose -34 = -8*v - 250. Let s = v + 30. Suppose 3*k - 6 = 0, -z + 1 = s*k - 7. Is z a multiple of 2?
True
Let w(p) = 15*p**2 - 4. Let d be w(-3). Let b be 24/((-23)/(-10) + -2). Let x = d - b. Does 19 divide x?
False
Let q(z) = -6 + 4 + 24 - 10*z + z. Let t(h) = h**2 - 16*h + 29. Let f be t(13). Does 16 divide q(f)?
True
Let y(p) be the second derivative of p**5/20 - 17*p**4/12 + 8*p**3/3 + 13*p**2/2 + 5*p. Let m be y(15). Let a = m - -407. Does 42 divide a?
True
Suppose f - d - 410 = 0, 138*d + 1228 = 3*f + 136*d. Is 68 a factor of f?
True
Let s(w) = -7*w**3 - 2*w**2 - 2*w - 8. Let j = 166 - 168. Is 6 a factor of s(j)?
False
Let u = 243 + 2133. Does 198 divide u?
True
Let h(l) = l**2 + l + 108. Is 5 a factor of h(56)?
True
Suppose 568 = -2*c - 6*c. Let l = -49 - c. Suppose -21*q - 41 = -l*q. Does 9 divide q?
False
Let n = -14 + -13. Let r = n + 26. Does 13 divide (-174)/(3*r/2)?
False
Let c(d) = d**3 - 4*d + 4. Let m be c(3). Let h(j) be the third derivative of -j**6/120 + 19*j**5/60 + j**4/4 - 5*j**3 + 2673*j**2. Does 42 divide h(m)?
True
Let r be ((-2)/(-6))/((-10)/(-150)). Suppose 308 + 637 = r*d. Is 27 a factor of d?
True
Let a be (4 - -35) + 1*3. Suppose -58 = 2*h - 4*n, 0 = 2*h - n + 2*n + 53. Let t = h + a. Does 15 divide t?
True
Suppose -2*t + 3 = -5*t. Let s be (-6*t/(-5))/((-18)/240). Does 10 divide (-4)/s - (-281)/4?
True
Suppose 0 = -4*s + g + 16391, -3*s - 5*g + 1733 = -10520. Does 4 divide s?
True
Suppose 15*n - 4428 = -12*n. Let b = 268 - n. Does 13 divide b?
True
Let i(u) = u**3 - 2*u**2 - 119*u - 73. Does 9 divide i(26)?
False
Let s(j) be the second derivative of j**6/80 + 7*j**5/120 - 13*j**4/12 - 7*j. Let a(y) be the third derivative of s(y). Does 5 divide a(2)?
True
Let l(f) = -f**2 + 15*f - 32. Let s be l(12). Let r(k) = 15*k + 59. Let v(c) = -8*c - 30. Let p(z) = s*r(z) + 7*v(z). Is 15 a factor of p(16)?
True
Suppose -p - 5413 = -3*p + 6457. Is 10 a factor of p?
False
Is 6/15 - (-179948)/15*(-10 + 13) a multiple of 22?
False
Let p be (-1096)/(-72) + (-2)/9. Suppose -3*d + 0*f = 2*f + 10, -3*f + p = -3*d. Does 13 divide (-123)/(-1) + (d - -1)?
False
Let x(g) = g**3 - 8*g**2 + 16*g - 7. Let o be x(6). Let v = o -