2 + 58*k + 212. Is 7 a factor of d(-13)?
True
Let y(k) = k - 9 + k**2 - 8*k - 14*k - 2*k. Let j be y(23). Is 25 a factor of 73 + -2 - (j/1)/3?
False
Suppose -8*g - 13 - 35 = 0. Does 11 divide (-1629)/(18/g) - -7?
True
Let w be -2*(-5)/(15/(-102)). Suppose 2*p + 2*n - 206 = 0, 239 + 296 = 5*p - 5*n. Let a = w + p. Is a a multiple of 14?
False
Let a(s) = -s**2 + 5*s + 17. Let c be a(7). Let n be 1*-3 - (-7 + (c - 2)). Does 2 divide 111/36*n - 3/12?
False
Suppose 3*s - 7*s = 72. Let d(o) be the third derivative of -3*o**4/8 - 7*o**3 - 2*o**2 - 519. Is 30 a factor of d(s)?
True
Let w be 403/39 - 2/6. Suppose -2*i = 0, 4*d - 5*i - 4 = -w*i. Is 9 a factor of 4*(25/10)/d?
False
Let y be (-1)/(-1)*(-72 - 1). Let n(v) = -65*v + 917. Let t be n(12). Let d = t + y. Does 8 divide d?
True
Let d(o) = 68*o - 24. Let c(j) = 23*j - 8. Let r(y) = 7*c(y) - 2*d(y). Let k be ((-2)/(-8))/(5/100). Does 13 divide r(k)?
True
Let b = 26550 + -20662. Does 46 divide b?
True
Does 2 divide 1/(-2) + ((-38031)/(-42) - 10)?
False
Let v = -252 - -422. Suppose v = -4*q + 6*q. Is q a multiple of 17?
True
Let w = -19616 + 22058. Is 111 a factor of w?
True
Let f(v) = v**3 + 73*v**2 + 167*v - 20. Is 37 a factor of f(-69)?
False
Suppose 12*s - 33776 + 6199 = 83015. Does 128 divide s?
True
Suppose 112 = 3*o + n, -4*o + 73 = -2*o - n. Suppose 0 = o*d - 39*d + 246. Is 20 a factor of d?
False
Suppose s + 96 = -0*s. Suppose 20 + 40 = n - 5*b, 0 = b + 4. Is 16 a factor of (s/n)/((-6)/200)?
True
Suppose 85*a = -23137 + 385237. Is 71 a factor of a?
True
Is 5 a factor of (-7 + -627 + 5)/(0 + -1)?
False
Let f = 24 + -19. Suppose 358 = -o - 5*a, f*a + 705 + 349 = -3*o. Is 10 a factor of o/(-18)*(-6)/(-4)?
False
Let i(j) = 12*j**3 - 2*j**2 + 48*j - 314. Does 10 divide i(7)?
True
Suppose 126*k - 127*k + 6498 = 0. Is 19 a factor of k?
True
Let h(z) = 2*z**2 - 19*z. Let i be h(10). Let j(q) = q**2 - 10*q + 4. Let n be j(i). Suppose 0 = -5*l - 2*x + x + 88, 8 = -n*x. Is 14 a factor of l?
False
Let q be (3/4)/(-4*1/(-112)). Does 25 divide (-2)/(-4) + ((-45465)/(-10))/q?
False
Let g(u) = -165*u**3 - 4*u**2 - 8*u - 6. Is g(-3) a multiple of 17?
True
Let a(u) = -u + 13. Let x be a(-6). Let c(m) = 2*m**2 - 35*m - 5. Let o be c(x). Does 13 divide o/(-8)*((2 - 13) + 3)?
True
Let i = 24279 + -15800. Suppose 31*d - i = -419. Is d a multiple of 26?
True
Let m(p) = 3*p**2 + 66*p - 27. Let n(k) = -k**2 - 22*k + 9. Let f(t) = -4*m(t) - 11*n(t). Let w be f(-22). Is (-2)/w - 2226/(-54) a multiple of 20?
False
Suppose 23*x - 42 = 30*x. Does 10 divide ((-199)/(-3))/((-2)/x) + 1?
True
Let s(r) = r**2 + 5*r - 13. Let o(z) = z**2 - 14*z + 48. Let x be o(9). Suppose -4*k - a + x - 49 = 0, -3*a - 42 = 4*k. Does 43 divide s(k)?
False
Let y(h) = 109*h - 3814. Is y(38) a multiple of 3?
False
Let f(g) = -17648*g - 3725. Is 51 a factor of f(-1)?
True
Let w(q) be the third derivative of 19*q**6/120 - q**5/12 + q**4/12 + 2*q**3/3 + 2*q**2 + 84*q. Does 37 divide w(2)?
False
Suppose -5*m + 3081 = -1519. Let q = -549 + m. Let w = -227 + q. Is 33 a factor of w?
False
Let v(s) = 2*s - 16. Let z be v(13). Let r(f) = 9 + z*f - f - 3*f + 3*f. Does 9 divide r(3)?
True
Let h(w) = w**3 + 39*w**2 + 129*w + 35. Is 12 a factor of h(-35)?
True
Let l(u) = u**2 - 26*u + 574. Does 32 divide l(74)?
False
Let f(v) = 15*v - 23 + 38 + 31*v**2 - 30*v**2. Does 47 divide f(-31)?
False
Suppose 3*j - 157*b = -160*b + 10965, 4*b - 7324 = -2*j. Is 16 a factor of j?
True
Let h be (8/4)/(201/50 - 4). Suppose 108*b - 288 = h*b. Does 3 divide b?
True
Let o = -52 - -70. Does 29 divide 574/9 - (-4)/o?
False
Let r = -80 + 90. Let h(c) = c**2 - 11*c + 14. Let i be h(r). Suppose -4*w - 4*n - 292 = -8*w, -i*n - 140 = -2*w. Does 24 divide w?
False
Suppose -1556*m = -1613*m + 1176309. Is 168 a factor of m?
False
Let c = 99 + -94. Suppose -c*t = 25, -2*w - t + 410 - 145 = 0. Is w a multiple of 5?
True
Is 43 a factor of (10 - 71902)/(-12) - 14?
True
Let l be (1 - -1) + 4 + -3. Suppose 652 = 2*s - 4*y, -7*y + 2*y + 967 = l*s. Is 73 a factor of s?
False
Let r = -9275 + 14186. Is 16 a factor of r?
False
Let p be (2 + (-2)/2)*5. Suppose 5*i = 5*a - 124 - 6, 0 = -a + p*i + 26. Suppose 2*t - 58 = a. Does 14 divide t?
True
Is (0 - -2)*(1 + 0)*2542 a multiple of 164?
True
Suppose 876*h - 73260 = 866*h. Is h a multiple of 111?
True
Suppose -33 + 21 = -4*b. Suppose 2*z - 14 = -3*j - b*z, -4*j + 28 = 2*z. Is 8 a factor of j?
True
Let u(w) = 272*w**3 + 2*w**2 + 19*w - 20. Suppose n - 4*y = 2*n - 13, 0 = -2*y + 6. Is 21 a factor of u(n)?
True
Suppose -5*y + 4*c + 69 = 0, -4*y + c + 27 = -26. Suppose -y*q + 1890 = 2*q. Is 14 a factor of q?
True
Let t(d) = -d**3 - d**2 + 2*d + 96. Let h be t(0). Suppose -h = -11*a + 3*a. Let y = a + 68. Is y a multiple of 20?
True
Let a(m) be the first derivative of -8 + 22*m - 1/2*m**2. Is a(-7) a multiple of 29?
True
Let t(x) = -10*x**2 - 3*x - 11. Let k be t(-5). Let r = -125 - k. Is r a multiple of 11?
True
Suppose -2*a = d + a - 2311, -a - 4594 = -2*d. Is d a multiple of 5?
False
Is 78 a factor of (-26 + 11)*(-390)/9*9?
True
Let p = -70 + 111. Suppose -71 - p = -4*n. Let u = n + -4. Is 3 a factor of u?
True
Is (15/9)/((-11)/(-4521)) a multiple of 5?
True
Let t(g) = 69*g - 5. Let o be t(4). Let z = o - 215. Is 4 a factor of z?
True
Let g be (-2073)/(-12) + 5/20. Let c be (g/2)/((12/8)/3). Suppose s = c + 15. Is 12 a factor of s?
False
Suppose -19*r - 12 = -21*r. Suppose -c = -3*a + 168, r*a - 3*a - 5*c = 180. Suppose -y + a = 4*y. Is 3 a factor of y?
False
Let k = -385 + 450. Let z(w) = -w**3 + 9*w**2 + 7*w + 11. Let s be z(9). Let j = s - k. Is j a multiple of 9?
True
Let o be (606/4)/((-1)/(-2)). Suppose 2*n - o = 5*n. Let h = 281 + n. Is 12 a factor of h?
True
Suppose -1477 + 535 = -6*h. Suppose 0 = -8*z - 5 + h. Does 2 divide z?
False
Let z = -97 - -196. Suppose -4*b + 123 = z. Suppose 816 = -3*s + b*s. Is s a multiple of 17?
True
Let f = 1770 - 922. Let c = 1241 - f. Does 17 divide c?
False
Let m = 312 + -300. Let h(f) = 2*f + 178. Is h(m) a multiple of 37?
False
Suppose -2*b = -2 - 2. Suppose b*q + 9*q - 143 = 0. Let p(f) = f**2 - 6*f - 11. Is p(q) a multiple of 22?
False
Let o(z) = 181*z**3 + 13*z**2 - 17*z + 70. Is 15 a factor of o(5)?
True
Let a(j) = 211*j - 160. Let r be a(11). Let t = r - 971. Is 17 a factor of t?
True
Let y(f) be the first derivative of -19 + 1/4*f**4 + 16/3*f**3 - 9*f + 9*f**2. Does 28 divide y(-14)?
False
Is 27 a factor of (1704 - -4) + (-37)/((-555)/(-180))?
False
Let h(q) be the second derivative of q**4/12 - 2*q**3/3 + q**2 - 20*q. Does 22 divide h(-13)?
False
Suppose 7 = 3*u + f, -3*f = 4*u - 7*f - 36. Suppose -u*m - 245 = -8*m - v, -155 = -3*m + 5*v. Is 10 a factor of m?
True
Let m = -17220 - -29856. Is m a multiple of 18?
True
Suppose 0*r + 5*j - 10 = -3*r, 2*r - 2*j - 28 = 0. Suppose 15*m - r*m + 310 = 0. Let y = m + 98. Does 6 divide y?
True
Let k(s) = -2*s**2 - 1. Let i be k(-1). Suppose 0 = 5*j + 25, -5*w - j - 57 + 7 = 0. Is (-489)/w - i/(-9) a multiple of 9?
True
Let b = 5 + 29. Suppose 6 = -7*y + b. Is 6 a factor of (-3 - y/(-12))*-6?
False
Is 9 a factor of (-5)/(-20) - (-1)/((-32)/(-22168))?
True
Let q(d) be the first derivative of -4*d**2 + 16*d - 4. Let f be q(-7). Suppose 45*z = 48*z - f. Is z a multiple of 4?
True
Suppose 0 = -2*q + 3*q. Let v = 114 + -96. Suppose 0 = -q*g + 3*g - v. Is g a multiple of 2?
True
Let v be ((-1)/(-3)*-1)/((-2)/1206). Let k = v + -39. Does 8 divide k?
False
Let k(g) = 88*g + 210. Does 10 divide k(5)?
True
Let s = 10131 + 18786. Does 13 divide s?
False
Let x be 225/(-8) + 3/24. Let f = x + 31. Let q(a) = 5*a**2 - 5*a + 2. Is q(f) a multiple of 4?
True
Suppose 3*f = 5*p + 610, 192 = 2*f + 22*p - 88. Is 15 a factor of f?
True
Let l be -1 - 3 - (2 - -60). Let o = l + 75. Suppose -11*x = -o*x - 120. Does 12 divide x?
True
Let j = -647 - -650. Suppose 19*s + 2*x + 6394 = 23*s, 3*s + j*x - 4809 = 0. Does 40 divide s?
True
Suppose -3*i - 6 = 0, 125*m - 130*m - 3*i = -13569. Is 28 a factor of m?
False
Suppose 145*x = 137*x. Let h(l) = 2*l**3 + l**2 - l + 836. Does 11 divide h(x)?
True
Suppose -a = -9*a + 640. Suppose -a = -y + 124. Does 19 divide y?
False
Suppose -3*y - 66 = -2*u - 3*u, -4*u + 75 = 5*y. Suppose u*k - 14*k = 70. Is 5 a factor of k?
True
Suppose -6*y + 26 = -