
Let c be (-4)/(-1) - (1 + (-10)/5). Suppose 96 = 4*v + 3*d - 80, 5*d + 255 = c*v. Does 26 divide v?
False
Let f(x) be the third derivative of -x**4/24 + 4*x**3 + 11*x**2. Is f(0) a multiple of 12?
True
Let g(i) = -2*i**3 + 12*i**2 + 13*i - 54. Is 19 a factor of g(5)?
False
Let k be 333/(-12)*(-32)/(-12). Let c = 122 + k. Is 3 a factor of c?
True
Suppose 8*o - 152 - 352 = 0. Does 7 divide o?
True
Let i = -38 - -19. Let a = i + 13. Is (34*-2)/(a + 4) a multiple of 17?
True
Suppose -5*p + 10 = -10. Let b(g) = -9*g + 2. Let f be b(p). Is f/(-3) - 6/(-9) a multiple of 12?
True
Suppose -5*v + 814 = 59. Does 15 divide v?
False
Let s(c) be the second derivative of -c**4/12 - 3*c**3/2 + 9*c**2 + 18*c. Is 9 a factor of s(-9)?
True
Suppose -8*v + 9*v - 5 = 0. Let w = 1 + -1. Suppose w = 5*l - v*i - 81 - 154, 2*l - i - 93 = 0. Does 14 divide l?
False
Suppose n - 5 + 3 = 2*a, -14 = -3*n + 4*a. Suppose n*y = 5*y + 670. Is 23 a factor of y?
False
Let n(l) be the third derivative of -l**6/120 + 11*l**5/60 - l**4/3 + 2*l**3/3 + 8*l**2. Is 24 a factor of n(7)?
True
Suppose -4314 - 1521 = -5*t + 3*b, 3*t - 2*b - 3500 = 0. Is t a multiple of 78?
True
Let y(l) = l**3 - 24*l**2 + 22*l + 26. Let d be y(23). Suppose 2*n - 145 = c, -d*c = -4*n - 0*n + 285. Is 15 a factor of n?
True
Suppose u + 4*t = 4*u + 14, 5*t - 31 = -3*u. Let m(c) = -2*c + 6*c + 7 + 0*c**u + c**2. Is 23 a factor of m(4)?
False
Suppose -246 = -4*p + 114. Let n be -8 + 7 - 106/2. Let r = n + p. Does 18 divide r?
True
Let v = -388 + 728. Is v a multiple of 28?
False
Let w(v) = -11*v + 15. Let y be (0 - 0) + (-35)/7. Is w(y) a multiple of 23?
False
Let y be 1 - (-3 - (1 - 2)). Let w be (-7)/y - (-9)/27. Is 16 a factor of (-2 - w) + 2 + 31?
False
Let j(l) = l**3 - 8*l**2 + 2*l - 12. Let u be j(8). Let p(c) = 1 + c**2 + 7 - 5 - u*c. Is 12 a factor of p(7)?
True
Let k(l) = 49*l + 88. Is k(30) a multiple of 19?
True
Suppose 4*v = 3*l + 564, 4*v = v - 2*l + 440. Suppose 7*s = 4*s + v. Does 24 divide s?
True
Let a = -6 + 6. Suppose -2*o + 35 + 5 = a. Does 14 divide o?
False
Let p(f) = -f + 13. Suppose 4*j = -2*j + 60. Let c be p(j). Is 17*1*3/c a multiple of 17?
True
Let m(p) = 3*p**2 + 20*p + 19. Let r(o) = -o**2 - o. Let d(n) = -m(n) - 2*r(n). Does 19 divide d(-14)?
False
Suppose 6*g + 2362 = f + 4*g, 4*f - 2*g = 9466. Is f a multiple of 74?
True
Let t = 23 + -19. Suppose r = -p - 3*p + 24, t = 2*p. Is 8 a factor of r?
True
Suppose -44*m + 223354 = -11210. Is m a multiple of 23?
False
Let u(p) = 23*p + 10. Does 20 divide u(10)?
True
Let c(a) = -8*a + 1. Let g be c(-1). Let h(v) be the third derivative of v**4/8 - v**3/6 - 23*v**2. Does 13 divide h(g)?
True
Suppose -9*c = -6*c + 393. Let x = -51 - c. Does 16 divide x?
True
Let g(t) = -t**3 + 7*t**2 + 14*t - 91. Let f be g(6). Let c(r) = r**3 - r + 4. Let z be c(0). Suppose -z*j - f = -133. Does 13 divide j?
True
Let w(f) = 5*f + 11. Let j be w(-7). Let c = j - -3. Is (-14)/c + 318/9 a multiple of 8?
False
Let p(o) = 17*o + 93. Is 9 a factor of p(21)?
True
Suppose 107 + 101 = 4*l. Suppose -2*a = u - l + 11, -174 = -4*u - 3*a. Is 9 a factor of u?
True
Let y = -33 + 39. Suppose 0 = -3*k - 5*v + 448, k - 4*v + 764 = y*k. Is k a multiple of 39?
True
Let m be 981*(2 - (-15)/(-9)) - -3. Suppose 44*f = 41*f + m. Is f a multiple of 11?
True
Suppose 19*g - 18*g - 2 = 0. Is 1 - ((-1)/(g - 3) + -165) a multiple of 33?
True
Let v be (4/8)/((-1)/(-6)). Suppose 5*x = v*b - 71, b + x + 4*x - 17 = 0. Suppose -4*i = -334 + b. Is 27 a factor of i?
False
Let x = 2 - -6. Let i(g) = g**3 - 9*g**2 + 8*g + 5. Let u be i(x). Suppose m + 105 = u*r - 2*m, 0 = -5*r - 3*m + 135. Is r a multiple of 6?
True
Suppose -4*d - 12 = -2*d. Let s(q) = 2*q**2 + 5*q - 1. Let b be s(d). Suppose -4 - b = -x. Does 15 divide x?
True
Let t be 46/(-3)*(62 - 65). Let u(p) = -p**2 + 6*p - 5. Let w be u(4). Is t - (w + -8 - -1) a multiple of 25?
True
Suppose f + 5 = -4*f. Suppose 7*j + 10 = 12*j. Is 6 a factor of j - (-22 + 0) - f?
False
Let n be (2/(-3))/(-1)*3. Suppose r - n*x = -r + 62, -r - 5*x + 55 = 0. Does 14 divide r?
False
Let r = -2154 + 5634. Is 40 a factor of r?
True
Is 21 a factor of ((-49)/(-4))/((-4)/(-432))?
True
Does 117 divide (-6)/21 - -2*(-22122)/(-63)?
True
Let n = 70 - 119. Suppose -4*o + 2*v = -394, -3*o + 6*o + 2*v - 313 = 0. Let u = o + n. Does 10 divide u?
False
Let h = -356 + 524. Is h a multiple of 7?
True
Suppose 6*l - 24 - 30 = 0. Suppose 1150 = l*z - 389. Is z a multiple of 19?
True
Let c(r) = -r**3 + 20*r**2 - 50*r + 17. Does 3 divide c(15)?
False
Let k be (0 - (-4)/(-12))*-21. Suppose k*u - 5*u = 0. Suppose -4*v = j - 34, -5*v = 3*j - u*v - 116. Is j a multiple of 26?
False
Suppose 9*l = 4*l + 10. Let i(n) = 36*n - 3. Is 10 a factor of i(l)?
False
Suppose 0 = -2*m - 2565 - 2101. Let i = m - -776. Does 8 divide i/(-54) + (-1)/(-6)?
False
Let d be (-18)/4 - (-2)/(-4). Let c = -1 - d. Suppose -25 = -c*q + 19. Is q a multiple of 11?
True
Let o(f) = 2*f**3 - 3*f**2 + 5*f - 3. Does 12 divide o(6)?
False
Let y(v) = -20*v - 95. Is y(-9) a multiple of 37?
False
Let a(u) = 2*u**2 - 50*u + 92. Is 7 a factor of a(30)?
True
Let k be 12/(-12)*42/(-1). Suppose 3*b = 2*r + b - k, 4*r = 2*b + 74. Does 4 divide r?
True
Suppose 51 = 2*l + 4*q - 19, 5*q + 75 = 4*l. Suppose -6*a = -a - l. Suppose -2*c = 0, a*m + 2*c - 35 - 5 = 0. Does 4 divide m?
True
Let k = -9 + 15. Is (k/10)/(14/350) even?
False
Let g = -236 - -589. Is 10 a factor of g?
False
Let p be 0 - 2 - (0 + 2). Let d = -4 - p. Let q(h) = h**3 + 8. Is 8 a factor of q(d)?
True
Does 3 divide 3/(-3)*29/(-1)?
False
Suppose 3*q - 948 = -192. Suppose 4*v - q = -4*b, v = 3*b - v - 169. Does 15 divide b?
False
Let h be 5*1*58/5. Suppose 6 = -5*a + 3*a - 3*r, -a - 2*r - 3 = 0. Is a/(-9) + h/6 a multiple of 10?
True
Is 10 a factor of (-7 - (-4 - -2)) + (36 - -295)?
False
Suppose 9 + 19 = 4*f - 4*q, 0 = -3*f - 2*q + 6. Is (-1)/(-3*f/588) a multiple of 49?
True
Let f be (-1)/(-3) - 14560/(-42). Suppose -2*r = -t + 5*t - 476, f = 3*t - r. Suppose -5 = 4*m - t. Is m a multiple of 14?
True
Let g(v) = -13*v - 6*v - 19 + 0*v - v**2. Is 6 a factor of g(-13)?
False
Let t be ((-3)/(18/4))/(14/(-861)). Let f = t + 67. Does 12 divide f?
True
Let z = -4969 - -7324. Does 12 divide z?
False
Let i(w) = 9*w**2 - 25*w - 6. Let d(r) = 6*r**2 - 17*r - 4. Let s(q) = -7*d(q) + 5*i(q). Is s(4) a multiple of 4?
False
Let v be (-2 + 156/15)*-5. Let p = v + 15. Is (3 + p/6)*-4 a multiple of 6?
True
Let l be (-3)/(-4) - 10/(-8). Suppose 5*s - 17 + 397 = 5*a, l*s = -3*a + 238. Is 26 a factor of a?
True
Let x(o) = -6*o - 5. Let c be x(13). Let k = 22 + -147. Let t = c - k. Does 10 divide t?
False
Let o = 384 + -333. Is o a multiple of 2?
False
Let d(n) = 10*n**2 + 7*n + 109. Is 69 a factor of d(-11)?
True
Let g(w) = 5*w**2 - 2*w - 3. Let s(c) = 2*c**3 - 2*c**2 - c + 1. Let n(j) = j**3 + j**2 + 1. Let k(x) = n(x) - s(x). Let t be k(3). Is g(t) a multiple of 12?
True
Let h(s) = 152*s**2 - 43*s + 81. Does 67 divide h(2)?
True
Let s(h) = h**3 + 26*h**2 + 10*h + 103. Does 7 divide s(-24)?
True
Let c be -3*(-4)/(-3) - 64/(-8). Does 29 divide 2/c - 11466/(-36)?
True
Suppose 3*a - 25 = -4*c + 120, 20 = 5*c. Let h = a - -33. Is 17 a factor of h?
False
Suppose 5*t + 5*s - 10 = 0, t - 2*s + 12 = 2. Is 20 a factor of -2 + t + 3 + 61?
True
Let y be 0/(7/((-7)/(-2))). Let r(b) = -2 + 10 - b + y*b + 2*b. Is r(6) a multiple of 7?
True
Is 24 a factor of ((-3288)/9)/((-3)/27)?
True
Let u(b) = -b**3 - 7*b**2 + 16*b + 14. Let l be u(-7). Let p = -49 - l. Is p a multiple of 6?
False
Suppose -4*u + 0*u = 2*g + 22, -3*u + 2*g = 34. Let r be -3 + -2 + 7 + u. Is 11 a factor of r*(0 + (-33)/9)?
True
Let k be ((-16)/(-10))/(6/(-15)). Does 8 divide (66/k)/(4/(-8))?
False
Suppose c + 3*f = 16, -c + 3*f + 4 - 18 = 0. Suppose -c = 5*g - 4*g. Is (9 - (g - -4)) + 1 a multiple of 3?
False
Suppose 2*m = -529 + 1617. Suppose -v + 47 = 5*p - 104, -4*v - 5*p + m = 0. Is 7 a factor of v?
False
Suppose 2*l = 3*m + 22, -4*l = 2*m - 3*m - 24. Suppose 6*w + 230 = -l*y + 3*w, w + 48 = -y. Let d = y + 87. Is 22 a factor of d?
True
Let x be (180/8 + 4)/((-1)/(-6)). Suppose 0 = 5*u - 3*b - 560, -3*u - x + 495 = b. Is 14 a factor of u?
True
Is (1 - 3140/8)*(-112)/84 a multiple of 21?
False
Let v(g) = g**2 + 13*g +