 = 3*k + 5*i, 2*k + i - 43 = 0. Is k a multiple of 4?
False
Suppose 0 = -3*m - 0*q + 2*q + 2, -2*m + 5*q = -16. Let b be 0 - (25 - (3 - 1)). Does 4 divide m/(-5) - b/5?
False
Let u be 3*(-4)/(-6) + 1. Suppose 25 = 5*x + 5*n - 0*n, -2*x + u*n = -5. Does 4 divide x?
True
Suppose 17 = n + 3*z, 4*z = -0*n - 3*n + 26. Suppose 2*f = 5*v - 12, 0*v + 4 = -n*f + v. Let i(x) = 35*x**2 + x. Is i(f) a multiple of 11?
False
Let r = 32 + -28. Is r a multiple of 3?
False
Suppose 1 = m - 10. Let h be 2 + m + 2 + 3. Does 5 divide (-3 + 2)/((-2)/h)?
False
Let b be ((-10)/4)/(3/(-6)). Suppose 0*u - b*u - 35 = 0. Let d = u + 11. Is d a multiple of 2?
True
Let c(k) = k**3 - 10*k**2 - 10*k - 11. Let l be c(11). Suppose l = 8*v - 4*v - 176. Is 14 a factor of v?
False
Let i = -4 + 10. Does 8 divide 6/i - (0 + -15)?
True
Let h(v) = 24*v**2 - v + 1. Is 12 a factor of h(1)?
True
Suppose -7 = 5*m + 13. Let o be m/(-2) + (-3 - -3). Suppose 34 + 2 = o*s. Is 11 a factor of s?
False
Is 1 - -2 - 5/5 - -184 a multiple of 43?
False
Suppose 3*n - 416 = -n. Is n a multiple of 21?
False
Let m = 0 - -34. Does 9 divide m?
False
Suppose -2*n + 0*n + 10 = 0. Suppose n*z + 0*f + 19 = f, -25 = 3*z - 4*f. Is 14 a factor of 1 - -33*(z + 4)?
False
Let j(x) = -x**3 - 15*x**2 + 16*x + 39. Is 39 a factor of j(-16)?
True
Suppose i = -3*n - 2*i + 141, 146 = 3*n - 2*i. Suppose 0*f + n = 4*f. Is 6 a factor of f?
True
Let q be -1 - (0/(-2) + -294). Let a = q + -203. Suppose a = 4*v - 2*i + 14, 57 = 3*v - i. Is v a multiple of 8?
False
Let k(f) = -f**2 - 6*f + 8. Let c be k(-7). Let p(a) = a**3 - 6*a**2 - a + 4. Let h be p(6). Is c*(0 - -10) + h a multiple of 8?
True
Does 6 divide (-1)/(-1) - (-66)/2?
False
Let i be 1 + -1 + 1 + 218. Does 13 divide (-2)/(-6)*i - 0?
False
Does 2 divide (-12)/3 - (-5 + -8)?
False
Suppose 4*d - 44 = -2*a + 3*d, 2*a - 3*d - 60 = 0. Does 6 divide a?
True
Let v = -19 - -39. Is v a multiple of 10?
True
Let u(k) = k**3 + 16*k**2 + 10. Is u(-16) even?
True
Let q(x) = -2*x + 5. Does 5 divide q(0)?
True
Let h(j) = -j**2 - 10*j + 2. Let b(r) = r**2 + 1. Let y(w) = -2*b(w) - h(w). Let f be y(4). Suppose 0 = 2*k + 4*a - f, 5*k - 89 = a + 2*a. Does 16 divide k?
True
Let j(t) = -t**2 - 24*t - 11. Is j(-12) a multiple of 21?
False
Suppose -5*u = -8*u + 18. Suppose -u*l + l = -85. Is 3 a factor of l?
False
Let x = -13 - -29. Is x a multiple of 16?
True
Let n(z) = 2*z**3 + 3*z**2 + 1. Let c be n(-3). Let m = -16 - c. Is 5 a factor of m?
True
Let j = 5 - 8. Let s(c) = -c**3 - 2*c**2 - 4*c - 1. Is 10 a factor of s(j)?
True
Let m = 81 - 50. Is m even?
False
Suppose v + 4*v - 10 = 0. Let o be (3/(-9))/(v/(-90)). Suppose -a = -5*k + o, 6*a + k = 3*a + 19. Is 5 a factor of a?
True
Let u = 3 + 2. Suppose u*g - 66 = 3*a, -2*a + 0*a = -4*g + 52. Is g a multiple of 12?
True
Suppose -3*v + 28 = -4*u + 92, -61 = -3*u - v. Does 10 divide u?
False
Suppose s + 4*s - 4*n = -13, -2*s - n - 13 = 0. Let c be 3*(s/(-3))/1. Suppose -c*p = -3 - 32. Does 7 divide p?
True
Suppose 5*k + 22 - 102 = 0. Suppose 5*c - 5*l = -45, 3*c + 2*l + 19 = l. Let d = k + c. Is 9 a factor of d?
True
Suppose 0 = -3*r - 9 + 117. Is 10 a factor of r?
False
Suppose -10*a + 72 = -7*a. Is 8 a factor of a?
True
Does 5 divide 3/(-2)*(-152)/12?
False
Suppose -3*y = -3*a - 3, -5*y + 8 = -3*y. Suppose 5 - 35 = -a*h. Is 5 a factor of h?
True
Does 3 divide (-138)/15*(-55)/22?
False
Let f be 3 + (2/1 - 1). Suppose 54 = -y + f*y. Does 9 divide y?
True
Let k(f) = 2*f**2 + 10. Does 4 divide k(0)?
False
Suppose 0 = 3*o + m - 273, -5*m + 178 = 2*o - 3*m. Does 23 divide o?
True
Let b = -62 - -118. Suppose 0 = v - 3 - 0. Suppose -b = v*a - 5*a. Is a a multiple of 14?
True
Let q be 7 - 4 - 138/(-2). Suppose -q = -4*z + 76. Is z a multiple of 17?
False
Suppose 2*b + 1 = -3. Does 13 divide (-1 - (b - 1)) + 13?
False
Let d(q) = -q**2 - 16*q - 33. Is d(-10) a multiple of 27?
True
Let n = -5 - -8. Suppose 5*i = 2*r + 41, 2*r + 20 = -i + n*i. Is i a multiple of 2?
False
Let c(d) be the first derivative of d**4/4 - 11*d**3/3 + 13*d**2/2 + 10*d - 2. Is c(10) a multiple of 14?
False
Let z(p) be the second derivative of p**5/20 - p**4/4 - p**3/6 + 2*p**2 + 3*p. Let n be z(3). Is 8 a factor of n*5 + 15/5?
True
Suppose 3*q = -q + 5*h + 52, -3*h = -5*q + 52. Suppose 5*n + 4*c + 43 = 0, c + q = -2*n + 4*c. Let w(b) = -2*b + 1. Is 6 a factor of w(n)?
False
Let g(s) = -4*s + 5. Let m(o) = -21*o + 24. Let c(j) = -11*g(j) + 2*m(j). Let l be c(6). Suppose -3*i - 3*q + 9 = -6, -24 = -2*i + l*q. Is i a multiple of 7?
True
Is 30 a factor of 11/(-77) + (-422)/(-14)?
True
Suppose 5*m = 140 + 10. Is m a multiple of 30?
True
Does 5 divide 477/3*(-6)/(-9)?
False
Let f(b) = b**3 - 5*b**2 - 4*b - 6. Let x be f(6). Let n be x*(-3)/6*11. Does 11 divide (n/(-6))/((-1)/(-4))?
True
Let z(a) = -3*a + 6. Suppose -3*v - 20 = 4. Let j be z(v). Let f = j + -20. Is 5 a factor of f?
True
Let i(b) = b**2 + 3*b + 1. Let s be i(-3). Let q = 2 - s. Let n = q + 7. Is n a multiple of 4?
True
Let v = -1562 - 1023. Is 4/(-7) - v/77 a multiple of 7?
False
Suppose -4*b + 14 = -10. Suppose -3*f - 33 = -b*f. Is f a multiple of 4?
False
Suppose -4 = -l - 2. Suppose -5*n = -l*p + 119, -n + 3 = -0. Is p a multiple of 30?
False
Suppose -v - 4*q - 1 = 0, -2*q = -v - 3*q + 2. Suppose 4*y - 141 = -3*s, -4*s = -v*y - 10 + 97. Is y a multiple of 11?
True
Let u(a) be the second derivative of -a**5/20 + a**4/4 + a**3 - 5*a**2/2 + a. Does 2 divide u(4)?
False
Let h(v) = -3*v + 0 + 2 + 4*v**3 - 1 + 6*v**3. Let q be h(2). Suppose -5*t + q + 25 = 0. Is 10 a factor of t?
True
Suppose 0*r + 5*r = 10. Suppose -g = r*g. Suppose -4*j + g*t = -2*t - 66, 3*j - 2*t = 51. Does 5 divide j?
True
Let m(x) = -x + 12. Let b = 6 + -7. Let y be 0/b*1/2. Is m(y) a multiple of 7?
False
Let l be -1 - (-1 + 8)*-1. Let z(v) be the first derivative of -v**3/3 + 11*v**2/2 + 6. Is 16 a factor of z(l)?
False
Suppose -5*d - 3 - 7 = 0. Let w = 0 - d. Is 2 a factor of w?
True
Suppose 5*g + g - 474 = 0. Is 37 a factor of g?
False
Let w be (1185/4)/5*4. Suppose k - f = -0*k + 81, 3*k - f = w. Let m = -54 + k. Is m a multiple of 12?
True
Let f = -6 - -10. Suppose 0 = f*x - 244 + 100. Does 12 divide x?
True
Let h(p) = 2*p**2 - 18*p - 14. Is h(19) a multiple of 28?
False
Let r(w) = -w**3 - 13*w**2 - 5*w + 3. Does 17 divide r(-13)?
True
Suppose -4*m = s - 136, 86 = 2*m - s + 6*s. Is m a multiple of 9?
False
Let z(l) = -l**3 - 14*l**2 - 18*l + 4. Let t be z(-13). Let a = t + -39. Does 9 divide a?
False
Suppose 2*t - 228 = -30. Does 33 divide t?
True
Let r = 7 - 3. Suppose 0*o = 4*o + r*y + 8, -5*o + 26 = -4*y. Does 2 divide o?
True
Suppose -9*l + 4*l = 180. Let y be (-10)/(-4)*l/(-30). Suppose -a = -y - 1. Is 3 a factor of a?
False
Suppose -103 = 3*w + 260. Let h be (w/(-3))/((-3)/(-18)). Is 1/(-3) + h/6 a multiple of 20?
True
Let j be 0/4 - (-5 - 0). Let u = 0 - j. Is (2/u)/((-2)/130) a multiple of 13?
True
Let f = -14 + 0. Is 11 a factor of (3/2)/((-1)/f)?
False
Let y = 19 - 10. Let w(s) = -5*s - 2. Let a(g) = -4*g - 2. Let m(r) = -4*a(r) + 3*w(r). Does 6 divide m(y)?
False
Let i = 50 - 26. Does 6 divide i?
True
Suppose -5*m + 0*m = -10. Let a(x) = x**2 - 2*x - 5. Let v be a(-9). Suppose w - v = -4*o - m*w, -3*o = -5*w - 56. Does 10 divide o?
False
Let r = -25 - -37. Let l(x) = 4*x - 18. Is l(r) a multiple of 10?
True
Let o(p) = -p + 6. Let m be o(9). Let z be ((-1)/(-1)*m)/(-1). Suppose 0 = 4*f - 5*c - 72, f + z*c = -2*f + 54. Is f a multiple of 10?
False
Suppose -v + 34 - 92 = -2*u, 0 = -3*u - 2*v + 94. Is 10 a factor of u?
True
Suppose 2*f - 4*y - 20 = y, 4*f - 40 = y. Let i(o) = -2*o**2 + f + o**2 - 2 + 7*o. Is i(7) a multiple of 8?
True
Let g = 0 - -3. Let b(r) = r - 2*r + g*r. Is b(2) a multiple of 4?
True
Suppose -3*g + 0*g = 117. Suppose 4*c + 11 + 61 = -4*j, 4*c + 6 = -j. Let s = j - g. Does 14 divide s?
False
Let o = 6 - 4. Suppose o*y + 171 = 3*g + 2*g, 83 = -y + 5*g. Does 5 divide (-6)/(-27) - y/9?
True
Suppose 5*o - 3*o + 634 = 0. Let w = o + 645. Does 14 divide 2/3 - w/(-12)?
True
Suppose 2*y - 3*y = 0, 5*y = p + 5. Let m be ((-3)/p)/(4/20). Suppose 0 = 4*g + m*n - 47, -29 = -g - 2*g - n. Does 4 divide g?
True
Suppose 0 = 4*a - 3*a - 4. Suppose -43 = n + 5*g, a*n - 66 = 6*n + 5*g. Let b = n + 43. Is b a multiple of 20?
True
L