uppose 541*n - 542*n - 169 = 0. Let z = 552 + n. Is z a multiple of 8?
False
Is 857328/(-72)*((-45)/2)/15 a multiple of 11?
False
Suppose 0*o = -5*s - 3*o + 64725, -3*o = -s + 12927. Is s a multiple of 6?
True
Let c(k) = -12*k**2 + 7*k - 9. Let z be c(5). Let u = -33 - z. Does 31 divide u?
False
Suppose 12*z - 8 = 16. Suppose -4*h - 15 = -5*i, 0 = 3*h - h + z*i - 6. Suppose 2*n - 4*n + 464 = -4*y, 4*y + 8 = h. Is n a multiple of 24?
False
Let c(f) = f + 11. Let m be c(-10). Let k be m/((-1)/(1 - 0)). Is 12 a factor of 90 - (-9 - k)/4?
False
Let d(u) = 8*u**3 - 12*u**2 - 7*u - 4. Let x be d(-3). Let y = 751 + x. Is y a multiple of 11?
False
Let p = -9839 + 13493. Is p a multiple of 203?
True
Suppose 1 = m, 2*h - 10 = h - m. Let z(p) = -4*p**3 + p**3 + 6*p**3 - 3*p - 21 + 10*p**2 - 4*p**3. Is z(h) a multiple of 6?
False
Suppose 97*d - 45620 = 34890. Is d a multiple of 15?
False
Is (38190/50 - -7) + 4/15*-3 a multiple of 2?
True
Let o = -223 + 349. Does 76 divide (2559 + 0)/(o/84)?
False
Suppose -23*d = 8*d + 65*d - 1416960. Is 41 a factor of d?
True
Suppose -3*v - 874 = 5*f, -4*f = 4*v - v + 698. Let l = 321 + f. Does 8 divide l?
False
Let y = -6471 + 8808. Is y a multiple of 123?
True
Let n(a) = -15*a + 6*a - 8 + 2 + 8*a. Let i be n(-6). Suppose w = -v - 3*v + 112, v + 4 = i. Is w a multiple of 16?
True
Suppose -59*g + 522777 + 1595833 + 1478030 = 0. Is g a multiple of 20?
True
Suppose 0 = -17*v + 83 + 2. Is (v/15)/(8/9840) a multiple of 23?
False
Does 50 divide -2730*((-3)/(-9))/((-13)/3 + 4)?
False
Suppose -7*a = 1048 + 135. Let c = 187 + a. Does 9 divide c?
True
Does 19 divide ((-297)/22 + 12)*58*-89?
False
Let l(p) = p**3 - 6*p**2 - 15*p + 42. Let k be l(7). Let m(j) = 2*j**2 + 20*j - 19. Is m(k) a multiple of 18?
False
Let c(k) = 6*k**3 - k**2 - k - 2. Let z(g) = 27*g - 52. Let o be z(2). Does 2 divide c(o)?
True
Let q(n) = 12*n**2 - n. Let o(r) = r**3 + 4*r**2 - 5*r - 1. Let l be o(-5). Let s be q(l). Suppose -s = -v - 3. Is v a multiple of 2?
True
Does 14 divide (-108825)/(-30) - (-1 + 6/(-12))?
False
Let h = 11663 + -5039. Does 138 divide h?
True
Let x(d) be the third derivative of d**4/3 + 19*d**3/3 + 9*d**2. Let j be x(5). Suppose 44 = r - 2*b, 0*b - j = -2*r - b. Does 9 divide r?
False
Let g(n) = 11*n - 321. Let w be g(30). Does 9 divide ((-1260)/(-40))/(w/132)?
False
Suppose 0 = 20*o - 14*o - 5400. Suppose -7*l = 8*l - o. Is 12 a factor of l?
True
Let t = 85 + -24. Does 31 divide (-34)/(t*(-4)/(-62) - 4)?
True
Suppose -5*f - 880 = -170. Let l = 385 - f. Does 59 divide l?
False
Suppose -3*n + 1680 = -3*f + 4*f, f + 5*n = 1680. Suppose f = c + 6*c. Is 15 a factor of c?
True
Suppose -5*z + 4456 = z + 376. Does 2 divide z?
True
Suppose 164 + 109 = 7*s. Suppose -5*j = 5*p - 40, -2*p = -0*p - 4*j - 46. Suppose 689 = p*g + s. Is 50 a factor of g?
True
Suppose 33 = -4*y - 107. Let p be 50/y - 12/21. Does 5 divide ((-42)/(-4))/(p/(-4))?
False
Let w = -211 + 477. Let p = w - -503. Is p a multiple of 37?
False
Let q = 96 - 176. Let r = q + 236. Does 26 divide r?
True
Let a = 9 + 18. Let j = 31 - a. Suppose j*x - 4 = -5*q + 54, -q - 19 = -x. Is x a multiple of 17?
True
Suppose 0 = -118*g + 174*g + 9184. Let r = -239 - -148. Let x = r - g. Is x a multiple of 12?
False
Does 60 divide (17/(-5) - -4) + (143712/30 - -9)?
True
Let i = 4 - -272. Is 41 a factor of i?
False
Let a(x) = -3*x + 17. Let t(s) = s**2 + 2*s - 2. Let b be t(5). Let v = b - 33. Does 17 divide a(v)?
True
Let g(v) = -2*v**3 + 29*v**2 - 79*v - 11. Is g(8) a multiple of 19?
False
Is 5560 - ((-2)/19 + (-8832)/(-874)) a multiple of 5?
True
Let d be (22 + -5)*(28 - -1). Let t = d - 280. Is 71 a factor of t?
True
Suppose -3*u = -9*l + 46305, -7*u + 5*u - 15435 = -3*l. Is 10 a factor of l?
False
Let g = 7420 + -4695. Does 132 divide g?
False
Is (-86 + 83)*-5*36 a multiple of 18?
True
Let q be (-6)/(-21) + (-19)/(-7). Let z = q + -8. Let h = z - -42. Does 37 divide h?
True
Let m = 43758 - 40238. Is 64 a factor of m?
True
Let s(c) = -8*c - 56. Let h be s(-8). Is 5 a factor of (16/(-64) + (-10)/h)*-10?
True
Let h be (204/26 - 6) + (-6)/(-39). Suppose d = h*o + 117, -10*d - o + 530 = -5*d. Does 26 divide d?
False
Suppose 42*i = 259*i - 90706. Is i a multiple of 19?
True
Let o(f) be the first derivative of -f**3/3 + 3*f**2 + 36*f + 4. Let a be (-279)/(-63) + (-4)/(-7) - -4. Is o(a) a multiple of 3?
True
Let t = -4560 - -9552. Is t a multiple of 8?
True
Let w be 3/((-52)/16 + 4). Suppose -2*r + 6678 = w*r. Does 12 divide r?
False
Let w = 812 + 8. Let p = -539 + w. Does 45 divide p?
False
Let z = -18067 + 28213. Does 11 divide z?
False
Suppose 14*n = 3*g + 19*n - 19784, -5*g + 32964 = -n. Does 10 divide g?
False
Let q(a) = -39*a - 54. Let c = 209 - 215. Does 8 divide q(c)?
False
Is 33 a factor of 287162/38 - (3/(-114)*118 - -3)?
True
Let g(n) = 12*n - 22. Suppose -2*t = -50 + 42. Suppose t*s + 2*s - 54 = 0. Is g(s) a multiple of 43?
True
Let d be ((-20)/(-10 - 10))/(-1). Let w(p) be the third derivative of p**4/12 + 4*p**3/3 - p**2. Is w(d) a multiple of 3?
True
Suppose -1389 - 237 = -5*n - 2*i, -2*n + 660 = -4*i. Let y = -244 + n. Is 4 a factor of y?
False
Let i = 5681 - 3668. Is 81 a factor of i?
False
Let i(m) = 5*m + 3*m - 14*m + 39 + 1 + 5*m. Suppose -71 = -3*j - 5*c, -c + 6*c = j - 17. Is i(j) a multiple of 9?
True
Suppose -182 = -6*a - 3224. Let d = a - -713. Suppose 0 = -3*m + d + 766. Is 54 a factor of m?
True
Let t(k) = k**3 - 6*k**2 + 9*k - 11. Let u be t(5). Let b = 14 - u. Suppose -2*r + 4 = v - 51, -2*r + 25 = -b*v. Is r a multiple of 3?
False
Suppose -14*z - 41496 = -30*z - 4*w, 3*z = -5*w + 7806. Does 144 divide z?
True
Let h be (-24 - -27)/(2/346). Suppose h = -13*x + 1910. Does 2 divide x?
False
Suppose 2*t - 8 = 0, 2*g = -4*t + 35 + 1. Suppose g*a = 4*a + 348. Let k = a - 22. Is k a multiple of 8?
False
Let t be -3*(1 + (-4)/12)*-2. Is (252/35)/(t + (-957)/240) a multiple of 48?
True
Let u(v) = v - 5. Let o be u(5). Suppose 2*c - 233 = -5*p, c - 93 = -o*p - 2*p. Suppose -6*l + 1 = -p. Is l a multiple of 2?
True
Let c(y) = -37*y. Let l be c(-1). Suppose -2*o - l = -337. Suppose p = 6*p - o. Is p a multiple of 6?
True
Suppose 77283 = 74*u - 103055. Is 9 a factor of u?
False
Suppose -67593 - 93527 = -19*j. Is 16 a factor of j?
True
Suppose h + 39 = 5*f, 5*h = -0*h - 20. Let i(z) = -f + 30*z + 29*z - 5*z - 83*z. Does 10 divide i(-3)?
True
Is 18 a factor of -59398*(-2)/30 - (-38)/285?
True
Let x = 3126 + -2070. Is 5 a factor of x?
False
Let y be (-3)/(-6) + 2/(-8)*2. Suppose -132*f + 130*f + 686 = y. Suppose -3*a = -5*h - f + 12, a - 2*h = 109. Does 39 divide a?
True
Suppose 61*z - 272673 = -104557. Is z a multiple of 26?
True
Suppose -4*w + 6049 = 2*j - 25961, -5*j = w - 79962. Does 17 divide j?
False
Let x(i) be the second derivative of -4*i**5/5 - i**4/4 - 7*i**3/6 - 19*i - 2. Does 8 divide x(-3)?
False
Let i = -15 - -14. Does 8 divide -1 + i + 2 + 352/1?
True
Let k(p) be the third derivative of -p**4/4 - 23*p**3/3 - 14*p**2 - p. Does 8 divide k(-30)?
False
Let a(x) = -6*x + 8. Let j be 78/819 - 128/21. Is 11 a factor of a(j)?
True
Is 84 a factor of ((-9)/(-30) - 2077/(-310)) + 5286 + -1?
True
Let f = -102 + 90. Let x = f + 110. Is x a multiple of 3?
False
Suppose -4*q + 3*z + 16 = 0, 5*q - 20 = -8*z + 5*z. Suppose 5*h + 57 = -q*f - 0*h, -23 = f + 3*h. Let i = 36 + f. Does 7 divide i?
True
Let t(r) = -34*r + 17. Let x be t(-26). Let s = -561 + x. Is 20 a factor of s?
True
Let j be 2/14 + 1908/(-28). Let x = j - -98. Suppose h - 34 = -x. Is 2 a factor of h?
True
Let l(m) = m**2 + 14*m - 46. Let o be l(5). Suppose o - 217 = -2*k. Is 7 a factor of k?
True
Let i(l) = -2*l**3 - 35*l**2 + 129*l + 117. Does 141 divide i(-39)?
True
Is (58/(-12))/29*-15186 a multiple of 7?
False
Let y(l) = 273*l**2 + 822*l + 16. Is y(-10) a multiple of 14?
True
Suppose -4*n = 4*y - 38072, -y = 3*n - 3827 - 5677. Is y a multiple of 15?
True
Let v(p) = p**3 + 7*p**2 + 7*p - 3. Let x be v(-6). Let d(k) = -k - 15. Let l be d(x). Does 21 divide (l/((-1)/1))/((-46)/(-161))?
True
Let w = -2 + 64. Let z = 37 - w. Does 13 divide (-364)/(-7)*(z/2)/(-5)?
True
Let l(s) = -s**3 + 55*s**2 - 17*s + 176. Is l(53) a multiple of 21?
True
Let q = 10845 + 8098. Is q a multiple of 29?
False
Let u be 19/3 - 38/(-57). Su