 10. Does 6 divide x?
False
Suppose -5*v = -6 - 4. Suppose -v*j - 2*i + 24 = 0, 26 = 2*j - 2*i + 3*i. Does 7 divide j?
True
Suppose 0 = -6*m + 4*m + 8. Let r = 9 - m. Is r a multiple of 5?
True
Let q = 95 - 43. Is 11 a factor of q?
False
Let l be 3/(54/(-57) + 1). Suppose d - 3*p + 3 = -7*p, 0 = 5*d - 4*p - l. Is 2 a factor of d?
False
Suppose -11*v - 47 = -12*v. Is v a multiple of 18?
False
Let t be (-2)/4*(15 - 1). Let x(i) = -i**2 - 12*i + 6. Is 14 a factor of x(t)?
False
Let y be (-55)/(-15) + 2/6. Let o(k) = -k**3 + 4*k**2 + 3*k - 5. Let j be o(y). Let w = j + -2. Is 2 a factor of w?
False
Suppose -3*c = c - 12. Let g be (-10)/15 - (-2)/c. Suppose g*z = 5*z - 110. Does 16 divide z?
False
Suppose -3*q + 0*q + 337 = w, 5*q + 3*w = 567. Is 12 a factor of q?
False
Let d = -179 - -294. Is 11 a factor of d?
False
Suppose -3*w = -4*s + 6*s - 236, 288 = 4*w - 4*s. Is 13 a factor of w?
False
Suppose 5*r + 5*a = 36 + 44, 0 = -2*r + 3*a + 17. Suppose 16*w - r*w - 114 = 0. Is w a multiple of 14?
False
Let a = 33 + -13. Does 17 divide a?
False
Let w = -6 - -8. Suppose 0*o + 6 = -w*o + 3*r, -r - 8 = -4*o. Let z(a) = a**2 - 2*a - 1. Is 2 a factor of z(o)?
True
Let k be ((-6)/(-4) + -1)*10. Suppose -l - k*c = -14, 3*c + 46 = 3*l - 32. Suppose 3*j - l = 12. Is j a multiple of 11?
False
Suppose 0 = 4*y - 99 - 29. Suppose -2*a - 2*a + y = 0. Is a a multiple of 6?
False
Let h = -3 + 3. Is 5 a factor of 7 - 9 - (-7 - h)?
True
Let n = 1 - -6. Let c(a) = -a**3 + 7*a**2 + a + 5. Is 6 a factor of c(n)?
True
Let p be 3*(-1 - (-10)/(-6)). Let q be 69/(-12) + 2/p. Is (-115)/(-3) + (-4)/q a multiple of 16?
False
Let q be ((-12)/(-15))/(1/35). Suppose -u = -q - 7. Is 12 a factor of u?
False
Suppose -4*h = -2*x + 8, -x - 2*h = h + 1. Suppose -x*c - 5*m + 16 = 1, m = -c + 3. Suppose 49 = -c*j + j. Is 18 a factor of j?
False
Let s(h) = -3*h + 12. Let x be s(8). Does 18 divide (-234)/x*8/3?
False
Suppose 4*t = -0*x + 2*x + 12, -t + 3*x + 8 = 0. Suppose 0*n - t*n = 62. Let i = n + 46. Does 8 divide i?
False
Suppose 5*l - 4 = 3*l. Let q(n) = -n + 10. Let o be q(7). Suppose -l*p - 6 = -o*p. Is p a multiple of 6?
True
Suppose 0 = -12*r + 7*r. Suppose -c + 4 = -r*c. Is 33 - (-2)/(c - 3) a multiple of 15?
False
Let f = 2 + 3. Suppose -2*h + f*m = 3*h - 5, -3*h - 2*m = -18. Suppose 2*g - 3 = -3*n, -h*g + 14 + 4 = 2*n. Does 3 divide g?
True
Let g = -8 + 7. Let d(h) = 9*h**2 + 1. Is d(g) a multiple of 5?
True
Suppose 6*o = -o + 42. Let j(w) = 2*w**3 - w**2. Let q be j(1). Is 3 a factor of (15/o - q)*2?
True
Let t = 2 + -1. Suppose -p + 4 - 2 = 0. Suppose -p*f + t + 3 = 0. Is 2 a factor of f?
True
Let u(q) = -7*q**2 + 14*q - 12. Let b(j) = 13*j**2 - 28*j + 23. Let d(m) = -6*b(m) - 11*u(m). Let z = 22 + -13. Is d(z) a multiple of 13?
True
Suppose -5*d + 22 = -3*d - a, -4*d - a = -50. Suppose d = -m - 4*j, 0*m + 2*j + 12 = -2*m. Does 20 divide (-2)/m + (-79)/(-2)?
True
Let i(c) be the first derivative of 2*c**3/3 + 3*c**2 - 5*c - 1. Does 15 divide i(-5)?
True
Suppose 3*w = 159 - 0. Is 11 a factor of w?
False
Suppose 0 = 2*t - 4*t - 6. Is 13 a factor of 58/3 + 1/t?
False
Let f = -6 + 8. Suppose f*w + 25 = 177. Let s = w + -54. Does 12 divide s?
False
Suppose 4*o - 3*j + j + 530 = 0, 4*j + 682 = -5*o. Does 13 divide (-2 - o)/3 + -3?
False
Let b(r) = r**3 - 11*r**2 + 4*r + 20. Is 8 a factor of b(11)?
True
Let g = 1 - -3. Suppose 0 = 2*a - g*a + 60. Is 10 a factor of a?
True
Let g(j) = -j + 14. Suppose -36 = 3*p - 6*p. Is 2 a factor of g(p)?
True
Suppose -2*c = 1 - 7. Suppose g = x - c*x + 50, -x - 41 = -g. Is 22 a factor of g?
True
Suppose 4 = 3*g - 5*g, 3*t - 380 = -2*g. Does 16 divide t?
True
Let h be 2/(-1 + (-2 - -1)). Let z be 2 + h - (-120 - -1). Suppose 4*d = 5*m + z, -d + m - 3*m = -17. Is 17 a factor of d?
False
Is 6 a factor of ((-60)/(-35))/((-2)/(-7))?
True
Let p = 82 + 15. Is 29 a factor of p?
False
Let q(w) = -2*w**3 + 8*w**2 + 6*w - 20. Does 40 divide q(-5)?
True
Let h = 27 - -38. Is h a multiple of 32?
False
Suppose -6*m + 178 = -68. Is 25 a factor of m?
False
Suppose -x + 10 = 5*l - 4*x, 0 = -5*l + x + 20. Is l a multiple of 3?
False
Let o = 95 + -11. Is 10 a factor of o?
False
Suppose -b + 16 = -4. Does 15 divide 2/b*54*5?
False
Let q = 28 - -48. Does 23 divide q?
False
Is 9 a factor of (-5)/(-10) - 63/(-6)?
False
Let d(t) = t**3 - 7*t**2 + 6*t - 10. Does 16 divide d(7)?
True
Let g(d) = -d**3 - d**2 + d + 39. Is 11 a factor of g(0)?
False
Let d(l) = 5*l + 8. Let y(t) = t - 1. Let a(v) = -d(v) + 3*y(v). Suppose -5*r = -15, -3*h - r - 9 = 4*r. Is a(h) a multiple of 2?
False
Is ((-31)/(-2) - 1) + 3/6 a multiple of 6?
False
Let k(o) = 102*o - 3. Let x be k(2). Suppose 0 = 5*a - 2*s - 304, -2*a - 5*s + x = a. Suppose -c = c - a. Does 8 divide c?
False
Let x(l) = -25*l - 1. Let r be ((-7)/14)/(1/2). Does 8 divide x(r)?
True
Let b = 23 + -16. Suppose 0 = -n - b - 1. Let g = 15 + n. Is g a multiple of 7?
True
Let t be 36/(-8)*(-2)/3. Suppose -g + 1 + 1 = 0. Suppose t*v - 105 = -g*v. Does 21 divide v?
True
Let f be 6 - (-1 + (2 - -1)). Suppose 3*w + t - 22 = 0, 3*w - 4 = -f*t + 12. Is w a multiple of 3?
False
Suppose 0*y - 2 = -y. Suppose -2*t + 60 = y*t. Is 5*(96/t)/2 a multiple of 8?
True
Let t(l) = -l**3 + 2*l - l + 4*l**2 + l. Let y(u) = 4*u**2 + 2*u + 2. Let s be y(-1). Does 8 divide t(s)?
True
Let t(q) = -q**3 - 14*q**2 - 7*q - 20. Is 6 a factor of t(-14)?
True
Let o(r) = r**3 - 8*r**2 - 7*r - 7. Is o(9) a multiple of 3?
False
Suppose 3*n - 11 - 19 = 0. Suppose -2 + n = -4*z. Let t(k) = -7*k - 1. Does 13 divide t(z)?
True
Suppose 4*y - 19 = 137. Is 11 a factor of y?
False
Let g be (-4)/1*6/(-8). Suppose 3*q - 7*q - g*z = -72, -76 = -4*q - 4*z. Let f = 27 - q. Is f a multiple of 7?
False
Let m(v) = -v**2 + 8*v + 3. Let t be m(7). Is (80/(-25))/((-2)/t) a multiple of 6?
False
Let r = 5 - 4. Let b = 22 - r. Is 7 a factor of b?
True
Let a = 7 - 6. Suppose 2*z = 2*k - 4, 0 = 3*z + 2*k - 4*k + a. Suppose 2*c + 4*h - 15 = z*h, 4*c - 35 = 3*h. Does 4 divide c?
True
Is 28 a factor of (2 - (-27)/(-12))/(6/(-1992))?
False
Let x = 5 - 5. Suppose 0 = 3*f - x - 9. Does 3 divide f?
True
Let n(w) = w**3 - 5*w**2 - 6*w + 1. Let d be n(6). Suppose -l = -9 - d. Is 10 a factor of l?
True
Let i = 41 - 21. Let m = -116 + 195. Let v = m - i. Is 27 a factor of v?
False
Let o = 24 - -3. Is 8 a factor of o?
False
Let p(r) = 2*r**2 + 4*r - 1. Is p(2) a multiple of 5?
True
Suppose 5*g - 2*t - 6 = 0, 2*t + 5 = -1. Suppose -3*r = -r, g = 2*u - 4*r. Is 6 a factor of u/(3 - 0) + 12?
True
Suppose -3*c = 13 - 172. Is c a multiple of 26?
False
Let i(f) = f**3 - 7*f**2 - 5*f + 2. Let s be i(6). Let a = s + 93. Does 19 divide a?
False
Let r(d) = 4*d**2 - 4*d**3 + 3*d**2 + 3 - 2*d - 2*d**2 - 4*d**2. Let a(t) = -4*t**3 + t**2 - t + 2. Let o(p) = 3*a(p) - 2*r(p). Is o(-1) even?
True
Let h = 2 - -16. Is 19 a factor of (-4)/(-18) - (-770)/h?
False
Let b(k) = k**2 + 5*k - 21. Is 15 a factor of b(9)?
True
Suppose -4*m = -53 + 5. Does 13 divide m/(-18) - (-184)/6?
False
Let r(g) be the third derivative of -g**6/120 - g**5/12 - g**4/8 - 5*g**3/6 + g**2. Suppose 4*w = -5*b - 5, -6*b = -w - 2*b - 17. Is 4 a factor of r(w)?
False
Suppose -9 = -2*o + 3. Let p = o + -5. Is 2 - ((-1 - p) + -7) a multiple of 11?
True
Does 10 divide 32/6*(-120)/(-32)?
True
Let h(q) = -q**3 - 5*q**2 + 2*q + 6. Let y be (-3)/(-12) + 75/(-12). Does 15 divide h(y)?
True
Suppose 5*v - 25 = z + z, 0 = -3*z + 3*v - 15. Suppose 2*t = -z*t + a - 4, 3*t = 4*a - 6. Let o = 6 - t. Is 7 a factor of o?
False
Let l(d) = d**2 - 4. Is 6 a factor of l(-4)?
True
Suppose -5*a + 2 = -8. Let j be (-6)/(-6) - a/(-2). Suppose 0*o = -j*o - 3*t - 6, -2*t + 7 = 5*o. Is o a multiple of 3?
True
Let m(n) = 2*n**2 + 3*n - 4. Does 13 divide m(-5)?
False
Let l(d) = 3*d + 6*d**2 - 3*d**2 - d**3 + 0 - 4. Is l(3) even?
False
Let o = -468 - -319. Let u = 251 + o. Suppose -3*h - c = -5*c - 80, -3*c - u = -4*h. Does 9 divide h?
False
Let w(u) = 8*u**3 + u**2 + 3. Let b be w(3). Let l = b - 156. Is 27 a factor of l?
False
Suppose o - 2*w - 13 = 2*w, 6 = 2*w. Is o a multiple of 8?
False
Let b(g) = g**3 - 9*g**2 + 12. Let v be b(9). Suppose v = 11*m - 10*m. Does 6 divide m?
True
Let s(l) = l**3 + 6*l**2 - 5*l - 1. Does 7 divide s(-5)?
True
Let a(o) = -9*o**2 + 3. Suppose 0 = -b