-7) a multiple of 6?
False
Suppose 0 = -4*n - 2*f + 42 + 524, 0 = -5*n - 4*f + 709. Let a = n - 67. Does 3 divide a?
False
Let u(h) = -86*h - 3648. Does 3 divide u(-72)?
True
Let o be 106/8 + 11/(-44). Suppose -69 = o*f - 654. Does 7 divide f?
False
Suppose n - 16 = 4*r, 0 = 10*n - 8*n + 4*r + 4. Suppose -n*s + 668 = s - 2*g, 4*g - 116 = -s. Is 11 a factor of s?
True
Is 44 a factor of ((-40)/(-80))/(1/(-2)) + 4181?
True
Let t be (0 - 1/5) + 220649/(-55). Is (-1)/(t/668 - -6) a multiple of 13?
False
Suppose -8 = -2*m, -3*s + 4*m - 1337 = 1139. Is 2/(8/12)*s/(-30) a multiple of 40?
False
Suppose -5*x + 189054 = 3*j, 355*j = x + 354*j - 37806. Does 18 divide x?
False
Let u = -211 + 208. Is ((-102)/18)/(u/288) a multiple of 16?
True
Suppose -30*x = -32*x - 3*t + 16921, 25354 = 3*x - t. Is x a multiple of 79?
True
Suppose l - 166 = 5*g, -398 = -3*l + g - 6*g. Let y = 76 + l. Is 10 a factor of y?
False
Let j be (-6)/4 - 18/(-4). Let z(o) = o - 10. Let d be z(j). Is 31/2 - 1/(-5 - d) a multiple of 15?
True
Suppose -26 + 11 = 3*r, 0 = 4*o + 4*r + 656. Let k = o - -217. Does 8 divide k?
False
Let v be 1*-2 + 4 + 1. Let y(l) = l**3 + 4*l**2 - 27*l - 54. Let w be y(-2). Suppose -5*d = v*m - 10, -4*d + 3 + w = 3*m. Is 3 a factor of m?
False
Let f be (-234)/(-104)*4/18*12. Is 25 a factor of (4482/(-5))/(-3) - f/(-30)?
False
Let k = -75 - -105. Is (7200/(-108))/((-4)/k) a multiple of 20?
True
Suppose 2*h - q = -2*q + 7721, -2*h + 7723 = -q. Suppose 27*d - h = -0*d. Is 13 a factor of d?
True
Suppose -3*f - 2*c = -7*f + 172, -5*f + 5*c = -220. Does 22 divide (1*1056/56)/(4/f)?
True
Let b = -3564 - -6834. Does 10 divide b?
True
Suppose 2*j = 2*d - 16432, -8198 = -d - 16*j + 11*j. Is d a multiple of 10?
False
Let z(j) = -6*j**2 - 10*j - 40. Let y be z(-6). Let i = -76 - y. Is 4 a factor of i?
True
Suppose 0 = 5*o - 15, 3*r + r + 5*o = 27. Let u(z) be the first derivative of 8*z**3/3 + 2*z**2 - 3*z + 523. Is 16 a factor of u(r)?
False
Let d(h) = 3 + 3 + 2 - 39*h - 8*h. Suppose -236*m + 226*m - 50 = 0. Does 27 divide d(m)?
True
Suppose -5 = -a - 2*c, -2*c - 9 = -2*a - 5*c. Suppose -s - 5*l - 20 = 0, 2*l = -a*s + s. Suppose -557 - 79 = -s*b + y, -4*y = -b + 112. Is 8 a factor of b?
True
Let l = -28447 - -52632. Is 35 a factor of l?
True
Suppose -2*s = 2*y - 58, -2*s = -0*s + 2. Suppose 2*d + 0*z - 3*z + 3 = 0, -21 = 4*d - z. Does 18 divide ((-84)/y + 2)*915/d?
False
Let a(l) = 15*l**2 - 5*l - 13. Let v = -322 - -329. Does 12 divide a(v)?
False
Let z = -23 + -723. Let m = z - -1752. Does 12 divide m?
False
Does 79 divide (-350 + 353)*1303*1?
False
Suppose c - 4 - 1 = 0. Suppose -2*g = n - 85, 11*g - 4*n - 188 = 7*g. Suppose 2*j = j - c*w + g, 2*w + 4 = 0. Is j a multiple of 18?
True
Let h(n) = 2*n - 71*n**2 + 7*n**3 - 3*n**3 + 16 - 5*n**3 - n + 61*n**2. Suppose -3*y = 3*g + 30, 5*y + 41 = 3*g - 17. Is 14 a factor of h(y)?
True
Suppose 227 - 892 = m. Let l = -440 - m. Does 14 divide l?
False
Suppose -567 - 387 = -18*g. Suppose 61*c - g*c - 640 = 0. Is 16 a factor of c?
True
Let y(b) = -13*b**3 - 3*b**2 - 3*b - 2. Let r(g) be the third derivative of g**4/8 - 13*g**3/3 - 40*g**2. Let a be r(8). Is 8 a factor of y(a)?
True
Suppose 7*w - 2*x = 10*w - 17, -x = -w - 1. Let u(m) = 45*m**2 + 9*m - 7. Is u(w) a multiple of 19?
False
Suppose 49*u = -53*u + 242760. Is 85 a factor of u?
True
Let c = -219 + 268. Suppose 5*n - 709 = -4*s, 51*n + s = c*n + 286. Is 29 a factor of n?
True
Let r(u) = -u**3 + 10*u**2 + 2. Let d be r(10). Suppose 4*c + 1 = 29. Suppose -l + d*l = c. Is 3 a factor of l?
False
Let w(x) be the first derivative of -2*x**3/3 + 31*x**2 + 94*x + 78. Is w(32) a multiple of 2?
True
Let r(p) = -3*p + 39. Let u be r(13). Let t be (-8 + u + -1 + 1)/(-2). Suppose -3*n + t*n - 219 = 3*v, 0 = -4*v + 20. Is 41 a factor of n?
False
Let w = -202 + 196. Let f(s) = -19*s - 15. Is 33 a factor of f(w)?
True
Let m(y) = 3494*y + 5032. Is 23 a factor of m(4)?
False
Suppose -229*q - 2352 = -232*q. Suppose -3*z = z - q. Is 19 a factor of z?
False
Let s(q) = -24*q**3 + 37*q**2 + 245*q + 10. Does 79 divide s(-6)?
True
Let r = 1448 - -1996. Is 15 a factor of r?
False
Let v(y) = -y**3 - 9*y**2 + 11*y + 10. Suppose -16*d = -11*d + 50. Let z be v(d). Suppose 13*q - 15*q + 240 = z. Does 8 divide q?
True
Let u(h) be the third derivative of -h**4/12 + h**3 + 2*h**2 + 5. Let t(n) = -n**2 - 6*n - 9. Let r be t(-7). Is 4 a factor of u(r)?
False
Let a = -2894 + 5403. Suppose 0 = 7*i - a - 3259. Does 49 divide i?
False
Suppose -5*l = -4*s - 645, 0 = 7*l - 5*l - 3*s - 265. Let i = 399 - l. Is i a multiple of 14?
False
Suppose -3*h - 103 = 827. Let a = 124 - h. Does 14 divide a?
True
Let g(f) be the second derivative of -f**5/10 - 5*f**4/6 - 23*f**3/6 + 13*f**2 - 3*f - 3. Is 68 a factor of g(-8)?
False
Suppose 0 = 5060*j - 5076*j + 358816. Is 13 a factor of j?
False
Let l = -260 - -843. Suppose l = o - 0*m + m, 2*o - 2*m - 1174 = 0. Is 39 a factor of o?
True
Let x(b) = 6*b**2 - 51*b - 676. Does 10 divide x(38)?
True
Suppose 98*c = 93*c - 10, 0 = 4*s - 2*c - 64540. Does 10 divide s?
False
Let z = 285 - 325. Does 26 divide (0 + 882/(-15))/(4/z)?
False
Let q(d) = 53*d + 44*d - 86*d - 2. Is 7 a factor of q(14)?
False
Let m be -4 + (-4 - -1 - -139). Is 58113/m + (-2)/8 a multiple of 20?
True
Suppose 0 = 4*m - 2*y - 26888 - 44854, -3*m - 5*y = -53865. Does 128 divide m?
False
Let u(x) = x + 1 + 3*x + 3*x - 2*x. Let w be u(-13). Let n = -52 - w. Is 2 a factor of n?
True
Let r be (-146)/(-4 - -6)*37. Let l = -1928 - r. Does 38 divide l?
False
Let f(i) = 6*i**2 + 9*i + 5*i**2 - 16 - 12*i**2. Let b be f(6). Suppose -630 = -4*q + 3*n, 3*n + b*n = -2*q + 302. Does 26 divide q?
True
Suppose 7*g = 5*x + 3*g - 746, 4*x + 5*g - 605 = 0. Let q = x - 78. Suppose z + 2*f - 20 = -0*f, -3*z + q = 2*f. Is z a multiple of 3?
False
Suppose 0 = 4*n - s - 30547, 4*n + 779 = -s + 31336. Does 64 divide n?
False
Suppose 0 = -4*l + 2*l - 8. Let t be ((-472)/l)/(-2 + 4). Suppose -91 - t = -5*r. Is 8 a factor of r?
False
Let x be (-17 - -14)/((-3)/(-90)). Is (x/(-4) - 1)*68 a multiple of 30?
False
Let m = -374 + 263. Is (m/74)/((-1)/164) a multiple of 51?
False
Let n(s) = -3*s**3 + 56*s**2 - 35*s + 34. Is 38 a factor of n(11)?
True
Let i(o) = -1941*o - 2486. Is 15 a factor of i(-3)?
False
Let w be ((2 - 0)/4)/(4/24). Let c be (-2 + 3)/(w/21). Suppose 0 = -6*b - c*b + 728. Is b a multiple of 21?
False
Suppose -4*p - 2*f = -32, 3*f - 14 = -3*p - f. Suppose -2*j + 4*w = -0*w + 8, 4*w - p = j. Suppose -b = 2*n - 6, j*b + 2*n + 2 = 3*b. Is 4 a factor of b?
True
Let o(m) = 6*m**3 - 71*m**2 - 40*m + 45. Let y(a) = -a**3 + 14*a**2 + 8*a - 9. Let u(q) = 2*o(q) + 11*y(q). Let k be u(-11). Is 14 a factor of 546/(-4)*(-32)/k?
True
Let g = -55 + 71. Suppose -g*y - 198 = -18*y. Does 11 divide y?
True
Let r = -106 + 155. Suppose -a + r = -q + 117, -q + 4*a = -65. Does 38 divide q?
False
Suppose 1547 + 334 = 3*q. Let c = 163 + q. Is 15 a factor of c?
False
Let r = 27684 + -19408. Is r a multiple of 33?
False
Let n(c) = 43*c**2 + 126*c + 1357. Is 17 a factor of n(-26)?
True
Let h(c) = -100*c - 67. Let z be h(-9). Suppose 853 = u + k, -z = -u - 48*k + 52*k. Is 20 a factor of u?
False
Suppose 124 = b - 430. Suppose b = q + 59. Is q a multiple of 45?
True
Does 128 divide 1*(-16)/10*-3360?
True
Suppose 12*g - 36472 = 7436. Is 48 a factor of g?
False
Let l(g) = 45*g**2 + 27*g - 34. Let b(i) = 30*i**2 + 18*i - 23. Let h(o) = -7*b(o) + 5*l(o). Does 9 divide h(3)?
True
Let h = 3076 + -2153. Does 74 divide h?
False
Let s be (-22)/(-121) + (-119)/(-11). Suppose -12*h - 5*a = -s*h - 24, 2*a = 3*h - 140. Is 11 a factor of h?
True
Suppose 3 = 4*m - 2*d - 1, -8 = 5*m + 4*d. Suppose -15*j + m*j = -4860. Does 36 divide j?
True
Let r(g) = g**3 + 56*g**2 + 102*g - 159. Does 54 divide r(-53)?
True
Suppose -2*z - 69 = -4*n + 207, -3*z + 356 = 5*n. Suppose 346 - n = 12*o. Suppose -180 = 18*r - o*r. Is r a multiple of 9?
True
Let d(y) = -2*y**3 - 77*y**2 - 34*y + 313. Is 40 a factor of d(-39)?
True
Suppose 140022 = -13*l - 17*l + 39*l. Is l a multiple of 18?
False
Suppose 12*j - 47 = -23. Suppose 0 = -j*d + 6, 16*o - 18*o = d - 1795. Is o a multiple of 28?
True
Suppose 13*j - 1 = 51. Suppose -8 = -4*k, j*k - k = z - 1338. Is 56 a factor of z?
True
Let a be (0 