 8?
False
Let d(l) = -l**2 - 5*l + 6. Let j be d(-6). Suppose j*z = -z + 14. Is 9 a factor of z?
False
Does 30 divide (-10)/(-35) + 2682/21?
False
Is 1/(-3) - (-151)/3 a multiple of 10?
True
Suppose -13*l = -17*l + 12. Suppose -l*a + 8*a - 35 = 0. Does 7 divide a?
True
Let j(u) = u + 10. Let q(n) = n + 9. Let f(p) = -4*j(p) + 5*q(p). Let z be f(-5). Suppose -3*d + 5*d - 52 = z. Does 13 divide d?
True
Suppose 3*p = -26 - 1. Let c(t) = -2*t + 9. Is c(p) a multiple of 27?
True
Suppose -f - 3 = 17. Let z = f + 46. Is 13 a factor of z?
True
Let v(f) = f**3 + 12*f**2 - 5*f - 28. Is 5 a factor of v(-12)?
False
Suppose 3*s + 5*c = 175, 0 = 2*s + 3*s - 5*c - 345. Does 5 divide s?
True
Let b = -72 - -112. Does 13 divide 18/4*b/6?
False
Let k be (0 - -4)*(5 - 4). Suppose -3*b = -5*b + 3*o - 66, 154 = -k*b - 5*o. Is (-5)/10*(b + 0) a multiple of 9?
True
Suppose -370 = -0*k - 4*k - 5*i, 0 = 2*i - 4. Is 16 a factor of k?
False
Let j be (-5 - 2)/((-2)/22). Does 10 divide -1 - -3 - j/(-7)?
False
Let w(f) = -f**3 + 6*f**2 + 2*f - 8. Let m be w(6). Suppose 33 = p + m*k - 15, 3*p - 5*k = 110. Does 8 divide p?
True
Let m(l) = 6*l**3 - 2*l**2 - 2. Is m(2) a multiple of 19?
True
Does 47 divide (10/10)/(1 - (-221)/(-222))?
False
Let c(g) be the third derivative of -g**4/12 + g**3/6 + g**2. Let h be c(-1). Suppose 204 = u + h*u. Is 21 a factor of u?
False
Suppose -5*l + 18 = 8. Does 7 divide l + 1 - 2*-9?
True
Let m = 163 + -75. Is 11 a factor of m?
True
Let x = 2 - -17. Is 6 a factor of x?
False
Let a(n) = 2*n - 8. Let o be a(6). Suppose p + 3*d = -3*p + 156, -d = -o*p + 140. Is p a multiple of 18?
True
Let t = -4 - 1. Let n(m) = -m**3 - 4*m**2 + 3*m - 5. Is n(t) a multiple of 5?
True
Suppose -3*c + 6*c - 4*b - 14 = 0, -4*b - 6 = c. Suppose -3*v = f - c*v - 6, 28 = 4*f + 2*v. Is 2 a factor of f?
True
Suppose -3*z = 4*k + 5, -k = -4*z + k + 8. Let j(q) = 21*q**3. Is j(z) a multiple of 9?
False
Suppose 4*z + 12 = 3*o, -4*o - 2*z + 11 = -5. Suppose -k - o*k + 135 = 0. Is 5 a factor of k?
False
Let q = 21 + 2. Suppose 5*g = -c - 34, 5 + 2 = 2*c - 5*g. Let p = c + q. Is p a multiple of 7?
True
Let o be -3 + 2 + (-2 - 2). Let k be 1*1/(-1)*o. Suppose 3*t - 5*r - 199 + 61 = 0, 0 = k*t - 3*r - 214. Is 14 a factor of t?
False
Let k be (-2)/5 + 28/(-5). Let r = -54 + 27. Let s = k - r. Does 8 divide s?
False
Suppose -s + 2*i = 3*s - 234, 2*s - 5*i - 129 = 0. Suppose -s + 7 = -2*f. Does 5 divide f?
True
Suppose 5*r - 1 = 19. Suppose r*i + 3 = -1. Let q = 6 + i. Is q a multiple of 5?
True
Let b = 5 - 8. Let n(s) = s**3 + 2*s**2 + 2*s + 1. Let a be n(b). Let v = a + 24. Is 5 a factor of v?
True
Let g(n) be the first derivative of -n**2/2 + 1. Does 6 divide g(-7)?
False
Suppose -147 - 21 = -5*z - 3*g, 156 = 4*z - 3*g. Is 12 a factor of z?
True
Suppose -124 = -0*f - 4*f - h, 20 = -5*h. Does 17 divide f?
False
Let h = -35 + 106. Does 3 divide h?
False
Let h(t) = -t**2 - 15*t - 18. Is 6 a factor of h(-12)?
True
Let v(k) = -k + 8. Suppose -5*z - 22 = 18. Is 8 a factor of v(z)?
True
Suppose -4*x - 4 = 0, -3*x + 5 = 4*u - 8. Let h = u + 0. Suppose h*g - 24 = -4*t, -2*t = 5*g - 10 + 1. Is 5 a factor of t?
False
Suppose -2 = 5*g - 12. Is (-3 - g)*(-2)/2 a multiple of 4?
False
Suppose 3 = h - 0. Suppose -2 = -2*k + 4*k + 2*y, -12 = h*y. Suppose 3*r - 39 = t, -2*t - 2*t - 39 = -k*r. Is r a multiple of 8?
False
Let j(r) = -6*r**3 + r**2 - r + 1. Let p be j(1). Let k(l) be the second derivative of l**4/12 + l**3/6 + 3*l**2/2 - 2*l. Is 12 a factor of k(p)?
False
Let r be 0/(1 + (-3 - -3)). Suppose 112 = 5*n + 2*x - r*x, 0 = 3*n + 2*x - 64. Is n a multiple of 12?
True
Let y(u) = 6*u - 4. Is 2 a factor of y(3)?
True
Let f = -5 + 8. Suppose -4*u - b + 19 = 84, -f*b - 30 = u. Let a = -5 - u. Is 10 a factor of a?
True
Let a(q) be the third derivative of -q**6/120 + q**5/12 - q**4/8 + 10*q**2. Is a(3) even?
False
Let r be (0 - -18)*(2 + -3). Let j = 30 + r. Is j a multiple of 6?
True
Suppose 2*r + 3*r + 4*u - 67 = 0, -4*u = -4*r + 68. Is 7 a factor of 1/((4/r)/4)?
False
Let y(w) be the second derivative of -1/3*w**4 + w - 1/20*w**5 - 5/2*w**2 + 5/6*w**3 + 0. Is 16 a factor of y(-6)?
False
Let l(d) = 2*d + 1. Let h be l(-1). Let a be (1 - h) + 2 + 48. Suppose w = -n - 0*n + a, 164 = 3*w + n. Is w a multiple of 23?
False
Let j = -6 + 8. Suppose -2*c + 3*t + 2 = 2*t, j*t = -5*c + 14. Suppose -c*i = -i - 14. Is 6 a factor of i?
False
Suppose 169 + 155 = 4*n. Is n a multiple of 33?
False
Let i(v) = 4*v - 17. Is 11 a factor of i(7)?
True
Does 18 divide (-314)/6*(3 + -21)/6?
False
Let c(z) = z**3 - 8*z**2 + 8*z + 3. Let h be c(7). Suppose 5*f + 0 = h. Suppose 0 = -f*m - 3*m + 35. Is 7 a factor of m?
True
Let w(v) = v**3 + 12*v**2 - 3*v - 4. Is 25 a factor of w(-11)?
True
Suppose -4*p - 2*x = -138, 5*x + 57 = 4*p - 46. Suppose -142 + p = -5*b. Let n = 6 + b. Is n a multiple of 14?
True
Let k be (9/6)/3*4. Suppose 7 = -k*z + 3*z. Is z a multiple of 3?
False
Suppose 4*c = -c + 4*k + 200, -5*c - k + 225 = 0. Is 11 a factor of c?
True
Suppose -3*f + 4 = -d, 5*f + 0*f - 20 = 0. Let b be (1 + -7)/3 - -7. Let r = d - b. Is 3 a factor of r?
True
Let l be -2 + 1 - (-2 + 11). Let w = l - -4. Let f(a) = -a**3 - 5*a**2 + 4*a - 5. Does 3 divide f(w)?
False
Suppose -4*g + 7 = 3*f, 0 = -0*f + f - 3*g - 11. Suppose f*l = 5*u + 125, -l - 146 = 5*u + l. Does 3 divide (-61)/(-7) - 8/u?
True
Let k(r) = -r**2 - 8*r - 14. Let i be k(-6). Is 23 a factor of (i - -62)/((-3)/(-2))?
False
Let f be ((-1)/((-4)/56))/2. Does 3 divide (f + -6)/((-2)/(-14))?
False
Is 6 a factor of ((-117)/15 + 3)*-5?
True
Suppose -5*f - 3*k + 127 = 0, 3*f + 2*k = 28 + 48. Is f a multiple of 3?
False
Suppose -3*p + 45 = -27. Is 3 a factor of p?
True
Let j(b) = 6*b + 3. Does 7 divide j(10)?
True
Let z(m) = -11*m + 11. Is 22 a factor of z(-6)?
False
Let a = 175 + -91. Suppose -2*o = o - a. Does 14 divide o?
True
Let s(g) = -2*g**2 - g + 42. Does 14 divide s(0)?
True
Suppose 7 + 0 = r - 3*q, 3*r - 41 = 4*q. Suppose -4*v - w = -r, v - 4*w + 8 = -0. Is v a multiple of 2?
True
Suppose 3*v - 4*t - 20 = 0, 0 = -4*v - 9*t + 4*t - 25. Is ((-10)/(v + 1))/(-2) even?
False
Suppose 0*x + 18 = x - 5*t, -3*x + 54 = -5*t. Is x a multiple of 6?
True
Suppose s = 3*s + v - 149, -s + 4*v = -61. Is s a multiple of 14?
False
Let y = 9 - 5. Suppose 3*k + 3*i - 96 = 0, -5*i - 104 = -y*k + k. Does 11 divide k?
True
Let g = -33 + 29. Let t be (-1)/2 + 21/(-2). Is g/(-8) + t/(-2) a multiple of 6?
True
Let m = 119 - 83. Is 6 a factor of m?
True
Let x(g) = 32*g**2 - 3*g + 8. Let d(p) = 11*p**2 - p + 3. Let s(f) = -8*d(f) + 3*x(f). Let y be s(-1). Is 3 a factor of -1*((1 - y) + 3)?
False
Suppose 4*x + 5 = -x. Suppose 0 = -2*v + v + 1. Is 9 a factor of v + x - 9/(-1)?
True
Let d be (-4)/(-6) - (-8)/6. Suppose 0 = -4*u - d*m - 6, u - 6 - 6 = 4*m. Suppose u = -x - 3*x + 96. Is x a multiple of 12?
True
Suppose 0 = -p - 5, -4*v - 3 = 5*p + 22. Suppose v*g - 2*g = -34. Is g a multiple of 17?
True
Let h be -1 + 22/(-4)*-2. Suppose -2 = -3*k + h. Let p = 12 + k. Is p a multiple of 8?
True
Let u(a) = -a**2 - a + 1. Let l(r) = 7*r**2 + 20*r + 2. Let x(c) = -l(c) - 6*u(c). Is x(-11) a multiple of 5?
True
Let b(r) = -3*r**3 - 3*r**2 - 2*r - 6. Let l(w) = -7*w**3 - 7*w**2 - 4*w - 12. Let c(j) = -5*b(j) + 2*l(j). Is c(0) a multiple of 5?
False
Let n = 136 - 15. Does 12 divide n?
False
Let v be (152/(-2))/(3/(-3)). Suppose v = 5*r - 94. Does 16 divide r?
False
Let b = -31 + 74. Is 13 a factor of b?
False
Suppose 0*j - 3*j - 25 = -s, -j + 5*s = -1. Let z = j + 34. Is 11 a factor of z?
False
Suppose 3*a = -66 - 84. Let v = 83 + a. Does 11 divide v?
True
Suppose y + 243 = 2*y. Is y a multiple of 31?
False
Let h(v) = v**2 - 2*v + 5. Let l(y) = y**2 + 6*y - 11. Let i be l(-8). Suppose 3*s - i = 2*s. Is h(s) a multiple of 8?
False
Suppose -5*k + 171 = 3*i + 34, 0 = 3*i + 4*k - 136. Is i a multiple of 22?
True
Let g(s) = -s**2 + 3*s + 1. Let z be g(3). Let j be (1 + 3)/(z*2). Suppose j*n + 14 = -b + 5*b, 3*n + 3 = 3*b. Does 3 divide b?
True
Suppose n = -2*o - n + 174, 2*n - 444 = -5*o. Is 10 a factor of o?
True
Does 13 divide 0 - -1 - (-159 + 3)*1?
False
Suppose -2*d + 121 = 9*d. Does 7 divide d?
False
Let d(u) = 80*u**2 + 1. Does 38 divide d(1)?
False
Let b(a) = -2*a**3 - 4*a**2 - a - 4. Let l be b(-3