2 divide a(-6)?
True
Is 1/(-1) + -44 + 4670 a multiple of 26?
False
Let w = 8553 - -2307. Suppose 43*r - 33*r - w = 0. Does 24 divide r?
False
Let u(n) = n. Let r(d) = d**2 + 2*d + 35. Let l(y) = r(y) - 2*u(y). Is l(5) a multiple of 5?
True
Let z(t) = 82*t**3 + 3*t**2 - 91*t + 174. Is 27 a factor of z(2)?
False
Let v be (3 - 0/(-3))*5*-1. Let y be 5/v - 118/6. Is (1*y)/(-1) - -3 a multiple of 8?
False
Let q(t) = 7*t - 12. Let z be q(-6). Let a = z + 59. Suppose a*f + 365 = 5*d, 6*f - 2*f + 156 = 2*d. Does 17 divide d?
True
Suppose -161*q + 159*q + 2084 = -2*k, -k + 4 = 0. Is q a multiple of 18?
False
Suppose 0 = -4*n - 2*v + v + 685, -2*v + 860 = 5*n. Suppose 6*d - 2*d - 388 = -2*r, -r = -4*d - n. Does 7 divide r?
False
Let x(l) = -4*l**3 - 6*l**2 + l - 36. Does 50 divide x(-8)?
False
Let l = 169 + -173. Is (l/12)/(6/(-8262)) a multiple of 27?
True
Let i be ((-21)/28)/((-18)/8)*27. Let t = -7 - i. Let b = 107 + t. Is b a multiple of 17?
False
Suppose 11*x = 12*x - 806. Does 10 divide (x - -14) + (-7 - -3)?
False
Suppose -2110 = 2*m + 3*k, 2*m = 3*m + 4*k + 1055. Is 15 a factor of (-1 + m/(-3))*6/4?
False
Is 71 a factor of (-151867)/(-31) - 5/1705*-22?
True
Suppose -22*g - 5*u = -21*g - 2655, -5*g - u + 13371 = 0. Does 24 divide g?
False
Let s = -5439 - -11633. Is 163 a factor of s?
True
Suppose 2*w - 7*w + 20 = 0. Suppose 5*u + 11 = -s + 2*u, 0 = 5*s - w*u - 40. Suppose -b - 5*t = -142, 443 = s*b - 5*t - 0*t. Is 8 a factor of b?
False
Let p be (2/(-4))/((-3)/(-72)). Let m be ((-30)/(-7))/(p/(-56)). Suppose -290 = -5*z - m. Is 7 a factor of z?
False
Suppose 0 = -19*y - 1332 + 12808. Let g = 764 - y. Is g a multiple of 12?
False
Does 10 divide 15 + (-418)/22 + (0 - -12011)?
False
Suppose -4*q = 5*d - 36, 0 = 11*q - 6*q - 3*d - 8. Suppose 0 = l - 0*l - 105. Suppose q*t - l = 23. Is 16 a factor of t?
True
Let m(t) = -t**3 - 4*t**2 + 17*t - 24. Is 11 a factor of m(-10)?
False
Let g = -28 - -25. Let h be 39/6 + g/2. Suppose 110 + 410 = h*p. Does 18 divide p?
False
Let r = -747 + 698. Suppose 4 = l + 56. Let x = r - l. Does 3 divide x?
True
Suppose -6795 = -43*a + 12684. Let f = -342 + a. Is 4 a factor of f?
False
Is 5359 + ((-9)/(-9) - 6) a multiple of 138?
False
Is (-14)/(((-304)/(-6648))/(-19)) a multiple of 21?
True
Let f = 4397 + -2484. Is f a multiple of 3?
False
Let s(i) = 9*i**2 + 13*i - 8. Let x be (-8 - -5) + 3 - 3*2. Let v(z) = -19*z**2 - 25*z + 15. Let b(g) = x*v(g) - 11*s(g). Is 32 a factor of b(-3)?
False
Suppose 3*t - 112 = 8066. Suppose t - 846 = 8*i. Is i a multiple of 5?
True
Suppose -573 = 7*f - 2365. Let c = f - 218. Is 9 a factor of c?
False
Suppose 73 = 13*j + 8. Suppose -j*i = -4*x - 160, 12*i + x + 67 = 14*i. Is 3 a factor of i?
True
Let d = 627 + 1864. Is 47 a factor of d?
True
Let j be (-10)/3*45/(-30) - -11403. Suppose -24*o + j = -o. Is 8 a factor of o?
True
Let c = 6 + 95. Let n = c + 539. Is 16 a factor of n?
True
Let c be (5 + 108/(-20))*-55. Does 17 divide 4/c + 11072/88?
False
Suppose -4*h + 84126 = k + 8914, 5*k = -5*h + 94015. Is 76 a factor of h?
False
Suppose 10*s = 0, -2*j = 3*s - 0*s - 4749 - 13383. Is 71 a factor of j?
False
Let n = 8231 - 2550. Is 23 a factor of n?
True
Suppose 34883 = -28*m + 38159 + 292292. Is 52 a factor of m?
True
Let q be 2 - (-1 + -27)/(-2). Let b(s) = 22*s**2 + 6*s - 38. Let g(u) = -51*u**2 - 13*u + 76. Let z(x) = 7*b(x) + 3*g(x). Does 14 divide z(q)?
True
Let o = 6698 - -31574. Is o a multiple of 46?
True
Let a(y) = y**3 + 41*y**2 - 113*y + 44. Does 109 divide a(-39)?
False
Suppose -106*r + 275586 + 158914 = 52*r. Is r a multiple of 108?
False
Suppose -4*k - a + 3 = 0, 2*a = 2*k + 3*a - 3. Is 11 a factor of 8 + k + -8 + 1134/2?
False
Let b(f) = -f - 8. Suppose -40 = -r + 5*r + 4*x, 0 = r + 4*x + 4. Let l be b(r). Suppose 0*c - l*c + 4*p = -1032, -3*c + 798 = 3*p. Does 32 divide c?
False
Suppose -9*y + 3 = -15. Suppose -y*a - 148 + 800 = 0. Does 50 divide a?
False
Let p(i) = i + 75. Let n be p(-28). Suppose 42*s = n*s - 4000. Is 6 a factor of s?
False
Let v = -110 - -114. Suppose -v*f + 72 = -64. Let w = 50 + f. Is 21 a factor of w?
True
Let m be 0 + 4 - 0 - -45. Is 17 a factor of 7/m + 474/14?
True
Let d(g) = -2*g**2 + g**3 + 0 + 0*g**2 + 108 - g - 14. Let i be d(0). Let p = i - 81. Is p a multiple of 13?
True
Does 49 divide (-2088)/(-2610) - (0 + (-105892)/10)?
False
Let z = 135 - 125. Does 34 divide 4084/z - (-62)/(-155)?
True
Let n(u) be the first derivative of -u**4/4 - 5*u**3/3 + 7*u**2/2 + 36*u + 92. Is 14 a factor of n(-8)?
False
Suppose 4*b - 14884 = -3*u, -4*b + 1783 = -5*u - 13101. Does 61 divide b?
True
Let c(x) = -9*x + 21. Let a be (20 - (4 - 5 - -3))/(-2). Does 6 divide c(a)?
True
Let u(r) = -r**2 + 8*r + 13. Let k be u(7). Let z = -56 + 59. Suppose -z*f + 8 = a - f, k = 3*a + 4*f. Is a a multiple of 4?
True
Suppose 2*f + 5*n = 31, -13 = -2*f - n - 2. Suppose 650*h - 140 = 643*h. Suppose -f*v - 2*k + 7 = -h, 3*v - 27 = -k. Does 3 divide v?
True
Suppose -p = 3 - 6. Suppose p*n + n + l = 3, 0 = -4*n + 5*l + 33. Suppose -5*v + n*c + 111 = 0, -2*v - 25 + 82 = -5*c. Is 3 a factor of v?
True
Is 155 a factor of (0 + 1 + -2)*121784/(-8)?
False
Let j(z) = 26*z**2 + 4*z + 24. Let o be j(-8). Suppose 7*c - o - 171 = 0. Does 10 divide c?
False
Let w(c) = 205*c**3 + 2*c**2 - 6*c + 1. Let n be w(4). Suppose -k + n = 18*k. Is k a multiple of 38?
False
Let n(z) = -2*z**3 + 82*z**2 - 381*z - 69. Is n(27) a multiple of 10?
False
Suppose 4*b - 90 = -b. Suppose 0 = -13*r + b*r + 125. Let m = r + 34. Is m a multiple of 2?
False
Suppose -8076000 = -68*v - 172*v. Is 30 a factor of v?
False
Let p(m) = -2*m - 37. Let g(t) = -6*t - 112. Let o(d) = -4*g(d) + 11*p(d). Let h be o(-16). Does 6 divide (234/(-4))/(h/(-12))?
True
Suppose 2145 = -8*b - 5983. Let n = b - -1596. Is n a multiple of 10?
True
Let p(d) be the first derivative of -d**6/120 - d**4/24 - d**3/6 - d**2/2 - 11. Let t(h) be the second derivative of p(h). Is t(-3) a multiple of 10?
False
Let k be 49/(-28) + 14/8 + -1. Is 4 a factor of (k + -1)/4*-38?
False
Let k(d) = -d**3 + 17*d**2 + 25. Suppose -10*j - 56 = -6. Let z(r) = r**2 + 6*r + 22. Let y be z(j). Is 2 a factor of k(y)?
False
Suppose 0 = -20*n + 15069 + 12991. Is n a multiple of 23?
True
Suppose -2*d = 3*d - 2*f + 1109, 431 = -2*d + 5*f. Let a = d + 483. Is 26 a factor of a?
True
Let d = 730 + -1449. Let l = d + 1215. Is 16 a factor of l?
True
Suppose j - g + 1269 = -4*g, -5*j - 6319 = 2*g. Let m = -511 - j. Is 16 a factor of m?
True
Does 3 divide 176813/56 + (3/60)/(40/(-300))?
False
Let g(v) = 64*v**2 + 11*v - 7. Let p(w) = -33*w**2 - 5*w + 3. Let c(m) = 4*g(m) + 7*p(m). Does 11 divide c(3)?
False
Let u(v) = -v**3 + 8*v**2 - 3. Let l be u(8). Let x be (l - -33)*7/14. Suppose 159 = 4*b + x. Is 6 a factor of b?
True
Let t = -7554 + 13862. Is 83 a factor of t?
True
Let n = -505 + 330. Let p = n - -247. Does 12 divide p?
True
Let p = 45 - 53. Let i = 31 - p. Let s = i - 24. Does 3 divide s?
True
Is 3 a factor of ((7 - 15) + -697)*(24/(-9) + 2)?
False
Let c be 5 + -1 - (-4)/(-14)*14. Suppose 3*u + 2*h - 83 = 2*u, c = 3*u - h - 235. Does 8 divide u?
False
Suppose -5*i = 5, b - 4*b - i + 14 = 0. Suppose b*k = 9 + 6. Is (24 + k)/((-1)/(-7)) a multiple of 21?
True
Let w(t) = -t**2 + 8*t + 4. Let o be w(6). Suppose 3*h = o + 5. Suppose h*m - 63 - 217 = 0. Is 6 a factor of m?
False
Let u(y) = -y**3 + 12*y**2 - 13*y + 3. Let a be u(11). Let d = a - -21. Suppose n + 2 + d = 0, 5*n + 71 = j. Is 17 a factor of j?
True
Let h be 44/(-12) + (-1)/3. Let x(a) = -20*a**2 + 11*a + 7. Let o(k) = 16*k**2 - 10*k - 7. Let u(m) = -7*o(m) - 6*x(m). Is u(h) a multiple of 17?
True
Let y = 32889 + -25474. Is y a multiple of 62?
False
Suppose -4*v + 342 = -0*v + 2*z, 2*z - 426 = -5*v. Is 4 a factor of (-2 + v)*(-7)/(-14)?
False
Suppose 0 = -110*r - 108*r + 3077523 + 2297485. Is r a multiple of 23?
True
Suppose 55*b = 66*b - 89320. Is b a multiple of 29?
True
Let u(m) = -m**3 - 38*m**2 - 72*m + 52. Let v = -9 - 27. Is u(v) a multiple of 7?
False
Let v = -702 + 773. Is 15 a factor of 13135/v + (5 - (-2)/(-1))?
False
Let d(j) = j**3 + 42*j**2 - 86*j - 127. Is 105 a factor of d(-22)?
True
Let q = 7803 + -7803. Let c = -2 + 4. Suppose -c*h + 270 + 162 = q. Is 15 a factor of h?
False
Let g = -2330 + 1483. Le