23. Suppose 2*k + 100 = 2*x, x + 6*k - 2*k = f. Does 17 divide x?
True
Suppose 0 = 3*n + n + 56. Let l = -16 - n. Is 10 a factor of 2/(-1) - (-24 - l)?
True
Let a be 114/18*(-4 - -1). Let n = 1 - a. Does 3 divide n?
False
Suppose -18 = 5*c + 17. Let h(x) be the second derivative of -x**3/6 + 5*x**2 + 52*x. Does 4 divide h(c)?
False
Let n = 953 - 473. Is n a multiple of 12?
True
Let s(t) be the second derivative of 5/6*t**3 - 2*t**2 - t + 0. Is s(3) even?
False
Suppose -16 = -3*z + 86. Is 19 a factor of z?
False
Let p = 1669 - 171. Does 51 divide p?
False
Let v be (-6)/4*(-2 + 0). Suppose 0*t - 4*g = 2*t + 16, -v*t + 4*g = -16. Suppose 3*m + 0*m - 207 = t. Is m a multiple of 24?
False
Let x(b) be the first derivative of 19*b**3/3 - 3*b**2/2 - 7*b + 21. Does 8 divide x(-2)?
False
Suppose -r + 504 = 284. Does 44 divide r?
True
Let j(z) = 4*z**2 + 27*z - 37. Let s(k) = -11*k**2 - 80*k + 111. Let l(g) = -8*j(g) - 3*s(g). Is 2 a factor of l(-26)?
False
Suppose 5*m = -5*w + 11 + 9, 0 = -5*m + 20. Suppose -3*p + 4*l = -w*p - 8, 8 = -p - 4*l. Suppose -4*k = -b - 6, 5*k - 4*k - 4 = p. Is 5 a factor of b?
True
Let s(x) = -x**3 + x**2 + 2*x + 88. Let z = 56 - 56. Does 12 divide s(z)?
False
Suppose 3*y = -10 - 20. Does 2 divide (6*y)/(-4) - 2?
False
Suppose 3*d = 4*c + 165, 4*d - 2*c = -4*c + 220. Does 8 divide d?
False
Suppose h + 4*q + 6 = q, -h = -5*q - 34. Is 28 a factor of 66 + 2 + 0/h?
False
Suppose 3*f = 7*f - 3192. Is f a multiple of 21?
True
Let w(y) = -7*y + 3*y**3 - 4*y**3 + 7*y**2 + 6 + 0. Let s be w(6). Let c(g) = g**2 + 6. Is c(s) a multiple of 6?
True
Let q(j) = 6*j - 6*j + 10*j - 30 + 3*j. Let b(w) = 4*w - 10. Let u(l) = -7*b(l) + 2*q(l). Is u(0) a multiple of 4?
False
Let g be (-57)/9 + 1/3. Is 3*-10*9/g a multiple of 9?
True
Suppose 17*c - 15*c - 1036 = 0. Suppose c = 4*h - 6*l + 4*l, 4*h + 5*l - 553 = 0. Is h a multiple of 43?
False
Let j(i) = 13*i**3 - 2*i**2 - 2*i - 5*i**3 + 9*i**3 + 6. Is j(2) a multiple of 26?
True
Let j = 91 + -46. Suppose -g + j = 4*g. Does 9 divide g?
True
Suppose 75 = -5*j - 20. Let c = -10 - j. Is 13 a factor of ((c*7)/(-1))/(-1)?
False
Let i = 53 - 131. Let d = i - -85. Is d a multiple of 2?
False
Suppose -14*l = -3*l - 12815. Suppose -7*n = -l - 1544. Does 27 divide n?
False
Let d(w) be the third derivative of -w**6/10 + w**5/30 - w**3/6 - 9*w**2. Let r be d(-1). Let c = r + -7. Is 6 a factor of c?
True
Suppose -3*t = -3*j + j - 1292, 4*j = 3*t - 1282. Is 14 a factor of t?
True
Let z(v) = -26*v - 8. Let o be z(2). Let r = o + 75. Is 3 a factor of r?
True
Suppose 0*u = 2*u - 14. Let d(q) = q**3 - 7*q**2 + 2*q + 10. Let a be d(u). Let s = -17 + a. Is s a multiple of 3?
False
Suppose -3*y - 4533 + 1209 = -3*z, -4*z + 5*y = -4436. Is z a multiple of 16?
True
Let q = 57 - -35. Is 3 a factor of q?
False
Suppose -460*i + 1060 = -458*i. Is 82 a factor of i?
False
Suppose 7*j - 7 = 5*j - 5*x, 5*x + 73 = 3*j. Is j a multiple of 13?
False
Let r be (-4)/26 + (-464)/26. Let g = r + 66. Is g a multiple of 6?
True
Let k(f) be the second derivative of f**4/12 - 7*f**3/6 + 2*f**2 + 2*f. Let q(i) be the first derivative of k(i). Is q(15) a multiple of 5?
False
Suppose 2*j + 5*y = -9, -4*j = -j + y + 7. Is 13 a factor of -3 - (-43 - 2/j)?
True
Suppose 2*v = -3*v - 30. Let b be 715/(-30) + 1/v. Does 17 divide (102/24)/((-2)/b)?
True
Let i(t) = -t**3 - 15*t**2 + 15*t - 2. Let a be i(-16). Is (-314)/(-3)*21/a a multiple of 17?
False
Let v(d) = d**3 - 5*d**2 - 3*d - 6. Suppose 0 = -4*c - 3*o + 39, 0*c = -c + 5*o - 19. Is 2 a factor of v(c)?
True
Let j(g) = 2*g + 26. Let d be j(-12). Suppose l = d*k - 237, -l = 2*l + 9. Does 13 divide k?
True
Let z(y) be the second derivative of 5*y**4/12 - 2*y**3/3 + y**2/2 + 3*y. Suppose 0 = 6*k - k - 15. Is z(k) a multiple of 12?
False
Let s(i) = 41*i - 11. Let g(c) = 21*c - 5. Let a(m) = 5*g(m) - 3*s(m). Is 18 a factor of a(-4)?
False
Let g(v) = v**2 - 13*v + 30. Suppose 0*z + 2*z - 24 = 0. Does 9 divide g(z)?
True
Let c(p) = 115*p**3 - p**2 + p - 1. Is c(1) a multiple of 38?
True
Let g = -56 + 62. Let o be (-558)/((-3)/(-2)*-1). Is g/10 - o/(-30) a multiple of 6?
False
Let q = -250 - -1678. Is q a multiple of 42?
True
Let p(m) = 17*m**3 - 4*m**2 + 2*m + 6. Let k be p(-3). Let y = -345 - k. Is y a multiple of 24?
False
Is (-4)/(-14)*-337*14/(-2) a multiple of 26?
False
Let d(l) be the third derivative of -1/60*l**5 + 0*l - 19/24*l**4 - 8/3*l**3 + 7*l**2 + 0. Does 16 divide d(-16)?
True
Suppose -3*h = -4*s + 26, 0*s + 72 = -4*h - 4*s. Let n = h + 23. Is n a multiple of 4?
False
Suppose 26*x - 30*x = -80. Is x a multiple of 6?
False
Let m = 4 - 1. Let z(v) = -12 - 2*v + 73*v**2 - 59*v**2 - 4*v**m + 5*v**3. Does 6 divide z(-14)?
False
Let p = 427 - -464. Does 33 divide p?
True
Let g(f) = -15*f + 18. Let r be g(-10). Let k = -72 + r. Suppose -10*y = -13*y + k. Is y a multiple of 5?
False
Suppose -5*j = j - 3642. Does 94 divide j?
False
Suppose -4*j - 52 = -3*j + m, 5*m + 158 = -3*j. Let f = j - -60. Is 3 a factor of f?
True
Let x be ((-33)/15)/(1 + (-24)/20). Suppose -6*l - 180 = -x*l. Does 6 divide l?
True
Suppose 7*d = 17*d - 8000. Is 50 a factor of d?
True
Suppose 3*y + 5*m = 15686, 9*m - 6 = 12*m. Does 16 divide y?
True
Let u(f) = -3*f + 54. Let b be u(0). Suppose 2*p - b = p - 3*z, -5*z - 250 = -4*p. Is 14 a factor of p?
False
Let w(m) = 3*m**3 + m**2 + 5*m + 3. Let b be w(5). Suppose -o + 2*r = -142, 4*r - 240 = -5*o + b. Does 34 divide o?
True
Suppose 0 = -104*c + 94*c + 1600. Does 5 divide c?
True
Let m(j) = j**3 + 2*j**2 - 4*j - 3. Let y be m(-2). Is (2/y)/((-2*1)/(-60)) a multiple of 2?
True
Suppose -5*o = 6*o - 33. Suppose 665 = 5*i + o*z, -415 = -2*i - i - 5*z. Is 65 a factor of i?
True
Let m(r) = r**3 + r**2 - 6*r - 4. Let u be m(-3). Does 6 divide 16/u + 9 - -1?
True
Let b(u) = -u**2 + 77*u. Is b(57) a multiple of 39?
False
Let v(a) = -7*a**3 - a**2 + 6*a + 12. Let d(y) = 3*y**3 - 3*y - 6. Let c(z) = 9*d(z) + 4*v(z). Let m be c(-4). Let q = m - -9. Is q a multiple of 6?
False
Suppose 228*h + 774 = 229*h. Is 5 a factor of h?
False
Is 22 a factor of 18170/22 - 3/(-33)?
False
Suppose 2*c - 3246 - 62 = 0. Is 27 a factor of c?
False
Let s(d) = -2*d. Let g be s(-1). Let u = g + 111. Is u a multiple of 39?
False
Let d(o) = o**2 - 11*o - 12. Suppose -c - 2*k = c - 20, 5*c - 58 = -k. Let h be d(c). Suppose h - 9 = -3*l. Is l even?
False
Suppose 0 = 2*p - 7*l + 2*l - 835, -p = -l - 416. Is 12 a factor of p?
False
Let y(x) = 5*x**2 + 18*x - 26. Let t(f) = 2*f**2 + 6*f - 9. Let q(p) = -8*t(p) + 3*y(p). Does 2 divide q(4)?
True
Let h = -195 + 568. Does 49 divide h?
False
Let w be ((-3)/6)/((-1)/8). Suppose -w*t = 5*n - 6*t - 114, n - 18 = 2*t. Is 13 a factor of 16/n + (-200)/(-6)?
False
Let o = 32 + -28. Suppose 0 = -3*h - 2*h + 2*g + 240, o*g + 66 = h. Let x = 85 - h. Is 14 a factor of x?
False
Suppose 16 - 4 = 6*a. Suppose -3 = -a*i - 1. Is 4/(3/3) - i even?
False
Let y(d) = -d**3 - 13*d**2 - 14*d - 6. Suppose -3*n = -6*n + 4*h - 16, -5*n - 5*h - 85 = 0. Is y(n) a multiple of 6?
True
Suppose -6875 = -9*v - 2258. Suppose 2*a = 4*m - 406, 5*m = 3*a - 3 + v. Is m a multiple of 20?
False
Let o = 254 - 56. Suppose 5*c - o = -c. Is c a multiple of 29?
False
Suppose r - 36 - 92 = 0. Suppose 2*z - 26 = r. Is z a multiple of 23?
False
Suppose -10*a + 3455 = -14145. Is a a multiple of 29?
False
Let o = 54 + -22. Suppose b - 192 = -3*b. Let f = b - o. Is f a multiple of 4?
True
Suppose x = -4*b - 289 + 896, 3*b = -5*x + 3120. Is 29 a factor of x?
False
Let x(k) be the second derivative of -13*k**3/6 + 2*k**2 - 10*k. Is 23 a factor of x(-5)?
True
Let c = -3 + 8. Suppose 450 = 5*i - 5*q, -c*i + 66 = -2*q - 399. Is i a multiple of 19?
True
Let w(f) = -f**2 + 7*f + 10. Let u be w(8). Is 9 a factor of u/2*18*9/6?
True
Suppose 2 - 10 = 8*i. Let w be 1/(-1) - (-3 - i). Is 10/8*16/w a multiple of 3?
False
Let i = 1573 + -1124. Is 21 a factor of i?
False
Let b = -193 - -258. Does 5 divide b?
True
Suppose 0 = -25*t + 21*t + 2064. Is t a multiple of 43?
True
Suppose -6 = 5*z + 2*b, 3*z + 0*b - 6 = 2*b. Suppose z = -v + f + 198, 0*v + 4*f = v - 198. Is v a multiple of 25?
False
Suppose 5*k = 3*i - 1563, -511 = 17*i - 18*i + 5*k. Is 16 a factor of i?
False
Suppose -3*g = -55 - 110. Does 11 divide g?
True
Let a(l) = 