/10. Let w = l + z. Is 3 a factor of w?
False
Does 19 divide 28/(-49) - (-40980)/28?
True
Suppose 5*u = -5*b + 59040, -12*u + 9*u = b - 35416. Is 21 a factor of u?
False
Let a = 61 + 29. Suppose 0 = 10*q - 15*q - a. Does 11 divide 257/4 + q/(-24)?
False
Let t(f) = 7*f + 93. Let j be t(-15). Let i(n) = -4*n**2 - 51*n - 16. Is 10 a factor of i(j)?
True
Suppose 14*t - 29246 = 6622. Suppose 9*c = 2*c + t. Does 6 divide c?
True
Suppose 0 = 5*t + 3*n - 21425, -25*t - 3*n + 17143 = -21*t. Does 6 divide t?
False
Let o(g) = g**3 + 2*g**2 + 18*g + 9. Let b be o(8). Suppose -215 - b = -9*t. Is 28 a factor of t?
True
Suppose -67*f = -56*f - 107404. Suppose -27*g + 3520 + f = 0. Is 64 a factor of g?
False
Let k = -44 - -68. Suppose k*x - 210 = 27*x. Let n = -7 - x. Is n a multiple of 10?
False
Let d = 13 - 20. Let n(v) be the second derivative of -v**5/20 - 5*v**4/12 + v**3/3 - v**2 + 74*v. Is n(d) a multiple of 20?
False
Let r(z) = 2*z**3 + z**2 - 24*z + 246. Does 4 divide r(8)?
False
Is 14 a factor of 28/(-21*16/(-253008))?
True
Let u(n) be the third derivative of n**5/60 - 5*n**4/8 + 3*n**3 + 10*n**2. Let f be u(14). Suppose f*t - 572 = -4*g, 3*t + 11 = 4*g + 447. Does 24 divide t?
True
Let w = 7938 + -3912. Is 6 a factor of w?
True
Suppose 0 = 8*d - 6631 - 3009. Does 9 divide d?
False
Let h = -1881 - -3174. Suppose 4*w - 3*w = h. Suppose -7*k + w = -121. Does 19 divide k?
False
Let p(m) be the second derivative of 269*m**4/12 - m**3 - 5*m**2/2 - 41*m + 2. Is p(-1) a multiple of 19?
False
Suppose -14*h - 23*h + 703 = 0. Suppose -h*j + 10410 = -6120. Is j a multiple of 30?
True
Let b = -306 - -92. Let f = -66 - b. Is f a multiple of 14?
False
Let h(t) = -t**2 + 10*t + 32. Let a be h(13). Let l = a + 6. Is 16 a factor of ((l - 17) + 1)*(2 + -6)?
False
Suppose -19*g = -25*g + 18. Is g + 10*(-484)/(-8) a multiple of 32?
True
Let w(y) = 8*y**2 - 7*y - 3*y + 0*y**2 - 5*y - 14. Is 42 a factor of w(8)?
True
Let g be (1/9*3)/((-3)/(-162)). Does 23 divide (27/g - 23/6)*-69?
True
Suppose -t + 195*b = 200*b - 3829, 4*t - 15339 = 3*b. Is t a multiple of 11?
False
Is 17 a factor of (-33)/(-22) + -5 - 63956/(-8)?
False
Let n = 20669 + -14453. Does 84 divide n?
True
Suppose 2*z + 2*z - 2*i = 0, 5*i = 4*z + 12. Let v(l) = 19*l**3 + 5*l - 9. Does 18 divide v(z)?
False
Let j = 16041 - 534. Is j a multiple of 3?
True
Let s(c) = 6*c**2 - 7*c + 1. Let o(i) = -i**3 - 7*i**2 + 12*i - 5. Let f(n) = n**2 - n. Let r(k) = 4*f(k) + o(k). Let p be r(-5). Does 20 divide s(p)?
False
Let p = 278 + -237. Suppose -4171 + 20981 = p*w. Is 10 a factor of w?
True
Suppose -2*a - 78100 = -4*a - 8*a. Does 45 divide a?
False
Suppose 2520 = 1429*o - 1424*o. Is o a multiple of 28?
True
Let k(d) = -69*d + 7. Let g(h) = -68*h + 7. Let u(z) = -3*g(z) + 2*k(z). Does 19 divide u(5)?
True
Let n(b) = 3*b - 2. Let q be n(2). Suppose -2*j + 4*s + 287 = 73, 0 = -2*s. Let y = q + j. Is 37 a factor of y?
True
Let o(f) be the second derivative of f**5/20 - 5*f**4/3 - 4*f**3/3 + 63*f**2/2 - 83*f. Is o(21) a multiple of 27?
False
Suppose -2*q = -6, 3*w - 14985 = -11*q + 14*q. Does 18 divide w?
False
Let j = 61756 + -31583. Does 19 divide j?
False
Does 189 divide 54987 - -1 - (-25)/(450/198)?
True
Is 4 a factor of 152*1/(-5)*(-1873 + 1853)?
True
Is 58 a factor of (-1 + -786)*1275/(-85)?
False
Let u(q) = -120*q**3 - 13*q**2 - 26*q + 211. Does 20 divide u(-8)?
False
Let s = -34843 - -36445. Is s a multiple of 171?
False
Let w(q) = -q**3 - 14*q**2 + 13*q - 28. Let n be w(-15). Suppose -4*r - n*r = -204. Is r a multiple of 34?
True
Let i = 610 - 602. Is (((-8520)/i)/(-5))/1 a multiple of 71?
True
Let k(c) = 7*c**2 + 6*c - 4. Let x be 6*((-16)/(-12) + -1). Is 3 a factor of k(x)?
True
Let j = -38 - -55. Suppose j*d = 16*d + 254. Is d a multiple of 9?
False
Let f(k) = -89*k**2 + 6*k + 3. Let h(s) = 45*s**2 - 3*s - 2. Let m(o) = -3*f(o) - 5*h(o). Suppose 5*u - 13 = -8*u. Is m(u) a multiple of 5?
True
Let y = 81 + -66. Suppose -3*o = y, 2*s = s - o + 25. Suppose -j - s = -85. Is 11 a factor of j?
True
Let x be ((-6)/5)/((352/495)/16). Does 12 divide x/(4*15/(-880))?
True
Suppose 2*j + 2 = 4*j, 0 = -w + 2*j + 357. Suppose 4*v + a = w, -3*v + a + 45 + 219 = 0. Is v a multiple of 6?
False
Let k(s) = 837*s - 3843. Is 274 a factor of k(37)?
True
Let j = 111 + -100. Suppose 8*z - 1595 = -j. Is z a multiple of 33?
True
Let k(o) = -2*o**2 - 19*o - 14. Let u = -50 + 42. Let p be k(u). Does 14 divide p - (4/(-4) - 3)?
True
Let i(v) = 1. Let z(t) = t**2 + 10*t + 6. Let n(l) = -4*i(l) - z(l). Let f be n(-12). Let o = 44 + f. Does 5 divide o?
True
Let u(z) = 9757*z - 6648. Is u(4) a multiple of 87?
False
Suppose 75*g + 19448 = -71*g + 163*g. Is 13 a factor of g?
True
Let y(j) = -j**2 - 8*j + 17. Let m(k) = -k**2 - 3*k - 4. Let f(r) = -r**2 - 2*r - 3. Let x(c) = -4*f(c) + 3*m(c). Let q(p) = -2*x(p) - y(p). Does 2 divide q(7)?
True
Is 143 a factor of 24/16*109824/72?
True
Let z = 11531 - 9028. Does 56 divide z?
False
Suppose -126*l - 242*l = -735975 - 615321. Is 7 a factor of l?
False
Let q(z) = z**3 - 5*z**2 - z - 7. Let a be q(5). Let b be (-2 + -4)*10/a. Suppose -b*x + 912 = 252. Is 22 a factor of x?
True
Suppose -5*s + 2429 = -5771. Suppose 8 = 4*k, 4*k + s = 5*y + 103. Does 78 divide y?
False
Let f(i) = -21*i**3 - 18*i**2 - 3*i + 26. Let n(b) = -7*b**3 - 6*b**2 - b + 9. Let l(p) = -3*f(p) + 8*n(p). Does 63 divide l(4)?
False
Suppose 0 = -14*o - 6*o + 9280. Is 0 + o + 476/68 a multiple of 11?
False
Suppose -c + 2*f + 53962 = 0, 5*c - 230265 = -4*f + 39419. Does 158 divide c?
False
Is 137 a factor of -1 + 2464 + 9 + -6?
True
Let r(z) = 34*z + 7. Suppose 5*h + 4 = h + y, -3*y + 2 = -2*h. Let q be r(h). Is (228/(-10))/(q/90) a multiple of 28?
False
Let f(u) = -u**3 - 14*u**2 + 12*u + 9. Let t be f(-15). Is 463/1 + -9*(-6)/t a multiple of 16?
True
Suppose 83*m - 58*m = 367050. Is 192 a factor of m?
False
Let v(p) = p**2 - p + 1. Let d(u) = -8*u**2 + 4*u - 3. Let c(a) = d(a) + 2*v(a). Let s be c(7). Let y = s + 405. Is y a multiple of 14?
False
Suppose 7*u + 530 = 17*u. Suppose -3*w = 98 - 29. Let x = u + w. Is 5 a factor of x?
True
Suppose z + 5*c + 180 = 10*c, 5*z = -3*c - 788. Let x be (217 + -1)*(-4)/(-3). Let k = x + z. Is k a multiple of 32?
True
Suppose 0 = -10*k + 334 + 326. Suppose -140 = 2*j - 4*l, -2*l + k = -j - l. Let b = j + 96. Is b a multiple of 17?
True
Let b(j) be the first derivative of 8/3*j**3 + 8*j - 3*j**2 - 9 - 1/4*j**4. Does 6 divide b(7)?
False
Let q(v) = v**2 - 8*v - 7. Let g be q(9). Is 7 a factor of (160/(-24) + g)*-120?
True
Let a = 3 + -21. Is a/3 - (-16 + -281) a multiple of 14?
False
Let k(z) be the third derivative of -z**6/120 - 4*z**5/15 - 19*z**4/24 + 5*z**3/2 + 3*z**2 - 7. Let r be k(-14). Let t = r - -141. Is t a multiple of 6?
True
Suppose -g - 592 = 3*g. Suppose 20*x + 1921 - 261 = 0. Let p = x - g. Is p a multiple of 13?
True
Let m(r) = -r - 13. Let t be m(-31). Let x(d) = -d + 1. Let q(k) = -30*k + 30. Let c(o) = t*x(o) - q(o). Is 12 a factor of c(7)?
True
Suppose 47*h - 3*c - 4629 = 45*h, -11553 = -5*h + c. Is 18 a factor of h?
False
Does 104 divide 6*(-64653)/(-10) + 348/15 + -23?
True
Suppose 3*y - 2*g + 7 = -66, -5*y - 119 = -4*g. Let p = -122 - -33. Let v = y - p. Does 32 divide v?
False
Let m(g) = -31*g**2 + 1688*g + 46. Does 7 divide m(52)?
False
Let u be 10/55 + 258/33. Is 14 a factor of 12/u*896/6?
True
Let p = 15071 - -983. Does 115 divide p?
False
Let d = -12 - -12. Suppose -5*a + g + 1347 - 386 = d, 5*g = -5. Suppose 4*f = 12 + a. Does 16 divide f?
False
Suppose 4*h = j - 4, -4 = j + 2*h + 4. Let t be 10 - 4/(j/(-3)). Does 34 divide ((-136)/(-5))/(t/35)?
True
Let o(b) = -3*b**2 - 43*b - 36. Let h be o(-13). Is h/(-9) + (-4)/18 - -109 a multiple of 9?
False
Let t = -5 + 20. Let x = t + -21. Let h = x - -43. Is 9 a factor of h?
False
Let c be 21/(7/1)*(0 + -6). Is 27 a factor of 3963/21 + c/(-63)?
True
Suppose -17*v + 3*v + 126 = 0. Suppose -v*m + 40 + 50 = 0. Is 2 a factor of m?
True
Let t = 336 + -158. Suppose i + 622 = 3*i. Let q = i - t. Is 19 a factor of q?
True
Let d be (70/4)/5*(-1 + 19). Let p = -53 + d. Suppose 210 = -8*j + p*j. Is j a multiple of 28?
False
Suppose 869*n - 920*n = -122247. Is n a multiple of 7?
False
Let x = 32654 - 9982. Is x a multiple of 16?
True
Let q