 + j = 2*h - q. Does 40 divide h?
True
Let d(f) = -f**3 - 15*f**2 + f + 20. Let o be d(-15). Suppose o*l - 29 = -2*y, -4*l - 2*y - y + 26 = 0. Does 5 divide l?
True
Does 13 divide (-33)/(159/(-351) + (-12)/(-54))?
True
Let i be (-4 - (8 - 4))/(-2). Let n(f) be the first derivative of 5*f**2/2 - 2*f + 2. Does 7 divide n(i)?
False
Suppose -4*q + 22 = 2*b + 6, -q - 1 = -2*b. Let f be (2 - 3) + 12/q. Suppose -f*d = -239 + 59. Is 13 a factor of d?
False
Suppose -3*n + 52 + 2 = 0. Suppose -s + 15 = n. Is 15 a factor of (-4 - s)*-3 - -37?
False
Let m be (3*-2)/(4/(-62)). Suppose 15 = -3*y - m. Let c = -18 - y. Is c a multiple of 9?
True
Suppose 0 = -u + i + 12, 2*u - 2*i - 22 = i. Suppose -6*j = -u*j + 168. Does 4 divide j?
False
Suppose 78*k - 68*k - 16720 = 0. Is k a multiple of 17?
False
Let o = -12 + 12. Suppose o*k = -k - 3*r + 64, 3*k = 3*r + 228. Is k a multiple of 11?
False
Let p(v) = v**3 - 5*v**2 - 12*v - 14. Let u be p(7). Suppose 5*z = -3*r - u*r + 1498, z - 322 = 5*r. Is 27 a factor of z?
False
Suppose 4*y - 3*c - 16 = 12, 3*c + 8 = 2*y. Let u be -1*(y - (-1 + 4)). Does 16 divide 62 + (-7)/(u/2)?
True
Let n be 3/4 - 75/20. Let b be (-3)/((-3)/(-6)*n). Suppose -b*z + 4*z - 50 = 0. Is 6 a factor of z?
False
Suppose 14742 = -263*g + 272*g. Does 13 divide g?
True
Is 16 a factor of (54/(-8) - 2/(-8))*-8?
False
Let z(q) = 3*q - 51. Let j be z(18). Suppose -j*u = -199 + 64. Is u a multiple of 8?
False
Let f(v) = -6 + 4*v - 2*v - 5*v. Let n be f(-3). Suppose 9 = n*t, 4*t - 51 = 3*j - 6*j. Is 4 a factor of j?
False
Let h = 103 - 191. Let c = h - -90. Is c even?
True
Let u = 709 + -335. Suppose 6*c = -u + 1784. Is 31 a factor of c?
False
Let a(w) = 2*w - 13 + 19*w + 4 - 3*w. Let c be a(15). Suppose 3*p - c = 3*u + 12, 0 = -4*p - 4*u + 396. Is p a multiple of 24?
False
Does 6 divide (426 + 1)*4/6*3?
False
Let i = -1 - 0. Let p = 44 + -48. Is (p + 1)*i*7 a multiple of 16?
False
Let l = 30 + 106. Let z = 237 - l. Is z a multiple of 11?
False
Suppose 73*b + 336 = 69*b. Is (0 - b)*(1 + (-8)/24) a multiple of 16?
False
Let m(a) = 2*a**2 + 11*a - 13. Is 2 a factor of m(4)?
False
Let g(t) = 28*t**2 - 9*t + 16. Is 9 a factor of g(2)?
False
Suppose 611 = 2*f - l, 4*f + 5*l - 1225 = 4*l. Is f a multiple of 51?
True
Let t = 25 - 19. Suppose k - 4 = -n, t*k - 2*k + 2*n = 16. Suppose 0 = k*a - 0*a - 196. Is a a multiple of 31?
False
Let h = -1 + 4. Let x(w) = 23 + 6*w + 8*w**2 - 4*w**2 - h*w**2. Does 15 divide x(-10)?
False
Let p(f) = -262*f - 2. Let t be p(-1). Suppose 0 = -5*y - 2*c + 434, 3*c - 4*c + t = 3*y. Is y a multiple of 10?
False
Let s = 42 + -37. Suppose -2*r = -s*p - 52, 0 = -10*r + 5*r + 3*p + 149. Is r a multiple of 14?
False
Let g = 844 - 466. Is 27 a factor of g?
True
Suppose -2*m + 2*z = -20, 3*z - 7 = -5*m + 3. Suppose m*n - 117 = -17. Is 5 a factor of n?
True
Suppose -3*x + 5055 = -23*g + 28*g, -x - 5035 = -5*g. Does 7 divide g?
True
Let n = 1108 - 618. Is n a multiple of 35?
True
Let l = 161 + -269. Let f = l - -180. Is f a multiple of 8?
True
Suppose -3*r - 4*u = -116, -2*u = -4*r - 0*u + 162. Suppose -r*a + 36 = -37*a. Does 9 divide a?
False
Let r(s) = -s - 1. Let l be r(-1). Suppose l = v + 5*v - 384. Is 16 a factor of v?
True
Suppose 5*q + 4*r = -65 + 225, -5*q + 3*r = -160. Suppose -q + 262 = 2*d. Is d a multiple of 14?
False
Let l(c) be the second derivative of -7*c**3/2 - 7*c**2/2 + 26*c - 2. Is 26 a factor of l(-9)?
True
Let i(j) = 5*j**2 - 21*j + 7. Is 21 a factor of i(7)?
True
Suppose -4*i = 3*w - 10, 0 = -5*w - 5*i + 1 + 19. Suppose 0*z = z - w. Does 8 divide -5 + z/3 - -30?
False
Suppose -5*y + 2*q + 735 = 6*q, 0 = 4*q - 20. Let h = 201 - y. Is h a multiple of 9?
False
Suppose -5*s + 2404 = -4*d, 8 = 2*d - 0*d. Is 9 a factor of s?
False
Let p be ((-3)/3)/(((-1)/139)/(-1)). Let s = -118 - p. Does 3 divide s?
True
Suppose 4*q = 5*q + i - 264, 5*q - 1320 = i. Is q a multiple of 44?
True
Let s = 14 + 54. Suppose -5*w = c + 454, -w - s = -3*c + 26. Let b = w - -135. Is b a multiple of 11?
True
Let r = 0 - 0. Suppose -w = j + 4*w - 24, -w = -5*j + 16. Suppose r = j*g - 14 - 34. Is 4 a factor of g?
True
Let z(u) be the third derivative of 0 + 7*u**2 - 1/15*u**5 + 0*u + 0*u**3 - 5/24*u**4 - 1/60*u**6. Is 21 a factor of z(-4)?
True
Let f = 0 - -92. Suppose -5*x = -173 - f. Is 10 a factor of x?
False
Let a = 1392 + -944. Is 17 a factor of a?
False
Suppose 5*u = -4*y - 0*u + 5, 0 = -2*y + u + 13. Suppose -2*g - 271 = -5*o - g, 0 = -4*o + y*g + 221. Is o a multiple of 9?
True
Suppose -7*c + 2128 = 9*c. Does 26 divide c?
False
Let t be 52/6*9/(-3). Is 15 a factor of (t/(-65))/((-2)/(-830))?
False
Suppose -5*m + 2 = -218. Suppose -5*y + 2*i - 4*i + 169 = 0, -3*i - m = -y. Is y a multiple of 5?
True
Let b(u) be the first derivative of -1/4*u**4 + 8*u**2 - 10*u - 7 + 13/3*u**3. Does 18 divide b(14)?
True
Let p(w) = w**2 - 6*w - 11. Let k be p(8). Suppose 0 = 4*v + v + k. Is 31 a factor of ((-18)/(-7))/(v/(-14))?
False
Let k(c) = -c. Let q(w) = w**3 - 10*w**2 - 25*w + 1. Let i(y) = 6*k(y) - q(y). Does 24 divide i(11)?
False
Suppose 5*x = -3*w - 72, -3*w + 0*w = -3*x - 48. Let p = x + 20. Suppose -p*r = -k - 2*r + 27, -4*r = 4*k - 188. Is k a multiple of 18?
False
Let q = -20 - -92. Suppose -3*z - q = -4*v, -3 = 4*v + 5*z - 75. Does 6 divide v?
True
Suppose 0 = 7*r + 24*r - 27528. Is 12 a factor of r?
True
Let t(q) be the second derivative of 8*q**2 - 1/3*q**3 - 8*q + 0. Is t(-7) a multiple of 15?
True
Suppose 0 = -17*k + 41*k - 46080. Is 15 a factor of k?
True
Suppose 0 = 6*k - 5*k + z - 85, 85 = k + 2*z. Is k a multiple of 5?
True
Let h = 9 + -5. Let w(n) = 1 + 17*n**2 + h*n - 6*n - 15*n**2 + 68*n**3. Is 23 a factor of w(1)?
True
Let a = -1000 - -1936. Is 72 a factor of a?
True
Let r(m) = -13*m**3 - 3*m**2 - 2*m - 1. Let u be r(-2). Suppose 17 = 4*h - u. Does 6 divide h?
False
Let a = -41 + 49. Suppose 38 = 2*o + a. Does 5 divide o?
True
Let n be 84/15 - ((-4)/10)/1. Let c(k) = 12*k + 20. Is 46 a factor of c(n)?
True
Let x = 133 - -23. Let h = 1 - -2. Suppose -f = -2*c + x, h*c + 2*c - 390 = -2*f. Is 13 a factor of c?
True
Suppose -2*r - 25 = -3*r + 4*h, -3*r - 3*h = 0. Does 2 divide r?
False
Let f(z) = z**3 - 13*z**2 + 12*z + 3. Let h be (-172)/(-14) + 2/(-7). Let o be f(h). Is (-4 + o)*(0 + -24) a multiple of 15?
False
Let h(x) = -x**2 + 5*x + 8. Let p be h(7). Let d(m) be the first derivative of -7*m**2 - 4*m + 17. Does 16 divide d(p)?
True
Let h(u) = 3*u**2 - 19*u - 155. Is h(-6) a multiple of 4?
False
Is 3 a factor of (-15141)/(-126) - 2/12?
True
Let i(f) = 21*f**2 - 3*f + 2. Let p be i(1). Let x = p + -38. Let q = x + 25. Is q even?
False
Suppose -2*n = -4*c + 6*c + 24, n - 1 = 0. Let f = c + 25. Let r = 53 - f. Does 9 divide r?
False
Let h = -24 - -23. Let p be 95/((h - 2) + 4). Suppose 6*r + p = 11*r. Is r a multiple of 5?
False
Let o(w) = w**3 + 11*w**2 - 2*w - 9. Let u be o(-11). Let v = 16 - u. Does 13 divide (8/12)/(v/153)?
False
Suppose 6 = 3*p - 0*p. Let x(u) = u**3 - 21*u**2 + 21*u + 25. Let t be x(20). Suppose -t = -5*w + p*w. Is 14 a factor of w?
False
Let l(z) = -z**2 - 18*z - 11. Let w = 34 - 48. Does 6 divide l(w)?
False
Let d = 131 + -83. Suppose 42 = 5*h - d. Let r = h + -12. Is 6 a factor of r?
True
Suppose -135 = 3*y - 585. Suppose y = 2*p - 0*p. Is p a multiple of 18?
False
Let w = 300 - 34. Suppose l + 4*s - w = -0*l, -2*s = -2*l + 582. Is l a multiple of 22?
True
Suppose -11 + 4 = -n. Let v(h) = 2*h**2 - 7*h + 15. Let z be v(n). Is 16 a factor of 2 + 0 + z + -2?
True
Suppose -d = 5*j - 3541, -39*d + 17627 = -34*d - j. Is d a multiple of 69?
False
Suppose 4*i - 2380 = -4*u - 84, -5*i + 4*u + 2852 = 0. Does 52 divide i?
True
Let q(f) = 0*f**2 + 2*f**2 + 3 + 2*f**3 - f - f**3. Let j be q(-3). Does 11 divide (-22)/(-8)*(15 + j)?
True
Let g = -11 + 11. Let z be (-45)/(-3) - (g - -1). Suppose 3*k + 5*b = z, 0 = 3*k + 2*k - 2*b - 13. Is k a multiple of 3?
True
Let f(h) = -8*h. Let i be f(-1). Does 21 divide ((-4)/i)/((-3)/492)?
False
Suppose -3*k + 3*u = 39, u + 11 = -k + 3*u. Let s be 296/(-10) - (-6)/k. Does 7 divide (-108)/(-5) + 18/s?
True
Let q(h) = h**3 - 23*h**2 + 32*h - 508. Is 6 a factor of q(25)?
True
Let i(k) = -19*k - 12. Let n be (-45)/18*(0 + 2). Does 17 divide i(n)?
False
Does 35 divide (202 - 194) + (-32