 -7*s. Let x be z(-4). Suppose -2*l + 0*l + x = 0. Is 11 a factor of l?
False
Suppose -261 + 81 = -5*b. Suppose 4*k - 32 = b. Is k a multiple of 7?
False
Let i(o) be the second derivative of -2*o - 7/3*o**3 + 0 - 1/2*o**2. Does 10 divide i(-2)?
False
Let q(a) = 20*a**2 + 5*a - 22. Is 53 a factor of q(4)?
True
Let s = 24 + -21. Let k(o) be the third derivative of o**4/24 + o**3/2 + o**2. Is 4 a factor of k(s)?
False
Suppose 5*p = 2*d + 421, 0 = p - 2*p + 4*d + 77. Does 17 divide p?
True
Let i(y) = -y**3 + 4*y**2 - 2*y + 5. Let g be i(5). Is 16 a factor of (32/10)/((-6)/g)?
True
Let d(k) = 4*k**2 - 3*k + 3. Let h(i) = -7*i**2 + 6*i - 6. Let u be -2 - (0/(-3) - -3). Let n(c) = u*d(c) - 3*h(c). Does 3 divide n(4)?
False
Suppose -243 - 177 = -5*g. Is 28 a factor of g?
True
Does 13 divide 156/(-24)*7*-2?
True
Let y = 4 + 0. Suppose 3*z = y*z - 12. Does 12 divide z?
True
Suppose 10*c = 5*c + 30. Let i be (-1)/1*(2 - c). Suppose -25 = -i*t - t, 5*n - 50 = t. Does 6 divide n?
False
Let p = 8 - 13. Let t(n) be the first derivative of 2*n**3/3 + 3*n**2 + 4*n - 6. Is 12 a factor of t(p)?
True
Let g be -4 + 7 - (-3)/(-1). Suppose g = -3*r + 3*o + 78, -o + 5*o = 5*r - 135. Is 12 a factor of r?
False
Let n = -11 - -7. Let r = n - -6. Suppose -l - r = -2*l. Is 2 a factor of l?
True
Let o(y) = -8*y**2 + 4. Let q be o(3). Is 0/(-2) - q/2 a multiple of 17?
True
Let g(u) = 3*u**2 + 10*u - 5. Is g(-8) a multiple of 14?
False
Let q(o) be the second derivative of o**5/20 + o**4/3 + o**3/2 + 2*o**2 - o. Let g be q(-4). Is -1*(1 - 0)*g a multiple of 3?
False
Let d(k) = 29*k**3 - k**2 + 2*k - 1. Let s = 0 - -4. Let n = s + -3. Does 15 divide d(n)?
False
Let o(q) = 4*q + 1. Let j(b) = -4*b - 1. Let d(g) = 6*j(g) + 5*o(g). Let r be d(-3). Suppose -r = -4*i + 5. Is i a multiple of 4?
True
Suppose 0 = -0*v - 3*v + 24. Is v a multiple of 4?
True
Let u(c) = 6*c. Does 6 divide u(6)?
True
Suppose 2*v + 1 = 3. Is 2 - (-18 + (v - 0)) a multiple of 19?
True
Suppose -2*g = -0*g - 6. Is 5 a factor of (2/3 - -1)*g?
True
Let f(p) = 26*p**2 + 1. Let l be f(-2). Is ((l - -3)/3)/1 a multiple of 9?
True
Suppose 3*m - 1 + 19 = 3*d, -3*m - 22 = -5*d. Is ((3 - d) + 3)*11 a multiple of 11?
True
Suppose 2*j + 3*m = 214, 4*m - 2*m - 4 = 0. Is j a multiple of 13?
True
Suppose -3*d + 4*y + 182 = 0, -d - 4*y + 29 = -37. Suppose -4*l + 2 = -d. Is 10 a factor of l?
False
Suppose 0 = -0*c + 3*c - 6. Suppose -38 - 4 = -c*n. Does 6 divide n?
False
Let v = -48 - -83. Suppose -2*g = -5*p + v, -2*p = -2*g + 2 - 16. Let n = p + 11. Is n a multiple of 18?
True
Let r = -6 - -19. Let h = -13 - -5. Let i = r + h. Does 3 divide i?
False
Suppose 156 = -a + 5*a. Does 19 divide a?
False
Suppose 12 = -4*k + 4*p, p + 2*p - 9 = 2*k. Suppose 2*m = -3*m + 10. Suppose -3*w + 31 + m = k. Is w a multiple of 11?
True
Let y(m) = 8*m + 2. Is y(5) a multiple of 14?
True
Let r = -14 + 20. Let w(v) = -6*v + r*v**2 + v**2 - 3*v**2 + 2 + 2*v. Is w(2) a multiple of 10?
True
Let b(n) = -n**3 - 11*n**2 - 16*n - 4. Does 43 divide b(-11)?
True
Let z = -35 - -83. Does 8 divide z?
True
Suppose 2*r = 5*r - 6. Suppose -r*l + 6 = -l. Suppose l*c + 5*w = c + 215, -3*w = -2*c + 86. Is 15 a factor of c?
False
Let v = 820 - 545. Does 55 divide v?
True
Suppose -3*r = -a + 2, -2*a + 3 = -a - 2*r. Is a a multiple of 5?
True
Let r(x) = -2*x**3 - 8*x**2 + x + 5. Let u be r(-4). Is ((-2)/2 - u)*-7 a multiple of 5?
False
Let m(w) = -11*w**2 - 17*w - 4. Let q be -2 + 0/2 + 8. Let i(x) = -5*x**2 - 8*x - 2. Let u(r) = q*m(r) - 13*i(r). Is u(2) a multiple of 2?
True
Let t be (4 - 2)/1 - -2. Suppose -b - t*b = -170. Suppose -38 = -4*a + b. Is 9 a factor of a?
True
Let g be 3/(-2 - -3)*1. Suppose f = 5*f + 4, g*h + 2*f - 37 = 0. Is 13 a factor of h?
True
Suppose 0 = g + 2 - 4. Suppose z + 4 = g. Let k = z + 6. Is 4 a factor of k?
True
Let n(s) = -s**3 - s**2 - s + 210. Is n(0) a multiple of 14?
True
Let a(m) = -m + 4. Let s be a(4). Suppose s = -2*o + 5*y + 21, -4*o + y + 27 = -4*y. Suppose h = -r + 31, -6*r + r = -o*h - 123. Is r a multiple of 11?
False
Let c(j) = -j + 18. Let i be (0 - 0)*4/(-8). Is 9 a factor of c(i)?
True
Suppose 165 = 2*j + x, -x - 264 = -3*j + 3*x. Is 42 a factor of j?
True
Suppose -8*p + 3*p = -140. Does 14 divide p?
True
Let d(m) = -3*m. Let r be d(2). Let t = -1 - r. Let w(i) = i**2 - i - 5. Does 10 divide w(t)?
False
Let t(l) = -2*l**2 + 36*l - 24. Is t(16) a multiple of 4?
True
Let p be 10/(-15) - 1/3. Is 4 a factor of 0 - p - (-14)/1?
False
Suppose -2*b + 9 + 13 = -4*c, -b + 3*c + 11 = 0. Let f(g) be the second derivative of g**4/12 - 7*g**3/6 + g**2 + 4*g. Does 16 divide f(b)?
False
Is (5/10)/((-3)/(-258)) a multiple of 5?
False
Suppose 2*m - 240 = -3*t + 54, t = 3*m + 87. Is t a multiple of 8?
True
Let x(u) = -3*u - 7. Is x(-9) a multiple of 11?
False
Let h(a) = a**3 + a**2 + a + 28. Is 4 a factor of h(0)?
True
Does 12 divide (-21)/(-7)*(136/(-3))/(-2)?
False
Let u = 77 - 54. Is u a multiple of 5?
False
Let c(l) be the first derivative of -25*l**2/2 + 2*l + 3. Does 26 divide c(-2)?
True
Let z(y) = 8*y**2 + 2*y + 11. Does 30 divide z(4)?
False
Suppose 0 = 11*z - 10*z - 54. Does 35 divide z?
False
Let i(p) = p**3 + 4*p - 3. Let t(k) = -k**2 - 6*k - 6. Let b be t(-4). Let h be i(b). Suppose -h = -4*v + 43. Is 14 a factor of v?
True
Let g(d) = d**2 + 2*d + 2. Let x(f) = f**2 + 3*f + 1. Let u be x(-4). Let m = u + -2. Is 17 a factor of g(m)?
True
Suppose -s = s - 4. Suppose 18 = s*j - 20. Is 6 a factor of j?
False
Let n = 34 + -28. Is n a multiple of 3?
True
Suppose j + 55 = 3*j + b, 82 = 3*j + 2*b. Is 14 a factor of j?
True
Suppose 18 = -3*r + 81. Is 14 a factor of r?
False
Let m(x) = -6*x - 1 - 2 + x. Let h be m(-5). Is 5 a factor of (-3 + 4)/2*h?
False
Let n = 80 - 45. Is n a multiple of 7?
True
Let l = -9 + 15. Let q(x) = x**2 - 5*x. Let y be q(l). Suppose 46 = a + y. Is a a multiple of 20?
True
Let s = 0 - 3. Suppose -2*g + 2*d - 4 = -2, 4*g - 3*d = -4. Does 14 divide (-38)/(g/(s/(-6)))?
False
Let d = 76 + 2. Does 13 divide d?
True
Let u be 32/(-12)*21/4. Suppose 2*m + 2*r = -22, 3*m + 29 = -0*r - r. Let j = m - u. Is 5 a factor of j?
True
Suppose 4*c = c - 2*x + 606, -808 = -4*c - 3*x. Is (-4)/16 + c/8 a multiple of 25?
True
Suppose 3*q = 6*q - 39. Let u = 13 - -18. Suppose -a = -q - u. Is 15 a factor of a?
False
Let c(q) = 2*q**2 + 4*q + 2. Let z = 4 - 2. Let x = z + -6. Is c(x) a multiple of 9?
True
Let r = 43 + 3. Is 11 a factor of r?
False
Let g = -5 + -4. Let f be 4/((-12)/g)*1. Suppose 0*j + 81 = f*j. Is j a multiple of 10?
False
Suppose 0 = -5*g + 4*g. Suppose g = -5*t + 61 - 6. Is 4 a factor of t?
False
Suppose -3*l + 2 = -4. Let b = 63 - 19. Suppose 2*u + l*u - b = 0. Is u a multiple of 7?
False
Let u(a) = a**3 - a**2 + 5. Suppose 0 = 2*w + 2*g - 4, w + 3*w - 10 = -2*g. Suppose 3*s - w = 9. Does 14 divide u(s)?
False
Let f = -20 - -23. Let h(c) = -5*c + 1. Let x be h(-5). Suppose f*w = w + x. Is w a multiple of 13?
True
Suppose 2*p = -2*p + 80. Suppose i - p = -i. Is 3 a factor of i?
False
Is (306/15)/(2/5) a multiple of 17?
True
Let o(t) = 29*t**2 - 7*t + 6. Let j(n) = 58*n**2 - 13*n + 11. Let p(c) = -6*j(c) + 11*o(c). Let b be p(-1). Does 12 divide 2/2 - (b + 0)?
False
Suppose 0 = -p - 3*g, -4*g - 1 = -p + 2*p. Is -33*p/(27/(-6)) a multiple of 11?
True
Let s = 102 - 161. Let b = s + 105. Is b a multiple of 22?
False
Suppose 0 = -5*n - 5, -k + 4*n - 3*n = 0. Let o = 2 - k. Is o a multiple of 3?
True
Suppose 5*s - 35 = -0*s. Is 2/(-7) + 128/s a multiple of 18?
True
Let l(u) = -u**2 + 12*u - 9. Let i be l(6). Let q = 53 - i. Is q a multiple of 13?
True
Let f = -3 - -8. Does 3 divide f?
False
Let x be (54/12)/(2/4). Let h = x + 22. Is h a multiple of 14?
False
Let v(x) = 4*x + 0*x + 3*x + 1. Let w be v(1). Let l(o) = o**3 - 7*o**2 - 7*o - 2. Is 5 a factor of l(w)?
False
Suppose 61 = 4*o - 147. Is 26 a factor of o?
True
Let y = -1 + 12. Suppose 0 = 5*w - 4*k - 66, 2*w = 2*k + 17 + y. Does 10 divide w?
True
Suppose 0 = 8*z - 3*z - 30. Let q(v) = v**2 - 6*v - 4. Let h be q(z). Is 15 a factor of 6*(2 + (-2)/h)?
True
Suppose -4*z + 3*w + 33 = 0, w + w + 6 = 0. Let x(m) = -m**3 + 7*m**2 - 3*m + 6. Is x(z) a multiple of 12?
True
Suppose -3*n + 231 = 87. Is n a multiple of 47?
False
Let p = 11 + -11. Suppose p = 5*b - 4