et y(s) = 3*s + 27. Let q be y(-11). Let m be ((-1 - 1) + 8)*4/q. Does 19 divide 6/8*(m + 80)?
True
Let m = -252 + 2452. Does 4 divide m?
True
Does 13 divide (-9)/(90/70) + 3/((-3)/(-10940))?
True
Let x be 6/(-4)*((-70)/21)/1. Suppose -4*p - 6*a = -2*a - 1736, 0 = -x*p + 2*a + 2135. Does 15 divide p?
False
Is 98 a factor of 1116/372 + (-15)/6*-2294*2?
False
Let w(j) = 121*j**2 + 96*j + 824. Is w(-9) a multiple of 43?
True
Let f be ((-28)/(-3))/((-7)/(-126)). Let p = 238 - f. Is 14 a factor of p?
True
Suppose 0 = -8*i + 3*i + 810. Let s = i + -101. Let f = s - 39. Is f a multiple of 11?
True
Suppose 491*i - 489*i = -348. Let h = 381 - i. Is h a multiple of 47?
False
Suppose 9 + 3 = -6*w. Is 131 - (w - (3 - 5)) a multiple of 16?
False
Let v(l) = 77*l**2 + l. Let c(t) = t**2 + 8*t - 19. Let r be c(-10). Is 13 a factor of v(r)?
True
Let z = 1619 + 571. Does 26 divide z?
False
Suppose 0 = 113*t - 525925 - 391635. Is t a multiple of 8?
True
Suppose -6*f - q = -f + 53, -4*f + 4*q = 52. Let o be (-2)/f + (0 - 3024/(-66)). Suppose 0 = -3*a + o - 16. Is 5 a factor of a?
True
Suppose 398*y + 30576 = 402*y. Is 21 a factor of y?
True
Let f(p) be the third derivative of p**6/120 + p**5/20 + p**4/3 + 11*p**3/6 + 20*p**2. Let c be f(-3). Does 7 divide 38/3*(16 + c)?
False
Let w(j) be the second derivative of -j**5/20 + 3*j**4/4 - j**3/3 - 12*j**2 - j - 9. Let r be w(8). Suppose a = 29 + r. Is a a multiple of 8?
False
Suppose 6 + 11 = r - 4*i, -5*i = 3*r - 85. Does 25 divide r?
True
Suppose -5*l = -4*i - 97, -5*l + 59 = -3*i - 20. Does 10 divide 15/((-540)/(-16432)) + 8/i?
False
Is 6 a factor of ((4641/(-52))/21)/(4/(-1632))?
True
Let a(i) = -394*i - 36. Let r(w) = 591*w + 54. Let c(o) = 7*a(o) + 5*r(o). Does 88 divide c(5)?
False
Is 289536/123 + (-20)/(-410) a multiple of 18?
False
Suppose -58225 = -217*y + 29443. Does 101 divide y?
True
Let g(q) = 3*q**2 + 23*q + 9. Let a be g(-7). Is 51 + (a + 6)*-2 a multiple of 49?
True
Let a(l) = l**3 + 4*l**2 + l + 5. Let w be a(-3). Suppose -14 - 19 = -w*x. Does 23 divide 1288/7*x/6?
True
Suppose -2*a + 75 = 3*a. Let m = -10 + a. Suppose 3*w - t = 4*t + 115, 245 = 5*w + m*t. Is w a multiple of 10?
False
Suppose 2*p = 3*u + 358, -4*p = p - 2*u - 895. Suppose 3*z = 4*z - 3, 0 = 4*t - 2*z + 330. Let l = t + p. Is 14 a factor of l?
True
Let g(s) = -s**2 + 15*s + 2. Let k be (-22)/(-3) - (-20)/30. Let o be g(k). Let p = o - -26. Is p a multiple of 42?
True
Let y = 1084 - 784. Let s = y - 29. Is 19 a factor of s?
False
Suppose 3*s - 3*w + 9 = 0, 2*s + 2*w = 3*s + 1. Let x(o) = 10*o**2 + 2*o - 1. Is 11 a factor of x(s)?
False
Let s(w) = -2*w + 18. Let h be s(6). Suppose -5*a = -a + h*a. Suppose 6*k - 52 + 10 = a. Does 7 divide k?
True
Let r = 478 - 199. Suppose 2*b - r = -5*a, -3*b - 3*a - 2*a + 421 = 0. Is b a multiple of 71?
True
Let y be 6*(32/(-12) - -2). Let p(u) = u**3 - 2*u**2 + 9*u + 8. Let b(r) = 4*r**3 - 6*r**2 + 28*r + 23. Let f(g) = -2*b(g) + 7*p(g). Is f(y) a multiple of 3?
False
Suppose 6*c - 368 = 70. Let i(m) = -18*m - 62 - 19*m + c. Does 13 divide i(-4)?
False
Let h(f) = -81*f + 1. Let u = -248 + 244. Is h(u) a multiple of 43?
False
Suppose 2181 = 2*o + f - 1125, -9*f = 0. Does 87 divide o?
True
Does 7 divide 7/(26/(-273)*3/(-2))?
True
Suppose 5*c = 2*z + 20, 16 = -3*z - c + 5*c. Suppose -t + 233 + 72 = z. Is 61 a factor of t?
True
Let s = -7145 + 7990. Is s a multiple of 13?
True
Let h(q) = 3*q**2 + 89*q - 5. Does 8 divide h(-37)?
False
Let u = -12 - 81. Let w = u - -235. Does 39 divide w?
False
Let b be (-3 - (-4 + 2/6))*3. Suppose 0*p - o + 108 = b*p, 0 = 4*p - 5*o - 244. Suppose -1360 = 51*k - p*k. Is k a multiple of 33?
False
Let m(z) = -4*z**3 + 4*z**2 + 7*z + 5. Let p be m(-3). Let c = p - 124. Suppose 4*i - c*g = 872, 3*g + 4 = 1. Does 16 divide i?
False
Is 11 a factor of 2/4*0/(-2) - (10 - 1473)?
True
Let y = -107 - -104. Let x(t) be the third derivative of -5*t**4/6 + 6*t**3 + 10*t**2. Is x(y) a multiple of 8?
True
Suppose 27*r = -29320 + 149335. Is 3 a factor of r?
False
Does 22 divide (-2)/(-8) - (7 + 74670/(-8))?
False
Let b(i) = -i**2 - 16*i - 27. Let d be b(-14). Let p = 6 - 18. Is (-18)/p*d*268/3 a multiple of 31?
False
Let f(r) = 529*r**2 - 3*r - 2. Let c be f(1). Is 8 a factor of (c/(-2) - -5)/(-1)?
False
Suppose -5284 = -7*o + 1037. Suppose 3*u + 4*u = o. Is u a multiple of 20?
False
Let g(p) = 24*p - 289. Let c be g(34). Let n = -483 + c. Does 11 divide n?
True
Does 191 divide ((-76)/(-24) + (-1)/(-2))*(-33 + 606)?
True
Suppose 2003 = s - 5*k, -5*s - 24*k + 28*k + 10078 = 0. Suppose 16*d = s + 3838. Does 61 divide d?
True
Let u(d) = 401*d**2 + 4*d - 3. Let a = 42 - 41. Let t be u(a). Suppose 2*f + 4*f - t = 0. Does 37 divide f?
False
Let w be ((-1)/2)/((-3)/(-9282)). Let c = w + 2579. Is c a multiple of 62?
False
Let f(c) = -3*c**2 + 17*c - 12. Let x be f(-13). Let p = 836 + x. Is p a multiple of 6?
True
Let y be (-1 + -609)/(15/360*-6). Suppose 21*d - 31*d + y = 0. Does 85 divide d?
False
Suppose -2987712 = -612*k + 384*k. Is 273 a factor of k?
True
Does 23 divide (1105/3)/(105/1260)?
False
Let m(z) = z**2 + 1. Let p(j) = j**2 + 8*j + 4. Let c(v) = -2*m(v) + p(v). Let h = -36 - -40. Is c(h) a multiple of 3?
True
Let i = -149 - -237. Suppose 96*d = i*d + 3800. Does 19 divide d?
True
Let b(o) = 8*o**3 - 3*o**2 - o + 60. Is b(7) a multiple of 10?
True
Let x be ((-252)/8)/((-12)/160) - -1. Let s = 936 - x. Is s a multiple of 21?
False
Let b = 1963 - -2533. Is b a multiple of 8?
True
Let u = 31 + -24. Suppose -1188 = -5*b - u*b. Suppose -b = 13*o - 14*o. Is 9 a factor of o?
True
Let l = 6030 + -4375. Is 50 a factor of l?
False
Let q(p) be the third derivative of p**4/24 + 2*p**3 - 9*p**2. Suppose -12 = 4*h, -3*h - 2*h - 50 = -5*d. Is q(d) a multiple of 13?
False
Let k = 85 + -82. Suppose k*u - 7*u = 0. Suppose 0 = t, u = o - 3*t - 16 - 1. Is o a multiple of 5?
False
Suppose 0 = -5*y + 4*d + 27, -5*d = 2*y - 0*d - 24. Let h be y/(42/68)*(8 - -1). Let o = -86 + h. Is o a multiple of 4?
True
Let b = 19 - -1. Suppose -3*y - b = -5*w, -2*w + 4 = -w - 4*y. Suppose o + o - w*k = 36, 0 = 2*o + 5*k - 54. Is o a multiple of 11?
True
Let v(o) = o**3 + 29*o**2 + 2*o + 60. Let y be v(-29). Suppose -5*i - 2*l + 6*l = -350, y*l + 140 = 2*i. Does 33 divide i?
False
Let a(l) = l**2 + 6*l + 12. Suppose -4*v = 21 - 5. Let q be a(v). Suppose 6*j + 89 = 3*i + 5*j, -i = -q*j - 48. Is i a multiple of 7?
True
Suppose 15*d - 5*d + 2172 = 14*d. Is d a multiple of 30?
False
Let k(n) be the first derivative of -n**4/4 - 11*n**3/3 - 7*n**2 - 14*n - 2304. Suppose 3*x = g - 30, -2*x - 2*g + 4*g - 20 = 0. Is 13 a factor of k(x)?
True
Suppose a - 3289 = -h, -5*h + 3900 = -4*a - 12509. Does 18 divide h?
False
Let f = 59 + -57. Let b be 3/3 - (f - 3). Suppose -4*d - b*d + 18 = 0. Is d a multiple of 2?
False
Let n = 154 - 164. Is 35 a factor of n/((-6)/(-609)*-1)?
True
Suppose -614990 = -68*o + 795330. Is 20 a factor of o?
True
Suppose -5*d + 32344 + 2363 = -3*h, 0 = -17*d + 5*h + 118009. Is 89 a factor of d?
True
Let c = 140 - 91. Let x = 137 - c. Suppose y + 3*y = x. Is 22 a factor of y?
True
Let z(k) = 38*k + 7. Let v(u) = -114*u - 20. Let r(y) = -6*v(y) - 17*z(y). Does 26 divide r(3)?
False
Let o(q) = -q**2 - 16*q + 3759. Does 9 divide o(0)?
False
Let n = -14 + 18. Let a be (-40)/(-15)*(n + 2). Suppose -v + a = -5. Is 5 a factor of v?
False
Let g(p) = -15 + 0*p + 8 + 3*p. Let k be g(3). Suppose 0 = -6*o + k*o + 400. Does 13 divide o?
False
Suppose -2*c - 3*k + 2815 = 3*c, 4*c - 2*k - 2274 = 0. Suppose -h + c = 3*y, 4*y - 12*h + 9*h - 733 = 0. Is y a multiple of 11?
True
Suppose -25*g = -4954 - 3646. Suppose 3*s + 5*y - 350 = 0, -y = -2*s - s + g. Does 20 divide s?
False
Let g(z) = 112*z + 1685. Does 109 divide g(56)?
True
Suppose 319*d - 332*d + 32227 = 0. Does 12 divide d?
False
Let z be (-2 + 1)/((-6)/10554) - -3. Suppose z*h + 2310 = 1767*h. Is 11 a factor of h?
True
Let n(h) = -3*h - 9. Let l be n(-5). Suppose 0 = 2*w + w - l. Suppose -5*p + w*f + 668 = -0*p, -4*p + f + 532 = 0. Is p a multiple of 44?
True
Let f(d) = 8*d**2 + 42 - 5 - 6*d + 2*d - 25. Does 29 divide f(-5)?
True
Suppose 5*z - 5*t - 25615 = 0, 3*t - 10211 = 1106*z - 1108*z. Is 2 a factor of z?
True
Let p = -285 - -148. Suppose 0 = 10*r + 9*r + 1577. Le