Does 9 divide r?
False
Suppose 4 = -m + 5. Suppose -m - 65 = -2*i. Suppose -4*v + 0*v = -2*f - 74, -2*v + i = -5*f. Is 9 a factor of v?
False
Let o = 23 - 8. Is 5 a factor of o?
True
Let m(n) be the first derivative of n**2/2 - 5*n + 1. Let i be m(7). Suppose i*p + 0*p - 58 = 0. Is p a multiple of 12?
False
Let c(u) = 2*u - 10. Let s = -8 - -15. Let p be c(s). Suppose -v + 130 = p*v. Does 9 divide v?
False
Suppose 2*v - d - 12 + 2 = 0, -3*v = 3*d - 24. Let w = 3 + -3. Suppose -i = w, 0 = v*q - q - 5*i - 20. Is q a multiple of 2?
True
Suppose 0 = 4*i - o - 347, 4*i - 6*i + 4*o + 184 = 0. Suppose -2*l - 21 = -m, -5*m + i - 8 = -l. Is 4 a factor of m?
False
Let t = 9 + 2. Let v = t + -6. Is v a multiple of 4?
False
Suppose 858 = 3*y - 2*c + 100, 2*y - 5*c = 487. Suppose -5*u + y = -u. Suppose 0 = -3*m + m + u. Is 17 a factor of m?
False
Suppose 235 = 4*r + 5*s, 3*s + 323 + 17 = 5*r. Suppose -7*m - r = -2*m. Let o = -1 - m. Is o a multiple of 6?
True
Let n(m) = m**2 + 7*m - 7. Suppose f = 3*g, -3*g = f + 2*f + 36. Is n(f) a multiple of 9?
False
Let c(h) = 2*h**3 - 5*h**2 - 9*h + 2. Let i(g) = 3*g**3 - 5*g**2 - 10*g + 2. Let b(a) = 4*c(a) - 3*i(a). Does 26 divide b(-6)?
False
Is 18 a factor of 129/4*(-8)/(-3)?
False
Let x(a) be the second derivative of -a**5/20 - 7*a**4/12 - 4*a**3/3 + 4*a. Does 10 divide x(-6)?
False
Let s(f) = -f**3 + 7*f**2 - 8*f + 8. Let d be s(6). Let n = d - -4. Suppose -24 = -n*u - u. Is u a multiple of 11?
False
Let g be 4/(3 + 14/(-6)). Suppose 5*q - 19 = -4*l, -q + g*q = 5*l + 10. Suppose 111 = 4*w - 3*c, 3*w - 4*w + q*c + 39 = 0. Is 12 a factor of w?
True
Suppose 210 = -c + 6*c - n, -195 = -5*c + 4*n. Is 3 a factor of c?
False
Let q(i) = -i**3 - 17*i**2 + 17*i - 26. Let l be q(-18). Is (-1485)/(-12) - 2/l a multiple of 25?
False
Let q(i) = 17*i + 2. Is q(8) a multiple of 27?
False
Suppose -5*o + 15 = -0*o. Let h be 2/(-6) + 64/3. Does 7 divide h*(-2 + 3)/o?
True
Suppose -3*i + 2*i - 6 = -2*d, -24 = -4*d + 5*i. Let w(g) = d - 8*g + 0 + 3*g + 13*g. Does 17 divide w(5)?
False
Let h(b) = -31 + 32 + 0*b - 10*b. Does 14 divide h(-4)?
False
Let j(y) = -y**3 - 5*y**2 + y + 5. Let o be j(-5). Suppose -p + 4 = -o*p. Does 4 divide p?
True
Let u be 0 + (0 - 1 - -2). Let v(z) = 50*z**3. Let b be v(u). Suppose -p - 4*p + b = -g, -4*g = p - 10. Is p a multiple of 7?
False
Let q(a) = -a**2 - 9*a - 4. Let w be 4/6 - (-114)/(-9). Let n = w - -6. Is 7 a factor of q(n)?
True
Let s = 4 + 40. Is s a multiple of 11?
True
Let o(h) = -h + 9. Let t be o(11). Is 3 a factor of 8*t*(-2)/8?
False
Suppose 6*h = 2*h - 348. Let q = -125 - h. Let m = -23 - q. Is 5 a factor of m?
True
Suppose 3*t = -5*t. Suppose t = -2*d - 5*q + 12, -3*q + 5 = 3*d - 22. Does 5 divide d?
False
Let v = 8 + -27. Let d = v - -46. Does 27 divide d?
True
Let q(o) = 3*o**2 + 4*o - 3. Let r(s) = s. Let f(a) = a**3 + 2*a**2 - 2. Let p be f(-2). Let h(n) = p*r(n) + q(n). Does 9 divide h(-3)?
True
Let p(h) = -3*h - 9. Let r be p(-8). Let s = r - 11. Suppose -14 = -s*m + 98. Is m a multiple of 14?
True
Let k(v) = -v**2 - 7*v - 6. Does 6 divide k(-4)?
True
Let r = -15 + 21. Does 5 divide r?
False
Let j(d) = -d**3 - 6*d**2 - 4*d - 9. Let r be j(-6). Suppose -5*p - r = -6*p. Does 8 divide p?
False
Is (-4)/(-10) - 1359/(-15) a multiple of 15?
False
Suppose 0*v - 10*v + 1540 = 0. Does 8 divide v?
False
Let v = -7 - -5. Let p(m) = -2*m**3 - 4*m**2 - 3*m - 2. Let z be p(v). Suppose -7 - 18 = 5*u, -z*k - 2*u + 34 = 0. Is 5 a factor of k?
False
Let c(n) = -1. Let q(d) = -5*d - 3. Let x(o) = -c(o) - q(o). Let h be x(8). Suppose 0*f = -2*f + h. Does 13 divide f?
False
Suppose 13 = -5*r + 108. Does 14 divide r?
False
Suppose -4*y + 208 = 4*f - 12, 3*y + 43 = f. Suppose 4*x - 5*x + 26 = 0. Let d = f - x. Is d a multiple of 10?
False
Let k(r) = -r**3 + 3*r**2 - 2*r + 3. Let f be k(2). Suppose -n - f*p + 75 = n, -41 = -n - 5*p. Is 12 a factor of n?
True
Let t(k) = -k**2 - 26*k - 39. Is t(-18) a multiple of 46?
False
Let h be 6/(-21) + (-200)/(-14). Suppose 4*p - 31 = j, -j = -2*p + j + h. Let v = 24 - p. Does 12 divide v?
False
Suppose 3*f = -4*f + 728. Is 13 a factor of f?
True
Let g be ((-78)/5)/(3/(-10)). Let n = -10 + 16. Is 4 a factor of (-2)/n - g/(-12)?
True
Suppose -q + 3 = -7. Let f be (-50)/(-15)*(-12)/q. Does 13 divide f/(2 - (-16)/(-7))?
False
Suppose 3*r = -2*i - r - 54, r = 4. Let f = 49 + i. Suppose -y - 15 = 4*y, -w + f = -3*y. Is 4 a factor of w?
False
Let v(z) = z**2 + 5*z - 4. Let h be 1/((-3)/2)*-6. Let d be (-15)/2 + 2/h. Is v(d) a multiple of 10?
True
Suppose -3*b - b = 3*o - 21, 2*b - 21 = -3*o. Suppose 0 = 8*v - 4*v + 4. Does 16 divide (v - o)*2*-1?
True
Let y(k) = k**3 + 4*k**2 + 5*k + 7. Let v be y(-5). Let i(j) = -7*j - 19. Let t be i(6). Let g = v - t. Is 10 a factor of g?
False
Let d = 3 + 2. Suppose -2*m + 478 = 5*q + 103, -4*q - m = -300. Suppose -d*p + q = -35. Is 8 a factor of p?
False
Let r(u) = -u**3 - u**2 + 26. Let k be r(0). Let o = -102 + 149. Let q = o - k. Is 10 a factor of q?
False
Let o = -1 - -3. Suppose -5*d = 5*l - 115, 2*d - o*l - 30 = 28. Let m = d - -7. Is 11 a factor of m?
True
Let f(p) = -6*p**3 - 2*p**2. Let b be ((-8)/(-20))/(3/(-15)). Does 8 divide f(b)?
True
Let a(u) = -2*u. Let n(v) = -3*v + 1. Let o(r) = 7*a(r) - 6*n(r). Let b be o(6). Suppose -2*y = 2 - b. Is 4 a factor of y?
True
Let h = -51 + 85. Is 12 a factor of h?
False
Let r(z) = 4 + 19*z - 4 - 3 + 2. Is 8 a factor of r(1)?
False
Let s(h) = h**2 - h + 2. Is 4 a factor of s(2)?
True
Suppose 5*h + 90 - 1500 = 0. Does 20 divide h?
False
Let k(c) = -c**2 - 13*c + 8. Let h be k(-11). Suppose h = 2*n - 0. Is 15 a factor of n?
True
Let c = -71 - -107. Let m = c + -6. Is 15 a factor of m?
True
Let f(k) = -k**2 + 6*k + 1. Let s be f(5). Let w = s + 6. Does 4 divide w?
True
Suppose -158 = -4*p + 2*t + 3*t, 0 = 3*p - 3*t - 120. Is 14 a factor of p?
True
Let i(s) = -42*s**3 - s**2. Does 15 divide i(-1)?
False
Suppose -27 = -r - 0*r + 2*a, 132 = 4*r - 2*a. Suppose -h + r = x + 2*x, -x + 30 = 4*h. Does 10 divide x?
True
Let t(w) = -w**3 - 4*w**2 + w + 2. Let s(j) = -j**3 + j + 2. Let c be s(2). Let p be t(c). Does 10 divide p + (-1 - -7*3)?
False
Let p(t) = 8*t + 18. Let j be p(-13). Let d = j - -132. Is d a multiple of 23?
True
Suppose -26*p = -28*p + 380. Is p a multiple of 38?
True
Suppose t + 353 = 2*r, -5*t + 236 = 3*r - 274. Suppose 0 = o + 5*x + r, -3*o + 3*x - x - 440 = 0. Is 2 - 4 - o/3 a multiple of 16?
True
Let v = 32 + -46. Let g = 22 + v. Is 8 a factor of g?
True
Let z(j) = 2*j**2 - 5*j - 7. Let u be z(7). Suppose 2*a = 6*a + u. Let i = -6 - a. Is 4 a factor of i?
True
Let b = 11 + -8. Is 2*b/(-6)*-8 a multiple of 3?
False
Let p(b) = -b**2 - 7*b - 6. Suppose 4*f - 36 = -0*d + 4*d, -2*d - 3*f = -2. Is p(d) a multiple of 3?
False
Let k = -1 + 2. Let r be (-1)/3*-1 + 1000/24. Does 13 divide r + 2 + k + -1?
False
Let z be (-91)/(-3) - (-7)/(-21). Let p(d) = -d**3 - 3*d**2 - 2*d - 1. Let h be p(-3). Suppose 2*j - h*j + z = 0. Does 5 divide j?
True
Let d = -8 - -32. Does 5 divide d?
False
Let y be 5/25 - (-48)/10. Suppose 4*g - 9 = 2*n + 179, y*g = -n + 242. Does 18 divide g?
False
Let o = 0 - -4. Suppose o*l - 3*h = 32 + 51, -53 = -4*l - 3*h. Does 9 divide (5 - (-6)/(-2)) + l?
False
Let n(t) = 3*t + 30. Does 22 divide n(12)?
True
Suppose -99 = 5*f - 3*v, -3*v - 97 = 5*f - 7*v. Let k be -1 - (0 - f) - 0. Is 9 a factor of -2 + 0 - k - 2?
True
Suppose 0*j = -2*j. Suppose j = 4*s - 6*s. Suppose s = -4*q - q + 135. Is q a multiple of 11?
False
Suppose 4*w + w = 275. Suppose -i - 5*r = -w, 4*i - 3*r + 44 = 172. Is 14 a factor of i?
False
Suppose -15 = -3*w - 2*w. Suppose -c - 5*g = 13, -w*g = -4*c - 0*c + 17. Suppose x - 1 = c. Is x a multiple of 3?
True
Let p be (-4)/14 - 443/(-7). Suppose p = i - 2*r, -2*r = 5*i - 0*i - 255. Is i a multiple of 19?
False
Let i(x) = -x**2 - 5*x - 3. Let a be i(-2). Suppose -3*n - a = 6. Is 4 a factor of -3 + n/((-3)/8)?
False
Does 6 divide 201/7 + (-16)/(-56)?
False
Suppose 2 = -2*n - 2*v, 4*v - 1 = -n - 17. Suppose -n*q + 20 = -2*q. Is 10 a factor of q?
True
Let t(v) = v**2 + 13*v - 11. Let q be t(-14). Suppose 2*x + q*c - 35 = 82, -x + 3*c + 54 = 0. Is 19 a factor of x?
True
Let p be 23/(-6) + 3/(-18). Is p/(-1) - -2 - -2 a multiple of 4?
True
Let h(q) = -4