= -m**3 - 7*m**2 - 5*m + 8. Let f be n(-6). Is (6 - -26) + 2*f a multiple of 18?
True
Let a = 44 - 41. Suppose -r + 4*t + 70 = 0, -a*t + t = -3*r + 230. Does 13 divide r?
True
Let h(s) = 2*s**2 - 10*s - 6. Let f be h(6). Let i = 8 - f. Suppose -66 = -i*y - 2. Does 7 divide y?
False
Suppose -u + 48 + 1 = 0. Let w = 69 - u. Does 3 divide w?
False
Let y be 12/(-48) - 1/(-4). Let m(z) = z**2 + 5. Let i be m(y). Suppose -q + 17 + 12 = 3*l, -5*q - i*l = -135. Is q a multiple of 6?
False
Let s = 29 + -26. Suppose -3*n + 4*p + 445 = 0, 0 = -s*n + 3*p + 386 + 58. Is 21 a factor of n?
True
Suppose -2*c + 40 = 3*c. Let w be 2/c + 11/4. Suppose -57 + 0 = -w*k. Is 5 a factor of k?
False
Let r(m) = 3*m**2 - m - 2. Let h be 2 + (-3 - (3 + -1)). Let q be r(h). Let f = q + 3. Is f a multiple of 13?
False
Suppose 5*n = 15, -4*n - 7639 = -2*u - 843. Does 46 divide u?
True
Let c = 22 + -17. Suppose -c*p = -25, -225 = -2*r - 0*r + 3*p. Is r a multiple of 24?
True
Let n(o) = o - 1. Let f be n(-6). Let w(a) = a**3 + 6*a**2 + 2*a - 9. Let m be w(f). Let h = m - -103. Is h a multiple of 7?
False
Let s be -3*(2 + 40/(-15)). Let r(g) = 2*g**2 + g**s - 2*g**2 + 6*g - 7*g - 10. Is r(7) a multiple of 9?
False
Is 14 a factor of (-1)/6 - 1/(30/(-15545))?
True
Does 114 divide 12748/12 + (-5)/15?
False
Let k(l) = -l + 11. Let j(a) = -2*a + 21. Let v(d) = 4*j(d) - 7*k(d). Let p = -2 - 1. Does 10 divide v(p)?
True
Let h(u) = -u**2 + 17*u - 3. Let r be h(16). Let d(i) = i**3 - 14*i**2 + 15*i + 2. Is 14 a factor of d(r)?
True
Let b be (3 - -9)*(-6)/(-8). Suppose 0 = 4*j - b*j - 2*q + 159, 0 = 4*j - 5*q - 114. Let g = -18 + j. Is 9 a factor of g?
False
Is 43 a factor of -3 - -1 - (10 - 227)?
True
Let x = -141 + 208. Suppose -4*l = -3*h - 2*h + 39, 3*l - x = -5*h. Is h a multiple of 11?
True
Suppose 2*o = 2, 4*s - 3*o + 7 = -8. Let y(c) = -10*c**3 - 5*c**2 - c + 4. Let m be y(s). Suppose j + 62 + 102 = 2*d, 3*d - m = -2*j. Does 28 divide d?
False
Let m(j) = 5*j - 8. Let g(h) = -12*h + 32. Let f(b) = -4*b + 11. Let n(z) = 11*f(z) - 4*g(z). Let i(a) = 6*m(a) - 7*n(a). Is i(3) a multiple of 7?
True
Let i be 3/(-3 + 0) - -6. Suppose i*d = -o + 1259, o = 4*d - 3*o - 1012. Suppose -4*l + 0*l = -d. Is l a multiple of 21?
True
Suppose 2*y = -2*c + 6*y + 282, 0 = 5*c - y - 660. Does 15 divide c?
False
Let w = -36 + 176. Is w a multiple of 20?
True
Let u be ((-126)/(-49))/((-1)/(-7)). Suppose -2*r = -4*x - 5*r + u, -2*x + r = -4. Suppose 5*z + 21 = -x*a + 6*a, 4*a - 4*z - 36 = 0. Is 12 a factor of a?
True
Let u(b) = -b**3 + 3*b**2 - 5*b - 1. Is u(-5) a multiple of 32?
True
Let n(i) = 4*i**2 + 18*i + 15. Let t be n(15). Suppose 5*s - 306 = 4*a - t, 5*a = -s + 1077. Is 12 a factor of a?
True
Let h = 25 - 32. Let w be ((-1)/3)/(h/84). Does 25 divide w/18 - 1687/(-63)?
False
Let d = 8 + 5. Let z(i) = 8 + i + d - 2*i - 5. Does 3 divide z(13)?
True
Let h(q) = q**3 - 3*q**2 + 7*q - 4. Let b be h(4). Let m = b + 18. Is m a multiple of 14?
False
Let s be (1 + 2 - 6) + 5. Suppose s*i - i - 268 = -3*d, 5*d = 2*i - 580. Does 4 divide 1/3 + i/24?
True
Let u(f) = 17*f**2 + 8*f - 15. Let b be 2*(5 - (-7)/(-2)). Does 18 divide u(b)?
True
Let z(i) = 16*i - 6. Let m be (-6)/15 + 34/10. Is z(m) a multiple of 21?
True
Let k be -3*(-10)/(-3)*-1. Is (k - 3) + -4*1 a multiple of 2?
False
Let p(n) = n**3 - 7*n**2 - 5*n - 5. Let v be p(8). Let x = -15 + v. Suppose -x*a = 29 - 129. Is a a multiple of 25?
True
Let m = -49 - -15. Let t be (-51)/m + (-2)/(-4). Is ((-72)/60)/(t/(-20)) a multiple of 6?
True
Let u(t) = t - 15. Let v be u(13). Does 21 divide (v - (-4)/1)*42/1?
True
Is 18 a factor of (-5)/3*59346/(-315)?
False
Suppose 2*i - 168 = 2*o, -2*i - 62 - 114 = 2*o. Let p be (1/2)/((-1)/o). Suppose -9 - p = -2*q. Does 13 divide q?
True
Suppose -2 = -5*t - 12. Let h be (t - 0)*-3*1. Suppose 301 - 55 = h*f. Is f a multiple of 13?
False
Let u be -3 + ((-10)/(-1) - 4). Suppose 3*k - 135 = 3*f, -u*k + 0*k + 132 = -2*f. Is 13 a factor of k?
False
Suppose -38*f + 33*f = -13940. Does 34 divide f?
True
Let y(c) = c + 2. Let x be y(3). Suppose x*o = 2*o + 5*u + 25, -5*u = -5*o + 25. Suppose o = -2*b - 3*b + 405. Is b a multiple of 24?
False
Suppose -3*h + 3*g + 9 = 0, 2*g = 6*g + 20. Let r be 2*h/(-4)*3. Suppose -114 - 21 = -r*c. Is 15 a factor of c?
True
Suppose -3*n + 5*p = -55 + 13, 2*n - 3 = -5*p. Let y(z) = 2*z**2 - 9*z - 13. Is 34 a factor of y(n)?
True
Let y be (10712/(-65))/((-2)/5). Suppose 5*k - y = -3*s, 4*k = 3*s + 5*k - 428. Does 16 divide s?
True
Suppose 0 = 2*j - 6*j. Let c(k) be the first derivative of -k**3/3 + k**2/2 + 6*k - 2. Does 6 divide c(j)?
True
Let t(s) = -s**3 + 11*s**2 - 25*s + 11. Let g be t(8). Suppose 516 = g*p + 96. Does 12 divide p?
False
Let c(x) = -x**2 - 9*x + 4 - 1 - 1 - 3. Is c(-7) a multiple of 13?
True
Is (9/(-2))/(288/(-63744)) a multiple of 9?
False
Let k = 19 + -28. Let y = k + 21. Is 3 a factor of 9 + y/(-4 + 8)?
True
Let i be 32/(-12) + 2/(-6). Is 10 a factor of (60/(-14))/(i/21)?
True
Suppose 4*i = 12, -2*y + 11 = -0*y - 3*i. Let q = -29 + 55. Let o = q - y. Does 8 divide o?
True
Suppose -h - 2*h = 2*g - 9, 0 = 2*g - h - 5. Let x(q) = 8*q - 4*q**3 - 3*q - 8*q**2 + 3*q**g + 6. Is x(-9) a multiple of 21?
True
Suppose 2*i - i = z, 0 = -2*z + 5*i + 9. Let c(l) = -35*l - 9. Let b be c(z). Is ((-4)/(-2))/(6/b) a multiple of 8?
True
Let r = -191 + 2339. Is 12 a factor of r?
True
Let h be 3 - (8/(-2) + 29). Suppose 4*i - a + 15 = 3*i, -2*i = -5*a + 33. Let w = i - h. Does 8 divide w?
True
Let d(m) = -m**3 + 6*m**2 + 19*m + 1. Let i be d(8). Let w = i + 53. Is 26 a factor of w?
True
Let z = -1161 + 2191. Does 54 divide z?
False
Suppose 3*d + 4 - 34 = 0. Suppose 2*n = p - 21, 4*p = -2*n + 3*n + 63. Suppose -p*r + 115 = -d*r. Is 5 a factor of r?
False
Let q(u) = -13*u + 9. Let c(f) = -39*f + 27. Let w(z) = 2*c(z) - 7*q(z). Let v be w(2). Suppose b - 5*d = v, 2*d + 0*d + 38 = 3*b. Is 6 a factor of b?
True
Let y(x) = x**2 - 5*x - 6. Let d(v) = -v + 1. Let n be d(8). Does 26 divide y(n)?
True
Does 8 divide (102/(-7))/(57/(-532))?
True
Let a = -1312 + 3482. Does 7 divide a?
True
Let d(b) = -2*b - 12. Let h be d(-7). Let i(p) = -22*p**h + 24*p**2 - 6 + 4*p + 4*p. Does 8 divide i(-7)?
False
Suppose 0 = 42*h - 16*h - 2704. Is 26 a factor of h?
True
Let t(m) = m**3 - 6*m**2 + 2*m - 8. Let q be t(6). Let f = -4 + q. Suppose f = -d + 19 + 1. Is d a multiple of 13?
False
Let n(y) = 3*y**2 + 3*y + 4. Suppose 2*b = -4*m + 22, 5*m + 3 - 11 = 4*b. Is n(m) a multiple of 16?
True
Let b = -25 - -15. Suppose 0 = t + q - 5, -3*t - 2 = -5*t + 2*q. Does 4 divide (-6)/5*b/t?
True
Let x be 2 - (-24 + 3 - 0). Suppose 8 = -x*m + 25*m. Suppose 0 = -m*j + 50 + 38. Is 4 a factor of j?
False
Let q be 4 + -11 + 4 + 3. Let j(h) = h**3 - 5*h**2 + h - 1. Let t be j(5). Suppose q = t*z - z - 36. Is 9 a factor of z?
False
Suppose 3*l - 61 = 5*j, 4*l = 4*j + 20 + 32. Let v = j + 19. Suppose 96 = -2*p + v*p. Is 14 a factor of p?
False
Let t = -1203 - -1624. Is 6 a factor of t?
False
Let c = 4791 - 2815. Is c a multiple of 19?
True
Let l(k) = -34*k**3 - 2*k**2 - k + 2. Let s be l(1). Let t = s - -69. Is t a multiple of 17?
True
Let v be (18/21)/(2/14). Suppose v*t = t + 175. Does 6 divide t?
False
Let r be (21/(-3))/(-2 - -1). Let w be (-14)/r - (-5 - -2). Suppose s - w = 11. Is 6 a factor of s?
True
Suppose 5*m = 5*c - 10, 3*c - 4*m + 9 - 20 = 0. Does 5 divide (8/c)/(32/(-336))?
False
Suppose 3*y - 4*v = -833, y - 4*y - 853 = v. Let o = y + 481. Let a = o - 134. Does 14 divide a?
False
Let p(r) = 39*r**3 - 2*r**2 + 5*r - 2. Is 24 a factor of p(2)?
True
Let q = -6 + 9. Suppose 12 + q = -3*h. Let w(t) = -9*t + 5. Is w(h) a multiple of 25?
True
Let w be 1*((-8)/(-12)*3 + -3). Let q(k) = -75*k**3 - k**2 + k + 1. Is 8 a factor of q(w)?
False
Let i be (-19365)/(-35) + (-2)/7. Suppose 0*n + i = 5*t - n, 0 = -4*t + 3*n + 449. Let m = 168 - t. Is 22 a factor of m?
False
Suppose 117 + 68 = 5*r. Let c = 2 + 0. Suppose r = c*h - 103. Is h a multiple of 15?
False
Suppose 4*j = 5*j - 30. Let w = j + -18. Does 22 divide 44/3*18/w?
True
Suppose 13 = 5*l - 3*k - 29, 21 = 2*l + 3*k. Let m(t) = 6*t - 6. Is 8 a factor of m(l)?
True
Let x be (-3 - (-1 + 2 + -5))*2. Suppose -p - m + 69 = 0, m = -x*p + 2*m + 123. Does 8 divide p?
True
Suppose -4*i 