5. Let o(b) = 1. Let a(x) = 23*x**2 + 4*x - 15. Let l(n) = -a(n) - 4*o(n). Let j(s) = -7*c(s) + 3*l(s). Is j(2) a multiple of 17?
True
Let v = 670 + -403. Is 43 a factor of v?
False
Suppose 5*x - x - 880 = 0. Is x a multiple of 20?
True
Suppose 5*n - 3*n = 4. Is (-20)/n*2/(-4) a multiple of 2?
False
Is 2 a factor of 2/(-4) - 75/(-10)?
False
Suppose -10 - 2 = 4*x. Let c = -1 - x. Suppose -c*s = -3*h + 51, 2*h - 34 = -2*s + 10. Does 14 divide h?
False
Suppose -7516 = -3*v - 5*p, -2*v - p + 6*p + 4994 = 0. Is 21 a factor of (-2)/5 - v/(-30)?
False
Suppose -5*c - f + 88 = 0, c - f - 7 = 7. Does 17 divide c?
True
Is 23 a factor of (84/(-16))/(1/(-12))?
False
Suppose -6*m + 110 = -346. Does 38 divide m?
True
Let c(d) = 7*d - 13*d - 24*d. Is 12 a factor of c(-2)?
True
Let o(r) = r**3 + 6*r**2 - 7*r. Let x be o(-7). Suppose -f - 3*s + 14 = 0, 4*f + x*f - 3*s = -4. Is 4 a factor of 9 + (f - 0)/(-2)?
True
Suppose 0*v = 4*j - 2*v - 2, 2*j + 2*v = 16. Suppose 5*g - 2*r - j*r = 160, r + 5 = 0. Does 10 divide g?
False
Let q = 44 - -34. Is 26 a factor of q?
True
Does 14 divide (112/12)/((-2)/(-6))?
True
Let k(u) = 2*u - 2*u - 3*u - 9 + 0*u. Is 17 a factor of k(-9)?
False
Let s = -75 + 135. Is 20 a factor of s?
True
Let b(v) = 10*v - 1. Let s = 17 + -15. Is 19 a factor of b(s)?
True
Suppose -79 = -5*j - 3*m, -6*m = -2*m - 12. Is 4 a factor of j?
False
Let j(g) = -g**3 + 4*g**2 - 4*g + 3. Let f be j(3). Let p be 2*(f - 3/(-2)). Suppose d + 3*d - a = 25, p*d + 2*a = 5. Is d a multiple of 3?
False
Let d(i) = 27*i**2 - 5*i + 4. Let w be d(3). Suppose -3*l + y + 1 = 0, 2*y + 1 + 4 = 3*l. Is l/(-3) - w/(-6) a multiple of 14?
False
Let w = 34 - 17. Let a = -55 + w. Is (-4)/(-12) + a/(-3) a multiple of 13?
True
Suppose 4*m - 22 = 78. Is m a multiple of 8?
False
Let f = 6 - -15. Let l = 17 + f. Is 10 a factor of l?
False
Let x(a) be the second derivative of -a**5/20 + 5*a**4/12 + a**3/6 + 3*a**2/2 + a. Suppose -2*k = -3*k + 5. Does 8 divide x(k)?
True
Let b(k) = k**2 + k - 20. Is 9 a factor of b(-8)?
True
Let v = 33 - 23. Let i be (-72)/(-30) - 4/v. Is 11*-2*i/(-4) a multiple of 6?
False
Let a be ((2 - 2) + -5)*-61. Suppose 5*w = 170 + a. Does 30 divide w?
False
Let q = 140 - 77. Suppose 0 = 2*x - 5*x + q. Is x a multiple of 9?
False
Does 5 divide 2/(-5 + 1)*-36?
False
Let x(z) = z**2 + 5*z + 4. Let u be x(-3). Let h = 16 + u. Suppose 0*g + h = 2*g. Is g even?
False
Is (3/9)/(4/1860) a multiple of 31?
True
Suppose -147 + 489 = q + 4*t, -4*q + 3*t = -1311. Is 55 a factor of q?
True
Let t(o) = -3*o**2 - 2*o + 5*o + 3 - 5 - o**3 + 3. Let h be t(-4). Suppose s = h*n - 125, s = 2*n + 2*n - 99. Does 8 divide n?
False
Let s = -16 + 22. Suppose 0 = 2*a + 5*m - 34, a + 5*m - 11 - s = 0. Is 17 a factor of a?
True
Let d = -23 - -39. Is 4 a factor of d?
True
Let x = -9 + 27. Does 9 divide x?
True
Let v = -9 - -10. Suppose -3*m - v = -3*t - 4*m, 2*m = t - 5. Is 10/(-4)*t*-6 a multiple of 6?
False
Suppose -w + 2*w + a = 1, 0 = 3*w - 4*a - 10. Suppose -5*u + 21 = -w*j, -3*u = -5*j - u. Suppose 0*h = -j*h + 32. Does 8 divide h?
True
Does 6 divide 32/6*(-90)/(-20)?
True
Let o(n) = -n**3 + 7*n**2 + n - 8. Let v = 2 + 5. Let h be o(v). Does 8 divide 4/2 + (-14)/h?
True
Suppose -3*h = 0, -5*a = -2*h - 460 - 50. Does 34 divide a?
True
Suppose -4 = 2*c - 2. Let h be (7 + c)*70/15. Let a = -11 + h. Is 14 a factor of a?
False
Let j(a) be the second derivative of a**4/12 + a**3/3 - 2*a**2 - 3*a. Is 11 a factor of j(3)?
True
Let g(v) be the second derivative of -21*v**5/20 - v**2/2 - 6*v. Suppose 4*f + 12 = -2*p, -f + 4*f + p + 7 = 0. Is g(f) a multiple of 10?
True
Suppose 0 = -z - 9 + 2. Let o(v) be the second derivative of v**4/12 + v**3/6 + 3*v**2/2 - v. Does 27 divide o(z)?
False
Suppose h + 5*o + 5 = 0, 2*h - 2 = -3*o + 2. Suppose 0*k = 2*k - u - 4, -k = u - 2. Suppose -h*g + k*l = -138, g = -g + 2*l + 60. Is g a multiple of 10?
False
Let k be (5/2)/((-1)/(-2)). Suppose 10 + 5 = k*q. Suppose -4*z + 3*v + 12 + 13 = 0, -22 = -q*z - v. Is 3 a factor of z?
False
Let g = 0 - -4. Suppose g*r - 43 = 113. Is 16 a factor of r?
False
Suppose 5*s = 2*o - 0*o - 27, -3*s = -2*o + 17. Does 12 divide 54/(o + (-3)/(-6))?
True
Let g(z) = z**3 - 9*z**2 + 11*z - 4. Let f be g(8). Suppose -a = a - f. Is 5 a factor of a?
True
Does 35 divide ((-3)/(-2))/(6/560)?
True
Let x(p) be the second derivative of 143*p**4/3 - p**3/3 - p**2/2 - 2*p. Let l be x(-1). Does 24 divide 2/8 + l/12?
True
Let z be -3 + (2 + 6)/1. Suppose -z*b + 5 = -5*h, -2*b - 3 + 15 = 3*h. Suppose s = b*s - 16. Is s a multiple of 3?
False
Is 28 a factor of ((-42)/(-5))/((-30)/(-100))?
True
Suppose 5*w - w - 40 = -2*c, 35 = c + 5*w. Is c a multiple of 5?
True
Let c be (-75)/(-12) + 1/(-4). Let o = -4 + c. Suppose 0 = o*d - 7 - 23. Is d a multiple of 14?
False
Let t(z) = -3*z**2 - 11*z + 1. Let q(m) = m**2 + 5*m - 1. Let v(u) = -5*q(u) - 2*t(u). Let d be v(3). Does 8 divide (11 - (6 + -3))*d?
True
Let u(l) = -3*l - 11. Let w be u(-5). Suppose 0*r + w*r = 152. Is r a multiple of 8?
False
Let t(i) be the third derivative of i**5/15 - i**4/6 - i**3/6 + i**2. Is 26 a factor of t(-3)?
False
Suppose w - 35 = 98. Does 4 divide w?
False
Let f = -28 - -61. Does 9 divide f?
False
Let y(z) = 5 + 6 - z**2 + 0*z**2. Let f be y(0). Let d = -7 + f. Is d even?
True
Suppose -1005 = -22*s + 17*s. Is 22 a factor of s?
False
Let y = 336 - 228. Suppose -4*f + 0*f + y = 0. Is 9 a factor of f?
True
Let s = 95 + -62. Does 7 divide s?
False
Let b(m) = m**3 + 2*m**2 - 3*m + 2. Let h be b(-3). Suppose -12 = -h*d + 26. Is 5 a factor of d?
False
Let o(r) = -14*r + 1. Let h(f) = -13*f + 1. Let i(q) = 3*h(q) - 2*o(q). Let z be i(-4). Suppose 4*t = 157 - z. Does 10 divide t?
False
Let a = 49 + -20. Let d = -21 + a. Does 8 divide d?
True
Let a(i) = 2*i**2 - i**2 - 1 - i + 2*i**2 - 3. Is 9 a factor of a(3)?
False
Let z = 163 + -90. Does 33 divide z?
False
Does 37 divide (-1365)/(-8) + (-15)/(-40)?
False
Let w = 154 + -76. Does 13 divide w?
True
Is ((-96)/56)/((-1)/7) a multiple of 6?
True
Let w(k) = -4*k - 11. Let h = 5 - 14. Let g be w(h). Suppose 4*i = 47 + g. Is i a multiple of 17?
False
Let z(c) = -7*c + 10 - 13*c + 7*c - c**2. Is 13 a factor of z(-11)?
False
Suppose -4*j - 3*o = -258, -4*j - j + 309 = -3*o. Is j a multiple of 38?
False
Let p(f) = -f**2 - 13*f + 3. Let i be p(-12). Suppose -4*h = 20, -2*g - 3*g - h = -i. Is 3 a factor of g?
False
Suppose 2*l = 6*l - 220. Suppose -5*m - 95 = 5*f, -4*m - 2*f - l = 15. Let c = 63 + m. Is c a multiple of 19?
False
Let q be ((-1)/(-3))/(2/30). Suppose -97 - 278 = -q*k. Suppose -6*y = -y - k. Does 6 divide y?
False
Suppose 0*z - 315 = -5*z + k, 0 = 3*z - 3*k - 177. Does 5 divide z?
False
Is (-1)/((-6)/400) + (-6)/9 a multiple of 23?
False
Let x be ((-70)/(-25))/(1/(-5)). Let p(d) = -4*d + 2. Is 22 a factor of p(x)?
False
Suppose 5*t + m - 27 = 47, 0 = -2*m - 2. Suppose -2*v + 5*n + t = -1, -5*n + 5 = 5*v. Suppose -61 + 16 = -v*q. Is q a multiple of 15?
True
Suppose 0 = 2*p + 3*p. Suppose -2*a + 10 = -p*a. Does 2 divide a?
False
Does 14 divide (59/2)/(3*(-1)/(-6))?
False
Let a(x) = -x**3 - 15*x**2 + 16*x + 20. Is a(-16) even?
True
Let s be 3 + 24/1 - 3. Let d = s - 5. Does 11 divide d?
False
Let g(p) = -p**3 - p**2 - 2*p + 39. Is 13 a factor of g(0)?
True
Let x(p) = 2*p**3 - 4*p**2 + 3*p. Let f be x(2). Let h(n) = -1 - 2 + 4*n - 1. Is 10 a factor of h(f)?
True
Let s be ((-1)/2)/(3/(-18)). Let q be 2/s*(-9)/(-2). Does 8 divide ((-2)/4)/(q/(-84))?
False
Suppose g - 26 = 34. Does 30 divide g?
True
Let r(x) = x**2 + 2*x - 4. Let h be r(-4). Suppose 0 = -4*c - h + 100. Is 8 a factor of c?
True
Let p(l) = -5*l - 7. Let w be p(-12). Let c = w + -8. Does 15 divide c?
True
Let d(p) = 198*p - 1. Let r be d(2). Let o = r + -150. Does 9 divide (-10)/45 - o/(-9)?
True
Suppose -3*c - 7 + 40 = -q, -c = -5*q + 3. Is c a multiple of 4?
True
Let k = 16 + -12. Suppose -2*v - 3*o + 75 = 0, v + k*o + 13 = 63. Is v a multiple of 10?
True
Suppose 2*y + 0*y - 2 = 0. Let x = 1 - y. Suppose 3*l - 3*w + 14 - 125 = x, -4 = -2*w. Is l a multiple of 15?
False
Let j = 3 + -3. Suppose 0 = -2*w - j*w + 72. Is 12 a factor of w?
True
Is 8 a factor of 3*1 + 110/20*14?
True
Let m(y) = -y**3 - 7*y**2 - 9*y - 3. Is m(-6) a multiple of 9?
False
Let s(i) = -i**2 - 9*i