(-3)/(-6)*(-2 - -2). Suppose -5*s + 6*s - 40 = w. Does 13 divide s?
False
Let t(f) = 2*f**2 + 7 - 3 + 4*f - 3*f**2. Let l be t(5). Does 6 divide 6 - ((-1 - l) + -2)?
False
Let d = -7 - -13. Suppose -5*i + 0*f - 3*f + 115 = 0, 5*i - 135 = f. Suppose i = 2*k - d. Is 15 a factor of k?
False
Let t be ((-12)/10)/(12/(-330)). Let y = 57 - t. Does 6 divide y?
True
Suppose -4*f = -3*g + g - 188, -g = -f + 48. Let j = f + -25. Is j a multiple of 7?
True
Let x be (-1 - -5) + 0 + -1. Suppose 10 = x*o - 8*o. Let w = 10 + o. Is 8 a factor of w?
True
Let p = -10 - -6. Let z(y) = -2*y + y + 1 - 2 - y. Does 7 divide z(p)?
True
Let k(o) = o**2 - 10*o + 8. Is 35 a factor of k(16)?
False
Let v be 21/4 + (-2)/8. Suppose -x = -2*t - v, 0 = 3*t + 2*t. Suppose 3*k + s - 26 = 3*s, -x*k + 52 = s. Does 5 divide k?
True
Let z = -86 + -53. Let q = z - -224. Suppose -h + 4*a + 5 = -12, q = 5*h - 3*a. Is 6 a factor of h?
False
Let g(z) = -z + 2. Let d be g(-3). Suppose -5*x + 311 = -4*o, -d*o - 326 = -4*x - 70. Let c = -36 + x. Does 13 divide c?
False
Suppose 149 = 2*m - 27. Is m a multiple of 14?
False
Let g(v) = -v**2 + v - 10. Let t be g(0). Let a = t - -36. Is a a multiple of 11?
False
Let p(a) = -a**3 - 2*a**2 + 9*a. Let n = 16 + -21. Is 6 a factor of p(n)?
True
Let z be 16/(-56) + 4/14. Suppose x - 92 = -3*x. Is 11 a factor of 2/(-2) + x + z?
True
Let m = 6 + -3. Let q = 27 - m. Does 19 divide q?
False
Let u(v) = -v**2 + 3*v + 5. Let w be u(6). Is 3 a factor of w/(-2) + (-6)/(-4)?
False
Let h(f) = 4*f**2 + 4*f + 5. Does 29 divide h(-3)?
True
Let x(n) = 6*n - 6. Does 15 divide x(6)?
True
Let w = -12 + 0. Let q be -36*10/w*4. Suppose -3*y = y - q. Does 15 divide y?
True
Let c(w) be the second derivative of -w**5/20 - w**4/12 - 3*w**2/2 - 2*w. Does 8 divide c(-3)?
False
Let n(v) = -v**2 - 5*v - 3. Let f be n(-3). Suppose -3*j = f*y - 111, 58 = 3*j - 2*y - 58. Does 19 divide j?
True
Suppose -2*n + 11 = -3*g, -2*n = -3*n + 3*g + 10. Let l be 2 + n*9/3. Suppose l*f = 5*j - 0*f - 85, j = -3*f + 1. Is j a multiple of 13?
True
Is 25 a factor of 1 + (-1 + 1 - 0) + 174?
True
Suppose -3*q - 5*g + 58 = 0, 2*g + 3*g = 4*q - 19. Is q a multiple of 7?
False
Let p be (-1)/2 - (-2)/4. Let c = -1 + p. Let q = c - -19. Does 11 divide q?
False
Suppose b - 5*b + 2*z + 90 = 0, -2*b - 5*z + 39 = 0. Is b a multiple of 2?
True
Let r(s) = -14*s - 20. Is 37 a factor of r(-12)?
True
Let h(k) = -18*k - 15. Is 18 a factor of h(-9)?
False
Let l be 2*(0 + (-51)/(-6)). Suppose -p - 3*k = -l, -k = p + 3*k - 21. Suppose -2*x = 2*c - 12, -p*x - 55 = -5*c - 5. Is 5 a factor of c?
False
Suppose -20 = -2*o - 2*o. Suppose 34 = 2*k - 0*g - 4*g, -5*k + 60 = -o*g. Is 7 a factor of k?
True
Suppose -3*o + 8*o = 0. Suppose h - 5*g = 18, 5*h + o*g - 5*g - 30 = 0. Suppose -h*q + q + 84 = 0. Is q a multiple of 17?
False
Does 14 divide 6/24 + (-782)/(-8)?
True
Let c(q) = -q**3 - 4*q**2 + 5*q - 4. Let m be c(-5). Is 9 a factor of (m - -19) + 3/1?
True
Suppose 0 = -2*u + 5*z - 15, -u - 12 = 2*u + 3*z. Let v(t) = t**2 - 2*t + 1. Does 12 divide v(u)?
True
Suppose -4*a + 2*a - 6 = 0. Suppose -22 = -2*b - 4*g, -4*b - 3*g + 21 = 2. Let d = b - a. Is d even?
True
Let f(d) = -d + 3. Let l be f(8). Let c = l + 15. Is c a multiple of 10?
True
Let a = 2 + 1. Suppose 4*g - 6*g = 2*k - 36, 0 = a*g + 9. Is k a multiple of 6?
False
Let d(z) = -z**2 + 7*z - 7. Let l be d(5). Let c(v) = -v**2 + 9*v - 9. Let h be c(6). Does 11 divide l*(0 - (-66)/h)?
True
Let l(y) = -y**3 + y**2 + y - 16. Let r be l(0). Let w = 43 + r. Let v = w + -17. Is 8 a factor of v?
False
Let x be 0/(-2)*1 - -30. Suppose 5*w = 3*b + x, 2*w - w + 4*b = 29. Is w a multiple of 9?
True
Suppose -2*y - 2*v - 4 = 0, y - 5*v - 19 = 3*y. Suppose y*i + 4*f = 3*f + 15, 4*f = -i + 5. Suppose r + 13 = i*l, 2*r + 4*l - 50 + 6 = 0. Does 4 divide r?
True
Suppose 2*x + 2*y - 2 = 0, -4*y + 4 = 4*x - 3*y. Let w be (x/(-3))/(3/(-18)). Suppose -5*o = s - 118, 4*o - w*s - 40 = 2*o. Does 6 divide o?
False
Does 6 divide (58/10 - -2)*5?
False
Suppose -2*v - u + 0*u = -17, -2*v + 22 = 2*u. Let a = -28 - -52. Let p = a - v. Is p a multiple of 9?
True
Let d(k) = k**3 - k**2 - k + 5. Suppose -4*y - 25 = -9*y. Suppose h + 1 = -p, -h - 4*p = y - 1. Is d(h) a multiple of 2?
False
Let b(x) = x**2 + 1. Let q(k) = 5*k**3 - 4*k**2 - k - 4. Let u(o) = 2*o**2 + 3*o + 2. Let i be u(-2). Let j(t) = i*b(t) + q(t). Does 2 divide j(1)?
True
Let s = 3 - 2. Suppose 0 = -3*g + 3*r + 3 - 0, -r = 2. Is 3 a factor of (g - -2)*6 + s?
False
Let g = 142 + 14. Does 26 divide g?
True
Suppose -4*v = -5*k + 177, 2*k - v + 113 = 5*k. Is 13 a factor of k?
False
Let y(a) be the second derivative of 7*a**5/20 - a**4/12 + a**3/6 + 2*a. Let v be y(1). Suppose 4*q = 3*k - 31, -5*k + v = -3*q - 41. Is 4 a factor of k?
False
Suppose x - 1 = -0*x. Let p be x*(-1)/2*-10. Suppose p*k - 41 = 59. Is k a multiple of 10?
True
Suppose 4*t = 218 + 202. Is t a multiple of 21?
True
Let x = -7 + 11. Suppose 16 + x = 4*c. Suppose 0*a = -c*a + 85. Is a a multiple of 17?
True
Suppose -5*a - 5*x = 110, 0*a + 28 = -a - 4*x. Let t = -12 - a. Does 8 divide t?
True
Let c(i) = -i**3 + 12*i**2 + 7*i + 13. Is c(12) a multiple of 15?
False
Let x(a) = 11*a**2 - a - 3. Let j(m) = -22*m**2 + 2*m + 5. Let i(g) = -3*j(g) - 5*x(g). Does 5 divide i(1)?
True
Suppose i = -3*i - 5*k - 11, 4*i + 14 = -2*k. Let a = i + 15. Does 8 divide a?
False
Suppose 0 = 4*b - 20, -2*b + 35 = -2*k - 3*k. Suppose -g + 2 = -3. Let m = g - k. Is 5 a factor of m?
True
Suppose -4*a - 10 = 10. Let p = 20 + a. Suppose -m = 4 - p. Is 7 a factor of m?
False
Let l(h) = 9*h**2 - h. Is l(-1) a multiple of 5?
True
Does 6 divide 4*3*(-4)/(-24)*10?
False
Suppose -5*j = 2*k - 0*k - 63, 4*k - 111 = -5*j. Is k a multiple of 8?
True
Suppose -7*m + 126 = -315. Is m a multiple of 21?
True
Suppose 0 = c - 88 - 100. Is 27 a factor of c?
False
Let l = -78 + 96. Does 3 divide l?
True
Let r = 1 - -7. Let n(c) = 2*c**2 - 10*c. Let h be n(r). Let z = h + 4. Is 18 a factor of z?
False
Suppose -4*v - 3*h = -21, 0*v = 2*v + 2*h - 8. Suppose -5*u + 5*j = 2*j - 19, v = 3*u - 3*j. Is 5 a factor of u?
True
Suppose -665 = 6*j - 11*j. Is j a multiple of 25?
False
Is 15 a factor of (-6)/33 + (-3128)/(-22)?
False
Let h be 4 + 4/6*-3. Suppose -h*p + 2 = -0*p - 4*x, -5*x = -2*p. Does 4 divide p?
False
Suppose 4*s = -2*w + 10, -3*w - 5*s = -4 - 9. Is 9 a factor of ((-18)/4)/(w/(-2))?
True
Suppose 4*p - 582 = -5*s, -p + 573 = 7*s - 2*s. Let o = s + -21. Is o a multiple of 26?
False
Suppose -24 = -3*v + 3*b, -v + 3*b = -0*v. Is v a multiple of 4?
True
Let o be (-1)/5 - (-4)/20. Let p = 2 + o. Suppose 0*n + n - 58 = -3*h, 0 = -h + p*n + 10. Is 14 a factor of h?
False
Suppose -8 = 2*b - 3*p - 2, 8 = 4*p. Suppose -3*h - 5*g + 18 = b, -3*g - 2*g = -h + 26. Is 11 a factor of h?
True
Suppose 5*g - 5*k + 2*k = 88, 5*g + 4*k - 81 = 0. Is 4 a factor of g?
False
Suppose -2*k = -0*k - a - 8, -4*a = -8. Suppose 2*p - 4*j - 6 = 0, -k*j = 5*p - 4 - 11. Suppose i - p = 3. Does 5 divide i?
False
Suppose c + 2 = 6. Let u(z) = -6*z + c*z - 2 + 3*z + 5*z. Is 14 a factor of u(5)?
True
Let u = -13 + 33. Let g = u + -14. Is g a multiple of 3?
True
Suppose 24 = 3*o + 5*k, -2*o + k = o - 6. Suppose 2*i + o*m - 115 = -2*m, 12 = 4*m. Is 13 a factor of i?
False
Let r be (-39)/5 - 5/25. Let n(k) = -k - 2. Is n(r) a multiple of 3?
True
Suppose -3*n = n - 512. Suppose -n = -5*w + 2*x - 16, 0 = 2*w - 4*x - 48. Suppose -2*r = -0*r - w. Is r a multiple of 11?
True
Suppose -2*w + 5*d + 149 = -0*w, 5 = -5*d. Is 12 a factor of w?
True
Suppose -2*x + 11 = -117. Is x a multiple of 16?
True
Suppose 5*w - 25 = 0, -5*v + 6*v - w = 157. Is v a multiple of 57?
False
Let t(y) = 3*y**3 - y**2 - 5. Is 17 a factor of t(3)?
False
Let y be 8/6*15/(-10). Is (11 - 16)/(1/y) a multiple of 5?
True
Let z(v) = v**3 + 4*v**2 - v - 3. Let o be z(-4). Let a be (o + 2)/((-9)/12). Does 13 divide (26/(-6))/(a/24)?
True
Let t(l) = -37*l. Does 13 divide t(-6)?
False
Let c(b) be the second derivative of b**4/12 - b**3/3 - 3*b**2 + 5*b. Is c(7) a multiple of 9?
False
Let q(o) = 5 - o**2 + 0*o + 0*o - 4*o. Let j be q(-4). Suppose 4*t + 12 = j*t. Is t a multiple of 12?
True
Suppose 0 = -0*t - 2*t + 8. Suppose 4*r = 2*u - 46, t*u - r + 3*r = 52. Is 4 a factor of u?
False
Let w be 