pose 3*j - s - 641 = -0*j, -4*s = 5*j - 1091. Let x = -148 + j. Is 14 a factor of x?
False
Suppose -2*q = 2*r - 24, -2*r + q = -q - 12. Is r a multiple of 3?
True
Suppose a = -0*l - l + 85, -158 = -2*a - 5*l. Does 5 divide a?
False
Let b(m) = m**2 - 2*m + 10. Is 9 a factor of b(7)?
True
Let y(g) = -6*g - 1. Let b be y(-1). Suppose -2*u + 43 + 12 = 5*c, -b*c - 25 = 0. Does 20 divide u?
True
Let h(d) = 4*d**3 - 2*d**2 + d + 1. Is h(2) a multiple of 9?
True
Let l = 0 - 0. Let f(p) = -p - 5. Let n be f(l). Let a = n - -22. Does 15 divide a?
False
Let s = -3 + 7. Let d = 24 + s. Is 11 a factor of d?
False
Let t be ((-42)/4)/((-12)/(-16)). Let p = t - -28. Suppose g + p = -5*a, g + 2*a + 0 - 1 = 0. Is 11 a factor of g?
True
Suppose -4*c = -c - 48. Does 3 divide c?
False
Let k be (24/10)/(4/20). Suppose 0 = -4*q - 13 + 5, 4*v - 3*q = 26. Suppose -k = 3*h - v*h. Is h a multiple of 3?
True
Let z be 3 + (1 - 0) + -5. Let a be ((z - -3)*2)/1. Suppose 21 = a*i - i. Does 4 divide i?
False
Suppose -126 = -r + 11. Does 11 divide r?
False
Suppose 0 = -12*g + 16*g - 924. Is 35 a factor of g?
False
Suppose 639 = 5*k + 4*q, k + 2*q = q + 128. Does 22 divide k?
False
Suppose 0 = 2*o + 2*o - 196. Let h(a) = a**3 - a**2 + a + 2. Let f be h(0). Suppose 24 = f*m - b, 4*m - 5*b - 11 = o. Is m a multiple of 5?
True
Suppose 14*i = 10*i + 344. Does 28 divide i?
False
Let f = 13 + -4. Suppose z - 5*d - 13 = 2*z, 2*z = d + 7. Is 5 a factor of 24/f*3 + z?
True
Suppose 2*f - f = 5*p - 793, -3*p + 481 = 2*f. Is 22 a factor of p?
False
Let c(j) = j - 4. Let o be c(6). Suppose o*q = -q + 150. Does 12 divide q?
False
Let g(j) = 5*j**3 - 2*j**2 - 2*j. Let i(s) = 6*s**3 - 2*s**2 - 2*s - 1. Let a(v) = 5*g(v) - 4*i(v). Does 7 divide a(4)?
True
Let t = 5 - 0. Suppose x - t*v = -15, 2*x = x - 2*v + 20. Suppose -4*s = -0*s - 2*f - 28, x = -5*f. Is 4 a factor of s?
False
Let b(a) = -3*a + 1. Let i(f) = -f + 1. Let k(c) = -b(c) - 2*i(c). Is 9 a factor of k(6)?
True
Let b(o) = -2*o - 4. Let x = -11 - -2. Is 5 a factor of b(x)?
False
Let i(v) be the third derivative of v**4/24 + 5*v**3/3 + 3*v**2. Does 8 divide i(0)?
False
Let a = 24 + -15. Is 5 a factor of a?
False
Let d = 0 - -4. Suppose 9*o - d*o - 190 = 0. Is o a multiple of 19?
True
Let c = 477 + -339. Let l = c + -78. Suppose 6*a - l = a. Does 4 divide a?
True
Let r(n) = 25*n. Let m = 4 - 3. Is 9 a factor of r(m)?
False
Let g(h) = h - 68. Let l be g(0). Let p = l + 119. Does 17 divide p?
True
Let d be (-2)/3*-3 + 3. Suppose -3*v = -2*k - 6*v - 6, 0 = -d*k - 4*v - 8. Suppose -5*l + 5*c = -160, -3*l + 2*c = -k*l - 91. Is 16 a factor of l?
False
Suppose -4*s + 5*m - 77 = 0, -2*s - 22 = m - 1. Let g = 28 + -9. Let q = s + g. Is q even?
True
Let s = -3 - -8. Let p(f) = -f**3 + 5*f**2 + 6*f + 2. Let q be p(6). Suppose -2*x = -2, 0*m + q*m - 25 = -s*x. Is 5 a factor of m?
True
Is (-2 - 24)*10*(-4)/16 a multiple of 21?
False
Let v = -124 - -173. Suppose v - 217 = -4*u. Is 14 a factor of u?
True
Let w = 15 - 4. Suppose 2*v - v - 49 = 0. Suppose -v - w = -5*c. Is c a multiple of 6?
True
Let h(i) = -i**2 + i + 1. Let o be h(2). Does 3 divide (-69)/(-12) + o/(-4)?
True
Suppose -4*q = 20, -2*f + 7*f + 2*q = 115. Does 14 divide f?
False
Let r(n) = -n**3 + 10*n**2 - 10*n - 3. Does 19 divide r(8)?
False
Suppose 0 = -q + 3, -4*t + q = 3*q - 202. Is 9 a factor of t?
False
Is 10 a factor of ((-5)/((-30)/(-4)))/(1/(-78))?
False
Let h(c) = -10*c + 13. Is 8 a factor of h(0)?
False
Let w(f) be the third derivative of 0*f - 2*f**2 + 1/60*f**5 - f**3 + 0 + 5/24*f**4. Is w(-9) a multiple of 15?
True
Suppose -2*u = -4*o + 8, 2*u + o + 4*o - 19 = 0. Suppose -4*g + 51 = 3*w, -w - 3*w = u*g - 68. Is w a multiple of 11?
False
Does 3 divide (108/(-45))/(6/(-195))?
True
Let t = 16 + -11. Is t a multiple of 3?
False
Suppose 5 = 2*q - q. Suppose -3*u - 2*a = -16 - 94, q*u - 178 = 2*a. Does 9 divide u?
True
Suppose 0 = a - 3*d, 2*a - 7*a - d = -32. Suppose l + 4*w - 5 = a, 3*l - 4*w - 1 = 0. Suppose 5*y - 98 = -l*p, 3*p + y + 126 = 8*p. Does 9 divide p?
False
Suppose 0 = 2*h + 2*h + 632. Is (-12)/(-30) - h/5 a multiple of 16?
True
Suppose -2*r - r = -30. Does 29 divide 12/20 - (-284)/r?
True
Let s be (9/3 - 4)/(-1). Is 70 - (-4)/2 - s a multiple of 17?
False
Suppose -3*v + 23 = -3*t + 65, 0 = -4*v - 12. Let h(z) = -z + 1. Let b(s) = s**2 - 16*s - 5. Let x(l) = -b(l) + 5*h(l). Is x(t) a multiple of 5?
True
Suppose 14 = -k + 40. Is k a multiple of 6?
False
Suppose 0 = 3*i - 0*i, i + 12 = 4*t. Let d be 12*-1*(-1)/t. Suppose l + 16 = 2*w + d*l, 4*w - 5*l - 54 = 0. Is 4 a factor of w?
False
Suppose -2*v = 4*p, 3*p + p + 12 = -5*v. Does 23 divide ((-161)/(-14))/(p/4)?
True
Let q(r) = -2*r**3 + 1. Let u be q(-1). Does 13 divide 40 + 2*u/(-6)?
True
Is 1025/150 - 2/(-12) a multiple of 6?
False
Let q(d) = -18*d - 21. Is q(-2) a multiple of 2?
False
Suppose -30 = -2*l + 10. Is 4 a factor of l?
True
Let g(u) = -1 + u + 0*u**2 + 3*u**2 + u**2. Let b be g(1). Let y = b - -8. Does 12 divide y?
True
Let c(w) = 3*w - 5. Let y be c(6). Let q = y + 9. Does 22 divide q?
True
Suppose -3*p - 102 = -p. Let f = p + 100. Does 13 divide f?
False
Suppose -6*h + 3026 = 770. Is h/20 - 4/(-20) a multiple of 19?
True
Suppose 2*k - 82 = 2*u, -2*k + 0*u + 81 = -u. Does 11 divide k?
False
Suppose 5*s + 4*b - 196 = 0, 3*s - 4*b + 8 = 100. Let v = s - -5. Does 19 divide v?
False
Suppose 0 = t + 5*t - 486. Is 27 a factor of t?
True
Let n(d) = d**3 + 7*d**2. Let x be n(-7). Suppose -5*a = -x*a - 260. Is a a multiple of 13?
True
Let i be -29*-6*(-1 - -2). Suppose -2*b - s - 4*s = -i, 0 = 4*b - 5*s - 318. Is b a multiple of 15?
False
Suppose 5*y - 9*y = -48. Does 5 divide y?
False
Let o(u) = -u**3 - 2*u**2 + 2*u - 1. Let c be o(-3). Let f(x) = 2*x**3 - 2*x**2 + 0*x + 2*x + 0*x**2. Does 12 divide f(c)?
True
Suppose 4*u + 4*q = 32, u - 2*u = -q - 4. Is u a multiple of 5?
False
Let s(f) = 5*f**2 + 6*f + 0*f + f**3 - 6 + 3*f**2. Does 14 divide s(-5)?
False
Is 2 - (-2 - -3) - 8*-16 a multiple of 16?
False
Let d(b) = 36*b**2 + 2 - 2*b + 2 - 5. Does 11 divide d(-1)?
False
Let x(v) = 4*v**3 - 2*v**2 + 3*v - 3. Is x(5) a multiple of 33?
True
Suppose -2*s - 5*t + 3 = 0, s + 0*t + 1 = -5*t. Let d = s - -24. Is d a multiple of 14?
True
Let p(j) = -11*j + 10. Let o(v) = -5*v + 5. Let f(a) = -13*o(a) + 6*p(a). Let u(z) = 1. Let c(q) = -2*f(q) - 6*u(q). Does 6 divide c(4)?
True
Let i(k) = 19*k**2 + 1. Is i(-1) a multiple of 7?
False
Let v(o) = -o**2 - 8*o - 10. Let w be v(-7). Let l = 1 + w. Let t(k) = -5*k**3 - 2*k**2 - 2*k + 1. Is 16 a factor of t(l)?
False
Suppose -o = -5*q - 63, 0 = -2*q + 2*o - 0*o - 30. Let f = q + 28. Suppose -3*w = -5 - f. Is 7 a factor of w?
True
Let t(h) = -7*h + 7. Let a be t(3). Let d = a + 24. Is 6 a factor of d?
False
Suppose r - 156 = -0*r. Suppose 3*t - r = -t. Is 13 a factor of t?
True
Suppose 1 = 2*z + 9. Let y = -4 - z. Suppose -r - m = -26, 3*r = -y*r + 4*m + 78. Is 12 a factor of r?
False
Suppose -106 = -7*u + 132. Is u a multiple of 7?
False
Let k(m) = m**2 - 4*m + 22. Does 12 divide k(7)?
False
Suppose -3 = k - 4. Suppose k + 2 = t, -62 = -2*g - 2*t. Suppose -4*b + 20 = -g. Is b a multiple of 5?
False
Suppose -56*w + 66 = -55*w. Is 11 a factor of w?
True
Let a = -14 - -29. Does 3 divide a?
True
Let x(u) be the third derivative of u**7/420 - u**6/360 - u**5/40 + u**4/12 + u**3/3 - u**2. Let t(f) be the first derivative of x(f). Is 3 a factor of t(2)?
False
Suppose -5*u + 515 = 90. Does 23 divide u?
False
Does 11 divide (-1 - 21)*26/(-4)?
True
Let z = 0 + 3. Is 2 - (-22)/(z + -2) a multiple of 9?
False
Let c be 1/((-3 - -1)/(-214)). Suppose g - c = -0*g. Suppose -23 = -n - 2*b - 3, -5*n + g = 3*b. Does 11 divide n?
True
Let q(y) be the second derivative of 41*y**3/6 - y**2/2 + 4*y. Let i be q(1). Suppose -3*z = 2*h - 48, -2*z + i = 2*h + 8. Does 8 divide z?
True
Suppose 4*k + 0*k + 4*b - 28 = 0, -4*b = 12. Suppose 8 + k = 2*f. Is f a multiple of 4?
False
Let a(w) = 14*w**3 + w**2 - 1. Is a(1) a multiple of 7?
True
Let f(t) = -3*t. Let h be f(-3). Suppose -7 = -b + h. Let w = 37 - b. Is w a multiple of 7?
True
Let r(k) = -k**3 + 8*k**2 - 8*k + 3. Let d be r(7). Let m be (9/d)/((-6)/16). Does 16 divide (-14)/(-1) + -4 + m?
True
Let z be (19/(-2))/((-3)/150). Suppose -2*b = -7*b + z.