= -5*k + 96, k + 4*h - 128 = 0. Suppose -11*j + 6*j - k = 0. Let w = j + 94. Does 17 divide w?
False
Let v be (-4)/(-6*(-12)/(-90)). Suppose v*n - 4*r = 213, -5*n + 62 + 139 = 2*r. Does 39 divide n?
False
Suppose -39*h - 57 = -36*h. Let w(y) = 13*y + 410. Does 18 divide w(h)?
False
Is ((-615)/410)/(6/(-3040)) a multiple of 19?
True
Suppose -3*x + 3*q = -4*x - 9, 2*x - q = 3. Suppose 9*f - 19*f + 150 = x. Is 2 a factor of 0 + (-4)/((-20)/f)?
False
Suppose 4*r + 5*m - 11 - 2 = 0, 4*m = -4*r + 12. Suppose r*h - 4*a = 10, -5 = -2*h + a + 5. Suppose h*y - 66 = 109. Is y a multiple of 7?
True
Suppose -3*v + 4*h = h, -2*v - 5 = -h. Let n be 8/(-4) + (-2 - 6). Does 7 divide (-424)/n + 22/v + 4?
True
Is 25 a factor of 1298 - ((-1)/(-3) + (-2072)/(-444))?
False
Let t(p) = -p**3 + 4*p**2 + 10*p + 25. Let m be t(-7). Suppose -d + m = -5*s, -3*d + 3*s + 1086 = -432. Does 17 divide d?
False
Suppose 3*y + 2*y = 575. Suppose -6*g + 35 = -y. Suppose -4*j = -g - 27. Is j a multiple of 3?
False
Let j = 1666 + -1631. Let z = 4 + 1. Is (-4)/z - (-8778)/j a multiple of 25?
True
Let q(k) = -k**3 + 5*k**2 - 2*k - 2. Let o be q(3). Suppose o = 5*f - 10. Suppose -3*x - 62 = -4*x + 3*w, f*w = 5*x - 266. Is x a multiple of 10?
True
Let t be ((-27)/6)/(-2 + 36/16). Let j = 243 + t. Let z = j - 131. Does 9 divide z?
False
Let x be 2*((-14)/12)/(-7)*9. Suppose 0 = x*y - y + 100. Let r = y - -85. Does 5 divide r?
True
Let w(p) = 65*p**2 - 16*p - 25. Is 21 a factor of w(-6)?
False
Let a(x) = -2*x**3 - 2*x**2 - 6*x - 8. Let o be a(-2). Let s(n) = 1. Let u(b) = -3*b + 3. Let g(j) = -6*s(j) - 2*u(j). Does 10 divide g(o)?
True
Suppose 7*s + 3*c - 71412 = 45450, -3*s + 50081 = 4*c. Is 28 a factor of s?
False
Suppose 3*q = 3, -4*a + 6*q = 2*q + 824. Let y = a - -469. Does 12 divide y?
True
Let y(l) = -3*l**2 - 5*l - 2. Let k(d) = d**2 + d + 1. Let g(n) = -4*k(n) - 2*y(n). Let w(u) = u**3 - 2*u**2 - 5*u + 2. Let j be w(3). Is g(j) even?
True
Suppose -263*c + 3708332 = -1013419 - 1624439. Is 38 a factor of c?
True
Suppose 2*d = a + 34475, -17*d + 18*d - 17250 = -2*a. Is 8 a factor of d?
True
Suppose 5*k = 2*m + 39 - 11, 8 = -2*m. Suppose 0*q + 4*q = 8. Suppose q*y = k*h - 280, 71 + 13 = h + 3*y. Is h a multiple of 9?
True
Suppose -4*l = -t + 342, -5*t + 3*l + 1967 = 189. Let b = t - -13. Is 7 a factor of b?
True
Let j(i) = i**2 + 14*i + 24. Let s be j(-13). Let f = s + 14. Is 25 a factor of f?
True
Does 128 divide (2 + (-33402)/(-9))/((-24)/(-36))?
False
Suppose 47*s - 2908 - 11544 = 46*s. Is s a multiple of 87?
False
Let y be (2 - 39/18)/(3/(-90)). Is (824/y)/(6*(-2)/(-30)) a multiple of 4?
True
Suppose -62352 - 27626 = -87*b + 88546. Is 6 a factor of b?
True
Is 19452/(-24)*(4 - 6) a multiple of 9?
False
Suppose -69*d + 73*d = 16. Does 12 divide (-1)/((d - 1)/(-1668))?
False
Is 22 a factor of (-21 + -32589)/(((-273)/(-14))/(-13))?
False
Let c = 323 - 640. Let k = 344 + c. Does 21 divide k?
False
Suppose u + u = -2*q - 576, q + 5 = 0. Let h be (-14)/(-21) - 946/6. Let s = h - u. Is s a multiple of 11?
False
Suppose c + 8815 = 3*m, c + 14687 = 5*m + 4*c. Is m a multiple of 13?
True
Let y be (-30)/12*8/(-10). Suppose y*w - 4*r = 28 + 10, 4*w = 5*r + 61. Is w a multiple of 3?
True
Suppose 5*o = 3*c + 7930, -12*o + 10*o - 4*c = -3198. Suppose -3*j = 2*q - 1564, -4*j - 2*q + o = -497. Is 25 a factor of j?
False
Suppose -3*h + s = -8, -4*s = h - 19 - 1. Suppose -h*u + 928 = -2*u. Suppose -u = -3*o - o. Is o a multiple of 29?
True
Let q(v) = -5*v**2 - v + 3 - v**2 - 2*v**3 + 3*v**3. Suppose -o - 2 = -0*o, 3*i + 3*o - 15 = 0. Is q(i) a multiple of 14?
False
Let x(g) = g**3 - 31*g**2 + 71*g - 129. Is x(29) a multiple of 109?
False
Let o(f) = -f**2 - 28*f - 17. Let i(w) = 2*w**2 + 59*w + 33. Let x(j) = -2*i(j) - 5*o(j). Is x(-30) a multiple of 7?
True
Let c be 6/33 + (-2550)/(-11). Let w = -150 + c. Suppose -6*p = -4*p - w. Does 6 divide p?
False
Let o(m) = -31*m**3 + m**2 + 8*m + 4. Let b(w) = -2*w**3 + 27*w**2 - 13*w - 2. Let l be b(13). Does 40 divide o(l)?
True
Suppose -4*x + 26887 = 345*j - 340*j, x + 2*j = 6718. Does 21 divide x?
False
Let f(c) = 1683*c**2 - 136*c - 1. Does 14 divide f(-2)?
False
Suppose 35102 + 323086 = 57*u. Is u a multiple of 36?
False
Let i = -1967 + 3038. Does 3 divide i?
True
Let u(s) be the third derivative of s**6/120 - 17*s**5/60 + 4*s**4/3 - 5*s**3/3 - 135*s**2. Does 89 divide u(18)?
True
Let t be (-10)/4*((-3 - -3) + 2). Let w be (2/t)/(4/(-640)). Suppose -37*s + 33*s = -w. Does 16 divide s?
True
Suppose -43*c + 26 = -44*c - 5*n, 0 = -4*c - 5*n - 29. Is c/(3 - (-854)/(-284)) a multiple of 6?
False
Let s = -53 + 59. Suppose -3*h + 1254 = 4*a, -s*h = -h - 10. Is 13 a factor of a?
True
Let j(f) = 6*f - 6. Let m be j(11). Let g be 4/10 + (-32)/m*-3. Suppose o - i = 3*o - 18, -3*o - g*i = -26. Is o a multiple of 2?
True
Suppose 30*r - 3738 = 23*r. Let c = -174 + r. Is 36 a factor of c?
True
Let a = -1673 - -3713. Is a a multiple of 12?
True
Let a = 7234 + -1197. Does 19 divide a?
False
Suppose 5*x - 4523 - 2112 = 0. Suppose -x - 113 = -20*d. Is d a multiple of 12?
True
Let n(x) = -x**3 - 13*x**2 - 15*x - 20. Suppose 5*w - 5*c = -30, w + 16 = -w + 3*c. Let j be (-9)/(-12) - w*153/(-24). Is n(j) a multiple of 3?
False
Let g(y) = y**3 - 14*y**2 - 29*y + 23. Let n be g(17). Let x = 557 - n. Is x a multiple of 8?
True
Let u(j) = -j**3 - 19*j**2 + 69*j - 413. Is u(-30) a multiple of 29?
False
Let m = -922 - -925. Suppose 1660 = 4*z - 4*h, 44*h + 1273 = m*z + 48*h. Is z a multiple of 16?
False
Suppose 7*f = 435 + 510. Let k = 201 - f. Does 3 divide k?
True
Let j(h) = 2596*h**3 + h**2 - 7*h + 2. Does 96 divide j(1)?
True
Let s = 4608 + -1536. Is s a multiple of 96?
True
Let z(x) = 5*x**2 + 143*x + 8. Let b be z(-25). Let a = -312 - b. Is 13 a factor of a?
True
Let p be (10/3)/((-36)/(-54)). Suppose p*s + 0*s - 4*c = 27, -c + 12 = 5*s. Suppose -540 - 153 = -s*u. Does 18 divide u?
False
Let o = 15647 + -10913. Is o a multiple of 21?
False
Let l(n) = 7*n**3 - 8*n**2 - 6*n + 4. Let f be l(4). Suppose 7*u + f = 3*s + 4*u, -2*u = 4*s - 376. Is s a multiple of 12?
True
Let m(v) = -v. Let p be m(-5). Suppose 141 = -p*i + 2*i. Let d = 9 - i. Is d a multiple of 14?
True
Let r be ((-176)/(-132))/((-4)/(-768)). Let v = -469 - -325. Let j = r + v. Is 11 a factor of j?
False
Let q(k) = 7*k**3 + 2*k - 12. Let y be q(4). Let g = 872 - y. Is g a multiple of 70?
False
Let k = 175 + -140. Is 7 a factor of 1 + (-25)/k + (-1464)/(-21)?
True
Suppose 5*k - 794 = -3*i, 3*i = 2*i + 5*k + 298. Suppose 8*s - i - 623 = 0. Does 4 divide s?
True
Suppose -a - 42*s = -37*s - 5276, 4*a - 21028 = -s. Does 72 divide a?
True
Let r = -129 - -132. Suppose 324 = j + 2*w + 4, -952 = -r*j + 2*w. Is 53 a factor of j?
True
Let m(j) = j**3 + 25*j**2 + 35*j + 23. Let h be m(-24). Let f = -124 - h. Does 6 divide f?
False
Let u = -64304 - -147601. Does 22 divide u?
False
Let s = -130 + 79. Let j = -49 - s. Suppose -3*z + 54 = -j*z. Is z a multiple of 21?
False
Suppose 2*i - 16 = -6*i. Let m be i + 0 + 0/(-4). Suppose -304 = -m*d - 6*d. Is d a multiple of 19?
True
Suppose 6*f - 105 = -135. Is 9*f*(-612)/54 a multiple of 30?
True
Suppose -2*z = 15*u - 10*u - 95, 0 = -4*u - 2*z + 74. Let n(l) = 44*l - 338. Does 95 divide n(u)?
False
Suppose 3*h - 6*m + 11*m = 0, h + 3*m + 4 = 0. Let l(n) = 6*n - 13. Let o(w) = -5*w + 12. Let g(z) = h*l(z) + 4*o(z). Is g(11) a multiple of 21?
False
Let v = -12963 - -18267. Is 136 a factor of v?
True
Let s = -7223 + -1033. Is (-48)/80 - s/10 a multiple of 55?
True
Let l = 21271 + -8391. Is 140 a factor of l?
True
Let o(q) = -2*q**2 + 10*q + 305. Let v be o(15). Let k(s) = 12*s - 15. Let b(n) = 84*n - 104. Let p(x) = 3*b(x) - 20*k(x). Is p(v) a multiple of 5?
False
Let k(g) = -246*g + 18. Let q = -573 - -572. Does 12 divide k(q)?
True
Suppose 6*m = 151 - 439. Is 12 a factor of (-10784)/m - 8/(-6)?
False
Suppose 53 = u + 48. Suppose -4387 = -u*n - 4*d, -4*n + 3506 = 4*d + d. Does 10 divide n?
False
Suppose 3*o + 4*x - 24 = 4*o, 2*o + 52 = 4*x. Let m = o + 115. Suppose 0 = 3*p - 57 - m. Is 8 a factor of p?
True
Suppose 8*c = -36 + 116. Let p = -6 + c. Suppose p*m - 102 = 418. Does 14 divide m?
False
Let z be -6*(-5)/10 + 2. Suppose 0 = -5*d + p - 6 + 25, 0 = -5*d - 4*p + 24. Suppose z*i -