u**7/5040 - u**6/720 + u**5/12 + 4*u**2. Let n(m) be the third derivative of r(m). Is n(1) a multiple of 22?
False
Suppose 0 = s + s. Let b = s + 0. Suppose -5*y - 5*v + 10 = b, -8*v + 3*v = 10. Does 2 divide y?
True
Let c(b) = 7*b - 24. Let y be c(6). Suppose 14*v + 144 = y*v. Is 3 a factor of v?
True
Let k(t) = 6*t - 1 - 16 + 8*t - 11*t. Let f(m) = 2*m**2 + 6*m. Let z be f(-4). Is k(z) a multiple of 7?
True
Suppose -m - m = d - 3, 3*m = 2*d - 27. Let z(n) = 28*n**2 - 18*n**2 + d*n**2. Is z(1) a multiple of 19?
True
Let f be 1/(-2)*(5 - 1). Let d be 0 + -12*2*f. Suppose 0 = -4*a + d. Is 6 a factor of a?
True
Suppose -3*t = 5*x - 8*t + 15, 0 = -2*x + 5*t - 21. Suppose -x*o = 3*o. Suppose 5*v - 287 - 43 = o. Is 31 a factor of v?
False
Let a(c) = -49*c - 58. Let m be a(-6). Suppose -212 - m = -2*b. Is 18 a factor of b?
False
Let p(o) = 21*o - 27. Let b be p(2). Let g(n) = n**3 - 15*n**2 + 18*n + 16. Is 26 a factor of g(b)?
True
Suppose -2 = -y - 0*y. Suppose 5*x - 4*g = 18, 4*x + y*g = x + 2. Let w(l) = 46*l + 4. Does 24 divide w(x)?
True
Let r be (12/(-14))/((-3)/147). Suppose -r = -10*p + 4*p. Suppose -86 = -3*i + p. Does 19 divide i?
False
Let c(h) = 4*h**2 + 5*h + 3. Let y(n) = -4 - 2 + n**2 + 5. Let b(t) = -c(t) + 5*y(t). Is b(7) a multiple of 6?
True
Suppose 25 = 3*u + 1. Let y = 11 - u. Is 16 a factor of 1*(-11)/y*-15?
False
Suppose 4*m = 3*p + 44, p + 0*p = 2*m - 14. Is 4 a factor of (p/10)/((-22)/825)?
True
Suppose x - 9 = -4*w, 0 = -2*x - w - 4*w + 15. Suppose -4*k - 2*u + 274 = 0, -4*k - x*u - 4 = -293. Is 33 a factor of k?
True
Let c(i) = 10*i**2 + 17*i + 12. Let f(x) = 3*x**2 + 6*x + 4. Let a(s) = 2*c(s) - 7*f(s). Let b be a(-3). Is 9 a factor of (b - -1)*(-27)/(-6)?
True
Is 28/(-8)*(-80)/35 a multiple of 8?
True
Let o(b) = b**2 - 7*b + 19. Is o(-7) a multiple of 9?
True
Suppose -654 = -3*v - 2*p, -v + 51 = 2*p - 171. Does 54 divide v?
True
Let t(b) be the second derivative of -2*b**3/3 - 9*b**2/2 + 8*b. Let g be t(-6). Let v = g + -7. Is 4 a factor of v?
True
Suppose -3*p + 6*c + 352 = 7*c, p = 5*c + 112. Is p a multiple of 5?
False
Let c be (-4)/(-14) + (-240)/(-42). Let g be 40/12*9/c. Suppose -r + 171 = 4*o - 2*r, 4*o - g*r = 183. Is 14 a factor of o?
True
Let k(u) = -13*u - 4. Let x(a) = -25*a - 8. Let l(q) = -13*k(q) + 6*x(q). Is l(3) a multiple of 17?
False
Is (-4)/(-22) - (-232288)/176 a multiple of 15?
True
Suppose -8 = 4*s - 3*s. Let u be 3540/6*(-4)/s. Suppose 0 = 14*z - 19*z + u. Is z a multiple of 24?
False
Suppose -206*c + 199*c + 15449 = 0. Does 10 divide c?
False
Suppose 3*k = 2*k + 4*u + 14, k - 14 = -2*u. Suppose -2*n = -0*n - k. Is 3 a factor of n?
False
Suppose 13*p - 2453 - 10911 = 0. Is p a multiple of 42?
False
Suppose 3*q = 9, -3*z + 1512 + 1467 = 3*q. Does 11 divide z?
True
Let s be 10 - (-15)/3*-1. Suppose 0 = -s*f - 7 + 372. Does 15 divide f?
False
Let o be (0 + -2)/1 - -1 - -5. Suppose o*c = 13*c - 837. Does 12 divide c?
False
Let c = -13 + 15. Let x(j) = -12*j**2 - j**3 + 2*j + 8*j**c + 6 + 9*j**2. Does 16 divide x(5)?
True
Let w be 65/10*-8*-3. Suppose 0 = -5*c + c + w. Is 3 a factor of c?
True
Let j(u) be the first derivative of -u**4/4 - u**3 + 5*u**2 + 15*u + 12. Is j(-6) a multiple of 9?
True
Let k(j) = 204*j + 126. Is 23 a factor of k(5)?
False
Let g = -15 + 22. Let s = g - -8. Let v = s + -11. Is v a multiple of 2?
True
Suppose 0 = -6*l + 5*l - v + 121, -l + v + 119 = 0. Is 4 a factor of l?
True
Let o = 84 - 162. Suppose -h - 565 = 5*g + 4*h, 0 = -4*g + 5*h - 488. Let a = o - g. Does 13 divide a?
True
Let q(p) = -4*p. Let b be q(-1). Suppose 5*r = f - 4, b*r - f - 8 = -3*f. Suppose a - 2*v - 68 = r, 3*a = v - 0*v + 194. Is 16 a factor of a?
True
Let k = -58 - -397. Is k a multiple of 11?
False
Suppose -2*m + 246 + 194 = 0. Let j = -151 + m. Is j a multiple of 5?
False
Suppose 4*x + 92*u - 95*u = 16938, 2*x - 8474 = -u. Does 12 divide x?
True
Let o(k) = 74*k - 6. Let w be o(5). Suppose 3*s - 3*n = 5*s - 174, 0 = -4*s + 2*n + w. Does 9 divide s?
True
Suppose 2*q - 17 - 3 = 5*i, 5*q = 0. Suppose 0*r = r - 189. Does 23 divide (i/3)/((-6)/r)?
False
Let t = 8 + -6. Suppose 0 = -3*k - 4*p + 100, t*p = -k + 19 + 17. Does 31 divide (-62)/((-7)/(k/8))?
True
Let t be 6 + -4 + -1 + 3. Suppose 4*m - t*h = 756, 0*m = m - 4*h - 198. Is 44 a factor of m?
False
Let i(j) = -j**3 + 28*j**2 - 44*j + 43. Is 20 a factor of i(24)?
False
Suppose 0 = 33*w - 28*w - 20. Suppose 0 = -2*g + w*g + 3*f - 471, -2*f = g - 236. Does 13 divide g?
True
Let w be ((-6)/9*1)/((-2)/(-18)). Does 4 divide w/9*-75 + -2?
True
Let k be 2*1 - (2 + -11). Suppose 0 = -2*o - 4*i + 150, 3*o - 3*i - 34 = 164. Let u = k + o. Is 22 a factor of u?
False
Let l(w) = w**2 + 7*w + 5. Let i = 9 - 9. Suppose i*o - 36 = 4*o. Is l(o) a multiple of 20?
False
Suppose 19*k + 4164 - 17274 = 0. Is 5 a factor of k?
True
Is 73 a factor of (3637 - (-10 - -3)) + 6?
True
Let r(v) = 89*v - 2. Is 23 a factor of r(4)?
False
Let j(q) = -2*q + 235. Does 84 divide j(38)?
False
Suppose 0 = 49*w - 48*w - 195. Is w a multiple of 51?
False
Let c = 5 + 0. Suppose 3*k - 15 = 0, 2*k = c*z - 2*k - 55. Does 3 divide z?
True
Suppose d - 28 = -0. Suppose 58*j - d = 54*j. Is j a multiple of 3?
False
Suppose 5*r + 5*k = 0, 0*k = 4*r - k. Suppose r = -5*i - i + 12. Suppose w + i*w - 240 = 0. Is w a multiple of 25?
False
Let v(g) = 2*g**2 + 2*g + 1. Let j be v(-3). Let z = j + 36. Suppose -z = -4*d + 63. Does 25 divide d?
False
Suppose 0*n - n + 38 = -5*a, -10 = -n - 2*a. Is 9 a factor of (5/2 + n/(-9))*26?
False
Let u(m) = -m**2 + 6*m + 9. Let q(i) = -i**2 + 6*i + 2. Let s be q(5). Let l be u(s). Is 9/(-6)*l*-11 a multiple of 11?
True
Is 22/4*(12 + (-1220)/(-5)) a multiple of 44?
True
Let s(a) = -a**2 + 39*a - 228. Is s(10) a multiple of 3?
False
Let q = 2730 + -873. Does 23 divide q?
False
Suppose 4*t + 245 = l, 4*l + t - 694 - 269 = 0. Let v = -91 + l. Does 17 divide v?
False
Suppose -2*y = -2*l + 14 + 340, 168 = -y - 2*l. Let k = -92 - y. Is 18 a factor of k?
False
Let k = 12 + 392. Is 29 a factor of k?
False
Suppose i - 45 = -4*j, -4*i + 60 = 3*j + j. Let a = -5 + j. Is 13 a factor of (-6)/(-15) + 193/a?
True
Let y(j) = 2*j**2 - 18*j - 15. Is y(-11) a multiple of 17?
True
Let v = 7 - 12. Let u = 7 + v. Does 7 divide 3/(u/14 + 0)?
True
Let g(n) be the first derivative of n**4/12 + n**3/6 + 55*n**2/2 + 5*n + 3. Let t(b) be the first derivative of g(b). Does 12 divide t(0)?
False
Let j = -8 + 8. Suppose -2*v - 2*w = -22 - 128, -4*w + 12 = j. Is 18 a factor of v?
True
Suppose -5*x + 732 = 3*b, 3*b - x - 31 = 683. Does 7 divide b?
False
Suppose 0 = -5*p + 16 + 4. Let a = -4 + p. Suppose a = -0*z + z - 48. Is z a multiple of 24?
True
Suppose -2*d - 5*w = -4893, 0 = 3*d + 4*w - 5411 - 1939. Is d a multiple of 78?
False
Let o be -1 + ((-24)/3 - 1). Is 2*(-27)/12*o a multiple of 15?
True
Let z = -50 + 88. Suppose -5*c + 287 = -z. Is c a multiple of 14?
False
Let a = 574 - 391. Is a a multiple of 32?
False
Let b be 2/(-8)*(3 + -3). Suppose -6*g + 0*g = b. Suppose -3*w + 0 + 120 = g. Is w a multiple of 28?
False
Let d(y) = y**3 + 9*y**2 - 11*y - 6. Let x be (-2)/((-4)/(-90)*5). Let c be d(x). Let k = c - 57. Is k a multiple of 12?
True
Let u = 554 - 266. Is 18 a factor of u?
True
Suppose -4*l - 44 = 2*g - 3*g, g + 3*l - 30 = 0. Suppose -5*i - q = -0*i - 28, 0 = -q + 3. Suppose b - i*n = g, b + n - 6 = 6. Does 4 divide b?
True
Does 9 divide 11/(-55)*-10*104?
False
Let q(z) = -z**3 + 45*z**2 - 29*z - 27. Does 32 divide q(44)?
False
Suppose 7*u = 11*u - 8. Let o(c) = 47*c**2 + 1. Let i be o(1). Suppose -y = -g + 4*g - 31, -4*g = -u*y - i. Is g a multiple of 9?
False
Let b(j) = 5*j + 1. Let x be b(-2). Let l(r) = -r**2 - 9*r + 3. Let m be l(x). Suppose 7*c - m*d = 3*c + 129, -2*c + 66 = -2*d. Is 9 a factor of c?
False
Let i = -448 - -675. Does 14 divide i?
False
Does 22 divide -1*3*7880/(-30)?
False
Let d(h) be the first derivative of h**2 - 5*h + 1. Let j be d(5). Does 9 divide 136/j - (-1)/(-5)?
True
Let s(u) be the second derivative of u**4/24 + 7*u**3/3 + 4*u**2 + 9*u. Let o(q) be the first derivative of s(q). Is 14 a factor of o(0)?
True
Suppose 104 = 8*i - 0*i. Is 4 a factor of i?
False
Suppose 20*v - 11*v = 3969. Does 17 divide v?
False
Let z(q) = 3*q + 9. Does 6 divide z(3)?
True
Let u