) = -16*y**3 - y**2 + 2. Let d be u(1). Is 54 a factor of 48/((-4)/(-36) + d/189)?
True
Let i(l) = -l**3 - 2*l**2 - 2*l + 2. Let m be i(0). Suppose -m*y + 5*n + 1631 = 0, 4*n + 824 + 1605 = 3*y. Suppose 197 + y = 8*x. Does 35 divide x?
False
Let l = -9290 + 6467. Is (-12)/(-33) - l/11 a multiple of 22?
False
Is 6 a factor of (-54244)/(-8) + 86/(-172)?
True
Suppose h - 20*h - 28778 = -175135. Does 23 divide h?
False
Let l(w) = 2*w - 21 - 132*w**2 + 133*w**2 - 3*w. Let g be l(-7). Suppose -x = -g + 8. Is 2 a factor of x?
False
Let t be (106/4)/((-1)/(-2)) + 3. Let g be (t/(-6))/(26/(-117)). Suppose -2*v + g = 2*a, v + 2*v + 4*a - 64 = 0. Is v a multiple of 5?
True
Let x(r) = -r - 16. Let u be x(-21). Suppose 0 = u*s - 4*z - 12, 3*s + 5*z - 16 = 6. Suppose 2*n - n = 2*m + 64, -s*m + 172 = 3*n. Is n a multiple of 12?
True
Suppose -9 = -4*a - 5*q + 14, 15 = 5*q. Suppose 14 = b - g, 5*b = -a*g + g + 82. Let o = 8 + b. Is 4 a factor of o?
True
Suppose -24 = 4*c + w, -c - 2*w = 2*c + 18. Let q(i) = -2*i**3 + 15*i + 5. Does 39 divide q(c)?
False
Let k(n) = -3*n**2 + 12*n - 3. Let c be k(5). Suppose 0 = 5*i - 4*v - 1241, -5*v - 751 = -3*i - v. Let q = i - c. Does 51 divide q?
False
Suppose -4*c + 18108 = 4*z, -4*z + 10 + 10 = 0. Is 6 a factor of c?
False
Does 33 divide 87/(7/(-1386)*-6)?
True
Let l(v) = 3*v**2 - 56*v + 65. Let i(g) = -g**2 + 19*g - 22. Let f(n) = -11*i(n) - 4*l(n). Is 18 a factor of f(9)?
True
Suppose 32*f - 151 - 137 = 0. Suppose 0 = f*t - 27*t + 25902. Is t a multiple of 94?
False
Let w(k) = 89*k**2 - 237*k + 56. Is 3 a factor of w(-11)?
False
Let o(v) = v**3 + 6*v**2 + 6*v + 9. Let z be o(-5). Suppose -z*u + 382 + 338 = 0. Is 15 a factor of u?
True
Let f = -2554 + 4363. Is 9 a factor of f?
True
Let v = 105 - -13. Suppose -4*l - t + 110 = 0, v = 4*l + 3*t + 2*t. Does 9 divide l?
True
Let r(l) = 55*l - 21. Let x be r(9). Suppose x = 8*i - 5*i - 2*g, 0 = -5*g - 15. Is i a multiple of 25?
False
Suppose 2*h = -2*h - 5*j + 169, 4*h - 149 = -j. Does 74 divide h/(-60) + 8136/10?
False
Suppose -103321 = -54*c + 96911. Does 9 divide c?
True
Let p(f) = f**2 + 3*f + 2. Let i be p(-3). Suppose 12 = 2*a - i*q, -4*a + 0*a = 3*q + 4. Suppose -4*l = a*z + z - 67, -2*z = l - 13. Is 2 a factor of l?
False
Does 28 divide (-7 - 826/(-119)) + (-1626974)/(-391)?
False
Suppose -2*c + 713 - 731 = 0. Does 65 divide c/6*(-117)/27*100?
True
Let u = -200 + 116. Suppose -3*d = 5*w + 9, w + 2*d = -3*d - 15. Does 17 divide w - (4 - (-1 - u))?
False
Let c = -1142 - -421. Let r = 737 + c. Is 8 a factor of r?
True
Let u(v) = v**3 - 18*v**2 - 30*v + 936. Is 16 a factor of u(20)?
True
Let u(d) = 614*d**2 + 399*d - 1973. Does 26 divide u(5)?
False
Does 15 divide 12220*408/576 - 2/(-12)?
False
Suppose 0 = -2*i + 3*r + 4282, 3*r - 2*r + 10692 = 5*i. Is i a multiple of 61?
False
Let l(t) = 19*t**2 - 3*t + 1. Let s be l(2). Let x = s - 73. Is 11 a factor of x*2/4*-12 + 0?
False
Let t(v) = -104*v + 1739. Does 156 divide t(-91)?
False
Let y(z) = 2*z**2 + 116*z + 8645. Is y(-97) a multiple of 29?
True
Let l(m) = 1286*m - 6292. Is 58 a factor of l(26)?
True
Suppose -81*g - 40592 = -124427. Does 9 divide g?
True
Let p be (-5)/(-2) + (-6)/(-2*6). Suppose p*s + 29 - 9 = 4*c, c = -5*s - 18. Suppose 0*j + c*b - 36 = -5*j, 2*j + b = 14. Does 7 divide j?
False
Suppose 31 = 3*n + 13. Let x(j) be the second derivative of 4*j**3/3 + 4*j**2 - 69*j. Is 56 a factor of x(n)?
True
Is (-2 + -1 - (-22 - -20) - -2)*5861 a multiple of 8?
False
Let x = 22 - -34. Let j = x - 36. Suppose -p + j = -4. Is 8 a factor of p?
True
Let u be 6 + (-174)/24*-4. Is 38 a factor of 24/56 - (-6635)/u?
True
Let q(w) = 16*w**2 + 109*w - 34. Let f be q(-29). Suppose -f - 5214 = -25*g. Is g a multiple of 19?
False
Let d be (26/10)/(-2*5/(-50)). Is 522/((234/12)/d) a multiple of 29?
True
Let w(p) be the second derivative of -97*p**3/6 + 53*p**2/2 - 16*p. Let s be w(-15). Suppose 5*l - 4*b - s = 0, -2*l = l + 5*b - 890. Is 20 a factor of l?
True
Let l be (-1)/2*20*7. Let p = 13 - -89. Let k = p + l. Is k a multiple of 4?
True
Let i be 1836/4 - (-5)/((-15)/6). Let f = i + -142. Is f a multiple of 19?
False
Suppose -2*x - 117*x + 878469 = -296418. Is x a multiple of 7?
False
Let o(d) = -28*d**2 - 6*d + 10. Let l(g) = -g**2 - 2*g - 2. Let j(u) = 4*l(u) - o(u). Is 51 a factor of j(-3)?
True
Let v(u) = 5*u**2 + 21*u - 113. Is 4 a factor of v(6)?
False
Let y(o) = 2663*o**3 - 3*o**2 + 2. Is y(1) a multiple of 11?
True
Let l(k) = 3*k**3 - 20*k**2 + 48*k + 17. Let s(g) = 4*g**3 - 21*g**2 + 49*g + 18. Let q(j) = -5*l(j) + 4*s(j). Is q(-18) a multiple of 12?
False
Let w(u) = u**2 - 15*u + 2. Let t(r) = r**2 - 15*r + 2. Let b(v) = 5*t(v) - 6*w(v). Suppose 0 = 4*i - 4, 2*i + 59 = 4*g + 17. Is 23 a factor of b(g)?
False
Let b = 57 + -53. Suppose -5 + 0 = k - 3*x, b*k + x - 32 = 0. Suppose -k*j + 16 = -82. Does 7 divide j?
True
Let u = -101 - 4. Let z = u - -265. Suppose -17 = -x + 5*a + 13, -3*x + a = -z. Does 7 divide x?
False
Does 21 divide (15 + -15 - 34089)/((-3)/4)?
False
Let m = -2198 - -1081. Let y = -442 - m. Is y a multiple of 45?
True
Suppose 5*l = 4*v + l - 65156, -3*l = -v + 16275. Is v a multiple of 42?
True
Let h(b) = 4*b**3 - 17*b**2 + 9*b + 33. Let y(g) = -9*g**3 + 35*g**2 - 17*g - 66. Let c(m) = -7*h(m) - 3*y(m). Is c(11) a multiple of 13?
False
Suppose -205*c + 185087 = -68*c. Is c a multiple of 67?
False
Suppose -10*l + 4*c + 1440 = -6*l, 4*l + 5*c - 1395 = 0. Let v = -229 + l. Is v a multiple of 42?
True
Suppose -3*o - 4*r = -6710, -5*o + 5847 = 5*r - 5343. Does 119 divide o?
False
Is 14 a factor of (-1298700)/(-63) + (-2)/7 - (-3 + -5)?
True
Suppose -2*y + 26 = -3*y - 5*a, 0 = 4*y + 2*a + 14. Is 14 a factor of 0 + 1 - y*(2 - -179)?
True
Let a = -799 - -801. Is 15 a factor of (-830)/(a - (-16)/(-6))?
True
Let h = 209 - -81. Let q = 521 - h. Is q a multiple of 21?
True
Let j(w) = -21*w + 69. Let i(d) = -5*d + 13. Let l be i(6). Is j(l) a multiple of 6?
True
Let g = 273 - 146. Suppose -3*w = 5*k - 280, -2*k - 39 = w - 131. Let m = g - w. Is 3 a factor of m?
True
Suppose 3*u - 3*l + 3 = 0, -4*u = -5*l + 4*l - 11. Suppose 35 + 68 = 2*r - 3*c, -u*c - 20 = 0. Is r a multiple of 22?
True
Suppose 80 = -2*p + 422. Suppose 15*c + l = 12*c + p, 0 = 4*c + l - 227. Does 7 divide c?
True
Let b = 73 - 68. Suppose 5*n + 4*k = 1114, -3*n + b*n - 456 = k. Suppose n - 658 = -18*i. Does 2 divide i?
True
Let b = -5611 - -6747. Does 8 divide b?
True
Let x = 2079 - -9159. Is x a multiple of 35?
False
Suppose 5*f - z - 8472 = 0, 7*f - 5*f + z = 3386. Does 67 divide f?
False
Suppose -4*l = -20, -470*l = -4*w - 466*l + 7104. Is 10 a factor of w?
False
Suppose -3*q - k + 25 = 0, 5*k + 0 - 55 = -5*q. Suppose 2*r = -2*z + 666, -2*z = -2*r - q*z + 654. Is r a multiple of 23?
False
Let f(n) = -33*n**2 + 5*n + 6. Let x(i) = 1. Let l(u) = -f(u) + 3*x(u). Let j(t) = -98*t**2 + 14*t + 8. Let m(a) = -3*j(a) - 8*l(a). Is 20 a factor of m(-2)?
False
Let s(x) = -4*x + 1. Let v be s(-1). Suppose 0 = b - 3*c - 16, -4*b + 12 = -349*c + 350*c. Suppose v*d - b*d = 7. Is d a multiple of 2?
False
Suppose -5*f - 4*l = -332403, f - 152*l + 151*l = 66468. Is f a multiple of 25?
True
Let y(b) = b - 21. Let n be y(28). Suppose -n*t - 598 = -1872. Is 7 a factor of t?
True
Suppose -d = 3*l - 0*d + 536, -5*l + 5*d - 860 = 0. Let j = l - -249. Suppose j = 5*t - 2*t. Does 4 divide t?
True
Let f(o) = 25*o - 97. Let p(k) = -6*k + 24. Let y(j) = 2*f(j) + 9*p(j). Let g be y(-9). Suppose 2*z = -4*n + 48, 4*n + 3*z - g = -n. Is n a multiple of 3?
False
Let t = -9478 + 10024. Is 8 a factor of t?
False
Suppose -5*u = -x + 3*x + 386, -5*u - 395 = 5*x. Let i = u - -75. Does 15 divide 1*-3*i/(-3)*-21?
False
Suppose j - 7 = 16*i - 12*i, -1 = 2*i - 3*j. Is 12 a factor of (-41)/(-1) - (6 + -1 + i)?
False
Suppose -6150 = 19*i - 34*i. Let j = i - 315. Is j a multiple of 50?
False
Let c(b) = 46*b**2 + 16*b - 196. Is 103 a factor of c(-9)?
False
Suppose -2*b + 3*n + 258 = b, 5*n + 178 = 2*b. Suppose b*t = 80*t + 200. Does 8 divide t?
False
Suppose 3*g + 3*y - 4 = 2, -12 = 4*y. Suppose -33*p - 5 = -31*p + 5*x, -p = -x - 8. Suppose -2*k - g*a = -217, -p*a - 5 = -20. Is k a multiple of 9?
False
Suppose -w = -0*w - 147 - 3157. Is w a multiple of 118?
True
Suppose 21476 + 33172 = 3*k. D