pose -2*g - 40 = -4*g + 2*h, -r*g + 76 = -2*h. Does 4 divide g?
False
Does 20 divide ((-66)/(-4))/((-8)/(-16))?
False
Let r(i) be the third derivative of i**7/5040 + i**5/12 + 2*i**2. Let w(s) be the third derivative of r(s). Is 3 a factor of w(7)?
False
Suppose 2*d - 5*w - 18 = 14, w - 20 = -2*d. Let l be d/6 - (-2)/12. Is (4 - 82)*(-1)/l a multiple of 13?
True
Let c = 885 - 605. Is 9 a factor of c?
False
Let s be (-5)/4 - (-42)/(-56). Let m be (s - 0)*(-13 - 3). Suppose 50 = 2*y - m. Is y a multiple of 21?
False
Let r(k) = 2*k + 44. Let q = 77 + -73. Is 26 a factor of r(q)?
True
Let s = 2 - -3. Suppose 5*k - 2*g = 33, -k + s*g = k - 30. Suppose -3*r + 5*p + 95 = 2*r, 2*p = k*r - 92. Is r a multiple of 9?
True
Suppose -d = -352 - 248. Is d a multiple of 40?
True
Let o(c) = -15*c - 3. Let n be o(-2). Suppose -2 = -r + n. Suppose a - r - 19 = 0. Is 15 a factor of a?
False
Let l(c) = -c**2 - c + 120. Let b be l(0). Let j = -44 + b. Does 19 divide j?
True
Let j(z) = 4*z**2 - 14*z - 3. Let b be j(5). Let o = b - 2. Is 18 a factor of o?
False
Let j(c) = -9*c + 19. Let u be j(6). Let q = -16 - u. Does 5 divide q?
False
Suppose -3*w + 0*v - 4*v - 75 = 0, w - 5*v = -44. Let a = -16 - w. Is a a multiple of 4?
False
Let y be 3 + (-1)/3*-33. Let v be 4/y*56/8. Suppose -1 - 4 = -5*x - 3*j, 2*j = -3*x + v. Is 4 a factor of x?
True
Let w(f) = -10*f + 1. Let x(q) = -q**2 - q + 2. Let y be x(3). Does 13 divide w(y)?
False
Suppose -9*x + 1059 + 5016 = 0. Does 17 divide x?
False
Let w be 4/6 - (-5)/15. Let f be (0 + -6 + 3)*w. Let c(y) = -2*y**3 + 2*y**2 + 4*y + 4. Is c(f) a multiple of 18?
False
Suppose -3219 = -11*r + 55587. Is r a multiple of 27?
True
Let q(o) = 58*o - 4. Is q(1) a multiple of 9?
True
Suppose -21 = -0*o - 3*o - 4*c, -3*o + 21 = 5*c. Is 6 a factor of (1 + o)*54/12?
True
Let p = 218 - -293. Is p a multiple of 23?
False
Let b be 511/(-14)*2*-2 + -2. Let r = b - 34. Does 30 divide r?
False
Let n(g) = g**3 + 10*g**2 + 10*g + 11. Let a be n(-9). Suppose a*l = 5*l - 48. Is l a multiple of 3?
False
Suppose 0*x - 17 = -x + 3*c, -5*x + 20 = -2*c. Is 23 a factor of ((-4)/6)/(x - 416/207)?
True
Let u(c) = c**2 - 2*c + 34. Let f(l) = 62 - 2*l + l - 61. Let r be f(1). Is 21 a factor of u(r)?
False
Suppose c - 4*r - 159 = 0, -2*c - r = -2*r - 339. Let n = c - 118. Is n a multiple of 5?
False
Let i be (-10)/2*30*(-8)/5. Suppose -i = 51*x - 56*x. Does 16 divide x?
True
Let r(t) = 38*t**2 - 14*t + 50. Is 18 a factor of r(5)?
False
Suppose 15 = z - 6*z. Let b = z + 25. Is b a multiple of 11?
True
Let g(l) be the first derivative of -l**4/4 - 8*l**3/3 + 5*l**2 + 12*l + 7. Let h be g(-9). Suppose -h*w + 26 = -w. Is w even?
False
Does 11 divide (-56)/(-112) - (-115)/2?
False
Is ((-513)/114)/((-1)/46) a multiple of 3?
True
Is 8 a factor of (-8650)/(-45) - (-14)/(-63)?
True
Let q = 831 + -239. Is q a multiple of 16?
True
Suppose 1682 - 1842 = -f. Is 66 a factor of f?
False
Let a = -7 + 9. Suppose -f = -a - 1. Suppose -f*w + 13 = -5. Is 2 a factor of w?
True
Let x = -45 + 225. Is 5 a factor of x?
True
Suppose -4*d = -4*i, 5 = -2*d - 3*i - 0. Let b be d*1 - (10 + -5). Let j = b + 32. Is 13 a factor of j?
True
Let q be (-40)/6*114/4. Let g = q - -316. Is g a multiple of 7?
True
Let z(i) = -9*i - 7*i**3 - 3 - 4*i**2 + 15*i + 3*i**3. Let k be z(2). Does 8 divide 2/(-13) + (-1293)/k?
False
Let u(s) = -s**2 + 10*s - 11. Let t be u(8). Suppose 0 = -h - d + 10, 3*d - 4*d - 32 = -t*h. Let z(m) = m**2 - 4*m - 7. Is z(h) a multiple of 7?
True
Is 6 a factor of (-252)/(-3 + 2)*1?
True
Let h be 8/(-4) - (1 - 3). Suppose h = 2*k - 4*k + 10. Suppose 67 = -3*u + 4*u - k*g, -71 = -u + g. Is 23 a factor of u?
False
Let s(m) = m**3 + 6*m**2 + 3*m - 7. Let n be s(-5). Let y(r) = 2*r - r**n + 10 - 7*r - 8*r**2 - 2*r. Is 6 a factor of y(-7)?
False
Let a be (36/(-16))/((-3)/4). Suppose -298 = -4*j - 2*z, 0 = a*z - 0*z + 9. Is 25 a factor of j?
False
Suppose 3*l = -u + 238, 2*l - 5*u + 84 = 3*l. Let i = 152 - l. Does 20 divide i?
False
Let l = -337 + 364. Is l a multiple of 6?
False
Is ((3 + -2)/(-1))/(4/(-128)) even?
True
Let n(l) be the second derivative of l**5/2 - l**4/4 + l**2 - 3*l. Is n(2) a multiple of 35?
True
Suppose -5*p + 77 = -4*q - 27, 0 = -3*p. Let k = q - -35. Is k a multiple of 2?
False
Is (7 + -49)*422/(-12) a multiple of 47?
False
Let l(i) = 3*i**3 + i**2 - 6. Let d(v) = -v**3 - v - 1. Let o(t) = 4*d(t) + l(t). Is o(-3) a multiple of 19?
True
Let z(j) = -261*j**3 - 3*j - 2. Does 2 divide z(-1)?
True
Suppose -n - n - 10 = 0. Let g(a) = -a**2 - 7*a - 4. Let p be g(n). Suppose -p*f + 42 = -4*f. Is f a multiple of 15?
False
Is 2 a factor of 5/20 + (-3225)/(-12) + -1?
True
Let s = 401 - 240. Does 48 divide s?
False
Suppose -4*s + 2*s + 6 = 0. Suppose -2*h = -8, s*u - 2*u - h + 48 = 0. Let o = -30 - u. Is o a multiple of 14?
True
Let d = 28 + -25. Suppose -n = -0*n - d. Let k(w) = 4*w**3 - 3*w**2 + 5*w - 4. Does 17 divide k(n)?
False
Let r be 7*7/196 - 131/(-4). Suppose 32*p + 30 = r*p. Is p a multiple of 15?
True
Let b = -1088 + 1376. Does 4 divide b?
True
Let v(x) = -x**3 + 18*x**2 + 2*x - 12. Let n be v(18). Does 16 divide (n/36)/((-2)/(-162))?
False
Does 7 divide 18/8 + 27339/52?
False
Let t be ((-6)/7)/((-12)/672). Is 18 a factor of 24/t*(77 + 1)?
False
Let x(g) = -2*g**3 + 30*g**2 - g + 6. Is 3 a factor of x(13)?
True
Is -4*(0 - -810)/(-10) a multiple of 12?
True
Let a(g) = -g**3 - 17*g**2 - 15*g + 18. Let n be a(-16). Suppose 3*z = -d + 12, 0 = -d - 3*d - z + 92. Suppose n*q + d = 5*q. Does 2 divide q?
True
Does 22 divide ((-4)/40*584)/((-4)/110)?
True
Suppose -5*d + 4*g = 30, 0 = 5*d + 3*g - 1 - 4. Is 18 a factor of 2 + d - (0 - 54)?
True
Suppose -2*l - 50 = 112. Is (l + 6)*(0/(-1) + -1) a multiple of 17?
False
Is 4/((-2)/(-2))*(303 + 28) a multiple of 9?
False
Let y be (2/(-4))/(21/14)*-438. Let u = y - 27. Is u a multiple of 17?
True
Let t be (-8)/(-12) + (-185)/(-15). Suppose -f + t + 28 = 0. Is f a multiple of 5?
False
Is 15 a factor of (-2 - (-37)/1)*16080/280?
True
Suppose 4*q + 130 = 2*z, -3*q + 7*q = 4*z - 244. Let x = -3 + z. Suppose t + 3*t - 96 = -4*j, -2*t = -j - x. Is 8 a factor of t?
False
Let t be (-21)/(-14)*(2 + 0). Suppose -t*v = -v + 270. Let y = v + 195. Is y a multiple of 12?
True
Let r(m) = -6*m + 8. Let a be (-6)/(-27) + 116/(-36). Does 9 divide r(a)?
False
Suppose 9 = 2*z - z - 5*g, -5 = 5*g. Suppose z*l - 4*y - 272 = 0, -4*l - 3*y + 269 = -6*y. Is 8 a factor of l?
False
Suppose 4047 = 4*n + 5*s, 12*s = 3*n + 14*s - 3030. Does 21 divide n?
True
Let n be 8/(-2) + 29 + 12. Suppose x + 29 = s + s, 2*s + n = -x. Does 10 divide ((-682)/x)/((-4)/(-6))?
False
Suppose -229 = -s + 2*j, -904 = -11*s + 7*s + 2*j. Is 12 a factor of s?
False
Let h be (5/(5/(-2)))/((-3)/39). Suppose -h - 14 = -2*n. Is 5 a factor of n?
True
Is 91 a factor of (-8)/6 - (-4950)/27?
True
Let l = -364 - -207. Let k = -61 - l. Does 8 divide k?
True
Let u(h) = -h - 13. Let d be u(7). Let o = -15 - d. Suppose 2*i - 12 = o*f + 40, -5*i + 68 = 3*f. Is 8 a factor of i?
True
Suppose 9 = 4*l + 1. Let z = 15 - l. Suppose -z + 37 = 2*h - 3*d, 3*h - 34 = 5*d. Does 9 divide h?
True
Suppose -3*m + 7 = 1. Let j be m/(-6)*12084/(-19). Is 16 a factor of (-1)/(0 + (-4)/j)?
False
Does 33 divide ((-24)/16 - -2)/(1/924)?
True
Suppose 26600 = 14*v + 2926. Is v a multiple of 17?
False
Let w be -6*(-2)/(-4)*1. Let p be ((-9)/6)/(w/6). Is 3 a factor of (0 + -1)/(p/(-18))?
True
Let l be (-91)/(-2) - (-6)/(-12). Is 13 a factor of 2 + 32/(-18) - (-2915)/l?
True
Suppose -1 = -2*j + j. Let u be (j + 1 + -3)*0. Suppose u = -4*o + 4*d + 244, -5*o + 260 = 4*d - 0*d. Is o a multiple of 14?
True
Suppose 2*l = 34 + 176. Suppose -3*m = 3*a - l, -5*m + 73 = 4*a - 99. Suppose 4*w - m = -0*w - 3*f, 0 = 3*f - 12. Is 3 a factor of w?
False
Let h(q) be the third derivative of q**6/120 + q**5/10 - q**4/24 + 16*q**2. Let c = -5 - 1. Is h(c) even?
True
Let q = 9 + -5. Suppose 2 = 2*h + 4, 3*y + q*h - 44 = 0. Is y a multiple of 7?
False
Let c = -727 + 1252. Is c a multiple of 21?
True
Let l be 2*(-21)/6 - -5. Is l/6 + (-4396)/(-84) a multiple of 17?
False
Let k(u) = 4*u**2 - 6*u. Suppose 2*m - 21 = 2*p + 21, 0 = -5*m. Let f = p + 27. Is k(f) a multiple of 30?
False
Let x = 12 + 1. Suppose 14*t - x*t - 24 = 0. Is t a multip