 -5*u + 5*k. Suppose u*b + 2*r + 494 = 7*b, 3*b - 373 = r. Is b a multiple of 16?
False
Let n(f) = 6*f**2 + 4*f - 5. Is n(-7) a multiple of 54?
False
Let s(b) = -8*b**2 + 16*b + 7. Let u(t) = 12*t**2 - 24*t - 10. Let q(h) = 7*s(h) + 5*u(h). Does 18 divide q(5)?
False
Let k(t) = t**3 + 8*t**2 + 4*t. Let q be (-4)/(-6) - (-26)/(-3). Let x be -2 + q - (-6)/2. Does 11 divide k(x)?
False
Suppose -84 = -w + 140. Suppose -4*s + 156 = -w. Does 13 divide s?
False
Let d(h) = 9*h**2 + 5*h - 3. Suppose 5*x - 3*o + 2 = -19, -o = 2*x + 4. Does 7 divide d(x)?
True
Suppose 6 = 2*w + 4*i, 3*w - w + 5*i - 6 = 0. Suppose 0 = -2*h + w + 3. Let j(f) = -f**3 + 4*f**2 + 3*f. Is 4 a factor of j(h)?
False
Let d(i) = 65*i**2 + 39*i + 7. Is d(-4) a multiple of 9?
True
Suppose 32 = 4*m - 2*b, 4*m + 2*b = -m + 31. Does 19 divide 8/(-28) - (-905)/m?
False
Let n = 33 - -17. Suppose -49 = -3*k + n. Is 11 a factor of k?
True
Let k(s) = s**2 + 2*s - 5. Let v be k(-4). Let n(q) = 22*q - 8*q + 20 + q**3 + 13*q**2 + q**3 - v*q**3. Is 8 a factor of n(14)?
False
Does 52 divide -130*(1 + (-11)/(4 - 3))?
True
Is ((-3)/(-4))/((-9)/(-2880))*1 a multiple of 12?
True
Let t(m) = -11*m - 15. Let w = -26 - -11. Let v be t(w). Suppose -v = -5*u + 40. Does 14 divide u?
False
Let l be (8/(-5))/((-6)/405). Suppose -20*g - 10 = -90. Suppose g*i - l = i. Does 12 divide i?
True
Suppose 3*a = 1075 - 211. Suppose 0 = -2*w - 6*w + a. Does 6 divide w?
True
Let a be -3 - ((-12)/(-4) - 3 - 21). Suppose 3*n - 68 = -4*y, 4*n = -3*y + 26 + a. Is 4 a factor of y?
True
Let c = 27 - 9. Suppose -c*u + 16*u - 8 = 0. Is 11 a factor of 1 + 9 + (-3 - u)?
True
Let g be 2 + 20/(0 + 4). Let h(s) = 8*s**2 - 7*s - 8. Let b be h(g). Suppose b = -0*y + 5*y. Is 10 a factor of y?
False
Let c(u) = -u**3 - 6*u**2 + 6*u - 8. Let h be c(-7). Let j(x) = -98*x + 1. Let w be j(h). Let r = w + -63. Is 19 a factor of r?
False
Let p(t) = t - 1. Let o(v) = 4*v - 11. Let u(f) = -o(f) + 5*p(f). Let h be u(-4). Let n = h + 2. Does 2 divide n?
True
Suppose 3*z - 63 = -k, 3*z = -0*k - 5*k + 291. Does 19 divide k?
True
Let q = 138 + -136. Let n(d) = 5*d**3 - d**2 - d + 1. Is n(q) a multiple of 20?
False
Suppose 2*z - 2*d + 5 = -3, 3*z + 5*d = -12. Is 21 a factor of (-350)/z - (4 + 49/(-14))?
False
Let j be (-54)/5*(20 - 5). Let f = 279 + j. Is f a multiple of 14?
False
Let x = -21 + 71. Suppose 0 = -3*r - z + x, r + 5*z = -0 - 2. Does 9 divide r?
True
Let p = -30 - -33. Suppose 0 = j + 4*m + 20, j - p*m - 3 = 5. Is (j - -14)*66/15 a multiple of 9?
False
Let z(a) be the third derivative of 3*a**5/20 - a**4/6 + 2*a**3 - 3*a**2 + 3*a. Does 7 divide z(4)?
True
Let d(f) = 6*f + 558. Is 11 a factor of d(-27)?
True
Let s = 8 - 10. Let c(m) = 47*m**2 - 3*m - 2. Let b be c(s). Suppose -2*v - b = -6*v. Is v a multiple of 16?
True
Suppose 6*h + f = 5*h + 7, 0 = -5*h + 4*f - 1. Let c(m) = 2*m**2 + 8*m - 14. Does 28 divide c(h)?
True
Is 7 a factor of (-2)/(-17) + 4586/34?
False
Does 19 divide (1 - 3)*39/26 - -79?
True
Let s(u) = 112*u + 416. Is s(16) a multiple of 96?
True
Suppose 63*w = 30*w + 121209. Does 12 divide w?
False
Is (6/(-4))/((-237135)/(-15810) + -15) a multiple of 17?
True
Let m(h) = 7*h**2 - h + 2. Let t be m(-3). Let s = 111 + t. Suppose 0 = -5*n - 3*a + s, 2*n - 29 = -3*a + 39. Is n a multiple of 11?
False
Let f(p) = -p**3 + p**2 + p + 22. Suppose 3*h = -4*l - 3 + 20, 0 = 2*l - 5*h + 11. Let w be (-2 + 2)/(6/l). Is f(w) a multiple of 16?
False
Suppose 5*a = 2*v + 11, -15 - 6 = -3*v - 5*a. Let f(o) = -o**2 + 2*o. Let l be f(v). Suppose -5*w + l*w + 75 = 0. Does 15 divide w?
True
Let s(w) = -3*w + 7. Let y be s(-7). Let h = y + -24. Suppose -x + 50 = h*x. Does 5 divide x?
True
Suppose 3*z = 4*g - 23, -z = 4*g - 1 - 2. Let t(c) = 18*c. Let a be t(4). Suppose 5*p = j + p - 58, g*j = -3*p + a. Is j a multiple of 21?
True
Let p = 1093 + -607. Does 13 divide p?
False
Suppose 6 = 2*d, 2*d = -5*n + 1946 + 2085. Does 19 divide n?
False
Suppose -379 = -4*b + 3*m + 341, -m + 900 = 5*b. Is b a multiple of 5?
True
Suppose h + 7166 = 4*y, -4*y - 4*h = -3*h - 7162. Is y a multiple of 108?
False
Does 9 divide ((-390)/(-12))/((-3)/(-30))?
False
Suppose 5*s = p + 4*s - 4, 3*s - 12 = -5*p. Suppose -3*r = -v + p*v - 386, -4*v = -3*r + 416. Is r a multiple of 24?
False
Let p(b) be the second derivative of 7*b**3/6 - 4*b**2 - 7*b. Does 2 divide p(3)?
False
Let i = 31 + -77. Let w = i + 58. Does 12 divide w?
True
Suppose 2*b + 4 = -4*k, 3*k = 5*k - 4*b - 8. Suppose k = a - 3 - 8. Is 6 a factor of a?
False
Suppose -10*g = -9*g + 151. Let y = g + 271. Does 20 divide y?
True
Let p(n) = -n**3 + 5*n**2 + 7*n - 6. Let v be p(6). Let h(x) = x**3 + 2*x**2 + x + 8. Let z be h(v). Is 7 a factor of z + 1/((-2)/(-2))?
False
Let t(j) = -186*j + 2. Is 70 a factor of t(-3)?
True
Suppose 0 = -4*v + 4 - 20. Let o(t) = -2*t**3 - 7*t**2 - 2*t + 8. Let q(a) = a**2 - 1. Let u(m) = o(m) + 3*q(m). Is 21 a factor of u(v)?
False
Let t(k) = -5 + 4*k - 3*k + k - 1. Let d be t(3). Suppose d = j - 13 - 19. Is 10 a factor of j?
False
Let z = -8 + 284. Is z a multiple of 15?
False
Let n be 7/(-14) + 1102/4. Suppose 0 = 2*w - s - 113, 0 = 2*w + 3*w + 5*s - n. Is w a multiple of 14?
True
Let f = -167 - -947. Is f a multiple of 13?
True
Let t(z) = z**3 - z**2 + 5*z + 144. Does 13 divide t(0)?
False
Suppose 7*o - 3*o - 2*h + 574 = 0, 411 = -3*o - 5*h. Let r be 3 + 8/2 + -227. Let u = o - r. Does 26 divide u?
True
Let p be (-9)/6*50/(-15). Suppose 6*q - 44 = p*q. Is 11 a factor of q?
True
Let y be (4/(-5))/((-2)/(-10)). Let w = 21 - y. Let d = 36 - w. Does 11 divide d?
True
Let u = 195 - -132. Is 9 a factor of u?
False
Let z(i) = -48*i + 1 + 0 + 2 + 5*i. Let y be z(-11). Is 16 a factor of (-2)/(-5) + y/10?
True
Suppose 1216 = -1027*f + 1031*f. Is 109 a factor of f?
False
Does 7 divide 208 - (5 - -5)/2?
True
Let j = -63 - -79. Is j a multiple of 4?
True
Let y(d) = -8*d + 50. Let c be y(6). Suppose 34 + 201 = j + h, 3*j - 725 = c*h. Does 16 divide j?
False
Let c be 2 + -1 + -1 + -2. Let z be (-27)/(-2 - (c - -1)). Suppose -10 = i - z. Is 9 a factor of i?
False
Let a(v) = -2*v**3 - 33*v**2 - 47. Does 6 divide a(-17)?
False
Let w be (10/3)/5*102. Let f = -40 + w. Let z = f + -19. Does 9 divide z?
True
Suppose 6*l = -170 + 212. Suppose -3*z = 2*z - 1225. Suppose -l*n = -2*n - z. Does 10 divide n?
False
Let v(p) = 5*p - 37. Let w be v(18). Let d = w - 50. Is 3 a factor of d?
True
Let q(k) = 4*k + 42*k**3 - 41*k**3 - 1 + 4*k**2 + 3. Let r be q(-3). Does 6 divide 0 - (-23 + (r - 1))?
False
Suppose 4*a - 8*a = -24. Let j = a - -8. Is 3 a factor of j?
False
Let o(p) = -38*p**3 + p**2 - 7*p - 2. Let m(w) = -37*w**3 + w**2 - 6*w - 2. Let k(c) = 6*m(c) - 5*o(c). Suppose 0 = 5*n + 2 + 3. Is k(n) a multiple of 14?
False
Let y(n) = 11*n**2 - 11*n + 3. Is 13 a factor of y(10)?
False
Let j be ((-7)/21)/((-1)/(-3)). Is 38 a factor of 1 - (380/(-5) - j)?
True
Let j(t) = t**3 + t**2 - 15*t + 70. Does 7 divide j(0)?
True
Let n(v) = -v**3 - 2*v**2 + 71*v - 16. Is 10 a factor of n(-14)?
False
Let w be 1 - 2 - (6 - (-2 + 9)). Suppose w = -9*r + 10*r - 58. Does 17 divide r?
False
Let l(f) be the second derivative of -f**3/2 - 7*f**2/2 + 18*f. Is 5 a factor of l(-9)?
True
Let c = -1 - 9. Let v = c - -6. Is 20 a factor of (-322)/(-6) - v/12?
False
Is (-4 - (-27 - -7)) + 4 a multiple of 16?
False
Suppose -f + 436 = -5*r - 3*f, -4*r - 4*f = 356. Is 6 a factor of (-8)/(-4 + 2) - r?
True
Suppose 14*s + 75 = 11*s. Let i = s + 93. Is 17 a factor of i?
True
Is 31 a factor of (-496)/(-72)*3*234/4?
True
Let d be (18/12)/(6/(-8)). Is 19 a factor of -3 - 24*1*d?
False
Let o(j) = -j**3 + 13*j**2 - 14*j + 48. Is o(12) a multiple of 2?
True
Is ((-6906)/(-54))/(6/54) a multiple of 19?
False
Does 8 divide (-120)/(-35)*(-98)/(-1)?
True
Suppose -4*w + 40 - 16 = 0. Is 3 a factor of (2/w + (-912)/36)/(-1)?
False
Let h(w) = w**3 + 4*w**2 - 10*w + 3. Let g be h(-7). Let t = 22 - g. Suppose -4*d = 3*z - t, 123 = 3*z - 0*z - 5*d. Does 18 divide z?
True
Let s = -355 - -934. Suppose 5*r = -79 + s. Is 18 a factor of r?
False
Suppose -3*b + 8 + 4 = 0. Suppose -b*u = -32 + 8. Is u a multiple of 6?
True
Let v(t) = -2*t**3 - 8*t**2 + 21*t + 9. Is 14 a factor of v(-9)?
True
Suppose 7*f - f = 3342. Suppose 5*d - f = 248. Is 22 a factor of d?
False
L