*3 - d**2/2 + d + 9. Is 2 a factor of v(1)?
False
Let i(u) be the third derivative of u**5/20 - u**4/24 - 14*u**2. Let c(r) = r + 7. Let z be c(-8). Is 3 a factor of i(z)?
False
Let f(q) = q**3 - 4*q**2 + 3. Let t be f(4). Suppose -t*l + x + 9 = 0, -x - x = 0. Suppose l*k - 5*a - 47 = 0, 6*k = 3*k - 4*a + 38. Is k a multiple of 6?
False
Suppose 0 = -h + 2, 6*a - 2*h = 3*a + 23. Suppose a + 0 = b. Suppose 0 = -3*z + b + 111. Is z a multiple of 20?
True
Let a(v) be the first derivative of 0*v + 1/2*v**2 + 2*v**3 - 3. Is a(-2) a multiple of 11?
True
Let p(i) be the second derivative of -3/2*i**3 + 0 + 9*i - 2*i**2. Is p(-2) a multiple of 9?
False
Let d = -169 - -505. Suppose -2*z - z + d = 0. Is z a multiple of 16?
True
Let f(l) = -l - 1 - 10 + 27. Is 4 a factor of f(0)?
True
Suppose -53560 = -194*m + 174*m. Is m a multiple of 7?
False
Let u = 73 + 1269. Is 18 a factor of u?
False
Let d = -32 + 12. Let u be (6 + -2)/(d/(-25)). Suppose 3*b + 5*v - 4*v = 10, 3*b + u*v + 10 = 0. Is 3 a factor of b?
False
Let p(x) = -x**3 + 7*x**2 - x + 8. Let r be p(7). Suppose -r = -w + 11. Suppose -4*b + w + 44 = 0. Does 7 divide b?
True
Let a(h) be the first derivative of -9*h**2 + 85. Suppose 0*c + 2*c + 4 = 0. Does 18 divide a(c)?
True
Let s be 102*((12/3)/8 + 0). Let n = -42 + s. Is 9 a factor of n?
True
Suppose 2*h - 62 = -4*q, 0 = 3*h + h + 5*q - 136. Let a be (25/(-20))/(5/(-60)). Suppose 24 = 3*k - 4*i - a, -i = -3*k + h. Is k a multiple of 13?
True
Let o(j) = 2*j**3 + 4*j**2 - j - 3. Let c be o(-3). Let w be 81/c*124/(-6). Let n = -55 + w. Is n a multiple of 9?
False
Let z(h) = 6*h + 6. Let u(a) = a**3 + 3. Let s be u(0). Suppose -t + 10 - s = w, 0 = -5*w + 5. Is 14 a factor of z(t)?
True
Let l = 560 - 278. Does 6 divide l?
True
Suppose k + 6 = 2*d, k - 10 = -d - 2*k. Suppose -13 = d*q + 3. Let t = q - -12. Is 5 a factor of t?
False
Let g(k) = 4*k - 3 + 7*k + 0. Let x be g(-2). Let t = 37 + x. Does 5 divide t?
False
Let j(v) = 146*v**2 + 7*v + 4. Does 148 divide j(4)?
True
Is 16 a factor of (370/40)/((-4)/(-16))?
False
Let r(p) be the first derivative of -p**4/4 + 7*p**3/3 - 7*p**2/2 + 4*p - 9. Let l = -3 + 7. Is r(l) a multiple of 8?
True
Suppose 7*o = -2*w + 3*o + 792, 4*w - 1536 = 4*o. Does 21 divide w?
False
Let a = -967 - -1165. Does 22 divide a?
True
Let j(h) = 9*h + 11. Let k be j(11). Suppose -k = -5*l + g + 174, 5*l = -2*g + 287. Is l a multiple of 19?
True
Let a = 556 - 290. Is a a multiple of 19?
True
Let h(j) = j**2 - j + 1. Let a(r) = 6*r**2 - 12*r. Let w(l) = -a(l) + 5*h(l). Let y be w(8). Does 11 divide (44/6)/((-1)/y)?
True
Suppose -116 - 16 = 3*d. Let k = d + 57. Is 9 a factor of k?
False
Let l(y) = -y**3 - 7*y**2 - 2*y - 80. Let v be l(-8). Suppose -2*o - b = 4*b, b = 5*o. Suppose o = 4*j - v*j - 120. Does 15 divide j?
True
Let f(p) = 2*p**2 + p + 1. Let t be f(-4). Suppose -t = -5*z - 2*k - 120, 3*k + 9 = 0. Let d = 7 - z. Does 12 divide d?
True
Suppose -2*k + 3 = -1. Suppose j + 10 = k*j. Does 5 divide j?
True
Suppose -20 = 7*k - 118. Does 11 divide k?
False
Suppose 137 = f - 2*f. Let l = f + 487. Suppose -5*v = -4*k - l, -v - 7*k + 3*k + 46 = 0. Is v a multiple of 16?
False
Let d = 14 + -12. Let n be 1*-2 - (32 - d). Let x = -14 - n. Does 9 divide x?
True
Let d(z) be the third derivative of -z**5/60 - z**4/2 - 11*z**3/6 - 10*z**2. Does 15 divide d(-8)?
False
Let v = -179 - -353. Is v a multiple of 7?
False
Let n = 31 - 33. Let f(m) = -3*m**3 + m**2 - 2. Does 26 divide f(n)?
True
Let g(n) = -n**2 - 23*n - 19. Does 25 divide g(-7)?
False
Suppose 4*n + 2*a = 6*n - 2678, -4*n - 3*a = -5391. Is n a multiple of 16?
True
Let k = -31 - -34. Suppose -k = -v + 3*a, -v + 49 = 2*v + a. Is v a multiple of 3?
True
Suppose -32*w + 30*w = -5*b + 3234, 0 = 3*b + 5*w - 1959. Is b a multiple of 36?
True
Suppose 0 = -8*s + 3*s - 4*k - 14, -3*k + 30 = -3*s. Is s/15 - (-32)/10*2 a multiple of 2?
True
Let s(g) = 11*g - 14. Let u(i) = 16*i - 20. Let p(k) = -8*s(k) + 5*u(k). Is 19 a factor of p(-8)?
True
Suppose 2*g - 4 = -0. Suppose -5*r + g + 3 = 0. Let j(s) = 29*s**2 + 3*s - 2. Is 15 a factor of j(r)?
True
Let b be (-1 + (-4)/(-8))*48. Let m = -11 - b. Is m a multiple of 13?
True
Let b(c) = -2*c**3 - 3*c**2 + 2*c - 7. Let h be b(-3). Let s(r) = 2*r + 12. Is 10 a factor of s(h)?
True
Suppose 34*w - 4*w - 1050 = 0. Is w even?
False
Let i(m) = -m**2 - 9*m - 1. Let w(v) = -v**2 + 7*v - 2. Let c be w(6). Suppose 0 = -2*t + 2*d + 3*d, 2*d = -c. Does 6 divide i(t)?
False
Suppose -4*w + 7*w - 6 = 0. Suppose -y - 3*z + w = 0, 4*y + 4*z - 14 = 2*y. Does 8 divide y?
False
Let y(x) = x**3 - 6*x**2 - 5*x - 8. Let a be y(7). Suppose -2*c = -0*c - a. Suppose 4*k = 20, k = 2*l + c*k - 66. Is l a multiple of 28?
True
Let n(q) = -4*q - 44. Let x be 496/(-24) - (8/(-3))/4. Does 6 divide n(x)?
True
Let r(g) = -g**3 + 14*g**2 - 5*g + 11. Let b be 2 + (4 - 0 - -7). Does 20 divide r(b)?
False
Suppose 215 = -3*u + 5*b, 0 = -2*u + 4*u - b + 155. Let z = 111 + u. Does 31 divide z?
True
Is 153 a factor of 33/110*10 - -1527?
True
Suppose 90*g - 13680 = 14*g. Does 9 divide g?
True
Suppose -2 = -4*x + 10. Let q(z) be the first derivative of 5*z**3/3 + 2*z**2 - 1. Is q(x) a multiple of 15?
False
Let b(w) = -21*w + 57. Is 23 a factor of b(-40)?
True
Suppose -4*u = -2*f + 708, -4*u = -f + 178 + 170. Is 90 a factor of f?
True
Let j be 83 - 3 - 1*(-8 + 4). Suppose 244 - j = 8*i. Is 20 a factor of i?
True
Let o(i) = 21*i + 186. Is 3 a factor of o(7)?
True
Let v(x) = 61*x**2 - 1. Is 20 a factor of v(-1)?
True
Let j(g) = 12*g**2 + 5*g + 4. Let i be j(-1). Suppose -i*p = -7*p - 688. Is p a multiple of 50?
False
Let k(u) = 44*u**3 + 1. Let y be k(-1). Let m = -526 - -438. Let s = y - m. Is 11 a factor of s?
False
Suppose 0 = g - 2*y - 1744, -5*g - 53*y = -50*y - 8746. Does 51 divide g?
False
Let k(n) = -2*n + 1. Let s be 4*-3*(-5)/(-6). Let l be k(s). Suppose -2*i = -l + 5. Is 3 a factor of i?
False
Let i be (-2 - 0)*(21 - -1). Let x be 83*((-2)/2)/(-2 - -3). Let z = i - x. Is 8 a factor of z?
False
Suppose 25 = 6*v + 19. Suppose 0 = -m + x + 58, -m + 3*x - v = -63. Does 7 divide m?
True
Suppose 5 - 3 = j. Suppose -5*f + 166 = 2*x, -f + 15 + 11 = -j*x. Does 32 divide f?
True
Let v(t) = -26*t + 256. Is v(-13) a multiple of 11?
True
Suppose 0*k - 3*k + 15 = 0. Suppose -2*c = 2*u - 208, 0*c - k*c - 4*u + 517 = 0. Suppose -4*d - a + 325 = 0, 4*a = -d - 1 + c. Does 20 divide d?
True
Let y(s) be the second derivative of -16*s**5/5 + s**4/4 + s**3/6 - s**2/2 + 2*s. Is 14 a factor of y(-1)?
False
Suppose d + 3*d - 22 = -5*o, -5*d = 5*o - 25. Let n(k) = -3*k - 3*k + 5*k + 1 + d. Is 8 a factor of n(-4)?
True
Let j be (56/(-2))/(3/(-18)). Suppose 0 = -0*u - 4*u + j. Is u a multiple of 10?
False
Let f = 5 - -3. Suppose 0 = -2*z + 5*k + f, -z + k = 2*z + 1. Is z/(1 + 140/(-136)) a multiple of 19?
False
Suppose -82*r + 10591 = -5071. Does 2 divide r?
False
Suppose 3*v - 4*y + 65 = 0, v = -y - 0*y - 31. Let f = 26 - 31. Is (-6)/15 + v/f a multiple of 5?
True
Suppose 9*a + 135 = -s + 4*a, -2*s - 277 = 3*a. Is 18 a factor of (-4)/(-14) + (-9480)/s?
False
Let j be 2/4 - 164/(-8). Does 10 divide 242/6 + (-7)/j?
True
Suppose 0 = -10*z + 8*z + 860. Is z a multiple of 43?
True
Let a = -43 - -48. Suppose 8 = v - g, -a*g - 15 = -v + 9. Does 2 divide v?
True
Let b = 1572 - 890. Is b a multiple of 31?
True
Let g = 9 - 9. Suppose 5*v - 2*v - 24 = g. Suppose -y - v + 24 = 0. Is y a multiple of 4?
True
Let z(x) = x + 2. Let f be z(6). Suppose 9*j - 4*j = 110. Let i = j - f. Is i a multiple of 4?
False
Let x be (-4)/5*-1*3*-20. Let v = x + 52. Is 4 a factor of v?
True
Let j be (-39)/(-117) + ((-64)/6)/(-1). Is 8 a factor of (-9 - (6 - j))/((-2)/8)?
True
Is 43380/(-75)*(-70)/21 a multiple of 31?
False
Let j(w) = w**2 - 9*w - 10. Let t be 1 - 12/(5 + -3). Is 12 a factor of j(t)?
True
Let o(u) = 2*u**2 - u - 2. Let a be o(4). Suppose -4*g - a = -6*g. Is 13 a factor of g?
True
Let a be -1 + -3*(0 - 1). Suppose 6 = i + a*i. Suppose 0 = d + i - 11. Does 9 divide d?
True
Let u(c) be the first derivative of -19*c**2/2 - 50*c + 36. Does 45 divide u(-5)?
True
Suppose -2*v + 5*j = -28, 4*v + 4*j - 4 = -v. Suppose -v*q + 318 - 13 = 5*l, -2*l - 373 = -5*q. Does 5 divide q?
True
Suppose -2*u + g + 4*g - 4 = 0, -u = -2*g. Is u/(-10) +