 + 4 + w**3 + w**2 - 3*w**2 + 3*w. Is 11 a factor of o(6)?
True
Let f(p) = -2*p - 2. Suppose -l + 7 = -4*c, 4*c + 4*l = 2*l - 22. Let r be f(c). Is 23 a factor of -3*r/((-24)/46)?
True
Is 24 a factor of 45/(-10)*(-32)/3?
True
Let a(g) be the first derivative of 31*g**2/2 - 3. Let p be a(6). Does 11 divide p/8 - (-5)/(-20)?
False
Let d(v) = 5*v**2 - v - 20. Is 32 a factor of d(-5)?
False
Let b be 5/(15/9) - -2. Let u = -2 + 7. Suppose -2*c - 3*c = u*r - 5, -b*c + 33 = -2*r. Is 3 a factor of c?
False
Let z = 395 - 265. Is z a multiple of 16?
False
Suppose 7*j = 3*j - 16. Does 6 divide ((-2)/j)/((-1)/(-20))?
False
Suppose 3*t - 5 = 2*v, 2*t = 4*v - 2*v. Suppose -2*n + 4 = -0*n. Suppose -2*a - 5*i + 10 = -v, -6 = n*i. Is 6 a factor of a?
False
Let u(o) = -o**3 + 10*o**2 - o + 13. Let x be u(10). Is 13 a factor of 26/x*21/14?
True
Does 16 divide -4*34/(-4) - 2?
True
Suppose -3*o - 4*r + 68 = 0, -4*o + 2*r - r = -97. Is o a multiple of 2?
True
Suppose -3*j - 4*t + 28 = 0, j + 16 = 3*t + 2*t. Suppose 3*m = -4*a + 7*a + 48, -j*a = 2*m - 44. Is 9 a factor of m?
True
Let h be 1/(-2)*2 - 9. Let y = h - 4. Let w = 25 + y. Is 11 a factor of w?
True
Let m(h) = 2*h**2 + 8*h - 2. Does 2 divide m(-6)?
True
Let t(j) = -37*j - 4. Let i be t(-4). Let g = -60 + i. Suppose 2*f - 4*z - 28 = 0, -3*z - z = 5*f - g. Is 12 a factor of f?
False
Suppose -5*q = -10*q + 30. Let y = -1 + q. Suppose -z = -3*l - 17, z - 2*l = -y*l + 29. Is z a multiple of 15?
False
Let k(d) = d. Let z(j) = -3*j - 1. Let v(a) = -7*k(a) - 3*z(a). Is 8 a factor of v(18)?
False
Let j = 121 + -57. Does 8 divide j?
True
Suppose -4*h = -363 - 17. Suppose 31 + h = 3*n. Does 21 divide n?
True
Let r(t) = 6*t**2 + t**2 - 4*t**2 - 2*t**2 + 2. Does 9 divide r(-4)?
True
Let f(p) be the third derivative of 9*p**4/8 - p**3/6 + 3*p**2. Is f(1) a multiple of 13?
True
Is (1 - (-11)/4)*24 a multiple of 13?
False
Suppose 5 = -5*r - 0*r. Let d(n) = n**2. Let a be d(r). Suppose a = g - 3. Is g a multiple of 3?
False
Let p(y) = -y + 133. Does 19 divide p(0)?
True
Suppose 0 = 3*d + 9, -2*u = -u + 2*d - 364. Suppose -5*p + 0*p + u = 0. Is 24 a factor of p?
False
Let u be (-10)/(-3)*(-48)/20. Let t(r) = -r**2 - 9*r - 12. Let y(w) = w. Let d(p) = -t(p) - 2*y(p). Is d(u) a multiple of 20?
True
Let n(l) = 5*l**2 + 17*l - 4. Is n(-8) a multiple of 20?
True
Suppose 0 = x + 4*v - 84, 3*v + 274 = 5*x - 123. Let h = -30 + x. Let p = -30 + h. Does 20 divide p?
True
Let l = -42 - -39. Let s(f) = -3*f**3 - 2 - 2*f + 3*f + 2*f**3. Is s(l) a multiple of 8?
False
Suppose 5*m = -5*t + 80, 5*t + 40 = 2*m + 3*t. Is m a multiple of 6?
True
Suppose -i + 0*i - 7 = -3*k, 2*k + i = 3. Let n = k - -5. Is 3 a factor of n?
False
Let v(g) be the first derivative of -2*g**3/3 + 3*g**2 + 3*g - 2. Let w(u) = -3*u**2 + 9*u + 4. Let f(z) = 7*v(z) - 5*w(z). Is f(5) a multiple of 9?
False
Let x be (2/(-5))/((-2)/30). Let f be 4/x*(86 - -1). Suppose 0*a - 2*a + f = -5*k, 0 = 2*a - 4*k - 60. Is a a multiple of 13?
False
Suppose 5*b - 3*z - 292 = 0, -4*b + 5*z = -229 - 2. Does 13 divide b?
False
Let v(d) = -d**3 - 4*d**2 - 5*d - 2. Let b be v(-2). Is ((-364)/(-12) - b)*3 a multiple of 16?
False
Let z = 1 - -4. Suppose -z*s = -10*s + 260. Is s a multiple of 11?
False
Let z(v) = v**2 + 6*v + 6. Let a be z(-5). Let k be -4*(-1)/2 + a. Suppose 5*y - 85 = -k*h, 0 = 5*h + 2*y - 0*y - 110. Is h a multiple of 7?
False
Let o(j) = -j + 2. Let f be o(6). Let w = f - -6. Suppose -w*a = a - 66. Does 11 divide a?
True
Suppose 0 = 5*h - 3*v - 275, 3*h + 4*v - 136 = -0*h. Is h a multiple of 5?
False
Let c(u) = u**3 + 7*u**2 + 7*u + 9. Let k be c(-6). Let f = 10 - k. Does 7 divide f?
True
Let j = 6 + -6. Does 8 divide 38 + (j - 0) + -1?
False
Suppose 0 = 4*x - 3*x - 2. Suppose x*v - 3 = 1. Suppose p + 2*l - 8 = l, 0 = v*l - 6. Is p even?
False
Does 2 divide ((-10)/4)/((-1)/2)?
False
Suppose 6 - 918 = -n + 2*l, 0 = n - 5*l - 924. Does 32 divide (n/(-4 + 0))/(-2)?
False
Let t be 26 - ((-6)/2)/3. Is 9 a factor of t - (-2 - (0 - 2))?
True
Let a be (1/(-3))/(2/(-12)). Let i(b) = -a*b - 7 + 5*b + b. Is i(6) a multiple of 17?
True
Suppose h - 56 = 5*z, -h + 4*z - 12 = -63. Is h a multiple of 11?
False
Suppose -5*h - 73 = -4*g, 12 = 3*g + 3*h - 9. Let d be 4/g + (-10)/(-6). Suppose -3*n = -d*n - 5. Does 2 divide n?
False
Suppose -2*n + 12 = 2*n. Is 56/(-6)*n/(-2) a multiple of 7?
True
Suppose -2*g + 3 = -3*g - 5*d, 4 = 3*g + 2*d. Suppose i - 5 = -g. Is i a multiple of 3?
True
Let x = -16 - -6. Let c = x + 31. Does 15 divide c?
False
Let j(k) = k + 13. Does 5 divide j(-6)?
False
Let c be (4/6)/((-2)/(-18)). Let n = -6 + 6. Suppose -2*x + 2*w + c + 8 = n, w = -2*x + 17. Is x a multiple of 6?
False
Let h(y) = y**3 + 6*y**2 - 8*y + 8. Let o be h(-7). Suppose -l = -p - 4 - o, -l + 3 = 0. Does 2 divide 2/(-8) + (-84)/p?
False
Let x(t) = 14*t**2 - 5*t + 15. Does 14 divide x(4)?
False
Let i = 136 + -46. Is i a multiple of 10?
True
Let f be 35 + 2*3/(-6). Let a = 15 - f. Let h = -11 - a. Is 4 a factor of h?
True
Suppose -5*d + 26 = -14. Does 8 divide d?
True
Let f(q) = 5*q**2 + 2*q + 2. Does 14 divide f(6)?
False
Let b(m) = m**3 - 9*m**2 - m + 11. Let i be b(9). Does 5 divide i + -4 - -13 - 0?
False
Let h be 4 + (0 - (2 - 2)). Suppose h*g = 2*g + 8. Is 3 a factor of g?
False
Is (-8 + -2)/(6 - (-32)/(-5)) a multiple of 14?
False
Let b(v) = -17*v + 2. Let q(n) = -n + 1. Let c(g) = -b(g) + 3*q(g). Is c(3) a multiple of 18?
False
Suppose 0 = -3*b + 7*b - 8. Suppose 0 = b*w - 6, 6 + 7 = s + 3*w. Suppose s*x - 3*x + 3*n - 10 = 0, -3*x = 2*n - 44. Does 9 divide x?
False
Let t = -1 + 12. Is t even?
False
Suppose -2*l - 30 = -7*l. Suppose -5*r - 2*h = -94, r + 98 = l*r + 4*h. Is r a multiple of 18?
True
Let l(j) be the first derivative of -j**3/3 - 9*j**2/2 - 8*j - 2. Is l(-6) a multiple of 5?
True
Let p = 74 - 14. Is p a multiple of 12?
True
Let o be (24/(-30))/(2/(-15)). Let s = 2 + o. Is 6 a factor of s?
False
Suppose 20 = -r + 3*r + 4*o, -3*o = -r + 25. Suppose 5*x + 2 = 7. Is (x*r - 0) + 2 a multiple of 18?
True
Suppose 0 = -3*v + 12 - 3. Suppose v*p = p + 12. Let d(a) = a**2 - 6*a + 8. Is d(p) a multiple of 6?
False
Suppose -709 = 9*w - 2284. Does 44 divide w?
False
Let b = -108 + 119. Is b a multiple of 3?
False
Let m(j) = -j**3 + 76. Is 19 a factor of m(0)?
True
Is 10 a factor of 0/1 - (4 + -24)?
True
Let u = -12 - -20. Suppose u*b - 244 = 4*b. Is b a multiple of 17?
False
Let j(b) = 4*b - 3. Let l be j(2). Let h(q) = -q**3 + 7*q**2 - 3*q - 5. Does 9 divide h(l)?
False
Suppose 4*g - 5 = -5*v + 16, -3*g - 3*v = -15. Let n(u) = -2*u + u**2 - 1 + 4 - 1. Does 10 divide n(g)?
True
Let v(k) = k**2 + 8*k + 6. Is v(-8) a multiple of 2?
True
Let w be 2*2 - (5 + -9). Suppose 4*j - w*j + 40 = 0. Is 10 a factor of j?
True
Suppose j + 3*w - 13 = 0, -3*w = 2*j - 4*w - 33. Suppose -4*o = -5*o + j. Does 16 divide o?
True
Suppose -23*x + 396 = -11*x. Is 5 a factor of x?
False
Let y(z) = -z**3 + 2*z - 1. Let n be y(-2). Let h(j) = 3*j - 2*j**2 - j**n - 3*j**2 + 2*j**3. Does 13 divide h(5)?
False
Suppose -5*z - 8 = -7*z, -5*q - z = -329. Suppose -h - 5*j + q = -6, 259 = 5*h + j. Is 17 a factor of h?
True
Suppose -2*h - 92 = -22. Let v(b) = 4*b**2 + 5*b + 5. Let o be v(-4). Let z = h + o. Is 9 a factor of z?
False
Let x be (-2)/(1*-1*1). Let y = 63 - 28. Suppose x*c + y = 7*c. Is 4 a factor of c?
False
Suppose r = 2*b - 9, 2*b + 13 = r - 2*r. Let g(v) = 5*v - 13. Let q(k) = -3*k + 9. Let a(h) = -5*g(h) - 8*q(h). Is a(r) even?
True
Let k = 302 + -54. Does 15 divide (k/12)/(4/6)?
False
Let m be ((-10)/(-6))/((-7)/(-42)). Suppose 5 = -o + m. Is 5 a factor of o?
True
Is ((-84)/(-70))/((-4)/(-10)) a multiple of 3?
True
Suppose 4*i + 1 = 3*m - 3, m - 5*i = -6. Suppose -8 = -5*w + n + 77, -m*w + 68 = 2*n. Is 4 a factor of w?
False
Suppose l + 11 = 3*v, -4*v - 2*l + 10 = -l. Suppose -v*t = 3*q + 2*t - 90, 0 = 3*q - 5*t - 90. Is q a multiple of 10?
True
Let w = -68 - -105. Is 28 a factor of w?
False
Let p = -6 - -1. Does 6 divide (-2)/p*(25 - 0)?
False
Let s = 5 + 0. Let o be (6/10 + 0)*s. Suppose 0 = -o*z + 4*x + 2, -5*z - 5 = 5*x - 20. Is 2 a factor of z?
True
Let l(i) = i**3 - 5*i**2 + 4*i - 6. Let s(h) = -2*h + 1. Let q be s(1). Let c = q + 6. Is l(c) a multiple of 7?
True
Let t = 91 - 27. Is t a multiple of 