 2*u**3 - 9*u**2 - 3*u - 3. Let r(v) = 5*v**3 - 26*v**2 - 8*v - 10. Let t(k) = -8*o(k) + 3*r(k). Let f be t(-6). Is 26 a factor of (-156)/(-4)*(-4)/f?
True
Let g(d) = d**3 + 3*d**2 - 2*d - 1. Let a be g(-3). Is 16 a factor of (a/((-5)/(-52)))/2?
False
Let b(x) be the first derivative of -x**4/4 - 7*x**3/3 + 12*x**2 + 13*x + 25. Does 9 divide b(-10)?
False
Suppose -3*n - 6310 = -13*n. Is 12 a factor of n?
False
Suppose -35*g - 1940 = -37*g. Is 5 a factor of g?
True
Let n be 4 + 269 + 2 + -5. Suppose 7*q - 178 = n. Is q a multiple of 8?
True
Suppose -4*o - 12 = 0, x = o - 1418 + 4567. Is x a multiple of 10?
False
Let x(u) = -1 + 27*u + 22*u - 5 - 17*u. Is x(3) a multiple of 30?
True
Suppose -10*k + 2778 = -4*k. Does 11 divide k?
False
Suppose 0 = 3*h - 5*v + 1 + 11, 2*h = 3*v - 7. Is 6/18 - h/3*-53 a multiple of 15?
False
Let d(c) = 3*c**2 + 3. Let j be d(2). Suppose -j - 21 = -2*r. Suppose r = 5*m - 62. Is 4 a factor of m?
True
Suppose 4*h + 0*h = 40. Suppose 3*b = -4*d - b - 4, 2*d - b = h. Suppose 3*c + 4*r - 113 = -r, d*c - 4*r = 104. Is c a multiple of 12?
True
Let f(c) be the third derivative of c**5/60 + 7*c**4/12 + 4*c**3 - 22*c**2. Does 8 divide f(-15)?
False
Let p(q) = q**2 - 6*q. Let r be p(7). Let z(s) = -s + 17. Let g be z(r). Let v(h) = h**2 - 7*h - 9. Is v(g) a multiple of 7?
True
Suppose 0 = -3*c - 2*g, 0*c + c + 1 = -g. Suppose -4*o - 300 = c*o. Let x = o - -93. Is 18 a factor of x?
False
Suppose -3*b + 986 = -4*s, 0*s - 2*s - 4 = 0. Is 16 a factor of b?
False
Is (-5802)/(-14) - 4/((-28)/(-3)) a multiple of 41?
False
Suppose 3*s - 653 = 4*u, 0*u = -s - 2*u + 211. Is 43 a factor of s?
True
Let f = 51 - 71. Is 34 a factor of 4/(f/(-155)) + 3?
True
Let u be (-2)/3 + (-980)/(-12). Suppose -5*d = -s - 279 - 102, 0 = d - 5*s - u. Is d a multiple of 23?
False
Let x = 26 + -18. Let k be x/36 + 32/18. Suppose 0 = z + q - 17 - 5, -5*z + k*q = -117. Is z a multiple of 23?
True
Let o(a) = -a - 7. Let h be o(-21). Let v = -43 - h. Does 18 divide (-1)/((-54)/v - 1)?
False
Let d(z) = -z**2 + z + 5. Let h be d(0). Let c(p) = 17 + 2*p**2 + 22 - 44 - 5*p. Is c(h) a multiple of 10?
True
Let x(i) = -21*i - 25. Let w be x(-3). Suppose 41*r - w*r - 78 = 0. Does 9 divide r?
False
Let c = 114 + -112. Does 33 divide (-18294)/(-66) - c/11?
False
Is 30 a factor of (-17)/((-2)/(-6) + (-2116)/6141)?
False
Let y be 4 + (-3)/4 + (-30)/(-8). Let u = y + 7. Does 14 divide u?
True
Let j(z) = 4*z**2 + 35*z + 39. Let f(c) = -c**2 - 9*c - 10. Let h(a) = 9*f(a) + 2*j(a). Let s be h(-9). Let x = -2 + s. Is x even?
True
Suppose -3*y - 2*y - 5*k + 150 = 0, 2*y - 2*k - 80 = 0. Does 7 divide y?
True
Let r = -502 - -546. Is 25 a factor of r?
False
Suppose d + 2 - 2 = 0. Let b(s) = -s**2 + s + 70. Is b(d) a multiple of 15?
False
Let r(x) = -x + 11. Let o be r(8). Suppose o*t - 2*d = 402 + 352, -3*d = -2*t + 506. Does 50 divide t?
True
Let i(n) = 5*n**2 + 4*n - 2. Let w be i(1). Suppose -w*q + q = -546. Does 23 divide q?
False
Let x(h) = h**3 + h**2 - 10*h - 3. Let i be x(5). Suppose n + 92 = -5*t + 535, t + 3*n = i. Does 11 divide t?
True
Let f = 73 + -70. Suppose -n + 19 = f*q, -q + 31 = 2*q - 5*n. Is q a multiple of 3?
False
Suppose -5*r - 221 = 12*r. Let j be (0 - -2) + 28/2. Let w = r + j. Is 2 a factor of w?
False
Suppose 5*o + 327 = 3407. Does 77 divide o?
True
Let v be (-6)/(-6)*(-1 - -4). Let r(j) = 2*j - 9 + 0*j - j**v + 0*j + j**2 - 8*j**2. Is 10 a factor of r(-8)?
False
Suppose -3 = -3*a - d + 3, -a + 2*d = -2. Suppose 3*o + 23 = a*v, -v + 3*v = o + 17. Is v even?
False
Suppose 0 = -45*s + 82*s - 65120. Is s a multiple of 44?
True
Suppose -20 = 4*l - 20. Suppose 4*p + 3*t - 52 = l, -5*t + 12 = -p + 3*p. Is p a multiple of 4?
True
Suppose 3*o + 4*f = -5 + 2, -2*f = 4*o - 6. Let t(q) = 2*q**2 + 3*q + 5. Let s be t(-4). Suppose -6*v + 2*v + 2*d + 42 = 0, o*v + 5*d = s. Is v a multiple of 5?
True
Suppose -5*z + 2*z + 4*g = -164, 0 = 2*z + 4*g - 76. Does 44 divide z?
False
Suppose -j = -3*t - 418, 0*t - 2*t = -3*j + 288. Suppose 3*c - 3 = 0, -q - 2*c + 311 = 102. Let p = t + q. Is 23 a factor of p?
True
Suppose -4*o - 2*l = -7*o + 20, 2*o - 4*l - 16 = 0. Suppose 5*k + 1 = -m, -2*k = -o*k - 12. Does 9 divide m?
False
Suppose -d + 55 = -3*m, 4*d + 0*m - 220 = -2*m. Let x = 115 - d. Is x a multiple of 15?
True
Suppose 3*m = -3*u + 1 + 11, 5*m + 12 = 3*u. Suppose s + m*s = 14. Is s a multiple of 3?
False
Suppose 2*k = -5*d - 25 - 0, 3*d + 2*k = -15. Let z(x) = 6*x**2 + 5*x - 3. Let o(i) = -i**2 + i. Let a(g) = d*o(g) - z(g). Is 12 a factor of a(-7)?
True
Let a = 132 + 75. Suppose 5*l - a = -4*l. Is 3 a factor of l?
False
Let o(h) = 6*h + 41. Let s be o(-6). Suppose -202 = -4*u + 2*i, s*i = 4*u - 9 - 178. Does 6 divide u?
False
Let u(w) = w**2 + 5*w - 10. Let j(x) = x**2 - 6*x - 2. Let d be j(7). Suppose 2*b = -2*l - 6, d*b - 6*l = -2*l - 51. Does 4 divide u(b)?
True
Let h = 2634 + -2190. Does 2 divide h?
True
Let s(c) = c**3 + 9*c**2 - 11*c - 10. Let z be s(-10). Suppose 372 = -z*l + 4*l. Is l a multiple of 17?
False
Suppose 0 = 9*s + 2891 - 17345. Is 66 a factor of s?
False
Let k(i) = 6*i**2 - 10*i - 20. Let z be (3/5)/((-8)/(-120)). Does 47 divide k(z)?
True
Let i(r) = 11*r + 5. Let u be (3/2)/((-12)/(-40)). Suppose w + f = 7, -4*f = 5*w - 9*f + u. Is i(w) a multiple of 19?
True
Let d(n) = 15*n**2 + 18*n + 56. Is d(-5) a multiple of 11?
True
Suppose 0 = -y - 4*c + 3 + 1, c = 0. Suppose 5*w - 87 = -y*z, -5*z + w + 92 - 5 = 0. Let g(o) = -o**3 + 17*o**2 + 19*o - 8. Is 10 a factor of g(z)?
True
Let q = -19 + 39. Suppose -2 = 2*a - 2*h - q, 0 = a - 2*h - 9. Is a a multiple of 6?
False
Let w be (-57)/(-24) - (-24)/(-64). Suppose 8 = 2*g + w. Suppose -216 = -4*r - 3*p, g*r + 5*p - 3*p = 163. Is 23 a factor of r?
False
Let c be 328/(-18) + (-2)/(-9). Let v be 489/c - (-2)/12. Let n = 26 - v. Is 28 a factor of n?
False
Suppose -g = 4*w - 1647 - 1103, 3*w = -3*g + 2067. Is w a multiple of 54?
False
Let a = -164 + 538. Is a a multiple of 11?
True
Let p(b) be the second derivative of -9*b**3/2 - 7*b**2/2 - 2*b. Let q be p(-4). Let t = q + -38. Is t a multiple of 9?
True
Suppose 0 = -9*j + 3*j + 546. Let r = -55 + j. Is r a multiple of 19?
False
Suppose 20 = -5*w, -4*i + 20 = -4*w - 16. Suppose i*b = 3*u + 494, -2 - 8 = -5*u. Is 18 a factor of b?
False
Let w(o) = 4*o**2 - 2*o - 10. Does 59 divide w(-5)?
False
Suppose 5670 = 5*g - 850. Is g a multiple of 84?
False
Suppose -2*v = v. Suppose 3*b = -2*n + 7*n - 3, v = b - 4*n + 8. Suppose b*d + d - 165 = 0. Does 11 divide d?
True
Let q(m) = -m**3 + 24*m**2 + m - 19. Let i be q(24). Suppose 0 = i*y - 124 - 276. Is 10 a factor of y?
True
Suppose 2*o + 15 = 5*d - 3*o, 5*d - 2*o = 21. Is 9 a factor of d*((-141)/(-15) + -4)?
True
Suppose 6*k - 2*k = 16, -2*m + 4*k = -2992. Is m a multiple of 16?
True
Does 13 divide 3/(45/(-1040))*1992/(-32)?
True
Let v = -9 + 7. Let w(o) = -o**3 - 3*o**2 - o - 1. Let h be w(v). Let k(d) = -14*d - 6. Does 13 divide k(h)?
False
Does 8 divide (-13 - 693/(-27))*(38 + 1)?
False
Let a(w) = 1 + 1 - 3*w - 12. Is a(-12) a multiple of 6?
False
Let s be (-2 - 49)*1/3. Let m = 12 + s. Is 7 a factor of 90/3*m/(-10)?
False
Let v(z) = -8*z + 33. Is v(-5) a multiple of 8?
False
Let v(f) = -f**3 - 2*f**2 + 2*f + 1. Let p = -2 - 1. Let s be v(p). Suppose -s*n = -138 - 30. Does 12 divide n?
False
Suppose -2*u = -7*u. Let v be u/((-6)/(-3) - 1). Suppose -j - j + 128 = v. Does 12 divide j?
False
Suppose -5*h = -4*a - 4, -2*h - a - 1 + 0 = 0. Suppose -k - 5*c + h - 1 = 0, 2*c - 26 = 4*k. Let j(w) = w**2 - 3*w - 14. Is 6 a factor of j(k)?
False
Let s(m) = m + 2. Let q be s(0). Suppose -5*k - 5*y + 38 = -52, 5*k = y + 108. Suppose 3*v = q*v + k. Is v a multiple of 7?
True
Suppose 5 = 3*n - 1. Let q be 1 + (7 + n)/3. Suppose 207 = -s + q*s. Is 21 a factor of s?
False
Suppose 3*l - 202 - 350 = 0. Is 46 a factor of l?
True
Let a = -2456 + 3767. Is a a multiple of 19?
True
Suppose 75600 = 32*j + 24*j. Is 12 a factor of j?
False
Does 22 divide (7 - 2) + -1 - (0 - 128)?
True
Suppose -3*j + 4*y = -318, 24*y = 27*y. Is j a multiple of 4?
False
Suppose 4880 = 2*y + 4*k, -2428 = -y + 12*k - 8*k. Is 29 a factor of y?
True
Suppose -13*z + 936 + 741 = 0. Is 13 a factor of z?
False
Let p(v) = 58*v**2 - 13*v + 85. Does 20 divide p(-9)?
Tru