divide y?
True
Suppose m - 3 - 4 = 0. Let a = m + -4. Suppose -f - a*f + 20 = 0. Is 2 a factor of f?
False
Suppose -5*m = -m - 44. Suppose 2*g - 7 = m. Suppose 0 = -5*w + 41 + g. Is 10 a factor of w?
True
Let v = 83 + -11. Does 10 divide v?
False
Let n(s) = -4*s**3 - s - 1. Let j(h) = -h**3. Let m(y) = -3*j(y) + n(y). Let p be m(-2). Suppose -p = 2*a - 31. Is a a multiple of 10?
False
Let l(r) = r + 1. Let k(u) = u**2 + 4*u + 3. Let x(w) = k(w) - 2*l(w). Is x(2) a multiple of 3?
True
Suppose -4*b + 2*z + 14 = 0, -3*b - z - 1 = -4*b. Is 4 a factor of b?
False
Suppose -j = 2*j + 4*d - 4, 5 = -4*j + 5*d. Suppose j = -5*c + 2 + 43. Let u = c - 0. Does 4 divide u?
False
Suppose -3*w - 4*d = -21, 8*w - 3*w - d = 12. Suppose q = w*z + 35, 4*q - 2*q + 40 = -5*z. Let m = 15 + z. Is 2 a factor of m?
False
Suppose -d = 5 - 1. Is 17 a factor of 2/d - 309/(-6)?
True
Does 4 divide 9 - 6/(-9)*3?
False
Let a be ((36 - 0) + -2)*1. Suppose -3*f = -7*f - 4*y + 44, 0 = 4*f - y - a. Is f a multiple of 8?
False
Let v = 12 - 9. Let q = v - -7. Is 3 a factor of q?
False
Let k = 5 + -4. Let z be (3 - k)/((-1)/(-2)). Does 5 divide (15/(-6))/((-1)/z)?
True
Does 2 divide (-12)/5*70/(-28)?
True
Let r = 263 - 183. Is 16 a factor of r?
True
Suppose -280 = 5*b + 2*t, 9 = 3*b - t + 177. Is 4 a factor of b/12*(-6)/2?
False
Let v(m) = 3*m**2 + 4*m - 7. Let b be v(-6). Let i = 116 - b. Is i a multiple of 10?
False
Let g = 3 - 174. Let c = -79 - g. Is c a multiple of 13?
False
Suppose 0 = 5*w - 2*w - 102. Does 17 divide w?
True
Let a be (15/2)/(5/(-20)). Let t = 4 - a. Let h = -4 + t. Is h a multiple of 8?
False
Does 8 divide (0 - 1)*40/(-4)?
False
Suppose 3*i + 2*i = 5*v + 20, -2*v - 5*i = 8. Is 2 a factor of ((-21)/(-6) + v)*-4?
True
Suppose 7 = 3*s - 8. Suppose 0 = -5*y + 4 + 6, 180 = s*u + 5*y. Does 11 divide u?
False
Let j(p) = -p**2 - 9*p - 7. Let y = -8 - 0. Let f be j(y). Does 11 divide (6/2 + 8)*f?
True
Suppose 2*r + 0*r = -8. Let i be (1/(-2))/((-2)/(-4)). Is (i - -1) + (-64)/r a multiple of 7?
False
Suppose -54 + 12 = -a. Does 6 divide a?
True
Let j(o) = 3*o + 39. Is j(-7) a multiple of 4?
False
Suppose 5*h - 316 = 54. Does 9 divide h?
False
Let s be 0*(-2 - -1)*1. Suppose s*q + 90 = q. Let j = -32 + q. Is 20 a factor of j?
False
Suppose -2*a = 5*f - 39 + 117, 3*a = -4*f - 124. Let t be (a/(-10))/(2/20). Suppose -5*l + 21 + t = 0. Is 13 a factor of l?
True
Let y = 216 - 80. Is 16 a factor of y?
False
Let z be (-2)/(-1*4/(-10)). Let x(p) = -p**3 - 8*p**2 - 2*p - 10. Let g be x(-8). Is z/(9/g + -2) a multiple of 10?
True
Let g = 24 - 12. Is g a multiple of 2?
True
Suppose 4*z = 5*r + 2*z - 606, 0 = r - 5*z - 135. Is r a multiple of 15?
True
Let j(c) = -c**3 - 6*c**2 - 3*c + 5. Let f be j(-6). Let q = f - 16. Suppose q = 3*i - 23. Is i a multiple of 5?
True
Let w(f) = f + 9. Suppose -4*q = -7 + 35. Let c be w(q). Is 7 a factor of (16/6)/(c/6)?
False
Let j(i) = -i**3 + 3*i + 3. Let k be j(-2). Let q be k/15 - (-8)/3. Suppose -q*p + 0*p + 48 = 0. Is 8 a factor of p?
True
Let d(z) = -6*z - 9. Is 21 a factor of d(-5)?
True
Let l(k) = -2 + 2*k + 0*k - 1 - 5*k. Does 9 divide l(-7)?
True
Let q be 2 - 4/(1 - -1). Let u(t) be the first derivative of t**4/4 - t**2/2 + 6*t - 3. Is u(q) a multiple of 3?
True
Suppose 2*a + s - 3 = 0, -5*s = 3*a - 1 - 0. Let c be a*(-1 + 5/2). Suppose 18 = c*h - 33. Is 17 a factor of h?
True
Let s(p) = -p - 15. Let l be s(-18). Suppose -7*c + 60 = -l*c. Is 5 a factor of c?
True
Suppose 0 = 2*t - 4*t - 3*k + 22, -5*t - 5*k = -60. Does 14 divide t?
True
Suppose -5*i - z + 608 = z, 2*i + 5*z = 260. Is i a multiple of 20?
True
Let h = -48 - -88. Let w be ((-12)/(-10))/(6/h). Suppose 0 = 2*y + w - 92. Is 18 a factor of y?
False
Suppose -302 = -5*m + y - 0*y, -m - 2*y = -56. Does 10 divide m?
True
Let j be (-4 - -2)/(-1 - 0). Suppose -5*u + 2*b + 14 = 0, 6*b = -5*u + j*b + 2. Suppose u*y - 11 = 21. Does 7 divide y?
False
Suppose -10*f + 10 = -5*f. Suppose 111 = 3*a + j + f*j, 3*a - 3*j - 123 = 0. Does 13 divide a?
True
Let q be 2/((-6)/(-149)) + 1/3. Suppose 22 = 5*v - 3. Suppose v*d - 2*s - 22 = 43, s - q = -3*d. Is 8 a factor of d?
False
Let k(g) = -2*g + 7. Is k(-4) a multiple of 5?
True
Let f(b) = 2*b**2 - 6*b - 6. Is 8 a factor of f(5)?
False
Suppose 0 = x - 2, 4*g - 22 = -g + 4*x. Does 6 divide g?
True
Suppose 3*t = -t - 84. Suppose 0 = 2*p + 5*c - 9, 0 = 3*p + 5*c - 5 - 1. Does 15 divide -8*p/((-18)/t)?
False
Is -2 + 1 - (-23 - 2) a multiple of 12?
True
Suppose -w - 2176 = -17*w. Does 8 divide w?
True
Does 11 divide (-10)/4*(-354)/15?
False
Let h(z) = 3*z**2 + z + 5. Is h(5) a multiple of 17?
True
Suppose 3*l = -2*g + 212, 101 + 255 = 3*g - 5*l. Does 7 divide g?
True
Let g be (14/(-21))/(1/(-3)). Let i be 26 + (g - 5 - 0). Suppose 2*m - 2*v - 83 + i = 0, -5*v = 4*m - 120. Is 15 a factor of m?
True
Suppose 0 = -4*k - 17 + 149. Is k a multiple of 11?
True
Suppose -s + 44 = s. Suppose -3*i - 32 = 2*o, 6*o - 2*o = -i - 24. Does 4 divide (s/(-8))/(2/i)?
False
Let d(m) = 6*m + 6 + 8*m**2 - m**2 - 3*m**3 + 4*m**3. Let q be (-2)/4 + 55/(-10). Is 6 a factor of d(q)?
True
Let m = -5 + 16. Suppose 0 = a + 5*r - 27, -2*r + m = 3. Let k = a - -16. Is k a multiple of 14?
False
Suppose 2*q = -2*q + 24. Suppose -4*h = w - 11, q*w - 39 = 5*w + 3*h. Is 8 a factor of w?
False
Let p be (7/(-2))/((-4)/(-48)). Does 7 divide ((-2)/6)/(1/p)?
True
Let l = 369 - 205. Does 41 divide l?
True
Let h be 195/20 - (-1)/4. Let t be ((-4)/4)/((-2)/h). Suppose t*s - 28 = 42. Is s a multiple of 14?
True
Let j(v) = -v**2 - v - 1. Let q(b) = 6*b**2 + 6*b. Let x(h) = 5*j(h) + q(h). Let m be 23/5 + 2/5. Does 14 divide x(m)?
False
Does 3 divide 4*6/48*(-342)/(-3)?
True
Let w(z) = z**3 - 6*z**2 + 6*z + 1. Let g be w(5). Let o(y) = 5*y + 5. Is 27 a factor of o(g)?
False
Let t be (0/(-3*1))/(-2). Let m be -1 - (t + 0) - -1. Suppose -3*n + 6 = 0, 5*q + n = -m*q + 82. Does 10 divide q?
False
Let a = -13 + 20. Suppose -50 = -a*u + 2*u. Suppose v - 8 = u. Is v a multiple of 7?
False
Suppose -d = 3, 2*b + 4*d = b - 10. Suppose -2*f = -f - b. Suppose 0*j - 38 = -f*j. Is 13 a factor of j?
False
Let m(n) = -n**2 - 2*n - 3. Let p be m(-3). Does 3 divide (-35)/p - 6/(-36)?
True
Suppose 16 = 5*q + 1. Suppose -2*v = -7*v - 5*p - 5, -3*v - p + q = 0. Let o(s) = s**3 + 4*s**2 - 3*s. Does 18 divide o(v)?
True
Let b(p) = 3*p**2 - 1. Does 6 divide b(-3)?
False
Let w(t) = 2*t + 9. Is w(5) a multiple of 3?
False
Let h(c) = -11*c + 3. Does 14 divide h(-1)?
True
Let i be (0 + 2*-1)*-2. Let m = i - -6. Is 10 a factor of m?
True
Suppose 0 = -j - 3*a + 8, 3*j - 2*a - 35 = 33. Does 6 divide j?
False
Suppose -5*w - 4*x = 32, -6 - 4 = w + 2*x. Does 14 divide (1 - -20)*w/(-4)?
False
Suppose -p = 5*f - 4*p - 313, 5*f = -2*p + 308. Does 6 divide f?
False
Let t(j) be the first derivative of -j**5/20 - 3*j**4/4 - 11*j**3/6 - 3*j**2 + 3*j + 2. Let g(d) be the first derivative of t(d). Does 9 divide g(-8)?
True
Let n be (-182)/(-4) + 3/(-6). Is (2/(-3))/((-6)/n) a multiple of 5?
True
Suppose 0 = -4*o - 5*t + 31, 0*o + o + 11 = 5*t. Is 17 a factor of ((-702)/(-65))/(o/30)?
False
Let z(m) = 7*m**2 + 2*m - 1. Is z(-2) a multiple of 7?
False
Suppose -3*p - 265 = -5*q, q - 2*q + p + 55 = 0. Is 50 a factor of q?
True
Let x(n) = 3*n**2 - n. Let k be x(1). Suppose 44 = 2*l + k*l. Is l a multiple of 3?
False
Suppose -a + 3*u + 2*u = 78, 0 = 2*a - u + 138. Let o be ((-2)/(4/194))/1. Let x = a - o. Does 13 divide x?
False
Let v(c) be the third derivative of -c**6/30 + c**4/12 + c**3/6 + c**2. Let g be v(-1). Let t(r) = 4*r**2 - 4*r. Does 12 divide t(g)?
True
Let m = -15 + -3. Let q = m - -30. Does 6 divide q?
True
Suppose -p - 40 = -4*f + 3*p, -p = 5*f - 38. Is f a multiple of 4?
True
Let t = 45 - -12. Is t a multiple of 19?
True
Let k = -4 - -20. Is k a multiple of 16?
True
Let j(r) = -r**3 - 8*r**2 - 2*r - 12. Suppose -3 = -l, 3*i - 3*l + 41 = -i. Let h be j(i). Suppose -4*g + g = h*v - 3, -3*v = -3*g - 18. Does 3 divide v?
True
Let r = -17 + 50. Does 15 divide r?
False
Suppose 5 = 2*b - 3*b + 5*a, -b + 4 = 4*a. Let u(m) be the first derivative of m**4/4 + m**3/3 - m**2/2 + 10*m + 1. Does 5 divide u(b)?
True
Let d be (-2 - -4)*12/8. Suppose -110 + 23 = -d*c. Does 29 divide c?
True
Suppose -3*n = -0*n. Suppose 3*k + 2*s - 39 = n, -s 