 -4*n, 0*z = 2*n - 4*z - j. Is 10 a factor of n?
True
Is 1*6/(-4)*-2 even?
False
Let r = 1 - -1. Let s = 44 + -41. Is (-18)/(-4)*r/s a multiple of 3?
True
Let h(p) = -5*p + 2. Let m(u) = -1. Let i(z) = 6. Let g(l) = i(l) + 5*m(l). Let s(v) = 3*g(v) - h(v). Is 7 a factor of s(4)?
True
Suppose -18 - 290 = -4*v. Suppose -v = -15*x + 14*x. Is 7 a factor of x?
True
Let s(j) = -j**2 - 70*j - 181. Is s(-61) a multiple of 2?
True
Suppose 11*j = -11*j + 1628. Is 7 a factor of j?
False
Let r(v) be the third derivative of v**5/20 - 5*v**4/12 - 7*v**3/6 - 15*v**2. Is 9 a factor of r(5)?
True
Let s(z) = -1431*z + 45. Is s(-1) a multiple of 23?
False
Let h = -74 - -112. Suppose 3*y - w = 62, 2*y + 4*w = 3*w + h. Is 3 a factor of y?
False
Suppose 0 = -10*s + 19 + 1. Suppose 2*n + s*k - 104 = 0, 3*k - 68 = -n + 6*k. Is n a multiple of 14?
True
Let c(r) = -3*r**3 + 3*r**2 + 4*r + 2. Let o be c(-2). Suppose -7*j + o = 3*j. Suppose -j*h - 18 = -102. Does 9 divide h?
False
Let a(w) = -w - 2. Let g be a(2). Suppose -5*q + 5*v = -q - 141, -2*v = -2*q + 70. Let r = q + g. Does 15 divide r?
True
Let q = -336 + 560. Is q a multiple of 32?
True
Let t = 43 - 28. Let r be 216/t - 4/10. Suppose g = -3 + r. Is g a multiple of 7?
False
Let k be (2 - 0)/(8/36). Let x(w) = -w**3 + 8*w**2 + 12*w + 6. Does 9 divide x(k)?
False
Let v = 8 + -8. Suppose -2*f + 77 + 19 = v. Does 17 divide f?
False
Suppose -20*b + 17*b - 9 = 0. Let h = 21 + b. Is 4 a factor of h?
False
Suppose -9 = -3*s - 0*r - 5*r, -5*r = -s - 17. Let b = 32 - s. Suppose 4*n + h = -3*h + 44, -2*n - 5*h = -b. Does 7 divide n?
True
Let y be (6 - 4) + -132 + 0. Does 13 divide (96/80)/((-3)/y)?
True
Suppose -i + 3*n = -341 - 1155, 2*i - 2960 = -2*n. Is i a multiple of 31?
False
Let y = -2 - -5. Suppose y*n + 12 = 3. Let z = n + 9. Does 5 divide z?
False
Is 6/10 + (-22944)/(-160) a multiple of 4?
True
Suppose -500 = 5*c + 5*y, 0 = 2*c - c - 3*y + 80. Let d = -10 - c. Is 17 a factor of d?
True
Let k(i) be the second derivative of -i**5/20 - 3*i**4/4 - i**3/3 + 6*i**2 + 2*i. Suppose 3 - 75 = 8*y. Is k(y) a multiple of 15?
True
Let q be 0/(-3 + 2 + 0). Suppose -3*n + 2 - 14 = q. Is 12/(n/(3 + -5)) a multiple of 6?
True
Let m(w) = 12*w**2 + 6*w + 9. Let z be m(-2). Suppose -b - z = -2*b. Does 14 divide b?
False
Let r(o) = -o**2 - 25*o - 28. Let s be r(-24). Does 7 divide 12 - (-2 + -1) - s?
False
Let y = -209 + -760. Let a = -183 + 173. Is 15 a factor of y/(-15) + 6/a?
False
Is (129/(-2))/((-138)/460) a multiple of 2?
False
Suppose -t - t = 0. Suppose -v + 6 + 1 = t. Is 3 a factor of v?
False
Let t be (-13)/4 - (-11)/44. Let b = t + -3. Does 4 divide (b/12)/(2/(-24))?
False
Suppose 3*z = 4*c + 906, z - 5*c = 3*z - 581. Does 14 divide z?
False
Let u(b) be the second derivative of 0 - 3*b + 1/12*b**4 - 4*b**2 - 1/6*b**3. Does 14 divide u(8)?
False
Let l(t) = 4*t - 15. Let k be l(14). Suppose k*a = 45*a - 552. Does 39 divide a?
False
Let n(c) = c + 5. Let s be n(1). Suppose 5*u = s*u - 24. Is u a multiple of 12?
True
Let f be (0 - (-2)/(-6))*-9. Suppose -5*r = -f*w - 31, -2*w + 0*w - 19 = -3*r. Suppose r*v - 75 - 20 = 0. Is v a multiple of 19?
True
Let w(q) be the second derivative of q**5/20 - 2*q**4/3 + 4*q**3/3 + 10*q**2 - q. Is 12 a factor of w(8)?
True
Let u(a) = 22*a**2 - 8*a - 12. Is 17 a factor of u(-7)?
True
Let k = -20 - -23. Suppose -s + 3*i - 15 = 0, -4*s = -0*s + k*i - 15. Suppose 3*v = -s*v + 48. Is 5 a factor of v?
False
Let f(h) be the first derivative of 3*h**2/2 - 12*h - 3. Let j(w) = 3*w - 11. Let m(c) = 3*f(c) - 2*j(c). Does 4 divide m(13)?
False
Suppose -106 + 31 = 5*z. Let l = z + 13. Does 22 divide 3 - (l*11 + 3)?
True
Let l = 21 + -13. Suppose -l*i = -7*i - 40. Does 3 divide i?
False
Suppose -3*z + 23 = -m - m, -5*m = -z + 25. Does 4 divide 225/18 - (-2)/m?
True
Let n = 51 + -44. Suppose 8 + 125 = n*t. Does 10 divide t?
False
Let a(i) = i**3 - i**2 - 7*i + 1. Let q be a(3). Is (0 - q/11) + 36584/374 a multiple of 25?
False
Let h = -112 + 994. Is 49 a factor of h?
True
Let s = 774 + -347. Is s a multiple of 10?
False
Let d(u) = u**2 - 19*u - 1. Let n be d(18). Let v(p) = -3*p**3 - 2*p**2 - 3*p + 1. Let q be v(-3). Let r = q + n. Is 13 a factor of r?
False
Let a = -80 + 135. Suppose k - a = -4*k - 5*c, -7 = 3*k - 5*c. Is 6 a factor of k?
True
Suppose 0*p + 5*p = -4*t + 1436, -5*p - 1750 = -5*t. Does 49 divide t?
False
Suppose -13*n + 10*n - 3*d + 1692 = 0, 0 = 4*n + 2*d - 2256. Does 40 divide n?
False
Let u(b) = -3*b - 8. Let d(i) = -6*i - 15. Let j(q) = 3*d(q) - 5*u(q). Let g be j(8). Let c = -14 - g. Is 12 a factor of c?
False
Suppose 11 = 5*g + 5*u - 19, 2*g = -3*u + 16. Does 47 divide 4/6*423/g?
True
Let x(a) = 9*a**2 + 15*a - 108. Does 26 divide x(-14)?
False
Suppose -5*h = 572 - 2652. Does 26 divide h?
True
Let h = 286 - 24. Is h a multiple of 25?
False
Let l(c) be the first derivative of -3/2*c**2 + 4*c - 1/3*c**3 + 1/4*c**4 + 5. Is l(3) a multiple of 4?
False
Let j(l) = 28 + 0*l - l + 10*l - 6*l. Is 6 a factor of j(12)?
False
Let q be (-42)/(-8) - 1/4. Suppose -6*z - 2*b + 16 = -4*z, -28 = -z - q*b. Suppose 0 = -5*u + z*m + 184, -75 = -4*u + 4*m + 77. Is u a multiple of 11?
False
Suppose 3244 = 6*g - 1706. Is g a multiple of 15?
True
Let h be 3*-1 - (15 - 12) - 0. Let a = h + 37. Is 8 a factor of a?
False
Let s be (-7)/(7/(-4)) + -67. Let x = s - -45. Let r = -2 - x. Does 12 divide r?
False
Suppose -842 = -3*z + 2*n, -2*z + 3*n = -n - 572. Is 4 a factor of z?
False
Let j = -87 - -282. Does 39 divide j?
True
Let p(q) = 10*q**3 + 2*q**2 - 1. Let h be p(-1). Let m = h + 11. Suppose 2*r - 22 = m*x - 8, -5*r = -x - 43. Is 3 a factor of r?
True
Let s be (1 + -1 - (-10 - -7)) + 1. Suppose -s*w + 354 = -w. Is w a multiple of 12?
False
Let z = 14 + -48. Is 18 a factor of -1 - z - (2*-2 - -1)?
True
Let v(m) = 5*m**2 + 3*m + 5. Let y be v(-2). Let c = 59 - y. Is 5 a factor of (c - 7) + 1*-3?
True
Suppose -10 = k - 3*k. Suppose d - 19 - 2 = -k*l, -4*l = 3*d - 63. Is d a multiple of 6?
False
Suppose -i = -3 - 1. Suppose i*t = 4*h + 200, -156 = -2*t - h - 53. Is 22 a factor of t?
False
Suppose -9*t + 456 = -t. Does 16 divide t?
False
Suppose -3*k - 6 = 0, -2*t + 4*k = 3*t - 33. Suppose t*d - l - 4*l - 1330 = 0, 4*d - 1056 = 2*l. Is d a multiple of 16?
False
Let u be (-25)/(-9) - (-4 + 102/27). Suppose -5*n - 2*z = -u*z - 148, n = -5*z + 40. Is n a multiple of 15?
True
Suppose -9*n + 14*n - 15 = 0. Suppose 5*z - 12 + 82 = n*r, 65 = 3*r - 4*z. Is r a multiple of 8?
False
Let s(u) = 31*u**2 + 25*u - 234. Is 78 a factor of s(8)?
True
Suppose -1 = -3*d - 13. Let f(n) = n**3 - 8*n**2 - 2*n + 5. Let x(g) = g**3 - 8*g**2 - g + 5. Let z(k) = d*f(k) + 5*x(k). Does 14 divide z(8)?
False
Let i(l) = -l**2 + 8*l + 8. Let t be i(9). Does 10 divide (t - 431)/(-3) - (-1)/(-1)?
False
Let a(n) = -6*n - 4*n**2 + 3*n**3 + 12*n**2 - 4*n**3 + n - 9. Let c be a(7). Is (-163)/(-5) - 3/c a multiple of 8?
True
Suppose -83*q + 42240 = -61*q. Does 64 divide q?
True
Suppose -3*n + 8*n + 5*d - 3140 = 0, -2*d + 8 = 0. Does 8 divide n?
True
Suppose -56*q + 16902 + 15018 = 0. Is q a multiple of 5?
True
Is -8*132/9*(-36)/12 a multiple of 32?
True
Suppose 2*z + 2*s = z - 26, -z - 5*s - 23 = 0. Suppose -9 = 7*x + 12. Is x/(3/z*2) a multiple of 7?
True
Suppose -21 = -g + 19. Suppose 0 = -2*q + 24 + g. Does 12 divide q?
False
Let t(i) = -i**2 - 4*i + 17. Let a be t(-6). Suppose -a*w = -4*w - 23. Is 23 a factor of w?
True
Suppose 3*d - 6*d = 3*d. Suppose -2*r = 4*p - 64, -r + 48 = 5*p - 26. Suppose d = 4*u - 0*i - 2*i, 0 = -u - 3*i + p. Is 2 a factor of u?
True
Let n = 300 + 140. Is 40 a factor of n?
True
Suppose 43 - 65 = -r. Is 21 a factor of r?
False
Suppose -65*h + 82*h = 10608. Is 33 a factor of h?
False
Let b(z) = -3*z**3 - 13*z**2 - 7*z + 11. Let h(n) = -2*n**3 + 5*n**2 - 6*n + 3. Let w be h(2). Is 13 a factor of b(w)?
False
Let h(p) = -p**3 + 22*p**2 + 9*p - 4. Does 9 divide h(22)?
False
Suppose -28 = -5*s + 22. Is 7 a factor of 17/(-1 + 15/s)?
False
Let i be ((-9)/(-6))/(4/(-72)). Let o = 41 + i. Is 14 a factor of o?
True
Is ((-324)/20)/(1/(-65)) a multiple of 10?
False
Let u = -29 + 46. Let a be (-39)/91 + u/7. Suppose a*q - 44 = 82. Does 17 divide q?
False
Let s(f) = -4*f + 146. Is 10 a factor of s(-16)?
True
Let k be (-4)/(-1)*7/14. 