-18). Let k = r - n. Is 3 a factor of k?
True
Let a = -7 - 24. Let o(h) = 5*h**2 + 31*h + 148. Let p be o(-6). Let d = a + p. Is d a multiple of 37?
True
Let d be (-336)/(-40) - (-6)/(-15). Let c = d - -7. Suppose -t + 39 + c = 0. Is t a multiple of 18?
True
Let s(f) = f**3 - 6*f**2 + 2*f + 7. Let d be s(6). Let v = 8364 - 8377. Let n = d - v. Is 16 a factor of n?
True
Let k(w) = 1353*w - 21. Let r be k(1). Let b = -711 + r. Is 9 a factor of b?
True
Suppose -4*a = -3*t - 6*a + 18, 5*a = 3*t - 18. Does 5 divide ((-533)/(-52) + 4)/(t/80)?
True
Let r(d) be the second derivative of 3*d**3 + 9*d**2/2 - 27*d + 1. Is r(14) a multiple of 11?
False
Suppose 0 = q - 12 - 15. Suppose 0 = 3*m - 3*s - q, 4*m + s + 0*s = 21. Does 14 divide 27/2*16/m?
False
Is 6 a factor of (-1120)/(-11) + 14/77?
True
Let q(h) = -90*h + 192*h + 34*h**3 - 99*h + 6 - h**2. Is q(2) a multiple of 28?
True
Let n(i) = i**3 - 5*i**2 + 6. Let r(d) = d**3 + d**2 - 10*d - 1. Let z be r(3). Let p be n(z). Suppose 0 = p*u - 3*u - 240. Does 40 divide u?
True
Let f(h) = h**3 + 22*h**2 - 22*h - 23. Let s be f(-23). Let v = 34 + s. Is v/(-1*(-3)/(-8)) a multiple of 25?
False
Suppose h + 0*h = -5*n + 8, -4*n = 3*h - 13. Suppose 3*x - 500 = 4*a, h*x + 3*a - 506 = a. Suppose -6*k + x = k. Is k a multiple of 3?
True
Let n(i) be the second derivative of i**6/360 + i**5/20 - 5*i**4/4 + 7*i**3/3 - 4*i. Let d(o) be the second derivative of n(o). Is d(-15) a multiple of 21?
True
Let c(w) = 2*w**2 + 3*w - 5. Let h be c(-4). Let g = -94 + 96. Suppose 5 = -3*b + 2*b, g*o - b = h. Does 5 divide o?
True
Let y(b) = 2*b**2 - 15*b + 8. Let f be y(6). Is 13 a factor of (-13*17)/((f + 18)/(-8))?
True
Let c = -654 + 1260. Suppose 1860 = 4*u - 4*s, 4*s - 312 = -2*u + c. Is u a multiple of 22?
False
Let l(q) be the first derivative of q**6/180 - q**5/12 - q**4/2 + 7*q**3 + 23. Let x(z) be the third derivative of l(z). Is 4 a factor of x(8)?
True
Let y = 7800 + -5100. Does 58 divide y?
False
Suppose 2*l + 17 = -3*u, -l + 4*u + 12 - 15 = 0. Let b(x) = -59*x + 7. Does 35 divide b(l)?
True
Let m = 12 + -28. Let t be 2201/(-8) + (-18)/m + -1. Let o = t + 490. Is o a multiple of 27?
False
Suppose 0 = 3*a - 3*s - 39270, -56*s - 65450 = -5*a - 55*s. Is a a multiple of 11?
True
Suppose 8*z + 1 + 7 = 0. Let n be 2 + 1 - 3*z. Suppose 0 = -n*o + 535 + 83. Is o a multiple of 11?
False
Suppose 11*t - 2*p = 16*t - 20, 0 = -5*p. Suppose -k + 2 = -0*k, 3*i = t*k + 1207. Is 81 a factor of i?
True
Let k(b) = -6*b**3 - 19*b**2 - 30*b + 4. Is 6 a factor of k(-14)?
True
Let d(b) = 44*b + 12. Let i be d(-6). Suppose 2*g = 15 - 743. Let x = i - g. Does 28 divide x?
True
Let i(t) = 8*t**2 + 3*t + 11. Let h(b) = -9*b**2 - 2*b - 10. Let w(v) = 5*h(v) + 6*i(v). Is w(-2) a multiple of 3?
True
Is (9 - 0/(-3)) + -6 + 11 + 10569 a multiple of 18?
False
Let s(r) = -18*r + 1804. Is 13 a factor of s(56)?
False
Suppose -4*j - 12358 = -8*j - 5*y, -5*j = -y - 15433. Does 6 divide j?
False
Let h(n) = -n**2 - 3*n + 33. Let x be h(18). Let i = x + 483. Is 46 a factor of i?
True
Let p = -245 - -249. Suppose 0 = -p*m - 2*f + 38, -5*m - f - 2 + 42 = 0. Is 4 a factor of m?
False
Let j = 16548 + -12949. Does 59 divide j?
True
Suppose 278*v = 260*v + 109584. Is v a multiple of 8?
True
Let u(k) be the second derivative of 3*k**4/2 + 7*k**3/6 + 6*k**2 + 48*k. Does 3 divide u(-3)?
True
Let v(o) = o**2 - 25*o - 32. Let a(s) = 3*s**2 - 49*s - 64. Let p(h) = h**2 + 6*h - 22. Let g be p(-9). Let x(k) = g*v(k) - 2*a(k). Is 23 a factor of x(-10)?
True
Suppose h + 5 = 2*h. Suppose -g + 8892 + 5386 = h*c, -6 = 3*g. Is 29 a factor of (-1)/(1140/c - 3/7)?
False
Suppose 3*s - 4*y = 29, -4*s - 4*y + 6 = -2*s. Suppose 8*u = s*u - 3*d + 49, -4*u + 5*d + 264 = 0. Does 3 divide u?
False
Let g(w) = -w**2 - 17*w + 21. Let z be g(-24). Let n = -85 - z. Does 31 divide n?
True
Is 71 a factor of 9*(-3)/(162/(-8148))?
False
Let c = 528 + 960. Suppose 65*l - c = 57*l. Does 39 divide l?
False
Is 10 a factor of ((-53935)/134)/(-161)*(12674 + 0/2)?
False
Suppose -8989 = -17*n + 17272 + 922. Is n a multiple of 41?
True
Let s be (4/14)/((-11)/(-154)). Does 9 divide (-1326)/(-30) - 6*s/(-30)?
True
Suppose -27*i = -39*i. Suppose -22*l + 28*l - 24 = i. Is 4 a factor of l?
True
Let d(h) = -2*h**2 + 6*h + 32. Let f be d(6). Let k(i) = -8*i**3 - 3*i + 2. Does 20 divide k(f)?
False
Let z be 2/(-14) - (10 - 340/28). Suppose -5*j = -3*o - 2824, -z*j - 2827 = -7*j + 4*o. Is 14 a factor of j?
False
Suppose 8 = 4*k - 2*k. Suppose 4*a - 1048 = -4*p, -k*a - 3*p + 1050 = -0*a. Does 24 divide a?
True
Suppose -112*r = -109*r + k - 6, -k = -3*r + 18. Suppose c + 2*c + 4*h - 4 = 0, -1 = -h. Suppose -p + g = -98, 3*p + c*p = -r*g + 280. Does 24 divide p?
True
Let t be (20 - 14)/(2/(-2)*2). Suppose 2*m - 9 = -11. Does 14 divide t/(m*(-3)/(-24))?
False
Let f(l) = -144*l - 446. Is f(-32) a multiple of 11?
False
Let l = 68 + -66. Suppose 0 = -4*t - l*t + 36. Suppose t*r + 632 = 14*r. Does 22 divide r?
False
Suppose -10*s = -371 + 51. Let x be (-6)/(-30) - s/10 - 1. Does 11 divide (-22)/2*(-7 + x)?
True
Let h(l) = -l + 3. Let z be h(1). Suppose 0 = -3*q + z*v + 42, -3*q + q = -5*v - 39. Suppose -17*u = -q*u - 600. Does 12 divide u?
True
Suppose -9 = -o - 2*r + 5*r, -12 = -2*o + 3*r. Suppose o*j + 15 = 8*j. Does 23 divide j/(3/91) - 1?
False
Let j(s) be the second derivative of s**3/3 + 58*s**2 + 3*s - 9. Does 48 divide j(31)?
False
Let t be 5 + 21394/18 + 4/9. Let s = -771 + t. Is s a multiple of 7?
False
Let u = -4381 - -6781. Suppose -4*f = 8*f - u. Is 10 a factor of f?
True
Let o = -204 - -208. Does 20 divide -4*(-168*4)/3 - o?
False
Is (22/11)/((-7)/(-38094)) a multiple of 10?
False
Suppose 20*d + 786 = 7246. Let x = 542 - d. Does 13 divide x?
False
Let p = -168 + 153. Does 15 divide 318 - (p + 12 - 6/(-1))?
True
Suppose 24*k + 37458 - 222786 = 15*k. Is 48 a factor of k?
True
Let y = -617 + 1019. Suppose -y*j + 5508 = -396*j. Does 40 divide j?
False
Is ((-17020)/8)/((-8)/16) a multiple of 100?
False
Let m(k) = k**3 + 25*k**2 + 23*k + 16. Suppose -y + 6 = 2*a - 3*y, -2*a - 5*y + 13 = 0. Let t be (40 - a)/((-12)/8). Is 4 a factor of m(t)?
True
Let o be 34/(-153) - (454/(-18) + 1). Does 5 divide (-2 - 16/(-6))*612/o?
False
Let x = 15368 - 6704. Is x a multiple of 76?
True
Suppose 0*u + 16 = u. Suppose -u*s = -13*s - 186. Is s a multiple of 36?
False
Let x = 223 - 217. Suppose x*a = 10*a + 5*d - 52, 5*d = -3*a + 34. Is 9 a factor of a?
True
Let j(u) = 4*u**2 - 24*u + 146. Let b be j(-30). Suppose 0 = 11*c - b - 2112. Does 17 divide c?
False
Is 29 a factor of 830154/203 - (-39)/(-91)?
True
Suppose 0*n - s + 541 = n, 2*n - 1084 = -3*s. Suppose -10*l + n + 3911 = 0. Suppose 3*o - 210 = o + 4*f, l = 4*o - 3*f. Does 23 divide o?
True
Let r(s) be the third derivative of -11*s**5/30 - s**4/24 - s**3/2 + 14*s**2. Let t be r(3). Let w = t + 299. Is 19 a factor of w?
True
Suppose 338 = 11*y - 14. Suppose 31 = 2*d - p, 2*d + 5*p - y = 17. Let o = d + 85. Is 34 a factor of o?
True
Let s(t) = 12*t**2 - 5*t - 295. Is s(25) a multiple of 134?
False
Let p(k) be the first derivative of -k**4/4 - k**2 + 26*k - 1. Let m be ((-60)/(-42))/(-5) + 34/119. Is 13 a factor of p(m)?
True
Does 26 divide (-787650)/(-51) - (-134)/(-1139)?
True
Is 8 a factor of ((-13 + 113)*-1)/(322/(-320) - -1)?
True
Does 10 divide (0 - -1)*(-6)/33 - (-109236)/33?
True
Let y = -139 - -132. Let d(b) = b**3 + 10*b**2 + 58. Is d(y) a multiple of 33?
False
Is 0 + ((-220)/22)/(5/(-805)) a multiple of 115?
True
Let a(k) = -99*k**3 + 3*k**2 + 36*k + 155. Is a(-4) a multiple of 28?
False
Suppose 0 = -4*a - 24*p + 28*p + 24, 0 = -4*a - p + 19. Suppose -3*s - 2 + 11 = 0. Suppose 0 = s*c + a*b - 500, c - 545 = -2*c + 4*b. Is c a multiple of 35?
True
Suppose -z + 48 = z. Is 262 + ((-1)/(-6) - (-92)/z) a multiple of 14?
True
Suppose -15*h = 3*h. Suppose h = -21*d + 425 + 310. Does 5 divide d?
True
Let k(z) = -124*z - 37. Let s be k(-5). Let o = s - 269. Does 42 divide o?
False
Suppose 5*v - 200*o = -198*o + 820, -4*v - 3*o = -656. Is v a multiple of 41?
True
Let u = 90 + -82. Suppose 3*h + u*i - 3*i - 599 = 0, 233 = h - 5*i. Is h a multiple of 10?
False
Suppose 179*h + 93152 = 261*h. Is 71 a factor of h?
True
Let c(z) = -4*z**3 - z**2 + 2*z + 7. Let k be c(-5). Suppose