(v). Let o be k(4). Let g = o + 20. Does 6 divide g?
False
Let b(k) = k**3 - 8*k**2 - 3*k + 1. Let z(o) = 9*o**3 - 2*o**2 + 1. Let d be z(1). Let p be b(d). Let r = -12 - p. Does 5 divide r?
False
Let m(g) = g**2 + 10*g - 3. Let v be m(-10). Is 13 a factor of 0 + (v - (-2 + -19))?
False
Suppose -3*l + 2*l = -66. Is 15 a factor of l?
False
Let a(s) = -s**3 - 8*s**2 - 12*s + 6. Is a(-7) a multiple of 23?
False
Is 4 a factor of ((-56)/(-12) - 4)*6?
True
Let a = -58 + 123. Does 5 divide a?
True
Suppose 0 = 22*n - 27*n + 675. Is 23 a factor of n?
False
Let o = -18 - -24. Does 3 divide o?
True
Suppose 2*u + 10 = 4*u - 2*i, -2*u - 5*i = 18. Let o = 3 - u. Is o a multiple of 2?
True
Suppose 4*l - 74 = 150. Does 14 divide l?
True
Suppose 0 = 2*a - 8, -5*a = -3*m - 3*a - 14. Let r(d) = 3*d**2 + d - 1. Does 3 divide r(m)?
True
Suppose 0 = -0*w - 2*w - 12. Let g = 15 - w. Is g a multiple of 18?
False
Let k = -34 - 76. Is 5 a factor of (-3 + 1)/(11/k)?
True
Let k(s) = 85*s**2. Let c be k(1). Suppose 9*h - 4*h = -c. Is 6 a factor of (-7)/(-21) + h/(-3)?
True
Let w(d) = -4*d**3 + 1. Let j be w(-1). Let x(f) = f - 3. Let a be x(j). Is (-440)/(-36) + a/(-9) a multiple of 9?
False
Suppose 0 = -j + 2*j - 26. Let k be (-472)/j - (-4)/26. Let g = k + 35. Is g a multiple of 17?
True
Let f(g) = -g**3 - 14*g**2 - 14*g + 17. Does 6 divide f(-13)?
True
Suppose 5*d = 25, -5*s + 0*s + 25 = 2*d. Does 2 divide 5/s - (-3)/9?
True
Let h(c) = 9*c + 3. Let g(t) = -1 + 0 + 0*t + 4 + 9*t. Let o(b) = -3*g(b) + 4*h(b). Is 15 a factor of o(3)?
True
Let f(g) = g - 3. Let o be f(3). Let x be (-1)/(1 + o) + 91. Suppose -2*u - x = -5*u. Is 16 a factor of u?
False
Let d(k) be the second derivative of -k**4/12 + k**3/3 + 2*k**2 + 6*k. Does 2 divide d(0)?
True
Suppose -3*r + v + 2*v - 3 = 0, -r - 16 = -4*v. Suppose 155 = r*q + q. Suppose -2*n - 89 = -5*o + n, -o + q = -5*n. Is o a multiple of 6?
False
Suppose -11 + 59 = g. Suppose c = 3*c - g. Is c a multiple of 6?
True
Let p be -1 - (0 - 1) - 0. Suppose 4*m + p*m = -40. Let n(j) = j**3 + 9*j**2 - 12*j - 4. Is n(m) a multiple of 9?
False
Let f(p) = 2*p**3 - 2*p**2 - 2*p - 2. Let o be f(-2). Is 11 a factor of (1 - -3)*o/(-8)?
True
Suppose q + 2 - 22 = -5*y, 24 = 3*q + 3*y. Let r = q + -3. Suppose 0 = 3*p - r*p - 38. Does 19 divide p?
True
Let c = -12 + 21. Suppose -190 = -c*l + 4*l. Is l a multiple of 8?
False
Suppose -2*t - 2*g - 1 = 29, -4*g - 80 = 5*t. Is 4/t - (-61)/5 a multiple of 6?
True
Let j(n) be the third derivative of -n**6/30 + n**5/60 + n**4/24 - n**3/6 + 3*n**2. Let y be j(1). Is 10 a factor of ((-78)/2)/y + -1?
False
Suppose -5*t = -316 + 111. Is 12 a factor of t?
False
Let d = 118 - 73. Suppose 3*j + 5*z = d, -z - 9 = 2*z. Is 7 a factor of j?
False
Let z = 624 + -416. Is z a multiple of 13?
True
Let t(p) = -p**3 - 9*p**2 + 11*p + 11. Let w be t(-10). Let m be 21 + -6*w/(-2). Is 4 a factor of 78/8 - (-6)/m?
False
Let k(o) be the second derivative of o**3/6 - 3*o**2/2 - 2*o. Let u be k(5). Suppose -2*q = 4 + u, -5*q = 4*f - 33. Is 12 a factor of f?
True
Let r(p) = 22*p**3 + 6*p**2 + 2*p + 6. Let j(m) = 22*m**3 + 5*m**2 + 2*m + 5. Let g(n) = -5*j(n) + 4*r(n). Let x = 1 - 2. Is 8 a factor of g(x)?
False
Let x(m) = m**3 + 10*m**2 + 12*m - 13. Does 7 divide x(-7)?
False
Suppose 4*r = -0*r, -2*s = 4*r - 6. Let o be (-5)/(-2) + 1/(-2). Suppose -o*q - s = -37. Is 6 a factor of q?
False
Suppose 4*m - 1349 - 187 = 0. Is m a multiple of 32?
True
Let p(i) = -2*i**3 + 4*i**2 - 5*i + 5. Let l(x) = -x**3 - x**2 - x + 1. Let y(n) = -l(n) + p(n). Is y(3) a multiple of 5?
True
Let f be (-2 - 1 - -1)/(-2). Suppose -2*p - f = -u, -u - 3*p + 16 = -2*p. Is u a multiple of 11?
True
Let u = -15 + -4. Let n = 23 - u. Does 14 divide n?
True
Is 2 a factor of (-45)/10*2/(-3)?
False
Let y be -10*(6 + (-16)/4). Let f = y + 40. Is 18 a factor of f?
False
Suppose -6*g + g = -5, -g = 3*q + 11. Is 32/20*(-10)/q even?
True
Suppose x + 2 - 11 = 0. Let m = x + -1. Is 5 a factor of m?
False
Suppose 7 + 5 = 3*a. Suppose 94 = a*m - 22. Does 15 divide m?
False
Let n be 4/(-22) + 140/44. Suppose -21 = -q - 0*q + s, 0 = n*q + s - 71. Let j = 47 - q. Is j a multiple of 12?
True
Let j = 4 + -12. Let f(d) be the second derivative of d**4/12 + 7*d**3/6 + 3*d**2/2 + 4*d. Is 4 a factor of f(j)?
False
Let u(p) = 2*p**2 - 13*p - 37. Does 40 divide u(17)?
True
Suppose -k - 109 = -2*q, -142 = -2*q - 3*k - 29. Is q a multiple of 11?
True
Let d(i) be the third derivative of i**5/60 + i**4/2 - 11*i**3/6 + i**2. Does 3 divide d(-14)?
False
Suppose -4*z = -5*z + 144. Suppose 6*t - 8*t + z = 0. Is 18 a factor of t?
True
Let y(w) = w**3 + 7*w**2 + 3. Let z be y(-7). Suppose -4*v = 3*g - 259, -5*g + 147 = -v + z*v. Suppose 0 = m + 5*p, -4*m + 2*p = -v - 27. Is 7 a factor of m?
False
Suppose 3*j - 4*q = -6*q + 204, q - 3 = 0. Is j a multiple of 33?
True
Is ((-95)/(-5) + 2)*2 a multiple of 6?
True
Let k be (9/(-27))/(2/(-732)). Let y = k - 61. Does 11 divide y?
False
Suppose 0 = -0*j - 8*j + 744. Does 10 divide j?
False
Let p(b) = -2*b + 9. Let d = -8 - -1. Is 5 a factor of p(d)?
False
Let r(t) = -t + 4. Let l be r(2). Let u(n) = -n**2 - 2*n**2 + 0*n - 2*n**3 + n - l. Is u(-3) a multiple of 10?
False
Suppose 3*q - 96 = -3*q. Suppose -5*s + s + q = 0. Is 4 a factor of s?
True
Let b(g) = -g**3 - 4*g**2 - 5*g - 4. Let t be b(-4). Suppose 4*h + 2*j - t = 4, -4*h = -3*j. Suppose h*f - 2*x = -f + 50, 4*x = -f + 26. Is f a multiple of 14?
True
Let n(h) = h**2 + 7*h + 1. Let w be n(-6). Does 11 divide 2/w + 224/10?
True
Let q(n) = n - 7. Let x be q(10). Suppose x*j - 47 - 38 = -k, -k - 5 = 0. Does 15 divide j?
True
Let q(r) = -2*r**3 - r**2 - 2*r - 4. Suppose -16 = -2*n - 2*w, 0*n - w + 13 = 2*n. Let x = n + -8. Is 20 a factor of q(x)?
False
Let z(u) = -u + 11. Let x be z(8). Let f(h) = 2*h - 4. Let n be f(x). Suppose -10 = -n*l + 6. Is 8 a factor of l?
True
Suppose b + 3*x - 10 = 0, 3 + 3 = 3*x. Suppose -2*h - 152 = -5*f, -2*f = -4*f + b*h + 64. Does 15 divide f?
True
Suppose 0 = -5*i - 20, 3*s + 0*s = 2*i + 146. Is 12 a factor of s?
False
Suppose -5*j = -102 + 7. Is 6 a factor of j?
False
Let c = 0 - -2. Let z be (-104 + 2)/(1 - c). Suppose z + 23 = 5*d. Is 10 a factor of d?
False
Let k = 202 + -114. Is 11 a factor of k?
True
Let u be (-3)/5 + 14/(-10). Is 10 a factor of (-11)/(1*u/4)?
False
Let c = -7 + 4. Let p(y) be the second derivative of -y**5/10 - 5*y**4/12 - y**3/3 - y**2/2 - 2*y. Does 7 divide p(c)?
True
Suppose -4*b + 14 = -2*b. Suppose 0 = 4*y - b*y + 6. Suppose 5*q + 11 = y*t, 5*q - 13 = 2. Is 13 a factor of t?
True
Let u be (-2)/4 + (-42)/4. Let x = u - -15. Suppose -5*r + 160 = 5*q, x*q - 24 = r + 79. Is q a multiple of 10?
False
Let y = -97 + 32. Let g = 125 + y. Is 24 a factor of g?
False
Suppose -12 = -j + 1. Is 11 a factor of j?
False
Let w(o) = -3*o**3 - 6*o**2 - 6*o + 3. Suppose 4 + 0 = -2*n - 3*b, -5*n + b = -24. Let h(x) = -x**3 - x + 1. Let c(j) = n*h(j) - w(j). Does 13 divide c(4)?
False
Let x be 4/(-26) - (-123)/39. Suppose -l = x*g + g - 81, 0 = 5*g - l - 108. Does 7 divide g?
True
Does 11 divide 1/((-1)/5 + (-1008)/(-4840))?
True
Suppose -18 = 2*l - 0. Does 9 divide (-177)/l - (-1)/3?
False
Suppose 4*z + 81 = c, z - 3*z - 333 = -5*c. Is (-1 - c)/(-3) - 1 a multiple of 6?
False
Let n(j) = 51*j**2 + 4*j - 4. Does 17 divide n(1)?
True
Suppose 4*y - 7 = y - 5*f, -y + 2 = 2*f. Suppose -y*i + 280 = i. Suppose g = -g + i. Is 16 a factor of g?
False
Suppose -42 = -3*t + 12. Suppose 0*j = -k - 5*j + t, -8 = -2*k + 4*j. Let g(a) = 3*a - 5. Does 10 divide g(k)?
False
Let d = 0 + 6. Let j be 4*2 - (-2 - -5). Suppose -2*n + j*x = -63, 0 = 2*x - d + 4. Is n a multiple of 17?
True
Suppose l = 4*l - 9. Suppose -5*r = -x - 85, -13 = -l*r + 2*r + x. Is r a multiple of 6?
True
Suppose 0 = 5*u + 5, 4*s - 106 + 2 = -4*u. Does 9 divide s?
True
Let p(x) be the first derivative of -9/2*x**2 + 1/3*x**3 + 9*x + 2. Is 6 a factor of p(9)?
False
Let q(x) = -5*x**2 + 5*x + 2. Let t(n) = -4*n**2 + 5*n + 1. Let l(b) = -3*q(b) + 4*t(b). Let c be l(6). Let m = c - -31. Is m a multiple of 7?
False
Let f = 213 + -132. Does 25 divide f?
False
Let b(i) = -i**3 + 6*i**2 + 9*i - 14. Let z be b(7). Does 8 divide (z - -4)*(2 + 0)?
True
Let x = -2 + 2. Let y(w) = w**3 + 15*w**2 + 14*w + 2. Let t be y(-1