 + n*r = 12. Is c a multiple of 4?
False
Let b(s) be the second derivative of s**7/840 + s**6/45 + 7*s**5/120 + s**4/3 + s**3/6 - 2*s. Let q(f) be the second derivative of b(f). Does 13 divide q(-6)?
False
Let f be (-2)/5 - 2176/(-40). Let m be (-9)/f - (-43)/6. Let b = m - -3. Is 4 a factor of b?
False
Let a = -131 + 183. Is a a multiple of 15?
False
Let a be (1 - -3)/2 - 5. Does 14 divide ((-54)/(-8))/(a/(-12))?
False
Let p = 13 - 1. Suppose -4*s + p = 2*x, -x - 6 = -4*s + 2*s. Suppose 3*m + 4*h - 60 = 0, x*m + 20 = 2*m - 4*h. Is 13 a factor of m?
False
Let l(h) = -3*h**3 - 3*h**2 + 4*h + 1. Let r be l(-4). Suppose 3*f - r = 57. Is 18 a factor of f?
False
Is 55*(-1)/3*-3 a multiple of 11?
True
Let a be ((-3)/1)/((-6)/4). Let l be (a/1 + -35)*-1. Let v = l - 17. Is 6 a factor of v?
False
Let i = -8 - 3. Does 6 divide (-258)/(-33) - 2/i?
False
Let f = -9 - -11. Suppose -f*b - 3*z + 54 = 0, -2*z - 3 = 5. Is 11 a factor of b?
True
Let j(a) = -9*a**3 - 9*a**2 - 4*a - 2. Let b(o) = -13*o**3 - 14*o**2 - 6*o - 3. Let h(u) = 5*b(u) - 8*j(u). Let g be h(-1). Let z = 0 - g. Does 6 divide z?
True
Let o be ((-1)/3)/(4/(-132)). Let r(q) = -10*q + 35. Let p(b) = 3*b - 12. Let i(a) = -7*p(a) - 2*r(a). Does 2 divide i(o)?
False
Is (-12*6)/2*(-3)/9 a multiple of 4?
True
Let n(y) = y**3 - 4*y**2 - 5*y. Let q be n(5). Suppose q = 4*c - r, 0*c + 2*r = 3*c. Suppose -4*w = 2*t - c*w - 28, 0 = 2*t - 4*w - 36. Is 16 a factor of t?
True
Let g = -2 - 0. Let i be 79/4 - g/8. Let p = i + -7. Does 13 divide p?
True
Suppose 2*l = i + 26, 0*i - i = 2*l - 34. Is l a multiple of 10?
False
Suppose 2*a + 1 = 17. Suppose 4*j = a + 4. Is 1/(j/(-9)*-1) even?
False
Let n = 149 - 100. Is n a multiple of 7?
True
Let w = 3 + 11. Let i = w + -1. Is i a multiple of 7?
False
Let c(i) = 2*i**2 - 14*i + 23. Is 10 a factor of c(8)?
False
Let s(q) = q**3 - 3*q**2 + 4. Let z(i) = 2*i - 23. Let c(f) = f - 12. Let g(d) = -11*c(d) + 6*z(d). Let o be g(9). Does 4 divide s(o)?
True
Suppose -d - 2*d + 4*n = -79, 0 = 4*d - 4*n - 112. Is d a multiple of 4?
False
Let g = -5 + 18. Let p = g + 5. Is 16 a factor of (3/(-3))/((-1)/p)?
False
Suppose -625 = u - 6*u. Suppose -u = -5*p + 6*a - 5*a, -3*p + 3*a + 87 = 0. Is p a multiple of 12?
True
Let w(m) = -m - 2. Let n be w(-2). Suppose n = 2*h - 8, 4*y - 25 = 2*h + 39. Does 9 divide y?
True
Let f(p) = -p**3 - p**2 - p - 2. Does 5 divide f(-4)?
True
Let o(r) = r + 20. Is 2 a factor of o(-12)?
True
Let v = 12 - 18. Let b(u) be the second derivative of -u**3/3 - 3*u**2 - 3*u. Is 4 a factor of b(v)?
False
Suppose 0 = -0*i - 5*i - 4*v - 48, 5*v - 14 = 3*i. Let q = -6 - i. Is q a multiple of 2?
True
Let b(g) = -3*g**3 - 4*g**2 - 5*g. Let n be b(-5). Suppose -6*h = -2*h - n. Is h a multiple of 25?
True
Let y be 42/8 + 1/(-4). Suppose -3*j - 5 = -y*t, -5*j + 0*t + 3 = 3*t. Suppose -h - 4*h + 255 = -5*u, -h + 3*u + 45 = j. Is h a multiple of 19?
False
Suppose 4*m - 4*y = -0*m + 28, 4*m + 2*y = 4. Suppose 6*q = 7*q - 128. Suppose m*f + f = q. Does 16 divide f?
True
Let h be (-4 + 1)/((-2)/(-10)). Let j be 54/(-21)*(h + 1). Is 11 a factor of 712/j - (-6)/27?
False
Suppose 4*j - 228 = 4*w, 3*w - 52 = -3*j + 107. Suppose 5*i = -0 + j. Is i a multiple of 7?
False
Does 16 divide 3/(99/(-136) - 27/(-36))?
False
Let n be (-2 - 0/1)/(-1). Suppose 106 = 3*u - 2*r, -3*u + 17 = -n*u + 3*r. Is u a multiple of 18?
False
Suppose 2*c - 52 = 66. Is 15 a factor of c?
False
Suppose -78 = -5*i + 3*i. Let k = -10 + i. Is 9 a factor of k?
False
Suppose 2*l = -3*w + 39, 6*l + w - 29 = 4*l. Does 6 divide l?
True
Let z be 43/2*2*-1. Suppose 0 = k + 5*r - 58, 2*r + 0*r - 148 = -2*k. Let b = z + k. Does 20 divide b?
False
Suppose 3*u - 10 - 20 = 0. Let w = u + -7. Suppose 2*q = -w*q + 105. Is 7 a factor of q?
True
Let m = 159 - 84. Is m a multiple of 25?
True
Suppose -7*s = -2*s. Let f(b) = -14*b**3 + 17*b**2 - 3*b - 44. Let v(p) = -5*p**3 + 6*p**2 - p - 15. Let c(o) = -6*f(o) + 17*v(o). Is 9 a factor of c(s)?
True
Suppose -v + 3*v = 0. Suppose v = q - 3*q - 2. Is 12 a factor of 22 + q*2/(-1)?
True
Let b(n) = -7*n**2 - 11*n + 16. Let g(q) = 3*q**2 + 5*q - 8. Let l(r) = -4*b(r) - 9*g(r). Let f be l(-8). Suppose 3*z + 2*z = f. Does 8 divide z?
True
Let n(o) = -14*o**3 - 4*o**2 + 3*o. Let k(t) = 28*t**3 + 7*t**2 - 5*t. Let c(q) = -3*k(q) - 5*n(q). Is 13 a factor of c(-1)?
True
Suppose -2*x = 8, 4*x + 232 = -a + 2*a. Is a a multiple of 54?
True
Suppose -2*f + 7*f - 4*o = 572, 233 = 2*f - 3*o. Suppose -4*z = -2*z - f. Does 28 divide z?
True
Let i(v) = -1. Let a(h) = -3*h - 4. Let l(o) = a(o) - 4*i(o). Let q be l(-2). Suppose f - q = -2*f. Is f even?
True
Suppose 0 = -j - 2 - 0. Is 615/25 + j/(-5) a multiple of 12?
False
Let g(l) be the first derivative of 1/4*l**4 + 1 - 2/3*l**3 - 5/2*l**2 + 0*l. Does 12 divide g(4)?
True
Let o(k) = -4*k - 2. Let s be o(-2). Suppose -y - 70 = -s*y. Does 5 divide y?
False
Suppose 0 = -6*x + 2*x. Suppose b - 20 = 4*p + 27, x = -3*b - 4*p + 157. Does 17 divide b?
True
Let c(p) be the first derivative of p**4/4 + 4*p**3 + 9*p**2/2 - 8*p + 1. Let l be 2 - (-4)/(-1) - 9. Does 7 divide c(l)?
True
Let c(q) = -q**3 - 15*q**2 + 12*q - 36. Is 14 a factor of c(-16)?
True
Let q(z) = -5*z + 16. Is 17 a factor of q(-7)?
True
Let y(f) = 3*f**2 + 7*f + 4. Let d(b) = -b - 1. Let h(p) = -p**2 + 8*p + 13. Let w(n) = d(n) - h(n). Let x be w(10). Does 24 divide y(x)?
True
Suppose y + 4 - 7 = 0. Let w(b) = -b**3 + 6*b**2 - 3*b - 7. Let p be w(5). Suppose -3*a + p + y = 0. Does 2 divide a?
True
Let x(p) = -p**2 + 3*p + 1. Let u be x(2). Suppose 0 = u*j + 84 - 213. Let f = -21 + j. Is 22 a factor of f?
True
Let m be 4/6*18/4. Suppose m*g - 24 = 54. Does 13 divide g?
True
Let h(f) = 104*f. Is h(1) a multiple of 26?
True
Suppose -5*w + 7*k = 4*k, 3*k + 24 = -3*w. Is 14 a factor of w - (45/(-1) - 0)?
True
Is 14/(-35) + (-122)/(-5) a multiple of 8?
True
Let k = 4 + -1. Suppose -k*p + 13 = 82. Does 11 divide -1*(2 + -1)*p?
False
Let s(h) = 15*h**3 + 25*h**2 - 2*h + 11. Let c(b) = -7*b**3 - 12*b**2 + b - 5. Let l(u) = -13*c(u) - 6*s(u). Is l(-6) a multiple of 5?
True
Suppose 0 = -y + 4*j + 300, -8*j + 611 = 2*y - 5*j. Is y a multiple of 45?
False
Let i = -44 - 46. Let v = i + 60. Let b = v - -55. Is b a multiple of 9?
False
Let b = 3 - 0. Suppose -4 - 2 = -b*a. Is 7 a factor of ((-1)/(1/(-46)))/a?
False
Suppose -36 + 4 = -t. Suppose -5*s - 8 = -f, -4*f + 3*s = -0 - 15. Is 6 a factor of ((-9)/(-6))/(f/t)?
False
Let t = 12 + -1. Let a = 21 + -20. Let o = a + t. Is 5 a factor of o?
False
Suppose -2*m + 4*r = -16, m + 2*r + 6 = 2. Suppose -7 = -h + m. Suppose -h = -5*c + 66. Is 9 a factor of c?
False
Let j = 7 - 5. Suppose -2*n - 16 = -2*t - 4*n, 2*t - j*n - 20 = 0. Is t a multiple of 4?
False
Let c(m) = 18*m + 2. Does 8 divide c(3)?
True
Let g = 26 + 58. Is 12 a factor of g?
True
Suppose 0 = 3*h - 20 - 16. Suppose 5*d - 97 + h = 0. Does 17 divide d?
True
Suppose 3*m = -3*u - 12, 2*m + 16 = 4*u - 2*m. Is 11 a factor of (0 - u) + (-96)/(-3)?
False
Suppose 5*m - 20 = -a - 0*a, -5*a + 34 = 3*m. Suppose m*y - 49 = -10. Is y a multiple of 4?
False
Let h(w) = 3*w + 14. Let j(a) = -8*a - 41. Let k(p) = -11*h(p) - 4*j(p). Is k(0) a multiple of 4?
False
Let f(l) = 16*l - 18. Is 13 a factor of f(6)?
True
Let x(w) = w**2 - 6*w - 15. Is 29 a factor of x(16)?
True
Let y = -10 - -13. Suppose a - y = 20. Does 6 divide a?
False
Suppose 5*m - 225 = -5*l, -5*m + 4*l - l + 265 = 0. Does 9 divide m?
False
Let p(n) = -115*n**3 - n. Let i be p(-1). Suppose -i = -0*x - 2*x. Let z = -41 + x. Is z a multiple of 17?
True
Let w(p) = -p**3 + 5*p**2 + 3*p - 8. Is w(5) a multiple of 3?
False
Let t(z) = -19*z - 1. Does 9 divide t(-1)?
True
Suppose 362 = 3*i - 3*b + 2*b, 126 = i - 3*b. Is i a multiple of 15?
True
Let l = -130 - -88. Is 15 a factor of ((-22)/6 - -3)*l?
False
Suppose 7*m - 15 = 2*m. Let y be (m/4)/(2/(-16)). Is (-6)/9 + (-106)/y a multiple of 17?
True
Let b be 6/(4 + -2 - 4). Is 2 a factor of (b - (-1 + -1))*-4?
True
Suppose -3*v + 5 = 17. Let j = v + 6. Does 8 divide -2 + j - -2*8?
True
Is (1/3)/((-762)/(-126) + -6) even?
False
Let o(n) = -2*n + 5. Let q be o(4). Is 16 a factor of (16/q)/((-3)/18)?
True
Suppose -61 = 5*s - 161. Does 10 divide (s/6)/(1/3)?
True
Let g = -1 + 3. Suppose -g*v + 2*a = -52, 27 = 