5). Suppose -5*a = 2*d - f, 5*a + d - 2*d = w. Does 9 divide a?
False
Let b(u) = 6*u**3 + u**2 - 1. Let g be b(1). Let f be (-13)/(-3) + (-2)/g. Suppose -f*p - 14 + 70 = 0. Is p a multiple of 12?
False
Suppose 4*l - 313 = -l - 3*n, 4*n = -l + 66. Suppose i - 5*z = 9 - 3, l = 4*i - z. Let m = 29 - i. Does 13 divide m?
True
Let v be 11 + (0 + 1)*0. Let n = 0 + v. Is 4 a factor of n?
False
Let c(s) be the first derivative of s**4/4 - s**3 - 4*s**2 + 7*s - 2. Does 14 divide c(5)?
False
Let m(n) = -2*n + 1. Let f be 0*(-1 - -2) - 1. Let i be m(f). Does 15 divide 37 + 2 + i/(-1)?
False
Let p = 3 - 0. Does 2 divide p?
False
Let y(n) = n + 6. Let v be y(-6). Suppose 0 = -3*u - v*u - 9. Let t = u - -17. Is 7 a factor of t?
True
Let y(h) = h + 4. Let o be y(0). Let j = -19 - -43. Suppose -2*g - i = -0*i - j, o = i. Is 10 a factor of g?
True
Suppose -4*u + 3*u = -2. Suppose -l = u*l - 24. Is l even?
True
Suppose -5*w + 334 = -1046. Is 42 a factor of w?
False
Let o = 29 - 13. Does 16 divide o?
True
Let i(l) = -l**2 - 5*l + 2. Let s(x) = -x**3 - 5*x**2 + 8*x + 7. Let t be s(-6). Let q be i(t). Does 23 divide q/((-110)/56 - -2)?
False
Let d(k) = k**3 + 4*k**2 + 4*k - 1. Let c be d(-3). Let q = 27 - c. Is q a multiple of 12?
False
Let p(s) = -s**2 - 7*s - 5. Let t be p(-6). Let h be (t - -11)/2 - 2. Suppose h*v - 25 - 15 = 0. Is v a multiple of 10?
True
Suppose -z = z + 4*v - 366, -v = -2. Is 18 a factor of z?
False
Suppose 3*f = -5*h - 0*f + 171, -2*h = 2*f - 70. Is 4 a factor of h?
False
Let j = 271 + -168. Does 8 divide j?
False
Suppose -b + 37 = u + 3*b, 4*b = -5*u + 105. Is 8 a factor of u?
False
Suppose -t + 30 = -4*c, -5*c + 4*c = -t + 33. Does 31 divide t?
False
Let w = -30 - -73. Let n = -17 + w. Is n a multiple of 11?
False
Suppose 5 = -x + 2*x. Let p(s) = s**2 + s. Is p(x) a multiple of 10?
True
Suppose 4*g - 3 = -19. Let r(w) = -4 - 1 - 9*w + 2*w. Is r(g) a multiple of 17?
False
Let z = 2 - -4. Let p(n) = -4*n**3 - 7*n - 1. Let j(t) = 4*t**3 + 8*t + 1. Let i(q) = z*p(q) + 5*j(q). Does 2 divide i(-1)?
False
Let o(t) = t - 47. Let h be o(0). Let x be (h/3 - -2)*3. Let a = 65 + x. Is 12 a factor of a?
True
Let c(g) = 65*g + 1. Suppose 12 - 7 = 5*y. Does 13 divide c(y)?
False
Does 14 divide (-2)/6 + 2000/6?
False
Let c(n) = n**2 + 6*n. Let w be c(-6). Suppose -3*z + 3 + 3 = w. Suppose z*h + h = 81. Does 10 divide h?
False
Let s(k) = k**2 + 6*k + 11. Let y be s(-7). Suppose -y = -r - 4. Is r a multiple of 7?
True
Let t = 311 + -199. Is 28 a factor of t?
True
Let n = 44 - 86. Does 18 divide (54/(-14) - -3)*n?
True
Suppose 2*z - 9 = r, z + 18 = r - 5*r. Suppose -w - z*w - 5*t - 14 = 0, -17 = 5*w + 2*t. Is (20/w)/(4/(-18)) a multiple of 15?
True
Suppose 0 = -5*f + 2*f - 3*j + 18, 4*f - 2*j = 12. Let m(o) = 3*o**2 - 12*o - 25. Let l be m(-5). Suppose f*a = -a + l. Is 10 a factor of a?
False
Suppose 2*w = -5*a + 60, -a + 4*a - w = 25. Let n = a + -6. Suppose -r + 13 = -2*y + 4, -n*r + 3*y + 31 = 0. Does 3 divide r?
False
Suppose -4*x = -f - 1, -5*f + 3*x + x = -27. Suppose 4 - f = h. Is 4 a factor of (-2)/(-6) - 23/h?
True
Let z = -35 - -65. Is z a multiple of 15?
True
Let f(p) be the third derivative of 1/6*p**4 - 4*p**2 + 0*p + 0 + 1/3*p**3. Is f(6) a multiple of 26?
True
Let q(r) = 4*r**2 + 12*r - 8. Is 16 a factor of q(7)?
True
Let u = 68 + -43. Is u a multiple of 9?
False
Suppose 5*o + 3*h - 5*h - 63 = 0, -4*h = -5*o + 61. Suppose -n + 2*k = 1, -4*n - 2*k + o = -3. Is n a multiple of 2?
False
Suppose 2*y - m = 15, -5*y - 2*m - 2*m + 44 = 0. Is y a multiple of 8?
True
Let z = -3 + 5. Let o(h) = -3*h + 1 + h + 5 + h**3 - 4. Is o(z) a multiple of 6?
True
Suppose 3*t = 2*t + 3*d - 2, -36 = -2*t - 4*d. Let h = 25 - t. Is h a multiple of 3?
True
Suppose 4*b = -3*d + 47, -d + 16 = -3*b + 4*b. Suppose 0 = 3*n - 2*z - 17, -4*n - 5*z = -2*z - d. Suppose 83 = n*w - 47. Does 13 divide w?
True
Let m(i) = 3*i**3 + 11*i**2 + 2*i - 9. Let j(b) = 2*b**3 + 5*b**2 + b - 5. Let v(c) = -5*j(c) + 3*m(c). Is v(8) a multiple of 5?
False
Suppose 2*b = -b + 117. Suppose o = b - 3. Is 11 a factor of o?
False
Suppose -23 = -6*b + 13. Suppose -b = 4*h - 86. Is 9 a factor of h?
False
Let f(b) be the first derivative of b**4/4 + 14*b**3/3 - b**2/2 - 12*b - 10. Let r be (-312)/22 - (-2)/11. Does 2 divide f(r)?
True
Let q(x) = x**2 - 6*x - 1. Let d be q(6). Let h be 1 + (3 - (0 - d)). Suppose h*f - 26 = f. Is f a multiple of 11?
False
Let c(p) = 0*p + 3*p + 2 + 2*p**2 + 6*p - 2*p. Let u = -12 + 7. Is 8 a factor of c(u)?
False
Suppose -2*a + 3 = -b, -a - 2*b = -2*a + 6. Suppose -n - 4*n = a. Suppose n = -3*g - u + 55, 3*g + 3*u + 8 = 53. Is g a multiple of 10?
True
Does 9 divide (4/(-2) - -1)/(2/(-74))?
False
Suppose -3*a - 2*p = -142, a + 0*a = -p + 47. Suppose 4*d - a = 52. Suppose 5*o - d = 80. Is 13 a factor of o?
False
Let t(k) be the second derivative of -k + 1/2*k**2 + 0 - 1/20*k**5 + 7/6*k**3 + 5/12*k**4. Is 5 a factor of t(6)?
False
Suppose -t = 2*t. Suppose -q + 72 = -t*q. Suppose -3*o + q = -o - 2*m, 4*o - 140 = 2*m. Is o a multiple of 17?
True
Suppose -2*s + 3*z = -23, -2*s + 2*z = -19 - 1. Let u = s + -7. Suppose -x - 3*p = x - 32, 5*p - 10 = u. Is 11 a factor of x?
False
Let w = 141 - 93. Is w a multiple of 6?
True
Let y = 56 + 15. Does 26 divide y?
False
Suppose -q - 3*l = -42, 7*l - 86 = -2*q + 2*l. Is q a multiple of 5?
False
Let n = -21 + 30. Suppose 0 = -3*h - 3*b + 183, -4*h - 314 = -n*h + 4*b. Let q = h - 36. Is q a multiple of 13?
True
Let c = -8 + 12. Let f(l) = -l**3 + 5*l**2 - 2*l + 1. Let a be f(c). Suppose 5*g + 5*x = 3*x + 80, -x = -g + a. Is g a multiple of 8?
False
Suppose -305 = 4*b - 5*v, 3*b - 5*v + 145 = b. Is 54/45*b/(-3) a multiple of 17?
False
Suppose 0*r - 9 = -3*r. Suppose -i - r*n + 39 = 0, -i + 0*i + 57 = -3*n. Is 18 a factor of (-75)/10*i/(-10)?
True
Let u be (-12)/(-9)*438/4. Suppose s + u = 4*v, 2*s = -2*v + 98 - 30. Is 9 a factor of v?
True
Suppose 5*u = m - 47, -62 = -2*m + 2*u + 40. Is 20 a factor of m?
False
Suppose -6*u = -3*u - 231. Is u a multiple of 11?
True
Suppose -r - 2*t = 4, 4*t - 8*t = -r + 8. Suppose r = -4*l - l + 40. Is 4 a factor of l?
True
Let j(t) = t**3 - 5*t**2 + 10*t - 6. Let h be j(7). Suppose -h = -0*c - 3*c. Is c a multiple of 19?
False
Is 10 a factor of 1 + 264 + (-21 - -24)?
False
Let t(o) = -13*o**3 - 2*o**2 - o. Let v be t(-1). Let f be (-2)/(-12) - 11/(-6). Let k = v - f. Does 10 divide k?
True
Let y(s) = 12*s - 3. Suppose m - 3 = -1. Is y(m) a multiple of 9?
False
Let o = -31 - -10. Does 14 divide 8/(-16)*o*4?
True
Let b be 60/14 + (-2)/7. Suppose -b*h + 180 = -140. Is 20 a factor of h?
True
Let m = 639 + -399. Is 10 a factor of m?
True
Let c be (-32)/(-6) + 2/(-6). Suppose 11 + 88 = 5*q - 2*b, c*b = 5*q - 90. Is q a multiple of 12?
False
Let a be 22/6 + 1/3. Let z(t) = t**2 - 3*t**2 + a*t**3 + 1 - 5*t**3 + 5*t. Is 12 a factor of z(-4)?
False
Let q(m) = 8*m - 1. Let r be q(2). Let k be (-967)/(-5) - 6/r. Suppose 4*h + 2*n - 148 = 6*n, -5*h + k = 3*n. Is 12 a factor of h?
False
Let w(g) = -9*g**2 + 7*g + 11. Let v(m) = -4*m**2 + 3*m + 5. Let x(k) = -5*v(k) + 2*w(k). Is 13 a factor of x(-5)?
True
Suppose 0 = -3*u - 2*q + 296, 5*u - q + 0*q - 476 = 0. Suppose 4*y - 2*w - u = -0*w, -3*y = 4*w - 83. Is y a multiple of 21?
False
Let w(m) = m**3 - 5*m**2 + 6*m - 4. Let r be w(4). Let f(a) = -5 + 0 + r*a - 7. Does 8 divide f(8)?
False
Suppose 0 = -3*l - k + 189, l + 0*k - 53 = 3*k. Is 22 a factor of l?
False
Let v(o) = 18*o - 2. Suppose 3*i - 2*i = 2. Does 17 divide v(i)?
True
Let l(q) = q**3 - 4*q**2 + 12*q - 12. Does 36 divide l(4)?
True
Suppose a - 3*c - 11 = -0*a, 0 = 2*a + 5*c - 11. Let d = 22 - a. Is d a multiple of 11?
False
Suppose 2*z = 4*l + 7*z - 124, 2*z = -l + 28. Is l a multiple of 12?
True
Let t = -7 - -7. Suppose t = 4*m + m - 170. Is 17 a factor of m?
True
Suppose 16 = -4*b + 56. Is b even?
True
Let u = -6 - -42. Is u a multiple of 9?
True
Let c(v) be the first derivative of 4*v**3/3 - v**2 + 3*v - 3. Is 6 a factor of c(2)?
False
Is (-39)/2*(-48)/18 a multiple of 13?
True
Is 22 a factor of 48*(0 - 11/(-4))?
True
Let y = -18 + 12. Is 9 a factor of y/15 - (-102)/5?
False
Suppose 2*y + y = 0. Suppose y = 2*f + 12 - 46. Is f a multiple of 17?
True
Let q = -66 - -138. Is 8 a factor of q?
True
Let g(w)