Does 2 divide b?
True
Suppose 4*n - 15569 = 39*p, 5*n + 7805 = 7*n + p. Is n a multiple of 36?
False
Suppose -623*b = -617*b - 29700. Is b a multiple of 33?
True
Suppose 28339 + 71797 = 11*k + 9639. Is 195 a factor of k?
False
Let j = -27 + 16. Let i = 11 + j. Suppose -f + 4*f + 3*l - 303 = 0, i = -3*f + l + 295. Is 33 a factor of f?
True
Let t = -126 + 126. Suppose -i + 46 = i + r, -r = t. Is 5 a factor of i?
False
Let a = -14510 - -24027. Is 13 a factor of a?
False
Let s(u) = u**2 - 8*u - 11. Let f be s(13). Let k = f - 44. Suppose -5*t + k*t - 400 = 0. Does 10 divide t?
True
Let d(t) be the first derivative of 9*t**3 + 31*t**2/2 - 2*t - 97. Is 16 a factor of d(-6)?
True
Suppose 2*o + 2*y = 91 + 25, -o = 5*y - 50. Suppose -d - 5*h + o + 24 = 0, 5*h + 390 = 5*d. Suppose d = 4*t - 5*s, 3*t - s = 6 + 56. Is t a multiple of 21?
True
Let g = -2044 - -4152. Is g a multiple of 68?
True
Let s = 26871 - 10184. Is 37 a factor of s?
True
Suppose 4*b - 4*i = 3272, 2*b + 2*i + i - 1636 = 0. Is b a multiple of 6?
False
Let q be -344*1 - 30/(-15). Does 31 divide (-4 + q/(-8))/(3/12)?
True
Let p be (35/28)/(3/12). Suppose p + 13 = 6*h. Suppose 80 = -w + h*w. Does 6 divide w?
False
Let t(m) = 9*m**2 - m + 14. Let b be t(-4). Suppose -3*u - 3*j = -615, -772 = -3*u - 4*j - b. Does 41 divide u?
False
Let f(o) = 2*o**2 - 58*o + 3787. Does 74 divide f(151)?
False
Suppose -4*k + 9736 = 3*d + 2864, -d - 2*k = -2290. Let f = -1234 + d. Is 28 a factor of f?
False
Let r = -4877 + 6960. Is r a multiple of 27?
False
Let g(q) = 4*q + 29. Let n be g(-6). Suppose 0 = n*o - 3*j - 1140, 1390 = 5*o - j + 240. Is o a multiple of 21?
True
Suppose z - 93 = -0*z - 4*k, 387 = 4*z + k. Let s = 167 - z. Suppose 0 = 4*w - 3*w - s. Does 21 divide w?
False
Does 16 divide (67005/12*4/(-18))/(81/(-486))?
False
Suppose 0 = 3*h + 246 + 618. Is 14 a factor of (3/(-8))/(-1) - 16020/h?
True
Let w = -603 - -604. Does 12 divide -61 - -66 - (-1670 + w)?
False
Let w = 72 - -257. Suppose 2*o + 5*o + w = 0. Let r = -9 - o. Is 13 a factor of r?
False
Suppose -5*s + 4477 = 3*c, 8*c - 11*c + 4*s = -4513. Does 18 divide c?
False
Let z = 297 + -14. Is 11 a factor of (-2 + z/4)*4?
True
Let t(o) = 8*o - 102. Let k be t(14). Let w(n) = 9*n + 50. Is 28 a factor of w(k)?
True
Let t = 399 - -1001. Suppose t = 9*w - 4*w. Is 10 a factor of w?
True
Let i be (-34)/(-8) + 18/(-72). Suppose i*w + 3666 = 2*m, w - 8532 + 3005 = -3*m. Is m a multiple of 13?
False
Let w(o) = -601*o + 347. Does 20 divide w(-15)?
False
Let b(a) = 2*a - 1. Let j(g) = -35*g + 25. Let z(s) = -5*b(s) - j(s). Does 18 divide z(8)?
True
Let h(l) = -309*l - 97. Let k be h(-5). Suppose 0 = n - 5*s - 344, -s = -4*n + s + k. Is 26 a factor of n?
True
Does 72 divide (0 - 18305/(-14))*6?
False
Suppose -15*n + 381 = 126. Does 34 divide (-4*141)/(-3) + (13 - n)?
False
Let w = 31 + -13. Suppose 2*a + t = 0, 8 + w = 3*a - 5*t. Let x(l) = 11*l - 7. Does 12 divide x(a)?
False
Suppose -33*t + 376 + 119 = 0. Suppose -i = -2, -m = -2*m - i + 2. Suppose m*n + 4*n + 4*k = 404, -3*k + t = 0. Does 16 divide n?
True
Let d(x) = -x**3 - 39*x**2 + 29*x + 109. Let l(m) = -m**3 - 39*m**2 + 30*m + 110. Let y(p) = -2*d(p) + 3*l(p). Is 21 a factor of y(-40)?
False
Let d(q) = -q**3 + 46*q**2 + 48*q - 3. Let x be d(47). Suppose -4*u - k + 274 - 25 = 0, 203 = 3*u + 4*k. Suppose 0 = -j - x + u. Is 17 a factor of j?
True
Is -7*(-2)/(-77) + (-51427)/(-11) a multiple of 11?
True
Let v(m) = 8*m**2 + 20*m - 151. Is 3 a factor of v(8)?
False
Suppose -n = 4*g - 20298, -27 + 9 = 3*n. Is g a multiple of 36?
True
Suppose -o = 5*p, 0 = 8*p - 5*p - 5*o. Is 34 a factor of 750 + (21/(-3) - p)?
False
Suppose j + 1354 = 2*o, -3*j - 672 = 2*o - 3*o. Let w = o - 389. Is w a multiple of 17?
True
Let o = -16259 + 33198. Is o a multiple of 68?
False
Suppose 7*r - 3*r - 168 = v, 0 = 2*r - 5*v - 66. Let b = 301 - r. Does 26 divide b?
False
Suppose 6*k - 1009 - 359 = 0. Is 11 a factor of k/(-380) - 1/5*-163?
False
Let t be ((-3)/(-9)*0)/(1 - 0). Suppose t*d + 216 = -2*d. Let n = -86 - d. Does 7 divide n?
False
Suppose 0 = -7*s + 721 + 2051. Let k = -218 + s. Is 4 a factor of k?
False
Let j(q) = -3*q**3 - 9*q**2 + 18*q - 12. Let d be 6 + -3 + 6 + -15. Is j(d) a multiple of 19?
False
Is 1 - (-1017084)/32 - (-18)/144 a multiple of 195?
True
Suppose -682 - 1928 = -6*g. Suppose -15*m + g = -2130. Is m a multiple of 3?
True
Suppose 0 = 7*h - 4*h - 9. Suppose h*q + 31 = -2*f, -5*f = 5*q + 42 + 8. Let o(a) = -12*a + 31. Is 32 a factor of o(q)?
False
Is 13 a factor of 10/(-15) - (5226800/(-300) - 4/(-2))?
True
Suppose -232*l + 226*l - 24 = 0. Is l*(-20)/32*54 a multiple of 24?
False
Let x = 1060 - 602. Suppose o + 50 = n + 169, -x = -4*o - 5*n. Suppose -9*y + 873 - o = 0. Is 12 a factor of y?
True
Suppose 2*h = -2*k - 3*h + 1331, -2016 = -3*k - h. Suppose k = -14*b + 2857. Is b a multiple of 52?
True
Suppose -2*p = -16, 2*w - 2*p - 4261 - 5011 = 0. Is w a multiple of 43?
True
Suppose -79139 = -16*r + 36942 + 296607. Is r a multiple of 7?
False
Let h(y) be the second derivative of -19*y**3/6 - 38*y**2 + 132*y. Is h(-10) a multiple of 20?
False
Suppose -43*k + 1564 = 3*k. Let p = -22 - -12. Let c = k + p. Is c a multiple of 8?
True
Suppose p - 4*a + 136 = 5*p, -3*p - 5*a + 104 = 0. Suppose -4*f + 238 = -x, 28 = f - x - p. Does 4 divide f?
False
Suppose 7863*h + 524308 = 7909*h. Is h a multiple of 3?
False
Suppose -2*g + 12*r - 15 = 15*r, 0 = 2*g - 4*r - 20. Suppose -u + i + g*i = -125, 0 = -u - 3*i + 109. Is u a multiple of 11?
True
Suppose 48 + 108 = 4*b. Suppose 41 + b = -4*u. Is (-460)/(-25)*u/(-8) a multiple of 46?
True
Let m(b) be the first derivative of -3*b**2 - 39*b + 6. Let t be m(-7). Suppose 2*u - 200 = -t*u. Is u a multiple of 18?
False
Let d(x) = x**2 + 12*x - 20. Let l(y) = 4*y + 24. Let f be l(-13). Let i be f/2 - (-5)/(5 - 10). Does 25 divide d(i)?
True
Let y = -528 - -533. Suppose 914 - 174 = y*b. Does 5 divide b?
False
Let s(q) = 57*q - 3. Let y be s(-1). Let j = y + 65. Suppose 5*t - 145 = 5*i, -3*t - j*i = 15 - 62. Is t a multiple of 6?
True
Suppose 25 = 4*m + m. Suppose -3*b = -5*j + 69, 2*j - j = m*b + 27. Suppose j = 2*y - 58. Is y a multiple of 5?
True
Let o be ((-4)/(-8))/(2 + 1435/(-718)). Suppose -3*t - o = -5*m + 4*m, 4*t = 2*m - 712. Is m a multiple of 14?
True
Suppose 3194 - 736 = -2*j + 15764. Is 19 a factor of j?
False
Let v(d) = 70*d**2 + 3*d - 8. Let z be v(-3). Let c = z - 1. Is c a multiple of 34?
True
Let p = -5494 + 8030. Is p a multiple of 37?
False
Let o = -31 - -30. Let w be (o + -5)*(-12)/36. Suppose -w*b + 644 = 2*b. Is b a multiple of 18?
False
Let x(h) = 2*h**3 + 30*h**2 + 13*h + 22. Does 11 divide x(-7)?
True
Suppose -38041 = -18*o - 3706 + 12501. Does 50 divide o?
False
Suppose 75*k + s = 72*k + 2212, -k - 2*s + 734 = 0. Does 18 divide k?
True
Suppose 0 = 9271*z - 9239*z - 422656. Is 26 a factor of z?
True
Let n = -5 + 7. Let k(r) = r**3 + 36*r**2 - 3*r - 105. Let c be k(-36). Suppose -142 = -4*l - n*j, -c*l + 4*j + 87 = -j. Is l a multiple of 12?
False
Let x(o) = 3270*o - 8864. Does 31 divide x(4)?
True
Is 108 a factor of (-9)/((-54)/(-8))*13/(26/(-5388))?
False
Let g be (-2)/15 + (-515)/75. Let v(c) = -c**3 + 2*c**2 - 8*c + 15. Does 38 divide v(g)?
False
Let x(j) = -164*j - 123. Does 94 divide x(-9)?
False
Let z(x) = x**2 + 31*x - 256. Let m be z(-38). Is (-7*m/(-210))/(2/714) a multiple of 7?
True
Let j = 24 - -2137. Is j a multiple of 11?
False
Let v = 36 + -63. Let l = v + 30. Suppose -64 = -l*u + 80. Does 8 divide u?
True
Suppose 18 = -39*o + 42*o. Suppose l = o*l - 330. Is l a multiple of 6?
True
Suppose 4*i = o + 4869, i - 1224 = 12*o - 14*o. Is 4 a factor of i?
False
Suppose -14 + 38 = 2*t. Let o be (1/(-1))/(-3)*t. Suppose -o*j - 41 = -113. Does 6 divide j?
True
Let t be ((-16)/(-5))/((-12)/(-30)). Let b be (t/(-6))/(6/(-9)). Suppose -5*i = -4*w - 25 + 365, 0 = b*i + 8. Is w a multiple of 16?
True
Let u = 6998 - 2918. Is 80 a factor of u?
True
Let s(h) = 221*h + 2156. Is 53 a factor of s(45)?
False
Suppose 4*v = 24, 1046*w + 76989 = 1051*w - v. Does 29 divide w?
True
Let f = 947 + -222. Let h be (-1)/(2 + f/(-360)). Let y = 200 - h. Is y a multiple of 32?
True
Suppose 6*r + 1632 = 2592. Let j(k) = -78*k**3. Let f be j(-1). Let t = f + r. Is t a mult