e
Let u(v) = -8*v - 2. Does 9 divide u(-7)?
True
Let k(l) = -l. Let w be k(-5). Suppose -w*b = -32 - 283. Does 22 divide b?
False
Let j = 230 - 116. Does 21 divide j?
False
Is (-309 - (4 + -2))*(-3)/3 a multiple of 21?
False
Let m(k) = -k**2 + 5*k - 4. Let o be m(4). Let v(d) = -d. Let a be v(-4). Does 13 divide (-26)/a*(o - 4)?
True
Suppose 4*g = -4*t + 28, 0 = -2*t - 2*t + 5*g - 17. Let l(q) = -2*q + 2 + q + q**t + 2. Does 10 divide l(3)?
True
Let q = -5 + 12. Suppose 0 = d - q - 18. Is 10 a factor of d?
False
Suppose 5 + 5 = 5*a. Does 6 divide 3/(-6)*a + 16?
False
Let k = 21 + -30. Let n be (-6)/k*3 - 2. Suppose -18 = -p - n*p. Is p a multiple of 13?
False
Let n(g) = 17*g + 1. Is 20 a factor of n(5)?
False
Suppose -37 = -3*l - r, 5*r = -l - 2*l + 17. Let j = l + -10. Suppose -4*u + 2*b = -222, -2*u = -b + j*b - 115. Does 21 divide u?
False
Suppose -5*m + 185 = -y - 3*y, -3*m = -4*y - 175. Does 20 divide 3*(-1)/(3/y)?
True
Let v(r) = -4 + r**2 + 2 - r**3 - 1. Let s be v(0). Is 15 a factor of (s - (0 - 2)) + 39?
False
Suppose 0*m = 2*m + 3*u - 10, 2 = u. Let o(f) = 11*f + 1. Is 15 a factor of o(m)?
False
Let h = -5 - -20. Let w be 10/h + (-2)/3. Suppose w = -9*q + 4*q + 160. Does 16 divide q?
True
Suppose 3*s + 3*r - 13 - 2 = 0, -3*s + 3*r + 21 = 0. Suppose -u = -7 - s. Does 13 divide u?
True
Let v be -3*(-2)/15*-40. Suppose 20 = 7*h - 2*h. Let p = h - v. Does 10 divide p?
True
Suppose 532 = 4*h - 168. Is 21 a factor of h?
False
Suppose 0 = -3*j - g + 10 + 5, 2*j = -4*g. Is -2*3/j*-11 a multiple of 11?
True
Suppose -5*l = -8*l + 213. Is 24 a factor of l?
False
Suppose y - 49 = 4*d, -87 - 90 = -4*y - 3*d. Is 14 a factor of y?
False
Let v = -1 - -5. Suppose -w = w - v. Is 11 a factor of -2*(3 - w)*-11?
True
Let w = 3 + -3. Suppose 135 = 3*o + 3*b, 3*o - 4*b - 107 = -w*o. Let u = o - 21. Is u a multiple of 10?
True
Let v(y) = 11*y**2 - 4. Does 19 divide v(-3)?
True
Suppose 5*b - 2*h - 2*h - 173 = 0, 107 = 3*b - 4*h. Let k = 23 + -5. Let v = b - k. Does 6 divide v?
False
Suppose 4*w - 4*a - 44 = 0, 2*w - a = 14 + 9. Does 4 divide w?
True
Suppose -2*u + 24 = m, -6*m + m + 5*u = -150. Suppose 3*d = m + 41. Is 11 a factor of d?
False
Let n(b) = -3*b + 8. Let u be n(6). Let y = 16 + u. Does 13 divide 171/y + 1/2?
False
Let d = -101 + 66. Let u = -84 - d. Let r = u + 81. Is 16 a factor of r?
True
Suppose -5*v = -102 - 353. Does 24 divide v?
False
Let n = 48 + -33. Is 15 a factor of n?
True
Let a be 626/(-30) - 6/45. Let y = a - -38. Does 16 divide y?
False
Let r be (-199)/(3 + (-4)/2). Is 13 a factor of (r - 2)/(-3) + -1?
False
Let o(x) = 7*x. Let w be o(4). Suppose -5*g = -5*h + 40, 5*h + 0*g = -g + w. Is 3 a factor of h?
True
Suppose -y + 1 = -x - 3, 2*y - 4 = 0. Let a = 6 + x. Is 4 a factor of a?
True
Let b be 2/((-1 - -7)/3). Let l = b + -1. Is 14 a factor of (l - -1)*1*28?
True
Suppose 2*g = 5*w + 34, -g - 7 - 4 = w. Let t(u) be the second derivative of u**4/12 + 7*u**3/6 + 4*u**2 - 8*u. Is 6 a factor of t(w)?
False
Let c(u) = 54*u + 2. Is 11 a factor of c(1)?
False
Is 38 a factor of 228/(-9)*(-6)/8*6?
True
Let u(z) = z**3 + 13*z**2 + 12*z + 24. Is 6 a factor of u(-12)?
True
Let h(o) = -o**3 + o**2 + 9*o - 4. Does 23 divide h(-5)?
False
Let p = -83 - -139. Is 14 a factor of p?
True
Let v be -4 + 8/(-1 - -2). Is 4 a factor of (-4 - (-19 - v))/1?
False
Let y(s) = -2*s**2 + 5*s + 2. Let i be y(-3). Let a = i - -51. Suppose 6*o = -3*k + o + 52, -a = -k - o. Does 12 divide k?
True
Suppose -5*z + 40 = -3*j, 3*z + j - 3 = 35. Let s(k) = 3*k**2 - 3*k - 4. Let f be s(5). Let m = f - z. Does 15 divide m?
True
Suppose h - 4*o = -29, 5*o + 59 = -4*h + 2*o. Let b = h + 31. Is 11 a factor of b?
False
Let g = -7 - -41. Is 17 a factor of g?
True
Let o be -1*(-1)/2*0. Is 11 a factor of (66 + o)*16/24?
True
Let h(i) = 11*i + 43. Is h(9) a multiple of 8?
False
Let p = -10 + 14. Suppose -3*j + 69 = -p*b - b, 0 = 2*j + 5*b - 71. Does 7 divide j?
True
Let i = -30 - -58. Let m = i + -13. Is 14 a factor of m?
False
Suppose -19 - 89 = -4*p. Suppose -2*k = -4*i + 12, i - k + 14 = 4*i. Suppose 3*j - p = -5*l, -3*j = i*l - l - 21. Is l a multiple of 2?
False
Let q(f) = f**2 + 5*f + 1. Is q(-7) a multiple of 13?
False
Suppose -i + 18 = -2*t, -2*t + 114 = 5*i - 4*t. Does 12 divide i?
True
Let z(a) = 2*a - 4. Let i be z(3). Suppose -2*d - 39 = -3*f, -d + i*d = 0. Is 6 a factor of f?
False
Let k(w) = w**3 - 2*w**2 + 4 + 8*w**2 - 4 - 7*w. Let j be k(-7). Suppose -2*h + 6 = j, 0*h + 111 = 3*r + 5*h. Does 16 divide r?
True
Let r = -4 + 4. Suppose -3*s + 2*p + 19 = r, -s - 9*p - 22 = -4*p. Suppose -6 = s*q - 63. Is 7 a factor of q?
False
Suppose 0 = 5*c - 2*c - 6. Suppose c*p - 135 = 1. Suppose -4*d + 9*d - j = p, -5*j + 10 = 0. Does 14 divide d?
True
Let k = 3 + -1. Suppose k*o - 7*o = 0, -5*o - 245 = -5*l. Is 18 a factor of l?
False
Let x be (2 - 2)/(2 - 1). Suppose x = -0*i - 4*i + 52. Does 5 divide i?
False
Suppose 0 = -5*g + 3*g. Suppose -3*w - w + 12 = g. Suppose -o + 25 - 69 = -2*y, -3*o = -w*y + 72. Is 10 a factor of y?
True
Suppose 2*p - 18 = -3*t, t - 1 + 3 = 0. Is 8 a factor of ((-8)/(-6))/(2/p)?
True
Suppose 4*n - 16 - 112 = 0. Is n a multiple of 16?
True
Suppose -b = 5*k - 116, 3*k - 25 = 2*b - 192. Does 13 divide b?
True
Suppose -5*o = -4*r + 16, -33 = -0*r - 5*r + 3*o. Is r a multiple of 9?
True
Let s be (2/4)/((-4)/(-40)). Suppose 3*z - 50 = s*x, -3 = -3*x + 3. Does 10 divide z?
True
Let n(d) = 11*d - 1. Is 8 a factor of n(1)?
False
Let z(d) = -2*d + 2 + 34*d**2 - 1 + d. Is 14 a factor of z(1)?
False
Suppose 22*d = -8*d + 3630. Is d a multiple of 22?
False
Let n(t) = 7*t**3 + 6*t**2 + 8*t - 10. Suppose -12 = 2*d - 0*d. Let k(w) = -20*w**3 - 18*w**2 - 23*w + 29. Let v(j) = d*k(j) - 17*n(j). Does 7 divide v(-4)?
False
Let s be (408/10)/3*5. Suppose 5*f - 10 = 4*a + 5, -15 = -5*f + a. Suppose 0 = f*x - s - 34. Is 16 a factor of x?
False
Suppose 17*g - 80 = 19*g. Does 19 divide g/(-2) + (2 - 3)?
True
Suppose 3*s = 5*s + 24. Let l(k) = k**3 + 12*k**2 - 3*k - 9. Is l(s) a multiple of 27?
True
Let p(s) = 3*s - 4. Let q(h) = -h - 1. Let j(d) = -p(d) + 2*q(d). Suppose 0 = 3*m + 4 + 2. Does 4 divide j(m)?
True
Suppose -5*q = -2*s + 5*s - 89, -26 = -s + 2*q. Does 10 divide s?
False
Suppose -5*a + 113 = 2*i, 0 = -a + 2*a + 1. Is i a multiple of 10?
False
Let y be (-62)/22 + (-6)/33. Let z = y - -2. Let b = z - -18. Is 14 a factor of b?
False
Suppose -n + 6 = 1. Let s be (-2)/n - (-44)/10. Suppose 17 + 31 = s*g. Is g a multiple of 5?
False
Let s(a) = 5*a**3 + 7*a**2 + 27*a - 27. Let p(q) = 2*q**3 + 2*q**2 + 9*q - 9. Let n(r) = 8*p(r) - 3*s(r). Does 12 divide n(7)?
False
Let d(x) be the first derivative of -x**4/4 - 7*x**3/3 - 3*x**2/2 - 6*x + 1. Does 15 divide d(-7)?
True
Is 38 a factor of (34 - 121)/(0 + (-3)/10)?
False
Suppose -3*h = -l - 4, -74 = 3*l + 2*l + 3*h. Let r(a) = -a**3 + 6*a**2 - 5*a + 2. Let x be r(5). Is (-1)/(x/(l - 3)) a multiple of 6?
False
Suppose 2*l + 3*l = -5*v + 25, -3*l = -3. Suppose -280 = a + v*a. Is (a/(-6))/(2/6) a multiple of 13?
False
Suppose 143 = c + n + 3*n, 5*c = n + 715. Does 32 divide c?
False
Suppose 12 = 5*l - 3. Suppose u + 4 = 6, 4*v - 122 = -l*u. Is 12 a factor of v?
False
Let c be 75/27 - (-4)/18. Suppose -k = -2*k - c*r + 25, 4*r - 60 = -3*k. Is k a multiple of 8?
True
Suppose -2*y = 3*y - 10. Let g(i) = -3*i**3 + 0*i + 2*i**3 + 1 + y*i + 2*i**2. Does 2 divide g(-1)?
True
Suppose 23 - 1 = q. Let d = q - 6. Suppose -4*f + 6*f = d. Is 7 a factor of f?
False
Let w(x) = -11*x - 1. Let p be w(-2). Does 7 divide 6/(-1 + 27/p)?
True
Let q(h) = h**2 - h - 4. Let j = -4 + 4. Suppose y + j*c + 2*c + 7 = 0, 0 = 3*y + 3*c + 15. Is 4 a factor of q(y)?
True
Let l(j) = -j**2 + 5*j - 2. Let d = -6 + 11. Let k be l(d). Let y(b) = -3*b**3 - 3*b**2 - b. Does 14 divide y(k)?
True
Let x = 49 - 17. Is 4 a factor of x?
True
Suppose -3*c + 12 + 3 = 0. Is c a multiple of 3?
False
Suppose 0 = -2*k - 5*r + 65, 4*k + 3*r + 18 - 113 = 0. Suppose -k = -7*b + 2*b. Suppose 0 = -5*i - h + 62, -b*i - 4*h = -40 - 0. Is i a multiple of 9?
False
Let l be 4/18 + (-644)/(-18). Suppose -2*c + 12 = 2*d, 0*d + 4*d - l = -c. Does 15 divide (0 + -30)/(d/(-15))?
True
Let m(r) be the second derivative of r**4/24 - r**3/3 + 3*r**2/2 + 5*r. Let a(z) be the first derivative of m