uppose 3*n - 7 = -5*d + 9, 0 = 5*n - d - 8. Let w be 28 - (-2 - -1*n). Suppose -5*v + 89 = 4*l, 0 = -4*l - 4*v + 56 + w. Is l a multiple of 8?
True
Let j(u) = 5*u**2 + 4*u - 5. Is 46 a factor of j(4)?
False
Let h(z) = -z + 7. Let x be h(3). Suppose -x*o = -o - 129. Does 30 divide o?
False
Let b(o) = o**2 - 3 - 18*o + 9*o + 6*o. Let k = 4 + -7. Does 13 divide b(k)?
False
Let c(k) be the third derivative of 13*k**5/60 + k**4/12 - 4*k**2. Does 24 divide c(-2)?
True
Let m(z) = -4*z - 12. Let j(w) = -9*w - 25. Let a(g) = 6*j(g) - 13*m(g). Let i be a(-7). Suppose -s - s = -u - 8, -5*s = -3*u - i. Does 2 divide s?
True
Let i = 65 - 22. Does 21 divide i?
False
Let v = -9 + 4. Is (-1 - v) + 0 + 2 a multiple of 3?
True
Suppose 0*c = 4*c - 124. Suppose 3*n - 17 = c. Is n a multiple of 16?
True
Suppose 0 = 5*w - 4*w + 5*m + 8, w + 4 = -3*m. Suppose 3 + 13 = w*g. Is 8 a factor of g?
True
Let w(p) be the second derivative of -p**5/20 - p**4/2 - p**3/6 + p**2/2 - p. Does 7 divide w(-6)?
True
Suppose 0*v = -3*v - 12. Does 21 divide 196/v*(-1 - 0)?
False
Suppose -3*j = -2*j - 3*g - 22, -5*g = 4*j - 20. Is 5 a factor of (-4)/j - (-134)/10?
False
Let g(b) = b**2 - 8*b - 2. Let v be g(9). Let r(f) = f**2 - 5*f + 7. Does 6 divide r(v)?
False
Suppose -o = 4*o + 55. Let k = o + 16. Suppose g + 136 = k*g. Is g a multiple of 14?
False
Let r = -127 - -284. Is 17 a factor of r?
False
Suppose -4*l = -4*j + 48, 0 = -4*j - l - 4 + 42. Suppose i - 4 - j = 0. Suppose -2 = -x - a, 0 = -x + 2*a + 3*a + i. Does 3 divide x?
False
Suppose 2*y = -2*y + 176. Is 22 a factor of y?
True
Suppose -3 = -4*p - 19. Let x = 7 - p. Is x a multiple of 11?
True
Let f = -114 + 77. Let x = -11 - f. Suppose 46 = 4*g - x. Does 9 divide g?
True
Let z(y) = -y**3 - 5*y**2. Let c be z(-4). Let h = 48 - c. Is 17 a factor of h?
False
Let y be 10/2*4/5. Let n = y + 0. Suppose -4*b - 10 = -3*w, -2*w - n*b + 1 = -39. Is 8 a factor of w?
False
Let p(z) be the third derivative of z**4/4 - z**3/3 + 2*z**2. Is 6 a factor of p(2)?
False
Let n = 50 - -123. Does 28 divide n?
False
Let w(m) = -2*m + 6. Let q(o) = -o - 3. Let l(b) = 5*b + 16. Let k(s) = 2*l(s) + 11*q(s). Let x(j) = -k(j) + w(j). Is 2 a factor of x(5)?
True
Let u(s) = -5*s + 3. Suppose -4*g + 28 + 12 = 0. Suppose 3*r - r + g = 0. Is u(r) a multiple of 10?
False
Let k(a) = -a**3 + 9*a**2 - 9*a + 11. Let i be k(8). Does 3 divide i + (-2 - 1) - -3?
True
Let y(w) = w - 1. Let f be y(4). Is (23 - 2/1) + f a multiple of 6?
True
Does 23 divide (-1)/(3 - 1)*-204?
False
Let v(f) = 76*f**3 + f**2 - f - 1. Let l be v(-1). Is 6/9*l/(-2) a multiple of 25?
True
Let f(v) = -v**3 + 8*v**2 - 3*v - 7. Suppose 0 = -6*k + 42. Is f(k) a multiple of 16?
False
Suppose -8 = -6*d + 2*d. Let f be -1 + d*(-6)/(-4). Suppose 5*h - f*h = -5*i + 16, i + 15 = 2*h. Does 7 divide h?
True
Let b(m) = -m**2 - 17*m - 15. Suppose -18 - 10 = 2*f. Does 9 divide b(f)?
True
Let b(y) = y. Let g be b(-1). Let k = -2 + g. Let u(t) = -7*t + 1. Is 11 a factor of u(k)?
True
Suppose -4*r + 3*r + 19 = 2*t, t - 14 = r. Is t a multiple of 9?
False
Suppose 0 = -12*p + 30*p - 5814. Does 19 divide p?
True
Suppose -7 = -3*w + 8. Suppose w*j - 3 = 7. Suppose -4*x - d = -87, -2*d - j*d = 2*x - 54. Is 7 a factor of x?
True
Suppose -4*l = l + 30. Let o be (-88)/(-6) - (-4)/l. Is 5 a factor of (12/o)/((-1)/(-14))?
False
Does 50 divide (-450)/(-4)*16/12?
True
Let w(r) = 14*r**2 - 1 + 12*r**2 + 1. Is 16 a factor of w(-1)?
False
Let j(y) = -y + 8. Suppose -46 + 16 = -5*n. Let x be j(n). Suppose 0 = -4*s + x*s + 80. Does 11 divide s?
False
Let p be (4/(-6))/((-1)/3). Suppose -p*y + y = l - 56, 0 = -5*y + l + 292. Is 15 a factor of y?
False
Let s be 5/((-10)/(-8)) + 1. Suppose -t + 3*u + 22 - 6 = 0, 0 = -2*t - 3*u + 23. Let x = t - s. Is x a multiple of 8?
True
Let y(p) = -p**3 - 21*p**2 + 14*p - 39. Is y(-22) a multiple of 10?
False
Suppose -5*f = -f + 8. Is 60 - (2 - 0/f) a multiple of 22?
False
Suppose 0 = -3*u + 34 + 56. Does 30 divide u?
True
Let f = 37 + 11. Suppose -4*d - 2*i = -45 + 5, -5*d + f = 3*i. Does 6 divide d?
True
Suppose 0*f - f + 55 = -5*b, 5*f + 2*b = 140. Is f a multiple of 9?
False
Let i(f) = 4*f + 11. Is 31 a factor of i(10)?
False
Suppose g + 4*g = 0. Let y = g - 17. Let t = -12 - y. Is 4 a factor of t?
False
Let l(f) = -f**3 + f**2 + f + 3. Let m(o) = -o. Let b be m(0). Let j be l(b). Let d(a) = a**2 - 3*a + 4. Is d(j) even?
True
Does 14 divide (-2 + 1)*(-196)/8*2?
False
Suppose 0*w + 5*w - 400 = 0. Let b be ((-204)/8)/((-6)/(-8)). Let l = b + w. Is l a multiple of 26?
False
Is (3 + -2 + -3)*-10 a multiple of 10?
True
Is -71*(9/3 + -4) a multiple of 14?
False
Let k(f) = 10*f**2. Let s = 40 - 29. Let g(x) = -x + 13. Let b be g(s). Is k(b) a multiple of 20?
True
Suppose 2*i + 59 = 5*d, -2*i + 5*i = -4*d - 54. Is 8 a factor of (-9 - -6) + i/(-2)?
True
Suppose 0 = 8*u - 4*u - 128. Does 30 divide u?
False
Suppose 0 = 4*v - 3*v - 3*l + 13, v + 3*l = 17. Suppose v = -4*q + 38. Is q a multiple of 9?
True
Suppose 0 = 2*k + 4, -j + 5*k = 3*k - 77. Does 11 divide j?
False
Let y = -7 + 30. Suppose 5*d + 8 - y = 0. Suppose -2*f = -10, -3*t + d*f = -0 - 78. Is t a multiple of 8?
False
Does 18 divide (8/(-10))/(((-28)/(-180))/(-7))?
True
Suppose 4 = -5*o + 9. Does 11 divide (o - (-19)/3)*3?
True
Let s(y) be the first derivative of -y**6/360 + 7*y**5/120 + y**4/24 - 2*y**3/3 - 1. Let r(n) be the third derivative of s(n). Is r(6) even?
False
Let j be 1 - (2 - 3)*-1. Suppose j = -4*m - 4*f - 4, 0*m + 19 = m - 3*f. Is (-100)/15*(-6)/m a multiple of 5?
True
Is 25 a factor of (14 + -8)*(190/6 + 0)?
False
Is 4/(-8)*(-208 + 2) a multiple of 20?
False
Suppose 25 = 3*d + 2*d. Suppose p - 28 = -2*k, d*p - 3*k - 85 = -2*k. Is p a multiple of 18?
True
Let w(p) = p + 1. Let m be w(3). Suppose -2*k + 52 = 2*i, -m*i - 72 = -3*k - k. Is k a multiple of 8?
False
Let k(j) = j**3 + j**2 + j - 25. Let m be k(0). Suppose -46 = 6*c - 292. Let a = m + c. Is 8 a factor of a?
True
Does 9 divide 103*1 + (-8 - (1 + -6))?
False
Let g(q) = q**3 - 11*q**2 - 12*q + 11. Suppose 0 = 2*f + 3*m - 15, -3*f + 64 = -3*m + 19. Is 11 a factor of g(f)?
True
Suppose -36 = 5*z - z. Is (-12)/(-18)*z/(-2) even?
False
Suppose k - 4*u = 3*k - 10, -2*k + u + 20 = 0. Suppose 2*s = 5*q - 58, q - 3*s - k = -0*q. Does 12 divide q?
True
Let a(q) = -q**3 - 11*q**2 - 5*q + 11. Does 11 divide a(-11)?
True
Let z(c) = 2*c**2 - 1 + c - 3*c + 2*c. Is z(-4) a multiple of 9?
False
Let z(a) = -a - 1. Let u be z(-2). Let d be 16*(-2)/(-4)*u. Does 3 divide -2 - d/(-4 - -3)?
True
Suppose 4*t + 0 = 36. Is 8 a factor of t - ((-3)/(-1) - 3)?
False
Let s be 2 + ((-1)/(-1) - 3). Suppose s*q - 5*b = 5*q, 0 = -4*q + 3*b. Is 16 a factor of (-1 - q - -18) + -1?
True
Suppose -8*t = -0*t - 328. Is t a multiple of 6?
False
Let k = -29 - -84. Suppose -3*b = -4*q - k - 13, -b - 3*q + 40 = 0. Is 14 a factor of b?
True
Suppose 2*u - 14 = 4. Suppose -n + 2*y = -2*y + u, 2*n + 2*y = 22. Is 7 a factor of n?
True
Let y = -67 - -165. Is 34 a factor of y?
False
Let s(m) = m**3 - m**2 + 4*m + 2. Is 21 a factor of s(4)?
False
Let g(l) be the second derivative of l**4/12 + 2*l**3/3 - 3*l**2/2 + l. Does 9 divide g(3)?
True
Let a be (3/9)/(1/6). Suppose -4*u - 306 = -5*l, -a*u = -2*l + u + 121. Is 17 a factor of l?
False
Suppose -l + 20 = 4*l. Suppose -3*q = 2*n - 42, 7*n - 97 = l*n + 4*q. Does 11 divide n?
False
Let l = 18 + -9. Suppose 5*g + 112 = l*g. Is g a multiple of 14?
True
Suppose 0 = -l - 3*y + 15 + 1, 3*l - 8 = -y. Let z be l - (-10 + 2) - -1. Let s = 20 - z. Is s a multiple of 10?
True
Suppose -2*v + 5*u = -53, 76 + 0 = 4*v - 4*u. Is 7 a factor of v?
True
Let q = 225 - 152. Is 16 a factor of q?
False
Let b = -10 - -9. Let v = b - -11. Is v a multiple of 5?
True
Let i(a) = -5*a**2 + 3*a**2 - 2 + a**2 + 2*a. Let b be i(4). Does 2 divide b/4*4/(-5)?
True
Let s(u) = u**2 + 5*u + 4. Let k be s(-5). Suppose 0 = k*f - 2*z - 11 - 5, -2*f - 3*z = -8. Is 46*(6/f - 1) a multiple of 11?
False
Suppose 2*u + 4*x - 17 = 3*u, 7 = 5*u + 3*x. Let f = 3 + u. Suppose 5*i + 2*c - 171 = 0, -2*i - f*c + 10 + 56 = 0. Does 14 divide i?
False
Let s be (2/(-5))/(10/(-50)). Suppose -4*i = -s*z + 68, -3*z + 82 = 3*i + i. Is 30 a factor of z?
True
Suppose -3*g + z + 12 = -3*z, -g + 3*z + 4 = 0. Suppose -g + 0 