ide 1/(-2)*-1 - (-894)/12?
True
Let s(w) = w**3 - w**2 - w + 2. Let t(b) = -b**2 + 3*b + 2. Let u be t(3). Let m be s(u). Suppose 3 = 3*q + m*j - 2, 3*q - 4 = -5*j. Does 2 divide q?
False
Let h = 102 + -70. Suppose -2*q + 28 = -h. Is q a multiple of 15?
True
Suppose -3*q + 0*q = -6. Suppose -19 = -2*c + 3*h, 0*c - h + 5 = 5*c. Let d = q + c. Does 4 divide d?
True
Is 2/8 + 231/4 a multiple of 6?
False
Let k(f) = f**3 + 9*f**2 + 8*f - 6. Does 18 divide k(-5)?
True
Let y be ((-12)/(-3))/((-4)/(-22)). Suppose -y + 2 = -u. Is 10 a factor of u?
True
Let h(m) = -m**2 - 9*m - 10. Let z be 18/12 + 13/(-2). Does 3 divide h(z)?
False
Let z = 12 + -10. Suppose -z*w = -5*m + 191, 2*w + 2*w = -12. Is 19 a factor of m?
False
Suppose 2*q = -2*x + 8, 2*x - 2 = -q + 2*q. Let m be q - 6/(-2) - -1. Suppose 2*b - 50 = -5*r, r = -4 + m. Is 10 a factor of b?
True
Let u(s) = 33*s - 4. Let n be u(4). Suppose 5*o - 112 = 2*g, n = -2*o + 7*o + 2*g. Suppose -5*k + 11 + o = 0. Is k a multiple of 7?
True
Let d = 5 - 3. Suppose 0 = -3*w - d*w + 4*n + 270, -35 = -w - 3*n. Does 19 divide w?
False
Let f(z) = z**2 + z + 5. Let c(u) = 2*u**2 + 6. Let o(i) = -2*c(i) + 3*f(i). Let s be o(3). Suppose 0*v - s*v = -198. Does 23 divide v?
False
Suppose 5*h = -2*l - 94, -2*l + h - 94 = -h. Let n = l + 71. Is 12 a factor of n?
True
Is 51/(-18) + 1/(-6) + 87 a multiple of 42?
True
Suppose q = 3*q - 50. Let a = 12 + -8. Let p = q - a. Does 8 divide p?
False
Let q = -34 - -79. Does 6 divide q?
False
Let b = 179 + -35. Does 9 divide b?
True
Let d = -9 + 21. Is d a multiple of 9?
False
Suppose 5*v + l - 31 = 0, -3*v + 4*l = -4*v + 10. Let f = v - -2. Is 8 a factor of f?
True
Let v = -33 - -125. Is 17 a factor of v?
False
Let y(w) = -w - 1. Let q be y(-6). Let v(l) = -l + 5. Let c be v(q). Suppose 5 = -c*b + b. Does 4 divide b?
False
Is 34 a factor of -2*2/(-3)*51?
True
Suppose 7 + 38 = u. Is u a multiple of 15?
True
Let z = -244 - -442. Is z a multiple of 16?
False
Suppose -31 = -2*n - 5*l, 7*n + 5*l = 2*n + 70. Does 9 divide n?
False
Let a(x) = -x + 2. Let j be a(-6). Suppose -n + j = -0*n. Is 8 a factor of (3 + -2)/(1/n)?
True
Let m = 7 - 5. Let r = -4 - -4. Suppose 2*v = a + 35, r*v - m*a = 2*v - 50. Does 10 divide v?
True
Does 11 divide -4 + (24 - (-4 + 2))?
True
Let h be (0/3)/(2 - 1). Let b(u) = u**3 + 52. Is b(h) a multiple of 26?
True
Suppose -4*o - 218 + 66 = 0. Let y = o - -69. Is y a multiple of 16?
False
Let s(z) = -z**2 - 3*z + 2. Let a be s(-4). Let j(i) = -3*i - 2. Let h be j(a). Suppose h*k = 23 + 25. Does 6 divide k?
True
Let f be (-10)/(-2) - 18/6. Let u be 8 + (2 + 2)/2. Suppose 25 = 5*j - 3*p + 5*p, u = f*j - p. Is j a multiple of 2?
False
Suppose 3*n = -2*w + 241 + 209, -3*w + 675 = -3*n. Does 25 divide w?
True
Let h(m) = -m**3 + 5*m**2 + 6*m - 6. Let j be h(6). Let w = j - -8. Let o(q) = 2*q**3 + 2*q - 2. Is o(w) a multiple of 9?
True
Suppose -2*g = -68 - 132. Does 37 divide g?
False
Suppose -3*x - x + 8 = 0. Is x/(-3) - (-83)/3 a multiple of 9?
True
Let n(z) = -9 + 2*z + 0 - 13. Is n(15) a multiple of 4?
True
Let n be 4/(-14) - 596/(-28). Is 13 a factor of (-4)/(-6) - (-1351)/n?
True
Let f = 149 - 75. Is 7 a factor of f?
False
Suppose 4*g = -k + 37, -4*g + 0*k - 5*k + 41 = 0. Let u be (6/g)/((-6)/279). Let j = u + 52. Is 12 a factor of j?
False
Let k be -2 + -2*7/(-2). Suppose 0 = z - 5*h + k, -3*z = -2*z + 2*h - 9. Suppose z*c - 23 = 47. Does 7 divide c?
True
Suppose 4*p - 5*d = 4 + 53, -3*p - 3*d + 36 = 0. Is 3 a factor of p?
False
Suppose 3*n - g = 2*n + 31, -g = 2*n - 71. Let b be n*(-5)/2*1. Is b/(-15) + (-2)/(-6) a multiple of 6?
True
Suppose -4 + 12 = 4*a. Let x(n) = 2*n**2 - 4*n + 2. Let y be x(a). Suppose -f + 3*s = -8 - y, 0 = -3*f - 3*s + 54. Is 5 a factor of f?
False
Let k(m) = -m**2 - 4*m - 2. Let n be k(-2). Suppose -5*c - 4*g = -33, -n*g + 28 = 4*c + 2*g. Suppose 20 = 4*b + 2*a - 2, -c*a = 2*b + 1. Is b a multiple of 6?
False
Let b(k) = k + 15. Does 5 divide b(-6)?
False
Suppose -5*q = -l + 3, 2*q - 4*l = -3 - 9. Let i = 4 + q. Let z = 4 + i. Is z a multiple of 3?
False
Suppose 0 = 3*r - j - 15, 2*j + 15 = -0*r + 3*r. Is 4 a factor of r?
False
Let s(f) = 2*f - 10. Let d be s(7). Suppose 3*j - 10 = -d. Suppose o + 22 = j*o. Is o a multiple of 11?
True
Let p be 26/(-3) + 7/(-21). Let j(z) = -z**3 - 9*z**2 - z - 5. Let f be j(p). Suppose -f*d = -0*d - 52. Is d a multiple of 13?
True
Let o = -4 + 22. Does 18 divide o?
True
Let n = 6 + -3. Suppose 3*p + 34 = 7*p + n*o, -3*o = -4*p + 46. Is p a multiple of 5?
True
Suppose -24 = -3*w + 27. Suppose 4*m - 52 = 4*k, -4*m - 2*k + w + 17 = 0. Is 5 a factor of m?
True
Is 27 a factor of 172/2 + (-20)/(-20)?
False
Let j = 177 - 88. Let r = j - 50. Is 13 a factor of r?
True
Suppose 2*c + c - 836 = -d, 0 = 5*c + 2*d - 1395. Is c a multiple of 13?
False
Let l(r) = 13*r + 9. Is l(7) a multiple of 25?
True
Let m(g) = 27*g**2 - g. Does 14 divide m(-1)?
True
Suppose z + 13 = 35. Is 4 a factor of z?
False
Let r = 7 + -5. Suppose -5*f + 89 = 6*g - r*g, 0 = 5*f + 2*g - 97. Does 10 divide f?
False
Let v = 6 + -10. Let h be (-74)/(-14) + v/14. Suppose 0 = h*j - 88 - 72. Is 16 a factor of j?
True
Let q(r) = -r**3 - 2*r**2 + 3*r - 2. Let d be q(-3). Let g(o) = -o - 2. Let l be g(d). Suppose l*x - 3*x + 2*h + 12 = 0, 0 = 2*h. Is x a multiple of 4?
True
Suppose a - 2*f + 124 = 2*a, -595 = -5*a - 5*f. Suppose -51 = -5*b + a. Is 11 a factor of b?
True
Suppose 2*u - 4 = -0. Let d = u + 7. Is 15*(2 - 15/d) a multiple of 5?
True
Let f(b) = -b + 11. Let c be f(10). Let m(h) = 42*h**3 - h**2. Let w be m(c). Let d = -20 + w. Is 21 a factor of d?
True
Let b(p) = p**3 + 7*p**2 + 4*p + 2. Is b(-3) a multiple of 14?
False
Let o(p) = p**2 - 12*p + 5. Let u be o(12). Let q be 3 + 1 - 2/2. Suppose 0 = u*y - q*y - 4. Is y even?
True
Let x(p) = -p - 5. Let c be x(-5). Suppose 4*f - 12 - 4 = -5*v, c = 4*f - 2*v - 44. Is f a multiple of 9?
True
Let w(l) be the third derivative of l**6/40 + l**5/20 - l**4/12 + l**3/6 - l**2. Let t = 0 - -2. Is w(t) a multiple of 13?
False
Let b = 8 + 4. Is 12 a factor of b?
True
Let o be 3/1 + (0 - -8). Let p = 25 - o. Is p a multiple of 7?
True
Let d be ((-3)/1)/(-3)*11. Let u = 23 - d. Is 5 a factor of u?
False
Let b = 7 - 7. Suppose i - 6*i + 135 = b. Is i a multiple of 11?
False
Suppose 0 = -x + a + 1, 9 + 4 = x + 5*a. Let z(k) = -k - 1. Let c(b) = -8*b - 4. Let m(r) = -c(r) + 4*z(r). Does 4 divide m(x)?
True
Suppose 3*a - 2*a + 3*b - 88 = 0, 3*b = 4*a - 322. Is a a multiple of 8?
False
Let c(b) be the third derivative of b**6/120 - b**5/10 + b**4/8 + 5*b**3/6 - 2*b**2. Let o be c(6). Suppose -4*q = -3*q - o. Does 17 divide q?
False
Let l be 3 + -1 + 4 + -3. Suppose q - 20 = -v + 34, -l*v = q - 164. Is 16 a factor of v?
False
Let x be 0*(2/4 - 0). Let o(a) = -a**2 + 7*a - 1. Let p be o(5). Suppose i - 25 - p = x. Does 17 divide i?
True
Suppose 3 + 21 = -2*y. Let d be (-2)/7 + 24/(-14). Is 18 a factor of (20/6)/(d/y)?
False
Suppose -l + 8*l - 1274 = 0. Is 13 a factor of l?
True
Suppose 4*b = -3*i + 32, 5*i - 73 + 15 = -2*b. Does 7 divide i?
False
Let u = 48 - 18. Is u a multiple of 10?
True
Let x = 18 + 56. Is x a multiple of 19?
False
Suppose 5*g + 2*r = 25, 5*g - 2*r - 11 - 14 = 0. Suppose 2*o - 21 = g*o. Let a(k) = -k**2 - 10*k - 9. Does 5 divide a(o)?
False
Let m(q) = -3*q - 7. Suppose 2*f + 5*s + 37 = 0, -s = f - 3*s - 4. Is m(f) a multiple of 11?
True
Let z(p) = -p**3 - 4*p**2 + 5*p + 1. Is z(-6) a multiple of 6?
False
Suppose 0 = 7*p - 4*p + 63. Let h be ((-24)/14)/(6/p). Let q(d) = -d**3 + 7*d**2 - 4*d - 4. Does 8 divide q(h)?
True
Let a = 160 + -52. Is a a multiple of 17?
False
Let l be (-2)/(-10) - (-276)/20. Suppose -y - 5*g = l, -6*y + 4*g = -5*y - 22. Does 6 divide y?
True
Let g(w) = 13*w - 8*w + 25*w - 2*w. Let r be g(-1). Is 4/2 + r/(-1) a multiple of 9?
False
Let c = 152 + -86. Is 12 a factor of c?
False
Suppose 36 = 2*q + 5*g, 2*q + 2*g - 32 = -q. Does 4 divide q?
True
Suppose 2*c + c = 9. Suppose 0 = k + c*k, -4*t - 4*k = -8. Is ((-20)/(-6))/(t/6) a multiple of 5?
True
Let x(i) be the first derivative of -i**6/120 + i**5/12 + i**4/12 + 2*i**3/3 - i**2/2 - 2. Let d(u) be the second derivative of x(u). Is d(5) a multiple of 6?
False
Let a(w) be the third derivative of -w**6/120 - w**5/60 + w**4/24