2 - 7*i - 7. Is 23 a factor of w(v)?
True
Let n(g) be the second derivative of -31*g**3/6 - 13*g**2/2 - 26*g. Is n(-3) a multiple of 8?
True
Suppose 5*j - 40 = -5*o, -4*o - 1 = -2*j + 27. Let y(m) = m**2 - 7*m + 25. Is y(j) a multiple of 5?
True
Let z(w) = 4*w + 2. Let o(f) = -f. Let r(k) = 2*o(k) - z(k). Does 9 divide r(-2)?
False
Is 14 a factor of 124362/(-47)*(-1)/3?
True
Let c(j) = j - 2. Let d be c(6). Suppose -3*y + 13 = a, d*y + 5*a = 3 + 7. Suppose 4*v + 3*h - 7*h - 4 = 0, 25 = y*h. Does 3 divide v?
True
Suppose -d = 5*b - 1655, 5*d + 25 = -0*d. Let i = 9 + -3. Is b/14 + i/21 a multiple of 12?
True
Let h(r) = r + 96. Does 8 divide h(23)?
False
Let n be ((-4)/10)/(5/950). Let t = n + 110. Suppose -2*q + 5*s + t = 0, -6*q = -q + 5*s - 50. Is q a multiple of 4?
True
Suppose -5*k - 7 = d, 2*k - 69 = -5*d + 3*k. Suppose -4*h - d = 3. Is h/(-6)*27/2 even?
False
Let a be ((-2)/6)/(2/(-330)). Suppose -5*k = 3*m - a, -m + 11 = k + 3*m. Is k a multiple of 11?
True
Let t(q) = 3*q**2 + 1. Let b be t(-1). Suppose -b*r + 0*z = -3*z + 24, -2*z + 2 = 2*r. Does 25 divide r/18 - (-579)/18?
False
Let p be (-6)/(-4)*(-36)/(-27). Suppose -p*i - 9 = -67. Suppose -2*b - k + 39 = -i, 16 = 4*k. Does 9 divide b?
False
Let u = -50 - -52. Suppose -u*n + 253 = 3*y, -10*y - 5*n + 420 = -5*y. Does 16 divide y?
False
Let r = 7 - 1. Let p = r + -1. Suppose -p*j + 4*j = -90. Is 30 a factor of j?
True
Let b be 0 + 2 - (-1 + -3). Suppose -28 = -4*h + b*h. Let u = 26 + h. Is 5 a factor of u?
False
Let b be 2/10 + 7805/(-25). Does 9 divide 1*1/((-4)/b)?
False
Let o(n) = 42*n**2. Suppose 7*u = 2*j + 3*u - 2, 4*j - 2*u - 4 = 0. Does 10 divide o(j)?
False
Suppose 5*n - 5*i + 10*i = 600, 4*n + 5*i = 484. Is n a multiple of 29?
True
Suppose -700*c - 3456 = -712*c. Does 36 divide c?
True
Let b be -1 - (-1)/(-2)*-2. Suppose -4*i = -3*c + i + 502, -5*c - 3*i + 814 = b. Does 41 divide c?
True
Suppose 0 = -l + 3*l - 3*b + 7, b - 3 = l. Let z = 36 - l. Is z a multiple of 3?
False
Suppose 4*u + 490 = 11*u. Does 14 divide u?
True
Let b(y) = -y**3 - 9*y**2 + 8*y - 8. Suppose 0 = 11*l - 10*l + 10. Let n be b(l). Does 6 divide (n/20)/((-2)/(-40))?
True
Let v = -4 + 4. Suppose 5*x - 25 = -v. Suppose -5*z = -x - 15. Is 2 a factor of z?
True
Suppose 0 = -5*z - t + 47, -3*z = 2*z - 5*t - 65. Let u be (22/4)/(5/z). Suppose -s = -u - 40. Is 22 a factor of s?
False
Let w be ((-11)/2)/((-2)/(-36)). Let x = w - -159. Is x/9*(-48)/(-10) a multiple of 16?
True
Let f = 11 - 11. Suppose -5*p + 2*y + 83 + 23 = 0, f = 3*p + 5*y - 76. Is 11 a factor of p?
True
Let g be (216/120)/((-1)/5). Is 21 a factor of g/18 + (-334)/(-4)?
False
Let l(z) = z**2 - 10*z + 11. Let o be l(8). Let j(x) = -2*x**3 - 4*x**2 - 8*x - 6. Is 25 a factor of j(o)?
False
Let i(n) = n**2 - n + 9. Suppose -10 = r + 3*b, -4*b - 35 = -2*r + b. Is i(r) a multiple of 9?
False
Suppose -39*u - q = -41*u + 949, -u - 2*q + 487 = 0. Is u a multiple of 7?
False
Let r(p) = -20*p + 7. Suppose 13*w = -40 - 51. Is 21 a factor of r(w)?
True
Suppose -471 = -4*d - 3*a + 1044, -1512 = -4*d - 4*a. Is 4 a factor of d?
False
Let f = -977 + 1485. Does 11 divide f?
False
Does 86 divide 12/(-14) - 1468312/(-742)?
True
Suppose 0 = -10*b + 5*b + 3*s + 45, 0 = -4*s. Is 8 a factor of b?
False
Let v be 10 + (3 - 11) + 0. Let a(z) = 25*z - 7 + 2 + 1. Is a(v) a multiple of 23?
True
Suppose -j + 452 = 4*r + 4*j, 2*r + 4*j = 226. Is r a multiple of 24?
False
Let q = 1054 - 347. Does 30 divide q?
False
Suppose 0 = -2*j - 5*b + 2259, 28*j - b = 29*j - 1122. Does 67 divide j?
False
Let t be (192/(-5))/(4/(-20)). Suppose -t = -3*h - h. Let s = h - 17. Does 17 divide s?
False
Suppose 3*p - 2*j = 244 + 737, p - 4*j - 337 = 0. Does 6 divide p?
False
Suppose 3*x = -8*x + 33. Suppose -x*y + 0*y = -135. Is 13 a factor of y?
False
Suppose 2*i - 30 = -0*i + 4*j, 3*i = 3*j + 30. Suppose i*d = 2*d + 300. Suppose -4*o + 2*u + 365 = 3*u, -o - 2*u = -d. Is o a multiple of 30?
True
Let b = 38 + 4. Let w = -4 + 8. Suppose -b = -w*s + 3*s. Does 16 divide s?
False
Let t(a) = 5*a - 16. Let s(r) = 16*r - 48. Let k(d) = -3*s(d) + 8*t(d). Is 24 a factor of k(-10)?
True
Suppose 2*k - 11 + 3 = 0. Suppose -k*d + 5 = 3*x, 5*d - 20 = -0*x - x. Suppose d*j = 2*o + 8 + 62, 0 = -j - 3*o + 31. Does 5 divide j?
False
Suppose -2730 = -3*v - v + 2*z, 1350 = 2*v - 4*z. Is 48 a factor of v?
False
Let r(s) = s**3 - 4*s**2 - 6*s + 7. Suppose -g + 4*d = g + 6, 5*g - 2*d - 17 = 0. Let f be r(g). Let u = f - -4. Is 2 a factor of u?
True
Let q(s) = 19*s - 19. Let p(v) = 20*v - 18. Let a(b) = -7*p(b) + 6*q(b). Is a(-2) a multiple of 32?
True
Suppose -2*f - 33 = -3*r, -r - 3 = 2*f + 18. Let c(u) = -7 + 9*u - 9 + 3*u**2 - 2*u**2. Does 10 divide c(f)?
True
Suppose 0 = -3*z + 2*z + 4, -2*z = -2*s + 226. Suppose 0 = 4*c + 4, -3*j + s = -5*c - 728. Is j a multiple of 35?
True
Suppose -2*m + 5*x - 3*x = -440, 3*m + 2*x = 665. Is 13 a factor of m?
True
Suppose 0 = -9*j + 2964 + 3174. Is 62 a factor of j?
True
Suppose 12*o + 2 = 13*o. Suppose 0 = 4*w + 5*z - 24 + 3, -4*w + 3*z + 13 = 0. Suppose w*l - 264 = 5*a, -5*l - o*a + 0*a + 330 = 0. Does 12 divide l?
False
Let i(z) = -20*z + 1338. Is i(0) a multiple of 56?
False
Let d(z) be the second derivative of z**5/20 - z**4/2 - z**2/2 + 8*z. Is d(7) a multiple of 12?
True
Suppose 0 = u - 11 + 8. Let f(o) = -u + 0 + 9*o - 1 + 4*o**2 - 3. Is 12 a factor of f(3)?
False
Is 69 a factor of ((1 + 1)/2)/((-50)/(-41350))?
False
Let m(f) = f**2 - 3*f - 2. Let t be m(4). Let k(u) = 4*u + 3*u**2 + 7 - t*u**2 + u. Is k(-7) a multiple of 8?
False
Let k = -471 + 1388. Suppose 5*r = -4*a + k, 3*r + r - 727 = -a. Suppose r = 5*x - 4. Is x a multiple of 12?
False
Suppose w = 15 + 45. Is w/50*280/3 a multiple of 8?
True
Suppose -2*t - 4*q = -2, q + 9 = -4*t - 1. Is 20 a factor of (2 + t*4)*(3 - 9)?
True
Is 9 a factor of (-22)/(-99) - 5070/(-27)?
False
Let f(d) = d**2 + 27*d + 7. Let r be f(-27). Suppose -r*g + 10*g - 699 = 0. Does 12 divide g?
False
Let x(n) be the third derivative of n**8/20160 - n**7/2520 + n**5/60 - 2*n**2. Let k(s) be the third derivative of x(s). Does 12 divide k(-4)?
True
Let u be (-6)/3 - (0 - -7). Let s be (u/6)/((-6)/20). Suppose -5*d = -4*o + 26, -s*d + 51 = 5*o - 4. Does 9 divide o?
True
Let s be 3 + (-1 - 3) - -6. Suppose 3*j = 4*a - 3*a + 40, 4*a + 62 = s*j. Does 7 divide j?
True
Let s(c) be the third derivative of c**4/12 + 11*c**3/2 - c**2. Let q = 444 - 444. Does 11 divide s(q)?
True
Let m be 3 - (2*(-2)/4 - 64). Let d = 182 - m. Is 13 a factor of d?
False
Suppose -9*x + 13*x = 3536. Is 13 a factor of x?
True
Suppose z = -9 + 20. Suppose z*f = 8*f + 576. Is f a multiple of 12?
True
Let x(p) = -16*p + 40. Suppose -2*a = -4*a - 12. Is 27 a factor of x(a)?
False
Let j(d) = -10*d**3 - 34*d**2 + 8*d - 55. Let h(s) = -3*s**3 - 11*s**2 + 3*s - 18. Let k(q) = 7*h(q) - 2*j(q). Is 7 a factor of k(-10)?
False
Suppose 0 = -5*x - 12 + 27. Suppose -x*n + n + 8 = 0. Suppose 0 = -s + n + 4. Is s a multiple of 7?
False
Suppose -2*k + 12 + 4 = 0. Let m(v) = -v**2 + 18*v + 3. Does 17 divide m(k)?
False
Suppose 951 = -19*j + 3991. Does 20 divide j?
True
Suppose y - 6 = -4*b, -y + 5 = b + 2. Let t be y/12 - 2695/(-30). Suppose 2*k = -3*k + t. Is k a multiple of 18?
True
Let x = 248 - 170. Let i = x + -35. Does 12 divide i?
False
Let m(r) = -r**2 - 14*r - 10. Let v = -32 + 19. Let a be m(v). Suppose z = 6*q - q - 72, 64 = 5*q + a*z. Is q a multiple of 7?
True
Let y be (-12)/(-7) + 4/14. Let h be y/3 + (-22)/33. Suppose 14*t - 17*t + 189 = h. Does 31 divide t?
False
Suppose -11*n - 5 + 203 = 0. Let l = -7 + 19. Let p = n + l. Is 10 a factor of p?
True
Let h(p) = 27*p**2 - p - 4. Does 23 divide h(2)?
False
Let u = -1163 - -1467. Does 38 divide u?
True
Let a(p) = p**3 + 27*p**2 + 2*p + 109. Does 12 divide a(0)?
False
Let g = -1664 + 3387. Does 65 divide g?
False
Let m = 25 + -18. Let a(o) = 15*o - 6*o**2 - 11*o - 3*o**3 + 6 + o**3 + 3*o**3. Is a(m) a multiple of 26?
False
Suppose -6492 = -4*p - 0*a + 2*a, -3*p = 2*a - 4876. Is p a multiple of 14?
True
Does 21 divide (-6020)/(-17) - 64/544?
False
Let t = 16 + -14. Let k be ((-2)/(-3))/(t/6). Suppose 40 + 60 = k*a. Does 12 divide a?
False
Is (-28)/35*-565 + -1 a multiple of 41?
True
Let n(l) = 4*l - 56. Is 3 a factor of n(19)?
False
