 be o(-5). Let f = h + -41. Is 10 a factor of f?
False
Let o(t) be the second derivative of t**6/120 - t**5/12 + 5*t**4/24 + 5*t**3/6 - 17*t**2 + 9*t. Let g(j) be the first derivative of o(j). Does 5 divide g(5)?
True
Suppose -1152663 = -123*x + 539131 - 410872. Is x a multiple of 64?
False
Let g(r) be the third derivative of r**6/120 + 7*r**5/60 + 5*r**4/24 - 7*r**3/3 + 21*r**2. Let a be g(-5). Suppose -7*p - 832 = -a*p. Does 26 divide p?
True
Suppose -5*y = -2*y - 2*z - 2, 2*z + 2 = 5*y. Suppose 3*g - 4*w - 1208 = y, 3*w - 2022 = -5*g + w. Is g a multiple of 12?
False
Does 33 divide (14396/(-610))/((-2)/240)?
False
Let n(x) = x**3 - x**2 - 2*x + 5. Let a be n(-3). Let j be -1*5*((-2280)/a)/(-6). Suppose y = -4*c + 3*y + j, -3*c - y = -62. Is 10 a factor of c?
True
Suppose 4*z - 371 - 13 = 0. Let y = z + -70. Suppose -y = -2*x + 172. Is x a multiple of 9?
True
Let l = -5859 + 11821. Does 11 divide l?
True
Let j = 211 + -208. Suppose -v = -p + 229, v - 434 = -2*p - j*v. Is 61 a factor of p?
False
Does 163 divide 9780/36*(0 - -15)?
True
Suppose 2*m = -5*p + 19, -2 = -0*m - m. Let y(d) = 5*d**2 + 0*d**2 + 10*d - 6 - 10 - 6 + 3*d**2. Is y(p) a multiple of 8?
True
Let n be (-1)/(3 + (-300)/99). Let a(z) = 7*z + 9*z - 41 + n. Is a(3) a multiple of 11?
False
Let c be -9 + (-18 + 13)/(0 - 1). Let v(h) = -39*h - 23. Is v(c) a multiple of 6?
False
Suppose -19 = -3*j + 4*v - 8*v, -2*v + 11 = 3*j. Let y be 1/2*(-2 + j)*-6. Suppose y*m - 216 = 387. Is m a multiple of 26?
False
Let z(f) = f**3 + f**2 - 4*f + 16867. Is z(0) a multiple of 132?
False
Suppose 91 = n - 3*u + 22, 0 = -5*n - 4*u + 345. Let c = 251 - n. Is c a multiple of 11?
False
Suppose -21*h + 18*h = -18. Suppose 0 = h*g - 1 - 5. Is 5 a factor of (-98)/(-21) + g/3?
True
Suppose -32468 = -24*w + 102028. Suppose b - 4*a = -8*a + 1125, -5*b + w = -a. Is b a multiple of 19?
True
Let k(f) = 5*f**2 - 50*f - 32. Let w be k(13). Let g(j) = j**3 + 5*j**2 + 2*j. Let o be g(-6). Let c = o + w. Is c a multiple of 39?
False
Let l be (-1)/((-10)/20) - -2*29. Suppose 0 = 2*f - 8, -3*f + l = 5*t - 27. Does 9 divide t?
False
Suppose -u - 5*k = -4*u - 14, 8 = -2*u + 3*k. Suppose -5*b + 11 = u*i, -i - 3*i + 10 = -2*b. Suppose -i*m + 148 = m. Is m a multiple of 4?
False
Is ((-358804)/140 - (-2)/7)/((-32)/160) a multiple of 30?
False
Let v(j) = -j**3 - 3*j**2 + 3*j - 13. Let z be v(-4). Does 15 divide -36*z/135*(-250)/(-2)?
True
Let l(t) = -2*t**2 + 30*t + 19. Let j be l(15). Let a be (1 - -1)*38/j. Suppose 0 = -5*q + 3*s + 271, 50 = -a*q + 3*s + 268. Does 6 divide q?
False
Let j = -44338 + 72145. Does 13 divide j?
True
Suppose 4777 + 6698 = 15*a. Is a a multiple of 9?
True
Let i = 273 - 269. Suppose -18*s = i*s - 4686. Is s a multiple of 10?
False
Suppose -2*h + 3*d = -14, 0*d + 2 = d. Suppose -40*a - h = -42*a. Suppose -7*t + a*p + 760 = -2*t, 3*t + 5*p - 488 = 0. Is 13 a factor of t?
True
Suppose 12*l = -3*p + 9*l + 18, -p - 2 = -l. Is ((-1603)/(-14) - 5)/(p/4) a multiple of 25?
False
Suppose -180*y + 177*y = -18, 0 = -4*d - 2*y + 5772. Is 32 a factor of d?
True
Suppose -82 + 1426 = -6*h. Let n = 134 + h. Let s = 18 - n. Is 27 a factor of s?
True
Let o(s) = 117*s - 56. Let j be o(4). Suppose j - 16 = 9*u. Does 22 divide u?
True
Let m = -229 + 237. Let b(w) = 3*w**3 - 10*w**2 - 8*w - 18. Is b(m) a multiple of 74?
True
Suppose 7 = n - u, n - 2*u - 4 = 7. Let r be (-20)/n + 6 + 2/3. Is 42/(r - -3) - -2 a multiple of 8?
True
Let s be 29 + 1*(0 - -3). Let r = 3 + 151. Suppose 0 = -2*t + r - s. Is 29 a factor of t?
False
Let y(s) = -s + 10. Let c be y(8). Suppose 4*r = 4, -r = -4*x + c + 9. Suppose 4*j = -x*j + 140. Does 14 divide j?
False
Let z = 77726 - 46444. Is 23 a factor of z?
False
Suppose -n = -6 - 0. Suppose 0 = -3*t + 3 + n, -4*t = -5*d + 2278. Suppose -3*k - d = -4*r, 4*k = 4*r - 0*k - 456. Is r a multiple of 15?
False
Suppose -6*b = 6*b + 180. Let i be (300265/b)/(-7) - (-1)/3. Suppose -6*h + i = 1024. Is h a multiple of 17?
True
Let k(a) = -51*a - 1 - 20*a + 4 - 5. Is 7 a factor of k(-1)?
False
Let q = -817 - -101. Let t = q + 735. Does 4 divide t?
False
Is (15 + (-93)/6)*-12476 a multiple of 112?
False
Let r be 98778/16 + (-3)/(-8). Is 51 a factor of (-6)/(-9)*r/12 + -1?
False
Let c = -18302 + 25867. Does 92 divide c?
False
Let i(y) = -530*y + 25. Let r be i(-3). Suppose -r = 11*a - 16*a. Is 25 a factor of a?
False
Suppose -22 = 4*z - 182. Suppose 0 = 3*f - 3*v + 120, v = -2*f - z - 55. Let u = 49 + f. Is 3 a factor of u?
False
Suppose 3*r + 4*r + 2163 = 0. Let y = r + 544. Does 7 divide y?
False
Let n(c) = -11 + 10 + 4*c - 98. Is n(26) a multiple of 3?
False
Suppose -4*k + 202 = w - 1932, 3*w - 3*k = 6387. Is w a multiple of 30?
True
Let v be (-12 - 14/(-2)) + 11. Does 15 divide (-41)/(-7 + 12 - v)?
False
Let z(u) = 37*u**2 + 20*u - 63. Does 4 divide z(4)?
False
Let i be (-4 - -3)*1 + 5. Suppose -4*c + 0*l = i*l - 1384, -5*c + 1780 = -5*l. Is c a multiple of 27?
True
Let u = 64 + -74. Let s be 1194/u - 2/(-5). Let l = 23 - s. Does 11 divide l?
False
Let y = 8371 + -6824. Does 6 divide y?
False
Suppose 0 = -4*i + 2*l + 170, i + 3*i + 4*l - 200 = 0. Suppose -52*j = -i*j - 378. Does 6 divide j?
True
Suppose -72*u = 16*u - 104544. Is 44 a factor of u?
True
Suppose 0 = n + 2*y - 9161, 820*n - 819*n = -5*y + 9158. Is n a multiple of 49?
True
Let w = -37 - 73. Let q = w + 114. Suppose z = -7*r + 3*r + 84, q*r = -5*z + 420. Does 21 divide z?
True
Let o = -72 - 124. Does 9 divide 2/(-7) + (-42392)/o?
True
Let u(z) = z**3 - 2*z**2 - z + 11. Let v be (-1)/4 - 13/(-52). Let j be u(v). Let k(t) = -t**3 + 13*t**2 - 11*t. Does 25 divide k(j)?
False
Let w be (-7)/(-3) - -1 - 35/105. Let a(p) = p**3 + 0*p**w + 0*p**3 + p - 1 - 6*p**2 + 0*p**3. Is a(6) even?
False
Let k(t) = -493*t - 87. Let f be k(-2). Suppose 4*x = l - 365, 4*x = -3*l + f + 244. Is 6 a factor of l?
False
Suppose 4*b = 10*b + 36. Does 8 divide 12*(130/15 + b)?
True
Let s = -1853 + 10900. Is s a multiple of 75?
False
Let i(j) = 6*j**2 + 99*j - 33. Let l(o) = 4*o**2 + 66*o - 22. Let y(u) = 5*i(u) - 8*l(u). Is 27 a factor of y(-14)?
True
Let i = 19151 - 9363. Is 14 a factor of i?
False
Is 9 + 9 + -13 - -1831 a multiple of 3?
True
Let g(o) = -37 + 16*o - 2*o - 111. Is g(25) a multiple of 3?
False
Let u(a) = -87*a + 2029. Does 8 divide u(19)?
True
Suppose 0 = n - 2*a - 10, n + 2 = -2*a - 0. Suppose n*y = 12, -2*v + y - 173 = -0*y. Let m = v - -190. Does 15 divide m?
True
Does 35 divide 140/(2 + -2 + 0 - (-17)/68)?
True
Let i(h) = 4*h**2 - 157*h + 41. Let o be i(39). Suppose s = 51*c - 55*c + 3124, o*s = 3*c - 2332. Does 10 divide c?
True
Let g(s) = -s**3 - 7*s**2 - 13*s - 6. Let p be (14/28)/(1/(-2)). Let q(h) = -h + 1. Let u(l) = p*g(l) + 5*q(l). Is 4 a factor of u(-5)?
False
Suppose -2752 = -9986*k + 9984*k. Is k a multiple of 16?
True
Does 13 divide (((-39)/(-2))/1)/((-123)/(-11152))?
True
Suppose 36 = -4*c + 4*t, -c - 18 = 3*t - 7*t. Is 148/c*(2 - 38/4) a multiple of 42?
False
Suppose 5*u - 17 = -7. Suppose -5*j + 300 = 5*m, 3*j = -2*m - u*m + 235. Suppose 6*d - m = d. Does 3 divide d?
False
Suppose -31*t + 10769 = -27*t + 5*m, 20 = 4*m. Is 79 a factor of t?
True
Let q = -17 - -14. Let x be 12/36 + (-140)/q. Let m = x - 19. Is m even?
True
Let v(o) be the third derivative of -o**6/120 - 13*o**5/60 - 7*o**4/24 + 17*o**3/6 - 8*o**2. Let t be v(-13). Suppose -18 = -7*h + t. Does 3 divide h?
True
Suppose 0 = 5*y + 2*c + 4790, -2*y = -0*y - 4*c + 1916. Let j = y + 1404. Is j a multiple of 46?
False
Suppose -3*h - 3*r = -42, h - 1 = -5*r + 1. Let t(n) = -n**3 + 19*n**2 - 10*n + 34. Is 17 a factor of t(h)?
True
Suppose -3*r + 1489 = -s, 12*s = 11*s + 2. Suppose 643 + r = 10*a. Is 38 a factor of a?
True
Let k(p) = -16*p**3 + 7*p**2 - 12*p - 18. Let g(b) = -15*b**3 + 6*b**2 - 12*b - 17. Let v(r) = 3*g(r) - 2*k(r). Does 35 divide v(-3)?
False
Does 7 divide (-1775)/(-710)*(4288 + 0)?
False
Let q = 7848 + -1181. Is 59 a factor of q?
True
Let o(z) = 8*z + 7. Let r be o(-2). Let a be (5*4/10)/((-6)/r). Suppose -a*v = 3*x - 42, 0 = 2*v - 2*x - 8 - 36. Does 9 divide v?
True
Let p(a) = a + 60. Let x(j) = -2*j - 178. Let m(y) = -8*p(y) - 3*x(y). Let o(w) = -w**2 + 6*w - 17. Let h be o(5). Is m(h) a multiple of 6?
True
Suppose 14*j + 14604 = 94964. Does 41 divide j?
