*n**3 + 2*n**2 - 15*n - 9. Let x(z) = -5*h(z) - 2*m(z). Is 5 a factor of x(-5)?
False
Let d = 5607 - 2988. Let s = -1569 + d. Is s a multiple of 30?
True
Let z = -2225 - -2597. Is z a multiple of 62?
True
Suppose 0 = 4*c - 4*o - 8412, -4*c = -5*o - 3837 - 4570. Is 34 a factor of c?
True
Suppose 26 + 30 = 2*l. Let k = -26 + l. Suppose -k*r = r - 60. Does 20 divide r?
True
Let c = -130 + 137. Suppose -3*v - b + 24 = 0, c*v + b + 24 = 10*v. Let i(m) = 5*m**2 - 13*m + 9. Does 25 divide i(v)?
True
Let j be (-60)/4*(-3)/9. Does 18 divide 1253/5 + j + 2/5?
False
Suppose -10*z + 1075 - 125 = 0. Suppose 5*o - 61 = -4*p + z, 2*o = 2*p - 96. Is p a multiple of 11?
True
Let o be (-43 + (-4)/2)*4/4. Is 57 a factor of (-10)/o - 22852/(-36)?
False
Let n = 14214 - 3714. Is n a multiple of 62?
False
Suppose 35*d - 36 = 31*d. Suppose -d*q + 5*q = -792. Is q a multiple of 18?
True
Let n(s) = 40*s + 387. Is 9 a factor of n(77)?
False
Suppose 1 = -v + 3*z, -3*v + 15 + 6 = -z. Suppose -2518 = -v*m + 1610. Is m a multiple of 40?
False
Suppose 26046 = 5*u + 4*m, -2*u + 10452 = 350*m - 354*m. Does 237 divide u?
True
Let d(j) = 5*j - 27. Let n = 63 + -57. Let v be d(n). Suppose -v*g = -2*g - 147. Is 47 a factor of g?
False
Let k(o) = -513*o - 3326. Is 29 a factor of k(-30)?
True
Let i = -759 - -1082. Suppose 0 = -y + 2*n + i, 4*y - 1282 = -2*n - 0*n. Suppose 0 = -5*d + 4*m + 860, 2*d + 4*m - y = m. Is 42 a factor of d?
True
Let g(a) = -a**2 - 21*a - 12. Suppose 30 = -2*k - 5*x, -4*k - 4*x - 48 = -0*k. Does 3 divide g(k)?
False
Is 5/((-75)/(-67820)) - 26/(-39) a multiple of 19?
True
Is 2 a factor of 5*2134/11 + 7 + 2?
False
Let z(v) = -183*v**3 + 3*v**2 - v - 1. Suppose 2*m = 5*s - m - 59, -s + 5*m = -25. Let n = -11 + s. Does 34 divide z(n)?
False
Suppose -5*y - 3*s = -6804, 32*y = 36*y - 3*s - 5454. Is y a multiple of 15?
False
Does 16 divide 3/1*361 - (128 - 126)?
False
Let s = -123 - -126. Does 10 divide ((-1692)/16 - s)*(-16)/6?
True
Suppose -3801 = -12*r - 393. Suppose 0 = 33*c - 29*c - r. Is c a multiple of 8?
False
Let w be (-3)/(-7) - (4356/(-63))/2. Let r(f) = -2*f + 240. Does 5 divide r(w)?
True
Let q(d) = -91*d**3 + 7*d**2 + 34*d - 8. Does 19 divide q(-4)?
False
Let b(a) = a**3 + 27*a**2 + 15*a + 346. Is b(-13) a multiple of 2?
False
Suppose -890 = 1770*w - 1775*w. Is w a multiple of 75?
False
Is (-66)/(-198)*((-12)/10)/(5/(-101300)) a multiple of 29?
False
Is (-3)/(-18) + (3 - 3) + (-189592)/(-48) a multiple of 79?
True
Suppose 5*k = -2*r - 1895 + 9025, -k - 17717 = -5*r. Is 9 a factor of r?
False
Suppose p = -5*s - 69, -4*p + 14*s - 17*s - 327 = 0. Let t be (-2 - (0 - 0)) + 10. Does 6 divide (-2 + t/(-14))*p/12?
True
Let l = -282 - -211. Let r = l - -157. Is 2 a factor of r?
True
Suppose 42 = -0*q - 5*q + 4*w, -w = -3. Let n(m) = -m**3 - 8*m**2 - 11*m + 11. Let l be n(q). Suppose l = 6*g - 5*g. Does 2 divide g?
False
Let g(z) = 15*z - 19. Let a be g(-6). Let p = a - -323. Does 14 divide p?
False
Suppose -620 = r - 590. Let l(w) = -2*w**2 - 59*w + 64. Is 34 a factor of l(r)?
True
Let f be (2/5)/((-2)/(-10)). Suppose 2*g = 3*w - 18, -3*w + 5*g - 2406 = -2424. Suppose -3*t = -f*m + w*m - 33, -3*m = t - 26. Is 9 a factor of m?
True
Let o(l) = -13*l**3 + 33*l**2 + 36*l + 16. Let g(t) = -7*t**3 + 17*t**2 + 18*t + 9. Let r(w) = -11*g(w) + 6*o(w). Is r(12) a multiple of 3?
True
Let n = 77 + 858. Suppose -5*r = -5*d + n, d + r - 181 = -0*d. Does 5 divide d?
False
Let u(w) = -w**3 - 22*w**2 - 58*w + 22. Let f be u(-19). Suppose 2*h = 4*h - 10. Suppose -251 = -h*x - f. Does 16 divide x?
False
Let b = 130 - 53. Let u = -176 + b. Let f = 133 + u. Is f a multiple of 2?
True
Suppose 9*f - 12*f + 51 = 0. Suppose -f - 25 = -2*i. Is 18 a factor of (-144)/i*21/(-2)?
True
Suppose 4*m - 16 = 56. Suppose m = -r - 3*t, 2 - 6 = t. Does 9 divide r/(1 - -2)*-29?
False
Suppose 12*d - 13*d = 27. Let v = d + 29. Suppose -5*n + 59 = v*x + x, 2*x = -5*n + 31. Is x a multiple of 15?
False
Let h(i) = -5*i**3 + i**2 + i - 3. Let b(d) = 6*d**3 - 2*d**2 - d + 4. Let s(a) = -4*b(a) - 5*h(a). Let y be s(-2). Suppose 243 = y*z - 667. Does 43 divide z?
False
Suppose 40*f = 39*f + 6. Let c(h) = -11 - 7 - 4 + 18*h. Is 11 a factor of c(f)?
False
Let q(w) = w**3 + 22*w**2 + 88*w + 917. Does 6 divide q(-19)?
False
Let m be (-1 + (-21)/(-6))*(3 - 1). Suppose 0 = -u + 2*p + 1442, 6*u = 3*u + m*p + 4325. Suppose -5*r = 4*r - u. Is 32 a factor of r?
True
Let r(o) = 6*o - 5*o + 2*o + 17*o**3 - 4*o**2 + 2. Is r(2) a multiple of 16?
True
Let t(j) = 1092*j - 17204. Is 11 a factor of t(21)?
False
Is 6056/22 - (-90)/(-330) a multiple of 7?
False
Let b(a) = a**3 + 22*a**2 - 24*a - 21. Let w be b(-23). Suppose -5*q - 878 = -3*z, -w*z + 3*q + 588 = q. Is z a multiple of 37?
True
Let d = -470 + 673. Suppose 15*a + d = 16*a. Is 2 a factor of a?
False
Let o be (-1700)/5 - 12/4. Let s = -20 - o. Is s a multiple of 13?
False
Let j(b) be the second derivative of 4*b**3/3 + 23*b**2/2 - b + 4. Is j(2) a multiple of 3?
True
Is 169 a factor of 118377/42 + 3/2?
False
Suppose -59*w - 151*w = 49*w - 34706. Is 134 a factor of w?
True
Let h(n) = -n**2 + 28*n + 208. Does 38 divide h(30)?
False
Let g be 20/(-6)*54/(-45). Let j = g - -3. Suppose -j*r = -0*r - 539. Does 8 divide r?
False
Let l(t) = t**3 + 2*t**2 + 3*t - 5. Let k be l(4). Let j be 2 + (-3)/((-6)/(-122)). Let q = j + k. Is q a multiple of 11?
True
Suppose 0 = -8*n - 84 + 260. Suppose -88 = n*q - 8668. Does 30 divide q?
True
Let i(s) be the first derivative of 9 + 11/4*s**4 + 0*s**3 + 4*s + 0*s**2. Is i(2) a multiple of 11?
False
Let y(j) = j**3 - 109*j**2 - 143*j + 2075. Is 20 a factor of y(111)?
False
Let x = 56 + -37. Let q(v) = v**3 - 20*v**2 + 20*v - 45. Let j be q(x). Is 30 a factor of ((-4 - j) + -2)*6?
True
Suppose -4*y + 6*c + 11720 = 2*c, 0 = 2*y + c - 5854. Is y a multiple of 12?
True
Suppose v - 7*v + 12 = 0. Let b = v + 9. Suppose u = b + 52. Is u a multiple of 33?
False
Let w(i) = 168*i**3 + 5*i**2 - 3*i - 4. Let l be 1*(8/(-32))/((-1)/8). Let s be w(l). Suppose 5*d - s = c - 200, 4*c = 4*d - 920. Does 21 divide d?
True
Let a be (-7025)/105 - (-12)/(-126). Let w = 94 - a. Is w a multiple of 6?
False
Let k be (36/(-20))/((-6)/50). Suppose 0 = 3*q + 2*w - w + 14, 24 = -4*q + 4*w. Is 16 a factor of (-216)/(-5)*(q - (-125)/k)?
True
Suppose -2*a = -j + 1204, -3*a = 13*j - 16*j + 3606. Does 49 divide j?
False
Let o = 5169 + -3607. Suppose -5346 = -8*k - o. Is 43 a factor of k?
True
Is (1600/(-225))/(-16) + 11062/18 a multiple of 2?
False
Suppose 635 = -5*d - 590. Let x = 401 + d. Is 4 a factor of x?
True
Let j = 6944 + -4919. Is 25 a factor of j?
True
Suppose -11*y + 11 = 55. Let u be (-2)/4*y + 33. Suppose -2*b + 5*a + u = -33, -a - 76 = -3*b. Does 8 divide b?
True
Let v = -34 + 36. Suppose -v*g - 80 = 6*g. Let b(n) = -n**3 - 9*n**2 + 7*n - 21. Is b(g) a multiple of 2?
False
Let q be (-2)/((-14)/10129) - 5. Let x = 2138 - q. Does 58 divide x?
True
Suppose 0 = 92*s - 48*s - 36960. Is 14 a factor of s?
True
Suppose -16*p = -4*p + 4380. Let c = p + 372. Is c a multiple of 3?
False
Let b = 36 - 35. Let a be 41/1 - -4 - b. Suppose -2*p + 48 = -a. Does 10 divide p?
False
Let a(j) = -j**3 - j**2 - j - 1. Suppose 0*x = 3*x - 2*x. Let q(z) = -3*z - 6. Let g be q(x). Is a(g) a multiple of 34?
False
Let o(h) = 43*h**3 + h**2 - 4*h + 4. Let v be o(1). Is 33 a factor of v/6*-1*(-20 - -2)?
True
Let j be (-5 - 6/(-1)) + 415. Let m = j + -167. Is m a multiple of 30?
False
Suppose i + 2*m - 1103 - 2216 = 0, 4*m = i - 3343. Is i a multiple of 149?
False
Suppose 0*m - 3*w = m - 5, -5 = -4*m + 3*w. Is ((-3)/m)/((-18)/12636) a multiple of 27?
True
Let g = -299 + 301. Suppose p - 422 = -m, -m + g*m + 3*p = 420. Is 69 a factor of m?
False
Suppose 4*l - 24 = 3*t + t, 0 = -3*l - t + 2. Suppose 10 = n + l*p, 2*p - 16 = -2*n - p. Suppose z = -3*o - z + 274, z = n*o - 178. Is 12 a factor of o?
False
Does 30 divide 344/1892 + 421076/22?
True
Let r(n) = n**3 - 44*n**2 + 87*n - 64. Suppose -16*j = -11*j - 5, 213 = 5*u + 3*j. Does 4 divide r(u)?
False
Let u(v) = 2*v**3 + 2*v**2 - 3*v + 28082. Does 82 divide u(0)?
False
Let u(c) = c**3 + 11*c**2 + 12*c - 16. Let o be u(-12). Suppose 0 = 4*a - 7*a - 612. Let d = a - o. Does 20 divide d?
True
Let p(s) = 2 - s - 1 + 6*s - 4*s. Let r(y) = -