se
Let h(p) = p**3 + 5*p**2 - 27*p - 6. Is 9 a factor of h(-8)?
True
Suppose -5*t + 8 = -3*v, 0 = -5*t - 0*t + 5*v. Suppose 0 = t*z - 382 - 138. Suppose -q = -4*w - w + 319, -2*w = 2*q - z. Is w a multiple of 21?
False
Let z(h) = h**3 + 6*h**2 - 6*h. Let q(p) = -p**3 - 2*p**2 - p - 6. Let y be q(0). Does 12 divide z(y)?
True
Let h(g) = -g**3 - 4*g**2 + 8. Is 8 a factor of h(-4)?
True
Let v(w) = -w - 8. Let k be v(-8). Suppose k = -n - 0*i - 2*i + 70, -174 = -3*n + 3*i. Is n a multiple of 29?
False
Let h = -404 + 569. Is 33 a factor of h?
True
Let z = -8 + 8. Suppose -8 = 4*u - z*u. Is 19 a factor of (-57)/u*6/9?
True
Let j = 6 + -83. Let g = -53 - -18. Let a = g - j. Is a a multiple of 21?
True
Let p be 6/(-15) + 32/5. Let b(g) = g**2 - 5*g - 4. Let t be b(p). Suppose 47 = t*o - 11. Does 15 divide o?
False
Let o = -2 + 6. Suppose 4*b = -5*s + 34, -5*s + o*s + 26 = 4*b. Let m(d) = d - 4. Does 2 divide m(b)?
True
Let t(x) = x**2 - 4*x + 3. Let l be t(-4). Let o = -2 + l. Let f = o + -19. Is 7 a factor of f?
True
Suppose -u = -76 - 98. Does 6 divide u?
True
Does 9 divide 540/8 + ((-3)/2)/3?
False
Suppose 3*j - 4 = -2*u - 0, -5*j = 0. Suppose -u*r = r - 9. Is (1 - r)/(2/(-3)) a multiple of 3?
True
Let h = 8 + -7. Does 11 divide h/5 + 218/10?
True
Suppose 2*y = 7*y - 1870. Does 23 divide y?
False
Let k(o) = 6*o + 9. Let a be k(-5). Let r = 31 - -14. Let z = r + a. Is 14 a factor of z?
False
Let y = 4 - 18. Let u be (-6)/(-5 - -2) - -25. Let w = y + u. Is 7 a factor of w?
False
Let a(l) = -l + 6. Let q be (18 + 0)/3*-1. Let t be a(q). Let b = -4 + t. Is b a multiple of 7?
False
Let v(l) = 2*l**2 - l + 1. Let z be v(1). Suppose z*o - 13 = 17. Suppose -5*s + o = -2*s. Is s a multiple of 3?
False
Let a(y) = 2*y**3 - 5*y**2 + y - 4. Does 49 divide a(6)?
False
Does 17 divide 4/(-6)*(4 + -442)?
False
Let u = -19 + 11. Let x = -5 - u. Suppose -v + x*i = -15, 3*i = 2*i - 2. Is v a multiple of 9?
True
Let l(y) = -y - 6. Let u be l(-3). Is 8 a factor of (0 - -8) + 3 + u?
True
Let u(x) = 5*x**2 + 5*x - 5. Does 14 divide u(2)?
False
Let y(j) = -2*j**2 - 5*j**2 + 8*j**2 - j**3 + 3*j + 4*j**2 - 3. Is 9 a factor of y(5)?
False
Suppose p = -4*p + 150. Is 10 a factor of p?
True
Let v(w) = 2*w**2 + 2*w + 1. Let x be v(-2). Let d = 1 + x. Let p(m) = -m**3 + 6*m**2 + 3*m + 4. Does 15 divide p(d)?
False
Let c(s) = 53*s - 2. Does 29 divide c(2)?
False
Suppose -4*k = 5*b - 9*k - 10, 2 = -b + 2*k. Suppose 21 - b = 5*a. Let i = a - -1. Does 2 divide i?
True
Let s(h) = 3*h**2 - 7. Let c be s(5). Suppose -c - 160 = -4*l. Does 23 divide l?
False
Suppose -3*f - 5*j + 25 = 0, 2*f - 8 = -0*f + j. Suppose -4*g + f + 7 = 0, -3*x + 5*g + 147 = 0. Suppose w + 2*w = x. Is w a multiple of 11?
False
Let r = -4 - -25. Does 15 divide r?
False
Let o = -24 - -50. Is 26 a factor of o?
True
Does 8 divide ((10 + -1)*3)/1?
False
Let h(t) = t**3 + 7*t**2 + 2*t. Does 12 divide h(-6)?
True
Let b(i) = 25*i**3 - 1. Let m(p) = p**2. Let l(x) = -b(x) - 2*m(x). Does 13 divide l(-1)?
False
Suppose -6*y - 129 = -759. Is y a multiple of 15?
True
Is (4/2 + 1)*44/12 even?
False
Suppose -5*p = -2*p - 5*o - 41, -3*p = o - 35. Is 4 a factor of p?
True
Let w(y) = -y**2 + 5*y + 1. Let v be w(5). Let p(t) = 24*t + 1. Does 11 divide p(v)?
False
Let b be 1 + (0 - (-2 + 25)). Is 14 a factor of 4/b + (-2480)/(-88)?
True
Let y(m) = -m**2 + 4*m - 2. Let z be y(2). Suppose -b - z*b - 6 = 0. Is 8 a factor of b - (2*-1 + -16)?
True
Let k(p) = 9*p + 11. Let y(b) = 37*b + 45. Let g(z) = -9*k(z) + 2*y(z). Is g(-6) a multiple of 11?
True
Is (548/24)/(93/18 + -5) a multiple of 49?
False
Let j(b) = b**2 + 7*b - 6. Let u be j(-5). Let v = -1 - u. Is v a multiple of 7?
False
Suppose 30 = 5*l + 2*j, -j - 5 = -5*l + 2*j. Suppose 3*z = l*q - 48, 2*q - 5*z = -z + 34. Is 2 a factor of q?
False
Let z(d) = -d**3 - 7*d**2 - d - 2. Let r be z(-7). Suppose 2*l = -m + 10, 4*m + 4*l - r*l = 85. Is m a multiple of 10?
True
Let d = 344 + -155. Does 27 divide d?
True
Let g(j) = 5*j**2 - 5*j**2 + 2 - j**3 + 4*j**2. Does 11 divide g(3)?
True
Let n be 10 - 2/(-4)*-4. Suppose k = -k + n. Suppose 4*a = 0, k*o - 6*a = -a + 152. Is o a multiple of 19?
True
Let c(m) = -m**3 - 4*m**2 + 5*m + 2. Let s be c(-5). Does 11 divide (s*-1)/(4/(-38))?
False
Let u(m) = 55*m**3 - m. Let s = 11 - 10. Does 10 divide u(s)?
False
Suppose -3*w + 5*h + 25 = 0, -w - 5*h + 25 = w. Let n(y) = 5*y - 14. Is 12 a factor of n(w)?
True
Suppose 4*h - 700 + 88 = 0. Does 32 divide h?
False
Let v(p) = 8*p**2 - p. Let f(b) = b**2 + 6*b + 4. Let y(k) = k**2 + 6*k + 5. Let z(u) = -6*f(u) + 5*y(u). Let o be z(-6). Does 7 divide v(o)?
True
Is 9 a factor of 12 - -6 - (1 + -1)?
True
Let h(s) = s + s - s**3 - 4*s + 4*s. Let a be h(-4). Is 4 a factor of ((-10)/7)/((-8)/a)?
False
Suppose 3*l = 2*l + 192. Is 16 a factor of l?
True
Suppose -2*x + x - 4 = 0. Let z(l) = 6*l + 1. Let r be z(x). Let w = r - -32. Is 6 a factor of w?
False
Suppose 0*x + x = 2. Let a(f) = f**2 + 3*f**2 + 3*f + 2*f**2 - x*f + 4 + f**3. Does 13 divide a(-4)?
False
Let n(p) = -p**2 - 26*p - 5. Does 39 divide n(-16)?
False
Let j(n) = -n**2 + 7*n + 3. Let w be j(7). Does 7 divide 13 + -2 + 0 + w?
True
Let f be 5/2*(5 + -1). Let u = 19 - f. Does 8 divide u?
False
Suppose 0 = -4*t + i + 11, 0 = -4*t - 5*i + 22 + 19. Suppose -t*x - 47 - 57 = 0. Let y = -5 - x. Is 21 a factor of y?
True
Suppose -3*q + 11 = -481. Suppose -2*s = -5*s + 4*m - 172, 3*s + 4*m = -q. Let u = -32 - s. Is u a multiple of 12?
True
Let f = -6 + 2. Is (-27)/(-18) - 182/f a multiple of 19?
False
Suppose 10 = 9*z - 4*z. Let o(r) = -r**3 - 2*r**2 - r - 2. Let g be o(-2). Suppose -z*l + 2*n + 32 - 2 = g, -4*l + 59 = -3*n. Is l a multiple of 14?
True
Let v(l) be the third derivative of 7/3*l**3 + 0*l + 0 - 3*l**2 - 1/24*l**4. Is v(6) a multiple of 8?
True
Let q(g) = g**3 - 9*g**2 - 8*g. Let m be q(10). Suppose -5*s + m + 15 = 0. Is 4 a factor of s?
False
Let r be (9/(-6))/(2/(-4)). Suppose -r*n + g = n - 43, 2*g = -3*n + 24. Is n a multiple of 7?
False
Let x = 76 - 46. Is 5 a factor of x?
True
Suppose -5*f = -4*f - 12. Does 2 divide f?
True
Let x = -24 + 28. Is 3 a factor of x?
False
Let u = 27 + -21. Is u a multiple of 4?
False
Does 13 divide 5/25 + 169/5?
False
Let b(n) = 1 - n + n + 0*n - 5*n. Does 9 divide b(-2)?
False
Let y(s) = 2*s**2 + 2*s + 8. Is 8 a factor of y(-5)?
True
Let y(x) = x**2 + 2*x + 8. Let b be y(-6). Suppose -3*m + b = -m. Does 8 divide m?
True
Suppose -3*p - 12 + 50 = 5*i, 0 = 2*p - 3*i. Is 2 a factor of p?
True
Let h = 28 + -28. Let g(x) = -x - 24. Let d(u) = -2*u - 48. Let p(o) = 6*d(o) - 13*g(o). Is p(h) a multiple of 10?
False
Let s = -27 + 101. Is s a multiple of 23?
False
Let l = -6 + 55. Is 9 a factor of l?
False
Let u = 4 - 6. Is 4 a factor of u/(8/14)*-2?
False
Let r(h) = -h + 18. Let u(c) = c - 4. Let i be u(5). Let f = 1 - i. Is r(f) a multiple of 18?
True
Let p(i) = i**3 + 8*i**2 + 8*i + 10. Let c be p(-7). Suppose -15 = -2*d - c*d. Suppose -d*r + 70 = 16. Does 9 divide r?
True
Let c = -12 - -15. Does 5 divide ((-2)/c)/(14/(-315))?
True
Let g = 21 - 4. Let r = 39 - g. Does 5 divide r?
False
Let s(p) be the first derivative of -p**3/3 - p**2 + 3*p + 1. Let q be s(-3). Suppose 0 = -q*y + y - 7. Is y a multiple of 3?
False
Let l(c) = c**3 + 7*c**2 + 4*c - 5. Let v be l(-6). Let t = v - -6. Is 11 a factor of t?
False
Let o(l) = -l**3 + 3*l**2 + l - 4. Let p(g) = 1. Let h(i) = o(i) + 3*p(i). Is 3 a factor of h(2)?
False
Suppose 0 = 2*c + 2, -2*q + 4*c - 32 = 8. Let n = 0 - q. Is n a multiple of 11?
True
Suppose -t - 12 = t. Let w = 13 - t. Is 7 a factor of w?
False
Suppose b = -b - 3*c + 4, -2 = -c. Is (-4)/(3 - b) - -17 a multiple of 7?
False
Let w(f) = f**2 - f + 1. Let x(i) = -i**3 - 8*i**2 + 7*i + 5. Let z(d) = -2*w(d) - x(d). Does 23 divide z(-6)?
True
Suppose 0 = 4*z - 5*j + 4, -4*j + 20 = 3*z - 2*z. Suppose -r - 2*r - 8 = -5*q, 5*q - z*r = 4. Is 3 a factor of q?
False
Suppose 0 = 2*l - 4*j - 2 - 0, -5*j + 25 = 3*l. Let x be 1*(12/(-4) + 14). Let o = l + x. Does 12 divide o?
False
Suppose 3*l = 27 + 6. Is l a multiple of 4?
False
Let r = -11 + 13. Suppose -r*q = -w + 7, 5*w - q - 21 - 5 = 0. Is 5 a factor of w?
True
Let u(w) = -6*w**3 + 2*w**2 + 2*w + 1. Suppose x - 7 = -4*o, 0 = -5*x + 5*o - 1 - 14. Let z be u(x). Let