 = -x. Suppose x*v - 17 - 27 = 0. Is 9 a factor of v?
False
Let h be 33*(7/3 + -1). Suppose 2*z = z + h. Is z a multiple of 12?
False
Let q be (4/(-8))/(1/(-4)). Suppose j = -2*j + 2*n - 33, q*n + 30 = -4*j. Is 17 a factor of 6/j + (-53)/(-3)?
True
Suppose 17*f = 1266 - 93. Does 52 divide f?
False
Let l(v) be the third derivative of v**6/120 + 7*v**5/60 + v**4/8 + 5*v**3/6 + v**2. Is l(-5) a multiple of 20?
True
Let x be (-36)/27*3/(-2). Suppose -76 = -5*j - x*v, -5*j + v + 72 = 5*v. Is j a multiple of 8?
True
Suppose -11 + 3 = -4*i. Is -1 - i*(-44)/8 a multiple of 3?
False
Let q(v) = 6 + 2*v + 2 - 2. Suppose 2*k + 5*f - 31 = 0, -3*k = -0*f + 4*f - 36. Is 18 a factor of q(k)?
False
Is 3 a factor of (3/(3/16))/2?
False
Let o(v) = v**3 + 7*v**2 - 9*v - 6. Let r be o(-8). Is 11/(r/12*3) a multiple of 11?
True
Let a(n) = 3*n - 3*n + 4 - 5 - n**3 - n**2. Let z be a(2). Is (z - -1)*2/(-4) a multiple of 6?
True
Suppose 0*f = -2*f - 12. Let j = -3 - f. Suppose -d = -j*d + 48. Is d a multiple of 24?
True
Suppose g + 2 = 5, -2*i - 2*g + 28 = 0. Suppose r = 2*w - 8, 2*w - w + 5*r + 18 = 0. Suppose -1 = w*m - i. Is m a multiple of 5?
True
Suppose 3*f - 4*f + 20 = 0. Does 10 divide f?
True
Let m be (-4 - -2)/((-7)/28). Suppose -3*j - 50 = -m*j. Does 5 divide j?
True
Let f = 2 + 52. Suppose 0 = -v + 2*v - f. Is 18 a factor of v?
True
Suppose 4*n = 0, 2*g + g + n = 45. Is g a multiple of 5?
True
Let p = 12 - 7. Suppose -2*t - 40 = -3*k + 5, -p*t = 4*k - 60. Is 15 a factor of k?
True
Let b(z) = -5*z + 2. Let v(n) be the first derivative of n**4/4 - 4*n**3/3 - 7*n**2/2 + 7*n - 2. Let h be v(5). Is b(h) a multiple of 17?
True
Suppose -135 = 16*j - 19*j. Is j a multiple of 24?
False
Suppose -3*s - 3*y - 2*y = 97, -s + 4*y = 4. Let r = s - -44. Is 10 a factor of r?
True
Suppose v - 46 + 18 = 0. Does 6 divide v?
False
Suppose 3*k - 65 = 79. Is k a multiple of 13?
False
Let m be (1 + -3*1)/2. Suppose 4*z + 2*l - 2 = 0, 3*l = 5*z + 5 + 9. Is 3 a factor of z/1 - 5/m?
False
Suppose -5*h = -4*u + 23, -u - 4*h - 4 - 6 = 0. Let x be -3 + u + (-1 - 83). Let g = -35 - x. Is 13 a factor of g?
False
Suppose -12 - 21 = -3*g. Is 11 a factor of g?
True
Let x(a) = 12*a - 27. Is x(11) a multiple of 21?
True
Let d(f) = 5*f**3 - 2*f**2 - 3*f + 2. Let v = -6 - -8. Suppose -v*t + 4 = -0*t. Does 14 divide d(t)?
True
Let v(w) = -w - 11. Let r(p) = p**3 + 6*p**2 + 7*p - 2. Let f be r(-5). Let c be v(f). Is (-6)/(-12)*(c - -59) a multiple of 14?
False
Suppose -4*m - 105 - 91 = 4*l, 3*m - 3*l = -165. Let o = -26 - m. Is 13 a factor of o?
True
Suppose 0 = -4*w + 4*h + h + 91, -2*h + 70 = 4*w. Does 4 divide w?
False
Let a(v) = 2*v**2 + 2. Does 8 divide a(-4)?
False
Let j(y) = 2*y**2 + 5*y + 2. Let r(b) = -b**3 + 9*b**2 - 9*b + 4. Let t be r(8). Let u be j(t). Let g = 25 - u. Is g a multiple of 11?
True
Suppose -2*u + q + 60 = -0*u, 160 = 5*u - 5*q. Does 4 divide u?
True
Suppose 26 = n - 47. Is 15 a factor of n?
False
Is 22/((2/(-7))/(-1)) a multiple of 14?
False
Let z be (-4 + 10)*(-1)/3. Is z*-4*(-3 - -4) a multiple of 4?
True
Let o = 52 + -36. Let q = -3 + o. Suppose -2*r + 18 = t, r = -3*t + 61 + q. Is t a multiple of 19?
False
Suppose -x = -40 + 7. Suppose d - x = -2*d. Is 6 a factor of d?
False
Let s = 107 - 16. Does 7 divide s?
True
Let g = -2 - 0. Is (g - 10 - 2)/(-1) a multiple of 14?
True
Let u be 94/8 + 2/8. Let k be ((-4)/u)/(2/(-42)). Suppose -4*x + 5*t = -k, -5*x = 4*t - 7*t - 25. Is 4 a factor of x?
True
Suppose -2*z = 3*p - 0*p - 27, 5*z - 96 = 2*p. Is 11 a factor of z?
False
Is (3/(-2))/(11/(-462)) a multiple of 21?
True
Let h = 81 + -30. Suppose -2*c - 7 = -h. Is 11 a factor of c?
True
Let d(q) be the first derivative of 5*q**3/3 + q**2 + q - 2. Is 8 a factor of d(2)?
False
Suppose -3*l - 3*t + 9 = 0, 0*l + l - 5*t = 9. Suppose -p - 4*p = -5*b - 85, l*b + 8 = -p. Is 4 a factor of p?
True
Let a(q) = -q**3 - 3*q**2 - 3*q - 1. Is a(-3) even?
True
Let g be (-25)/(-3) + 14/(-42). Let t = g + 0. Is 8 a factor of t?
True
Suppose 4*h + 1 = 21. Let i = 10 - h. Suppose i*n - 41 - 29 = 0. Is 6 a factor of n?
False
Let j = -12 - -2. Let w(r) = r**2 + 11*r + 12. Let m be w(j). Suppose 0 = -3*c - h + 176 + 13, m*c = -3*h + 133. Does 21 divide c?
False
Let d(b) = 3*b**2 - 15. Is 24 a factor of d(-6)?
False
Let v = 927 - 587. Is 20 a factor of v?
True
Suppose 5*p + 512 = p. Is 13 a factor of 1 - 0 - p/4?
False
Suppose 0*k = 2*r + k - 21, 2*k - 6 = -r. Is r a multiple of 12?
True
Let n be -5 + 2 - 20/5. Let i(c) = -c**3 - 5*c**2 + 9*c - 7. Is i(n) a multiple of 11?
False
Suppose 4*j = 50 + 2. Is 13 a factor of j?
True
Suppose -5*t + 40 = 5*x, -6*x + 3*t + 48 = -x. Let y(r) = -r**2 + 2*r + 6. Let p be y(5). Is 267/x + 6/p a multiple of 12?
False
Suppose n - 2*n + 5*p = -55, 0 = -p + 5. Suppose -4*i + n = -2*i. Is 15 a factor of i?
False
Let n be (-2 + 2)/(1 - 2). Let d be 1 - (1 - n) - -2. Suppose -d*y = 24 - 80. Is y a multiple of 14?
True
Suppose b - 6*b = 0. Suppose 5*c = 10, 4*r - 2*c - 3 = 5. Suppose 0*x - 4*x - h = -90, -4*x + r*h + 82 = b. Is x a multiple of 11?
True
Suppose 0 = 3*c - 2*c. Let w(k) = k**3 - 5*k**2 - k + 4. Let t be w(5). Does 13 divide 13*(c - t - 0)?
True
Let k(t) = t**3 - t**2 - 2 + 2*t - 2*t**2 + 2*t**2. Let l be k(2). Suppose 4*z - l - 34 = 0. Is z a multiple of 5?
True
Let o be (-2)/8 + (-68)/(-16). Suppose j = -o*w + 2*w + 24, -5*w + 47 = 2*j. Suppose -2*r + 0*r = -j. Is 13 a factor of r?
True
Suppose 0 = s + 3, -4*s + 0*s - 36 = 4*o. Let i(k) = k**3 + 5*k**2 - 5*k + 7. Let v be i(o). Suppose -v = 5*l - 91. Is l a multiple of 6?
True
Let w = -1 - -1. Let k(q) = -10*q + w + 0 - q**2. Is k(-9) a multiple of 3?
True
Suppose 2*m = m - 8. Is 4/m*(1 - 103) a multiple of 9?
False
Is -3 - (6/2 + -69) a multiple of 21?
True
Suppose 0 = 4*o + 4*v - 44, o - 2*v - 16 = -4*v. Is 5 a factor of o?
False
Let u(m) = -4*m - 33. Is u(-18) a multiple of 39?
True
Suppose -201 = 5*q - 36. Let g be 3/(27/(-3))*q. Suppose -y + g = -14. Is y a multiple of 8?
False
Let c = -27 + 45. Suppose g - 6 = 2*k, g + 2*k - c = -0*k. Does 6 divide g?
True
Let o(g) = -g**3 + 7*g**2 - 6*g - 2. Let y be o(6). Does 5 divide 2 - -6 - (y - -3)?
False
Let x(n) be the third derivative of n**8/20160 - n**7/2520 - n**5/60 + 2*n**2. Let i(b) be the third derivative of x(b). Is i(6) a multiple of 9?
False
Let z(k) = k**2 + k + 4. Let d be z(0). Let b(g) = g**3 - 5*g**2 + 6*g - 3. Let s be b(d). Suppose -2*o = -a - 3*a + 58, o = -s*a + 62. Is 7 a factor of a?
False
Let a(i) = i**3 - 9*i**2 + 9*i - 6. Let g be a(8). Suppose g*w = -13 + 31. Is (-2)/(-3) + 75/w a multiple of 9?
True
Is 73 + 2 - (0 - 3) a multiple of 13?
True
Suppose 2*w + 31 + 5 = 0. Let u = w - -35. Is u a multiple of 17?
True
Let d be (-1)/((-3)/(2 + 19)). Let f(k) = -k**3 + 4*k**2 + 6*k + 10. Let z be f(d). Let l = z - -133. Is l a multiple of 19?
True
Is (2 - 0) + (22 - (1 + -1)) a multiple of 3?
True
Suppose -11 = -4*i - 3. Suppose 26 = 3*r + w, -7 - 3 = -5*w. Suppose i*s - r = s. Is s a multiple of 3?
False
Let m = 63 + -15. Is m a multiple of 15?
False
Let t(w) = -w**3 + 5*w**2 - 3*w + 1. Let q be t(4). Suppose q*c = 65 + 105. Does 9 divide c?
False
Let j(k) = 21*k**2 + 2*k + 1. Let s be j(2). Let a = s + -44. Is a a multiple of 15?
True
Suppose 3*o = -5*u + 187, 2*u - 3*o - 71 = 8. Is 6 a factor of u?
False
Let l(p) = -p - 9. Let o(f) = -2*f - 22. Let w(g) = -12*l(g) + 5*o(g). Let v be w(3). Does 3 divide 30/4 + (-2)/v?
False
Let h = 0 - -54. Does 18 divide h?
True
Suppose -5*z + 460 = -240. Suppose 0 = -3*x - x + z. Is 17 a factor of x?
False
Suppose 5*j - 61 - 19 = 0. Is 8 a factor of j?
True
Let u(k) = 4*k**3 - k**2 + 5*k. Let b(s) = s**2 - s + 1. Let q(g) = -3*b(g) - u(g). Let p be (-9)/6 + 1/(-2). Does 16 divide q(p)?
False
Let z be 2/6 - (-4)/6. Let u be 6*(z + 0 + -2). Let d(s) = -2*s + 4. Is d(u) a multiple of 8?
True
Suppose -165 = 2*c - 5*o, 4*c = -3*o - 174 - 169. Let b = -42 - c. Is 21 a factor of b?
False
Let c(u) = -42*u - 2. Let k(h) = -h**2 - 12*h - 16. Let f be k(-11). Let g be c(f). Suppose g = -d + 5*d. Is 14 a factor of d?
False
Suppose 4*a - 179 = -3*j + 106, -a = j - 94. Is 22 a factor of j?
False
Suppose 4*l = -2*h + 20 + 12, 0 = -4*l + 3*h + 42. Is 4 a factor of l?
False
Does 12 divide ((-144)/(-15) - 0)*(-30)/