se
Let p be (6/10)/(2/10). Suppose 3 = -p*o, -o = -2*k - 5*o - 14. Let c = k + 29. Does 12 divide c?
True
Let p(z) be the first derivative of -z**4/4 + z**3/3 + z**2/2 + 92*z + 4. Is p(0) a multiple of 19?
False
Let j = -31 - -43. Suppose -j = -m - 1. Is m a multiple of 11?
True
Suppose 3*r - 1350 = -5*w, -2*w + 540 = -0*w + 5*r. Is w a multiple of 45?
True
Suppose -2*n + 109 = -37. Is n a multiple of 8?
False
Let v = 11 + -7. Suppose -109 - 6 = -5*k - v*p, 0 = 5*k - 3*p - 150. Is 9 a factor of k?
True
Suppose -2*s + 43 + 139 = 0. Suppose 256 = 5*x + s. Does 18 divide x?
False
Let l(i) = -i**3 + 9*i**2 - 8*i + 2. Is l(7) a multiple of 11?
True
Let l = 7 - -3. Suppose 2*x + 2*r - l = 0, -3*x + 53 = -5*r + 14. Suppose z - 76 = -3*z - 3*s, -x = -2*s. Is 8 a factor of z?
True
Let h(t) = t**2 - 11*t - 6. Let p be h(8). Let k = -18 - p. Is 6 a factor of k?
True
Suppose -11*m + 464 = -548. Does 12 divide m?
False
Let p(g) = -8*g**2 - 7*g + 4. Let v(b) = 12*b**2 + 10*b - 6. Let c(k) = 7*p(k) + 5*v(k). Does 9 divide c(2)?
False
Let z = 7 + -5. Let m(w) = w**3. Let b(j) = -7*j**3 + 3*j**2 - 3*j. Let p(n) = -b(n) - 2*m(n). Is p(z) a multiple of 17?
True
Suppose -2*y - 332 = 2*y. Let f = 8 - y. Is f a multiple of 38?
False
Let w(y) = -3*y**3 + 7*y**2 + 4*y - 2. Let u(x) = -4*x**3 + 8*x**2 + 3*x - 1. Let n(g) = -2*u(g) + 3*w(g). Is n(5) a multiple of 9?
False
Suppose -2*l - 260 = -2*g, 2*g + 8*l - 9*l - 255 = 0. Is g a multiple of 7?
False
Let t = -20 - -9. Let i = t - -15. Suppose -19 = -i*o + 17. Is o a multiple of 5?
False
Let u(x) = 2*x - 12. Let n be u(9). Let z be (3/n)/((-2)/(-28)). Let s(t) = t**3 - 5*t**2 - 10*t + 4. Is s(z) a multiple of 18?
False
Suppose -4*r + 27 = -3*r - 3*y, 48 = 3*r + 2*y. Is r a multiple of 9?
True
Suppose 4*a - 36 - 12 = -2*u, 9 = 3*a. Does 18 divide u?
True
Let d(o) = 5*o + 1. Let b be d(1). Is 9 a factor of 27/b*2/1?
True
Let f be -2 - (-9 - (0 + -4)). Suppose u + 80 = f*u. Is u a multiple of 8?
True
Suppose -5*z + 690 = 4*u, -3*z + 171 + 235 = 4*u. Does 13 divide z?
False
Let b(h) = -6*h**2 + h**3 - h + 0*h**3 + 0*h - 2*h**3. Is b(-6) a multiple of 2?
True
Suppose 2 = -c, -p + 28 = 2*c + 11. Suppose 2*o - 3*v = p, v = 5*o - 2*v - 39. Does 4 divide o?
False
Let g(m) = -10*m + 2. Let p = 5 + -1. Suppose 4*u - 2*u = -p. Is g(u) a multiple of 11?
True
Suppose 15 = 3*t - 21. Is 2 a factor of t?
True
Suppose 5*j = -x + 17, -7*x = -2*x + 4*j + 20. Let d = x - -29. Does 7 divide d?
True
Let p(z) = z**3 + 7*z**2 + 5*z + 9. Let f be p(-6). Is 4 a factor of (-4)/30 + 92/f?
False
Suppose 8 + 1 = 3*m. Suppose 0 = -2*z + m*z - 25. Is 18 a factor of z?
False
Does 3 divide ((-89)/(-1))/(4 + -9 - -6)?
False
Let z(g) = -g**3 - 6*g**2 - 1. Let m be z(-6). Let k be 6/(-9)*(m - 23). Suppose -3*f + 4*f - k = 0. Is 6 a factor of f?
False
Let p(a) = 2*a + 2*a + 15 - 5*a. Let y = 1 + 7. Is p(y) a multiple of 4?
False
Let d = -39 + 70. Does 5 divide d?
False
Let l be 12 + ((-4)/2)/(-1). Suppose l = w + w. Let d(p) = p**2 - 6*p + 2. Is d(w) a multiple of 9?
True
Let j(z) = -z**2 + 12*z - 1. Is 12 a factor of j(4)?
False
Let s(g) = -g**2 - 10*g - 10. Does 2 divide s(-8)?
True
Suppose 3*h - b + 8 = 0, -5*h - b - 19 - 5 = 0. Let s(l) = -l - 2. Let t be s(h). Suppose -f + 0 = 1, 4*p - t*f = 166. Is 16 a factor of p?
False
Suppose -11*a + 546 = -147. Does 6 divide a?
False
Let f(h) = -5*h - 3*h + 8 - h**3 + 315*h**2 - 307*h**2. Let n = 12 - 6. Is 16 a factor of f(n)?
True
Let p(f) = 37*f. Let h be p(4). Suppose -2*w + h = 2*w. Suppose 0 = 4*g - 3*a - 6 - w, -2*g = 2*a - 32. Is 13 a factor of g?
True
Suppose 32 = 2*x - 5*t, 4*x - 93 + 29 = -3*t. Let u(n) = n**2 + 17*n + 10. Let k be u(-17). Suppose -2*s = -k - x. Does 5 divide s?
False
Let b(m) = m**3 - 7*m**2 - 7*m + 11. Does 9 divide b(8)?
False
Is 23 a factor of -5 + 3 - (1 + -85)?
False
Let y be 5*(87/15 - -1). Suppose y = a - 18. Suppose 2*j = -0*j + a. Is 10 a factor of j?
False
Let u = -8 - -8. Suppose u = -0*w + 3*w + f - 46, -f = 2. Is w a multiple of 6?
False
Suppose 4*r + 26 = 82. Suppose -226 = -6*x + r. Is x a multiple of 9?
False
Suppose 5*a = -w - 1 - 19, 0 = 2*a + 8. Suppose -3*d + d - 188 = w. Let r = 133 + d. Does 20 divide r?
False
Let o be (3 + -1)/((-2)/5). Let g be (189/(-7))/(6/(-4)). Let q = g + o. Does 10 divide q?
False
Let j = 110 + -69. Is j a multiple of 17?
False
Let h(k) = k**3 - 9*k**2 - k - 7. Let n be h(10). Suppose 5*a = -z - 81, 5*a - 4*z + n = -7*z. Is 6 a factor of 2 + 0 + -2 - a?
False
Is 9 a factor of 58 + (17 - 23)*(-4)/6?
False
Suppose -3*m + 3*q = 7*q - 653, -m + 2*q + 231 = 0. Does 15 divide m?
False
Is 35 a factor of ((-60)/(-16) - 2)*120?
True
Let l(f) = -f**3 - 6*f**2 - 5*f + 4. Let q be l(-5). Suppose -5*c - 108 = -q*y, 4*y - 3*c - 108 = -0*c. Suppose -y = -2*v + 15. Does 10 divide v?
False
Let f(j) = j**2 + j - 8. Is 12 a factor of f(4)?
True
Let c(i) = i**3 + 5*i**2 + 3*i - 1. Let k be c(-4). Suppose j = -4*l - 3*j + 88, -4*l - k*j = -92. Is 13 a factor of l?
True
Suppose 10*p - 78 = 7*p. Is p a multiple of 13?
True
Let h = -18 + 42. Is 4 a factor of h?
True
Does 18 divide (-1)/2*648/(-18)?
True
Let z = -5 - -1. Let s(r) = -r**2 - 8*r. Let m be s(z). Let p = m + -10. Is p a multiple of 5?
False
Suppose 5*u - 2*u + 33 = 0. Let c = -5 - u. Let k = c + 14. Does 11 divide k?
False
Let s(k) = k**2 + 5*k - 2. Let d = 13 - 9. Let y(t) = t**3 - 5*t**2 + t + 5. Let i be y(d). Does 6 divide s(i)?
True
Let z be (-1)/6 - (-1)/6. Suppose -w + z*a - 1 = a, 0 = 3*w + a - 3. Suppose 5*r + 4*j - 116 = 0, j + 0*j - 47 = -w*r. Does 12 divide r?
True
Let a(l) be the second derivative of -l**5/10 - l**4/3 - l**3/3 + l**2 - l. Suppose -5*k = 1 + 9. Is a(k) a multiple of 3?
True
Let d = -17 - -20. Does 3 divide d?
True
Let y = -26 + -3. Let d = 1 - y. Suppose -u + d = 4. Does 17 divide u?
False
Let h = 1 + 9. Does 4 divide h?
False
Let c(v) = 3*v - 4. Let i be c(5). Suppose 4*f - 61 - i = 0. Suppose r - 22 = f. Is 21 a factor of r?
False
Let x = -27 - -63. Suppose 3*t - 4*a - x = 0, 2*t - 30 + 6 = 4*a. Is t a multiple of 6?
True
Suppose 4*a - 15 = 1. Suppose r = 2*n - 37, 4*n + a*r + 19 = 63. Does 16 divide n?
True
Let o = -6 - -20. Is 5 a factor of o?
False
Let c be (10 + -4)/((-6)/(-4)). Suppose u - 3*n + 14 - c = 0, -3*u + 2*n - 2 = 0. Suppose -u*t + 137 = 2*t - 5*q, q = -5*t + 164. Does 11 divide t?
True
Let i(u) = 5*u**2 + u - 27. Does 15 divide i(6)?
False
Let z(s) be the second derivative of s**5/20 - s**4/6 - s**3/2 - 3*s**2/2 + s. Let t(g) = -g**2 - 4*g + 1. Let y be t(-3). Does 15 divide z(y)?
False
Let q be ((-2)/(-4))/(5/(-6870)). Is 16 a factor of (-1)/(-5) - q/15?
False
Is -1 + 2 + -14*(-20)/8 a multiple of 12?
True
Suppose 2*u + 2*u = 4. Let f(d) = 70*d + 2. Is 24 a factor of f(u)?
True
Suppose p = -2*p + 36. Is 6 a factor of p?
True
Suppose 0 = 3*m - 4*d - 95, 3*d - d = 2. Is 18 a factor of m?
False
Let k(j) = j + 10. Let z be k(7). Is 9 a factor of (z - 2)/(2/6)?
True
Let n(q) = 5*q**3 - 3*q**2 + q - 2. Is n(2) a multiple of 4?
True
Let t be (6 - 3)*-34*2. Let q be t/(-28) - (-4)/(-14). Suppose 72 = -4*k + q*k. Does 8 divide k?
True
Let z = 34 + -22. Does 6 divide z?
True
Let f be (1 - -12) + (0 - 1). Suppose f = 2*c - c. Is 6 a factor of c?
True
Suppose -2*m = 3*m - 20. Suppose 0*j - m*j = 3*i - 124, -5*j + 5 = 0. Does 13 divide i?
False
Suppose 5*r + 117 = 2*g, 3*r + 6*g = g - 64. Let i = r - -41. Is 18 a factor of i?
True
Let r = -123 + 185. Let x = r - 34. Does 16 divide x?
False
Let y(x) be the third derivative of 0 - 1/6*x**3 + 0*x + 3/8*x**4 - 1/60*x**5 + 3*x**2. Is 17 a factor of y(6)?
True
Let g = 613 - 220. Suppose 5*x + 2*y - g = 0, -5*x + 373 = -5*y + 2*y. Let h = -41 + x. Does 12 divide h?
True
Let z(w) = -w**2 + w + 1. Let m(b) = 3*b**2 - b - 1. Let g(l) = m(l) + 2*z(l). Let c(o) = o**2 - 6*o + 6. Let s be c(4). Is g(s) even?
False
Let o = 54 + -2. Is 19 a factor of o?
False
Let o(a) be the third derivative of -a**4/12 + a**3/3 - 2*a**2. Is o(-5) a multiple of 9?
False
Suppose -8*g = -3*g - 40. Is g even?
True
Is 0 + (-120)/(-6) - -4 a multiple of 24?
True
Let u(f) = f**2 + 2*f - 4. Is u(6) a multiple of 22?
True
Suppose 4*s + 3*g - 5 = 66, -4*s = 4*g - 68. Suppose 5*w - s = 5. Suppose -9 = 4*r - w*r. Is r a multiple of 7?
False
Let a(v) be