+ 21. Let j be q(12). Let d(y) = j*w(y) + c(y). Does 15 divide d(3)?
False
Suppose -2333*t = -2365*t + 343040. Does 67 divide t?
True
Let x be -1*7*(1 - 22/14). Suppose -1850 = 8*f - 11*f + 2*t, x*t - 598 = -f. Does 11 divide f?
False
Suppose 0 = -6*c - 4911 + 27411. Does 62 divide c?
False
Let c(o) be the third derivative of 4*o**5/15 + o**4/8 + 11*o**3/6 - 44*o**2 + 3. Let a(d) = -d**2 + 8*d - 2. Let q be a(8). Is 3 a factor of c(q)?
True
Let z = 4561 - 2061. Is 50 a factor of z?
True
Suppose w - 24120 = -j, 439*w = 443*w + j - 96492. Is w a multiple of 20?
False
Let w(g) = 171*g**2 + 4*g - 31. Let p be w(4). Suppose -b = 5*q - 669, -5*q + p = -b + 5*b. Does 22 divide b?
False
Suppose -i - 4475 = 3*t - 21010, -5*t + 33078 = 2*i. Is i a multiple of 59?
False
Let r = 779 + -775. Does 3 divide ((-369)/12)/(r + 35/(-8))?
False
Let x = -9025 - -9025. Let a(u) be the second derivative of u**5/20 - u**3/2 + 63*u**2/2 - u. Is a(x) a multiple of 17?
False
Let t(p) = -p**3 + 16*p**2 - 22*p + 143. Let y(b) = b**3 + 5*b**2 - 4*b - 7. Let q be y(-5). Is 12 a factor of t(q)?
False
Suppose 291 = 3*b + 5*g, 9*g = 6*g - 9. Suppose -b = -v + 62. Is 41 a factor of v?
True
Let t = 41 + -37. Let j(y) = -y**2. Let g(i) = 5*i**2 + 2*i + 16. Let z(x) = t*j(x) + g(x). Is z(-8) a multiple of 16?
True
Let a(g) = g**3 + 13*g**2 - 16*g - 16. Let u be (-2)/(-10) + 426/(-30). Let v be a(u). Is 6/(-18) + 1372/v a multiple of 26?
False
Let w(x) = -x**3 - 21*x**2 - 16*x + 4. Let r be w(-20). Is 3 a factor of (-19)/r*((-120)/(-4) - 2)?
False
Suppose -9*v - 3*f - 1332 = -12*v, -5*v = -3*f - 2210. Let b = 1001 - v. Does 52 divide b?
False
Suppose -2*i - 9*i - 88 = 0. Let c be (-10)/i - (-17402)/56. Suppose -c + 18 = -7*y. Is y a multiple of 14?
True
Let h(q) = 82*q - 708. Is 5 a factor of h(24)?
True
Let n be 1510/8 + (-10)/(-8). Suppose 0 = -p + 3*p - n. Let a = p - 86. Does 6 divide a?
False
Let r(t) = 5*t - 252. Let y be r(45). Let c(x) = 2*x**3 + 54*x**2 - 6*x - 2. Is c(y) a multiple of 10?
True
Let o(a) = 4*a - 19. Suppose n + 0*n = 5*b - 76, 3*b = 5*n + 50. Let l be 51/b + 8/(-20) + 8. Does 3 divide o(l)?
False
Let j(c) = -1897*c - 4108. Is j(-5) a multiple of 283?
True
Let g(x) = -2*x - 16. Let c be g(-4). Let f(n) = 9*n**2 + 22*n - 6. Is 65 a factor of f(c)?
False
Let d = -2602 + 2596. Let b(w) = -2*w**3 + 2*w**2 - 8*w + 4. Let m be b(5). Is 6 a factor of (0 - m)/((-12)/d)?
False
Let d = 39 - 17. Let j = 6065 + -6081. Let z = d + j. Is z a multiple of 5?
False
Let x(d) = -17*d**3 - 4*d - 3. Suppose -11*v + 60 = -6*v. Suppose v*c = 16*c + 8. Is x(c) a multiple of 44?
False
Let i(b) = 7*b**2 + 21*b + 402. Does 164 divide i(-13)?
True
Let n(m) = m - 36. Let y be n(12). Let j(c) = -24*c + 21 + 4 + 6 - c**2. Is 5 a factor of j(y)?
False
Suppose 3*r - 2*o = -o + 16540, -3*o - 12 = 0. Is r a multiple of 5?
False
Let d = 97 + -227. Let x = 177 + d. Let m = x + -5. Is 7 a factor of m?
True
Let y = 7348 - 7105. Is 3 a factor of y?
True
Let k(n) = -2*n**3 + 51*n**2 + 61*n - 158. Is k(25) a multiple of 78?
False
Let o(q) = q**3 - 9*q**2 - 12*q - 30. Let d be o(11). Let j = -75 + d. Suppose -2*x + j*w + 350 + 11 = 0, 3*w = x - 183. Does 14 divide x?
True
Let y be 93/21 - (-9)/21*-1. Suppose 3 = -y*l + 4*f - f, 5*f = -l + 28. Suppose -l*u = -164 + 23. Is 4 a factor of u?
False
Is (-210 - -203)*-122*23 a multiple of 14?
True
Let r(q) = -120*q + 24. Suppose -11*f = 328 - 295. Is 16 a factor of r(f)?
True
Suppose 3*u + 2*u = 4*o + 548, 4*u = -5*o + 463. Does 3 divide (-3)/(-7) + 4096/u?
False
Let k = 206 - 359. Let c = k + 178. Is c even?
False
Suppose -4*u + 10562 = o, 23*o + 5*u = 20*o + 31700. Does 137 divide o?
False
Let u(c) = -4*c + 55. Let n be u(13). Suppose -a - 2*t - 186 = -0*t, n*a - 3*t = -567. Let f = a - -560. Is f a multiple of 31?
True
Suppose 3*l + 2758 = 5*w, 8*w - 3*l = 4*w + 2210. Is 164 a factor of w?
False
Suppose -8 = p - 3*p, 3*o + 4*p = 22. Suppose 0*f + o*r + 287 = 5*f, -f = 5*r - 79. Does 22 divide f?
False
Let t = 1836 + 10469. Is 79 a factor of t?
False
Let j(y) = 2*y**3 - y**2 - 5*y + 7. Suppose -60 = s - 64. Let z be j(s). Suppose -4*g = -2*f - 752, 0 = 3*g - 3*f + z - 666. Is 14 a factor of g?
False
Suppose 4*c - 136040 = -22*c - 14*c. Is c a multiple of 24?
False
Let s(x) = -4*x**3 + 2*x**2 - 2*x + 11. Let c be 50/12 + 23/(-138). Let z be s(c). Let o = -67 - z. Is o a multiple of 17?
False
Let w = -8536 + 12981. Is 127 a factor of w?
True
Suppose -25*x = -28*x + 8496. Suppose -3*s - 3*r = -x + 375, 0 = 3*r - 9. Does 48 divide s?
True
Let t(b) = -18*b**3 - 76*b**2 - 724*b + 30. Is 38 a factor of t(-10)?
True
Let o = -11847 - -17216. Is o a multiple of 59?
True
Let i(j) be the first derivative of -j**4/4 - 5*j**3/3 - 2*j**2 + 16*j + 535. Suppose 3*c + 4 = -11. Does 6 divide i(c)?
True
Let t = 244 + -301. Let y = 1 - 6. Does 20 divide y*(t/15 - 2/10)?
True
Let f(w) = -w - 8. Let l be f(-10). Suppose 12 = -q + 4*c - 8, -10 = 5*q - l*c. Suppose p - 19 - 16 = q. Is p a multiple of 3?
False
Let w(u) = -u**3 + 4*u**2 - 3*u + 4. Let n be w(3). Suppose -15 = -n*q + q. Suppose -10 = 2*v - 2, q*x = -2*v + 187. Is x a multiple of 8?
False
Suppose 2*b - 12 = 2*f - 2*b, 3*b - 12 = 0. Suppose -5*w = -5*y - 10, -2*w + f*y = 2*w - 4. Let v(m) = -2*m + 69. Is v(w) a multiple of 9?
False
Let d be 0 + (-4)/8*-2622. Suppose 5*t - d = 389. Is 24 a factor of t?
False
Suppose -4*d = g - 6016, -24112 = -16*g + 12*g - 4*d. Is g a multiple of 26?
True
Let d = 33928 + -26554. Is 109 a factor of d?
False
Does 55 divide (-6)/54 - 3822444/(-486)?
True
Let b(r) = 18*r**2 + 5*r - 29. Let z be b(10). Suppose 0 = 3*a - 6*j + j - z, -4*a + 2451 = j. Let h = a + -405. Is 23 a factor of h?
True
Let o be (20/6)/((-11)/(-264)). Suppose 70*v + 800 = 74*v. Suppose m + 2*j = -j + o, 4*j + v = 2*m. Is 23 a factor of m?
True
Suppose v - 7 = 0, 3*h + 2*v = 7*v + 7963. Is h a multiple of 8?
False
Let o be (-3 + 4)/(2/30*5). Suppose -418 = -q + d, o*q + 2*d - 1249 = 4*d. Is 25 a factor of q?
False
Suppose 3*r = -9, -5*g - 152*r = -149*r - 126006. Does 56 divide g?
False
Let z(m) = -47 + 88 - 50 - 4*m**3 + 3*m**3 + 49*m + 40*m**2. Is 12 a factor of z(41)?
False
Let a(r) = 646*r**2 - 27*r + 11. Let x be a(-5). Suppose -17*t - x = -31*t. Is 97 a factor of t?
True
Suppose 9*v - 115 + 43 = 0. Suppose -v = r - 95. Is 6 a factor of r?
False
Let y be 15 + 2 - (-2 + 1)/(-1). Suppose -2*z = -2*d - 12, 4*d + 9 = 4*z + 5*d. Suppose -z*o + y + 20 = 0. Does 4 divide o?
True
Let a(w) = -3*w**3 - 178*w**2 - 41*w + 902. Does 83 divide a(-62)?
True
Let p(q) = 94*q**2 + 148*q - 290. Is 164 a factor of p(-19)?
True
Let z(b) = 104*b**2 - 219*b - 1502. Is 14 a factor of z(-7)?
False
Let a(s) = 17*s**2 - 77*s - 639. Is 115 a factor of a(-16)?
True
Suppose -627 = -3*z + 396. Let u = 559 + z. Is u a multiple of 9?
True
Let v be (0/1)/(0 - -1). Let b(i) = i**3 - 18*i**2 + 25*i + 28. Let g be b(17). Is 14 a factor of g + (-2)/1*(-1 - v)?
False
Let u(l) = l**2 + 9*l + 7. Let k be u(-9). Suppose 4*h + 594 = 13*h. Let w = k + h. Is w a multiple of 5?
False
Let h = 7535 - 7506. Let r(j) = 2*j**2 + 3*j + 1. Let a be r(-2). Suppose -23 = a*k - h. Is k even?
True
Let y = 183 - -519. Does 2 divide 156/y + 1688/18?
True
Suppose -p + x + 1405 = 0, p - 711 = -4*x + 719. Does 5 divide p?
True
Suppose -5*j - 437 = 5*m - 1892, 3*m + 4*j = 870. Suppose -11270 = 280*h - m*h. Is 60 a factor of h?
False
Is 741/((-7696)/704 + 11) a multiple of 209?
True
Let k = 3976 + 366. Is 85 a factor of k?
False
Let b(z) = -11*z**2 + 12*z - 17. Let d be b(-5). Let r = d + 675. Does 19 divide r?
True
Let v(s) = s + 6. Let n be v(-3). Suppose 5*w = 5*u + 20, -2*w = n*u + 1 + 1. Suppose -414 = w*q - 11*q. Does 15 divide q?
False
Suppose -4*n = -17*n. Let z be 38 - ((-4)/1 - n). Suppose h - 5*h + 12 = 0, -2*a + z = -4*h. Is 27 a factor of a?
True
Is (-74)/(-407) - (0 + (-206352)/44) a multiple of 70?
True
Let q(i) = 218*i**2 + 3*i - 2. Let r be q(2). Let z be 1 + 4/(-8) - (-12969)/(-22). Let l = r + z. Does 41 divide l?
True
Let n = -12 - -6. Let a be (-982)/(-5) + n/15. Suppose -9*p + 7*p = -a. Is 14 a factor of p?
True
Suppose 6*r + 2*r - 13664 = 3632. Is 23 a factor of r?
True
Let z(m) = -3*m**2 + 21*m - 8. Let h be z(7). Does 3 divide (-158)/h + 69/(-92)?