5?
True
Suppose 0 = -17*o + 22*o - 60. Let z = -3 + -3. Let r = o + z. Is r a multiple of 2?
True
Let p(m) be the first derivative of m**2/2 + m + 1. Does 8 divide p(13)?
False
Suppose -1 = 4*f - 13. Let r(j) = -25*j - 1. Let n(p) = -25*p - 1. Let b(t) = f*n(t) - 2*r(t). Is 12 a factor of b(-1)?
True
Does 2 divide ((-44)/(-99))/(2/9)?
True
Let v = -62 + 192. Suppose -373 + v = -3*a. Suppose -n + 8 = o, 4*o - 4*n = -17 + a. Does 8 divide o?
False
Let f(h) = 2*h**2 + 2*h + 1. Is f(5) a multiple of 8?
False
Let f = -1 + 4. Let r = 25 + -7. Suppose -f*h + 72 = -r. Is h a multiple of 15?
True
Let p be -31*3/(0 - -3). Let o = p - -71. Does 33 divide o?
False
Let v(d) = d**3 - 5*d**2 + 2*d - 5. Let z be v(5). Suppose 99 = -t + z*t - l, -t + 3*l + 22 = 0. Is 25 a factor of t?
True
Let r(x) = 4*x + 1. Let o(h) = -9*h - 3. Let f(z) = 6*o(z) + 13*r(z). Is f(-4) a multiple of 2?
False
Let r be (2 + 8)*2/4. Suppose r*p - 8 = 3*p. Is (-1)/(-1) + 2*p a multiple of 9?
True
Let r be (0 - -24) + -3 - 3. Let k = -4 + r. Is 9 a factor of k?
False
Suppose -10*u = -13*u + 240. Suppose 5*o - 5*m - u = o, 3*o = 4*m + 61. Does 11 divide o?
False
Suppose -5*i + 10 = 0, 0*i - 406 = -2*n - 2*i. Is 23 a factor of n?
False
Let t(w) = -w**3 - 7*w**2 - w - 3. Let r be t(-4). Let f be 0 + -1 - (-2 + r). Suppose 3*g - f = -3*a, 0 = 2*g - 6*g + 5*a + 100. Is g a multiple of 10?
True
Suppose -3*v + 7 - 19 = 0. Let x be -1 - 2*10/v. Suppose -2*h + 14 = -x*p + 196, h + 135 = 3*p. Does 22 divide p?
True
Let m be 6/(-12)*(1 - 3). Suppose -4*w + 7 + m = 0. Is 2 a factor of w?
True
Let o(u) = -u**2 + u. Let l(p) = 2*p**2 - 3*p - 3. Let y(g) = -l(g) + 3*o(g). Let d be y(-4). Let q = d - -155. Does 16 divide q?
False
Suppose 35 + 173 = 4*q + 4*x, -244 = -4*q + 5*x. Is q a multiple of 28?
True
Let r(u) = -u**3 - u - 100. Let d be r(0). Suppose k - 307 = 5*l + 3*k, 3*l - k + 193 = 0. Let g = l - d. Is g a multiple of 20?
False
Let r(s) = 2*s + 116. Is r(0) a multiple of 24?
False
Suppose -2 = -z - 0. Suppose -4*n + 6*n - 74 = -z*y, 27 = y - n. Is 16 a factor of y?
True
Suppose -5*m = -0*m - 85. Suppose -5*p - 2*r + 85 = 2*r, m = 2*p + 5*r. Is p a multiple of 8?
False
Let m = 1 - -65. Let v = -22 + m. Let s = v + -24. Is 8 a factor of s?
False
Suppose 0 = -3*x + 3 - 9, -x - 142 = -2*p. Is 7 a factor of p?
True
Suppose 4*x + 25 = 9. Let k = 30 - x. Does 17 divide k?
True
Suppose 0 = a + 4*r + 24, -6*r + 2*r = 5*a + 152. Does 7 divide a/40 + (-64)/(-5)?
False
Let k(z) = -z**2 - 9*z + 4. Is k(-4) a multiple of 12?
True
Let a = 49 + -3. Is a a multiple of 25?
False
Let w = -17 + 12. Let y = 10 + w. Suppose 5*b - y*n - 39 = -2*n, -4*b = 3*n - 42. Is 9 a factor of b?
True
Let v(c) = c**3 + c + 103. Is 21 a factor of v(0)?
False
Let s(t) = -t**3 - 5*t**2 - 2*t - 7. Let w be s(-5). Is 15 a factor of (54/(-15))/(w/(-50))?
True
Suppose -80 = -3*h + 4*o + 127, -50 = -h - 5*o. Is h a multiple of 13?
True
Let u(k) = k**2 + 4*k - 3. Let q be u(-5). Suppose 4*w - 250 = w - 5*g, w = -4*g + 74. Is (q/(-5))/((-2)/w) a multiple of 10?
False
Suppose 4*s + 0*s = 0. Suppose s = 3*f - 63 - 45. Suppose w - f = -2*w. Is w a multiple of 12?
True
Let r = -15 + 24. Is 9 a factor of r?
True
Let y be (-1)/((-1)/(-7)) + 0. Let a = y + 10. Suppose -z - a*z = -40. Does 5 divide z?
True
Let w(d) = d**3 + 3*d**2 - 3*d. Let q be w(-4). Let a = q + 19. Does 5 divide a?
True
Let u = -65 - -128. Is u a multiple of 9?
True
Let c(u) = u**3 - 6*u**2 + 4*u - 9. Let v be c(6). Suppose v - 3 = 2*o. Is o a multiple of 3?
True
Let q(c) = -37*c - 2. Let m = 24 - 25. Is 7 a factor of q(m)?
True
Suppose 6 + 33 = 3*r. Is r even?
False
Let q(x) = -x**3 + x**2 - 2*x - 2. Suppose 3*f = -2*f - 10. Is q(f) a multiple of 5?
False
Suppose 4*q - 16 = 3*b, -7*q - 15 = 5*b - 2*q. Let l = b - -9. Suppose -5*j - 35 + 145 = l*o, 2*o - 90 = -4*j. Is 14 a factor of j?
False
Let f = -88 - -256. Suppose -f - 7 = -5*a. Does 12 divide a?
False
Suppose -3 = 2*r - 15. Let t = -17 + r. Is 11 a factor of 1*(1 + (-1 - t))?
True
Let v(k) = k**2 + 4*k - 1. Let s be v(-5). Suppose -8*o = -s*o - 8. Suppose 0 = o*w - 2 - 8. Does 3 divide w?
False
Let v(h) = 3*h**2 - 5*h + 15. Does 44 divide v(6)?
False
Let a(w) = w - 2. Let r be a(3). Let x(g) = -g + g - r + 19*g**2. Is x(1) a multiple of 11?
False
Suppose -q + 28 = g + q, -q = -2*g + 61. Is g a multiple of 15?
True
Let k = -33 + 45. Is 6 a factor of k?
True
Let m(u) = 4*u**3 - u**2 - u + 2. Let d = 8 - 6. Is m(d) a multiple of 14?
True
Suppose -3*p - 2*s + 11 = -2*p, -96 = -4*p + 5*s. Suppose -b = -3*y - 32, 3*y - 2*b = -11 - 20. Let j = y + p. Is j a multiple of 3?
False
Let l = 18 - 9. Suppose 4*w - l - 3 = 0. Does 9 divide 5/15 + 77/w?
False
Let f = -6 + 12. Suppose -2 + 42 = -5*z. Does 5 divide (z/f)/((-2)/18)?
False
Let k(d) = -3*d. Let j be k(-1). Is 12 a factor of 36 - (-1 - -4 - j)?
True
Let m(n) = -n**2 + 9*n + 4. Does 22 divide m(6)?
True
Is 3 + 1 + -2 + 86 a multiple of 17?
False
Let p = 238 + -120. Is p a multiple of 8?
False
Let u(n) = -n**3 - n**2 + 2*n + 1. Let f be u(-2). Let d be ((-1)/f - -1)/2. Suppose d = g - 5*g + 56. Does 14 divide g?
True
Does 22 divide 2 + 1701/14 + (-3)/(-2)?
False
Suppose -5*h = -4*h - 14. Let g(m) = 25*m. Let x be g(1). Suppose h = 3*v - x. Is 13 a factor of v?
True
Suppose 3*r = -r - 560. Let w be 2/(-9) - r/(-18). Is 13 a factor of ((-4)/(-6))/(w/(-264))?
False
Let m(y) = -y + 5. Let k be m(-11). Let x = 45 + k. Does 23 divide x?
False
Let v(c) = -c**2 + 16*c - 15. Does 15 divide v(10)?
True
Suppose 56 = 2*k - 60. Is 29 a factor of k?
True
Is 13 a factor of 31/3 + 2 + 4/6?
True
Suppose 2*i - 7 = -1. Suppose -i*u - 105 = -4*w - 8*u, 5*u = -w + 45. Suppose -f + 6*f - w = 0, -2*o = 5*f - 82. Is o a multiple of 18?
False
Suppose -g - 3*q + 81 = 0, 2*q + 2*q + 8 = 0. Is g a multiple of 29?
True
Let w(v) = 63*v**3 - 2*v**2 + 1. Let q be w(1). Let j be q/2 + (-4 - -3). Let m = 70 - j. Is 16 a factor of m?
False
Let i(n) = -n + 13. Suppose 5 = c + 13. Let t(o) = -o + 20. Let r(z) = c*i(z) + 5*t(z). Is r(11) a multiple of 9?
False
Let j(a) = -a + 4. Let k be j(5). Let w(h) = h**3 + 4*h**2 + 3*h. Let v be w(-2). Is 13 - (-3 - k*v) a multiple of 7?
True
Let v(y) be the second derivative of y**3/2 + y**2 + y. Is 10 a factor of v(6)?
True
Let s(w) be the second derivative of 43*w**4/12 + w**2/2 + 2*w. Let g be s(-1). Suppose 0*z + 2*z - 51 = -3*r, 2*z + g = 2*r. Is r a multiple of 17?
False
Let o(g) = 32*g**2 - 2*g. Is 22 a factor of o(-2)?
True
Let q = 1 + 16. Is q a multiple of 13?
False
Suppose s - 2*p = -2 + 7, -s + 5 = -p. Suppose -3*t + 22 = -s. Does 4 divide t?
False
Let f = -66 + 94. Does 7 divide -4*4/((-64)/f)?
True
Suppose -a + 4*d - 2*d = -272, 4*a - 2*d - 1064 = 0. Is 8 a factor of a?
True
Suppose -d + 6*d + 38 = v, -6 = 2*d. Is 9 a factor of v?
False
Suppose -161 = -4*g + 55. Suppose 2*y - 5*a = -g, -5*y + 3*a - 105 - 68 = 0. Let d = y + 63. Does 13 divide d?
True
Is (-11496)/(-312) + (-2)/(-13) a multiple of 18?
False
Suppose -k = 2*k - 456. Is k a multiple of 38?
True
Is 13 a factor of 130*(28/(-8) - -4)?
True
Let g(j) = -13*j - 20. Is g(-8) a multiple of 34?
False
Let w = 583 - 368. Is w a multiple of 43?
True
Suppose 126 = 5*h - 234. Is 12 a factor of h?
True
Let o(h) = -h**3 - 4*h**2 + 3*h. Let u be o(-5). Let i = 27 - u. Is i a multiple of 17?
True
Let n be ((-3)/(-2))/((-36)/(-2040)). Let y be (-11)/(-3) + 3/9. Suppose -5*i - y*k = -7*k - n, 5*k + 25 = 0. Is i a multiple of 7?
True
Suppose -4*w - 313 + 925 = 0. Is 12 a factor of w?
False
Let x = -5 + 8. Suppose -3*y + 5*j = -2*y - 3, x*y + 5*j = 9. Is 35*y/(4 - 1) a multiple of 16?
False
Let v(b) = -3*b**2 + 5*b + 1. Let x(d) = 3*d**2 - 4*d - 1. Let l(g) = 4*v(g) + 5*x(g). Let t be l(-3). Suppose -4*o + 3*o + t = 0. Does 13 divide o?
True
Let w be (1 + 1)*(-14 - -13). Is 7 a factor of (-1)/(w + (-87)/(-45))?
False
Suppose -5*m + 6*b - 2*b = -895, 3*m + 5*b = 537. Is m a multiple of 31?
False
Let p(k) = 51*k + 4. Let o be p(-3). Let x = -105 - o. Is x a multiple of 14?
False
Suppose -65*f + 169 = -64*f. Does 16 divide f?
False
Let c(u) be the first derivative of u**5/24 + u**4/24 + 4*u**3/3 - 1. Let m(w) be the third derivative of c(w). Is 10 a factor of m(3)?
False
Let z = -30 - -18. Let w = 4 - z. Is w a mul