6)?
False
Does 12 divide 6740 - (14 + -3 + -27)?
True
Let d be 1 + (-1)/(3/(-6)). Suppose 0 = 5*k + 5*p - 57 - d, 4*p = -2*k + 28. Is ((-146)/k + -3 + 2)*-5 a multiple of 13?
True
Let n = 27168 - 13252. Is 142 a factor of n?
True
Let t(n) = 51*n + 2814. Is t(0) a multiple of 27?
False
Suppose 0 = -285*v + 282*v - 3*u + 32817, 4*u + 54740 = 5*v. Is v a multiple of 152?
True
Let g = -6 + 13. Let n(x) be the first derivative of 31*x**2/2 - 17*x - 1071. Does 19 divide n(g)?
False
Let b(n) = 2*n**2 - 30*n - 1. Let p be b(15). Let a be -4 - (-1 - (-58)/p). Let u = a - -40. Does 41 divide u?
False
Let o(m) = 58*m**3 + 8*m**2 - 30*m + 48. Is 21 a factor of o(3)?
True
Suppose 833 + 27 = 10*n. Does 43 divide n?
True
Suppose 18*j = -251*j - 9*j + 3291520. Is 16 a factor of j?
True
Let f be (-3)/(-2)*(-6)/3. Let w be 5*((-6)/f + 3). Suppose w = t - 5*o, -2*t + 3*o = -6*t + 215. Is t a multiple of 42?
False
Let d = -5945 - -25930. Is d a multiple of 94?
False
Suppose 0 = -10*x - 74 - 86. Suppose 3*p - 89 = -u - 30, -p - 3*u = -17. Let i = x + p. Is 2 a factor of i?
True
Let v(h) = 4*h**3 - 5*h**2 + 5*h + 2. Let y be 1/(-8) + 410/80. Let o(p) = p**2 - 5*p + 3. Let j be o(y). Is v(j) a multiple of 16?
True
Let i(q) = q**3 + 6*q**2 + 11*q + 8. Let l be i(-4). Let c be l*-3*1/3. Suppose 2*v = -j + 110, -3*j + v - c*v = -345. Does 35 divide j?
False
Suppose 0 = -4*n - 2*c + 4*c + 18, -2*n + 39 = 5*c. Let s(z) = -z + 5. Let u be s(n). Is 2*(-129)/u + 1 a multiple of 22?
False
Let g(z) be the third derivative of 0 + 0*z - 3/8*z**4 - 6*z**2 + 1/30*z**5 + 5/2*z**3. Is g(10) a multiple of 25?
True
Suppose -1471260 = -57*c - 98*c. Is c a multiple of 13?
False
Let q(y) = 128*y + 2382. Does 38 divide q(66)?
True
Let c(f) = f**3 - 10*f**2 + 17*f. Suppose 4*g = -4*n + 24, -2*g - 7*n + 24 = -2*n. Suppose 0 = -5*l - 3*y + 56, -l = g*l - 3*y - 24. Is 12 a factor of c(l)?
False
Let j(d) = -d**2 + 14*d - 14. Let m be j(12). Suppose 12*y = m*y. Suppose 3*z - 5*r = -r + 338, y = z + 2*r - 106. Is z a multiple of 22?
True
Let t = -5 + 9. Suppose -6 = g + 3*p, -3*p = -3*g + 9 - 3. Is 11 a factor of g/(t*4/16) + 11?
True
Let s = 121 + -117. Suppose 2*w + 2*c + 54 = 3*w, 2*c - 216 = -s*w. Let b = w - -271. Is 50 a factor of b?
False
Suppose 3*z + q = -126, 169 = -5*z + 4*q - 41. Let x(o) = -o**3 - 42*o**2 - 6*o - 22. Does 5 divide x(z)?
True
Suppose -23*t + 2*t + 5607 = 0. Does 39 divide t + 21/(-3) + 4?
False
Let i(t) = t**3 + 5*t**2 + 4*t + 2. Let u be i(-4). Suppose -7*a + 19 = -16. Suppose u*d + 4*f = a*d - 58, -d + 16 = -3*f. Does 15 divide d?
False
Suppose -5*w + 65645 = 4*s, -5*w - s = -2*w - 39380. Does 98 divide w?
False
Suppose -4*g - 128 = -12*g. Suppose -g*a + 11*a + 2145 = 0. Suppose -4*u + a = 97. Is u a multiple of 35?
False
Let s(r) = r**2 - 22*r + 61. Let m be s(9). Does 24 divide (-565)/(-9) - m/252?
False
Suppose -7*r - 3*a = -5*r - 53679, r = 3*a + 26817. Does 39 divide r?
True
Let j(b) = b**3 - b**2 - b + 5. Let r be j(0). Suppose v = -0*v + r. Suppose -5*d + 2*i = -1115, v*i - 97 = -d + 99. Is d a multiple of 39?
False
Suppose 2*d + 37*d = 8112. Suppose d*b - 199*b = 810. Is b a multiple of 15?
True
Suppose -5*b + 7*b - 5*h - 38277 = 0, -b + 19127 = 9*h. Does 26 divide b?
True
Let u(c) = -1. Let b(v) = -2*v**2 - 8*v + 8. Let k(s) = b(s) + 3*u(s). Let y be k(-10). Let t = 227 + y. Is t a multiple of 10?
False
Suppose -122 = -4*s + 58. Suppose 3*v + 0*v = s. Let r(k) = k**2 - 13*k - 16. Does 14 divide r(v)?
True
Suppose 4*f = -i + 43644, -4*f + i = 16173 - 59825. Is f a multiple of 31?
True
Suppose -4*r + 5*v + 1366 = -1412, 688 = r + 2*v. Does 28 divide r?
False
Let i(g) be the first derivative of g**5/60 + g**4/4 + 16*g**3/3 - 11. Let p(f) be the third derivative of i(f). Is p(4) even?
True
Suppose 2*c + 2*a - 5136 = 0, -80*c = -85*c - a + 12864. Does 99 divide c?
True
Let s(m) = -19*m**2 - m + 3776. Is 16 a factor of s(0)?
True
Let h(c) = c**2 - 14*c + 9. Let x(b) = -b**2 + 7*b - 10. Let r be x(5). Suppose r = d - i + 7, 5*d + 9 = 4*d - i. Is h(d) a multiple of 19?
False
Suppose -y + 2*y - 6 = -p, 3*y = -2*p + 13. Suppose -96 - 364 = -4*j + q, 0 = -2*j + p*q + 212. Does 17 divide j?
False
Let s(k) = -2*k + 13. Let i(x) = -4*x + 27. Let a(u) = 6*i(u) - 15*s(u). Let p be a(15). Let d = p - -27. Is 9 a factor of d?
False
Suppose 31*k = 32*k + 890. Let c = k - -1555. Is 33 a factor of c?
False
Suppose 2*f = -13 + 3, -4*l + 84 = 4*f. Let m be l/(-195) - ((-124)/30 - 0). Does 3 divide (10 + -18)*((-6)/m + 0)?
True
Suppose 0 = 3*b - 2*z - 34811 + 10148, -8226 = -b - z. Let s = -14183 + b. Is 2/(-11) + s/(-110) a multiple of 27?
True
Let i = 4219 - 1584. Does 7 divide i?
False
Let c(r) = -2519*r - 5624. Is 18 a factor of c(-10)?
True
Suppose 5*m = -2*b - 40, -2*b + m + 2*m = 40. Let s = b + 17. Let n(v) = 34*v**2 + 2*v - 1. Is n(s) a multiple of 45?
False
Let f be -2 + ((-1958 + 0)/(-2) - 3). Let a = f - 685. Let h = a + -147. Is 32 a factor of h?
False
Let s(v) = -1310*v + 310. Is 54 a factor of s(-2)?
False
Is 11 a factor of (16/2 - (4 - -9)) + 3005?
False
Suppose 80*u = 74*u + 18480. Is u a multiple of 58?
False
Suppose 4*w - 81 = -77, 2*d = -4*w + 6290. Is 4 a factor of d?
False
Let h = 26 + -17. Suppose 14*d - h*d = 10. Let j(z) = 37*z + 4. Is j(d) a multiple of 26?
True
Is 43 a factor of (-30539)/(-5) + (-666)/370?
True
Let d(f) = f**3 + 50*f**2 + 159*f + 24. Is 2 a factor of d(-46)?
True
Suppose 3*i - 5*c = -16 - 6, 3*i + 2*c = 13. Let y be (i/2)/(2/1284). Let v = 464 - y. Is 23 a factor of v?
False
Let q = 60 + -103. Let b = q + 51. Suppose -3*w + b*w - 5 = 0, 0 = -2*f - 3*w + 371. Is 47 a factor of f?
False
Suppose 10026 = -5*q + g, -4*g - 2230 + 229 = q. Let x be q/(-10)*2*-1. Let t = 577 + x. Does 16 divide t?
True
Suppose 124209 = 146*w - 1510240 - 3671. Is 220 a factor of w?
True
Let j be 138/10 - 176/220. Let o = j + 1213. Is o a multiple of 98?
False
Let t(n) = -n - 1. Let k(c) = -4*c + 6. Let b(y) = k(y) - 6*t(y). Let j be b(-7). Is ((-2)/1)/(2*j/122) a multiple of 10?
False
Let z(b) = -8*b + 220. Let k(i) = -i - 1. Let t(l) = -4*k(l) + z(l). Does 33 divide t(-50)?
False
Suppose 0 = -261*o + 263*o - 580. Suppose -o = -4*d + 1142. Is d a multiple of 21?
False
Let m(w) = -2417*w**3 + w**2 + 6*w + 13. Is m(-2) a multiple of 7?
True
Suppose 0 = 37*z - 33*z - 16. Is 15 a factor of 633 + (z/12)/(6/(-54))?
True
Suppose 91*g - 144706 = -33406 + 236047. Is g a multiple of 12?
False
Let h(f) = 49*f - 22. Let g be h(19). Suppose -5*c + 2*o - 174 = -g, 5*o = -2*c + 294. Is c a multiple of 21?
True
Let p be 1 + 3 + -1 + -3. Let s(g) = g**2 - 2*g + 63. Let r be s(p). Let l = r + -43. Is l a multiple of 20?
True
Let o be (-42)/(-4) + 1/2. Let n(f) = f**3 - 18*f**2 + 20*f - 9. Let u(j) = -j**3 + 16*j**2 - 19*j + 7. Let w(l) = -2*n(l) - 3*u(l). Is w(o) a multiple of 7?
True
Suppose -30 = 5*l, -6987 = -5*u + 4*l - 88. Is u a multiple of 55?
True
Suppose 0 = -3*y + 2*y + 2*n - 8, 5*n + 13 = -3*y. Let q be (y/(-5))/(45/(-300)). Let p(m) = m**2 - m - 8. Is 34 a factor of p(q)?
False
Let f(v) be the first derivative of -v**4/4 - v**3 - 13*v + 5. Let i be f(-4). Is i - -101 - -2 - 4 a multiple of 36?
False
Let o(v) = v**3 + 67*v**2 + 123*v + 99. Does 130 divide o(-62)?
False
Suppose 0*k + 24 = i - 5*k, 0 = -2*i + 5*k + 28. Suppose 17 = -7*s - i. Is 18/2 - (0 + (-4 - s)) even?
True
Let o(k) = -19*k**3 - 3*k**2 - 40*k + 62. Does 122 divide o(-9)?
True
Suppose 350 = 6*y + 338. Does 40 divide 436/(-8)*y*(10 + -11)?
False
Suppose -12*p = 5*p + 30*p. Suppose p = 216*k - 218*k + 1990. Is 60 a factor of k?
False
Let y(j) = -j**3 + 28*j**2 + 69*j + 2. Is 14 a factor of y(-12)?
False
Is ((-2)/(-1))/2 + (-3 - -20582 - -7) a multiple of 17?
True
Suppose 10*n + 88500 = 27*n + 8*n. Is n a multiple of 79?
False
Let b = 219 - 116. Suppose -b = -c - 12. Does 5 divide c?
False
Suppose 34*u + 15390 = 5*g + 39*u, -9219 = -3*g + 2*u. Does 5 divide g?
True
Is 5 a factor of ((-3122)/(-8) + -10)*(-40)/(-15)?
False
Let k be (4/(-6))/(7/63*-2). Suppose -c - 4 = -0*c, 2*g - 10 = -k*c. Is 21 a factor of (g + -22)/((-2)/26)?
False
Suppose -j - 8 = 4. Let p = 9 + j. Is 147 + 0 - (p - -6) a multiple of 36?
True
Let b(x) be the second derivative of -x**5/20 - 29*x**4/12 - 9*x**3 + 21*x**2 + 4*x + 16.