Let q = -10 - -28. Is q a multiple of 6?
True
Let r be -3 + 4/6*117. Let w = r - 44. Does 8 divide w?
False
Suppose 2*t + 8 = -0*t, 133 = 3*d - 4*t. Suppose 0 = 4*q + d - 127. Suppose -4*f = -f, 0 = 2*a - 5*f - q. Is 4 a factor of a?
False
Suppose 5*x = 139 + 161. Is 10 a factor of x?
True
Let f = -5 - -9. Suppose 4*l + 2*x - 137 = -3*x, 2*x = -f*l + 146. Is 19 a factor of l?
True
Let r(u) = u**3 - 3*u**2 - 8*u + 4. Suppose g - 5 = -0. Let t be r(g). Let i = 32 + t. Does 17 divide i?
False
Let r be (-2)/(6/(-3)) - -1. Suppose -10 - r = -2*p. Does 3 divide p?
True
Suppose 7*n - 115 = 88. Is n a multiple of 3?
False
Suppose -5*c - 20 = 0, 3*f + 10 + 10 = -5*c. Let d(z) = 16*z - 8. Let b be d(6). Suppose f = -5*l + b + 12. Does 10 divide l?
True
Let g = -60 - -160. Suppose -2*s - g = -7*s. Is s a multiple of 15?
False
Let r = 18 - 13. Suppose r*a - 11 = 9. Suppose -4*b + 3*v + 12 = 0, 0 = -6*b + b + a*v + 14. Is 4 a factor of b?
False
Let k be ((-48)/(-2))/(9/(-6)). Does 22 divide (-33)/2*k/6?
True
Let y(l) = -5*l + 7. Let m(i) = i. Let q(k) = 4*m(k) + y(k). Is q(-5) a multiple of 3?
True
Let o(m) = -m**2 - 1. Let h be o(1). Let t = h + 4. Is 2 a factor of t?
True
Suppose -2*y + 6*y - 1792 = 0. Let t = -318 + y. Suppose 2*r - t = -3*r. Is r a multiple of 13?
True
Let k be 1 + 1 + (-1 - -11). Let t = k + -6. Suppose 11*q = t*q + 125. Does 13 divide q?
False
Suppose -41 - 15 = -2*o. Let p = o - 13. Is 15 a factor of p?
True
Suppose 0 = -0*b + b + 6. Let i be (6/4)/(b/(-8)). Suppose -2*p + 3*l + 19 = 0, -i*p - 3*l - 35 = -6*p. Is p a multiple of 8?
True
Let b = -25 - -93. Does 17 divide b?
True
Suppose 0 = 5*r + 88 - 318. Is 23 a factor of r?
True
Suppose 3*h - 5*q + 4 = 0, -6 = 3*h - 3*q - 0. Let p be 192 + -1 - 2/2. Is 12 a factor of h/(-12) + p/8?
True
Let h = 64 + -43. Is 21 a factor of h?
True
Let g = -78 + 353. Suppose -f = -3*o + 255, f + 152 = 5*o - g. Is o a multiple of 13?
False
Let m(d) = -d**2 + 2*d + 3. Let o be 1 - -4*(-1)/(-2). Let a be m(o). Let x = 5 - a. Does 5 divide x?
True
Let a(k) be the second derivative of k**8/3360 + k**7/630 - k**6/240 + k**4/12 - 3*k. Let i(u) be the third derivative of a(u). Is 14 a factor of i(2)?
False
Suppose -d - y + 7 = y, 34 = -3*d + 5*y. Let x be (-28)/d - 1/3. Suppose -c + 2*t + x + 17 = 0, -c + 21 = -t. Does 14 divide c?
False
Suppose 3*j + 44 = 5*j + 3*v, 5*v = 10. Is j a multiple of 18?
False
Let g(z) be the third derivative of 7*z**5/60 - z**4/12 + z**3/6 + z**2. Let s be g(1). Suppose m = 2*r + s, -4*r + 2 + 10 = m. Is m a multiple of 8?
True
Suppose -4*t + 61 = s - 9*t, 0 = -5*s - 4*t + 276. Is s a multiple of 7?
True
Suppose 0 = -9*l + 2*l + 392. Is 14 a factor of l?
True
Suppose 5*d - 8 + 2 = 2*c, 3*d = c + 3. Suppose d = -0*a - 2*a - 22. Let b = a + 19. Does 4 divide b?
True
Let u(b) = 2 + 5*b + 0*b**3 + b**3 + 3*b**2 + 5*b**2. Is 6 a factor of u(-7)?
False
Suppose o - 27 = -3*o + 5*i, 0 = 5*o - 3*i - 24. Let s be 18/(((-27)/(-12))/o). Suppose -4*z + s = -z. Does 4 divide z?
True
Suppose 0 = -2*s - 0*s + 32. Suppose 5*i - 10 = 0, j + 2*j = i + s. Is 6 a factor of j?
True
Suppose 0 = 6*v - v - 20. Suppose 0 = -2*g - v*t + 16, -t = 2*g - 2*t - 1. Suppose p + g*z = 14, 0 = -p - 3*p - z + 56. Does 6 divide p?
False
Let n(u) = 4*u - 1 - 6 - u. Let s be n(6). Let r = s - 6. Does 3 divide r?
False
Let v(k) = -28*k - 8. Is 26 a factor of v(-4)?
True
Suppose 8*y - 669 = 3*y - 4*v, y - 3*v - 130 = 0. Does 19 divide y?
True
Let f be 2 - (1 + 1 + -3). Suppose f*n + 79 = 5*q + 6*n, -4*q + 3*n + 74 = 0. Is q a multiple of 6?
False
Let u(j) = -280 + 280 + j + 5*j**2. Is u(-2) a multiple of 17?
False
Let r = -2 - -2. Let n be 2/(-4)*2 - -61. Suppose r = -3*s + 5*y + n, -5*s + 5*y = -83 - 7. Does 9 divide s?
False
Let x be (-2632)/(-21) - (-1)/(-3). Suppose 5*q - x = -0*q. Is 25 a factor of q?
True
Let m(h) = -h**2 + 8*h + 1. Does 5 divide m(6)?
False
Suppose 0*k + 3*k = -3*h + 3, 14 = -4*k + 5*h. Let z be 82/4*2/k. Let x = 58 + z. Is 17 a factor of x?
True
Suppose -k - 28 + 8 = -3*z, 8 = 2*k. Is 8 a factor of z?
True
Let w be 39/52 + 1/4. Let s(h) = 17*h**3 + 7*h**2 - 7*h + 7. Let y(a) = -25*a**3 - 11*a**2 + 11*a - 11. Let t(d) = 8*s(d) + 5*y(d). Is t(w) a multiple of 6?
True
Is (0 + 10)*(-16)/(-10) a multiple of 9?
False
Let q(r) = -r - 6. Let n be q(-9). Suppose z - n*z = -18. Is z a multiple of 9?
True
Suppose 2*d - 242 = -2*x, 2*d - 113 = d - 3*x. Suppose 46 + d = 3*s. Is 14 a factor of s?
False
Let i(o) = o**2 + o - 1. Let r be 0/((2 - 8)/2). Let h be i(r). Is (-10 + -2)/(h - 0) a multiple of 4?
True
Suppose c + 4*q = 0, 0 = -c - 3*c + q + 68. Is 2 a factor of c?
True
Suppose 0*r - 3*r = -30. Does 5 divide r?
True
Suppose 0 = 6*t - 7*t + 4. Suppose -5*u = 5*p - 205, -t*u + p = -0*u - 144. Is u a multiple of 12?
False
Suppose -k = -3*m + 5*m + 13, -3*k = 15. Let w = -2 - m. Suppose -2*b + i = -w, -2*b - i + 6 + 0 = 0. Is b even?
True
Let r(f) = -f**2 - 2*f + 1. Let d be r(-2). Let a(v) = 2*v + 0 + d + v. Is a(2) a multiple of 4?
False
Let f(j) = j**3 - 13*j - 4 + 1 + 8*j**2 + 3. Is 24 a factor of f(-9)?
False
Let q(m) = -4*m. Let h be q(-2). Let s(r) = -13*r**2 + 5 + 11*r**2 - r**3 + 2*r - 5*r + 11*r**2. Is 12 a factor of s(h)?
False
Let u(o) = -5*o**2 - 4*o - 6. Let l(m) = 9*m**2 + 8*m + 11. Let w(n) = 6*l(n) + 11*u(n). Is 2 a factor of w(3)?
False
Suppose -5*v = -0*v - 3*k - 49, 0 = k + 3. Is v a multiple of 3?
False
Let x be 92/(-2) - (-2 + 4). Let k = x + 84. Is k a multiple of 18?
True
Let h(p) be the second derivative of p**3/3 - 2*p**2 + 5*p. Does 2 divide h(3)?
True
Let q be (-13)/2 - 5/(-10). Let l = q + 4. Let w(p) = 4*p**2 + p - 1. Is w(l) a multiple of 9?
False
Suppose 4*g + 5 + 3 = 4*c, -2*g = 5*c - 3. Let a(u) = 2*u + 1. Let l be a(-2). Is 5 a factor of 15/l*-2*c?
True
Let z(o) = o**3 - o**2 - 2*o - 2. Let p be z(3). Does 5 divide (p/2)/(1 + 0)?
True
Let f(z) = 13*z**2 - z. Is 3 a factor of f(-1)?
False
Let a(u) = -u**3 - u**2 - 2*u - 3. Does 3 divide a(-2)?
False
Let g(n) = 3*n - 4*n - n**2 - 9*n - 2. Suppose 4 = -5*w - 31. Is g(w) a multiple of 9?
False
Let u(g) = 11*g + 35. Is 8 a factor of u(6)?
False
Let s(l) = -8*l + 3. Let p be s(3). Let a = 44 + p. Does 15 divide a?
False
Let y(o) = 3*o**3 - o**2. Let z be y(1). Suppose -z*g + 4*g - 18 = 0. Is 2 a factor of g?
False
Let q = -307 + 478. Is 19 a factor of q?
True
Let u be -3*(-8)/(-18)*-9. Suppose -u = -f + 4*z, -4*z - 26 + 6 = -3*f. Does 4 divide f?
True
Let w = -77 + 109. Does 16 divide w?
True
Let q(i) = -5*i**3 + 4*i**2 + 3*i - 4. Let j(y) = 24*y**3 - 21*y**2 - 16*y + 21. Let a(b) = 2*j(b) + 11*q(b). Does 12 divide a(-2)?
True
Let k be -5*((-9)/3 + 2). Suppose 2*b - k = 1. Suppose b*o + 22 = 58. Is o a multiple of 4?
True
Suppose 3*t = -2*f + 2*t + 22, 3*f + 5*t = 26. Suppose d - f = -2*d. Is 2 a factor of d?
True
Let c = 5 - 3. Suppose 237 = 2*w + 2*w + 3*i, -c*i + 58 = w. Suppose -4*x = -0*x - w. Is x a multiple of 8?
False
Is 6 a factor of (-3 + -1)/4 - -13?
True
Let u(z) = 14*z. Let p = -2 + 8. Let b = p + -4. Is u(b) a multiple of 21?
False
Let g(v) = -v**3 + 8*v**2 + 6*v + 9. Is 12 a factor of g(6)?
False
Is (-10)/(-2) - 708/(-12) a multiple of 8?
True
Let t = 22 - 34. Let l = -6 - t. Does 3 divide l?
True
Let l(m) = -2*m - 5. Let z(y) = 6*y + 16. Let b(f) = -14*l(f) - 4*z(f). Is b(6) a multiple of 18?
False
Suppose 8*q + 50 = 3*q. Let d = -22 + 43. Let f = q + d. Is f a multiple of 4?
False
Suppose -k = -y - 3, k - 2*k + 3 = -2*y. Suppose -5*a - 2*i = -5, 0 = a - 0*i + k*i + 12. Does 2 divide a?
False
Suppose 3*f - 29 - 16 = -3*v, -74 = -5*f - 4*v. Let m(h) = -h. Let z be m(-2). Suppose 5*g = 3*g, -z*n = g - f. Is 3 a factor of n?
False
Suppose -3*d = -d + 2*u - 8, 12 = 3*d + u. Suppose 18 = d*h - 14. Is h even?
True
Let s(k) = 4*k**2 + 4*k. Let f(h) = -h**2 - h. Let d(t) = -9*f(t) - 2*s(t). Let v be d(6). Suppose q + 10 = -5*p, 2*p = 3*q - p - v. Does 6 divide q?
False
Suppose -2*d + 1 = -s, 0 = s + d - 5 - 3. Let k = s - 3. Suppose 5*a + 3 = h, -k*h + 13 = 3*a - 45. Does 11 divide h?
False
Is -3*(1 - 82/6) a multiple of 38?
True
Suppose 0 = -5*v + 3*v + 350. Is v a multiple of 25?
True
Let i(t) = t**3 - t**2 - 40. Let f be i(0). Let c = -3 - -2. Does 10 divide (-2 - c)/(4/f)?
True
Does 18 divide 1/(1 - (-140)/(-1