vative of x**4/4 + x**3 + 2*x**2 - 7*x. Is 16 a factor of w(-4)?
False
Let w = -226 - -340. Does 19 divide w?
True
Let p be (-237)/(-2) + (-2)/4. Suppose 0*m = -2*m + p. Suppose -4*w - 11 = -m. Is 8 a factor of w?
False
Suppose 0 = -5*z + 4*f + 312, -2*f = -4*z + f + 249. Suppose -6*h = -9*h - z. Let w = h - -28. Is w a multiple of 4?
True
Suppose 5*u - 725 = -5*s, 58 = s - 5*u - 117. Is 10 a factor of s?
True
Let r = 25 + -14. Let j = 21 - r. Does 10 divide j?
True
Suppose -7*w + 1800 = -w. Does 20 divide w?
True
Let d(h) = 1 + 6*h**2 - 41*h**3 - 6*h**2 + 2*h. Let o be d(-1). Let r = -25 + o. Does 15 divide r?
True
Let p(n) = -3*n**2 - 18 - 5*n - 3*n**2 + 7*n**2. Does 4 divide p(8)?
False
Suppose 5*l = 3*l + 56. Let i = 82 - l. Is i a multiple of 11?
False
Suppose z = -z + 4*d - 4, 4*d = 4*z - 4. Suppose -4*w = z*s - 0*s - 4, -2*s = -3*w + 8. Is 2 a factor of w?
True
Suppose 0*t - 4*m + 242 = 2*t, 0 = 3*t + 5*m - 361. Is t a multiple of 32?
False
Suppose 5*r + 10 = -5*d, 12 = -2*d - 0*d - 4*r. Suppose 4*a = 3*z - 105, -d*a + 0*z - 33 = 5*z. Is (-176)/a*(4 + -1) a multiple of 10?
False
Let q(o) = 1 - 105*o + 5 + 103*o. Let v(b) = b**3 + 3*b**2 - 2*b + 1. Let s be v(-4). Is 10 a factor of q(s)?
True
Suppose -2*m = -4*u - 3*m + 115, -3*m - 75 = -3*u. Let z = u - 11. Is z a multiple of 9?
False
Let u = -143 - -203. Does 16 divide u?
False
Suppose -3*j = 3*t - 159, -j + 3*t - 15 = -72. Is j a multiple of 12?
False
Is 13 a factor of (72/(-30))/(4/(-230))?
False
Suppose 6 = j + 2*j. Suppose -j*q + 2*r + 2 = -0*q, 5*q - 5 = -r. Let o = q + 8. Is 4 a factor of o?
False
Suppose -3*g - 5*b - 12 = 0, 0 = -g - 3*g - 4*b - 8. Is 6 a factor of g - (-2)/2*17?
True
Suppose -31 = 5*d - 0*d + 2*u, 3*d = -2*u - 21. Let b = d + 3. Is 8 a factor of 1 + (-2)/b + 6?
True
Suppose 6*p - 594 = -198. Is 22 a factor of p?
True
Let r be (1/(-2))/(2/(-8)). Suppose -f = -2*f + 2*h + r, -3*f - h + 13 = 0. Is f a multiple of 2?
True
Let a(h) = -h**2 - 7*h + 7. Let p be a(-8). Let o = p - -25. Is 9 a factor of o?
False
Suppose 5*z - 90 = 2*q, -2*z - 4*q = -2*q - 36. Suppose -3*p = -2*k - k + 18, 3*p + 9 = 0. Suppose 0 = k*u - 2*u - z. Is 17 a factor of u?
False
Is 18 a factor of 2525/15 - (-1)/(-3)?
False
Let f = 3 - 3. Suppose 4*u + p = 136, -u - p + 0 + 34 = f. Let m = u + -22. Is m a multiple of 12?
True
Suppose 3*t = 12 + 39. Does 2 divide t?
False
Suppose 13 = 6*o - o + d, -9 = -5*o - 3*d. Suppose v - 5*r = -o*v + 71, 3*r = -3*v + 33. Is v a multiple of 14?
True
Suppose 3 + 1 = 2*j. Let u(q) = 0*q**3 - 2*q + 2*q**3 + 4*q**2 + 3 - 3*q**3. Is u(j) a multiple of 5?
False
Suppose 50*r = 47*r + 51. Is r a multiple of 14?
False
Let v be (3 - 2) + 92*1. Let l = v + -51. Is l a multiple of 22?
False
Suppose 4*v + 7 - 75 = 0. Is v a multiple of 3?
False
Suppose -2*i = -97 + 33. Is 16 a factor of i?
True
Suppose 2*d + 192 = 5*d. Is d a multiple of 32?
True
Let j = 98 - 68. Let c = 20 + j. Does 14 divide c?
False
Let z = 71 - 59. Suppose 0 = -4*r - 17 - 7. Let u = z + r. Is u a multiple of 6?
True
Let m be (-2)/6 - (-578)/6. Suppose 0 = -5*v + v + m. Does 12 divide v?
True
Is ((-67)/(-6))/(1/6) a multiple of 6?
False
Let s(c) = c**2 - 8*c - 4. Let x be (-5)/((-1)/(0 - 1)). Let b be s(x). Suppose 0 = -2*z + 5*z - 3*f - 33, -3*z - 4*f = -b. Is 15 a factor of z?
True
Let q be 1/(-2)*0 - 3. Let l = 5 + q. Suppose 0 = 3*p + l*p - 115. Is 12 a factor of p?
False
Suppose -a = -2*d - 2 - 3, -5*a = -3*d - 11. Let b(p) = -3*p**3 + 2*p**2 - 3*p - 3. Let n(h) = h**3 - h**2. Let g(o) = a*b(o) + 2*n(o). Is 11 a factor of g(-2)?
True
Suppose -4*f - 20 = 0, 2*b - 5*f - 781 = -2*b. Does 28 divide b?
False
Let j = 82 - 7. Is j a multiple of 25?
True
Let q(p) = 2*p**2 + 3*p + 5. Is q(5) a multiple of 35?
True
Suppose 220 = 2*s + 3*s. Suppose 0*t + 4*t - s = 0. Is 11 a factor of t?
True
Let d = -3 + 10. Let w = d - 0. Is 7 a factor of w?
True
Let s(b) = -8*b**2 + 3*b - 1. Let g be s(3). Let z = g + 126. Does 20 divide z?
False
Suppose 17*p = 13*p + 96. Let y(w) = -8*w**3 - w - 1. Let r be y(-1). Let i = r + p. Is i a multiple of 16?
True
Suppose 0 = y - 5*y + 672. Is y a multiple of 24?
True
Let u = -18 + 35. Does 13 divide u?
False
Suppose 26 = -5*m + 2*r, 0 = 3*m + 4*r + r + 28. Let z(i) = -10*i**3 - i**2 + 1. Let u be z(-1). Let n = u + m. Is n a multiple of 2?
True
Let x = -17 + 32. Let v be 4 + 12/(-4) + 24. Let k = v - x. Is k a multiple of 10?
True
Let z be 7 + 4*(-4)/8. Suppose h = v - 31, -v + 88 = 3*v + z*h. Is 9 a factor of v?
True
Let u = -105 - -145. Is 5 a factor of u?
True
Let t = 29 + 41. Is 10 a factor of t?
True
Let z(s) be the second derivative of -3*s**5/20 + s**3/3 - s**2/2 - 2*s. Is 19 a factor of z(-2)?
True
Let z = -44 + 59. Is z a multiple of 15?
True
Let u(k) = 7*k - 24. Does 5 divide u(6)?
False
Let t be (-7)/4 + (-1)/4. Let o be (10/(-4) + 1)*t. Suppose -3 + 18 = o*d. Does 2 divide d?
False
Suppose -2*y + 5 = 3*y. Let q be ((-32)/(-12))/(y/12). Suppose r - q = -r. Is r a multiple of 8?
True
Let o(u) be the third derivative of 0*u + 2*u**2 - 1/60*u**5 - 1/2*u**3 + 0 + 3/8*u**4. Does 4 divide o(7)?
False
Let d be (-160)/(-26) - 4/26. Let p(k) = 3*k - 3. Is p(d) a multiple of 15?
True
Let a be ((-39)/12)/((-1)/(-4)). Let p = 26 + a. Is 4 a factor of p?
False
Let d be 0 - (-5)/2*4. Let p(a) = -4 - 2 + 2*a + a. Is p(d) a multiple of 12?
True
Is 27 a factor of 59 - (2/(-6))/(1/3)?
False
Let u(d) = d + 3. Let s be u(0). Let i be (s/(-2) - -1)*0. Suppose 3*f + i*f - 33 = 0. Is f a multiple of 4?
False
Suppose 3*g - 4*u - 38 = g, -2*u = 4*g - 36. Is 2 a factor of g?
False
Let s(x) = -3*x. Does 6 divide s(-2)?
True
Let a be (-26)/(-4) + 2/4. Let c(m) = -m**2 + m. Let q(r) = -r**2 - 4*r + 3. Let v(x) = -2*c(x) + q(x). Is 7 a factor of v(a)?
False
Let z(x) = -x**2 + 17*x - 11. Is 2 a factor of z(16)?
False
Let p(h) = -1 + 0 - 2*h + 6*h - 2*h + 11*h**2. Let u be p(-2). Let m = u + -23. Does 7 divide m?
False
Let w(s) = -s**3 - 5*s**2 - 10*s - 8. Is 5 a factor of w(-4)?
False
Is (-45760)/(-256) + (-1)/(-3 - 1) a multiple of 15?
False
Let c(u) = -u**3 + 3*u**2 - u - 2. Suppose 3*f - 7 = -1. Let m be c(f). Suppose 2*k - 4*k + 154 = 5*v, m = -v - k + 32. Is v a multiple of 15?
True
Suppose -30 = -3*n + 12. Let t be (-30)/(n/(-4) + 2). Suppose 0 = h + o - 24, 0 = -o - 4*o + t. Is h a multiple of 8?
False
Let j(x) = -x**2 + 6*x - 3. Let q be j(4). Suppose q*r = -26 + 236. Does 21 divide r?
True
Let h = -230 + 497. Is h a multiple of 36?
False
Let l = -61 - -276. Does 12 divide l?
False
Let b(c) = 10*c**2 + 7*c + 6. Is 18 a factor of b(-3)?
False
Let u(q) = -q**3 - 4*q**2 - 2*q - 2. Let p be u(-4). Is 21 a factor of 3*124/p + 3?
False
Suppose 6 + 12 = b. Let o = b + -13. Is o a multiple of 2?
False
Let j be (-6)/(-39) + 2/(-13). Is 9 a factor of (j - -22) + 9/3?
False
Suppose p - 11 = -4*l, -2*l = -4*p - 3*l + 14. Let z = 1 - p. Is (-385)/20*(-2 + z) a multiple of 30?
False
Let o(u) = -3*u + 2*u + 9*u**2 - 1 + 0*u. Let r = -59 + 58. Is 9 a factor of o(r)?
True
Let m(u) = 15*u - 1. Let s be m(3). Is 17 a factor of 6/(-33) - (-1944)/s?
False
Let j(w) = 17*w**2 + 18*w - 79. Is 50 a factor of j(5)?
False
Let l(f) = -f**2 + 12*f + 4. Is l(10) a multiple of 12?
True
Suppose 3*k = -1 + 31. Does 4 divide k?
False
Suppose 8*t - 234 = 5*t. Is 13 a factor of t?
True
Let l be (-92 + -10)*2/(-3). Let t = 108 - l. Suppose 3*q + q - t = 0. Is q a multiple of 4?
False
Let j(s) = -11*s + 3. Let u be j(-8). Suppose 20 = -4*m, 3*k - u = -2*m + 1. Is 17 a factor of k?
True
Let c(o) be the second derivative of o**4/12 - 3*o**3/2 + o. Let b be c(9). Suppose d + b = 20. Is d a multiple of 20?
True
Suppose -3*b + 1640 = 2*b. Suppose -2*n - 19 = 17. Is 9 a factor of b/18 + 4/n?
True
Let a(n) be the third derivative of -n**4/24 + 5*n**3/6 - n**2. Let l be a(7). Is (-44)/1*2/l a multiple of 16?
False
Let h = 13 + -24. Let j = h + 6. Is 5 a factor of 0/2 + j + 16?
False
Suppose 2*l - 1 = p + 3*l, -3*p = 4*l + 7. Suppose p*i - 60 = 15. Is i a multiple of 25?
True
Suppose -7*c + 67 = -3*c + 3*h, 3*c + 5*h - 53 = 0. Is c even?
True
Let j(c) = -c**3 + 2*c + 1. Let i be (-4)/18 + 80/(-45). Does 2 divide j(i)?
False
Let a(t) = -t**2 - 11*t - 10. Let m be a(-8). Suppose -m = -l + 7. Is 8 a factor of l?
False
Let d be (-3)/5