-50 + s = -r. Let b = -128 - r. Is b a multiple of 24?
True
Let v be (-3 - -1) + (-4)/(4/(-3)). Is v*(3 + 22/1) a multiple of 12?
False
Let y(h) = 15 - 4*h - 15. Let g be y(-1). Suppose -g*f + 40 + 28 = 0. Does 17 divide f?
True
Suppose -5*c + 50 = 30. Suppose -3*x = 2*f - 577, -6*x + 11*x = -c*f + 965. Does 21 divide x?
True
Does 9 divide 27 + -36 - (-2754 - 0)?
True
Let c(j) = 3*j**2 - 18*j + 80. Is 8 a factor of c(8)?
True
Let q(f) be the third derivative of -f**6/60 - f**5/30 + f**4/8 - f**3/2 + f**2. Let n be q(-3). Suppose -z - z = -n. Does 4 divide z?
True
Let s(w) = 167*w**2 + 3*w + 4. Is s(-2) a multiple of 37?
True
Let a be (-6)/(-8)*(128/12 - 4). Let q(p) = -1 + p**2 - 1 - 2*p - 2*p. Does 2 divide q(a)?
False
Suppose 4*o = 5*o - 9. Let v = o - -2. Is v a multiple of 3?
False
Let y(h) = -159*h + 7. Let g be y(-1). Let p = g + -95. Is p a multiple of 10?
False
Let i(x) = 227*x + 21. Is i(4) a multiple of 29?
False
Suppose -12556 = -23*k + 36112. Is k a multiple of 14?
False
Let j(n) = n**3 + n**2 + 3*n + 495. Does 25 divide j(0)?
False
Let d(j) = j**2 + 2*j - 3. Let g be d(-8). Suppose 5*z = -5*w + 40, -5*z + 4*w + 22 = -g. Does 3 divide z?
False
Suppose j - 1 = -0. Let y be j/(-2)*3*6. Let s(p) = -13*p. Is s(y) a multiple of 39?
True
Let x(i) be the third derivative of -5/3*i**3 + 0 - 2/15*i**5 + 0*i + 1/120*i**6 + 2*i**2 - 5/24*i**4. Does 18 divide x(9)?
False
Let t = 40 - 133. Let g = -61 - t. Is 9 a factor of g?
False
Suppose n = 14*c - 12*c + 1203, 2*c = -8. Does 33 divide n?
False
Let i = 79 + -77. Suppose 4*l + 2*q - 1155 = q, -i*l + 560 = 4*q. Is l a multiple of 31?
False
Suppose 2544 = 3*p + 4*d, -d + 2728 = 3*p + 175. Is p a multiple of 12?
True
Let t(q) = q**2 - 15*q + 54. Does 23 divide t(-14)?
True
Suppose 0 = -2*t - 3*t. Suppose t = -i + 40 - 4. Does 36 divide i?
True
Suppose 7*w - 535 = 2*w. Suppose 5*c - p = 579, -c - p = -w - 10. Does 26 divide c?
False
Suppose 67*d - 69*d + 1260 = 0. Is d a multiple of 35?
True
Suppose -404 = -k - 5*j, -8*k = -3*k + 5*j - 2100. Suppose -3*c - c = -k. Is c a multiple of 32?
False
Suppose -4*l + 475 = 107. Suppose 3*u - 34 = l. Is 9 a factor of u?
False
Is 16 a factor of (124 - 5)*108/63?
False
Let y = -19 - -20. Suppose -3*k - 3 = x, -x = 4*k + y + 2. Let w(t) = 5*t**2 + 6*t + 5. Does 16 divide w(x)?
True
Let c = 15 - 10. Suppose 2*a = 0, -c*b = -a - 2*a - 1275. Is b a multiple of 15?
True
Suppose -17*u + 154 = -118. Does 4 divide u?
True
Suppose -12 + 99 = h. Let c = h + -4. Let a = 138 - c. Is 22 a factor of a?
False
Does 50 divide ((-45)/(-6))/(21/700)?
True
Suppose -4*p - 2*j - 137 = -7*p, -3*j = 3. Let c = p + -14. Is 21 a factor of c?
False
Suppose 2*p = -3*w + 73, 4*w - 3*w = p + 21. Is 4 a factor of w?
False
Let s(n) = 5*n**2 - 10*n + 7. Does 25 divide s(-8)?
False
Let o be (40/(-3))/(17/(-459)). Let h = 129 + 124. Let c = o - h. Does 20 divide c?
False
Let t = 10851 + -7252. Is 67 a factor of t?
False
Does 13 divide (4036/(-6))/(60/(-9) + 6)?
False
Suppose -5*f + 2*o - 21 = 5, -4*f + 5*o - 31 = 0. Let l be -6*f/(-8) - -7. Suppose -l*c + 65 = -5*w, 7*c - 5*w = 2*c + 80. Does 3 divide c?
True
Suppose a = -0*a + 210. Suppose -4*b + a = 4*l - 2*l, l - 211 = -4*b. Is b a multiple of 17?
False
Suppose -b + u = b - 108, -2*b - 2*u + 114 = 0. Suppose 7*w - 2*w = b. Suppose 5*v + w + 6 = g, -g = 4*v - 26. Is g a multiple of 14?
False
Suppose 0 = -6*a + 10*a - 24. Is 13 a factor of (5928/20)/a - 2/5?
False
Let x = 7 + -8. Let n = x + 13. Is 12 a factor of n?
True
Let g(b) be the first derivative of 3 + 1/3*b**3 + b**2 - 7*b. Is 22 a factor of g(7)?
False
Suppose 0 = -19*o + 16*o + 2289. Does 41 divide o?
False
Let z(r) = -r**2 - 15*r - 45. Let a be z(-10). Suppose -q + 3*x = x - 70, a*x = -5*q + 425. Is q a multiple of 10?
True
Let x(y) = 2*y**2 - y. Let g be x(-1). Suppose g*t - 4*b - 480 = 0, -4*b = 2*t - 14 - 306. Is 32 a factor of t?
True
Is 33 a factor of 13/(104/(-48)) - -1161?
True
Let g(f) = 6*f**3 + 2*f**2 - 7*f - 1. Let t be g(3). Suppose 2*a - t = -3*k, 13*k - 11*k - 2*a - 122 = 0. Does 14 divide k?
True
Suppose x + 2*a - 55 = 1, 4*a = 5*x - 210. Let c = x - 6. Is c a multiple of 20?
True
Let a(w) = -5 - 26*w - 46 + 2. Does 37 divide a(-9)?
True
Let l be ((-20)/15)/(2/(-33)). Suppose -15 = 6*d - d, -15 = h + 5*d. Suppose h*x = -x + l. Is x a multiple of 8?
False
Let f(a) = a**2 - 10*a - 13. Let g be f(7). Let o = g - -89. Is o a multiple of 5?
True
Let y be -11 - -33 - 1*3. Suppose 5*p - 51 = y. Let u = 45 - p. Is 6 a factor of u?
False
Let n be 460/140 - 2/7. Suppose 4*y + 3*v - 6 = 0, 4*v = -n*y + 11 - 3. Suppose 2*p = -y*p + 2, 0 = -3*o - 4*p + 34. Does 2 divide o?
True
Let t(y) = -11*y - 54. Does 11 divide t(-18)?
False
Suppose 7*k - 2*k - 15 = 0. Suppose 2*h = -5*s + 2 + 28, -3*s - h = -18. Suppose -2 = -2*f, k*c + f = s*f + 46. Is 4 a factor of c?
False
Let r(g) = -g**2 - 64*g - 243. Is 11 a factor of r(-21)?
True
Is 52 a factor of (-2210)/4*31/62*-12?
False
Let s = -233 - -264. Let b be ((0 - -1) + -1)*-1. Suppose b = -n + 2*t + 22, 0 = 3*n + t - 83 + s. Is 11 a factor of n?
False
Let b = -1381 + 2701. Is b a multiple of 120?
True
Let c = 22 - 19. Let t be 0 + c + 10 + -4. Suppose 4*m + 80 = t*m. Does 4 divide m?
True
Let s = -1437 + 854. Let w = -413 - s. Does 34 divide w?
True
Let r = -48 - -56. Suppose r + 76 = 2*m. Is m a multiple of 21?
True
Let i(z) be the second derivative of z**8/6720 + z**7/252 + 3*z**5/40 + z**4/6 - 11*z. Let x(a) be the third derivative of i(a). Does 9 divide x(-10)?
True
Does 11 divide (4/(-6))/(959408/(-87216) - -11)?
False
Let p = 154 + -108. Does 52 divide 1/((-3)/(-12)) - (-2 - p)?
True
Suppose 0 = 4*r - 436 - 284. Let u = -96 + r. Is 28 a factor of u?
True
Let i(f) = -10*f - 68. Does 3 divide i(-15)?
False
Suppose 2*z = -z. Suppose 3*g + 3*g - 240 = z. Is g a multiple of 19?
False
Does 19 divide (2*-22)/(169/19 + -9)?
True
Let j = 4 + 106. Suppose 90 + j = 5*c. Is 10 a factor of c?
True
Let d = -57 + 63. Suppose -5*z = 3*b - 379, -d*b + 7*b - 98 = 4*z. Is b a multiple of 12?
False
Suppose -416 = -20*j + 7*j. Let f be (-4)/10 + 81/15. Suppose -3*p + 13 = -v + 29, 2*v - j = -f*p. Is 8 a factor of v?
True
Suppose -9*w - 1262 = -2*c - 13*w, 2*c = -3*w + 1265. Is 56 a factor of c?
False
Does 15 divide 6/(36/(-1154))*-3?
False
Suppose 14*r = 881 + 3795. Is 17 a factor of r?
False
Suppose 494 = -9*z + 1403. Is z a multiple of 3?
False
Let s(z) = 29*z - 196. Is s(26) a multiple of 16?
False
Let q be (-9)/1*(20/(-12) + 0). Let f = 28 + q. Is f a multiple of 26?
False
Suppose -57 = 5*b + q, 45 = -5*b + 3*q - 8*q. Let d = 75 + b. Does 9 divide d?
True
Let m(r) be the first derivative of -13*r**2/2 + 8*r + 1. Let d be m(-6). Suppose 0*i + d = 2*i. Does 10 divide i?
False
Let n be 304/57*4/((-16)/(-195)). Suppose -2*y = 3*o - n, 2*y + 266 = 3*o + y. Is o a multiple of 8?
True
Let v(k) = 13*k**2 - 1. Let x(u) = -4*u**2 + u + 1. Let b be x(1). Is 17 a factor of v(b)?
True
Let x = 8 - 6. Is 11 a factor of (5 - x) + (4 - (2 + -23))?
False
Suppose 9 + 1621 = 2*c. Is c a multiple of 5?
True
Let a = 17 + -32. Let x(q) = -4*q - 36. Is x(a) a multiple of 2?
True
Is 6 a factor of (14/(-2))/((-17)/731)?
False
Let o(a) = 1 - 14 + 1 - a**2 - 8*a. Does 3 divide o(-5)?
True
Suppose -1 = 4*r - 5*f, r + 14 = -r - 2*f. Does 8 divide r/(-16) - (-93)/12?
True
Let o = 83 + -44. Suppose -17 = -4*r + o. Does 14 divide r?
True
Let c be 0 + -23 + -4 + 6. Let i be (-8)/(-6) - (-7)/c. Let r = i - -2. Does 3 divide r?
True
Let k(h) be the second derivative of 2*h**3 + 2*h + 0 + 9/2*h**2 + 1/12*h**4. Does 24 divide k(-18)?
False
Suppose -4*y + 1 = -w - 2, 0 = -5*w - 2*y + 73. Suppose 4*q = 5*o - q - 40, -q = -2*o + w. Suppose 0 = -o*p + 19 + 56. Does 15 divide p?
True
Let u(f) be the second derivative of f**5/20 + f**4/4 + 2*f**3/3 + f**2 - 2*f. Let w be u(-4). Let b = 50 + w. Is b a multiple of 14?
False
Is (6/(-7))/(8/112)*-24 a multiple of 3?
True
Suppose 5*o - 2*o - 42 = 0. Let a(j) = j - o*j**2 + 18*j**2 - j + 2. Is 24 a factor of a(-4)?
False
Let x(d) = -3*d**2 - 28*d - 1. Let n be x(-9). Suppose 5*s + 4*b = 202, 2*s + 0*b = -2*b + 80. Suppose 5*i - 3*i - s = 4*h, n = -4*h. Is i a multiple of 17?
True
Suppose 3*r + 2*h = 162, 2*h = -3*h + 15. Is 13 a factor of r?
T