 be (-2156)/(-21)*(-6)/4. Let h be 1/(-4) + n/(-8). Suppose -l + 40 = 2*f, f = -l + 57 - h. Does 18 divide l?
True
Suppose -i - 27 = 4*i + 2*z, 5*z = i. Is 16 a factor of i/(-10) + (-174)/(-4)?
False
Let k(h) = h**3 + 11*h**2 + 11*h - 5. Is 39 a factor of k(-6)?
False
Suppose 0 = -0*h - 5*h + 30. Let t be 2/(-3) - (-16)/h. Suppose -4*j - 4*i = -116, -3*i = t*i + 5. Is j a multiple of 10?
True
Suppose 2*f = 4 - 0. Let v be (-6)/(-1 + 0) - f. Suppose -s - v = -18. Is s a multiple of 14?
True
Suppose 5*u - 283 = 2*j, -5*j + 176 = 4*u - 24. Is 22 a factor of u?
False
Suppose -4*v = -324 + 108. Is v a multiple of 17?
False
Suppose -4*n + 0*t + 2*t = 12, -14 = 3*n + t. Let z = 2 + n. Is 3 a factor of (z - 0)*-3*1?
True
Let c = 1 + 3. Let t be 23/(-3)*(c + -1). Let l = 0 - t. Does 15 divide l?
False
Let j be -20*(-2 + (-9)/(-6)). Does 8 divide (1 - 16)*(-6)/j?
False
Let y(w) = -w**2 - 13*w + 24. Is y(-14) a multiple of 10?
True
Let s(b) = b**3 + b**2 - b + 4. Let f be s(0). Suppose 0 = -0*k + 4*k. Suppose f*l - 114 - 2 = k. Is l a multiple of 10?
False
Suppose -7*j = -3*j. Suppose -2*z + j*z - 5*k = -513, 5*z - 4*k = 1200. Is 9 a factor of 4/14 - z/(-28)?
True
Let d(g) = 2*g**3 - 3*g**2 + g - 2. Let q be d(2). Suppose -93 = -4*o - q*w - 13, -2*w = -4*o + 80. Let a = o + 4. Is a a multiple of 12?
True
Let i = -25 + 49. Let w(d) = 3*d**2 + d - 4. Let m be w(3). Suppose 0 = 2*j - m - i. Is 15 a factor of j?
False
Suppose 100 = 3*z - 98. Is z a multiple of 21?
False
Let i(t) = -t**3 - t**2 - 3. Let s be i(-3). Suppose -3*r + 0*r = 3*n - s, 11 = 3*r + 4*n. Does 3 divide r?
True
Suppose -3*f = f + 5*d - 57, 0 = d - 1. Is ((-2)/(-6))/(f/1482) a multiple of 19?
True
Let b be (-880)/(-12) + (-2)/(-3). Let a = b + -52. Does 6 divide a?
False
Let o = 96 - 51. Is 16 a factor of o?
False
Let f(d) = 8*d**3 + 2*d**2 - 2*d + 3. Is 36 a factor of f(2)?
False
Suppose -k - 12 = -2*z + z, 0 = -4*k + z - 33. Let l = k + 1. Let o = 6 - l. Does 12 divide o?
True
Suppose 3*j + 4*h - 61 = 0, h + 4 = j - 21. Is 14 a factor of j?
False
Let f(b) = b**2 + 8*b + 10. Suppose 6*n = 2*n. Suppose n = 4*q + 20, -4*q = 2*x - 0*x + 36. Is 5 a factor of f(x)?
True
Suppose 4*z - 148 = -4*j, z - 38 + 5 = j. Does 35 divide z?
True
Let x(z) = 7*z + 127. Is x(0) a multiple of 42?
False
Let x = -136 + 196. Is 10 a factor of x?
True
Let u be (-78)/(-18) + 2/3. Suppose 9 = u*w - 11. Is 2 a factor of w?
True
Let i(z) = 4*z + 16. Does 10 divide i(11)?
True
Let o = -4 + 80. Is o a multiple of 17?
False
Suppose -2*n - 15 = n. Does 21 divide ((-21)/n)/((-3)/(-15))?
True
Let a = 53 + 13. Is a a multiple of 16?
False
Let z(u) be the third derivative of u**7/2520 + u**6/120 + u**5/20 + u**4/24 + 2*u**2. Let c(k) be the second derivative of z(k). Is c(-8) a multiple of 11?
True
Let k be (-5 - -4)/(1/(-2)). Suppose -k*y + 3*m = -61, -m - 9 = 3*y - 84. Is 13 a factor of y?
True
Suppose 5*b - 875 = 625. Does 15 divide b?
True
Is ((-2)/2)/((-8)/608) a multiple of 19?
True
Let p be 15/10*(-50)/(-3). Suppose 5*g - 2*g - 3 = 0, p = t + 4*g. Is 21 a factor of t?
True
Suppose -5*q + 14 = -6. Is q even?
True
Is 5/((-30)/(-9))*20 a multiple of 10?
True
Let g be 3/1 + -3 - -33. Suppose 2*p = 5*p - g. Does 11 divide p?
True
Let s(d) = 40*d. Suppose 3*x - 4*x + 11 = f, 3*x + 5*f - 35 = 0. Let b(g) = -g**2 + 10*g + 1. Let q be b(x). Does 11 divide s(q)?
False
Let x(d) = -5*d - 1. Let h be x(-1). Suppose -h*p + 15 = 3. Is 3 a factor of p?
True
Let m = 5 - 2. Does 8 divide 6/(-9) - (-65)/m?
False
Let w be 120/8*(-2)/(-6). Suppose -w*t = -10*t. Suppose t = 4*y - 17 - 3. Is 2 a factor of y?
False
Let c(v) = 7*v - 13. Let u(r) = -11*r + 20. Let h(s) = -8*c(s) - 5*u(s). Let y be h(6). Does 14 divide (y - 0)/((-4)/62)?
False
Does 30 divide (-1136)/(-5) + 1/5*-1?
False
Let q = 7 + -10. Let k = 6 + q. Suppose 0 = -k*f - 15, -3*y = -3*f + 11 - 44. Does 6 divide y?
True
Let v = 10 - 2. Let t = -5 + v. Let y(k) = 4*k + 2. Is y(t) a multiple of 7?
True
Is 18 a factor of (-18)/3 + 2 - -77?
False
Let s = 71 - 7. Does 17 divide s?
False
Let c(k) = -46*k - 2. Let r be c(-2). Suppose -3*i = 2*u - 60, 5*i = 3*u + i - r. Does 5 divide ((-2)/(-6))/(2/u)?
True
Suppose -2*b + 5 = -b. Suppose 5*g - 2*j - 101 = 0, b*g = 4*g + j + 19. Is 21 a factor of g?
True
Let a(c) = -4*c**3 + 12*c**2 - 6*c - 1. Let l(z) = -5*z**3 + 13*z**2 - 6*z - 1. Let f(y) = 4*a(y) - 3*l(y). Does 5 divide f(8)?
True
Let y(u) = u**2 + 9*u + 6. Let d = -34 + 22. Does 21 divide y(d)?
True
Let j = -6 - -8. Suppose 27 = j*x - x. Is x a multiple of 19?
False
Suppose w - 136 = -2*d - 0*d, -2*d = -3*w + 376. Is (1/2)/(4/w) a multiple of 6?
False
Let y(l) = 20*l**2 + l + 1. Is y(-1) a multiple of 5?
True
Suppose 13*i - 9*i - 184 = 0. Is 18 a factor of i?
False
Suppose -4*s - 105 = -9*s. Does 16 divide 42*(-4 - (-120)/s)?
False
Suppose 4*v - 5*v = -52. Is v a multiple of 13?
True
Let u be 5/(-1*4/(-56)). Suppose -3*b - z = 98, z + 2*z = 12. Let g = u + b. Is 12 a factor of g?
True
Suppose 3*w = -5*c + 1303 - 186, -2*c + 10 = 0. Is w a multiple of 58?
False
Let n(y) = 3*y - 4. Is n(4) a multiple of 4?
True
Let i = 75 - 39. Does 9 divide i?
True
Suppose -2*n + 458 = -2*t, -n + 0*t + 219 = t. Does 25 divide n?
False
Let a be 752/18 + (-2)/(-9). Let k = 6 + a. Let w = -12 + k. Is w a multiple of 13?
False
Let u(m) = 2*m**2 - 3*m + 3. Suppose 4*z - 5*y = -2, -5*z + 15 - 7 = -y. Suppose 0 = -z*n - 3*n + 15. Is 12 a factor of u(n)?
True
Let t(p) = -p**2 - 13*p + 3. Let w be t(-11). Suppose w = -4*l + 81. Is 4 a factor of l?
False
Let z(t) = -2*t + 40. Does 10 divide z(9)?
False
Is 20 a factor of 15/(-20)*-4 - -157?
True
Suppose 171*x + 588 = 173*x. Is x a multiple of 35?
False
Let w be 5/15 + 5/3. Is (w*17)/1 - -2 a multiple of 18?
True
Suppose -63 - 18 = -3*s. Let a = s + -9. Is a a multiple of 7?
False
Let l(b) be the second derivative of b**5/10 - b**4/3 + b**3/3 + b**2/2 + 4*b. Is l(3) a multiple of 6?
False
Suppose i = 4*i - 3*c - 15, -5*c - 25 = 4*i. Suppose -2*u + i = -2. Does 9 divide 36*(u + 1/(-2))?
True
Suppose 2*g - 4*g = -20. Let z be (5/g)/((-2)/(-24)). Let i(b) = b**3 - 5*b**2 - 2*b - 1. Does 15 divide i(z)?
False
Let f be 52 - (-2 + 0/3). Suppose 2*o = -o + f. Does 9 divide o?
True
Suppose -1 = -z - 0*z, -4*x = 2*z - 50. Suppose -3*m - 78 = -5*c, 2*c - 3*m + x = 3*c. Let g = c - 7. Is g a multiple of 3?
False
Let m(p) = p**2 - 2*p - 5. Is m(-5) a multiple of 30?
True
Is 10 a factor of (20/(-3))/(4/(-42))?
True
Suppose 3*d - 8 = -4*l + 4*d, -20 = -4*l - 2*d. Suppose -u = l*z - 40 + 8, -z = -u - 8. Is z a multiple of 10?
True
Let p be -3*(-1 - -2) - -6. Suppose -p*a - 176 = -4*a. Does 4 divide a/12 - 2/(-6)?
False
Let s(b) = b**3 - 5*b**2 - 3*b + 7. Let i be s(7). Suppose i - 3 = 5*c - 3*p, 2*c - 2*p = 34. Does 4 divide c?
False
Suppose 0 = 2*t + t - 150. Is t a multiple of 19?
False
Let s be ((-98)/4)/(1/(-2)). Let o = s - 15. Does 14 divide o?
False
Let n(s) = s**3 + 4*s**2 + 2. Let v be n(-4). Is 28 a factor of v*(1 + -2) - -86?
True
Let h be 1/7 + 318/(-21). Let f = -10 - h. Is 5 a factor of f?
True
Let o(i) = 2*i**3 - i**2 + 7*i - 8. Does 18 divide o(5)?
True
Let k(z) = 21*z**3 + z**2 - z. Does 15 divide k(1)?
False
Let u(n) = n**3 + 8*n**2 + 8*n + 9. Let h be u(-7). Suppose -h*j = -4*d + 148, 4*d - 80 - 60 = -2*j. Does 12 divide d?
True
Suppose 0*d + 2*d - x - 21 = 0, -x - 29 = -3*d. Does 6 divide d?
False
Does 16 divide 3 - 3/((-9)/231)?
True
Let t(q) = q + 2. Let m = -13 + 27. Let l = m + -6. Is t(l) a multiple of 10?
True
Let b(c) = -c**2 - 5*c - 1. Let x be b(-4). Let w = -5 + 7. Suppose 5*j = -20, -x*g - w*j - 47 + 153 = 0. Does 14 divide g?
False
Let o(r) = r**3 - 7*r**2 + r + 2. Let g be o(7). Suppose -5*v - 4*a - g = -233, -4*v - 4*a + 176 = 0. Is 24 a factor of v?
True
Suppose -5*h = 4*p - 88, 8*h - 3*h + 3*p = 91. Let l = -68 + 120. Let w = l - h. Does 16 divide w?
True
Suppose -5 + 27 = 5*u + n, -9 = 3*n. Let i be 80/(-25) - (-1)/u. Does 14 divide i - -2 - (-17 + 0)?
False
Let k be 4/(-12) + (-26)/(-6). Suppose t = -2*b + 5, 5*b = -t + k*t - 15. Suppose 41 = d - b*d. Does 19 divide d?
False
Suppose 0 = -0*c + 4*c - 40. Is c a multiple of 3?
False
Suppose -5*o = 3*v + 53, -v - 3*v + 3 = o. Let x = o - -21. Is x a multiple of 3?
False
Let n(r) = -r**2 +