of 7?
False
Let z = -343 - 334. Let i = -16 - z. Suppose 2*m + 851 = 5*s, -s = -5*s - 5*m + i. Does 13 divide s?
True
Suppose 167277 = 78*f + 131*f - 950873. Is f a multiple of 10?
True
Is (-138)/4*((-61056)/1325 - 4/(-50)) a multiple of 69?
True
Let v(n) = -15*n - 5. Let h(w) be the second derivative of -w**5/20 - w**4/6 + w**3/3 + w**2/2 + 5*w. Let x be h(-2). Is 10 a factor of v(x)?
True
Let w(j) be the third derivative of -1/60*j**5 + 0 + 0*j**3 + 0*j - 1/5*j**6 + 0*j**4 - 48*j**2. Is 3 a factor of w(-1)?
False
Suppose 0 = 6*c - 239 - 2113. Suppose 2*q = -4*n + c, 980 = 5*q + 22*n - 25*n. Does 14 divide q?
True
Let i(j) be the second derivative of j**4/12 - 2*j**3/3 - 31*j**2/2 + 4*j. Let r be (-9)/(2 - 10/8). Is i(r) a multiple of 17?
False
Does 69 divide -30 - 200/(-6) - 72233/(-3)?
True
Suppose 0 = 3*c - 5*t - 9419, 157*c - 156*c - 2*t - 3140 = 0. Is c a multiple of 60?
False
Suppose -3368 - 2403 = -5*a - 4*z, z - 4619 = -4*a. Suppose -11*l = -0*l - a. Is l a multiple of 35?
True
Let d be (-79)/(-3) - -2*(-2)/12. Let b be 4/((-11)/d + 3/6). Let p = b + 82. Is 23 a factor of p?
False
Let l = 17 + 12. Suppose -64*d + 47*d + 4352 = 0. Suppose -d - l = -5*y. Does 19 divide y?
True
Suppose -4 = p + 4. Let h(n) = -5*n - 30. Is 10 a factor of h(p)?
True
Suppose 2*v + 7140 = 4*r, -r + 1767 = -2*v + 6*v. Does 29 divide r?
False
Let z be (8/(-12) - -3)*3. Let f = z + -12. Is (0 + 6/(-4))*60/f a multiple of 2?
True
Suppose -4*c + 198924 = -2*q, 0 = 5*c + 24*q - 20*q - 248694. Is c a multiple of 100?
False
Suppose 12*z - 18 = 6*z. Let p(m) = 3*m - 7*m**3 - 10 - 5*m + 8*m**z + 12*m**2. Does 17 divide p(-11)?
False
Let l(v) = -v**2 - v + 49. Let w be l(11). Let q = w - -32. Let y = q + 132. Is 12 a factor of y?
False
Let w be (-3 + 13 + -7)*(1 - 0). Let o = w - 1. Suppose 3*s - o*b - 30 = 3*b, -2*b + 6 = 0. Does 3 divide s?
True
Let s = 641 - 712. Suppose -37 + 2 = -5*n. Let k = n - s. Is 26 a factor of k?
True
Let g(u) be the third derivative of -22*u**2 + 0 - 5/8*u**4 - 1/6*u**3 + 0*u. Does 8 divide g(-9)?
False
Let c(m) = -1419*m**3 + m**2 + 4*m + 3. Let l be c(-1). Suppose -l = 6*w - 6411. Does 14 divide w?
False
Suppose 12*y + 99 = -93. Let g(m) = 2*m**2 + 24*m + 40. Is g(y) a multiple of 7?
True
Let u be 43 + -41 - 3/(-1). Suppose -136 = -2*x + 5*h, 5*x + u*h = x + 272. Is 68 a factor of x?
True
Let h = 3347 - 2915. Does 18 divide h?
True
Suppose -d = i - 1073, 5*d + 38*i - 41*i = 5405. Is d a multiple of 2?
True
Let t be 4/(-2) + 1 - 2/1. Let x be -36 + (t - (0 + -1)). Is 3 a factor of (-48)/(-12) - (-1 + x)?
False
Let b = -18 + 18. Suppose -g + 4*g - 24 = b. Suppose -4*a + g*a - 104 = 0. Is a a multiple of 15?
False
Suppose 34*f - 39*f = -5. Is (-10)/8 + f - (-31178)/136 a multiple of 17?
False
Let b(c) = 126*c**2 - 47*c - 7. Does 21 divide b(7)?
True
Suppose -2*z - 363 - 2452 = -3*z. Is 113 a factor of z?
False
Suppose -365454 - 220026 = -11*g - 57*g. Does 105 divide g?
True
Suppose -26*t + 21*t = -330. Suppose -8*f + 9*f = t. Does 21 divide f?
False
Suppose 2*i = -3*g + 19, 3*i - g = -0*i + 12. Suppose -o - o + 3*s + 87 = 0, 0 = i*s - 15. Is o a multiple of 6?
True
Let f(z) = 2776*z - 15227. Does 61 divide f(15)?
True
Let f be (0 - (-12)/15)/(16/120). Is ((-90)/(-12) - 0) + 9/f a multiple of 3?
True
Let j(n) be the second derivative of -n**3/3 + 11*n**2/2 - 10*n. Does 3 divide j(-19)?
False
Let w = 41 + 8. Suppose 5*j + 3*c = -80 - 171, c = -j - w. Let h = 29 - j. Is 42 a factor of h?
False
Let q = 166 + -164. Is q/12 - ((-15533)/(-42))/(-7) a multiple of 16?
False
Suppose -13 = -4*h - 4*f + 5*f, 0 = 5*h + 4*f - 11. Suppose -4*o - 3*s + 4*s = -1548, h*o + 2*s = 1161. Is o a multiple of 15?
False
Suppose 0 = -m + 451 + 44. Suppose m = -5*s + 1635. Is 11 a factor of s?
False
Let h be (2/(-4) - (-3)/6)*1. Suppose h = 8*b - 4*b - 8. Suppose 3*s - b*o = 6*s - 403, 3*o = s - 138. Does 15 divide s?
True
Suppose -218*x = -132*x - 4758552. Is 116 a factor of x?
True
Is 18/(-18)*3661*-2 - (1 + -7) a multiple of 16?
True
Suppose -32 = 56*s - 60*s. Suppose -4*a + 681 = y, -s*y + 5*y + 2*a + 2099 = 0. Does 25 divide y?
False
Suppose 0 = 5*s - 0 - 50. Suppose 5*q + s = 40. Does 8 divide (-1)/q + 1478/12?
False
Suppose 684*t + 49104 = 688*t. Is t a multiple of 11?
True
Suppose 96*k - 221*k = -108*k - 652851. Is k a multiple of 251?
True
Suppose -3*i - 2*i = -2*l + 20, -4*i = 5*l + 16. Suppose -10*c + 1928 = -1552. Suppose l = -z - 5*z + c. Is 6 a factor of z?
False
Let t(o) = -3*o**3 - 9*o**2 + o - 220. Is 44 a factor of t(-14)?
False
Suppose -1644*u + 1626*u + 4446 = 0. Is u even?
False
Let d = 22083 + -10861. Is 7 a factor of d?
False
Suppose 407 = -2*d + 2*o + 101, -318 = 2*d + 4*o. Let g = d - -80. Is 12 a factor of 2/(-10) + (-3240)/g?
False
Let v(u) = -u**2 + 12*u - 15. Let k be v(7). Let g(d) = -d + 24. Let l be g(k). Suppose 143 = l*n + s, -2*s - 2*s + 12 = 0. Does 35 divide n?
True
Suppose 54*i - 1984273 + 295423 = 0. Is 8 a factor of i?
False
Let i(u) be the second derivative of -u**3/6 - 3*u**2/2 + 24*u. Let a be i(-5). Is 40 a factor of 0 + 352 - (-5 + a)?
False
Let i(y) = 6*y**3 + 17*y**2 - 7 - 9 - 5*y**3 - 2*y**2. Let t be 1 + -10 - 25/5. Is 58 a factor of i(t)?
False
Let h(l) = l**3 + 11*l**2 - 27*l - 12. Let q be h(-13). Suppose -4*z = 9 - q. Does 4 divide (5 + 6)/(-1 - z)?
False
Let q(i) = -6*i**3 - 21*i**2 - 8*i + 3. Is q(-6) a multiple of 6?
False
Let h(p) = -p**2 - 13*p - 42. Let l be h(-7). Suppose 5*j - b - 90 = l, 24*j - 23 = 22*j + 3*b. Does 19 divide j?
True
Let p = -4068 + 9979. Is p a multiple of 98?
False
Suppose 3*o + 16 = -2. Let d(f) = 4*f**2 - 3. Is d(o) a multiple of 29?
False
Suppose 7 = -2*l + 3, 2862 = 4*y - 3*l. Is 22 a factor of y?
False
Let k(h) = -1805*h + 454. Is k(-1) a multiple of 9?
True
Let g(s) = -s**3 - 11*s**2 - 12*s - 18. Let b be g(-10). Suppose -4*c = -6 - b. Does 8 divide -78*(8/(-3) + c)?
False
Suppose 2*h = 5*h, a - 50445 = -2*a + 4*h. Is 59 a factor of a?
True
Suppose 4*d = 3*k + 26225, -2*k - 32769 = 23*d - 28*d. Is d a multiple of 12?
False
Suppose -20*a = -14*a + 588. Suppose -60 - 60 = 2*k. Let i = k - a. Is i a multiple of 21?
False
Let p = 273 - 464. Let x = p + 256. Does 13 divide x?
True
Let x = 10160 + -3907. Is x a multiple of 35?
False
Suppose -5*q - 43505 = -2*z, -2*z - q + 14425 = -29074. Is 150 a factor of z?
True
Suppose 106928 = 4*w + 39*o - 33*o, 4*o - 133681 = -5*w. Is 143 a factor of w?
True
Let j(l) be the second derivative of l**6/120 - l**5/30 + 5*l**4/24 - l**3/3 - 11*l**2/2 - l. Let s(d) be the first derivative of j(d). Is 14 a factor of s(3)?
False
Let a = -85 + 14. Let y = a + 63. Is ((-3)/2)/((-6)/y) + 29 a multiple of 27?
True
Let w(q) = -q**3 + q**2 + 7*q - 5. Let t be w(2). Suppose 57 = 3*i - 2*i + t*f, -272 = -4*i + 2*f. Is 10 a factor of i?
False
Let d(l) = 14*l**2 - 5*l + 23*l**2 + 2*l - 1. Let v be d(-1). Let f = v - 31. Is f a multiple of 2?
True
Let y = -70 + 72. Let z(p) = 32*p**2 - 3*p + 3. Is z(y) a multiple of 25?
True
Let x(a) = a**3 - 14*a**2 - 10*a - 68. Let f be x(15). Does 3 divide f + -3 + 0 - -387?
False
Suppose -25 = -j - 4*z, -j = -4*z - 3 + 18. Suppose u = -4*u - 4*k + 2588, -j*u + 2578 = -k. Is u a multiple of 12?
True
Suppose -2*g + 10*s + 17808 + 10190 = 0, -g = 5*s - 13989. Is g a multiple of 40?
False
Suppose -819 = -5*h + 2*h + 5*m, 0 = 5*h + 5*m - 1405. Suppose -z = d - 131, -5*z = -4*d - h + 793. Is 34 a factor of d?
False
Let g be 1/4 + (-17)/4. Let n(j) be the first derivative of j**4/4 + 5*j**3/3 + j**2 + 8*j - 337. Does 8 divide n(g)?
True
Suppose -4204 + 4264 = -5*y. Let h(q) = -3*q**2 + 41*q + 51. Let g(b) = -b**2 + 14*b + 17. Let k(c) = 17*g(c) - 6*h(c). Is k(y) a multiple of 24?
False
Let x(f) = -f**2 - 18*f + 44. Let i be x(-20). Is 4 a factor of i/5 - 66/(-5)?
False
Suppose 121 = 4*u + 97. Is (-19)/(-57) - (-610)/u a multiple of 17?
True
Let u = 34 - 31. Suppose 0 = -u*i, 157 = 3*s + 3*i - 158. Is 21 a factor of s?
True
Suppose -3*a = 9, -5*o - 91*a - 237 = -87*a. Let g(u) = -u**2 - 64*u - 165. Is g(o) a multiple of 30?
True
Let o be 100/(-28) + 4 - 96/(-21). Suppose 86 = 7*f - o. Is f a multiple of 2?
False
Let w be (-84)/(-21) + -1*4. Suppose 5*s = b + 2*s - 153, w = -3*s + 9. Is b a multiple of 18?
True
Let c(s) be the first d