ppose -6 = 2*j, 0 = x - j - 4*j - 18. Suppose -r + 5*g + 12 = 0, -3*g + 19 = x*r - g. Suppose -2*a + 33 + r = 0. Is 10 a factor of a?
True
Let h be -6 - -32 - (1 - 1). Let y = h + -6. Is 10 a factor of y?
True
Is 10/25 + 88/5 a multiple of 6?
True
Let p(g) = g**2 + 2. Let u(f) = -f**2 - 8*f - 4. Let h be u(-7). Does 11 divide p(h)?
True
Suppose -g - m - 11 = -6*m, -3*g - 5*m + 27 = 0. Let n be (-2)/(-3) - 30/(-9). Suppose -n*a - g = -44. Does 6 divide a?
False
Is 93 - (-8)/(-2) - -1 a multiple of 15?
True
Let m(x) = x**3 - 3*x**2 - 3*x - 3. Let o be m(4). Let f be 2 - (-40 - (2 + o)). Suppose -3*z - f = -5*c, 0 = 5*c + z - 3 - 22. Is c a multiple of 6?
True
Suppose -7 + 27 = 4*b. Is b a multiple of 5?
True
Suppose -2*k + 16 = -0*k. Suppose 5*r + 5 = -15, 2*r - k = -4*c. Let x = 17 - c. Is x a multiple of 8?
False
Suppose 3*c = 12, -a + 3*c = 2*c - 11. Let k = -74 + 103. Let i = k - a. Does 11 divide i?
False
Suppose -5*i + 33 + 147 = 0. Is i a multiple of 18?
True
Let q be (-44)/(-4)*2/2. Let f = q - -5. Is 8 a factor of f?
True
Let w(m) be the second derivative of -m**5/20 - 7*m**4/12 + 5*m**3/3 + 2*m. Does 18 divide w(-9)?
True
Let w(o) = 2*o**2 + 8*o - 6. Is 9 a factor of w(-6)?
True
Let k(s) = 6 - 3*s + 0*s + 2*s. Is k(0) a multiple of 5?
False
Let s(q) = -q**2 - 24*q + 50. Is s(-20) a multiple of 26?
True
Let o be (-372)/(-8)*(-12)/(-9). Suppose -12 = 3*j, -3*l + 2*l + 2*j = -o. Is l a multiple of 16?
False
Let h be 1/4 + (-262)/(-8). Suppose 5*t - 3*y = -3 - h, -4*y + 2 = t. Is 13 a factor of ((-76)/t)/((-1)/(-3))?
False
Let p = 47 - 27. Is p a multiple of 8?
False
Let r(b) = -b + 8. Let y be r(8). Let w = 7 - y. Does 2 divide w?
False
Let w = -104 - -106. Is 2 a factor of w?
True
Let d be (-20)/(-6) + 2/(-6). Suppose -5*t - 3*u = -8, 0 = -0*u + u - 1. Suppose -j + t = -d. Is j even?
True
Suppose 59 = c - 57. Does 29 divide c?
True
Suppose -11 = -5*p + 4. Let f(m) = 0*m + 0*m - 2 - 3*m**3 + 3*m**2 + 4*m**p. Is 2 a factor of f(-2)?
True
Let u = -3 + 11. Does 10 divide (-4)/16 + 162/u?
True
Let g(q) = q**3 + 4*q**2 - q - 4. Let d be (-2)/(-10) - 32/10. Is g(d) a multiple of 6?
False
Does 4 divide (32/(-4))/((-6)/45)?
True
Let s(f) = 4*f - 10. Suppose -5*w + 4 = 2*j - 16, -2*j + 2*w + 20 = 0. Is 13 a factor of s(j)?
False
Let f(a) = 6*a**2 - 2*a - 7. Let x(d) = -d**2 - d + 1. Let m(t) = f(t) + 5*x(t). Does 8 divide m(9)?
True
Suppose 4*k - 71 = 57. Is k a multiple of 6?
False
Let y be 2/2 + (-7 - -4). Is 5 a factor of 2*(y + 9/2)?
True
Let x(t) = -t**2 - 10*t - 12. Let w be x(-8). Suppose 5*v + 57 = 3*p, w*p + 0*p - 105 = -3*v. Is p a multiple of 8?
True
Let s = -47 + 14. Is 11 a factor of (s/6 - 0)*-6?
True
Suppose 0 = -c - 0*c - 1. Let t(k) be the third derivative of -31*k**6/120 - k**4/24 + 2*k**2. Is t(c) a multiple of 16?
True
Suppose m - 15 = -4*m, -5*p = m - 13. Let x = p - 9. Let u = x - -15. Is 5 a factor of u?
False
Suppose 3*b - 1 = 5*s + 25, 4*s = 4*b - 24. Suppose -j - 1 = 3*h + 3, 0 = 5*h - b*j + 25. Is 3 a factor of ((-6)/(-4))/(h/(-6))?
True
Suppose 3*a = -2 + 8. Suppose -3*k = a*k - 150. Is k a multiple of 7?
False
Suppose 0 = -g + 4*q + 160, 5*g + q - 447 = 416. Does 31 divide g?
False
Is (138/(-30) + 1)/((-1)/40) a multiple of 12?
True
Let r(h) = -5*h**3 - 2*h**2 + 1. Let v be r(-1). Suppose -v*q + 12 = -0*q. Suppose -42 = -5*n + q*n. Is 11 a factor of n?
False
Let v(j) = -10*j**3 + 22*j**2 - 22*j + 19. Let z(n) = 7*n**3 - 15*n**2 + 15*n - 13. Let d(h) = 5*v(h) + 7*z(h). Is 2 a factor of d(3)?
False
Let i(r) = 3*r**3 + 6*r**2 - 2. Let m(w) = -4*w**3 - 6*w**2 + w + 3. Let g(a) = -3*i(a) - 2*m(a). Is g(-6) even?
True
Let b be (-1)/(2 + (-105)/51). Suppose b = 5*t - 8. Suppose 143 - 53 = t*l. Is 9 a factor of l?
True
Let w be (-2)/(-3)*(-117)/3. Let k be (-38)/5*(-6 + 1). Let f = k + w. Is 6 a factor of f?
True
Is 10 a factor of (-2065)/(-25) + 4/10?
False
Let v(y) = -y + 1. Let g(b) = 19*b - 7. Let k(p) = -2*g(p) - 18*v(p). Let l(m) = -39*m - 7. Let r(w) = -5*k(w) + 3*l(w). Is r(-1) a multiple of 5?
False
Let n be -1 + (-7)/(21/(-36)). Let v = -8 + n. Suppose -2*k + 0*k - v*j + 35 = 0, -4*k + 4*j + 20 = 0. Does 5 divide k?
True
Let y = 171 - 96. Does 16 divide y?
False
Let m be (-15)/(-6)*(-12)/(-10). Suppose -5*l = -2*p + 93, -5*p - m*l = 2*l - 145. Is p a multiple of 17?
True
Let l = -65 + 33. Let y = -32 - -20. Let b = y - l. Is b a multiple of 10?
True
Suppose 3*h + a - 8 = 0, 2*h + 2*a - 12 = -0*a. Does 14 divide -3 - h*(-2 + -29)?
True
Suppose 2*g - 559 = -4*n + n, n - 2*g - 197 = 0. Does 23 divide n?
False
Let w = 82 + -33. Let r = w - 23. Does 6 divide r?
False
Suppose 2*v + 2*t = 268, 5*t - 25 = 2*v - 300. Does 5 divide v?
True
Suppose -3*y + 2*y + 4 = 0. Does 7 divide 7 - (-2 + y/2)?
True
Let g(y) = y**3 + 6*y**2 - 4. Suppose 0 = -0*j - 4*j - 16. Is g(j) a multiple of 14?
True
Suppose -2*i + 15 = -f, 3*i - 24 = -3*f + 4*f. Does 2 divide i?
False
Let x be (9/(-12))/(2/8). Let i be (-1)/((-6)/(-8))*x. Suppose -j - i*j = -4*t - 36, -3*j = t - 8. Is j a multiple of 3?
False
Suppose -z = 3*z + 20, 2*z + 16 = -3*k. Let o be 64/k*(-3)/6. Let c = 30 - o. Does 14 divide c?
True
Suppose -4*x = -0*x + 3*y - 29, -4*y + 12 = 0. Suppose -14 = 5*j + 5*i + 11, 32 = -x*j + 2*i. Is 7 a factor of (-45)/j - 2/(-4)?
False
Let m(s) = -2*s. Let i be m(3). Let a(c) = c**2 - c. Let o be a(i). Does 18 divide 21*-9*(-4)/o?
True
Let x(r) = r**2 - 7*r + 9. Is x(9) a multiple of 9?
True
Suppose 11*o = 16*o - 100. Is o a multiple of 20?
True
Suppose -2*l - 464 = -5*u - 154, 62 = u + l. Is 3 a factor of u?
False
Let n = 52 - 42. Is 2 a factor of n?
True
Suppose 2*i - 5*i - 147 = 0. Let k be i/(-14) + 1/(-2). Suppose 182 = 4*s - 3*u, -5*s - k*u + 149 + 65 = 0. Does 22 divide s?
True
Let h = 13 - -38. Let b = -3 + h. Does 19 divide b?
False
Suppose -33 = 5*t - 138. Is t a multiple of 7?
True
Suppose -4 = -2*n + 16. Let w = 17 - n. Let i(m) = 4*m - 7. Is i(w) a multiple of 21?
True
Let p(m) = -13*m. Let i be p(6). Does 9 divide 1/(-2)*i/3?
False
Suppose 0 = -5*p + p + 32. Suppose 4*z + 3*d - 6 = 0, -p*z + 4*z + 22 = -5*d. Is z a multiple of 3?
True
Let w(b) = -b**2 - 11*b - 2. Let i be w(-9). Is (-90)/4*i/(-24) a multiple of 4?
False
Let t = -38 + 68. Is t a multiple of 3?
True
Suppose 3*g - 4*x - 11 = 0, -5*x = 5*g + 16 - 81. Is 9 a factor of g?
True
Does 46 divide 10*92*(-2)/(-60)*6?
True
Let i = 0 + 202. Does 44 divide i?
False
Suppose -j = 3*j + 28. Let m be j + (-2 + 0)/(-2). Let h(u) = u**2 - 2*u - 2. Is 23 a factor of h(m)?
True
Let w = 186 - 114. Does 18 divide w?
True
Let w = 132 - 80. Is 3 a factor of w?
False
Let m(i) = -i. Let w be m(-14). Suppose -5*l + 94 = w. Is 9 a factor of l?
False
Suppose 4*x = x. Suppose 3*n + 18 + x = 0. Let k(b) = b**3 + 6*b**2 - 2*b - 3. Is 7 a factor of k(n)?
False
Let n(q) = q**3 - 5*q**2 + 3*q - 1. Let y = -6 - -8. Suppose -8 = -y*h + 2*i, 2*i = -5*h - 0*i + 27. Is n(h) a multiple of 6?
False
Let g(v) = v**2 + 1 - 5*v + 9 - 3*v + 2*v**2. Is 15 a factor of g(5)?
True
Suppose 5*k + 2*m + 60 - 518 = 0, -m = 4*k - 364. Is k a multiple of 18?
True
Suppose 4*j = -3*a + 15, -20 = j - 3*a - a. Suppose j = t - 3*t + 4. Let f = 19 - t. Does 8 divide f?
False
Is 4/(4 - 8)*-13 a multiple of 5?
False
Suppose -307 = -5*u - t + 762, -4*u = 2*t - 854. Is 11 a factor of u?
False
Let x(n) = -n**3 - 10*n**2 + 11*n + 6. Is 6 a factor of x(-11)?
True
Let a(s) = -s**3 + 5*s**2 + 2*s - 3. Is a(4) a multiple of 7?
True
Does 6 divide -15*((-2)/4)/((-35)/(-28))?
True
Let s(k) = k + 2. Let o(m) = -2*m - 3. Let z(i) = -2*o(i) - 5*s(i). Let d be z(-4). Suppose d = -3*b - b + 28. Does 7 divide b?
True
Let g(w) = -w - 4. Suppose 0 = -3*a - 2*a. Let k be g(a). Let f = k + 19. Is 15 a factor of f?
True
Let t = 8 - 1. Let d = t - -17. Is d a multiple of 7?
False
Let w be ((-19)/2)/(5/10). Let i = -3 - w. Is 7 a factor of i?
False
Suppose 0 = 12*t - 17*t + 245. Is t even?
False
Let f = 246 - 133. Is 20 a factor of f?
False
Let h = 11 + -8. Suppose -5*m - 4*k + 95 = -h*k, -2*k = 5*m - 100. Does 18 divide m?
True
Let m = 11 - 5. Let r be 285/m*(-8)/(-10). Let k = r - -4. Does 21 divide k?
True
Let u(z) = -3*z**2 + 5*z - 8. Let x(v) = v**2 - 2*v + 4. Let g(i) = 1. Let r(s) = 4*g(s) - 4*x(s). Let l(w) = -5*r(w) + 7*u(w). Does 4 divide l(-3