5. Is m a multiple of 5?
False
Suppose 0 = 29*k - 27*k - 970. Is 9 a factor of k?
False
Let i(d) be the first derivative of d**2/2 + 5. Let x be i(-2). Is 12 a factor of 8/(-6)*(-20 - x)?
True
Suppose 4*q - 340 = -40. Let r = q - 51. Does 4 divide r?
True
Let r(v) = v**3 - 7*v**2 + 8*v + 6. Let x(m) = -m**2 - 2. Let p(f) = -r(f) - 2*x(f). Suppose 3*n = 5*n - 14. Is 20 a factor of p(n)?
True
Let d(x) = 15*x. Let r be d(-1). Let y = 45 - r. Is y a multiple of 12?
True
Let k = -52 - -46. Let x(y) = -2*y**3 - 3*y**2 + 6*y + 18. Is x(k) a multiple of 18?
True
Is 16/24*(3 + 168) a multiple of 29?
False
Let m(v) = -v**3 - 2*v**2 - 2*v - 1. Suppose 0 = -2*c - 0*c - 4. Let y be m(c). Suppose -3*h + y = -3*u, -5*u + 0*h = 2*h - 23. Is u a multiple of 3?
True
Suppose -3*d - 29 = -d - 5*i, i = -3*d - 18. Let x(z) be the third derivative of z**4/24 + 17*z**3/6 - 17*z**2. Is x(d) a multiple of 5?
True
Is 17 a factor of (1 + 20)*((-11)/(-3) + 2)?
True
Suppose 0 = -5*i + 4*o + 7356, -3*i - 5*o + 4421 = -0*i. Is i a multiple of 44?
False
Suppose 0 = 4729*p - 4730*p + 1098. Is p a multiple of 18?
True
Suppose 421 = 2*f - a, 5*f = -6*a + 7*a + 1051. Does 30 divide f?
True
Let x = 76 - 46. Suppose -144 = -b - 7*b. Let s = x - b. Is 12 a factor of s?
True
Let x(a) = -14*a - 7. Let j be x(-10). Suppose -363 - j = -4*o. Is 13 a factor of o/(-6)*(-9)/6?
False
Let h(j) be the first derivative of -1/4*j**4 - 11*j + 7 - 2*j**2 - 8/3*j**3. Does 11 divide h(-8)?
False
Suppose 4*t = -3*d + 1948, -5*d + 972 = 2*t - 3*d. Is t a multiple of 74?
False
Let l = 14 + -14. Suppose c + 3*c = l. Let w(v) = v**3 + v**2 - v + 29. Is w(c) a multiple of 14?
False
Let o(r) = -r**3 + 14*r**2 - 20*r + 17. Let v(d) = -d**3 + 2*d**2 + 3*d + 2. Let m be v(-2). Does 17 divide o(m)?
False
Suppose -850 - 590 = -10*p. Is 86 a factor of p?
False
Suppose -5*a + a + 4 = 0. Let f(s) = 4 - 2*s + 118*s**3 - 93*s**3 - 3. Does 6 divide f(a)?
True
Let d(t) = -4*t + 79. Does 16 divide d(9)?
False
Is 8 a factor of (-104)/(-4)*(-162)/(-12)?
False
Suppose 3*z - 717 - 126 = 0. Let b = 421 - z. Is 28 a factor of b?
True
Is 7 a factor of (51/153)/((-1)/(-570))?
False
Is 82 a factor of 1797*1 + 36 + -31?
False
Suppose -6*g + 95 = 11. Suppose -270 = -g*o + 8*o. Does 36 divide o?
False
Suppose -3*w - 4*d = -3532, 0 = -4*w - 0*w + 2*d + 4680. Does 66 divide w?
False
Let j(t) = t**3 + 7*t**2 + 8*t + 11. Let g be j(-6). Let f(p) = -93*p - 1. Is 15 a factor of f(g)?
False
Let m(n) = -9*n + 11. Let z be m(-5). Suppose z = -c + 2*c. Is c a multiple of 8?
True
Let x(y) = -2*y**3 - 74*y**2 - 5*y - 115. Is 7 a factor of x(-37)?
True
Is 16 a factor of (-209)/(-38)*(-1 - -33)?
True
Let y be 0/9 + -11 + -1. Let g be (38/6 - -3)*y. Is (-8)/44 - g/11 a multiple of 5?
True
Let d(c) = -386*c**3 - 4*c**2 - 2*c + 1. Does 8 divide d(-1)?
False
Let b(z) = -z - 5. Let h be b(-7). Suppose 2*u + h*u - 12 = 0. Suppose 19 = -0*j + j - 3*i, 22 = u*j - 2*i. Is 2 a factor of j?
True
Suppose 0 = -5*t - 4*r + 2635, 2*t - r = -0*t + 1054. Suppose t = 3*x - 448. Suppose -x = -5*o + 95. Is o a multiple of 21?
True
Let f = -72 - -472. Does 10 divide f?
True
Suppose -4*s + 5*k + 25 = 2*k, 5*k + 15 = 0. Suppose -2*n + 7 = x, 4*x - n - 18 = -s*n. Is (-9 - -38) + x + 0 a multiple of 7?
False
Let m be (2 + 1)*9/(-9). Is 4 a factor of 4/m + (-448)/(-21)?
True
Let o = 65 + -62. Suppose b = -b + 2*n, 0 = -5*n + 20. Suppose 2*u = b*w - o*u - 110, 0 = u - 2. Does 22 divide w?
False
Suppose 0 = -5*y - 20, -z - 2*z - 8 = 2*y. Suppose z = -4*p + 331 + 9. Does 8 divide p?
False
Suppose 5*v - 4*c + 15 = 0, -5*v + 25 = c + 3*c. Suppose -5*o = -2 - 3. Does 9 divide (v + o)/(16/232)?
False
Let o = -1498 - -2245. Is 14 a factor of o?
False
Suppose 4*l - 2*l - 10 = 0. Suppose l*c = -0*j - 3*j + 204, 186 = 3*j - c. Is (-6)/4 - j/(-2) a multiple of 10?
True
Let u(a) be the first derivative of 123*a**2/2 - 7*a + 22. Does 15 divide u(2)?
False
Let y(i) be the third derivative of 0*i + 0 + 3/20*i**6 - 1/24*i**4 + 1/60*i**5 - 6*i**2 + 0*i**3. Is 6 a factor of y(1)?
True
Suppose 4*d = -3*x + 16842, 0 = 4*d + 5*x - 25444 + 8606. Is d a multiple of 15?
False
Let h = 0 + -3. Let f be -1 + 3 + h/(-1). Suppose -f*z + 5*m + 220 = 0, -2*z + 48 = -5*m - 28. Is 12 a factor of z?
True
Suppose -12 = -7*f + 10*f. Let t be 0/5 - (f - -3). Suppose t = -2*x + 45. Is x a multiple of 4?
False
Suppose -2*q = 2*h - 34 + 12, -5*h = -4*q + 62. Is 2 a factor of q?
False
Suppose w + 3*w - y = 19, -17 = -2*w - y. Let k be 6 - w - (-6)/2. Suppose -k*j - l + 16 = 0, 0 = -j - 2*j - 2*l + 14. Is 5 a factor of j?
False
Does 7 divide (-715)/(-2) - ((-3)/2 + 2)?
True
Is ((63/(-7))/(-18))/(2/668) a multiple of 24?
False
Let n = 976 - -544. Does 13 divide n?
False
Is 30 a factor of ((-3 - 4) + -83)*(-38)/6?
True
Let n = 67 + -62. Suppose -4*t + 5*t - 322 = -k, t - 334 = n*k. Does 18 divide t?
True
Suppose -y + 5*y = -304. Let h = 12 + -44. Let z = h - y. Is 9 a factor of z?
False
Suppose s - 2*y - 121 = 2*y, 0 = -4*y + 20. Is s a multiple of 4?
False
Let p(a) = 66*a**2 - a + 4. Does 38 divide p(-4)?
True
Suppose -7*j + 2*j + 14 = -4*c, -c - 4*j + 7 = 0. Let u(i) = -24*i**3 - i**2 - i. Let h be u(c). Is 2532/h + 1/(-2) a multiple of 35?
True
Let d(o) = o**2 - o + 6. Let c be d(4). Let b = 15 - c. Is (0 - b)/((-3)/(-15)) a multiple of 7?
False
Let p(a) = -2*a**3 + 2*a**2 - 3*a - 7. Is 22 a factor of p(-5)?
True
Suppose 0 = 26*b - 31*b - 95. Let x = 31 + b. Let n = 2 + x. Is 8 a factor of n?
False
Let h(d) = -d**3 + 4*d + 2. Let m be h(-3). Let o = m + -33. Let a = o - -29. Is a a multiple of 11?
False
Let s be 1 - (-6)/(6/319). Suppose 76*t - 74*t - s = 0. Does 16 divide t?
True
Let d = 8 - 4. Suppose -c = 3*k - k - 66, 138 = d*k - c. Let t = k + -26. Does 8 divide t?
True
Let k be (3*13*-1)/((-3)/16). Suppose -4*l + 549 = 2*o + 109, -2*l - 4*o + k = 0. Is 15 a factor of l?
False
Suppose 2*s - 7343 = -2107. Is 17 a factor of s?
True
Let i be (-1366)/(-12) - 10/(-60). Suppose i + 66 = 5*f. Does 4 divide f?
True
Let p(m) = -8*m + 24. Let d be p(6). Let g = d + 68. Is 11 a factor of g?
True
Suppose -21*h = -147*h + 13860. Is 2 a factor of h?
True
Suppose 2*f - 925 - 261 = -5*y, 5*y - 1184 = -3*f. Does 17 divide y?
True
Let c be (-1778)/(-2) - (5 + -8). Suppose n = 3*m - 400, -5*m + 4*n + c - 216 = 0. Is m a multiple of 22?
True
Suppose -3*x - 10 = 4*t, -x + 5*t = x - 24. Suppose 3*g = x*f + 96, 5*g = 3*f + 4*g + 130. Does 12 divide (f/24)/((-2)/16)?
False
Is 50 a factor of (4/(-10))/((-54544)/6060 + 9)?
False
Suppose 5*c + 1 = -3*u, 2*u - 16 = 4*c + c. Suppose 4*h = -3*d + 522, -5*h + u*d + 380 + 286 = 0. Is h a multiple of 33?
True
Suppose -3*q - q = -304. Let x = q + -46. Does 30 divide x?
True
Let f = -22 - -15. Let a(h) be the third derivative of h**6/120 + 7*h**5/60 - h**4/12 + 2*h**3/3 + 2*h**2. Does 6 divide a(f)?
True
Suppose -9*m + 5*m + 464 = -4*i, -4*i = 5*m - 607. Does 40 divide m?
False
Let j = -7 - -12. Suppose -j*d + 9*d = 12. Suppose -d*t + 0*t = -174. Is t a multiple of 18?
False
Suppose 0 = -2*n + w - 396 + 1687, 0 = 3*w + 3. Is n a multiple of 55?
False
Let f = -33 - -23. Is 315/(-18)*56/f a multiple of 14?
True
Let u = -21 - -23. Suppose 162 = 5*v - u*v. Does 9 divide v?
True
Suppose 65 = 2*f - 3*n + 4*n, 5*f + 3*n = 164. Suppose -2*j = t + 3*t + 66, 39 = -t + 4*j. Let p = t + f. Is p a multiple of 6?
True
Let p = 39 + -40. Does 2 divide p/5 + (-568)/(-40)?
True
Let b be 12/1*(-8)/16. Let k(z) = z**3 + 7*z**2 + 9*z + 7. Let v be k(b). Let x = -5 - v. Does 3 divide x?
True
Suppose -3*g + 5*g = 3*c + 86, -2*c + 66 = 2*g. Suppose 0 = p - 5*j + 2, -5*p + 2*j + 45 = -g. Is p a multiple of 3?
True
Let b(m) = 20*m**2 - 7. Let d be b(-4). Suppose -4*k = -5*y + d, -3*k + 4*y - 125 = 111. Is k/(-1) + 10 + -13 a multiple of 9?
False
Suppose 0 = 4*w - 2*w. Suppose w*x = x - 36. Suppose -d = -2*d + x. Is d a multiple of 12?
True
Let x = -147 + 369. Does 6 divide x?
True
Let q = 44 - 41. Is q - (-86 - (-2 - -6)) a multiple of 19?
False
Suppose -3*v + 239 = -487. Does 11 divide v?
True
Let c(l) = -2*l + 18. Let j be c(8). Let h(p) = 4*p - 3. Let o be h(j). Suppose -4*m + 3*m - o*q = -25, -4*q = 4. Is m a multiple of 15?
True
Let u(l) = l**3 + l**2 - 3*l + 453. Is 39 a factor of u(0)?
False
Does 12 divi