3*m - 2*c = -44. Is 18 a factor of m?
True
Let y = 23 + -10. Let m = -15 - -10. Let z = y + m. Is z a multiple of 4?
True
Let a = 0 + 0. Let r = a - -4. Is 4 a factor of r?
True
Let t = -4 - -22. Is t a multiple of 12?
False
Let k(u) = 6*u**2 - u - 3. Let w be k(4). Suppose 5*o - 4*o = -5*l + 75, 4*l - 5*o = w. Is l a multiple of 16?
True
Let z = 34 - -7. Let i = -29 + z. Is 7 a factor of i?
False
Suppose 5*g - 2*t + 129 = 0, -g + 4*g + 5*t = -96. Let x = g - -49. Does 20 divide (x - (1 - 1)) + -2?
True
Suppose -3*c + c - 6 = 0. Let b = c + 5. Suppose -b = n - 10. Is 4 a factor of n?
True
Is (-4)/(-3)*(-1581)/(-34) a multiple of 8?
False
Suppose l = 6*l - 3*f, -4*l = 4*f - 32. Suppose 5*p = 2*b - 47, -3*p = -l*b - 0*p + 57. Does 8 divide b?
True
Suppose -2*m = -8, -a - 3*m + 10 = -4*m. Is a a multiple of 9?
False
Let l be 4/8 + (-62)/4. Let b be ((-6)/l)/((-1)/(-5)). Suppose 0 = -w + 5*i + 3, -w + 2*i = -b*i - 4. Is 8 a factor of w?
True
Let x be -5*((2 - 11) + 0). Suppose 9*i = 4*i - x. Is 5 a factor of (-6)/i + 84/9?
True
Suppose 0 = -h + x + 54, x + 3*x - 176 = -3*h. Is 8 a factor of h?
True
Is 16 a factor of 2*(-2)/(-4) + 47?
True
Let w(f) = 12*f - 3. Let g be w(-4). Does 17 divide (-1)/(12/g)*4?
True
Suppose -4*s + 3 = -77. Let g = 26 + -27. Let v = s + g. Is v a multiple of 13?
False
Let s = 90 - 72. Is s a multiple of 18?
True
Suppose 2*v + 0*v - 92 = 0. Let i = v + -28. Let r = i + -13. Is 2 a factor of r?
False
Suppose -3*b + 25 = 2*b. Suppose 2*m - 65 + 19 = 4*u, -4*m - b*u + 66 = 0. Is 4 a factor of m?
False
Let v(j) = -7*j. Let u be v(-2). Let q = 21 - u. Suppose 4*n - q*n = -15. Is 5 a factor of n?
True
Let q = -17 + 39. Does 19 divide q?
False
Let g(t) = t**3 - 6*t**2 + 4*t - 3. Does 4 divide g(6)?
False
Let w = 6 + -8. Let r be (-6 + 1)*w/(-5). Is 11 a factor of (-2)/r*(12 + 1)?
False
Does 15 divide (9 - 11)/(1/(-8))?
False
Suppose 4*v = 20, -v - 22 = -z + v. Is z a multiple of 4?
True
Let y(c) = -c + 8. Let d be y(5). Suppose d*p = 5*p - 6. Is 3 a factor of p?
True
Let j(y) be the third derivative of y**6/120 - y**5/60 - y**4/8 + y**3/3 - y**2. Does 20 divide j(4)?
False
Suppose 0*v = -v. Suppose v = d + 1 - 3. Suppose -94 = -d*w - 0*w. Is w a multiple of 21?
False
Let y(p) = p**2 + 4. Let i be y(4). Let w = i - 12. Let c = 15 - w. Is 7 a factor of c?
True
Let a = 60 - 39. Is 11 a factor of (-6)/4*(-154)/a?
True
Let h = 35 + 2. Is 22 a factor of h?
False
Let h(s) = s**3 + 6*s**2 - s - 1. Let l be h(-6). Suppose -4*n = d + 19 - 103, -2*d - 105 = -l*n. Does 8 divide n?
False
Suppose -112 = -4*c + 16. Is 16 a factor of c?
True
Suppose -17*u + 16*u + 52 = 0. Does 11 divide u?
False
Suppose p - 2*p = -17. Suppose -33 = -5*o + p. Is 9 a factor of o?
False
Is 13 a factor of 2 + -4 - (-4 + -21)?
False
Is -1*(4 + -4) + 12 a multiple of 4?
True
Let t(j) = -j**2 + 9*j + 1. Is t(6) a multiple of 3?
False
Let j = -7 + 4. Let v(w) = -w**3 - 3*w**2. Let y be v(j). Suppose 3*n + n - 8 = y. Is 2 a factor of n?
True
Let w(l) = -3*l - 7. Let f(j) = 14*j + 36. Let d(g) = 2*f(g) + 11*w(g). Suppose 52 = -3*x + 25. Is d(x) a multiple of 14?
False
Suppose 2*d - 46 = -2*y, 0 = 2*d - y + 5 - 42. Suppose 3*v = -12, -5*v + d = 4*i + 4. Does 9 divide i?
True
Let t(p) = -4*p + 4 - 4 + p**3 - p**2. Is 16 a factor of t(4)?
True
Suppose -k - k + 169 = 5*m, m = -2*k + 37. Is m a multiple of 6?
False
Let j = -1 - -6. Suppose 0 = -0*n - n + 4*h - 15, -h + j = n. Is ((-24)/(-15))/(n/10) a multiple of 16?
True
Suppose -32*b + 6 = -30*b. Suppose 1 = -4*h + 45. Suppose -q = -2*m - h + b, q - 5*m - 17 = 0. Is q even?
True
Let m be (0 + 7)*1/(-1). Let o(a) = a + 1. Let t(l) = 7*l. Let n(v) = 3*o(v) - t(v). Is 11 a factor of n(m)?
False
Suppose -5*n + 22 - 3 = -4*u, -n + 4 = -u. Is 7 a factor of 23 + (u - (0 - -1))?
True
Suppose i + 13 - 185 = 0. Let p = i + -25. Let l = p + -88. Is l a multiple of 24?
False
Suppose -y = -z + 2*z, -3*z = y - 4. Does 2 divide z?
True
Suppose -f + 5*y = 2*f, 0 = f + 2*y. Is -1 + f/2 - -21 a multiple of 20?
True
Suppose 7 = s + 1. Does 4 divide s?
False
Let z = -152 + 456. Is z a multiple of 13?
False
Suppose -3*v = 2*v - 10. Suppose 0 = v*x - 5*x + 6. Suppose 3*z = x*h - 27, -z = -4*h + z + 34. Is 5 a factor of h?
False
Let f be ((-16)/6)/((-2)/3). Let x(l) be the first derivative of l**4/4 - l**3 - 3*l**2/2 + 6*l - 2. Is x(f) a multiple of 5?
True
Suppose 5*x - 57 = 153. Is 15 a factor of x?
False
Suppose -6*u = -8*u + 104. Is 11 a factor of u?
False
Suppose 5*x = -4*p + 95, p = -3*p + 5*x + 105. Does 25 divide p?
True
Let b = -7 - -5. Is 11 a factor of 0/b + (1 - -34)?
False
Suppose 0 = -0*f + 3*f + 54. Let v = f + 48. Is 10 a factor of v?
True
Let g = 22 + -6. Suppose -2*l = -g - 28. Is l a multiple of 6?
False
Does 15 divide 91/3 - 2/6?
True
Let y(k) = -k**3 - 2*k**2 - k. Let c be y(-2). Does 31 divide (-1967)/(-28) - c/8?
False
Suppose 0 = -5*z + 2*r + 28, 4*z - 24 = -r + 3*r. Suppose -z*i + i + 36 = 0. Is 4 a factor of i?
True
Let t(o) = 4. Let y(u) = u + 3. Let k(w) = -3*t(w) + 4*y(w). Let x be k(1). Suppose -2*m = -x*g + 52, -20 = -g + 2*m - 1. Does 7 divide g?
False
Let i(y) = -y**3 - 3*y**2 - y + 2. Let a be i(-2). Suppose a*k + k = 2. Is k even?
True
Suppose v + 5*d - 29 = 0, -d + 3*d = -4*v + 80. Is 7 a factor of v?
False
Let n(r) = -2*r + 14. Let h(b) = 1. Let l(f) = 10*h(f) - n(f). Does 8 divide l(8)?
False
Let y(i) = -i**3 - 10*i**2 + 17*i + 21. Does 15 divide y(-12)?
True
Let h be (-1)/3 + 58/(-6). Let r = -7 - h. Is r a multiple of 2?
False
Let l(s) = 0 - 3 - 5*s + 2. Suppose -4*u + 0*u + 4*g = 16, -10 = u - 3*g. Does 3 divide l(u)?
False
Let l(a) = -3*a - 6. Let y be l(8). Let c = 123 + y. Suppose -2*r + c = r. Does 12 divide r?
False
Let y(h) = -h**2 + 10*h - 4. Let z be y(9). Suppose 2*u - 4 = 4*f, f - 10 = -z*u - f. Suppose -u*i - i = -6. Is i even?
True
Let w be 7 - 8 - (2 + -6). Suppose d - 8 - 56 = -2*s, -160 = -5*s - w*d. Does 16 divide s?
True
Suppose -153 = -2*p + 49. Does 25 divide p?
False
Suppose 3*b = c + 2*b - 8, c - 3*b = 18. Suppose -3*w - c = -18. Is w a multiple of 2?
False
Let k(a) = a**3 + 3*a**2 - 2*a - 1. Let j be (5 + (1 - 0))/(-2). Does 3 divide k(j)?
False
Suppose -4*i = 62 - 662. Is 16 a factor of i?
False
Let d = 3 - 6. Is 4 a factor of (-30)/20*16/d?
True
Does 7 divide -1*(-4)/(-4) - -29?
True
Let s(l) = -l + 5. Let w be s(3). Suppose 5*a = j + 84, w*j + j + 48 = 3*a. Is 13 a factor of a?
False
Suppose 108 = -4*s + 40. Suppose -3*t + 0*t + 111 = 0. Let c = t + s. Is 10 a factor of c?
True
Let f(j) = -25*j**2 - j. Let w be f(-1). Let z = w - -40. Let h = z + 40. Is 28 a factor of h?
True
Suppose 4*d + 5 = -o, -8 + 0 = 3*o + 5*d. Suppose -s - 2 = -10. Let k = s - o. Does 6 divide k?
False
Suppose 0 = -5*v - 7 + 77. Does 4 divide v?
False
Let j(r) = r**3 + 7*r**2 - 2*r - 7. Let v be j(-5). Suppose v = -2*u + 5. Is (-2)/(((-15)/u)/(-5)) a multiple of 14?
False
Let l(i) = 7*i**2 + 3 + 5*i - 2*i - i. Is 25 a factor of l(-2)?
False
Suppose 4*s - 4*y - 74 = -2*y, -y - 19 = -s. Does 9 divide s?
True
Let r = 10 + -13. Let u be (-20)/r + 2/6. Does 10 divide u/(-14) + (-122)/(-4)?
True
Let s(i) = -2*i - 8. Let r be s(-6). Suppose 5*h - 85 = -2*b, 7*b - r = -h + 4*b. Is h a multiple of 15?
False
Suppose o - 17 = 81. Let k = 6 - 1. Suppose o + 62 = k*d. Is d a multiple of 16?
True
Let k(i) = -5*i**3 - i**2 - 1. Let v be k(-2). Suppose 0 = -3*u + 15, u - 15 = 3*m + v. Does 6 divide (m/(-2))/(2/4)?
False
Let n(a) = -3*a + 6. Let s be n(4). Let b(c) = c**3 + 2*c**2 - 3*c. Let t be b(-4). Is t/s*(-1 + 4) a multiple of 6?
False
Suppose 5*x = -4*h - 20 + 3, 4*h = 4*x - 8. Let s be h/(-6)*2 - -2. Suppose g - 2*g = 4*t - 103, -s*t + 3*g + 66 = 0. Is t a multiple of 11?
False
Let s(u) = u**2 + 23*u - 83. Does 5 divide s(-29)?
False
Let d = -8 + 12. Suppose 34 = d*k - 46. Does 20 divide k?
True
Let l be 15/2 + 1/(-2). Is 5 a factor of (-148)/(-28) + (-2)/l?
True
Suppose -3*i - 5*p = 12, 3*i + 4*p + 12 = -0*i. Let c(t) = -t**2 - 3*t + 5. Let x be c(i). Suppose -x + 21 = 2*r - 2*u, u - 12 = -r. Is 5 a factor of r?
False
Is 6 a factor of -5*((-204)/60 - (1 + 2))?
False
Let d be 3/6 + (-1)/(-2). Suppose -4*z = 4*v - 36, -5*v = 3*z + d - 24. Does 9 divide z?
False
Let b(s) be the second derivative of -s**7/840 - s**6