- s - 21 = -k. Is 4 a factor of k?
False
Let y(o) = -4*o + 11. Is y(-6) a multiple of 3?
False
Suppose -3*q - 5 = -2*d, -2*d + 0*d + 4*q = -4. Suppose -14 = -2*n - d*o, -66 = -3*n + 4*o - o. Does 11 divide n?
False
Let v = 230 + -111. Does 17 divide v?
True
Let d be (-6)/((-6)/4*1). Suppose d*o + 66 = -4*k + 210, o - 2*k - 48 = 0. Is o a multiple of 23?
False
Let z(n) = 2*n**3 + n**2 + 3*n + 4. Let f(g) = 2*g**3 + g**2 + 4*g + 5. Let i(l) = 6*f(l) - 7*z(l). Does 8 divide i(-2)?
True
Let q(f) = f + 2. Let m be q(2). Let z be (18/m)/(4/24). Suppose -4*l = -y + z, 2*y = -5*l - 14 + 81. Is 16 a factor of y?
False
Let h(n) = -n**3 + 9*n**2 - 8*n - 15. Let y = -5 + 12. Is h(y) a multiple of 7?
False
Suppose -c + 6 = r - 41, -3*r - 153 = -4*c. Is 14 a factor of c?
True
Suppose 3*z + 36 = -126. Let c = z + 98. Does 14 divide c?
False
Let f = 118 - 70. Is 12 a factor of f?
True
Suppose -3*b = 3 - 0. Let m = -2 + b. Is 8 a factor of (3*-1 + -1)*m?
False
Let t be ((-8)/6)/((-2)/366). Is 10 a factor of 1/(-5) + t/20?
False
Suppose 6 = n - 4*r - 11, -r = -4*n + 98. Let m = 18 + -13. Suppose -2*g + 0*g = 4*z - 24, n = 3*z + m*g. Does 3 divide z?
False
Let s(t) = t**3 - 5*t**2 - 2*t + 7. Let y(h) = -2*h**3 + 9*h**2 + 3*h - 13. Let u be (-48)/15 - 1/(-5). Let m(p) = u*y(p) - 5*s(p). Is 15 a factor of m(4)?
False
Let r = -4 + 4. Suppose 0 = -3*l - r*l + 42. Is 7 a factor of l?
True
Let h(i) = -2*i**3 + i**2 - 2. Let b(p) = p + 2. Let r be b(-4). Does 9 divide h(r)?
True
Let b be -8 - (-2 - 1/(-1)). Let o(x) = -2*x + 1. Let c(j) = j - 1. Let s(t) = 3*c(t) + 2*o(t). Is s(b) a multiple of 6?
True
Suppose 9 = 5*j + 4*o, -1 = -3*j - 2*o + 6. Suppose j*a - 48 = -3*c, -4*a - 5*c + 31 = -10. Is 7 a factor of a?
False
Suppose -3*c + 3 = -2*c. Suppose -65 = -c*y + 130. Is 11 a factor of y?
False
Let v(r) = -r**2 - 1. Let h(q) = 5*q**2 + 10*q - 3. Let d(g) = h(g) + 6*v(g). Let s be d(7). Suppose -2*j = -4 - s. Is j a multiple of 4?
True
Let k(u) = -7*u**3 - 9*u**2 + 7*u + 13. Let p(d) = -3*d**3 - 4*d**2 + 3*d + 6. Let h(j) = 4*k(j) - 9*p(j). Let g be 2 - (1 + (2 - -1)). Is 4 a factor of h(g)?
True
Let r(o) = 0 + 4*o**3 + 8*o**2 + o**3 - 9 - 12*o - 4*o**3. Is r(-9) a multiple of 9?
True
Suppose 2*a + 3*a - 125 = 0. Does 5 divide a?
True
Let k be ((-1)/2)/((-2)/48). Is 6 a factor of -36*((-44)/k + 3)?
True
Let z = 47 - 27. Is z a multiple of 5?
True
Let d(o) = o. Let h be d(-5). Is ((-27)/15 - -1)*h a multiple of 4?
True
Let s(q) = 0*q**2 + 5*q**2 - 2*q + 5 + q**2 - q**3. Let o be s(4). Is -1*(-2)/(2/o) a multiple of 16?
False
Suppose 5*a - 8 = 12. Suppose 48 = a*m + 4*v, -4*v - 60 = -5*m - 2*v. Is 8 a factor of m?
False
Suppose 0 = 2*s + 2*s - 488. Suppose -c + 130 = -r - 0*r, -c + s = 3*r. Let b = -86 + c. Is b a multiple of 21?
True
Let j(z) be the second derivative of 17*z**3/6 - z**2/2 - 2*z. Is j(1) a multiple of 8?
True
Let l(v) = v. Let q(m) be the third derivative of m**6/120 + m**5/20 - m**4/6 + 5*m**3/6 + m**2. Let d be q(-4). Is l(d) a multiple of 2?
False
Suppose -2*h - h = -78. Is 13 a factor of (-2)/(((-1)/1)/h)?
True
Suppose 0 = -4*f + 112. Is 8 a factor of f?
False
Let f = 8 + -6. Let p be f - (-2 + -2 + 1). Suppose -p*i + 6*i = 22. Does 10 divide i?
False
Suppose 2*v = -4*m + 28, -4*v - 6 = 10. Is m a multiple of 9?
True
Let j(t) = t**2 + t + 12. Does 6 divide j(-3)?
True
Suppose -2*l = 3*l. Let h(x) = 1 - 4*x + 5*x + l*x. Is 4 a factor of h(6)?
False
Suppose -1 = -4*k + 3, s + 29 = 3*k. Let x = -16 - s. Is x a multiple of 5?
True
Let q = 3 + 0. Suppose q*j - 16 = j. Is 10 a factor of 40*3/(j + -2)?
True
Let i(c) = 3*c**3 - c**2 - 2*c + 2. Let t be i(3). Let n = 113 - t. Does 17 divide n?
False
Let j(q) = -q + 14. Does 8 divide j(-10)?
True
Suppose 11 = 4*u - 13. Suppose 2*k = 3*n - 0 - 2, 4*k = 4*n. Suppose n*j - 5*l - 14 = -u*l, 3*l = 3*j - 39. Does 4 divide j?
False
Is (-1 + -105)/(21 + -23) a multiple of 41?
False
Let p(r) = 5*r**2 + 3. Let b(f) = -9*f**2 + f - 5. Let a(n) = 6*b(n) + 11*p(n). Is 19 a factor of a(-8)?
True
Let l be (-1)/(((-3)/(-2))/(-3)). Let q be 3 + -1 + 2 + l. Suppose 0 = -a - o + 17, -4*a - 5*o = -q*o - 88. Does 9 divide a?
False
Let h(v) = v**2 + 2*v - 44. Is 11 a factor of h(-11)?
True
Suppose 2*j + 24 = -2*j. Let g = 14 + j. Is 7 a factor of g?
False
Let z(l) = l**3 - 3*l**2 + 3*l - 5. Let t be z(5). Let f = -35 + t. Let a = -15 + f. Does 10 divide a?
True
Let u be -4*((-3)/6 + 1). Does 2 divide (50/4)/(-5)*u?
False
Let r(t) = t + 4. Is 3 a factor of r(11)?
True
Is 6 a factor of (-10 - -54) + -1 + -3?
False
Let l = -17 - -24. Suppose -2*h + l*h - 67 = -g, 4*h - g = 59. Suppose 4 = 3*i - h. Is i a multiple of 6?
True
Suppose 0 = x - 10 + 1. Let h(p) = p**3 - 8*p**2 - 5*p - 10. Is 16 a factor of h(x)?
False
Suppose -3*j + 71 = 5*d, 0 = -2*d - 3*j + 4*j + 35. Suppose 4*y - d = 16. Is y a multiple of 3?
False
Suppose 4*k - 3*a + 1 = -0*k, 3*k - 3 = a. Suppose 0 = -n + k*q - 6*q + 54, 5*n = 4*q + 342. Is 22 a factor of n?
True
Suppose 5*q = -i + 36, 51 = 2*i + 3*q - 0. Let x = i - -3. Is 22 a factor of x?
False
Let n(z) = -3*z**2 + 4*z + 5. Let y(v) = 4*v**2 - 5*v - 6. Let c(m) = 3*n(m) + 2*y(m). Let i be c(3). Suppose -2*x - 2*x + 140 = i. Is x a multiple of 20?
False
Let x(d) = 405*d - 9. Does 11 divide x(1)?
True
Suppose -4*r - 3189 = -5*b - 337, 2*b - 2*r = 1140. Let l be 10/(-25) + b/5. Suppose c = z + z + 38, -l = -3*c - 5*z. Is c a multiple of 19?
True
Let p(q) = -q - 2. Let s be p(-2). Suppose s = 5*t - 0*t - 220. Is 8 a factor of t?
False
Let d = 27 - 15. Does 17 divide d/4*34/3?
True
Let a(g) be the third derivative of g**5/60 - g**4/8 + g**3 + g**2. Let w be a(5). Let o = w + -9. Does 7 divide o?
True
Let y = -5 + 4. Let j = y + -23. Let u = j - -34. Does 5 divide u?
True
Suppose -5*w = -7*w + 76. Does 12 divide w?
False
Let x = 5 - 8. Is 2 a factor of 10 - (0 + (-9)/x)?
False
Let a(p) = 183*p**3 + 2*p**2 - p. Is a(1) a multiple of 46?
True
Let c = 8 + 34. Is 14 a factor of c?
True
Suppose -3*v + 4*r - 19 = 0, -4*r + 37 = -2*v - 3*v. Is 0 - (0 - -1)*v a multiple of 3?
True
Let p(t) = -t**3 - 4*t**2 + 1. Let c be p(-4). Let b(a) = -c - 2*a**3 + 0*a + 7*a - 7*a**2 + 3*a**3. Is 2 a factor of b(6)?
False
Let q(f) = -f**2 + 7*f + 15. Is 3 a factor of q(7)?
True
Suppose l = -4*l - 3*g + 3, -3*l + 3*g = 3. Suppose l = -0*w + 3*w - 540. Suppose 2*f = -4*u - 0*f + 226, -3*u = -2*f - w. Does 22 divide u?
False
Let k = -16 - -11. Let j(p) = 2*p**2 + 5*p + 5. Is j(k) a multiple of 8?
False
Let i be -23 - (-3 - 0)*-1. Let m = -16 - i. Is m a multiple of 5?
True
Let r be (6/(-5))/((-6)/40). Let h = r - 5. Is 6 a factor of (h + 1)*(-3 + 5)?
False
Let a = -33 - -49. Is a a multiple of 8?
True
Let c be (-1)/(-2) + 63/18. Suppose -c*i + 17 = -3. Is i a multiple of 4?
False
Is 22 a factor of 4/(-3)*531/(-6)?
False
Suppose -376 - 86 = -14*p. Is p a multiple of 11?
True
Let w(o) = 2*o**2 - 11*o - 20. Is w(10) a multiple of 7?
True
Let d = 13 + 15. Suppose x - d = 7. Is x a multiple of 9?
False
Let x be (-93)/6 + 1/2. Let l = 29 + x. Does 14 divide l?
True
Let k(d) = 3*d**2 - 3*d - 3. Let i be k(3). Suppose 0 = -b - g + 10 + i, -2*b - g = -49. Suppose -b = -3*n - 0*n. Is 4 a factor of n?
True
Let g be 1/2*-2 - -2. Suppose -4 + g = -n. Suppose n - 1 = s. Does 2 divide s?
True
Let j = -7 - -6. Is (2 - 18 - 1)/j a multiple of 9?
False
Let f be 0 + 2 - (1 - 1). Suppose f*d + 5*h + 4 + 2 = 0, -d - 16 = -4*h. Let b = 16 - d. Is b a multiple of 12?
True
Suppose 0 = h + v - 133, 5*h - 557 = h + v. Suppose 2*n = -n + 4*x + h, -3*x + 33 = n. Does 14 divide n?
True
Let z be -1 - 1*(0 - -5). Let w = 80 - 68. Let g = z + w. Is g a multiple of 4?
False
Is 30 a factor of (-1)/(((-1648)/207)/(-8) + -1)?
False
Suppose 2*j = -2*d + 128, -j + 6 = j. Is 8 a factor of d?
False
Suppose 4*d = -11*d + 90. Is 6 a factor of d?
True
Suppose 3*z - 29 = 70. Is z a multiple of 21?
False
Suppose n + 5 = -q + 126, 5*q - 479 = -4*n. Suppose 3*z + 1 = -3*x + 64, 2*z = 5*x - n. Is 24 a factor of x?
True
Let j = 1 - -4. Let a = -1 + j. Does 3 divide a?
False
Let q(t) be the third derivative of 0 - 1/6*t**4 + 0*t - 5/6*t**3 - 2*t**2. Does 5 divide q(-4)?
False
Suppose -4*z + 944 = 128. Is 34 a factor of z?
True
Let c = 4 - 4. Suppose c*x - 7 = -x. Suppose d + 0 - x = 0. Does