e
Let m(w) = -3*w**3 + 7*w + 5*w**3 + 5 + 8*w**2 - w**3 - 1. Let h be m(-6). Suppose 4*a = -2*j + 24 + h, 0 = -3*j - 5*a + 86. Is j a multiple of 9?
True
Let n = 97 - 58. Is n a multiple of 39?
True
Suppose 2*w = -27 + 139. Does 13 divide w?
False
Let k = -64 + 96. Is k a multiple of 17?
False
Suppose 4*w + 7 = -a, -9 = -9*a + 4*a + 2*w. Let r = -1 + a. Suppose r*d + 72 = 4*d. Is 9 a factor of d?
True
Let p(k) = k**3 - k**2 + 2*k + 4. Is p(3) a multiple of 10?
False
Let m be 334/(-6) - (-4)/6. Let b be (-10)/m - 84/(-22). Suppose 20 = b*r - 68. Is r a multiple of 11?
True
Suppose -2*o = 2*o - 64. Suppose -5*z = -4*y - 1 + 18, -5*y = -z - o. Does 4 divide z/(2/(-11))*2?
False
Let f be 6 - 2 - -2 - 2. Suppose g = -f*g - 30. Let r = -3 - g. Is 2 a factor of r?
False
Suppose 5*s + 2*r = 2, 4*r + 26 = s + 4*s. Suppose 3*j - 108 = -0*q + q, -s*j = -4. Is 16 a factor of -1*q/(4 - 1)?
False
Let h = 1 - -1. Let w = 7 - h. Suppose 3*u - 5*d = -d + 55, 0 = u + w*d - 50. Does 11 divide u?
False
Let f(k) = -2*k**3 - 2*k + 1. Suppose 4*u - 2*w + 6*w - 20 = 0, 4*u = w. Let a be f(u). Is 9 a factor of (-9*(-3)/a)/(-1)?
True
Let b(l) = 2*l - 5. Let c be b(5). Suppose 8*g = -5*z + c*g + 293, 113 = 2*z - 3*g. Is 18 a factor of z?
False
Suppose -3*a - q = -70, -a - 3*q = 8 - 34. Does 23 divide a?
True
Let y = -1 - -7. Is (-59)/(-3) - y/(-18) a multiple of 6?
False
Suppose t = -4*t + 2*w + 250, 0 = -4*t - w + 213. Is 26 a factor of t?
True
Let o(b) = 3*b**2 + 9*b + 15. Is 5 a factor of o(-5)?
True
Suppose -2*v + 4*v - 72 = 0. Suppose -2*z = 4*w + 47 - 155, 0 = -z + 4*w + v. Is 16 a factor of z?
True
Is ((-4)/(-6))/(2/111) a multiple of 9?
False
Let f(v) = -3*v**3 + v**2. Let m be f(-1). Let c = -10 - -15. Suppose c + 31 = m*j. Is j a multiple of 9?
True
Suppose 0*d - 3*d = -6. Let h be -1 - (-2)/4*d. Is 4 a factor of h + (-9 - 2)/(-1)?
False
Suppose -16 = -s - 0*s + 2*f, 2*s - 2*f - 40 = 0. Is 8 a factor of s?
True
Let p be (-5 - -2)*(-2 + 1). Let x be 12 - (p + 1 + -3). Suppose -2*o = -x - 13. Does 6 divide o?
True
Let k(w) = 10*w + 86. Does 15 divide k(21)?
False
Suppose -3*u + u = -z - 2, -8 = z - 4*u. Let g = z - 0. Is g a multiple of 3?
False
Is 105/(-42)*222/(-5) a multiple of 31?
False
Suppose 4*z = -3*g, z + 0*g = 2*g. Let l = z - 0. Suppose l = -4*j - 8, 0 = 3*h + 3*j - 12 - 6. Is h a multiple of 8?
True
Suppose 5*l + 4 = -4*m, 3*l - 3 + 15 = 0. Suppose 8 = -o - m*y, -27 = -4*o + y - 8. Suppose o*i + 36 - 139 = -n, 0 = 5*n + 25. Is 9 a factor of i?
True
Suppose 0*l - 5*l = -4*o - 25, -25 = -4*o - 5*l. Suppose -5*u - 76 + 241 = o. Does 17 divide u?
False
Let m(l) = 3*l**3 - l. Suppose 5*n = 7*n - 6. Suppose 4*w = -n*b - 1 + 15, -b = -3*w + 4. Is 7 a factor of m(w)?
False
Let d(f) = -f**2 + 2*f + 35. Let s be d(0). Suppose 4*p - 4*r - 28 = 0, -8*p - 3*r + s = -3*p. Is 7 a factor of p?
True
Let h(i) be the third derivative of i**6/120 + i**5/60 - i**3/6 - i**2. Let n(f) = 5*f**2 + 8*f - 4. Let c(l) = -h(l) + n(l). Is 10 a factor of c(5)?
False
Suppose -3*t + 103 = -158. Is 17 a factor of t?
False
Let z be (-4)/(-16) - 1/4. Let f be (0 + -2)/(-1 - z). Suppose f = l + i - 0*i, -l - 4*i = 10. Is l a multiple of 4?
False
Suppose -3*t + 95 = -k, -8 = -4*k + 8. Is t a multiple of 8?
False
Let p be (8/6)/((-6)/(-9)). Suppose -5*t - p + 17 = 0. Suppose 4 - 1 = -3*c, 2*w + t*c = 23. Is w a multiple of 7?
False
Suppose 0 = -5*c + 2*g + 25, 4*c - g - 20 = -c. Let i be 0*c/9 - 0. Does 8 divide 16/1 - (0 + i)?
True
Let p(r) be the third derivative of -r**5/60 + 7*r**4/24 + r**3/6 + 5*r**2. Does 9 divide p(5)?
False
Let h = -8 - -11. Let w = -10 + 22. Suppose h*q = 5*q - w. Does 3 divide q?
True
Let g(u) = -u**3 + 7*u**2 - 5*u - 4. Is g(6) a multiple of 2?
True
Suppose 2*r + 3 = -5*z, -41 = -5*r - 2*z + 4. Let f = r + 3. Is f a multiple of 4?
False
Let l(a) be the third derivative of 0*a + 1/60*a**5 - a**2 + 0 + 1/6*a**4 + 1/2*a**3. Is l(-5) a multiple of 7?
False
Let c(d) = 5*d - 34 + 36 + 7*d. Is c(2) a multiple of 13?
True
Suppose -2*t + 0*t = -4. Let s = t - -1. Suppose 6*o - s*o = 42. Is o a multiple of 7?
True
Let y(r) = 21*r**2 + r. Suppose 0 = 4*n - n + 2*q - 9, -3*n = 3*q - 12. Does 11 divide y(n)?
True
Suppose -2*y - 208 = -c, 5*c + y = 2*c + 610. Is c a multiple of 43?
False
Is (-88)/(-10) - 4/(-20) a multiple of 2?
False
Suppose x + 9 = 2*q, -3*x + q = 28 - 1. Let y = x + 15. Is 6 a factor of y?
True
Let q(p) = 4*p**2 - 14*p + 27. Is 63 a factor of q(-10)?
True
Let h(f) = 2*f - 7. Let c be h(5). Suppose -2 = -l + t + c, 2*t = -2*l + 30. Suppose 5*z + 10 = -l, -g - 2*z + 25 = 0. Is g a multiple of 12?
False
Suppose 59 = 5*m - 2*b - b, -24 = -3*m - 2*b. Does 10 divide m?
True
Suppose 3*q - 2*q = -7. Does 26 divide (3 - 1)/(q/(-266))?
False
Suppose -2*o + 0*o - 16 = 0. Let p = 6 - o. Is p a multiple of 7?
True
Let d(g) = -102*g + 13. Does 16 divide d(-1)?
False
Suppose -z = 3*z + 24. Let h = 4 + z. Let j = 7 - h. Does 9 divide j?
True
Let h = -36 - -46. Does 5 divide h?
True
Let y be (1 + -22)/(15/10). Let z = 35 + y. Let u = z - 7. Does 4 divide u?
False
Let z be (-2)/(-3) + 2/6. Let u = 1 + z. Suppose 5*i - 6*o + u*o - 40 = 0, 5*o + 35 = 5*i. Is i a multiple of 8?
False
Does 7 divide 35/20*(22 + 2)?
True
Suppose -57 = -v + j - 5*j, -v + j + 82 = 0. Is 20 a factor of v?
False
Let y = 21 - 20. Is 0 + 73 - (-2 + y) a multiple of 29?
False
Let i(w) = 13*w + 3*w**2 - 8*w - 7*w - 2. Suppose -5*m = 15, 2*m = -2*t + m - 7. Is i(t) a multiple of 7?
True
Let a = -411 - -691. Does 28 divide a?
True
Let k = -21 + 58. Is 8 a factor of k?
False
Suppose 0 = 2*o + o - 144. Does 8 divide o?
True
Let y = 12 - 9. Suppose -4*b = -3*p + 29, y*p - 5 = 4*p - 5*b. Is 6 a factor of p?
False
Is (-5 + -7)*(-4 + 2) a multiple of 8?
True
Suppose 118 = -6*j + 178. Is 2 a factor of j?
True
Suppose 101 = 5*m - 229. Is m a multiple of 12?
False
Suppose 3*c = -3*m + 312, 3*c - 4*m = -2*c + 484. Is c a multiple of 20?
True
Let z be (1 - -22)/(4 - 3). Suppose -r + 0 - 1 = -2*j, -j - 4*r = -z. Suppose j*v - 5*v = -20. Is 6 a factor of v?
False
Let j = 5 + 1. Is 70/15 - (-2)/j a multiple of 2?
False
Let l(u) = 16*u + 17. Does 15 divide l(5)?
False
Let f(k) = -4*k**2 + 3*k - 6. Let r be f(4). Is r*(9/6 + -2) a multiple of 13?
False
Let n be 10/(-6)*(-2 - 1). Suppose 5*b + 210 = n*k, -2*k + 81 = -3*b + 2*b. Is 14 a factor of k?
False
Suppose -3*d = 4*c - 119, 0*c + c = 2. Let g = d - 23. Is 14 a factor of g?
True
Suppose -2*j + 61 = -35. Is 13 a factor of j?
False
Suppose 3*p - 3*f = 12, 3*p + 3*f - 2*f - 4 = 0. Suppose -5*q - 1 = -o - 2, p*o - 25 = q. Does 7 divide o?
True
Let b(q) = 5*q**3 - q**2 - q - 2. Let u(v) = -4*v**3 + 2*v**2 + 1. Let t(l) = 3*b(l) + 4*u(l). Is 5 a factor of t(3)?
False
Suppose -76 - 34 = -5*x. Does 6 divide x?
False
Let j be 1*-4 - 1/1. Let f be (-350)/(-3) + (-7)/(-21). Is f/5 - (-2)/j a multiple of 14?
False
Does 6 divide (-5)/((-60)/284) - (-2)/6?
True
Let y(d) = 10*d**3 - d + 1. Is y(1) a multiple of 10?
True
Let l = 164 - -36. Does 40 divide l?
True
Suppose 3*z - 2*w + w - 59 = 0, 5*w = 5. Does 13 divide 126/10 - z/(-50)?
True
Let w(k) = -8*k + 7*k - 2 - 5 + 0. Does 3 divide w(-13)?
True
Suppose -3*r = -8*r + 55. Suppose -4*d = -157 - r. Is d a multiple of 18?
False
Suppose 0*f + 5*f = 30. Let j(n) = -n**3 + 6*n**2 + 2*n - 9. Let h be j(f). Suppose 122 = h*b - 2*s, -3*b = -2*b - 4*s - 54. Is b a multiple of 17?
False
Suppose 12 = m + x, 2*m - 5*x = -0*m + 59. Is 2 a factor of m?
False
Suppose -7*o = -5*o - 18. Let c(x) = x + 2. Let s be c(-5). Is 3 a factor of (-4 - s)/((-3)/o)?
True
Let w be ((-7)/(-3) - 3)*-3. Suppose 0 = -2*l, 5*u - 270 = -l + w*l. Is u a multiple of 14?
False
Let s(c) = -c**3 - 5*c**2 - 5*c - 2. Let v be s(-4). Let p = 5 - v. Is 3 a factor of p?
True
Let p(g) = -g**3 + 6*g**2 + 4. Let a be p(6). Suppose -4*k - 69 = 2*m - 177, a*k = -m + 106. Is k a multiple of 13?
True
Suppose -7*v + 44 = -3*v. Does 2 divide v?
False
Let q be -6*5/((-45)/12). Suppose 0 = -h + 28 - q. Is 10 a factor of h?
True
Is 2 + -5 + 4 - -192 a multiple of 15?
False
Suppose 4 = -4*z, -z = g - 2*z - 81. Is 14 a factor of g?
False
Let p be (-2)/(-7) - (-12)/7. Let i = p - 6. Is (-162)/i - 2/4 a multiple of 14?
False
Suppose 5*i + u = -u + 1440, -2*u = 0. Does 18 divide i?
Tr