- 24. Let o = h - 4. Suppose -4*u - 4*f = -2*u - o, -3*f - 15 = 0. Is u a multiple of 11?
True
Let x = 11 - 12. Let l(w) be the second derivative of 26*w**4/3 - w**3/6 + 38*w. Does 17 divide l(x)?
False
Suppose -2*j = c - 318, -16*c + 18*c = 4*j + 628. Is 22 a factor of c?
False
Let u(m) = -172*m + 143. Does 85 divide u(-4)?
False
Suppose 19*l = 16*l + 726. Is l a multiple of 39?
False
Suppose -3926 = -5*z + 6269. Is z a multiple of 24?
False
Let q = -8 - -4. Let r be 22 + (q - 1 - -4). Is 12 - 15 - (1 - r) a multiple of 4?
False
Suppose j - 2*n - 231 = 0, 2*n + 413 = 2*j - 49. Is 7 a factor of j?
True
Let l = -54 - -36. Does 30 divide (567/l)/((-6)/8)?
False
Suppose 4*d = -2*r + 30, -4*d = -r - 3*r - 48. Suppose -d = -t + 144. Is t a multiple of 33?
False
Let l = 23 + -53. Let b be (-10)/3*36/l. Suppose -4*w - 51 = -2*z + w, 5*z = -b*w + 45. Does 13 divide z?
True
Let v = 1482 + -1300. Does 10 divide v?
False
Suppose 4*c - 31 = 7*s - 2*s, 9 = 3*c + s. Let b be (4 - c - 4) + -119. Is 8 a factor of b/(-12) - 12/(-16)?
False
Suppose 608 = -59*q + 63*q. Is q a multiple of 8?
True
Suppose -2*n + 2*s = 3*n - 594, 5*s = 5*n - 585. Is n even?
True
Suppose 0 = -106*w - 138373 + 657773. Does 28 divide w?
True
Let o be ((-11)/4 - -2)*-100. Suppose -2*d + 7*d + 2*i = o, i = -5. Is d a multiple of 12?
False
Suppose 2*h - 3*u + 2*u - 8 = 0, 3*h - 7 = 4*u. Is 2 a factor of h?
False
Does 4 divide (77 + 2)/(6 - 10/2)?
False
Let s = 529 + -531. Suppose 0*f + 4*f = 4*b - 76, 4*b + 34 = -f. Is 30 a factor of s/(-4) + (-2585)/f?
False
Let f(h) = h**3 + 22*h**2 + 21*h + 15. Let j be f(-21). Does 27 divide 278/3 + ((-25)/j - -2)?
False
Is ((-114)/(-12))/(0 + 1/14) a multiple of 34?
False
Does 34 divide (-4 - (4 - 2 - 389)) + -2?
False
Suppose -7*t = 64 + 139. Let r = -19 - t. Let v = -4 + r. Does 3 divide v?
True
Let m be 25*6*4/40. Let r be 8/6*m/10. Does 12 divide (8 + -9)/(r/(-48))?
True
Suppose -y = 1 - 6. Suppose -1 = -2*f + 7, -2*z + y*f = -60. Does 4 divide z?
True
Suppose 370 = 3*n + 4*p, -4*p = p + 10. Is 6 a factor of n?
True
Let n be (24 - 3)/1 + (-3 - -5). Let v = 54 - n. Is v a multiple of 11?
False
Is (144/96)/((-1522)/(-1516) + -1) a multiple of 3?
False
Let q be (-2)/(-9) + ((-1832)/(-18) - -1). Let d = q + 132. Is 11 a factor of d?
False
Let l = 41 + -36. Let r = l + 27. Does 16 divide r?
True
Let v(k) = k**3 + 26*k**2 - 15*k - 138. Is 14 a factor of v(-19)?
True
Let u = -23 + 122. Is 5 a factor of u?
False
Suppose 0 = -8*k + 5*k + 9. Suppose -4*f + k*f + 14 = 0. Is f a multiple of 14?
True
Let t be 0/(-1) - (7 + -6). Is 22 a factor of -4 + t + 196/4?
True
Let g be ((-2)/(-6))/((-1)/(-87)). Let n = g + -25. Is n a multiple of 4?
True
Suppose 396 = 11*s - 594. Is s a multiple of 9?
True
Suppose 0 = 2*b - 7*b + 20. Suppose 3*c - 264 = -3*x - 0*c, 4*x = b*c + 336. Is x a multiple of 18?
False
Let i(s) = s**2 + 5*s - 9. Let d = -5 + -2. Let n be i(d). Suppose 4*k = p - 0*p + 57, -2*k + 45 = n*p. Is 8 a factor of k?
False
Suppose -5*w = -20, r + 5*w - 400 = -4*r. Is (r/14)/((-1)/(-7)) a multiple of 19?
True
Suppose -2288 = 9*u - 31*u. Is 32 a factor of u?
False
Does 103 divide 1 + -1029*(-1 + 0)?
True
Suppose 5881 = 14*v - 2113. Is v a multiple of 26?
False
Let t = 43 - 41. Let i(w) = 3*w**3 - 2*w**2 - w - 2. Does 6 divide i(t)?
True
Suppose -430 = 5*v + 2*c, 4*c = -4*v + 3*c - 347. Let n = v + 9. Let w = n - -160. Does 27 divide w?
True
Let g = 259 - 194. Does 8 divide g?
False
Suppose -6*s + 16129 - 5263 = 0. Does 28 divide s?
False
Let k = -483 - -736. Let d be (-5)/15*20376/(-24). Suppose -5*h - d = -4*m, 0*h - 5*h + k = 4*m. Is m a multiple of 10?
False
Suppose 153 = 7*c + 13. Is 8/(c/8 - 2) a multiple of 5?
False
Let k be (-68)/((-2)/5*1). Let c(g) = g**3 + g**2 - g - 1. Let q be c(-1). Suppose q = 3*y + 2*y - k. Does 12 divide y?
False
Let u = -585 + 1737. Does 48 divide u?
True
Let g(v) = -v**3 + 43*v**2 + 12*v - 135. Is g(43) a multiple of 40?
False
Suppose -49*j = -2*j - 127323. Does 54 divide j?
False
Let j(q) = 317*q**2 + 5*q + 5. Let k be j(-1). Is 3 a factor of k/9 + (-8)/36?
False
Let k(y) = 412*y**2 - 1. Is k(1) a multiple of 46?
False
Suppose -287 = -4*d - 2*i + 491, -2*i - 790 = -4*d. Is 7 a factor of d?
True
Suppose -4*m - 12 = 4. Let y(k) = -13*k + 10 + 6 - 14 - 5. Does 26 divide y(m)?
False
Let q = 1 - -2. Let j(y) = 14*y**2 - 6*y + 5. Is j(q) a multiple of 14?
False
Suppose 0 = -2*d + 1 + 59. Is d a multiple of 20?
False
Let s = 3058 + -2195. Is s a multiple of 10?
False
Let d(u) = -2*u + 24. Let m be d(6). Suppose -m - 30 = -v. Is 6 a factor of v?
True
Let c(y) be the second derivative of -y**4/12 - 5*y**3/3 + y**2 + 6*y. Let s(d) = d**3 - 3*d**2 - 6*d + 2. Let w be s(4). Does 13 divide c(w)?
True
Does 17 divide 2/8 + 22971/104*2?
True
Suppose -9*d - 19*d = -1120. Is 10 a factor of d?
True
Let s be (8/2 + 89)*4/3. Let c(n) = -2*n**2 + n. Let r be c(-6). Let i = r + s. Is i a multiple of 14?
False
Let s = -17 - -54. Let f = s + -19. Is 17 a factor of f?
False
Let s(d) = 2*d**2 - 12*d - 86. Does 29 divide s(-17)?
True
Let h(y) be the first derivative of -43*y**2/2 + 3*y + 7. Let q be h(-11). Is (q/(-85))/(2/(-5)) a multiple of 7?
True
Let q = -12 - -12. Suppose q = 4*c - 31 - 33. Is 10 a factor of c + (6 - 2/1)?
True
Suppose -9 = -167*l + 166*l. Suppose -4*i + 0*i = -32. Suppose 0 = i*b - 3*b - 5*r - 80, -3*r = -l. Does 19 divide b?
True
Suppose 5*t - q = 5, 2*t = -t + q + 3. Suppose -t = 3*f - 4, -f + 321 = 5*n. Is 18 a factor of n?
False
Suppose 76 - 1055 = -d - x, -3907 = -4*d + 5*x. Is d a multiple of 26?
False
Suppose -2*r = -r. Suppose 4 + 1 = 2*m - j, r = -5*m + 5*j + 15. Suppose -3*y + 87 = 5*g, 4*g - 22 = -3*y + m*y. Is 17 a factor of y?
True
Suppose -3*d = -3*b, -5*b + b = 5*d - 36. Is 29 a factor of 562/d + (-4)/8?
False
Let v(h) = -2 + 4 + 3*h**2 - 3*h - 6 - 11. Let z be v(-7). Let j = z + -109. Is 10 a factor of j?
False
Let m be (2 + (-6)/3)/1. Suppose m = -3*j + 309 - 3. Suppose -38 = 4*v - j. Is v a multiple of 5?
False
Suppose -5*d = -16*d + 1639. Let o = d - 59. Is 17 a factor of o?
False
Does 8 divide (-1)/(-1 + 0 + 5085/5094)?
False
Let i = 19 - 14. Let j = i - -11. Suppose -j*y + 63 = -13*y. Is y a multiple of 21?
True
Let a be (4 + -2)/4*4. Let l(r) = -3 - r**3 - 8*r + 3*r + 12*r**a - 12*r**2. Is l(-4) a multiple of 27?
True
Let b(w) = w**3 + 12*w**2 + 9*w - 8. Let a(c) = -c**2 + 6*c - 1. Let r be a(6). Let s(i) = i**2 + i - 1. Let x(z) = r*b(z) + 4*s(z). Does 14 divide x(-8)?
False
Let z(a) = a**3 - 9*a**2 + a - 9. Let f = 8 - -1. Let b be z(f). Suppose b = 4*w + 2*c - 90, -5*w + 3*w + 47 = -c. Is w a multiple of 23?
True
Does 58 divide 162/24*(-3016)/(-39)?
True
Let j be (1/(-3))/(2/(-6)). Let m be j/(4 + -1)*114. Let l = m - 19. Is l a multiple of 4?
False
Suppose 0 = -4*q - y + 21, 5*y - 4*y - 6 = -q. Is 24 - (q - (-12)/(-3)) a multiple of 7?
False
Let g be -6 + 3/(3/2). Let y(i) = -2*i - 2. Let c be y(-13). Let b = g + c. Does 10 divide b?
True
Is (-95722)/(-171) - ((-6)/27 - 0) a multiple of 16?
True
Suppose -3*p + 4*a + 632 + 579 = 0, -3*a + 1218 = 3*p. Suppose 0 = -5*d - 0*d + p. Is d a multiple of 11?
False
Let g(j) = -j**3 - j**2 - 2*j + 7. Let t be (20/(-25))/(4/10). Let i be ((-13)/39)/(t/(-30)). Does 32 divide g(i)?
False
Suppose -1318 + 139 = -9*r. Let q = 45 + r. Does 11 divide q?
True
Let s(l) = 6*l**2 + 10*l**2 - 3 + 0*l + l. Is s(2) a multiple of 21?
True
Let x = -696 - -779. Is 11 a factor of x?
False
Suppose -2*i + 4*k + 17 = 5*k, 5*i = -2*k + 40. Does 26 divide i/15 + 596/10?
False
Suppose w + 5*f = 69 - 9, 0 = -2*f + 8. Is w a multiple of 14?
False
Let n(y) = 2*y - 8. Let a be n(6). Let x be (-111 - a)*4/(-10). Suppose h - 5*u = 76, -2*h + h + x = u. Is h a multiple of 17?
True
Suppose p = 3*p. Let n(k) = -3*k**3 - 14*k**2 - 150. Let t(w) = -w**3 - 5*w**2 - 50. Let y(g) = -6*n(g) + 17*t(g). Does 13 divide y(p)?
False
Let x = -583 - -863. Is x a multiple of 19?
False
Suppose 4*b - 5*o - 3455 = -4*o, 2591 = 3*b - o. Is 32 a factor of b?
True
Suppose 3*w = 3*x - 672, -10*x + 221 = -9*x + 2*w. Is 10 a factor of x?
False
Let f(g) = g**2 + 8*g + 8. Let k be f(-8). Let p(h) = 7*h + 2*h + 8*h + k - 5*h. Is 22 a factor of p(3)?
True
Suppose 5*w - 4*d + 14 + 50 = 0, -36 = w + 5*d. Is (41 + w/(-