Suppose 0 = 2*m - 5*m + 4*p + 60, 4*m + 5*p - 49 = o. Is 8 a factor of m?
True
Let x be 12/((-1)/(30/(-4))). Suppose 4*i = i + x. Is 10 a factor of i?
True
Let v(y) = y**3 - 6*y**2 + 5*y - 2. Let z be v(5). Let g be z + 3 + 129 + -1. Suppose -11 = -5*s + g. Is 14 a factor of s?
True
Let l = -12 - -16. Suppose 0 = l*z + 2*k - k - 99, -2*z + 42 = 2*k. Does 14 divide z?
False
Let p(l) = l**3 + 2*l**2 - 2*l - 1. Let c be p(-3). Let m be (2 - 4)*2/c. Is -1*28/(0 - m) a multiple of 14?
True
Let d(q) = -2*q**2 - 13*q - 9. Let r(j) = 3*j**2 + 14*j + 9. Let k(m) = 4*d(m) + 3*r(m). Is k(11) even?
True
Suppose -5*b + 20 = 0, 4*b + 0*b - 19 = -y. Suppose 3*h - 108 = y*o, 2*h - 3*o - 2*o - 78 = 0. Let l = h + -7. Is l a multiple of 12?
False
Let t(w) = w - 8. Let v be t(6). Is 13 a factor of -26*(-1 - v)*-1?
True
Let j(d) = 3*d**3 - 8*d**2 - 3*d - 4. Let f be j(-3). Is 11 a factor of (f/10)/(8/(-20))?
False
Does 9 divide (-1)/(((-16)/24)/((-356)/(-6)))?
False
Let s = 0 - -6. Does 5 divide s?
False
Let k(h) = -4*h - 20. Let m(l) = -l - 7. Let t(s) = -3*k(s) + 8*m(s). Let g(w) = 5*w**2 + w + 2. Let z be g(-1). Is 18 a factor of t(z)?
False
Suppose 2*u + 474 = 3*u. Suppose 2*k = -5*o + 3*k + u, -2*o + 185 = -5*k. Let s = -67 + o. Does 14 divide s?
True
Suppose -6 = 2*g - 3*g. Does 2 divide g?
True
Suppose 5*m = -5*c - 95, 5*m - 3*c + 27 = -28. Suppose 36 = -3*z - 5*h, -3*z - 3*h - 16 = -2*z. Let x = z - m. Is x a multiple of 7?
True
Let z = 103 - 16. Does 13 divide z?
False
Let t be 39/(-15) - 6/15. Let n = t - -6. Suppose 2*j = -2*j + 3*m + 45, 2*j + 5*m = n. Is j a multiple of 7?
False
Suppose 5*z + 5 = 25. Suppose -z*c - c = 30. Does 11 divide (-10)/(-3*c/(-45))?
False
Let u = 35 - -70. Suppose 7*j - 2*j = u. Is 21 a factor of j?
True
Let b be 6/15 + (-44)/10. Let r(q) be the second derivative of -q**3 + q**2/2 - q. Is 10 a factor of r(b)?
False
Let g be 30/5*4/6. Let a(h) = 3*h + 3*h**3 - 3*h**3 - 3*h**3 + g*h**3 - 9 - 5*h**2. Is 13 a factor of a(6)?
False
Let c(x) = 3*x**3 + 2*x. Is 39 a factor of c(3)?
False
Let k(v) = v**2 + 2*v + 1. Let o(q) = -3*q**3 - q**2 - q + 1. Let l be o(1). Let s be k(l). Is 84/s*(-3)/(-1) a multiple of 12?
False
Let r be 1/(-4)*(-10 - -6). Suppose -5*n + 71 = 4*g, -3*g + 2*g = r. Does 15 divide n?
True
Let w(n) = 12*n + 8. Does 11 divide w(6)?
False
Let u = -24 + 58. Suppose 0 = 2*z - u + 8. Is 3 a factor of z?
False
Suppose 5*j = -5*d + 30, j - 1 = -2*d + 6. Let m(l) = 5*l**2 + 2 + 2 - 3. Is m(d) a multiple of 6?
True
Let f = -5 - -9. Suppose 10 = 4*a + f*m - 30, -2*m = -2. Is a a multiple of 5?
False
Let c(i) = i**3 + 6*i**2 - i + 2. Let h be c(-6). Suppose -3*z - 123 = -h*z - q, -2*z + 51 = q. Is 8 a factor of z?
True
Suppose 2*c + 3*c = 220. Let k = c + -18. Is k a multiple of 13?
True
Let r(m) = 12*m**2 - 5*m + 18. Does 14 divide r(5)?
False
Let k(v) = v**3 + 5*v**2 - 6*v + 12. Does 12 divide k(-6)?
True
Let h be (-10)/(-2)*(-6)/(-10). Suppose 2*p + h*q = -26, q + 3*q = -3*p - 39. Let n = p - -31. Is n a multiple of 13?
False
Suppose -2*r + 3 + 5 = 0. Suppose -9 = v - r*v. Is (v - 7)/(0 + -2) a multiple of 2?
True
Is 2*6*(-3)/(-9) even?
True
Suppose 4*p + i + i - 226 = 0, -5*p + 4*i = -315. Is 6 a factor of p?
False
Let b(r) = r**2 + 9*r + 10. Does 3 divide b(-9)?
False
Is 41*1 - (4 + -3) a multiple of 24?
False
Let c = -16 - -9. Let v(p) = -6*p - 17. Does 21 divide v(c)?
False
Suppose 16 = 3*s - 386. Suppose -22 + s = 4*h. Is h a multiple of 14?
True
Let m(s) = -2*s + 7. Is m(-5) a multiple of 5?
False
Does 38 divide 3/1*(760/(-12))/(-5)?
True
Suppose -c = 2*c - 15, 5*a - 75 = -5*c. Is a a multiple of 5?
True
Let u(r) = 60*r + 12. Does 16 divide u(3)?
True
Suppose -3*a + k + 137 - 9 = 0, -2*a + 82 = k. Is 14 a factor of a?
True
Suppose 0 = -0*s + 2*s - 6. Suppose -s*y - y + 20 = 0. Suppose -36 = -y*t + 2*x, t - 4*x - 3 = 15. Does 3 divide t?
True
Let n(d) = d**3 + 10*d**2 + 8*d + 4. Is 2 a factor of n(-9)?
False
Suppose n = -n + 4. Suppose -5*i + 4 = -q - q, 0 = n*q - 3*i. Suppose -4*k + z + 71 = 0, 6*k - q*k - 82 = -5*z. Is k a multiple of 11?
False
Does 30 divide -6*(-116)/8*2?
False
Let k be ((-6)/(-3))/((-2)/(-4)). Suppose -k*z = 4*x - 36, 2*z + 3*z - 5 = 5*x. Is z a multiple of 2?
False
Suppose 0 = -0*f - f - 48. Let l = f + 82. Is 21 a factor of l?
False
Let h = -32 + 23. Let a be (2 - 5)*(-24)/h. Is 7 a factor of 27/(-6)*a/3?
False
Suppose -3*a = -6*a - 12. Let n = a + 34. Is 8 a factor of n?
False
Let f(y) be the second derivative of 31*y**4/24 - y**3/6 + 2*y**2 - 3*y. Let m(o) be the first derivative of f(o). Is m(1) a multiple of 10?
True
Let y = -13 - -37. Suppose 2*p = -5*i + y, -2 + 5 = -p. Suppose -i*o + 3*o = -66. Is o a multiple of 11?
True
Suppose v + 45 = -4*v. Let l = 22 + v. Is 13 a factor of l?
True
Let f = -44 - -106. Is 27 a factor of f?
False
Let y be -1*(9/3 - -2). Let f = y + 35. Is 11 a factor of f?
False
Suppose -24 - 8 = -2*p. Does 3 divide p?
False
Let g = 4 - -4. Let t be (-323)/4 + (-2)/8. Does 13 divide t/(-4) + (-2)/g?
False
Suppose -4*v + 256 = 5*q, -v + q + q = -64. Is 21 a factor of v?
False
Let o(x) = -9*x - 1. Let l be (1 - 2)/(3/(-12)). Let v be o(l). Let q = -20 - v. Is 17 a factor of q?
True
Let o be ((-4)/1)/2 + 47. Let i = -28 + o. Suppose i = 2*r - r. Does 17 divide r?
True
Let a be 4 - (1 + 0) - 0. Let v be (1*-6)/(-5 + a). Suppose -v*g = -6*g + 24. Is 4 a factor of g?
True
Does 8 divide 18*(11 + 2 + -6)?
False
Let y(s) = s**3 - s**2 - 2. Let p be y(0). Is 1 - p - (2 + -5) a multiple of 3?
True
Suppose 3*u = -0*u + 21. Is 3 a factor of u?
False
Let a be (1 + 0 + -2)*25. Is 2 a factor of a/(-5) + 1 + -2?
True
Let o be (0 - 2) + (0 - -4). Let x be ((-11)/o)/(5/(-10)). Suppose t + 0*t - x = 0. Is 5 a factor of t?
False
Let h = -100 + 28. Is 3 a factor of h/3*1/(-2)?
True
Let j(g) = 4*g**2 - 6*g - 35. Is 19 a factor of j(-5)?
True
Suppose -3*w + w - 22 = 0. Let g be (-2 - w)*10/3. Suppose -g = -x + a, -2*x + 4*x - a = 57. Does 9 divide x?
True
Let l(j) = 8*j + 8. Let z = 5 + 3. Is 24 a factor of l(z)?
True
Suppose -4*j + 3*s = -2*s - 57, -3*j = s - 38. Does 5 divide j?
False
Suppose -19 = 4*z - 331. Does 6 divide z?
True
Does 12 divide (40/6)/(3/9)?
False
Let i be ((-7)/(-21))/((-1)/(-6)). Let j(k) = 3 + k + k**3 - 2*k**i + 7*k**2 + 0*k**2 - 2. Is 11 a factor of j(-2)?
True
Suppose 2*o + 3*o - 450 = 0. Suppose 0 = 3*y, y = 2*x - 0*x - 274. Let m = x - o. Does 17 divide m?
False
Let s be -1*1/(-2)*0. Suppose 0 = -s*z - 3*z + 132. Is 14 a factor of z?
False
Let a(j) = -j**3 - 9*j**2 - 9*j - 3. Let u be (-1 + 0)*9 - -1. Let c be a(u). Let g = c - -16. Is 7 a factor of g?
True
Is 23 a factor of 8/3 + -3 - (-346)/3?
True
Suppose -3*f + 5*y + 15 = 0, -f = f + 5*y + 15. Suppose -8 = -4*u - f*u. Is 10 a factor of u/10 - 588/(-35)?
False
Let u be 4 + 1/(-2)*0. Suppose -3*o - 15 = -u*o. Is 5 a factor of o?
True
Suppose u + 4*u + 82 = k, -k = -4*u - 82. Is 7 a factor of k?
False
Let q = 69 + -49. Suppose u + 9 = r + 2, 3*r - q = 4*u. Does 4 divide r?
True
Suppose -4*p + 6*p = 8, -4*p = -5*n + 9. Is n a multiple of 2?
False
Let u = -159 - -234. Is 12 a factor of u?
False
Does 12 divide 50141/261 - 1/9?
True
Let l be ((-6)/(-4))/(9/1236). Suppose -4*z + 5*b + l - 38 = 0, z + 3*b = 25. Does 16 divide z?
False
Suppose 7*z - 4*z = 6. Suppose 58 = y + 3*h, -69 - z = -2*y + 3*h. Does 16 divide y?
False
Suppose 0 = 5*h + 20, y - 2*h - 5 = 3. Suppose 5*p + 0*p = y. Suppose v - 7 = -p*v. Does 3 divide v?
False
Suppose 0 = 5*q - 119 - 171. Suppose -2*t = -2*m + q, 3*m - 7*t = -2*t + 91. Is m a multiple of 9?
True
Suppose -z - 72 = -g + 8, 3*z = -g + 80. Is g a multiple of 16?
True
Let t(y) = y**2 - y - 6. Does 2 divide t(-3)?
True
Let y = 2 - -5. Let t(s) = s**3 - 7*s**2 + 5. Is t(y) a multiple of 3?
False
Suppose 0 = 2*h + 1 - 3. Let y(q) = 7 - 1 - 6 + 27*q**2. Is y(h) a multiple of 9?
True
Suppose -6*n - 320 = -n. Let m be n/(-36) + (-2)/(-9). Suppose -4*d = -3*i + 22, 4*i - m = -4*d + 46. Is i a multiple of 8?
False
Suppose -a = 5*a - 60. Does 2 divide a?
True
Does 15 divide (0 + -1)*-76 - 1?
True
Let v(m) = -m**3 - 6*m**2 - 2*m - 6. Let r be v(-6). Suppose -3*t + r = -6. Let c = t - 0. Is 4 a factor of c?
True
Let z(j) = j - 1. Let w be z(-2). Let l = w - -21. Does 9 divide l?
True
Let b be 