erivative of b**5/20 + 5*b**4/12 - 4*b**3/3 - 9*b**2/2 + 4*b. Is i(-6) even?
False
Let p be (-3)/(-3) + (-28)/(-2). Let l = -11 + p. Suppose l*r + 0*t - 3*t - 84 = 0, -60 = -3*r + 3*t. Is r a multiple of 12?
True
Is 7 a factor of 0/2 + (2 - -5)/1?
True
Suppose -3*j = 5*u - 14, 0*j = 4*j - 2*u - 10. Is 2 a factor of j?
False
Let f(l) = -2*l - 4. Let k be f(-3). Suppose -4*g + 66 = k*b, -b = 2*g + g - 50. Is g a multiple of 8?
False
Suppose -4*o + o + 18 = 0. Suppose z = 4*z + o. Does 6 divide 1/(z/12*-1)?
True
Suppose -4*b - 8 = 0, 0*b - 4*b + 212 = 4*g. Is g a multiple of 18?
False
Let d(w) = -15*w**2 - 2*w - 2. Let o be d(-1). Let s = o - -27. Does 3 divide s?
True
Suppose 4*d - 113 + 9 = 0. Does 2 divide d?
True
Suppose 9*z - 600 = z. Is 11 a factor of z?
False
Suppose -5*a = z - 490, a - 3*a = -2*z - 184. Suppose -4*t - 2*o + 90 = o, -4*o - a = -5*t. Is 7 a factor of t?
True
Let g = 9 + -3. Let i = 11 + 9. Let s = i - g. Is 10 a factor of s?
False
Suppose -3*o - 138 = -2*r, -o + 70 = r - 4. Is r a multiple of 12?
True
Suppose -3*j = -6*j + 660. Is 9 a factor of j/12 - (-1)/(-3)?
True
Suppose 4*f + 4*b - 32 = 0, -f + 0*b = -2*b + 7. Suppose 0*w = -o - 2*w - 18, 0 = -3*o - 5*w - 52. Is 6 a factor of o/f*15/(-10)?
False
Let v be 1/(4/(-20))*-4. Suppose 5*r + v = 0, -4*h - h - 2*r = -162. Is 14 a factor of h?
False
Let p = -52 - -102. Does 13 divide p?
False
Let g(r) = -41*r + 2. Suppose -2*c + 11 = v - 5*c, 3*v - 5*c - 21 = 0. Let h be g(v). Let u = -40 - h. Does 20 divide u?
True
Suppose -n + 40 = 3*q - 107, -q + 4*n = -49. Is 10 a factor of q?
False
Suppose t + 6 = 4*t. Suppose -t*x + o = -10, x = o + 2*o + 5. Suppose x*f = 54 + 61. Is f a multiple of 7?
False
Suppose -5*b = b - 12. Does 2 divide b?
True
Let m be 6/3 - 3*-12. Suppose -3*s + 12 = 0, -4*s + m = o + s. Is o a multiple of 6?
True
Let o(p) = p - 1. Let s be o(-4). Let q = s - -5. Let v = 30 - q. Is 12 a factor of v?
False
Let t(n) = n**2 - 9*n - 1. Let o be t(16). Suppose -5*q + 3*r = -o - 29, -q - r + 20 = 0. Is q a multiple of 6?
False
Let q = 0 + 3. Does 9 divide 31 - 1 - (q + 0)?
True
Suppose -3*h = -2*h - 2. Let n be 2/1 - (2 - h). Suppose l = n*v + 2*l - 14, 4*l = -8. Is 4 a factor of v?
True
Let w(q) = -q + 5. Let k be w(0). Let i(u) = k - 3 + 2*u + 0*u. Does 6 divide i(5)?
True
Suppose -124 = -5*d + 3*k, -4*d + 2*k + 95 = k. Suppose i + 3*i - 3*a - 61 = 0, -a = 2*i - d. Does 13 divide i?
True
Let k = 212 - 104. Is k a multiple of 12?
True
Let y(i) = i**3 - 7*i**2 - 1. Let f be y(7). Let n(p) = -15*p. Let w be n(f). Let o = w + -4. Does 4 divide o?
False
Suppose -3*y + 30 = -4*y. Let u = y - -42. Is 12 a factor of u?
True
Let m(q) = q - 2. Let t be m(4). Is 6/t + (-1)/1 even?
True
Suppose -2*g + 257 = a, -615 = -5*g + a + 2*a. Is g a multiple of 15?
False
Let y be (-180)/(-22) + (-6)/33. Is (132/y)/((-1)/(-2)) a multiple of 11?
True
Let r = -49 + 105. Is 28 a factor of r?
True
Let r = -29 - -65. Does 18 divide r?
True
Suppose -3*d = -5*d - 182. Is 12 a factor of d/(-4) - (-8)/32?
False
Suppose -6*r + 3*r + 45 = 0. Does 9 divide (27/15)/(1/r)?
True
Suppose -50 = -y - 0*y + 2*x, 0 = -4*y - 3*x + 145. Suppose o + 3*l - 33 = 0, 4*o - 22 = 2*l + y. Is 7 a factor of o?
False
Let r = 10 - 8. Suppose 3*b = 6*b - 15. Let g = b + r. Is 5 a factor of g?
False
Let c(x) = x**3 + 6*x**2 + 2. Let n be c(-6). Suppose n*u - u = 30. Does 10 divide u?
True
Suppose 8*m - 4*m - 136 = 2*j, -m = 5*j - 12. Is 8 a factor of m?
True
Suppose 7*h + b - 445 = 2*h, 3*h - 285 = 3*b. Is h a multiple of 18?
True
Let l be -3 + 1 - (-1 - 1). Let h be (-4 - l)*1/(-2). Suppose -h*z = 0, 3*k - 2*z - z - 42 = 0. Is k a multiple of 9?
False
Let r(w) = w**2 - 1. Let m = -9 + 5. Let p = -6 - m. Is 3 a factor of r(p)?
True
Suppose 7*g - 2*g - 8 = 4*a, -5*g - 3*a - 6 = 0. Let q(j) = -j + 3. Let p be q(0). Suppose g = p*m + 2*y - 23, 5*m - 5*y + 5 = 2*m. Is m even?
False
Let t = 96 + -60. Is t a multiple of 8?
False
Let t(r) = -9*r - 3*r - r**2 + r - 5 - 1. Let s be t(-10). Let g(q) = q**3 - 4*q**2 + 3*q + 4. Is g(s) a multiple of 9?
False
Let n(k) = k + 7. Let g be (4 + -5)*1*-2. Suppose 2 = 2*c - 6, 8 = 5*r + g*c. Does 7 divide n(r)?
True
Suppose 2*n = -3*m + 22, -2*m + 3 = -n - 0*m. Suppose -2*k = -k - n. Is 3 a factor of k?
False
Let i(q) = q**2 + 3*q - 1. Let d be i(-4). Let t(k) = -3*k - 3*k**2 - 2 - 3*k**3 - d*k**2 + 1 + 4*k**3. Is t(7) a multiple of 9?
True
Suppose 0 = 2*w + 3*w - 245. Is w a multiple of 7?
True
Let d(x) = -41*x - 15. Does 20 divide d(-4)?
False
Suppose -312 = -5*o - 2*i, i + 43 + 204 = 4*o. Is o a multiple of 18?
False
Let f(c) = -c + 17. Let x be f(14). Suppose -d = x*d - 12. Is 18 - 2/6*d a multiple of 17?
True
Is (-172)/(-8)*2 + -4 a multiple of 8?
False
Suppose -2*j = 2*m + 4, 3*j + 2*j - 3*m - 22 = 0. Suppose 0*f + j*f = 28. Does 14 divide f?
True
Suppose o - m = -2*o + 20, -o + 16 = -5*m. Is 2 a factor of o?
True
Let t be (10/2)/((-7)/(-154)). Suppose 88 = 2*x - n, 6*n = -3*x + 2*n + t. Is 21 a factor of x?
True
Let c = 14 + -6. Is 2/(1/c - 0) a multiple of 16?
True
Let w(c) = -c + 48. Let m(d) = -d + 48. Let f(t) = -3*m(t) + 4*w(t). Is f(0) a multiple of 12?
True
Let z = -52 + 112. Is z a multiple of 12?
True
Let j(h) = -h - 5. Let m be j(-6). Is 11 a factor of -1 + m/(2/24)?
True
Suppose 2*v + y = 29, 19 = 3*v - 4*y + 3. Suppose j + 3*j = v. Is 13 a factor of (5 - j)*(-26)/(-4)?
True
Let c(f) = -29*f + 2. Is c(-2) a multiple of 10?
True
Let k(l) be the second derivative of -1/4*l**5 + 1/2*l**2 - l + 1/6*l**4 + 0 + 1/3*l**3. Is 3 a factor of k(-1)?
True
Suppose 71 = 3*a - k, 3*k = -4 - 11. Is 4 a factor of a?
False
Suppose -34*p + 29*p = -250. Does 5 divide p?
True
Let o(d) = 5*d**2 + 2*d + 3. Let r be o(-2). Suppose 0 = -5*x + 1 + r. Suppose -m + x*m = 48. Is 16 a factor of m?
True
Let y be ((-2)/(-3))/((-4)/(-282)). Suppose y = 5*o - 33. Is o a multiple of 16?
True
Let a(s) = s**3 + 6*s**2 - 7*s + 8. Is a(-6) a multiple of 10?
True
Suppose 0 = -5*o - 2*n + 12, -4 - 5 = -2*o - 5*n. Suppose -4*r = -2*m + 4, -r - 2*r = -4*m - 7. Does 7 divide ((-9)/o + 2)*m?
False
Is 9 - 6 - (0 - 11) a multiple of 3?
False
Suppose 0 = -5*g - x - 2 - 4, -3*g = 4*x - 10. Let q be -4 + (-5 - g) + 1. Does 7 divide q/9 - (-58)/6?
False
Let y(l) = -l**3 - 2*l**2 - 4*l + 1. Let f(v) = -3*v**3 - 5*v**2 - 11*v + 4. Let d(b) = 3*f(b) - 8*y(b). Does 4 divide d(0)?
True
Suppose 0 = -2*s + z + 62, 5*s - 5*z + 10 - 170 = 0. Does 7 divide s?
False
Let f = -11 + 19. Suppose 0*w = -2*w - f. Let a = 8 + w. Is a a multiple of 2?
True
Let d = -2 - -4. Let i = 6 - d. Suppose 0 = 2*l + s - 10, 4 = -4*s - i. Is 6 a factor of l?
True
Does 2 divide ((-245)/10)/(1/(-2))?
False
Let x(u) be the second derivative of 7/12*u**4 - 1/20*u**5 + 1/2*u**3 - 3*u - 1/2*u**2 + 0. Is x(6) a multiple of 20?
False
Suppose -k + 0 = -2. Let z be (-6 + 147/28)*16/(-6). Is 4 a factor of (k/5)/(z/50)?
False
Let n(r) = -43*r + 1. Let k(b) = b + 5. Let h be k(-6). Is 22 a factor of n(h)?
True
Suppose -4*g + 3*l + 37 = 0, -4*g + 51 = 4*l - 21. Is 4 a factor of g?
False
Suppose 275 = -o + 2*o. Is o a multiple of 15?
False
Let c(u) = -5*u**3 - 8*u**2 - 7*u + 4. Is c(-4) a multiple of 28?
True
Suppose 3*y - 5*r - 141 = -0*y, 94 = 2*y + r. Is y a multiple of 15?
False
Suppose 5*c + 19 - 304 = -5*q, c = q - 63. Does 20 divide q?
True
Let n(r) = 6*r - 5. Suppose 2*q = 4*q + 12. Let i(k) = -k - 2. Let c be i(q). Is 9 a factor of n(c)?
False
Suppose 76 = h + 19. Suppose -b = 3 - h. Is b a multiple of 19?
False
Is -4*8*77/(-44) a multiple of 14?
True
Let b be 4 + (-2 - 0/(-1)). Let a be b + (1 - (0 - 3)). Is 9 a factor of 568/22 + a/33?
False
Let m(s) = -s + 7. Let n be m(7). Suppose -2*u + 18 = -n*u. Is 9 a factor of u?
True
Let k(x) = x**3 - 7*x**2 + 14*x - 8. Is 22 a factor of k(6)?
False
Let l(d) = d + 42. Let w be l(0). Suppose v = 6*v + q + 80, 4*q = 0. Let r = w + v. Is 13 a factor of r?
True
Suppose -8 + 28 = 5*o. Suppose 0 = -o*n - a + 164, n - 41 = -0*n - 5*a. Suppose 0 = 2*i - n - 9. Is i a multiple of 10?
False
Let u = -1 - -3. Suppose 0 = -u*y + 14 + 8. Let l = -7 + y. Is l a multiple of 4?
True
Let d(z) = -z**2 - z + 11. Suppose 1 = 3*y - 2*p + 5, 2*y + 3*p - 6 = 0. Is 11 a factor of d(y)?
True
Let l be (-4 - -2) + 23 + 9. Does 15 divide (-1