se
Let o(l) = -l**2 - 11*l + 11. Let k(i) = i + 8. Let u be k(-6). Suppose y = -5*a - 45, 4*y = 4*a - u*a + 18. Is 12 a factor of o(a)?
False
Let r be -1 + 3 + (-6)/(-3). Suppose -3*x - 38 = -r*y, -3*x = -y - 4*x + 13. Is y a multiple of 10?
False
Suppose f + 32 = 122. Is f a multiple of 27?
False
Let f(q) be the first derivative of q**4/24 + 5*q**3/3 - q**2 - 4. Let s(d) be the second derivative of f(d). Does 3 divide s(-7)?
True
Let s = 62 + 60. Let x = s - 86. Is 19 a factor of x?
False
Let g be (3 + -2)/((-2)/22). Is 4 a factor of -9 - g - (-2 + -1)?
False
Let c be (4/6)/((-1)/(-18)). Suppose 1 = -u + c. Is u a multiple of 11?
True
Let o(a) be the second derivative of a**5/20 - 3*a**4/4 + 7*a**3/6 - 7*a**2/2 + a. Let g be o(8). Let z = 4 - g. Is z a multiple of 14?
False
Let d = -22 - -16. Let r be (-2)/d + (-11)/(-3). Suppose 3*q = 2*s + 22, 0 = -4*q - 5*s + r - 13. Does 3 divide q?
False
Let k(j) = -49*j**3 - j. Is k(-1) a multiple of 11?
False
Let w = 12 + -2. Suppose 5*m - 15 = -3*p, w = 2*p - m + 2*m. Let z(o) = -o**3 + 7*o**2 - 5*o + 5. Is z(p) a multiple of 15?
True
Let q(h) = -9*h**2 + 2*h + 5. Let k(t) = -4*t**2 + t + 3. Let d(n) = 5*k(n) - 3*q(n). Let j be d(-1). Suppose 0 = 5*l - 4*l - j. Is 5 a factor of l?
False
Suppose 0 = 4*t - 3 - 13. Suppose -4*s - 8 = -4*o + t, -2*s + 24 = 3*o. Is o a multiple of 4?
False
Suppose 0*u = -u + 17. Let o = -9 + u. Suppose 4 = 3*f - o. Is 3 a factor of f?
False
Let i(k) = k**2 + k + 1. Let a = -4 - -6. Does 7 divide i(a)?
True
Suppose 0*m = -m + 22. Let y = m + -7. Is y a multiple of 13?
False
Let i = 157 + -125. Is i a multiple of 3?
False
Suppose 4 - 1 = o. Let z = 14 - o. Is z a multiple of 9?
False
Let a be (1 - (-6)/(-4))*-2. Let p(u) = 7*u**3 + 2*u**2 + u. Let c(m) = 6*m**3 + 3*m**2 + m. Let x(f) = -3*c(f) + 4*p(f). Does 10 divide x(a)?
True
Let m(l) = l**2 + l - 6. Let g be m(0). Let p = g - -19. Is p a multiple of 13?
True
Let x be 3*-2*(-1)/1. Suppose 0 = -j + x + 4. Is j a multiple of 5?
True
Let p(a) = -a**2 - 5. Let h be p(0). Let f be (21/(-18)*-3)/(1/2). Is 6 a factor of (6/f)/(h/(-70))?
True
Let q(n) = 4*n**2 + 23*n + 6. Is 11 a factor of q(-10)?
True
Let k be 1 + -4 - (-24)/4. Is 3/(9/k)*46 a multiple of 23?
True
Let n be 4 + (-3 + 5 - 1). Suppose q - 6*q - 2*r + 111 = 0, n*q - 2*r = 99. Does 10 divide q?
False
Let r(n) = n**3 + 13*n**2 - n + 3. Is 7 a factor of r(-13)?
False
Let c(x) = -x**3 + 8*x**2 - 6*x + 6. Let h(b) = b. Let i = 11 + -5. Let m be h(i). Is c(m) a multiple of 14?
True
Suppose -3*o = 93 + 48. Let i = 73 + o. Is i a multiple of 13?
True
Let i be (-5)/((-3)/(9/3)). Suppose 0 = u + 2*p - 84 + 1, 0 = 4*u - i*p - 280. Is u a multiple of 25?
True
Let u be 1/3 + (-24)/18. Let q = 15 - u. Does 7 divide q?
False
Let m(a) = a. Let c(l) = 23*l + 3. Let n(u) = -c(u) + 4*m(u). Is 4 a factor of n(-1)?
True
Let l(b) be the second derivative of b**4/12 - 2*b**3/3 + 2*b**2 - 3*b. Let j be l(4). Suppose j*v - 44 = -0*v. Is 11 a factor of v?
True
Let k(l) = -3*l**3 - 12*l**2 + 5*l + 5. Let y(w) = 4*w**3 + 13*w**2 - 6*w - 5. Let z(x) = 5*k(x) + 4*y(x). Is z(8) a multiple of 6?
False
Let d = 12 + -7. Let i = 16 + d. Is i a multiple of 18?
False
Let l(i) = 13*i**2 + 2*i - 8. Is 23 a factor of l(3)?
True
Suppose 3*k - 12*k = -243. Is k a multiple of 4?
False
Suppose 2*y + 7 = -g, -7 = 5*y - 3*g + 38. Does 25 divide (0 + y + 3)*-15?
False
Let j(b) = -b**3 + b**2 - 2*b - 3. Does 3 divide j(-2)?
False
Let r = -15 + 44. Let a = r + -6. Is 20 a factor of a?
False
Let q = -13 - -31. Suppose -q + 6 = -4*s. Is s even?
False
Let n be (-1)/4 + (-21)/(-4). Suppose -n*i + 2*i + 57 = 0. Is i a multiple of 5?
False
Let s(q) be the third derivative of -q**6/120 - q**5/15 - q**4/12 - 7*q**3/6 + q**2. Does 12 divide s(-5)?
False
Let d(f) = f**3 + f**2 - 3*f - 3. Let b be d(3). Suppose b = i + 2*x, -3*i - 5*x + 73 = -0*i. Is i a multiple of 13?
True
Let j(z) = 130*z - 9. Is 14 a factor of j(2)?
False
Suppose 2*f = 4*o - 178, 4*o - 77 - 105 = -2*f. Is o a multiple of 5?
True
Suppose -3*s = -0*d - d - 170, -2*s - 2*d = -108. Let h = s + -14. Does 14 divide h?
True
Let h = -88 + 44. Let s = -24 - h. Does 12 divide s?
False
Let d(m) be the second derivative of m**3/2 + 12*m. Suppose -3*k + 19 = -11. Is 19 a factor of d(k)?
False
Let u(h) = -h**3 - 6*h**2 - 6*h - 1. Let g be u(-5). Suppose 4*q = g*a - 20, a + 2*a - q - 7 = 0. Is 3 a factor of a + 3 - 2/2?
True
Let p = 33 - -9. Does 21 divide p?
True
Let b(t) = -t + 8. Let o be b(0). Does 15 divide 308/10 - o/10?
True
Suppose -7*p - 109 = -683. Is p a multiple of 41?
True
Let m(o) = o**2 - 3*o - 6. Let b be m(-11). Suppose 0 = -8*a + 10*a - b. Is a a multiple of 16?
False
Let w = -1 - 0. Does 17 divide ((-67)/2)/(w/2)?
False
Does 6 divide (11/(-3))/((-4)/12*1)?
False
Let o(n) = n**3 + 6*n**2 + 5*n. Let p(a) = a - 1. Let x be p(-3). Is 6 a factor of o(x)?
True
Suppose k - 3 = -0. Suppose 0 = g + 2, 4*z + 0*g = k*g + 182. Is 30 a factor of z?
False
Suppose -5*a + 0*a = 2*m - 15, 0 = -m - 3*a + 9. Suppose m*b - 5*b = -y + 20, -2*y + 2*b + 16 = 0. Is y a multiple of 4?
False
Suppose 0 = -5*r + 4*r + 11. Suppose -c - 22 = -4*g, -3*c + 4 - 30 = -4*g. Is 10 a factor of c/r - 123/(-11)?
False
Is (-2)/8 + (-1160)/(-32) a multiple of 15?
False
Let p(r) = 50*r**2 - 4*r + 4. Does 17 divide p(2)?
False
Let w(l) = -19*l + 9. Let c(v) = -10*v + 4. Let q(o) = -11*c(o) + 6*w(o). Let s(m) = -8*m + 19. Let r(t) = -5*q(t) + 3*s(t). Does 13 divide r(-6)?
False
Does 5 divide ((-66)/(-8))/(6/16)?
False
Suppose -2*s + 4*s - 118 = 0. Does 12 divide s?
False
Let c(x) = -3*x**3 + 4*x**2 - 3*x + 1. Let o be c(2). Let r = o + 45. Does 16 divide r?
True
Let c be (-2)/4*2*723. Does 21 divide 6/27 - c/27?
False
Let g = 92 - 6. Is g a multiple of 20?
False
Let s = 283 + -121. Is s a multiple of 16?
False
Let h be 18/(-4) + (-1)/(-2). Let v = 36 - h. Does 10 divide v?
True
Suppose -y - 2*y + 60 = -3*l, 0 = -5*l + 10. Is 8 a factor of y?
False
Suppose -115 = 3*t - m, 3*t + 5*m = -t - 166. Let s = t + 63. Is 8 a factor of s?
True
Let r(g) = g + 4. Let w be r(-2). Let s(p) = 8*p**2 + 2*p. Is 21 a factor of s(w)?
False
Suppose 0 = -4*r - 3*l + 4, -2*r + 44 - 16 = -5*l. Suppose 4*z = r, -5*j + 0*z - 2*z + 42 = 0. Is j a multiple of 8?
True
Let y = 48 + -34. Is 5 a factor of y?
False
Suppose 0*v - v = 0. Let f be 1 + -1 - v/(-2). Does 13 divide (-2 + f)/(2/(-20))?
False
Let z = 5 - 3. Suppose -z*h + 0*h = -36. Does 8 divide h?
False
Let v = 1 - 1. Is (-203)/(-7)*(v + 1) a multiple of 10?
False
Let r(h) = h**2 - 5*h - 8. Let f be r(6). Let n be 1 + 0 + -1 - f. Suppose -o = n*o - 24. Is 4 a factor of o?
True
Let o = 358 - 185. Suppose -2*j = -5*j - b + o, -5*b - 31 = -j. Is 19 a factor of j?
False
Let c(j) = j + 10. Let v(b) = 2*b + 3. Let o be v(-5). Let l be c(o). Suppose l*t - t - 26 = 0. Does 13 divide t?
True
Let s(c) = c**3 + 5*c**2 - 6*c + 5. Does 16 divide s(3)?
False
Let t(q) = q - 5. Let u be t(-14). Does 7 divide -1 - (2*u - 0)?
False
Suppose 6*m = 46 + 104. Does 9 divide m?
False
Let d(o) = -o - 9. Let f be d(5). Does 4 divide (-6 + 0)*35/f?
False
Let s = 11 - 8. Suppose -4*y + s = 11. Is y - ((-1 - -3) + -20) a multiple of 8?
True
Let r = -341 + 495. Is 14 a factor of r?
True
Let t be (-3 - 1)*1/(-2). Suppose -2*v + 596 = t*v. Suppose 5*z = -5*g + 1 + v, 4*g + 3*z - 116 = 0. Does 9 divide g?
False
Let a = 2 - 2. Let x(s) = s**3 + s + 19. Is 6 a factor of x(a)?
False
Let z be ((-3)/2)/(3/(-4)). Suppose -z*o + 72 = -0*o. Let j = -3 + o. Is 14 a factor of j?
False
Let k(z) = -z**3 + 8*z**2 - 7*z - 6. Let r be 44/10 - 4/10. Let b = r - -2. Does 11 divide k(b)?
False
Suppose 15 = 3*b, 2*b + b - 42 = -3*a. Suppose -r = -a - 5. Is r a multiple of 14?
True
Let p be 20/(-100) + (-491)/(-5). Suppose -l - a + 28 = a, a = 3*l - p. Is l a multiple of 19?
False
Let l = 47 + -25. Is 14 a factor of (-4)/l + (-620)/(-22)?
True
Is ((-3)/(-3) + 2)*(-1 - -2) even?
False
Let k be (-477)/(-5) - 6/15. Suppose 0 = -2*m - 3*m + k. Is m a multiple of 7?
False
Let d(g) = -g**2 - 3*g - 1. Let q be d(-3). Let w be (3/6)/(q/(-10)). Let v = w - 3. Is 2 a factor of v?
True
Suppose -3*a + 2*y - 40 = -5*a, -2*a + 2*y + 44 = 0. Does 7 divide a?
True
Let q(m) = 2*m**2 + 8*m - 2. Let p be q(-6). Suppose j + 5*x - 1