pose 2*d + 4*s + 4 = 0, -s = -5*d - 6*s - 5. Suppose d = 3*i + 313 - 1114. Is 16 a factor of i?
False
Let t = -2164 - -3328. Is t a multiple of 38?
False
Let y be -2 + -3 + 8 - -2. Let u be (-707)/y + -6*1/10. Let j = -139 - u. Is 3 a factor of j?
True
Let p be (41/(-4))/(57/60 - 1). Let w = 94 + p. Does 15 divide w?
False
Suppose -71*u = 73*u - 157*u + 25740. Does 30 divide u?
True
Let m = -906 - -674. Let t = 164 - m. Is 7 a factor of t?
False
Suppose 3*x - 5*x = 42. Let o be 0 - 3960/(-7) - 6/x. Suppose -2*f = 4*n - o, -2*f - 2*f - 727 = -5*n. Is 22 a factor of n?
False
Let n(o) = -2*o**2 - 44*o + 21. Let y be n(-21). Is 15948/y - (-2)/(-14) a multiple of 23?
True
Let j(b) = 3*b + 36. Let u be j(-11). Suppose 0 = -u*z + 3*x + 402, -z + 0*x = 3*x - 126. Does 4 divide z?
True
Let s = 49 - -2. Suppose 46*b = s*b - 40. Suppose b*i - 2*i = 174. Does 11 divide i?
False
Let v = 18 - 17. Suppose 4*s + 2*n = 72, 4*n - v = -s + 24. Is s a multiple of 17?
True
Is 44 a factor of ((-1)/3)/(556/(-14751792))?
True
Let n = 74 - -5. Suppose 0 = s - 23 - n. Suppose -2*t - t + s = 0. Is 17 a factor of t?
True
Suppose -9 = v + 5*i, 3*i - 20 + 5 = -4*v. Let j(y) = y + 1010*y**2 - 509*y**2 - 10 + 2*y**3 - 508*y**2. Does 22 divide j(v)?
True
Let d(k) = -90*k - 54. Let l(b) = b**3 - 4*b**2 - 2*b - 4. Let j be l(3). Let a be d(j). Is 21 a factor of 1/4 - a/(-32)?
False
Suppose -6*o - 25 = -11*o. Suppose o*n - 3*b = 75 + 334, 4*b = -12. Does 29 divide n?
False
Let w(i) = 3*i**2 + 295*i + 187. Does 3 divide w(-100)?
True
Let w(c) = 43*c + 1401. Is 43 a factor of w(-30)?
False
Let g = 642 - 631. Does 94 divide 470*(g - 2 - 8)?
True
Let n = -415 + 142. Let b = n + 444. Suppose -b + 11 = -5*w. Is w a multiple of 6?
False
Let t(g) = -g**2 - 191*g + 5135. Is t(0) a multiple of 9?
False
Let i = -5067 + 5787. Is i a multiple of 9?
True
Suppose -167754 = 111*p - 184*p. Is 48 a factor of p?
False
Is 0 - (-3860 - 8/(4 + 4)) a multiple of 13?
True
Let x be (5*(-12)/(-40) - 2)*-42. Suppose 2*p - x = 69. Is p a multiple of 21?
False
Suppose 3*w - 3*g = 141 + 117, 5*w - 394 = -4*g. Let c = -14 + w. Is c a multiple of 68?
True
Let f be (-10)/2 - (1 - 554). Is (-32)/80*(3 - f) a multiple of 6?
False
Suppose -3*f + 9 = -5*l - 2, -34 = -2*f - 2*l. Suppose -2*s + 6*j - 4 = 3*j, -2*j - f = -5*s. Let d(c) = 44*c + 14. Does 38 divide d(s)?
True
Suppose -762 = 6*j - 0*j. Let b be 15/(6/(-2)) + j. Is 14 a factor of (-3)/(27/b) - 4/6?
True
Let h = -229 - -301. Suppose 71*y = h*y - 797. Is 13 a factor of y?
False
Let z be 3 + 33/(-9) - (-22)/6. Let x(d) = 28 + 5*d**z + 14*d**2 - d + 0*d**3 - 4*d**3. Is 6 a factor of x(-14)?
True
Let a be 45/5*(-4)/(-9). Is 31 a factor of (124/2)/(-3*a/(-96))?
True
Suppose 5*m = y - 10 + 17, 0 = -5*m - 4*y + 22. Suppose q + 2*p + 143 - 736 = 0, m*q - 5*p = 1195. Does 17 divide q?
True
Let r(u) be the second derivative of -u**5/10 + 3*u**4/2 - 7*u**3/3 + 14*u**2 - 2*u + 54. Is r(8) a multiple of 22?
True
Let d be (2 + 0 + -5)*-2. Let m be (d + -2 - 3)*398/(-2). Is (m + 5)*-1*1 a multiple of 46?
False
Let o(m) = m**2 - 23*m + 5. Let n be o(23). Suppose -4*l = -3*f - 2*l - 122, -84 = 2*f - 4*l. Does 18 divide 1/n - 3592/f?
True
Suppose -4*n + 3*z + 19076 = 6*z, -2*n + 9528 = 4*z. Let d be n/(-10)*(-35)/14. Suppose -12*k - d = -5*s - 9*k, -4*s - 4*k + 948 = 0. Is s a multiple of 14?
True
Suppose 3*n + 4*n - 28 = 0. Is 8 a factor of (49 - 48) + n*55?
False
Let h(y) = 267*y + 73. Let x(d) = 30*d - 86. Let t be x(3). Is h(t) a multiple of 18?
False
Let x(t) be the second derivative of t**3/2 + 75*t**2/2 - 14*t. Let q be x(-25). Suppose q = -6*f + 329 + 385. Is 20 a factor of f?
False
Is 48 a factor of (6/(-12))/((-1)/54)*135 - -3?
True
Suppose -44*f - 93 = -75*f. Let m(v) = 53*v**2 + 21*v - 12. Does 22 divide m(f)?
True
Let o(x) = 421*x - 5. Is 19 a factor of o(8)?
True
Suppose -931 = 4*r - 39. Suppose -5*l + 6*l + p = -372, -p + 1124 = -3*l. Let b = r - l. Is b a multiple of 21?
False
Let b be ((-28)/5)/2*-145. Suppose 6*j + b = 2*t + j, -t - 2*j = -203. Is t a multiple of 29?
True
Is 6 a factor of -10*(1/((-6)/987) + 3)?
False
Suppose 0 = -16*s + 27935 + 7793. Suppose 5*f = 1607 + s. Suppose 21*d - 18*d = f. Does 32 divide d?
True
Suppose 0 = 5*z + p + 316, 3*p + 176 = -3*z - p. Let n be (19 + -221)*(-5)/40*-4. Let d = z - n. Is 6 a factor of d?
False
Let i = 1261 + -1269. Let b(r) = 7*r**2 + 4*r - 3. Let j(z) = 6*z**2 + 5*z - 4. Let u(m) = 5*b(m) - 6*j(m). Does 25 divide u(i)?
True
Suppose -5*k + 5*b = -25, -b = 4*k + k - 13. Suppose h - k*i + 11 = 0, -i = 5*h + 6 + 1. Is 18 a factor of (h - (-292)/6)*39/26?
False
Suppose 33*z - 6912 = 30*z. Suppose -z = 285*i - 289*i. Does 32 divide i?
True
Suppose -4*s = -5*n + 47547, -5*s = n - 21*s - 9479. Is n a multiple of 172?
False
Let y = -25464 - -27441. Is 5 a factor of y?
False
Suppose -33*u + p - 40487 = -38*u, 4*u = -4*p + 32412. Is u a multiple of 23?
True
Suppose 29*w - 8 = 25*w. Suppose w*c + 24 - 338 = -4*q, 5*q = -c + 151. Is c a multiple of 10?
False
Let b be -107*(6 + 0 - 11). Let j = -506 + b. Is 2 a factor of j?
False
Let r(s) = s**2 - 8*s - 16. Let p(y) = 6*y**2 - 39*y - 80. Let c(u) = 2*p(u) - 11*r(u). Suppose -k + 4*a - 2 = 7, -4*a + 45 = -5*k. Is c(k) a multiple of 3?
False
Suppose -1 = -5*k + 39. Let a be (-14)/7 + -1 + 1*k. Suppose 0 = -5*r + 2*r - 5*d + 88, r = -a*d + 46. Is 8 a factor of r?
False
Let v = 122 - 120. Suppose v*s + 1224 = 8*s. Is s a multiple of 6?
True
Let s = -2013 + 2900. Suppose 289 = 12*c - s. Does 30 divide c?
False
Let b(o) = 3*o**2 - 7*o + 23. Let u(y) = y**2 - 2*y + 8. Let p(c) = 4*b(c) - 11*u(c). Let m be p(5). Let j(q) = -9*q**3 - 2*q**2 - q. Is 3 a factor of j(m)?
False
Let k(y) be the third derivative of -y**5/60 - 5*y**4/24 - y**3/6 + 8*y**2. Let r be k(-3). Suppose 76 = 2*u - r*b, 6*u - u - 2*b = 190. Is u a multiple of 11?
False
Suppose -4*f = 7 + 5. Let z be f/(15/460) + -4. Does 11 divide 1 - (-8)/(-12)*(3 + z)?
False
Suppose -108*q + 158808 + 155503 - 91399 = 0. Is 8 a factor of q?
True
Suppose -5300 - 61120 = -9*c. Is c a multiple of 45?
True
Suppose 0 = v + 1, -4343 + 29547 = i + 3*v. Does 8 divide i?
False
Let g be -4 + 11 + (-3 - 2). Suppose 4 = g*y - 104. Is y a multiple of 16?
False
Let b = -15568 - -22944. Does 10 divide b?
False
Let t(y) = -132*y**3 + y**2 + 1. Is 52 a factor of t(-1)?
False
Let a(w) = -6*w + 18. Suppose 112 = 27*q - 31*q. Is 9 a factor of a(q)?
False
Suppose -128 = -18*l + 14*l. Suppose -l = 6*m - 236. Is 33 a factor of m?
False
Let a(k) = -2*k**2 + 57*k - 46. Let s be a(27). Suppose 117 + s = 8*b. Is 2 a factor of b?
False
Suppose -5*h + 2*u + 30 = -0*u, -4*h = -3*u - 31. Suppose f - h*t - 75 = -5*t, 5*f + 4*t = 370. Is f a multiple of 10?
True
Let l = 62580 - 36950. Does 61 divide l/35 - (-5 - (-222)/42)?
True
Let o = 265 - 230. Suppose -36*f = -o*f - 220. Is f a multiple of 20?
True
Let a(q) = -3*q**2 + 4*q - 36. Let o be a(-7). Let y = o - -311. Does 25 divide y?
True
Let c(d) be the third derivative of d**6/120 + d**5/12 - d**4/4 + d**3/6 - 57*d**2. Does 59 divide c(8)?
False
Let h(a) = a**3 - 33*a**2 - 39*a + 34. Let c be h(35). Let n = c - 519. Does 75 divide n?
True
Suppose 76*q = 72*q + 256. Suppose w + q = 149. Does 17 divide w?
True
Let n(x) = 39 - 150 + 58 - 11*x. Is 5 a factor of n(-8)?
True
Suppose -14*t - 532 = 1862. Let u = t + 388. Is 31 a factor of u?
True
Is (0/6 - (2 + -4)) + -5 + 7223 a multiple of 10?
True
Let x be 4/(-18) + 5/(90/22). Let c be x/(-4) + 2555/28 + 3. Let d = c - -53. Is 20 a factor of d?
False
Suppose 21*z - 40941 + 4635 = 247614. Does 117 divide z?
False
Let f(p) = -p**2 + 42*p - 211. Let c be f(36). Suppose c*y + 3*a - 788 = 0, -450 = -5*y + 4*a + 366. Does 16 divide y?
True
Let i = -24956 - -27653. Does 10 divide i?
False
Let o(m) = -m**3 + 6*m**2 - 4*m + 3. Let h be o(5). Suppose h*i - 5*i = 3*k + 300, k - 96 = -i. Is 13 a factor of i?
False
Let c = 6915 - -6233. Does 137 divide c?
False
Let w = -46 - -48. Suppose -n = 7*n + w*n. Suppose 0 = -5*k - n*k + 2*r + 100, 41 = 2*k - r. Is k a multiple of 2?
True
Let i be 3 - 25/10*318. Let q be (25/20)/((-3)/i). Suppose 2*r + 3*r - q = 0. Is 11 a factor of r?
True
Let m(t) = -5*t**3 - 5*t**2 - t - 13. Let p(w) = -w**3 - w**2 - 1. Let f(a) = m(a) - 6*p(a