et n(v) be the second derivative of a(v). Is 23 a factor of n(5)?
False
Suppose h + 6*h = 287. Let q(x) = x + 3. Let t be q(-5). Does 21 divide (t - (h + -1))/(-1)?
True
Suppose 0 = 21*r - 7*r - 154. Suppose r*w = -159 + 929. Is 5 a factor of w?
True
Suppose -4*i - 2*c + 4352 = -6*c, -2*i + c + 2176 = 0. Suppose 3*u = i - 230. Is u a multiple of 11?
True
Let l be ((-2)/6)/((-17)/(-153)). Let o(p) = 8*p**2 + 6*p + 9. Is o(l) a multiple of 36?
False
Suppose -7*b = -6*b + 5*g + 158, -4*g - 685 = 5*b. Let u = 239 + b. Is 27 a factor of u?
False
Is 9 a factor of (24/(-36))/((-2)/684)?
False
Let u be (1*-2)/(14/(-21)). Suppose -2*j + 364 + 782 = 4*y, -591 = -2*y + 5*j. Suppose a = n - 68, -4*n - u*a - a + y = 0. Does 13 divide n?
False
Let z(q) = 27*q**3 - 3*q**2. Is 4 a factor of z(2)?
True
Let w = -538 + 658. Does 5 divide w?
True
Suppose 1192*i - 1190*i - 20 = 0. Is i a multiple of 6?
False
Let k(b) = -7*b + 4*b**2 + 0*b + 2*b + 10 + 3*b. Is 8 a factor of k(3)?
True
Suppose 6*r + 182 = 116. Let k(q) = q**2 - 9 + 9*q + q**2 - q**2. Is k(r) even?
False
Is 178 + (4 - (-1)/(-3)*0) a multiple of 21?
False
Suppose -v + 356 = 5*w, -5*w - 4*v + 237 = -107. Is 8 a factor of w?
True
Let v(h) = -h**2 - 73*h - 18. Does 21 divide v(-12)?
True
Is 15 a factor of 45*3/(9 - 6)?
True
Let p = 1157 - 945. Is p a multiple of 33?
False
Let r = -70 - -223. Is r a multiple of 17?
True
Let l = -54 - -72. Is 2 a factor of 15*2*6/l?
True
Does 104 divide 1/((-4)/15808*-2)?
True
Let f(g) be the third derivative of g**5/30 - 11*g**4/24 + g**3/2 + 9*g**2. Is 11 a factor of f(9)?
True
Is 2/(-7) - 27049/(-77) a multiple of 39?
True
Let n be (-133)/38*(-20)/7. Suppose n = 4*t - 54. Is 14 a factor of t?
False
Let v = 4 + -1. Suppose v*z - 529 = -5*q, -3*z = 4*q - 41 - 384. Is 13 a factor of q?
True
Is 19 a factor of ((-266)/(-4))/((-85)/(-10) + -8)?
True
Let u(d) = -2*d**3 + 48*d**2 - 32*d - 62. Is u(23) even?
True
Suppose 2*i = -7*i + 171. Let o be ((-5)/(-3))/(2/18). Let r = i - o. Does 3 divide r?
False
Let x(q) = 104*q**2 + 1. Let k be x(1). Suppose -g - k = -4*g. Is g/(-14)*42/(-5) a multiple of 6?
False
Let a = -636 - -684. Does 2 divide a?
True
Let f(z) = 6*z - 163. Let b be f(27). Let m(q) be the third derivative of 9*q**5/10 - q**4/8 - q**3/3 + q**2. Is 8 a factor of m(b)?
False
Suppose -3*x - 4*v = -1112, -4*x - 3*v + 1462 = -8*v. Is x a multiple of 8?
True
Let v = -637 - -1066. Is 12 a factor of v?
False
Let n = 883 + -463. Does 28 divide n?
True
Suppose 4*n - 29 = -9. Let a = 0 + n. Suppose 176 = a*h - 4*l, 0 = 4*h + 3*l - l - 120. Does 12 divide h?
False
Let b = 46 - -5. Let a = -316 - -312. Let m = a + b. Is m a multiple of 11?
False
Suppose -4*b - 694 = -3802. Suppose b = 10*u + 27. Does 15 divide u?
True
Suppose -y + 27 = 2*y. Suppose x + y = 4*x. Suppose h + x*m - 36 = 21, -5*h + 5*m = -205. Is h a multiple of 16?
False
Let v = -6 - -6. Suppose 2*t - 2 = -g - 0, 3*t - 3*g - 21 = v. Suppose 0 = x - y - 10, 0 = t*x + y - 21 + 3. Does 7 divide x?
True
Suppose -6*p = -1080 - 234. Let k = p + -142. Is 11 a factor of k?
True
Suppose -9831 = -5*p + 5*x - 2166, 3*x = 2*p - 3063. Is p a multiple of 24?
True
Suppose 0 = -2*j + 6*j - 636. Does 14 divide j?
False
Let c be 24*5*(-5)/(-50). Let x(y) = 3*y - 16. Is 3 a factor of x(c)?
False
Is ((4/5)/2)/(6/3060) a multiple of 34?
True
Suppose 3*b - 3*u = 39, -2*b - 33 = -4*b - 5*u. Suppose -4*v + 5*r = 36, v + v + 2*r = 0. Let f = b + v. Is f a multiple of 5?
True
Let w be (-392)/(-3) - 14/(-42). Let j = w - 69. Does 18 divide j?
False
Let p = -14 + 15. Suppose 0 = 3*w + 3*s - 201, 11 = -2*s + p. Is 12 a factor of w?
True
Suppose -4*m = -l - 9 + 31, 5*l - 30 = 4*m. Suppose -4*s - 56 - 48 = 4*o, -3*s = -l*o - 37. Let v = o + 43. Does 20 divide v?
True
Let l = -653 - -653. Suppose 0 = -f + 3*f - 72. Suppose l*z - 3*z = -f. Is 4 a factor of z?
True
Suppose 3*n + c + c + 201 = 0, -c + 201 = -3*n. Let o = 187 + n. Is o a multiple of 30?
True
Let l be (-8)/((-214)/54 + 4). Is 12 a factor of (7/(-3))/((39/l)/13)?
True
Let a = -27 - -34. Let f(u) be the first derivative of -u**4/4 + 7*u**3/3 + 3*u**2/2 + 2*u - 3. Does 13 divide f(a)?
False
Suppose 4*f = 21 - 121. Let g = 22 + f. Does 13 divide 130/20*(-1 - g)?
True
Suppose -c + 87 = z, -4*z + 20*c = 21*c - 339. Is 4 a factor of z?
True
Let k(c) = 46*c + 100. Is k(9) a multiple of 36?
False
Let x be ((-60)/25)/((-6)/20). Let p be 4/40*x*5. Suppose -2*c = -3*c + 2*h + 10, 50 = 5*c + p*h. Does 5 divide c?
True
Let m = 84 - -140. Is 56 a factor of m?
True
Let b(a) = 3*a + 8. Let j(g) = g - 3. Let q be j(-5). Let c be b(q). Is 8 a factor of (c/(-20))/(2/80)?
True
Let v = 0 - -2. Let u = -127 - -127. Suppose v*n - 82 = 4*t, u*t - 144 = -4*n - 2*t. Does 11 divide n?
False
Let t be 34/6 - (56/(-24) + 3). Let u(f) = -f. Let a be u(0). Suppose 5*y = 2*y + n + 4, a = 5*y - 4*n + t. Is y a multiple of 3?
True
Suppose -314 = j - 4*u, -5*j - 4*u + 252 = 1798. Let v = -143 - j. Does 12 divide v?
False
Does 16 divide 12*959/(-70)*-5?
False
Is 65 a factor of (429/(-44))/(9/(-480))?
True
Suppose 3 + 12 = 5*b. Let v(u) = 3*u**3 - 2*u**2 - 2*u + 4*u**b - 5*u**3 + 3*u**3. Is v(2) a multiple of 14?
True
Let m = 406 + -256. Is 5 a factor of m?
True
Let s be -3 + (4 - 2) + 1. Let i be (-5)/5 + s/(-2). Is 8 + 1 + 2 + i a multiple of 8?
False
Let o = -263 - -471. Suppose -2*x - o = -4*x. Is x a multiple of 27?
False
Suppose -5*m + 7*x = 2*x + 180, m = 5*x - 52. Let o = 39 + m. Suppose 0 = -4*l + 73 + o. Is l a multiple of 5?
True
Suppose -5*w - 360 = -5*x, -3*x - 3*w - 2*w + 256 = 0. Let v = x + -73. Is 2 a factor of v?
True
Let s = -1366 + 1918. Does 8 divide s?
True
Let h(r) = -5*r - 8. Let p(s) = 14*s + 25. Let m(f) = -7*h(f) - 2*p(f). Let y(x) = 20*x + 19. Let u(q) = 8*m(q) - 3*y(q). Is 9 a factor of u(-9)?
True
Let p(m) = 2*m - 7. Let t be p(4). Suppose l - 4 = 0, -4*l = 5*i + t - 2. Let s(u) = -u**3 + 2*u**2 - 4*u - 3. Is s(i) a multiple of 27?
True
Is 61/1281 - 52372/(-42) a multiple of 17?
False
Suppose -9*g + 1295 = -10. Is 15 a factor of g?
False
Is -4 + (-27)/9 + 523 a multiple of 43?
True
Let m(p) = p**3 - 8*p**2 + 5. Let y be m(8). Let s(o) = 4*o**2 + 6*o - 1. Is s(y) a multiple of 32?
False
Let o = -53 - -56. Suppose -4*p + 2*u - 163 = -429, p + o*u = 77. Is p a multiple of 34?
True
Suppose -5*y + 3*i + 920 + 807 = 0, 0 = 5*i + 20. Is 49 a factor of y?
True
Let f(m) = 142*m**2 + 18*m - 76. Is f(4) a multiple of 27?
True
Let j(t) = 3*t**3 - 8*t**2 - 6*t + 8. Let i(a) = -7*a**3 + 16*a**2 + 11*a - 17. Let x(y) = 2*i(y) + 5*j(y). Is 26 a factor of x(10)?
False
Let b(r) = 30*r + 26. Let d(h) = 6*h + 5. Let v(p) = 3*b(p) - 14*d(p). Suppose t - 22 = -t. Is v(t) a multiple of 12?
False
Suppose -4*r - 8 = 0, r - 11 = 4*s + 11. Let l be 5/(-15) - 44/s. Suppose -l*h = -5*h - 28. Does 6 divide h?
False
Suppose 0 = 5*n - 2*l + 3, l - 3 = n + 3*n. Let a be -3*(-3 - -4)*n. Does 5 divide (a - 4/(-4))*5?
True
Suppose -1 = 4*a - 5, 0 = 2*s - 4*a + 214. Does 6 divide ((-6)/(-5))/((-7)/s)?
True
Let c(p) be the third derivative of -p**4/2 + 11*p**3/6 - p**2. Let n(u) = 4*u - 21. Let b be n(4). Does 32 divide c(b)?
False
Let d(y) = y**2 + 9*y + 9. Let o be d(-8). Is (-412)/(-6) - o/(-3) a multiple of 11?
False
Suppose -a = -43 - 28. Let n = -50 + a. Let g = 27 - n. Is 3 a factor of g?
True
Suppose 0*w = 2*w + 68. Let o(a) = a**3 - 8*a**2 + 8*a + 8. Let i be o(4). Let b = i - w. Does 10 divide b?
True
Let o(q) = 4*q**2 - 16*q - 5. Let a(d) = -4*d - 3. Let x be a(-2). Is 8 a factor of o(x)?
False
Let n(z) be the first derivative of 2*z**3/3 + 10*z**2 - 10*z + 10. Let v be n(-10). Does 5 divide 40/(-100) - 204/v?
True
Suppose v = 4*x + 2230, 0 = 3*v + x - 3*x - 6660. Is 24 a factor of v?
False
Let j = -3557 + 5939. Is j a multiple of 59?
False
Let d = -1038 - -1681. Does 29 divide d?
False
Let m(g) = -g**3 + 18*g**2 - 14*g - 14. Let i be m(16). Suppose -i = -3*p - 2*r + 165, -r = -5. Is p a multiple of 16?
False
Let p(f) = 3*f**2 - 10*f - 123. Is 20 a factor of p(19)?
False
Suppose 4 = 4*y - 5*o, -4*o = 7*y - 2*y + 36. Let x(s) = s + 1. Let g(n) = n**2 + 3*n - 13. Let m(k) = y*x(k) + g(k). Does 6 divide m(7)?
False
Suppose l - o - 7 = -0, -4*o = 3*l. Is l/6 + (-6)/((-72)/436) a multiple of 8?
False
Let k(o) = o**3 - o