5*d. Does 19 divide y?
False
Suppose 0 = -5*b - 5*r + 190, -5*b + 268 - 62 = -3*r. Does 2 divide b?
True
Let a(f) = 26*f**2 + 1. Suppose -w + 7 = 2*v, 2*w - 2 = 8. Does 11 divide a(v)?
False
Let s(r) = 14*r**3 - 4*r**2 - 5*r. Let o(x) = -x**3 - x**2 - x. Let u(i) = 5*o(i) - s(i). Is 18 a factor of u(-1)?
True
Suppose 36 - 124 = -4*b. Let n = b - 8. Does 6 divide n?
False
Let y(r) be the third derivative of r**6/120 + 2*r**5/15 - 11*r**4/24 - 5*r**3/6 - 2*r**2. Let f be y(-9). Is 7 a factor of (3/(-3))/((-1)/f)?
False
Let l = -4 - 3. Let u(s) = -s**2 - 9*s - 3. Does 11 divide u(l)?
True
Let q be (-1)/(-3) - 11/(-3). Suppose 0 = q*o + o + 15. Let i = o + 12. Is 5 a factor of i?
False
Let y(c) = c**2 - c + 122. Does 25 divide y(0)?
False
Let m be 6/(-9)*-2*3. Suppose -6 = -m*l + 6. Is l a multiple of 3?
True
Let q = 25 + 19. Does 22 divide q?
True
Let b = 10 - 6. Suppose -s = -0*s - b. Does 4 divide s?
True
Is 15 a factor of ((-212)/10)/(6/(-15))?
False
Suppose -h = -5*p - 40, 4*h - 99 = p - 34. Let y = h - 7. Is 4 a factor of y?
True
Is 15 a factor of (-2)/(-3) + (-724)/(-12)?
False
Suppose -3*l = 25 - 301. Suppose -4*z - 16 - l = 0. Let n = 39 + z. Does 12 divide n?
True
Let r(p) be the third derivative of 1/3*p**3 + 1/30*p**5 + 0*p + p**2 + 7/24*p**4 + 0. Is 15 a factor of r(-5)?
False
Suppose 5*h + 1 = -34. Let m = -2 - h. Does 2 divide m?
False
Let s(x) = x**3 - 9*x**2 + 2*x + 6. Suppose -18 + 0 = -2*v. Let y be s(v). Suppose -3*z + 36 = -y. Is 10 a factor of z?
True
Suppose 569 = 5*m + 194. Suppose 0*a - 2*a + 20 = 0. Suppose 3*d - m = -2*s - 29, 5*d = a. Is 20 a factor of s?
True
Suppose a - 9 = -2*a. Suppose 2*m - 4*l = 3*m - 18, -5*l = -a*m + 122. Is m a multiple of 17?
True
Let y(n) = 3*n - 3. Let w be y(4). Is 11 a factor of 1/(-3) + 129/w?
False
Suppose -3*g + 165 = -0*g + 3*x, 5*g = 2*x + 310. Is 9 a factor of g?
False
Let j be (6/10 + 0)*5. Suppose -4*m = j*v - 103, 0 = v - 4*v - 2*m + 107. Let h = 56 - v. Is 9 a factor of h?
False
Let o be 6/(-12) - 2/(-4). Suppose o = 5*s - 2 - 13. Let n(b) = 3*b**2 + 3*b + 2. Is 19 a factor of n(s)?
True
Suppose v - 3*z + 8*z + 81 = 0, 0 = -2*v + z - 129. Let j = 116 + v. Is j a multiple of 25?
True
Let i be 2/(-8) + (-9)/(-4). Suppose s - 120 = -i*s. Does 15 divide s?
False
Suppose -15 = -3*a + 51. Is a a multiple of 11?
True
Let n be (-4)/6 + (-16)/(-6). Let z(m) = m**3 + 5*m**2 + 3*m - 4. Let d be z(-3). Suppose 2*h + 0*h - 61 = d*a, 3*a = -n*h + 21. Does 9 divide h?
True
Suppose -3*w = 4*o - 96 - 178, 3*o - 3*w - 195 = 0. Is 10 a factor of o?
False
Let g(w) = 4*w**2 - 6 - 4*w**3 + 3*w**3 - 5*w**2 + 6*w**2 + 4*w. Is g(5) a multiple of 14?
True
Let j(t) = -t**3 - 3*t**2 - 3. Let q be j(-4). Let f = 2 - -3. Suppose -f*g + h + 68 = q, -22 = -2*g + h. Does 8 divide g?
False
Let d(x) = -6*x - 34. Let g(w) = -2*w - 11. Let f(r) = 4*d(r) - 11*g(r). Suppose 0 = 4*b + 4*b + 80. Is 2 a factor of f(b)?
False
Suppose -4*g + 586 = 2*o, 0*g = 3*g + 5*o - 457. Is g a multiple of 15?
False
Suppose 0 = -3*m - 16 + 73. Does 3 divide m?
False
Suppose 11*j - 369 = 170. Does 10 divide j?
False
Let r = -71 + 106. Is r a multiple of 7?
True
Let y(k) = -k**3 - 7*k**2 + 4. Let l be y(-7). Suppose 2*g - g + 3*u = 29, l*g - 99 = 5*u. Is g a multiple of 13?
True
Suppose -194 = 3*h - 800. Suppose 0*d + d - h = -4*l, -5*d - 10 = 0. Is 22 a factor of l?
False
Let r(d) = d**2 - 7*d - 8. Let k be r(9). Suppose 0 = 5*h - h - 12. Suppose a = -0*l - l + k, a = -h*l + 38. Does 7 divide l?
True
Suppose 5*t = -5*p + 260, 206 = 4*p + 2*t - 0*t. Suppose a + 15 = p. Does 18 divide a?
True
Let h = -3 - -5. Suppose 2*u + 5*d - 157 = -2*u, h*d = u - 23. Is u a multiple of 11?
True
Let o = -2 - -2. Suppose 5*t - 90 = -o*t. Does 4 divide t?
False
Suppose -11 = -5*t + 4. Is 60/t - (1 + 1) a multiple of 6?
True
Let u(k) = 18*k - 3. Suppose -2*m - 10 = 5*z + 3*m, -4*m = -4*z + 24. Does 9 divide u(z)?
False
Let s = -12 + -7. Let p = s - -39. Is 5 a factor of p?
True
Let z = 3 - -30. Let n = 48 - z. Is n a multiple of 4?
False
Does 41 divide ((-533)/(-26))/(2 - (-46)/(-24))?
True
Suppose -k = -2*t + 83, 5*t - 2*k - 212 = -k. Is t a multiple of 26?
False
Suppose -q + 9 = -5. Let w = 22 - q. Is 7 a factor of w?
False
Let r be (2 - 2)/(2/(-1)). Let q(d) = -d**3 + d - 62. Let h be q(r). Let w = -28 - h. Is w a multiple of 14?
False
Let q = 0 + 3. Suppose -47 = -2*u - 5*h, 7*h - 12 = q*h. Is 13 a factor of u?
False
Suppose -2*w = -2*f - 34, -3*w + 0*f + f = -53. Does 3 divide w?
True
Suppose 2*v = -p + 83, 0 = v + 3 - 8. Does 26 divide p?
False
Let j(r) = r + 7. Does 3 divide j(0)?
False
Let v(i) = i**2 + 2*i - 2. Let o be 1 + (-6)/(3 + -5). Does 8 divide v(o)?
False
Let k be (-6)/21 + 58/7. Let j(n) be the second derivative of -n**5/20 + 2*n**4/3 + n**3/2 - 5*n**2/2 - 2*n. Does 8 divide j(k)?
False
Let r(w) = 2*w**2 - 9*w + 9. Let n(b) = 5*b**2 - 18*b + 18. Let o(m) = -3*n(m) + 7*r(m). Does 6 divide o(-8)?
False
Let m(w) = 2*w**3 - 2*w**2 - 2*w + 1. Let c be m(2). Suppose -c*r + 0*r + 22 = -4*y, -3*r = 3*y + 3. Is 14 a factor of (r - 16)/(1/(-2))?
True
Let o = -14 + 8. Does 19 divide 4/(-6) + (-232)/o?
True
Suppose -4*o = -21 + 5, -j = -4*o + 1. Is 4 a factor of j?
False
Suppose 5*k = -3*w + 35, 4*w + w - k = 21. Let i = w + 23. Does 9 divide 484/i + 4/(-14)?
False
Suppose -4*t - 2*h - 9 = -25, -4*h + 10 = -3*t. Suppose 0 = -o + t + 5. Is 6 a factor of o?
False
Suppose -4*g - 4*l = -182 - 430, 2*g + 3*l = 309. Suppose g = 2*m + 3*m. Suppose -2*s + 7*s - m = -2*r, -2*r = s - 14. Is 3 a factor of s?
False
Suppose 89 + 151 = 5*b. Is b a multiple of 12?
True
Let a(y) = 11*y**2 + 10*y - 1. Let c be a(5). Suppose -n - c = -5*n. Is 27 a factor of n?
True
Let q = -8 - -13. Let t(x) = -x**2 - x - 1. Let f(l) = l**2 + l. Let n(m) = 5*f(m) + 4*t(m). Is 9 a factor of n(q)?
False
Let l(f) = 2*f - 2. Let b be l(2). Suppose b - 10 = -2*y. Suppose -4*d + 12 = -y*o, -4*o + 27 + 9 = 4*d. Is 6 a factor of d?
True
Suppose 4*a + 94 = 3*u, -4*u = -0*u - a - 121. Is 20 a factor of (-24)/u - (-359)/5?
False
Let c = -7 + 12. Is c even?
False
Let g = -169 + 255. Let k = g - 58. Is 14 a factor of k?
True
Let c(a) = -a + 19. Let v be c(8). Let u = 17 - v. Does 5 divide u?
False
Does 12 divide ((-765)/(-20) - 1)*8/2?
False
Let u = 23 + -15. Suppose -3*q + 7*q - u = 0. Suppose -q*m - 4 = -x - 0*m, 5*m = 5*x - 30. Is 8 a factor of x?
True
Let c(y) = -5*y**3 + y - y**2 + 3*y**3 + 2*y**3 + y**3 + 16. Let d be c(0). Suppose d = -4*v + 128. Does 14 divide v?
True
Suppose -5*i = s + 2 - 17, -2*s = -3*i - 4. Suppose 0 = -w + i*w. Suppose 4*o - 3*o - 14 = w. Is o a multiple of 14?
True
Let p(b) = 30*b**2 + 2*b + 3. Is 38 a factor of p(-2)?
False
Suppose -u + 202 = 4*z - 3*u, 3*u + 159 = 3*z. Does 6 divide z?
True
Suppose -5*p + 24 = -r - 0*r, p - 12 = 2*r. Let d(h) = 6*h - 10. Is d(p) a multiple of 6?
False
Suppose 4*d = d + 30. Let a(p) = p**2 - 6*p + 12. Does 17 divide a(d)?
False
Let p(m) = m**2 + 12*m + 13. Let k be p(-11). Suppose -5*j = 4*q + 123 - 510, -2*j - 216 = -k*q. Does 31 divide q?
False
Suppose -d = -4*d. Suppose -3*z + 4*i + 13 = -d*z, -2*z - 5*i + 1 = 0. Suppose -z*s - 2*p = -4 - 54, -s = 5*p - 2. Is 8 a factor of s?
False
Let j(o) be the third derivative of -5*o**4/12 - o**3/6 + o**2. Let b be j(-1). Let u = b + -1. Is 8 a factor of u?
True
Let j(l) = l**3 + 2*l - 3. Does 5 divide j(4)?
False
Let d(j) = 41*j + 17. Is d(3) a multiple of 28?
True
Let z(c) = 13*c - 9. Let r(i) = -3*i + 2. Let y(o) = 18*r(o) + 4*z(o). Does 10 divide y(-5)?
True
Let k be 1 + (0 - -1) + 1. Is k/(-4) - (-189)/28 a multiple of 3?
True
Let a be 6/10 + 51/15. Suppose -25 = -a*w - w. Suppose 60 = w*k - 5*s, 5*s - 2 = k + 2. Is k a multiple of 12?
False
Suppose -4*t = -0*w + 2*w - 8, 0 = 2*w. Suppose -2*d + 4 = t. Suppose 3*r - d = 20. Is r even?
False
Let k(s) be the first derivative of s**5/30 + s**3 - 3. Let c(o) be the third derivative of k(o). Is c(2) a multiple of 4?
True
Is 16 a factor of 0 + (4 - 8) + 21?
False
Suppose -5*w = 51 - 231. Is w a multiple of 12?
True
Let t = 38 + -31. Is 2 a factor of t?
False
Suppose 6*j = 5*h + j, -4 = -5*h + 3*j. Suppose 0 = s + 4, -5*s = f - h*s + 4. Let u = 12 - f. Does 4 divide u?
True
Let z(h) = h - 1. Let o be z(6). Let l(k) = k - 1. Let w(r) = r