t j be 0 - (-2 - 0) - 0. Is 5 a factor of (-1)/(0 - j/10)?
True
Let c(j) = -3*j - 5. Let m(a) be the first derivative of a**4/4 + 4*a**3/3 - 5*a + 2. Let q be m(-4). Is 10 a factor of c(q)?
True
Let v = 76 - 43. Is 11 a factor of v?
True
Let m(j) = j**2 - 8*j - 5. Is 5 a factor of m(10)?
True
Suppose 101 = 4*a + 413. Does 13 divide 2*a/4*-1?
True
Let r(w) = -w**3 - w**2. Let n be r(1). Let x = -6 - n. Is 81/6*x/(-3) a multiple of 10?
False
Let t(l) be the first derivative of -3*l**2/2 + 5*l + 2. Does 10 divide t(-5)?
True
Let d = 3 - 0. Let a = -6 + d. Is 6 a factor of (a/(-6))/((-1)/(-36))?
True
Let l(g) be the second derivative of 8*g**4/3 - g**2/2 + 2*g. Does 14 divide l(-1)?
False
Let u(l) = l**2 - 1. Let r(n) = 2*n**2 - 2*n - 4. Let c(x) = r(x) - u(x). Let z be c(3). Suppose 2*w + w - 45 = z. Is w a multiple of 15?
True
Let j(x) = 2*x**2 - 5*x + 6. Does 5 divide j(5)?
False
Let v(w) = 3*w**3 + 2*w - 3. Let z be v(2). Suppose -5*i + z + 0 = 0. Let h = 22 + i. Is 9 a factor of h?
True
Let n(v) = v**2 + 5*v - 2. Let g be n(-6). Suppose -g*k + 5*o + 87 = 0, 2*o - 15 = -o. Does 28 divide k?
True
Suppose 4*k = 5*m - 19, 2*m - 4*k - 11 = k. Suppose m*p = 4*h - 32 - 0, -2*p - 3 = -h. Does 11 divide h?
True
Let w be (-38)/8 + (-1)/4. Let n(c) = c**2 + 5*c + 4. Let d be n(w). Suppose -22 + 66 = d*b. Is 11 a factor of b?
True
Suppose -6*i + 120 = -i. Is 12 a factor of i?
True
Suppose -24 = -4*s + 4. Is 7 a factor of s?
True
Let m be (-11)/(-3) + 2/(-3). Let z = -138 + 216. Suppose q = -m*i + z, -26 = -i - 0*q - 3*q. Is i a multiple of 10?
False
Suppose 4*r + 75 = 3*z, -4*z + 5*r + 55 = -44. Is 2 a factor of z?
False
Let z = -20 + 14. Let r be 100/2*(-3)/z. Suppose -5*t + r = -110. Is t a multiple of 15?
False
Let o(z) = 4*z**2 + z. Let p be o(-1). Suppose -10 - 6 = -2*g - p*q, 0 = -5*g + 3*q + 40. Is 7 a factor of g?
False
Suppose 57*q - 256 = 56*q. Is 32 a factor of q?
True
Suppose -2 = c - 14. Is c a multiple of 3?
True
Suppose -60 - 30 = -2*w. Is 15 a factor of w?
True
Let a(j) = 2*j - 5. Let d be a(20). Suppose g + 26 - 4 = 0. Let w = g + d. Is 13 a factor of w?
True
Let d(n) = -11*n + 3. Does 23 divide d(-7)?
False
Suppose -2*i + 21 = i - 3*g, 4*g = 0. Does 3 divide (5 + i)*1/2?
True
Let q(p) = -3*p + 8. Does 14 divide q(-5)?
False
Suppose 5*l - o = 80, -3*o - 8 = -2*l + 37. Suppose j = -2*p + 5*j + 4, 4*p - l = j. Is 3 a factor of p?
False
Let y = 14 - -6. Let a = -2 + y. Is a a multiple of 3?
True
Let u(o) = 3*o**2 - 7*o + 20. Does 13 divide u(3)?
True
Let r be (-47)/(-7) - (-14)/49. Suppose 12 = k - r. Is k a multiple of 16?
False
Suppose 46 = 5*g - 4. Suppose -n + 23 = 3*f, g*n - 5*n - 7 = -3*f. Does 4 divide f?
False
Let v(b) = 6*b + 2. Let g be v(9). Suppose 4*c + 2*d = 6*d + g, 3*d = -3*c + 48. Is 7 a factor of c?
False
Suppose -7 - 2 = j. Let m be 1/(j/(-5) - 2). Is 1/(-5) + (-111)/m a multiple of 11?
True
Suppose 2*n + 140 = l, 0 = -4*l + l + 4*n + 410. Does 13 divide l?
True
Let m(b) be the second derivative of -b**5/10 - b**4/6 - b**3/3 - b**2/2 - 4*b. Does 4 divide m(-2)?
False
Let d be 0*(0 + -4)/(-8). Suppose 4*o - 2*o - 32 = -2*g, -4*g - 3*o + 67 = d. Is 10 a factor of g?
False
Let i = -845 + 1217. Does 18 divide i?
False
Suppose -w = 4*u - 83, 2*w - 3 = 3. Does 20 divide u?
True
Let c(n) = -2*n + 2. Let a(p) = -3*p + 3. Let r(m) = -3*a(m) + 5*c(m). Let o(l) = l**3 - l - 1. Let w be o(0). Is r(w) a multiple of 2?
True
Suppose -18*t + 4032 = 3*t. Is t a multiple of 8?
True
Let p = 0 + -6. Is 14 a factor of (-2 - (-42)/(-9))*p?
False
Does 10 divide 2/(-3) - 536/(-12)?
False
Let n(b) = b**3 - 6*b**2 + 2*b - 2. Let k be n(7). Suppose f - 56 = -3*d, -5*d - 11 = f - k. Let i = f - 32. Is i a multiple of 11?
True
Let f = 0 - -5. Suppose -1 - 3 = -2*n, 0 = -5*h - f*n + 70. Does 11 divide h?
False
Suppose -2*x - 4*r - 4 = -6, 0 = -2*x - 5*r + 1. Suppose 0 = -3*u - 0*u - x. Does 7 divide (4*(-5 + 0))/u?
False
Let b be (-6)/9 + (-6)/(-9). Let k(j) = -j**2 - j + 16. Let u be k(b). Suppose -y - 37 = -3*y - 3*x, -y - 2*x = -u. Does 13 divide y?
True
Suppose 16*j - 215 = 11*j. Is 16 a factor of j?
False
Suppose 14 = -3*w - 2*z + 3*z, -19 = 3*w - 2*z. Let y(p) = -22*p - 25*p + 31*p - 2 + 0. Does 23 divide y(w)?
True
Let y(l) = -l**3 + 5*l**2 + 9*l - 8. Suppose 0 = k - 4*k + 3*w + 48, 0 = 3*k - w - 52. Let n be ((-4)/3)/((-4)/k). Is 10 a factor of y(n)?
True
Let m be 102/30 + (-4)/10. Suppose c = 4*l + 1 + m, 0 = -2*c - l + 17. Is c a multiple of 4?
True
Suppose 2*f + 0*f = 28. Let l(i) = -i**3 + 14*i**2 + i + 10. Does 8 divide l(f)?
True
Let l = -2 - -7. Let v be l/(-15) + 80/6. Let d = v + -1. Is d a multiple of 6?
True
Suppose -2*v - 415 - 325 = -4*m, -4*m = 5*v - 726. Is m a multiple of 17?
False
Does 8 divide 58/1 + (2 - (1 + -1))?
False
Let y(d) be the first derivative of -d**3/3 + 5*d**2 - d + 3. Is y(7) a multiple of 10?
True
Let t = 15 - -17. Is t a multiple of 16?
True
Suppose -3*r = -4*g + 8, 11 = -2*r + 4*g - 1. Suppose r*k = 11 + 1. Suppose k*p - 120 = -2*p. Is 12 a factor of p?
True
Let u(i) be the first derivative of i**4/4 - 2*i**3 + 5*i**2/2 + 4*i - 2. Let o be u(5). Does 7 divide (2 - o/10)*10?
False
Let b(v) = -4*v**3 + 0*v + v + 3*v**3 + 5*v**2. Let a be b(5). Suppose a*w - 36 = 4*w. Is w a multiple of 13?
False
Let m(u) = -8 - 2*u**2 + 2*u + u**2 - 8*u + 1. Let n be m(-6). Let l = 13 + n. Is 3 a factor of l?
True
Let f = -8 + 11. Suppose -2*k + 5 = f*k. Let r(c) = 24*c. Is r(k) a multiple of 12?
True
Suppose 5*p = p. Suppose p*k + 2*k = 12. Does 2 divide k?
True
Suppose 0 = -0*q - 2*q + 40. Is 9 a factor of q/25*45*1?
True
Suppose 0 = -2*x + 57 + 93. Does 25 divide x?
True
Suppose 5*f - 6*f = -5. Suppose 0 = -f*y + 4*y + 43. Is 15 a factor of y?
False
Let r = 0 - -6. Let m be (r/(-4))/((-1)/2). Suppose -m*d - 2*i + 6*i + 42 = 0, d = 5*i + 14. Does 9 divide d?
False
Suppose 0*d = 2*m + 2*d - 8, 12 = 2*m + 4*d. Suppose 63 = 3*p + 3*x, -3 - m = -5*x. Is p a multiple of 5?
True
Let x(n) = n + 6. Let q be x(7). Suppose j - q = -i, -3*j + 1 = -11. Does 9 divide i?
True
Let s(x) = -x**3 - 5*x**2 - 5*x + 9. Is s(-4) a multiple of 2?
False
Is (1/(5/(-2)))/((-2)/220) a multiple of 10?
False
Suppose -u = -3*v + 3, -3*v - 8 = -3*u + 13. Let x be (3*-1)/(u/(-20)). Suppose 5*w + 10 = 4*i, -2*i + 25 = i + x*w. Is 5 a factor of i?
True
Let a = -11 + 20. Let u = a + -5. Suppose 79 - 3 = u*r + 4*z, 2*r - 5*z = 38. Does 8 divide r?
False
Let p = 231 - 72. Is 33 a factor of p?
False
Let n = 28 + -3. Suppose 5*r = t + 4*t - n, r + 29 = 5*t. Suppose -c = -2*c + 2*p + t, c - 6 = p. Is 3 a factor of c?
True
Let g(o) = o**2 - 4*o - 1. Is g(-4) a multiple of 5?
False
Let o(y) = -4*y + 4. Let i be o(4). Let u be (3 - 0 - 3)/2. Let k = u - i. Does 6 divide k?
True
Suppose t = -2*q - t + 86, -5*t = -4*q + 181. Let g = 8 + -8. Suppose g*m + q = 2*m. Does 11 divide m?
True
Let s = -274 - -737. Is s a multiple of 61?
False
Suppose 5*l + 5 = 10. Let m(v) = 546*v. Let b be m(l). Is b/22 + 8/44 a multiple of 10?
False
Let n be (-4)/6 - 26/(-3). Let z = 20 - n. Is z a multiple of 10?
False
Let b = -3 - -10. Let x be b/(21/18)*-1. Let i = 10 + x. Is 4 a factor of i?
True
Suppose -3*i = -5*g + 1, -i - g + 2 + 3 = 0. Is 3 a factor of i?
True
Suppose c + 307 = -3*p, -p + 0*c - 4*c - 106 = 0. Let b be 10/(-25) - p/5. Let u = 37 - b. Is u a multiple of 14?
False
Let f(b) = b - 2 - 6*b + 1. Let h be f(-1). Suppose 2*w - 4*o + 9 = 25, 0 = -h*o - 8. Does 4 divide w?
True
Suppose 2*c - 180 = -2*c. Suppose -4*h = -c - 51. Is 8 a factor of h?
True
Let b = 452 + -321. Suppose -2*j - 9 = -3*j. Suppose -5*w + 5*d = -b - j, -w + 40 = -5*d. Is w a multiple of 9?
False
Let t be 5 + 9 - (2 - 3). Suppose -5*v = -2*l + 9, -3*v - 5 = -3*l - 4*v. Suppose l*o = -o + t. Is o a multiple of 5?
True
Suppose i = -2*r + 6*r - 221, -r - i + 59 = 0. Is r a multiple of 14?
True
Suppose -4*o = -q - 34, -2*o = -0*o + 4*q - 8. Is o even?
True
Let r = -64 + 41. Let b = r + 38. Suppose 2*u - 6 = 0, -4*p + 63 + b = -2*u. Is 7 a factor of p?
True
Let g(j) = -6*j**3 + j. Let m be g(-1). Let i(p) = -p**3 + 5*p**2 + 2*p + 4. Is 7 a factor of i(m)?
True
Suppose -76 = -4*n - 4*m, 0 = -5*n + m + 2*m + 79. Suppose 0 = -2*b + 87 - n. Does 20 divide b?
False
Suppose 0 = 4*g + 4*v + 28, -v + 6*v = 2*g. Le