 + 2*w + 2946. Is v a multiple of 23?
False
Does 27 divide (-3)/(1 - (-672)/(-665))?
False
Suppose 0 = 4*s - 527 + 103. Is 2 a factor of s?
True
Suppose 6565 = -45*k + 97870. Does 43 divide k?
False
Let h = -616 - -619. Let o be (0 + -1)/(1/(-49)). Suppose -o - 2 = -h*x. Does 17 divide x?
True
Does 10 divide (-3)/(-4)*1*(6 - -198)?
False
Let h(m) be the second derivative of -m**4/12 + 91*m**2/2 + 6*m. Does 13 divide h(0)?
True
Let p(j) = -j. Let l(z) = -6*z + 13. Let d(f) = l(f) - 5*p(f). Let b be d(9). Suppose c + 0*h = b*h + 98, -5*h = 2*c - 196. Is c a multiple of 25?
False
Let h = 13 - 7. Suppose -3*x + h + 6 = 0. Suppose x*y = -y + 80. Is 16 a factor of y?
True
Suppose -z - 8 = 5*y, -y = -5*z - 7 - 7. Let j(s) be the first derivative of s**3/3 + s**2 + 5. Is j(z) even?
False
Suppose 3*x = -x. Suppose x = -f + 4, -5*f + 17 = 2*n - 3. Suppose n = -2*q + l + l + 74, 3*l = q - 27. Is 14 a factor of q?
True
Suppose 48 = -5*f + 8. Let t = -6 - f. Suppose -2*u = -t - 22. Is 6 a factor of u?
True
Suppose 13*s - 16*s = -4*r - 3328, s + r = 1100. Is 69 a factor of s?
True
Let p = 157 + -36. Let v = -16 + p. Suppose -h + 0*h = -4*j + 85, 5*j - h - v = 0. Does 20 divide j?
True
Is (60/36)/((-2)/(-1260)) a multiple of 50?
True
Suppose 0 = 5*y - 584 - 496. Is 16 a factor of y?
False
Suppose -2 - 14 = -4*i. Suppose s = i*s - 6. Suppose -u + 81 = -w + s*w, -2*u - 218 = -3*w. Does 19 divide w?
True
Suppose 5*w = -f + 14911, 3*w - w + 3*f = 5954. Does 54 divide w?
False
Suppose -2*u + 6 = 4*f - 10, 3*u + 5*f = 21. Suppose -1 = 3*q + c, q - 5 = -u*q + 5*c. Suppose 5*m = 2*s - q*m + 17, -m = s - 9. Does 4 divide s?
True
Suppose 11*h + 3*x = 16*h - 2451, -4*x = -2*h + 972. Is h a multiple of 4?
True
Is 16 a factor of ((-6)/(-1))/(1 + -3) + 345?
False
Suppose -9*b + 10 = -4*b. Suppose 3*u - 3*o - 81 = 0, 5*u = -b*o - 62 + 232. Is 7 a factor of u?
False
Suppose 0*f + f - 120 = -3*a, 5*a + 4*f - 200 = 0. Suppose -2*v = 3*c - 5*v - 60, -c + 5*v + a = 0. Does 12 divide (-1437)/(-15) + 3/c?
True
Suppose -2*h + 477 + 51 = 0. Suppose -3*j - 9 = 0, 3*w - j = 4*j + h. Is w a multiple of 12?
False
Let j = 467 + -148. Is 14 a factor of j?
False
Suppose 113 - 8 = 3*n. Suppose -1 = -3*s + n. Is s a multiple of 12?
True
Let r = -1751 - -1975. Does 7 divide r?
True
Let z(w) = -44*w - 8. Let f be z(3). Let d = -107 - f. Is d a multiple of 7?
False
Let x = 4 - 2. Let h = -11 - -15. Suppose 5*z = z - x*v + 52, -h*v - 6 = -2*z. Is 3 a factor of z?
False
Let y = -44 + 50. Does 11 divide 5 - 78/18 - (-326)/y?
True
Let a be -3*(-3)/((-18)/4). Let n(r) be the second derivative of -r**5/2 - r**4/4 + r**2 + r. Is n(a) a multiple of 15?
False
Suppose 5*p = 3*i - 893, 707 = -0*p - 4*p - 5*i. Let n be (-184)/2 - (-1 + 3). Let k = n - p. Is k a multiple of 28?
True
Let w(n) = -9*n**3 + 5*n**2 - 20*n - 21. Is 29 a factor of w(-7)?
True
Let m be 3/(0 + 3 + 3/(-2)). Let v(k) be the second derivative of 17*k**5/20 - k**4/6 - k**3/2 + 5*k**2/2 + 2*k. Does 34 divide v(m)?
False
Suppose 22 = -b + 24, -4*b = -4*v + 1496. Does 8 divide v?
True
Let f(b) = 4*b - 57. Suppose -o + 29 = -4*s, -3*o - 6*s + 71 = -2*s. Does 5 divide f(o)?
False
Let j = 1452 + -906. Is 42 a factor of j?
True
Suppose 3 = -6*v + 33. Suppose h - 20 = 3*j + 27, 255 = 5*h - v*j. Does 12 divide h?
False
Let n(s) = 2*s**3 + 41*s**2 - 27*s - 11. Let t be n(-21). Let x = t + -22. Is 31 a factor of x?
True
Let j be (-16)/(1 - -3) + 3. Is 7 a factor of j/(1/(-15)) - 1?
True
Suppose -2*o + 5*t = -181, 0 = -2*o + 30*t - 28*t + 196. Is o a multiple of 22?
False
Let f(y) = -y**2 + 13*y - 5. Let j(n) = n**2 + 5*n + 7. Let k be j(-6). Let h be f(k). Let p(w) = w**3 + 8*w**2 + 8*w + 3. Is p(h) a multiple of 20?
False
Suppose 7*k + 570 = 10*k. Suppose -3*s - 2*s = -4*a - k, -3*s + 3*a + 117 = 0. Is 34 a factor of s?
True
Suppose 577 = 3*d - n - 1149, -4*d - 4*n = -2312. Does 18 divide d?
True
Suppose -w - 4*w + 113 = -3*g, -83 = -3*w - 2*g. Let d = 37 + w. Is 22 a factor of d?
False
Suppose 11*r - 4757 - 1194 = 0. Is 14 a factor of r?
False
Let o be 92/(-16) + 6 - (-67)/4. Suppose m - 4*f = -4*m + 56, m + 5*f = o. Is m a multiple of 12?
True
Let n(u) = u**2 - 2*u - 5. Let v be n(4). Suppose -3*b - 15 = 3*g, -2*g = -3*b + v*g + 25. Suppose b = -h - 4*h + 140. Is h a multiple of 8?
False
Let v = -154 + 352. Is v a multiple of 66?
True
Let d(l) = 8*l**3 - 9*l**2 + 10*l - 18. Let g(z) = z**2 - 3*z - 3*z**3 + 2*z**2 - 4 + 10. Let s(w) = 4*d(w) + 11*g(w). Does 21 divide s(-6)?
False
Suppose 134*t = 138*t - 2784. Is t a multiple of 24?
True
Let f = 885 + -291. Is 26 a factor of f?
False
Let x(h) = h**3 - 2*h**2 - h + 3. Let r be x(3). Suppose 137 + r = 2*l. Is l a multiple of 13?
False
Let h(v) = -v**3 - 10*v**2 - 10*v - 6. Let f be h(-9). Suppose f*c - 85 = 158. Suppose -3*k + 3*s + c = 0, 4*k - 3*s = 3*k + 31. Does 7 divide k?
False
Let l(n) be the second derivative of n**6/120 - n**5/12 - 7*n**3/3 + 7*n**2/2 - 3*n. Let v(o) be the first derivative of l(o). Does 13 divide v(6)?
False
Suppose -24*r = -2*r - 2992. Does 13 divide r?
False
Suppose 6*n + 5646 = 14646. Does 15 divide n?
True
Let l(o) = 3*o**3 + 4*o**2 - 8*o + 5. Is 22 a factor of l(5)?
True
Let a(r) = r**2 - 31*r + 220. Is a(22) a multiple of 8?
False
Suppose -29*u = -27*u - 8. Suppose -u*c = -253 + 45. Is 13 a factor of c?
True
Let s = -508 + 988. Suppose 0*j + 2*x - s = -3*j, -x - 629 = -4*j. Let h = j + -112. Is 8 a factor of h?
False
Suppose 48*r - 85215 = -9*r. Is r a multiple of 39?
False
Let p = -7 + 6. Let i be (6 - 6) + (p - 5). Is 9 a factor of (-164)/i + 2/(-6)?
True
Let o be (178/14 - 1) + 4/14. Suppose -2*l - o + 4 = 0, -48 = -4*h - 3*l. Is 15 a factor of h?
True
Let p(n) = -n**3 + 8*n**2 + 6*n. Let g be p(7). Let a be 4 - ((-2 - -7) + 25). Let k = g + a. Does 13 divide k?
True
Let q = 64 + -45. Suppose 0 = -4*y + 69 + q. Does 11 divide y?
True
Suppose 0 = -a + 2*a - 547. Suppose a = -5*l - 703. Let o = -147 - l. Is o a multiple of 26?
False
Is (-24)/16*-14*(-124)/(-3) a multiple of 126?
False
Let h(f) = 3*f**2 - 2*f - 2. Let p be h(2). Suppose -p*i - 84 = -252. Is i a multiple of 28?
True
Let r(t) = t + 4. Let a be r(3). Let w(m) = 12*m - 22. Does 6 divide w(a)?
False
Suppose 4*r = -v + 30, -2*v = -4*r - 77 - 43. Suppose v = n + n. Does 25 divide n?
True
Let g be 1 + (-2 - 0) + 2 + 5. Suppose g*r - r - 1345 = 0. Is r a multiple of 34?
False
Suppose 147*j - 156*j = -2880. Does 8 divide j?
True
Suppose 5*m = f + 16, -2*m + 5*f + 4 + 7 = 0. Let a = -1 + 4. Suppose -m*b + 5 + 3 = t, -2*t + a*b + 25 = 0. Does 11 divide t?
True
Let f be 408/56 + (-2)/7. Let s = f - -57. Suppose i + 20 = -3*a + s, -5*a - 3*i = -68. Does 8 divide a?
True
Let m = -46 - -50. Suppose c + 6 + 7 = m*x, -3*c - 3 = -3*x. Does 2 divide c?
False
Suppose -4*x = 2*b - 468, 0*x = -x - 4. Is b a multiple of 11?
True
Let m(i) = -5*i**3 + i**2 + 4*i + 3. Let f = 52 + -73. Let h be 36/f - 6/21. Is 13 a factor of m(h)?
True
Does 103 divide 4*-1003*8/(-16)?
False
Let t be (8/3)/1*-3. Let m = t - -10. Suppose m*y = -y - 3, 2*y = 5*o - 32. Does 5 divide o?
False
Suppose -5 = i - 11. Let t be 17*-2*(-21)/i. Suppose -t - 1 = -4*q. Is 15 a factor of q?
True
Suppose 5*z - 5 = 5. Suppose 3*m = 9, -z*y = 5*m - m - 18. Does 8 divide (24/16)/(y/68)?
False
Let u = 397 + -102. Does 4 divide u?
False
Suppose 4*c = -c - 40. Let z = c - -16. Suppose z = j + 5. Does 3 divide j?
True
Let t = -51 - -63. Is 24 a factor of 83/((-4)/t*-3)?
False
Let x(i) = 11*i**2 + 11*i + 1216. Is x(0) a multiple of 3?
False
Let r = -183 + 429. Is 9 a factor of r?
False
Is 11 a factor of (202/(-4))/(5*10/(-500))?
False
Let j = -482 - -703. Does 9 divide j?
False
Suppose 3*c - 138 = -3*c. Is c a multiple of 5?
False
Is 6/4*(-10)/4*-72 a multiple of 45?
True
Let d be 2/8*11*4. Suppose -t - 3*t + d = l, 0 = -3*t + 9. Is 12 a factor of (-3 - l) + 1 + 37?
True
Let i(k) be the first derivative of k**2 + 4*k + 5. Let b be i(-3). Does 7 divide 1/b*(-12 + -2)?
True
Let a be -2 + -21 - -4 - -3. Let b = 24 + a. Let y(z) = 7*z + 11. Is 10 a factor of y(b)?
False
Suppose 5089 + 2036 = 19*o. Does 75 divide o?
True
Suppose 0 = -3*s + 4*s - 1. Let u be 8 - 7 - (1 - s). Let l = u + 3. Is 2 a factor of l?
True
Let b = 66 + -6. Does 40 divide b?
False
Suppose -2*w