 j**3 + 10*j**2 + 11*j - 12. Let m(v) = 5*v**3 + 49*v**2 + 54*v - 61. Let q(b) = 2*m(b) - 11*s(b). Does 21 divide q(-11)?
False
Let a be 0*2/(1 - -1). Let l = a + 3. Suppose 39 = 3*z + q, -3*q - q - 39 = -l*z. Is 9 a factor of z?
False
Let q(v) = v**3 + v**2 - 2. Let g be q(-2). Let b = -7 - g. Is 15 a factor of (-4)/2 + b - -30?
False
Let b = 7 - -49. Is b a multiple of 11?
False
Does 19 divide 19/((7/3)/7)?
True
Suppose 3*w = 4*x + 170, 0 = 5*x + 2*w + 74 + 150. Let t = -98 - x. Let n = -22 - t. Does 16 divide n?
True
Suppose -23 = -2*f + 153. Suppose -y - y + f = 0. Is y a multiple of 22?
True
Let f = 15 + -11. Suppose -f*p - 15 = -7*p. Does 5 divide p?
True
Let w = 19 + -3. Suppose -w = -4*c - 0*c. Suppose 0 = 3*p - c*f - 48, -80 = -5*p - 5*f - 0*f. Is p a multiple of 8?
True
Suppose -2*t = -4*t + 4*q - 70, -111 = 3*t - 4*q. Suppose -5*n - 25 = 35. Let d = n - t. Does 17 divide d?
False
Let x be (-6 - -4) + (-4)/1. Let d(f) = -f**2 - 4*f - 8. Let p be d(x). Let i = 4 - p. Is i a multiple of 12?
True
Suppose -10*b + 14*b - 48 = 0. Does 4 divide b?
True
Suppose -4*q - 20 = -6*q. Let s(r) = r + 11. Is 21 a factor of s(q)?
True
Suppose -4 = 4*v - 0. Let t be (0 - 2/(-2))*v. Is (t/(-1))/(1/17) a multiple of 11?
False
Suppose 2*j + j = 78. Is j a multiple of 12?
False
Let v = -1 - 3. Is (1 - 2)/(1/v) a multiple of 2?
True
Let i be ((-102)/18)/(1/(-3)). Let g = 1 + i. Is 9 a factor of g?
True
Suppose o - 6 + 63 = 2*g, -2*o = -3*g + 87. Is 11 a factor of g?
False
Suppose 3 - 7 = 2*a. Let r be 2 - a/(-4)*-2. Suppose 5*j - 62 = u + 55, 0 = r*j + 3*u - 81. Is j a multiple of 12?
True
Suppose 4*g + 0*g - 730 = -5*t, -g = 5*t - 190. Is 9 a factor of g?
True
Let z be 1/(-1) + (2 - -29). Let h = z - 18. Is h*(1 - (-1 - 1)) a multiple of 12?
True
Suppose 5*r - 223 + 83 = 0. Does 3 divide r?
False
Let t be 1/2*-6 - -7. Suppose -2*j + 128 = 3*x - 7*x, 2*j - 168 = -t*x. Let f = j - 52. Does 7 divide f?
False
Suppose -5*y + 4*j = -12, 3*j = -y - 8 - 1. Suppose y = 4*w - 146 + 26. Is 27 a factor of w?
False
Suppose -2*k + 708 = 3*k - 2*y, 2*k - 284 = y. Does 14 divide k?
True
Let s be ((-10)/4)/((-2)/(-24)). Let c = 15 - s. Suppose -5*m + 65 = -c. Is 11 a factor of m?
True
Let n(m) = 11*m - 73. Let z(x) = 4*x - 24. Let l(f) = -3*n(f) + 8*z(f). Suppose 0 = 3*h - 5*h. Is l(h) a multiple of 9?
True
Let d be 106/(-4) + (-6)/(-12). Let g = d - -105. Is g a multiple of 20?
False
Suppose 17 = -l + 2*l. Does 6 divide l?
False
Let p be 3 + 5 + -3 - 0. Suppose -a = 3 - p. Suppose 9*i = 4*i + a*x + 140, 5*x = 4*i - 95. Does 15 divide i?
True
Let l(b) = 6*b**2 - 4*b - 2. Let z be (-16)/6 + (-1)/3. Let o be l(z). Suppose 3*d + 2*r - 101 = 0, r - 4*r = 2*d - o. Does 14 divide d?
False
Let z(o) = -o**2 - 7*o + 4. Let r(k) = k**2 + 8*k - 5. Let x(u) = 3*r(u) + 2*z(u). Is x(-12) a multiple of 17?
True
Let h = -19 + 42. Suppose 3*q - h = -131. Let c = 60 + q. Does 10 divide c?
False
Let v(c) = 3*c + 3. Let y be v(-3). Let w be (-3)/1*22/y. Suppose 3*z - 4 = w. Is z even?
False
Let o be -8 + 9 + (-1 - -18). Is 16 a factor of 1122/o - 4/(-6)?
False
Let y(t) = t**3 + 9*t**2 - 3*t + 2. Is y(-9) a multiple of 8?
False
Suppose -99*n + 104*n = 25. Does 5 divide n?
True
Let n = 20 + -8. Suppose -4 + 29 = 5*q. Suppose -4*s + n = 4*o - 0, -q*s + 2*o = -50. Is 5 a factor of s?
False
Suppose 15 = -5*y - 10. Let w = -5 - y. Suppose r = -0*r - 3*u + 31, 5*r + u - 141 = w. Is 14 a factor of r?
True
Let n(q) = 29*q**2 - 4*q - 3. Let d(r) = -30*r**2 + 5*r + 4. Let t(c) = 4*d(c) + 5*n(c). Does 13 divide t(-1)?
True
Let m = 15 + -12. Suppose -4*r - m*n = -108, r = 2*r - 2*n - 16. Is r a multiple of 12?
True
Is 1 - (0 - 0) - -21 a multiple of 11?
True
Let f = -6 + 9. Suppose 7*k = 3*k + 20, f*j - 74 = -4*k. Does 18 divide j?
True
Let k(y) = 7*y**2 + 4*y**2 - 5*y - y**3 - 8 - 2*y**2. Does 16 divide k(8)?
True
Let o(h) = -h + 5. Let x be o(5). Suppose -5*b + 5 + 0 = x, 5*v + 5*b - 20 = 0. Suppose 0 = v*i + 11 - 32. Does 4 divide i?
False
Suppose -5*m + 15 = 5*r, m + 2*r + 1 = 5*r. Let o(z) = 4*z - z + 0*z. Is 6 a factor of o(m)?
True
Let r = -54 - -76. Let t(s) = -3*s - 1. Let p be t(-1). Let k = r - p. Is k a multiple of 10?
True
Let k = 241 - 1. Does 46 divide k?
False
Suppose -1 = 2*p - 3*n, 4*p + 3*n - 38 = n. Let j(v) be the third derivative of v**5/60 - 5*v**4/24 - 7*v**3/6 + v**2. Is j(p) a multiple of 7?
True
Let m = 112 - 56. Suppose m = 3*y + 2*w, 2*y + 4*w - 28 = 4. Does 7 divide y?
False
Let a(t) = 63*t - 33. Is 10 a factor of a(4)?
False
Suppose 3*y = -2*y - 5. Is 4/((3/(-9))/y) a multiple of 12?
True
Let u(x) = x**3 + 5*x**2 - x. Let t be 0*(-3)/(-9) + -2. Let l be (-1)/(t + 11/5). Is 5 a factor of u(l)?
True
Suppose -4*c + 3*i = 23, -3*c + 2*i = 7*i + 39. Let v = c - -18. Suppose 0 = 5*p + 5*t - v, 4*t + 34 = 2*p - 0*p. Is 2 a factor of p?
False
Let y(q) = -16*q + 1. Let d(v) = v**2 + 3*v + 1. Let s be d(-2). Is 5 a factor of y(s)?
False
Let b = 25 - 12. Suppose -7 = -v + 3*u - 0, 4*v - b = -3*u. Is 6 a factor of (-4)/(v/(-15)) - 2?
False
Suppose 2*n + n = -48. Let o = 26 + n. Does 4 divide o?
False
Let v(t) = -t + 9. Let r be v(7). Suppose -2*f - 12 = -r*h, 5*h + 0*f - 36 = 3*f. Is 7 a factor of (6/h)/((-4)/(-42))?
True
Let l(f) = -36*f - 4. Is l(-1) a multiple of 16?
True
Let j(y) be the third derivative of -y**5/60 + 11*y**4/24 + 7*y**3/6 + 4*y**2. Is j(6) a multiple of 10?
False
Let y(u) = 2*u**2 - 4 - 2 + 3 + 4*u - u. Let p be y(-3). Does 11 divide p/8 + 274/8?
False
Let t(r) = r**3 - r**2 + r + 7. Let v be t(0). Suppose -v*k + 3*k + 226 = -2*f, -f = 4*k - 241. Does 22 divide k?
False
Suppose 5*a + 4*x = 130, 5*x = a - 0*x - 26. Let r = 47 - a. Does 17 divide r?
False
Let k(a) = -29*a**3 - 1. Is 4 a factor of k(-1)?
True
Let h(l) = l**3 + 5*l**2 - 5*l - 18. Is 3 a factor of h(-4)?
True
Let q(i) = i + 7. Let z be q(-7). Suppose 9 = -3*k - z*k. Is (-1 - 2)*20/k a multiple of 8?
False
Suppose 0 = -0*p + p + 4, -4*p = 2*o - 8. Is o a multiple of 12?
True
Let l = -20 - -15. Let m(r) = -3*r + 8. Does 23 divide m(l)?
True
Does 19 divide 92 - -1*(-1 + 4)?
True
Let p be 3*2/(3 + -1). Suppose -p*o - 11 = -44. Does 9 divide o?
False
Let n(z) = -5*z + 1. Is 3 a factor of n(-3)?
False
Let y(j) = -4*j**3 - 4*j**2 - 5*j - 3. Is 9 a factor of y(-2)?
False
Suppose -5*u - y = -5*y + 30, -5*u - 5*y = -15. Let m = u + 4. Suppose 3*f - m*f = 9. Is f a multiple of 8?
False
Let b(y) = 18*y**3 - y**2 - 3*y - 2. Is 12 a factor of b(2)?
True
Let q = -6 + 9. Let f(i) = -q*i**2 - i + i**3 - 9*i**3 - 23*i**3 + i**2. Does 10 divide f(-1)?
True
Suppose 3*o - 89 = -p - 4*p, -3*p - 81 = -3*o. Does 6 divide 2/8 + 273/o?
False
Suppose -6*w = 5*w - 286. Is 3 a factor of w?
False
Let i(w) = w**3 + w + 20. Is 5 a factor of i(0)?
True
Let q(b) = b**2 + 7*b + 8. Is 13 a factor of q(-9)?
True
Let c be 60 + (3/3 - 1). Is (c/18)/((-1)/(-3)) a multiple of 6?
False
Suppose 37 + 123 = 3*m - 4*j, 2*m = -3*j + 101. Suppose -3*w = 3*s - 180, -2*s - 5*w + m = -s. Is 11 a factor of s?
False
Let y(r) = 189*r**2 - 2*r - 1. Is 31 a factor of y(1)?
True
Let l = 132 + -77. Is l a multiple of 15?
False
Let p = 133 - 60. Is 8 a factor of p/3 + 6/(-18)?
True
Suppose 20 = 5*q - 0*q. Is q even?
True
Suppose -2*a - 2*a = 2*k - 4, 2*a - 10 = 3*k. Suppose -2*s + 26 = 2*t, 0*t - a*s + 9 = t. Is 17 a factor of t?
True
Let o(j) = -j**2 - 7*j - 4. Let y be o(-4). Suppose -4*t - 5*r + 224 = -t, -2*r = -y. Is t a multiple of 34?
True
Let g = 5 + -7. Does 2 divide (-5)/g*98/35?
False
Let y = 6 - 2. Suppose -y*g + 7*g + 243 = 3*f, 0 = -4*f - 3*g + 331. Is f a multiple of 17?
False
Let y = 46 + -27. Let v = y + -11. Does 4 divide v?
True
Let s(y) = 3*y + 104. Is s(0) a multiple of 13?
True
Let g(x) = 4*x - 3. Let w be g(2). Suppose -5*r - 42 = -4*m, 3*r + 30 = w*m + 8*r. Suppose -m*y + 3*y + 60 = 0. Is 12 a factor of y?
True
Let t = 16 - 7. Is t a multiple of 3?
True
Suppose -4*n + s + 25 = 131, 0 = 4*n + 3*s + 114. Let g = -15 - n. Is 11 a factor of g?
False
Let u(r) = r**3 + 5*r**2 + 2*r + 1. Does 2 divide u(-4)?
False
Let g(p) = -p + 2. Let b be g(0). Let x(q) = 3 + 9*q + 7*q**b - 8*q - 4. Is 7 a factor of x(1)?
True
Let h(a) = 5 + 5 + 8 + 2*a - 19. Does 5 divide h(8)?
True
Does 57 divide 1/(-1*(-1)/142)?
False
Let o = -102 - -170. Is o a mult