 -2*u - 5*c, u - g = 3*c. Does 18 divide u?
True
Let d = 0 + 0. Let b(m) = m**3 + 2*m**2 - 2*m - 1. Let s be b(-2). Suppose d = s*q - 2 - 154. Is q a multiple of 19?
False
Let q(v) = v**3 + v**2 + 3*v + 3. Let l be q(-2). Let w = l + 18. Does 11 divide w?
True
Let x = 37 - 19. Is 6 a factor of x?
True
Suppose -r = -n + 3*r + 80, 3*r + 81 = n. Does 20 divide n?
False
Let p = 12 + -5. Suppose 2*s - 2*o = -10, 3*s - 2 = p*s + 2*o. Is 3 a factor of ((-3)/(-6))/(s/(-24))?
True
Suppose 2*j - 5*h - 15 = 0, -5*h = j + j - 5. Suppose -n + j = 2. Suppose 23 = 4*z - n*z. Is z a multiple of 9?
False
Suppose 0 = -x - 0*x + 1, -2*k - 3*x = -103. Suppose -5*t - 135 = -25. Let u = t + k. Does 10 divide u?
False
Let i = -2 - -7. Let a(g) = 14*g - 2. Let s be a(8). Suppose -i*q + 70 = -s. Does 16 divide q?
False
Let o(h) = -2*h - 3. Let v be o(-4). Suppose -4*c + 8 = -0, -3*c = -v*k + 44. Is k a multiple of 3?
False
Let r = 19 + 14. Let g = -4 + r. Let j = -3 + g. Does 13 divide j?
True
Suppose -3*l + 49 = -2*d, -10 = 8*d - 3*d. Does 15 divide l?
True
Suppose 3*f - 15 = 4*t, -2*f + 10 = 4*t + t. Suppose 4*a + 2*p - 276 = 0, -f*a + 200 = -3*p - 167. Is 18 a factor of a?
False
Does 10 divide 106 - 2 - (-12)/(-3)?
True
Suppose -3*o + 3*t = 30, -3*o + 5*t - 14 = -4*o. Is 16 a factor of (4/o)/((-1)/27)?
False
Let i(c) = -c**3 + 8*c**2 + 13*c + 3. Is 6 a factor of i(9)?
False
Let v = -63 - -110. Does 9 divide v?
False
Let l be (-6)/33 - (-260)/(-22). Let n = 0 - l. Is 6 a factor of n?
True
Let f = 66 - 11. Let p = 80 - f. Is p a multiple of 18?
False
Suppose -2*t = -5*p - 0 + 15, -4*p - t = -12. Suppose -o + 11 = -2*l + 4*l, -2*o + 21 = p*l. Suppose 21 = c - o. Is c a multiple of 14?
False
Suppose 3*i = -2*g + 60, 4*i - 24 - 34 = -2*g. Suppose -54 = -3*o + g. Suppose o = 3*m + 5*n, 28 = 5*m + 5*n - 7. Is m a multiple of 3?
True
Let f(v) = v**2 + 6*v. Let p be f(10). Let z = p + -68. Is 19 a factor of z?
False
Let k(d) = 3*d**2 + 19*d - 12. Does 10 divide k(-9)?
True
Is 4361/28 - 3/(-12) a multiple of 39?
True
Suppose -z - 21 = 4*x, 2*z + 18 = 4*z - 4*x. Is 2 a factor of (6/7)/(z/(-7))?
True
Let u(k) = 2*k**2 + 13*k + 11. Is 10 a factor of u(-13)?
True
Let d be (-1 - -3)*(-10)/(-4). Suppose -g - 2*t = -95, 2*g + 3*t = -2*g + 380. Suppose 0 = -0*k + d*k - 4*n - g, n = 3*k - 57. Is k a multiple of 13?
False
Suppose -2*s - 2*a = -6 + 22, -4*a = -2*s - 40. Suppose 0 = -4*t + 61 - 9. Let n = t - s. Does 9 divide n?
False
Suppose -2*k = 5*k - 476. Does 26 divide k?
False
Suppose 0 = -3*i + 45 + 54. Does 20 divide i?
False
Suppose -15 = 2*g - 5*g. Suppose -146 = -g*v - z, 0 = v + 3*z + 9 - 27. Does 7 divide v?
False
Let t(a) = -a**2 - 10*a + 14. Let s be t(-11). Suppose -135 = -6*o + s*o. Is 23 a factor of o?
False
Suppose -28 = 2*a - 4*a. Suppose -a - 12 = -w. Is w a multiple of 13?
True
Let j(n) = n - 6. Let w be j(10). Suppose -20 = -c - w*c. Suppose 4*q = -c*s + 51 + 5, 4*q = -3*s + 38. Does 9 divide s?
True
Let i be (-13)/(-5) + 2/5. Suppose -2*n - i*n = 45. Let y = 7 - n. Does 8 divide y?
True
Let n(b) = -b**3 - 8*b**2 + 12*b - 3. Let c be n(-9). Is c/(-225) - (-118)/15 a multiple of 3?
False
Let i = -7 - -10. Suppose -3*m = -5*q + i*q + 42, 2*m = 0. Is q a multiple of 5?
False
Let k(c) = -c**2 - 13*c - 6. Let l be k(-5). Let q be (-46)/(-2) - (2 - 2). Let a = l - q. Is 7 a factor of a?
False
Does 30 divide 41 + (-2)/(1 - 2)*1?
False
Let c(v) = -5*v**2 - 1. Let f be c(1). Let i(s) = -s**3 - 4*s**2 + 4*s - 9. Is i(f) a multiple of 13?
True
Suppose -63 = -3*j + 24. Suppose -f = -13 - j. Is 14 a factor of f?
True
Suppose -29 + 1 = 4*a. Let x = a + 20. Is x a multiple of 4?
False
Let d be 45/(-15) + (-16)/(-1). Let r = 19 - d. Is 6 a factor of r?
True
Suppose -3*h + 27 = -36. Does 4 divide h?
False
Let n be 24/16*2/3. Let f(m) = 62*m**3 + m**2 + m - 1. Is f(n) a multiple of 16?
False
Suppose 3*h = 49 + 23. Is 4 a factor of h?
True
Let p(i) = -i**3 - 10*i**2 - 11*i - 10. Let n be p(-9). Suppose 70 = n*j - 3*j. Does 7 divide j?
True
Is 96 + 8/(-2) + 4 a multiple of 21?
False
Let x be 2/(-6) + 6/(-9). Let c be (-10 - (-4)/2)/x. Is 22 a factor of (-106)/c*(-4)/1?
False
Suppose 4*i + 3 = 11. Suppose 4*k - 115 + 19 = 0. Suppose a + 2*n - k = -n, -i*n = 0. Is 16 a factor of a?
False
Let y(a) = -11*a**2 - 1. Let n be y(-2). Is n/2*(-8)/10 a multiple of 6?
True
Suppose 0 = 4*v - 6*v - 24. Let f = v - -29. Is f a multiple of 17?
True
Suppose 117 = 4*h + 6*v - v, -2*h = 2*v - 58. Suppose -25*x - h = -29*x. Is 7 a factor of x?
True
Let j = -24 + 98. Is 9 a factor of j?
False
Suppose 2*k + 10 = 0, -c = 5*k - k + 16. Let g be ((-36)/(-15))/c*145. Suppose 3*s = -i + 18, -i + 5*i - 3*s - g = 0. Is 8 a factor of i?
False
Suppose 4*t - 35 = 2*t + 5*p, 5*t - 4*p = 130. Is 10 a factor of t?
True
Suppose 0 = -3*v + u + 7, 0*u = -5*v - 2*u + 19. Let a = 3 - v. Suppose -4*z + 68 = b, -5*b + 85 = -a*z + 5*z. Is z a multiple of 9?
False
Let c(v) be the first derivative of 4/3*v**3 + v**2 - 2 + v. Does 13 divide c(-2)?
True
Suppose 4*z + 4*g = 116, g - 7 + 4 = 0. Is 8 a factor of z?
False
Let d be ((-6)/(-5))/(9/30). Suppose 89 - 25 = d*o. Suppose -40 = -3*r - o. Is 7 a factor of r?
False
Let f = 0 + -16. Let s = f + 29. Does 5 divide s?
False
Does 19 divide (-2*3/18)/((-4)/1116)?
False
Let c = -4 - -4. Suppose c = -2*n - n - 6. Is 11 + 2/(0 + n) a multiple of 10?
True
Suppose 2*b = -3*m + m + 342, -151 = -m - 5*b. Suppose -5*n + m = 26. Does 14 divide n?
False
Let p(u) = -3*u - u**2 + 1 - u**3 + 4*u**2 - 6*u**2 - u. Let h be -3*(-2 + 1)*-1. Is p(h) a multiple of 10?
False
Suppose 0 = 3*b - 21*b + 2628. Is 22 a factor of b?
False
Let z(h) be the second derivative of h**5/20 - h**4/3 - 2*h**3/3 + 2*h. Let m be z(5). Suppose 4*u - 16 - 15 = m*o, 0 = 5*u - 5*o - 40. Is u a multiple of 9?
True
Let b = -224 - -123. Let r = b + 148. Is r a multiple of 12?
False
Suppose 108 = q - 5*c, q - 58 = -5*c - 0*c. Suppose -4*t - 177 = -t. Let l = t + q. Does 7 divide l?
False
Let h = -3 + -3. Is h/(-3)*(3 - -2) a multiple of 10?
True
Let q be (-2)/4 - 194/(-4). Suppose -4*j = -3*l + 44, -q = -l - 5*j - 8. Is l a multiple of 10?
True
Suppose 7*s - 92 = 230. Is 11 a factor of s?
False
Let t be 1*8/(-4) - -77. Suppose u - 14 = -4*h, -6*u + 3*u - h + t = 0. Is 13 a factor of u?
True
Let o(y) be the first derivative of 5*y**3/3 + y**2/2 - 1. Let p be o(2). Suppose -w - w = -p. Does 11 divide w?
True
Suppose -4*y = -g - 14, 2*y = -3 + 11. Let u(t) = t**3 + 2*t**2 - 2*t - 1. Does 11 divide u(g)?
True
Let r(s) be the third derivative of 2*s**2 + s**3 + 0 - 7/24*s**4 + 2/15*s**5 + 0*s - 1/120*s**6. Is r(7) a multiple of 5?
False
Let g(h) = h**2 - 10*h - 15. Is g(13) a multiple of 13?
False
Let k(p) = -p**2 - 4*p + 7. Let h be k(-5). Let t(i) = i**2 + 2*i. Let x be t(h). Let y = x - -22. Is 11 a factor of y?
False
Let d = 25 - 22. Is d a multiple of 2?
False
Let f(p) = -p**3 + 4*p**2 + 15*p + 5. Is 11 a factor of f(6)?
False
Suppose 5*y + 2*f - 26 = -2*f, 2*y - 4*f = -12. Suppose -y*h + 8 = 2*g, 4 = -3*g - 8. Suppose 5*n = -2*z + 37, -n = -h*z + 3*z + 25. Does 6 divide z?
True
Suppose -2*o + 5 = 3*o. Let i be (0 + o)/((-2)/(-6)). Suppose 0*m - i*m + 3*r = -3, -4 = -r. Is 4 a factor of m?
False
Let j(z) = 28*z - 22. Is j(4) a multiple of 15?
True
Let r = -130 - -206. Suppose -r = -4*w + 4*i, w + 0*w - 3*i = 13. Does 12 divide w?
False
Let d = -29 - -75. Let k be (-4)/14 + d/14. Suppose -26 = -5*a + 3*o, k*o = 4*a - 2*a - 5. Is 6 a factor of a?
False
Suppose 4*n + 4*z + 36 = 0, 0*n - 4*n + 3*z - 22 = 0. Let t(c) = -4*c - 5. Let a be t(3). Let i = n - a. Is i a multiple of 4?
False
Suppose 3 - 76 = -l. Is l a multiple of 13?
False
Suppose -4*g + 192 = 4*f, 4*g - 3*g + 4*f - 51 = 0. Is g a multiple of 3?
False
Let v(t) = t + 2. Let x(y) = -y - 2. Let i(u) = 3*v(u) + 4*x(u). Let k(c) = 3*c + 7. Let o(m) = 9*i(m) + 2*k(m). Is o(-8) a multiple of 8?
False
Let l = -17 - -27. Is 2 a factor of l?
True
Let y(u) = 3*u**2 - 2*u - 4. Is y(-2) a multiple of 6?
True
Let d(k) = -2*k**3 + 16*k**2 - 7*k + 5. Let f(b) = -b**3 + 8*b**2 - 4*b + 2. Let g(x) = -2*d(x) + 5*f(x). Is g(7) even?
False
Let y(v) = v**3 + 7*v**2 + 4*v. Does 10 divide y(-5)?
True
Let n(g) = g + 53. Is 18 a factor of n(-25)?
False
Let v(c) = c**3 + 6*c**2 + c - 1. Let