e k(3). Suppose -5*b - 3 = -678. Let s = b + a. Is 19 a factor of s?
False
Let v(d) be the second derivative of -2*d**3/3 - d**2/2 + 5*d. Let g = -9 - -5. Is 5 a factor of v(g)?
True
Let w(g) be the first derivative of g**4 - g**2/2 + 5*g - 15. Is w(3) a multiple of 10?
True
Let j = 4063 - 2143. Is 64 a factor of j?
True
Suppose 495 + 205 = 5*n. Is 20 a factor of n?
True
Let n = -7 - -11. Let i be (84/(-147))/(n/(-14)). Is (10 - -5)*(i - 1) a multiple of 15?
True
Let w(r) = r**2 - r - 14. Let z be w(0). Is ((-45)/(-30))/((-3)/19)*z a multiple of 19?
True
Suppose -i - 2*v - 145 = -4*v, 3*v - 426 = 3*i. Let f be (1 + i)*68/(-51). Suppose -f = -4*n + 4*m, -n - 3*n + 3*m = -180. Is n a multiple of 7?
True
Let n = 18 + 20. Let u = 69 - n. Is u a multiple of 31?
True
Let m = -262 + 543. Is 9/(-72) + m/8 a multiple of 7?
True
Let j(n) = -n**2 - 9*n + 4. Let b be j(-10). Let x = b + 5. Is 17 a factor of x/((-4)/12) - -99?
True
Is 88 a factor of (198/(-15))/(15/(-1500))?
True
Let p = -113 - -233. Suppose 14*v + p = 18*v. Is 5 a factor of v?
True
Suppose 3*b = 4*i - 2*b - 1417, -2*b - 1054 = -3*i. Does 22 divide i?
False
Let k = 91 + -46. Let j = -22 + k. Let p = j + -7. Is 14 a factor of p?
False
Let a = 1430 + -776. Does 15 divide a?
False
Let g = 10 + 50. Suppose -90*u - g = -93*u. Is u a multiple of 15?
False
Let b = 6571 - 4338. Does 8 divide b?
False
Suppose 0 = -v + 3*v - 48. Suppose 51 - 9 = 4*a - 5*z, 4*z = -4*a + v. Is a a multiple of 8?
True
Let n(a) = a**3 + 4*a**2 + 2*a + 1. Let j be n(-3). Suppose 5*f - 4*v = 10*f - 88, -2*f + 5*v + 22 = 0. Suppose c - f = j. Does 13 divide c?
False
Let j(f) be the second derivative of f**4/6 + f**3/3 - f**2/2 - 2*f. Let s be j(2). Suppose s*w - 16*w + 30 = 0. Is 6 a factor of w?
True
Suppose -40*v = -38*v - 304. Does 9 divide v?
False
Does 34 divide (170/8)/(230/7728)?
True
Suppose -2*p + c + 395 = -p, -1585 = -4*p - c. Does 10 divide p?
False
Let d(o) = 29*o**2 - 3*o + 8. Let u(n) = 28*n**2 - 4*n + 9. Let g(t) = 6*d(t) - 5*u(t). Does 7 divide g(-1)?
True
Let k(n) = -n**2 - 7*n - 7. Let t be k(-7). Let s(b) = -10*b - 5. Let v be s(t). Let u = v - 9. Is 14 a factor of u?
True
Suppose 0 = -3*y - 2*y - 40. Let w(x) be the second derivative of -5*x**3/6 - x**2/2 + 3*x. Does 13 divide w(y)?
True
Let c = 0 + 3. Suppose 0 = c*b - 4*a - 64, 3*a + a = -16. Suppose 4*p + 50 = 5*x, x - p = b - 5. Is x a multiple of 2?
True
Let r be (-175 + -3)/((-2)/4). Let b(j) = 3*j**3 + 14*j**2 + 10*j. Let g be b(-4). Is (-3 - -1)/(g/r) a multiple of 14?
False
Is (5 - -2)*-27*(-22)/77 a multiple of 8?
False
Let u(a) = 3*a**2 + 22*a - 78. Does 20 divide u(-16)?
False
Let t(k) = k**3 + 3*k**2 + 11*k - 65. Does 109 divide t(13)?
False
Let i(p) = 9*p**2 - 6*p - 1. Let n be i(-1). Let m = n - -34. Is m a multiple of 13?
False
Suppose -2*q + 5*m + 10 = 3*q, 5*q - m - 18 = 0. Suppose h + 194 = 5*h - 2*o, q*o = h - 66. Is h a multiple of 23?
True
Let p be (-4)/(-6) - 8/(-6). Does 12 divide 80/(p - (4 - 3))?
False
Let o(k) = k**3 + 11*k**2 - 7*k + 6. Let g be o(-9). Let f = 434 - g. Does 29 divide f?
True
Let o be (-95)/20 - 9/(-12). Let h be 5 + (o/(-4) - 0). Suppose 0*z + h*z - 468 = 0. Does 12 divide z?
False
Let v(d) = 3*d**2 - 4*d + 317. Does 56 divide v(0)?
False
Suppose -8*z - 2 + 18 = 0. Suppose 3 = -z*k + 45. Does 3 divide k?
True
Let w = 67 - 63. Is (-1)/2 + (-579)/(-6) + w a multiple of 11?
False
Suppose -3*t - 3*x + 4*x + 425 = 0, x - 421 = -3*t. Let s = t + -97. Is 14 a factor of s?
False
Let p(d) be the first derivative of d**4/4 + 5*d**3/3 - 4*d**2 + 13*d + 4. Let f be p(-7). Let l = 74 + f. Is 19 a factor of l?
False
Suppose -2*s - v = -1582, 0 = -7*v + 9*v + 8. Is 20 a factor of s?
False
Let b(u) = 5*u - 9. Suppose i = 5*l - 34, 2*l + 4*i - 3*i - 8 = 0. Let c = l - -2. Does 10 divide b(c)?
False
Let j(x) = -5*x. Let d(a) = -6*a - 1. Let m(n) = -6*d(n) + 7*j(n). Let k be m(-6). Suppose k = 5*p - 6*p + 21. Is p a multiple of 7?
True
Suppose -4*g + 10 = -6. Let f = -9 + g. Is 32 a factor of (4/f)/(4/(-450))?
False
Let s = 395 - 124. Is 26 a factor of s?
False
Let d(g) = 44*g + 76. Is d(5) a multiple of 37?
True
Let h = 8 - -224. Does 96 divide h?
False
Suppose -15*d = -40791 + 10041. Does 24 divide d?
False
Suppose 0*l - 3*l - 3*y + 6 = 0, -13 = 4*l - 3*y. Is l/4 + (-12114)/(-72) a multiple of 28?
True
Let t(o) = -o**3 - 8*o**2 - 7*o + 5. Let a(v) = v - 1. Let s be a(-6). Let j be t(s). Suppose 2*y - 51 = 3*l, -4*l - 138 = -j*y - 0*l. Is 13 a factor of y?
False
Let f(b) = -69*b**3 + 3*b**2. Let j be f(1). Let s = -38 - j. Does 4 divide s?
True
Let w be (56/(-5))/(2/95). Is 11 a factor of ((-6)/4)/(21/w)?
False
Suppose 4*c = -3*x + 14590 - 831, 3*x = -3*c + 13758. Is 35 a factor of x?
True
Let h(m) be the first derivative of 5*m**2 - 29*m + 27. Is 6 a factor of h(5)?
False
Let l = -911 - -1283. Is l a multiple of 31?
True
Suppose -4*c - w = -1755, 7*w - 1743 = -4*c + 10*w. Is 73 a factor of c?
True
Let h(c) = -4*c**3 - c - 2. Let o be h(-1). Suppose z - 3*d = -1 + 3, 12 = 3*z - o*d. Suppose 2*j + 4 + 2 = 0, 4*g = z*j + 251. Is 27 a factor of g?
False
Let t(k) = 6 - 7 - 2 - 15*k. Let g be (5 - 2) + -2*3. Is 14 a factor of t(g)?
True
Let b(v) = 15*v + 12. Let o(f) = -14*f + 1. Let c be o(-1). Let s be ((-9)/3)/((-9)/c). Is b(s) a multiple of 12?
False
Suppose -1229*n - 1228 = -1233*n. Is n a multiple of 6?
False
Let f(y) = 61*y**2 - 44*y - 7. Does 21 divide f(5)?
False
Suppose 0 = a + 3, 4*a - 2*a - 1902 = -4*w. Is w a multiple of 10?
False
Suppose 4*s + 2*z + 2714 - 11742 = 0, 0 = 5*s - 3*z - 11274. Does 48 divide s?
True
Let z(v) = 57*v**2 - v + 1. Let t(f) = -f**2 - 8*f + 11. Let x be t(-9). Let s be z(x). Suppose 0 = 5*w - s + 37. Is 19 a factor of w?
True
Suppose 0 = 7*j + 369 - 2763. Is j a multiple of 38?
True
Suppose -12379 = -16*l - 1627. Is l a multiple of 24?
True
Let u be ((-18)/(-21))/(8/28). Suppose -2*v = -u*g + 97, g - 2*v - 29 - 2 = 0. Is g a multiple of 9?
False
Let s = 338 - 282. Is 7 a factor of s?
True
Let t = 19 + -19. Suppose 1 = -r + d, -8 = -t*r + 2*r + 4*d. Is r/(-14) - 335/(-7) a multiple of 14?
False
Let s(b) be the third derivative of 11*b**5/60 + b**4/24 + b**3/2 - 3*b**2. Is 11 a factor of s(-3)?
True
Suppose 0 = 5*b + 5*m - 45, -3*b - 4*m = -13 - 14. Let y(z) = -z**3 + 10*z**2 - 5*z - 8. Is y(b) a multiple of 3?
False
Let x(n) = 2*n + 159. Let b = -74 + 74. Is 18 a factor of x(b)?
False
Let n(t) = -t + 2. Let h(x) = 52*x + 13. Let c(g) = -h(g) - n(g). Does 20 divide c(-5)?
True
Let z(i) = 5*i + 92*i**2 + 17*i**2 - 4*i. Let k be z(-1). Suppose 3*t - k = -12. Does 12 divide t?
False
Let v = 150 - -115. Is v a multiple of 27?
False
Let u(h) = h**3 + 14*h**2 + 8*h + 3. Let k be 6/(-16) + (-465)/40. Is 22 a factor of u(k)?
False
Let w = 18 - -30. Suppose -2*k - w = -n + 99, 0 = 4*n + 2*k - 598. Does 12 divide n?
False
Let h(g) be the second derivative of g**6/120 - g**5/30 + 5*g**4/24 - g**3/2 + 4*g**2 + 3*g. Let b(l) be the first derivative of h(l). Is 25 a factor of b(5)?
False
Let d be (-16)/12*(-3)/2. Let n = d + 40. Does 7 divide n?
True
Let l(p) = -p**2 - p + 5. Let j(t) = -1. Let f(n) = 5*j(n) - l(n). Is 10 a factor of f(7)?
False
Suppose -2*g - s + 2164 = 0, -3*g - 21*s = -26*s - 3220. Is 6 a factor of g?
True
Let u be (4 - -504)/(-4) - 4. Let o = 73 - u. Is 34 a factor of o?
True
Suppose 2*j = -h + 6*h - 1358, -5*h + j + 1359 = 0. Is h a multiple of 16?
True
Is 4 a factor of -610*((-2)/5)/((-92)/(-115))?
False
Let w = -1584 - -2550. Does 46 divide w?
True
Let n = 6 - 4. Suppose -4*v = -2*v - 5*g + 6, 0 = -5*v + 5*g. Suppose n*k + 2*u - 96 = 0, u = -5*k - v*u + 234. Does 9 divide k?
True
Let x(m) = m**2. Let p(k) = k**3 + 10*k**2 - 3*k + 5. Let r(w) = p(w) - 5*x(w). Does 4 divide r(-5)?
True
Let g(m) = -5*m - 21. Suppose 2*r = r - 6. Does 3 divide g(r)?
True
Let q = -37 + 40. Let w(g) = 4*g**2 - 8. Is w(q) a multiple of 7?
True
Let a = 17 + 58. Suppose -a = -4*o - 19. Is 9 a factor of o?
False
Suppose 5*d - 9 = -k + 20, 3*k = 3*d - 21. Is (-5)/(4/30 + (-2)/d) a multiple of 2?
False
Let z(m) = -2*m + 14. Let h be z(-7). Suppose 5*r - h = 62. Is r a multiple of 9?
True
Let m = 20 - 18. Let w be -1 + 2*m/4. Let v = w + 11. Does 2 divide v?
False
Suppose 8*v - 34 = 7*v. Let a be v/8 + (-11)/4