 Is 2 a factor of s?
False
Suppose -36*n - 14 = -29*n. Is 37 a factor of -212*((-15)/4 - n) - 1?
True
Suppose 0 = -221*d + 226*d + 2*v - 46212, -3*d = 3*v - 27720. Does 2 divide d?
True
Let p = -124 + 126. Suppose -4*w + 2*n = -p*n - 432, w - 102 = -n. Suppose 5*m + 5*s - 485 = -0*m, 3*s + w = m. Does 8 divide m?
False
Let j(a) be the second derivative of a**7/630 + a**6/40 - a**5/30 - 2*a**4/3 + 12*a. Let l(r) be the third derivative of j(r). Is 18 a factor of l(-8)?
True
Let x be (-2 - -1)/((-1)/3). Suppose -x = 2*a + 5. Let j(w) = -2*w**3 - 2*w**2 - 2*w + 4. Is j(a) a multiple of 27?
True
Is 27 a factor of ((12 + -11)/(3/551))/(2/6)?
False
Let j(v) be the second derivative of -11*v**3/6 - 9*v**2/2 + 10*v. Let h be j(-2). Let n = h + 7. Is 5 a factor of n?
True
Suppose -5*j = 4*l - 32023, -3*j = -4*l + 31656 + 407. Is l a multiple of 7?
False
Let p be 21/(-12)*(-3 - 1). Let j = -237 + 491. Suppose -j = -p*w - 79. Is 8 a factor of w?
False
Let m = -683 + 444. Let z = 719 + m. Is 30 a factor of z?
True
Let z(i) = i**2 + 10*i + 4. Let n(k) = -k**3 + 2*k**2 - k + 4. Let s be n(3). Let p be z(s). Is 3/p - 133/(-4) a multiple of 5?
False
Let x = -24122 - -32890. Is x a multiple of 16?
True
Suppose -5*m + 72*w - 77*w + 7905 = 0, -3*m - w = -4733. Is m a multiple of 394?
True
Suppose 64 = -2*r + 10*r. Suppose 0*x = -2*x - 3*l + 4, 4*l + r = 4*x. Suppose -j = 2*y - 137, -x*y + 0*y + 2*j + 140 = 0. Does 29 divide y?
False
Let b(l) be the first derivative of 7*l**4/2 + 2*l**3/3 - l**2 + 2*l + 5. Let n be b(2). Is 2/7*(1 + n) a multiple of 17?
True
Let a be ((-338)/(-1))/(-1*(-3)/21). Suppose 23*o = 9*o + a. Is 13 a factor of o?
True
Suppose -4*y + 12 = u, -3*u - 28 = -y - 3*y. Suppose x = -y*x + 4085. Is 19 a factor of x?
True
Let v(b) = b**2 - 6*b - 10. Let p be v(9). Suppose 0 = -3*i + 2*o + p, 4*i + 2*o - 3 = 1. Suppose 2*z + t = 40, -t + 51 + 10 = i*z. Does 3 divide z?
True
Suppose -6954 - 9158 = -8*w. Does 53 divide w?
True
Let q = -239 + 246. Does 14 divide 975/(q + -2) - -1?
True
Let i(y) = 2*y**2 + 9*y + 1. Let h be i(-6). Let w be (30/10)/(24/16). Suppose h = 4*q - w*l - 13, -3*q + 4*l + 14 = 0. Does 10 divide q?
True
Let s be (-15)/(-2)*(-30)/(-25). Suppose s = 6*f - 3. Suppose 5*j - 2*m = 466, -f*j - 4*m + 181 = -3*m. Is j a multiple of 23?
True
Suppose 11*f - 14*f = -549. Suppose 4*p = -3*d + 381, -2*p + f = -0*p + 3*d. Suppose 0 = -x - 5*l + 30, 2*l = -4*x + 3*l + p. Is 4 a factor of x?
False
Let q = -16360 + 20068. Is 4 a factor of q?
True
Suppose -5*z + 7*z = 6. Let d be 8 + ((-12)/z - 0). Suppose -w = -0*r - 3*r + 165, 3*r - 156 = d*w. Does 14 divide r?
True
Let k be 15/(-10) - (-27)/(-6). Let s be (-2)/k - 151/3. Let o = s + 107. Is o a multiple of 19?
True
Suppose 38*b - 30*b = 3296. Let q = 944 - b. Is 37 a factor of q?
False
Let x = -4447 + 7580. Is x a multiple of 38?
False
Suppose w = -c + 1, -c - w + 7 = 3*c. Suppose 4*h = -h + c*a + 2, 2*h - 2*a = 2. Suppose h = 3*b + 5*z - 301, -4*b - 2*z = -5*b + 82. Is 12 a factor of b?
False
Let t(h) = 38*h**2 - 4*h - 1. Let f be t(-1). Suppose -5 = -46*z + f*z. Let s = z + 74. Is 23 a factor of s?
False
Let y(r) = 12*r**2 - 65*r + 98. Is 13 a factor of y(12)?
False
Let h(i) = 16 - 20*i + 17 - 46. Is h(-3) even?
False
Let l = 42 + -14. Let q be 3/(-9) + l/12. Suppose 3*a + q*a - 190 = 0. Is 5 a factor of a?
False
Let f(j) = 13*j**2 + 16. Let a be f(4). Let m = 207 - 69. Let q = a - m. Is q a multiple of 13?
False
Let x(f) be the second derivative of f**3/3 + 37*f**2/2 - 10*f. Let h be 9 + (-1460)/90 - 2/(-9). Is 11 a factor of x(h)?
False
Suppose 41395 = 3*g + 4*h, h = g - 7171 - 6646. Is 3 a factor of g?
True
Suppose 73*l - 332572 = 26*l. Is 61 a factor of l?
True
Let p(f) = -f**3 + 4*f**2 + 18*f + 17. Let n be p(7). Is 2064/(-301)*70/n a multiple of 12?
True
Suppose -2*t + 2*r + 67 = -2755, -3*r + 5644 = 4*t. Is t a multiple of 5?
False
Let k(b) = -8*b - 3. Let j be k(-3). Suppose -25*f + 536 + 839 = 0. Let m = f + j. Is m a multiple of 31?
False
Suppose -81*l + 20148 = 5*z - 77*l, 4*z = 4*l + 16068. Does 4 divide z?
True
Let n = 2268 + 18750. Is 16 a factor of n?
False
Is (3805/25 - -3)/(6/(426 + -6)) a multiple of 158?
False
Suppose -5*s + 7 = 17. Let i(d) = -168*d - 5. Let a be i(s). Suppose 7*v = -135 + a. Is v a multiple of 6?
False
Let s = 2264 - -13936. Is s a multiple of 225?
True
Let o(v) = -32*v - 48. Let k be o(8). Let g = 429 + k. Is 20 a factor of g?
False
Let n = -6587 - -11010. Is n a multiple of 6?
False
Let z(o) = 6*o**2 + 11*o + 253. Is 12 a factor of z(-19)?
False
Suppose 74*l = 58*l + 48. Suppose 3*y + 6*a - 9*a - 1656 = 0, l*y - 1641 = -2*a. Is 53 a factor of y?
False
Let y(u) = u**2 - 8*u + 7. Let w be y(1). Let s be (w - 6)*(5/2 - 1). Let o(h) = h**3 + 9*h**2 - 11*h - 11. Does 11 divide o(s)?
True
Let h be 1262/1 - 0/(8/8). Suppose 1872 = 3*c + o, -14*o + h = 2*c - 18*o. Does 19 divide c?
False
Let p be ((-6)/4)/(30/(-20)). Let c = p + -1. Is c + 0 + 1344/12 a multiple of 7?
True
Suppose -48*w = 162*w - 3483060. Is 37 a factor of w?
False
Let p = 578 - -7702. Is p a multiple of 60?
True
Suppose -3219 = -22*p + 1291. Let h = 292 - p. Is 4 a factor of h?
False
Let p(r) = 1816*r + 1415. Is 55 a factor of p(15)?
True
Let a(p) = 2 - 7*p - 2 + 3 - 4. Let w = 9 - 25. Is a(w) a multiple of 37?
True
Suppose 3*h + 3*d = 72, 17*d - 80 = -5*h + 20*d. Suppose -31*f - h*f + 4750 = 0. Is 3 a factor of f?
False
Suppose 3*z = 4*s - 902, 2*s + 2*z - 466 = 11*z. Does 28 divide s?
True
Let p be (1 + 8)*16/48 - 7. Let z be p/18 - (-11580)/(-135). Let r = -54 - z. Does 4 divide r?
True
Let w = 304 - -5528. Suppose -56*k = -52*k - w. Does 16 divide k?
False
Suppose 125 = 11*v - 6*v. Let x = v + 75. Does 13 divide x?
False
Suppose -v = -4*s - 0*v - 42, 3*v = 4*s + 38. Let o(u) be the second derivative of -u**4/12 - 2*u**3 + 6*u**2 - 71*u. Does 11 divide o(s)?
False
Suppose -6*k - 1243 = -10*k - 3*y, 1555 = 5*k + 4*y. Is k/2 + (-21)/(-42) a multiple of 9?
False
Suppose -176*c = -10614 - 4346. Does 4 divide c?
False
Suppose -31167*m + 31175*m - 24032 = 0. Is 131 a factor of m?
False
Suppose 3794192 - 58316 = 43*d + 337070. Is d a multiple of 131?
False
Let s = 43 - 153. Let a be ((-3)/(-2))/(11/s). Does 11 divide 25/a*-39 + 1?
True
Suppose -8*a - 5699 + 27848 = -7*a. Is a a multiple of 69?
True
Suppose -765 = 3*h + 5*a + 74, h + 2*a + 280 = 0. Let d = h - -483. Is d a multiple of 3?
False
Let f be (16 + -14)*(-6)/9*-3. Does 59 divide -4 - (-2 - (f - -293))?
True
Let k be ((-8354)/3 - -4) + (-4)/(-6). Let f be k/((-6)/(-3) - (-1 + 2)). Is 29 a factor of 3/18 - f/24?
True
Let p be ((-9)/(-5))/(7/(-35)). Let q = p - -8. Let j(v) = 23*v**2 + 1. Is 11 a factor of j(q)?
False
Suppose -938 - 298 = -2*b. Does 11 divide b?
False
Let i(a) be the third derivative of -49*a**4/24 - 166*a**3/3 + 297*a**2. Is i(-44) a multiple of 38?
True
Suppose 54*m - 61*m = -616. Suppose -m*o + 84*o + 340 = 0. Is o a multiple of 17?
True
Does 74 divide (1298/2065 - 2/10) + (-5888)/(-14)?
False
Suppose -4*p + 10724 = 334 - 3770. Is 30 a factor of p?
True
Suppose w + 2290 = 3*w. Let g = 40 - -658. Suppose 0 = 3*q - 4*f - g, -q - w = -6*q + 3*f. Is q a multiple of 23?
False
Suppose 14*t - 6556 = 38034. Is t a multiple of 49?
True
Let w be 16/28 + (-221)/(-91). Suppose 8*j + 2436 = 3*p + 5*j, 0 = -w*p - 2*j + 2416. Does 92 divide p?
False
Let c = 44 - 40. Suppose -4*q - i = q - 35, 5*q = -5*i + 55. Suppose -c*d - 8 = -q*d. Does 2 divide d?
True
Let w(q) = 124*q**2 - 135*q + 7. Is w(9) a multiple of 18?
False
Let n(d) = 131*d - 3899. Is 20 a factor of n(69)?
True
Suppose -15 + 80 = z + 2*g, 336 = 5*z - g. Let u be 3/(-6)*((0 - -1) + 55). Let v = u + z. Is 13 a factor of v?
True
Let g be 2/(-8) + 20587/28. Let p = 1231 - g. Suppose -p = -5*d - 2*o, -12 = d - 5*o - 95. Is d a multiple of 14?
True
Let i(t) be the third derivative of t**6/120 - 11*t**5/60 - 13*t**4/24 + 3*t**3 + 134*t**2. Is 11 a factor of i(13)?
True
Let f = 291 + 1293. Suppose 12*u + 0*u + f = 0. Let h = -124 - u. Is 8 a factor of h?
True
Let p(l) = l**2 - 10*l - 4. Let b be p(10). Let z be b/(-2) + 2 - -193. Suppose 24 = 3*t + s - z, -s + 149 = 2*t. Is t a multiple of 36?
True
Suppose -211 = -3*g + 137. Let c = g + -186. Let i = c - -163. Is 31 a factor o