 multiple of 9?
True
Let h(y) = -y**2 - 2*y - 6. Let x(g) = -g**2 - 2*g - 6. Let u(j) = -7*h(j) + 6*x(j). Let t be u(-5). Suppose t - 120 = -3*r. Does 11 divide r?
True
Does 11 divide 5*-2 + 2184/4?
False
Let l = -10 - -8. Let z be (-2 - -1) + (l - -6). Suppose 5*v = 5*k - 0*v - 70, 34 = z*k - v. Does 3 divide k?
False
Is 32 a factor of (63/(-35) + 1)/((-2)/720)?
True
Let u be (26/3)/(3/9). Let z = -8 + u. Is z a multiple of 3?
True
Let y be 3 - (2 + (-21 - -2)). Let r be -1 + 5/(y/688). Suppose r = 2*a + 35. Is a a multiple of 18?
False
Suppose -4*n - 11770 = -3*o, 7*n + 11815 = 3*o + 12*n. Is 10 a factor of o?
True
Is 24 a factor of (-6)/1 + -4 + 1017?
False
Let c(o) = -43*o + 57. Is c(-13) a multiple of 24?
False
Let i be ((-8)/(-6))/(2/354). Let y = i + -156. Does 16 divide y?
True
Let n(q) = -120*q + 97. Does 17 divide n(-5)?
True
Let l(w) = 14*w**2 - 5*w + 2. Let v be ((-7)/((-7)/2))/(2/3). Is 9 a factor of l(v)?
False
Suppose -k = -27*k + 53820. Is 10 a factor of k?
True
Does 38 divide 2*42/(-24)*6*-38?
True
Let k(i) = 23*i**3 + i + i + 0*i - 1. Let u be ((-18)/(-12))/(3/2). Does 9 divide k(u)?
False
Let j = 33 + -55. Let n = -67 - j. Let v = -32 - n. Does 13 divide v?
True
Let m = -83 + 50. Let g = -15 - m. Is g a multiple of 2?
True
Let p(k) be the third derivative of k**6/120 - 7*k**5/60 - 7*k**4/24 - 5*k**3/6 - 5*k**2. Is p(10) a multiple of 27?
False
Is 6 a factor of (4 - 39/12)/(8/1856)?
True
Let w be (121/(-33))/((-2)/(-6)). Let n(m) = m**3 + 12*m**2 - 14*m - 5. Let c be n(w). Suppose 3*h + 2*h - c = 0. Is h a multiple of 18?
True
Suppose -361 = -3*k + l, -3*k - 5*l = k - 475. Is 15 a factor of k?
True
Let g be 62/(-4)*(2 + -3)*2. Suppose -2*a = -3*y - g, -a + y + 23 = -3*y. Is a a multiple of 2?
False
Is ((-18)/3 + -192)/(-2) a multiple of 11?
True
Let w(z) = 2*z**3 + 22*z**2 - 13*z - 4. Let u be w(-11). Let i = u + 121. Is 52 a factor of i?
True
Does 19 divide ((-604)/8 - -2)*(-168)/18?
False
Suppose 44*c - 48*c - 52 = 0. Is 2 a factor of (c - -2)/(1*-1)?
False
Let x be 5 - -61*(-2 - 0). Let z = 7 - x. Is z a multiple of 31?
True
Suppose -16*n = -19*n + 6. Suppose -504 = -5*k - n*j, k + 4*j - 92 = 8*j. Is k a multiple of 46?
False
Let c be (-2 + 2)*(1 + 0). Suppose c = g - 0*g - 33. Is g a multiple of 10?
False
Suppose -8*j - 64 = -9*j. Let u = j - 16. Is u a multiple of 8?
True
Suppose 595 = 2*w + 111. Is 22 a factor of w?
True
Let g = -200 - -365. Let q(x) = x**3 + x**2. Let d be q(1). Suppose g = d*s + 35. Is s a multiple of 13?
True
Let l be (-40)/(-15) - 4/6. Suppose 2*b = -3*r - 0*r + 4, r = -l*b. Is 34 + b - 6/(-2) a multiple of 6?
True
Suppose -30*s + 40*s - 2500 = 0. Is 50 a factor of s?
True
Let l = -23 - -26. Does 5 divide 82/l*(-39)/(-26)?
False
Let a be 1/3*0 - (-184)/2. Suppose 0 = -4*l + 8, -3*o + 4*l = 3*l - 181. Let r = a - o. Is 5 a factor of r?
False
Let k(y) be the third derivative of -y**4/3 - y**2. Suppose -2*w + 400 = 410. Does 13 divide k(w)?
False
Suppose -g - 9 = 3*d - 4*d, g - 5*d = -17. Let c(v) = -v**3 - 7*v**2 - 4*v - 12. Let j be c(g). Suppose 29 = 3*x - j. Is x a multiple of 15?
True
Let x = -1266 + 1456. Is 95 a factor of x?
True
Suppose y = -3 + 7. Suppose -3*n + 4*x = -226, -3*x - 169 = -2*n - y*x. Is n a multiple of 13?
False
Suppose -u - 315 = -6*u. Let j be (-68)/(-7) - (-210)/735. Suppose u - j = y. Does 23 divide y?
False
Suppose 4*y - 3*j = -86, 53 = -2*y - j + 15. Does 6 divide (-15)/y*8*6?
True
Does 34 divide (-21)/(-224)*24*92/3?
False
Let b(u) = -9*u - 30. Let r(y) = -y**2 - 10*y - 30. Let j(g) = 3*b(g) - 2*r(g). Is j(-5) a multiple of 11?
True
Let r(w) = 0*w**3 - 2*w**2 + w**3 - 2*w**2 + 4 - 6*w. Let m be 4/(-6)*(2 + -13 - -2). Does 12 divide r(m)?
False
Suppose -5*b - 4*f + 2017 = 0, -5*b + 0*f = -f - 2002. Is b a multiple of 44?
False
Let f = 185 + 140. Does 13 divide f?
True
Let o(l) = -6*l**2 + 5*l - 4. Suppose -5*r + 8*r + 15 = 0. Let p be o(r). Let s = 254 + p. Is 25 a factor of s?
True
Let k(b) = 3*b**2 + 2*b + 1. Let s be k(-1). Suppose 2*p - 256 = -s*p. Is 7 a factor of p?
False
Let w(m) = -2*m**2 - 9*m + 17. Let f(p) = -4*p**2 - 18*p + 35. Let h be ((4 - 3) + -5)/(-2). Let r(b) = h*f(b) - 5*w(b). Is r(-9) a multiple of 13?
False
Let t = 6 - 4. Suppose -o + 3*l - 7*l = -79, 16 = 4*l. Suppose -t*q = q - o. Is 15 a factor of q?
False
Let i(a) = a**2 - 2*a + 2. Let r(c) = -c + 13. Let y be r(9). Is i(y) a multiple of 2?
True
Does 32 divide -7 + 21951/45 - (-8)/(-10)?
True
Let c(g) = -143*g - 124. Is c(-8) a multiple of 63?
False
Suppose 272*w - 266*w = 5880. Is 10 a factor of w?
True
Suppose u = -2*b - 27, -2*u = -5*b + 3*u - 30. Let j = b - -13. Suppose 0 = -j*x + 23 + 89. Does 26 divide x?
False
Suppose 2*n - 5*k + 84 = 0, -4*n + 0*k - 2*k - 168 = 0. Let b = -36 - n. Let a(p) = 11*p + 9. Is a(b) a multiple of 25?
True
Let k(d) = d**2 + 4*d + 9. Let t be ((-36)/24)/((-3)/8). Is k(t) a multiple of 15?
False
Let x(v) be the third derivative of 0*v - 5/8*v**4 + v**3 + 12*v**2 + 0. Does 32 divide x(-6)?
True
Let l be -4 - (-5 - -4)*2269. Suppose 2*o = 4*t + 2543 + l, 2*t + 2416 = 4*o. Does 6 divide t/(-84) - (-4)/(-14)?
False
Let z(l) = -l**2 + l + 1. Let i(j) = -5*j**2 + 41*j + 28. Let n(w) = i(w) - 4*z(w). Does 55 divide n(18)?
False
Let s(m) be the first derivative of 2*m**3/3 - 4*m**2 + 8*m - 204. Let g(z) = -z**3 - 3*z**2 - 3*z - 3. Let b be g(-3). Is 16 a factor of s(b)?
True
Let g = -1 + 2. Let p = 8 + g. Suppose 0 = 2*o - 3*o + p. Does 6 divide o?
False
Suppose o + o + 10 = -3*v, 5*v = -o - 12. Let q be o/9 - (-496)/(-36). Does 7 divide (-8)/28 + (-312)/q?
False
Let w be (-81)/18*8/6. Is 5 a factor of w*(-11)/(165/50)?
True
Suppose -2*c + 5*q + 283 = -c, -4*c + 1040 = 3*q. Is c a multiple of 6?
False
Let n(u) = -2*u**2 + 47*u + 47. Let j be n(24). Let h = j - 19. Is h a multiple of 4?
True
Let s(i) = -4*i - 36. Let g(f) = -f - 7. Let c(r) = -16*g(r) + 3*s(r). Let v be c(12). Let u = -34 + v. Is u a multiple of 6?
True
Let y be 10/(-45) + 492/27 + 0. Suppose 0 = 3*h - y - 294. Is 20 a factor of h?
False
Let l(k) = k**3 + k**2 - 7*k + 2. Let m be 1*(4 - (-1)/(-1)). Is l(m) a multiple of 17?
True
Suppose -430 = 4*q + 98. Let x be 7416/q + 4/22. Let a = 94 + x. Is 15 a factor of a?
False
Let t(f) = f**2 + 2*f - 4. Let v be t(0). Let c be ((-27)/15)/(v/20). Let d = 21 - c. Is 12 a factor of d?
True
Suppose 0 = g - 0*g + 4. Let f be (0 + 1/(-2))*(20 - 4). Is g/(f/254) + -2 a multiple of 25?
True
Suppose 13*k - 7*k - 1392 = 0. Does 22 divide k?
False
Let x(d) = -d**2 - 5*d + 8. Let t be x(-6). Suppose -t*h - 5 = -3*h. Suppose h*b - 35 = -0*b. Does 7 divide b?
True
Suppose -5*i = -3*s + 494, -2*i - 212 - 605 = -5*s. Is s a multiple of 31?
False
Let n(d) = -d**3 - 14*d**2 - 2*d + 17. Let o(b) = -b**2 + 3*b - 4. Let w be o(5). Is 9 a factor of n(w)?
True
Let a(m) = 9*m + 10. Let j(i) = 10*i + 10. Let t(g) = g - 5. Let d be t(11). Let s(w) = d*j(w) - 7*a(w). Is s(-13) a multiple of 17?
False
Let r(y) be the first derivative of -y**4/4 + 4*y**3 - 3*y**2 + 10*y - 4. Let q be r(8). Suppose -3*g = -31 - q. Does 22 divide g?
False
Let f(t) = 5*t + 67. Is f(-7) a multiple of 8?
True
Suppose 3 = 2*z - 3*z. Let l be 0 + (z + 4)*4. Suppose k - 10 = 3*s, -3*k + l*k - s = 12. Is k a multiple of 4?
False
Let r(h) = 3*h**2 - 18*h + 6. Let a(g) = -16*g**2 + 91*g - 30. Let l(j) = -2*a(j) - 11*r(j). Does 7 divide l(12)?
True
Let s(z) = -z**3 - 11*z**2 + 18*z + 34. Does 6 divide s(-13)?
True
Let r be (-24)/(-36) - 106/(-3). Let s = r + -69. Let q = 77 + s. Is q a multiple of 8?
False
Let o(s) = -s**3 + 16*s**2 + s. Let k(v) = -9*v - 8 - 8 + 2 + 4*v. Let g be k(-6). Is 16 a factor of o(g)?
True
Let x be 5/(-2)*-2*2. Suppose -x*w = -6*w - 160. Suppose -4*m + 158 = 5*f, -2*m = -f - 0*f + w. Is 6 a factor of f?
False
Suppose 5*f - 24 + 4 = 0. Suppose -f*j - 11 + 34 = -3*q, 0 = 3*j + 2*q + 4. Let c = j - -12. Does 6 divide c?
False
Let l(o) = -20*o + o**2 + 21*o - 2*o**2 + 39. Let v = 1 - 1. Is l(v) a multiple of 19?
False
Suppose -206*t = -211*t + 85. Let o be (-6)/10 - (-48)/5. Let f = t - o. Is 7 a factor of f?
False
Suppose -8*d + 5*k = -3*d + 165, 3*d - 4*k + 103 = 0. Let s = 39 + d. Is s a multiple of 5?
True
Let j be 2*1*1/(-1). Let b(u) = 6*u**2 + 3*u**2 - 6*u**2 + 2*u. Is b(j) a multiple of