ppose 3*h + 2854 = u, y*h - 4*u + 1886 = -2*h. Does 17 divide (-8)/7 - -1 - h/7?
True
Let b be 16/10 + -1 - 12485/(-275). Is 13 a factor of (-13371)/(-21) - (3 - b/14)?
True
Let p(n) be the second derivative of n**4/12 - 17*n**3/6 + 27*n**2/2 - 10*n. Let j be p(12). Let l = 81 + j. Is l a multiple of 9?
False
Let b = 765 - 447. Suppose n + 2*k - 333 = 0, n - b = -6*k + 9*k. Is n a multiple of 15?
False
Is 121 a factor of (1 - -153)/14*(10 + 1)?
True
Let g(i) = -2444*i - 817. Does 11 divide g(-7)?
True
Let v = 76 + -67. Let r = v - -5. Suppose -4*n + 2*n + r = -5*j, -j = -3*n + 34. Is 6 a factor of n?
True
Let j(c) = 5*c**2 + 4*c + 3. Let m be j(-1). Suppose -3*q = 4*i - 148, 7*i + 127 = 2*q + m*i. Does 8 divide q?
True
Let b be 2/(-3) - 40/(-15). Is (-4324)/(-18) + b/(-9) a multiple of 31?
False
Let h(d) = 28*d**3 - d**2 - 2*d + 6. Let y be h(3). Let z = y - 459. Is z a multiple of 32?
True
Let y(m) = -m**3 + 10*m**2 + m - 35. Let s(j) = -2*j**3 + 11*j**2 - j - 35. Let p(k) = 2*s(k) - 3*y(k). Does 21 divide p(-7)?
True
Let d(w) = -33*w - 30*w + 20 + 47*w - w**3 + 21*w**2. Does 40 divide d(19)?
False
Let w = 104 - 109. Does 5 divide 112 - (w/15)/((-3)/(-9))?
False
Let h = -48 + 54. Suppose 17 = 3*f - h*l + 2*l, 3*f = 5*l + 13. Let z(j) = -j**3 + 11*j**2 + 8*j + 2. Is z(f) a multiple of 10?
True
Let y = -3491 + 8783. Does 108 divide y?
True
Let h(c) = -18*c**2 - 5*c + 30. Let s(x) = 6. Let g(y) = -h(y) + 6*s(y). Does 17 divide g(-2)?
True
Let w(v) = -17*v + 40 + 20 + 17 - 31. Let r = 27 + -33. Is 23 a factor of w(r)?
False
Let a = 42 + -25. Let f(l) = l**3 - 15*l**2 - 8*l - 24. Is f(a) a multiple of 45?
False
Let d = 31 + -21. Suppose 5*i - 65 = 5*x, -d = x - 3*x. Let s = i - -9. Does 9 divide s?
True
Suppose -63*u + 65*u + 362 = 0. Suppose 121*h - 276 = 127*h. Let j = h - u. Is j a multiple of 14?
False
Suppose 0 = 2*s, -5*s - 15 - 12 = -c. Suppose -c*l + 1365 = -2415. Is 10 a factor of l?
True
Is (-9 + 1 - 703/(-74))*16 a multiple of 5?
False
Let h = -200 - -194. Is 27 a factor of (18*h/(-16))/(7/28)?
True
Let b(w) = -20*w + 461. Let y be b(23). Let g(u) = 86*u**3 - 3*u**2 + 2 - 30*u**3 + u + 144*u**3. Is g(y) a multiple of 8?
True
Let p(y) = 484*y - 778. Is 14 a factor of p(22)?
True
Let u be (-24)/16 - 33/6. Let s = u + 5. Does 29 divide (11 + -3)*(-29)/s?
True
Let y = 2 - 13. Let r(d) = 4*d + 46. Let k be r(y). Is 6 a factor of (k/(-2)*57)/(-1)?
False
Let s = 366 + -217. Let b(k) = k**2 - k - 7. Let h be b(4). Suppose l = h*p + 76, p - 42 + s = 2*l. Is l a multiple of 13?
False
Suppose l - 17 = -2*f + 32, -4*l + 14 = f. Let s(t) = 10*t - 44. Does 8 divide s(f)?
True
Let n = -111 - 138. Let a = n - -843. Does 27 divide a?
True
Suppose -108*q + 14358870 = 237*q + 60*q. Does 29 divide q?
False
Suppose -2*m + 7*m = -4435. Let u = 1452 + m. Does 58 divide u?
False
Suppose -55*j = -56*j - 21. Let n(u) = u**2 - 5*u + 66. Is 68 a factor of n(j)?
True
Let f(b) be the third derivative of b**4/12 - 3*b**3/2 - 17*b**2. Let p be f(3). Let r = p - -21. Is 2 a factor of r?
True
Suppose 481 = -30*c + 4891. Let o be (-1 + -1)*-1*79. Suppose c = k - 3*y - 3, -k + o = y. Does 26 divide k?
True
Suppose 10*m = -402 + 52. Let f(a) = -3*a - 85. Is 4 a factor of f(m)?
True
Let h = 21174 - 285. Is h a multiple of 16?
False
Suppose -4*p = p - 4*v - 95, 5*v = 5*p - 100. Let t be (4 + p/5)*162/(-21). Let y = t + 138. Is 21 a factor of y?
True
Suppose 22*w - 2098 = -9424. Let j = w - -843. Is j a multiple of 10?
True
Suppose 8 = 2*s + 16. Is 32 + -1 + (1 - s) a multiple of 20?
False
Suppose h = -10*h + 575096 - 67017. Is 19 a factor of h?
True
Let l = -2397 - -2519. Is 35 a factor of l?
False
Let c = 41 - 49. Let n be 8/c - (-9 + (-1 - -3)). Suppose -3*t - a = -n*a - 321, 5*t - 535 = -a. Does 31 divide t?
False
Suppose -2*o - 5*b + 50 = 0, 0 = o - 3*b - 33 - 3. Is 13 a factor of (o/(-8))/(20/(-1040))?
True
Let j be (30/9)/((-10)/3345). Let s = 1583 + j. Suppose -2*q = -8*q + s. Is q a multiple of 13?
True
Let t(o) = -o. Let i(c) = c**2 + 10*c + 9. Let f(r) = -i(r) + 3*t(r). Let s be f(-12). Suppose 0 = -5*u - 0*z + s*z + 89, 4*z + 12 = 0. Does 14 divide u?
False
Suppose -4*x - 4*r + 163812 = 0, x + 5443 = 2*r + 46393. Is x a multiple of 14?
False
Suppose -4*q = -5*n + 5, 0*q - 2*q + 3*n = 3. Suppose 0 = -q*u - 4*u + 664. Is 4 a factor of u?
False
Suppose -3759200 = -352*m + 225*m. Does 25 divide m?
True
Let u = 215 + -222. Let g(v) = -v**3 + 7*v**2 + 9*v + 21. Is g(u) a multiple of 55?
False
Does 30 divide ((-54)/351 - 67/(-13))/((-1)/(-204))?
True
Let g(m) = 13532*m + 586. Is g(1) a multiple of 14?
False
Let a = 14 + -11. Suppose 0 = a*m + 2*m, -2*m = -3*t + 288. Suppose -4*p - 3*w + 7*w + t = 0, -136 = -5*p + w. Does 8 divide p?
False
Let b(z) = -z**3 + 14*z**2 + 16*z + 35. Let m(g) be the second derivative of g**3 + 9*g**2/2 - 31*g. Let h be m(1). Does 32 divide b(h)?
False
Suppose 3*m + 1 = 5*y, 3*m - 6*m + 19 = 5*y. Suppose y*u = -0*u + p + 216, 4*p + 115 = u. Is 27 a factor of u?
False
Let z be 31 - (-3)/18*(6 + 0). Let u be (1 - -1)/(0 + -1). Is 6 a factor of (8/(-16))/(u/z)?
False
Let r(l) = 38*l + 41. Let k be r(-8). Let p = -195 - k. Is 2 a factor of p?
True
Suppose 30*x = 81952 + 16328. Is x a multiple of 39?
True
Let d be ((-210)/8)/(-3) - (-29)/116. Is ((-63)/d + 6)/((-1)/57) a multiple of 12?
False
Is (497475/44)/(30/(-40) - -1) a multiple of 135?
True
Is 6 a factor of (-9712)/(3 + -11) - -4?
True
Let k be ((-74)/(-3) - -5)/((-1)/(-21)). Suppose -53 = 19*j - k. Is j a multiple of 15?
True
Let t = -32549 + 88885. Is t a multiple of 112?
True
Does 6 divide ((-117)/13 - 7) + 13569?
False
Let l = 29296 - 4100. Is 11 a factor of l?
False
Suppose -6661 = 49*d - 87952. Does 7 divide d?
True
Let c be (5 - 0)*(-12)/(-20). Let x(o) = -3*o**3 + 3*o**2 - 3*o + 7. Let l(z) = 2*z**3 - 2*z**2 + z - 4. Let a(h) = 5*l(h) + 3*x(h). Does 2 divide a(c)?
False
Suppose 3*t - 60585 = -5*q, -58828 = -3*q + 4*t - 22448. Does 101 divide q?
True
Let n = 476 + -470. Suppose 1123 = n*p - 791. Is 7 a factor of p?
False
Suppose -n + 9 = -3*s - 0*n, -s + 4*n = 3. Let h be -3 - (4*s + -3). Suppose 14 = m - h. Is 11 a factor of m?
False
Let p(r) = -33*r + 1782. Is 63 a factor of p(-72)?
True
Let n(y) = -13*y**3 - 2*y**2 + y + 2. Let z be n(-1). Suppose -z*r = -521 - 31. Suppose -17 = -7*v + r. Is v a multiple of 9?
True
Suppose 3*v + 4*w - 4 = 0, v + 4*w = 2*w. Suppose -3*o - 380 + 35 = -3*m, 0 = m - v*o - 124. Suppose -3*n - 3*h + 381 = -6*h, n + 4*h = m. Is 43 a factor of n?
False
Suppose 27*q = 24*q + 15. Let t be (q*5/(-25))/((-1)/1645). Suppose 5*z - 4*j = -8*j + t, -4*z = -3*j - 1316. Is 24 a factor of z?
False
Suppose 7470 - 57601 = -3*i - p, i = 2*p + 16708. Is i a multiple of 70?
False
Let r(p) = 8*p**2 + 26 - 20*p - 8*p**2 - 2*p**2. Let x be r(-11). Suppose x*z = 349 + 179. Is 14 a factor of z?
False
Let q(g) = 7*g**2 + 10. Suppose -15*c + 3 = -14*c. Let t be ((-8)/2)/(-4) + c. Is 15 a factor of q(t)?
False
Does 153 divide ((-68)/(-8))/((-1)/4 + (-497)/(-1980))?
True
Let h be (38/(-10))/19 + 562/10. Suppose -h*q + 9642 = -35158. Does 25 divide q?
True
Let x = 281 - 278. Suppose -x*t - 5*v = -2323 + 637, 564 = t + v. Does 63 divide t?
True
Suppose f + 2*m - 5*m - 581 = 0, 3*m = -3*f + 1671. Is 6 a factor of f?
False
Let c(d) be the first derivative of -595*d**2/2 - 4*d - 222. Is 7 a factor of c(-1)?
False
Is (27403005/(-23))/(-49) + (2 - (0 + -1)) a multiple of 63?
True
Let c(i) = -i**3 + 6*i**2 + 21*i - 96. Let h be c(7). Does 42 divide ((-1448480)/209)/(-5) + h/(-19)?
True
Does 30 divide -6 - -3470*(5 - (0 + 4))/2?
False
Let b = -8034 - -10690. Does 3 divide b?
False
Let x(n) = -3*n**3 - 3*n**2 + n + 5. Let u(f) = -f**3 - f**2 + 2. Let r(b) = -8*u(b) + 3*x(b). Let j be r(0). Is 12 a factor of 39 + (0/j)/(-1)?
False
Let h(x) = -70*x - 3. Let o = -46 - -17. Let r = 27 + o. Is 14 a factor of h(r)?
False
Suppose 0 = l + 3*l + 5*w - 29, -2*l - 4*w + 16 = 0. Suppose l*t = 11*t - 20. Suppose -381 = -t*f - 9. Does 38 divide f?
False
Let i(g) be the third derivative of 11*g**5/5 + g**4/6 - 3*g**3/2 + 132*g**2. Is 31 a factor of i(2)?
True
Suppose 11 + 11 = 2*h - 4*x, -3*h + x = -33. Suppose 3*n + 9*t = 7*t + 23, 3*t = 2*n - h. Suppose 336 = n*c + c. Does 7 divide c?
True
Let x(m) =