ue
Let z = -27 - -99. Is 6 a factor of (-1)/(2 + (-147)/z)?
True
Does 22 divide -5 - -7 - (-911 - -5)?
False
Let l = 5027 + -2375. Does 39 divide l?
True
Suppose -4*b - 5*k + 1971 = 0, -5*b - 4*k + 2*k + 2468 = 0. Is 60 a factor of b?
False
Suppose -109*k + 2912 = -105*k. Does 8 divide k?
True
Suppose 0 = -4*t + 5*a + 84, -19 + 83 = 5*t + 4*a. Suppose -t*o = -793 - 167. Is 15 a factor of o?
True
Suppose -3*n + l + 5 = 0, 0*n + l = 5*n - 5. Let x be n/(2*2/(-4)). Let o(h) = h**2 + 2*h + 20. Is 10 a factor of o(x)?
True
Suppose 2*o - 5*d = -14, -5*d = -2*o + 6*o - 32. Suppose -h - o = 9. Is -26*(h/3)/4 a multiple of 13?
True
Let f(o) = -8*o**3 + 71*o**2 + 52*o - 7. Let c(m) = -3*m**3 + 24*m**2 + 17*m - 2. Let v(l) = 11*c(l) - 4*f(l). Is v(-19) a multiple of 8?
False
Let m(y) = -y**3 + 12*y**2 - 22*y + 30. Is 2 a factor of m(9)?
False
Is (-1344)/(-15) + 26/65 + -2 a multiple of 9?
False
Suppose -12*k + 4*w = -7*k - 708, 147 = k + w. Is 16 a factor of k?
True
Suppose -87*h = -40*h - 27072. Is h a multiple of 24?
True
Let g(p) = -p + 6. Let n be g(3). Suppose -3*i + n*s + 414 = 0, s - 6 = 4*s. Is i a multiple of 17?
True
Suppose 5*c - 7*c + 3*s = -1917, 3*c = 4*s + 2875. Does 33 divide c?
True
Let o(a) = -a**3 + 4*a**2 - 2*a - 1. Let b be o(3). Suppose 24 = n + b*n. Suppose -n*f = -6*f - 110. Is 11 a factor of f?
True
Let c(g) = -g - 1. Let z be c(-5). Let s(x) = 17*x - 9. Let k be s(z). Let m = k + -37. Is m a multiple of 11?
True
Let u(p) = -p**2 - p - 12. Let s be u(-12). Is 16 a factor of s/45*-5*3?
True
Is (-4 + 18 - 8) + 1*42 a multiple of 12?
True
Suppose 4*l = -l - 2*z + 1682, 3*z = -3*l + 1011. Is 42 a factor of l?
True
Is (-1)/1 + 1083/3 a multiple of 18?
True
Let y = 163 + -1. Is 8 a factor of y?
False
Let k(h) = -h**2 + 9*h - 4. Let u be k(8). Is 16/1 + -1 + u/4 a multiple of 15?
False
Let f = 18 - 10. Let n(j) = -f*j + 1 + 8*j**2 + j**3 + 11*j + 1. Does 21 divide n(-4)?
False
Let f be (-2)/8 - (-2739)/12. Suppose -4*h - 20 = 0, 5*m + 5*h = 17 + f. Is m a multiple of 6?
True
Is 21 a factor of (-6 - (-750)/(-8))*-32?
True
Suppose 0 = 4*t - 3*l - 3 + 10, -4*t + 2*l - 10 = 0. Does 35 divide (87/t + 1)/((-21)/84)?
False
Is ((-1)/(-2))/((-13)/(-1040)) a multiple of 10?
True
Suppose -1196 = -2*o - z, -4*o + 2404 = -3*z + 2*z. Is 75 a factor of o?
True
Let x(n) = 16*n**2 - 5*n + 22. Is x(4) a multiple of 43?
True
Suppose -l - 10*j = -5*j - 910, -j = l - 898. Does 5 divide l?
True
Let i(k) = -19*k. Let x be i(1). Let t = x + 14. Let f(c) = c**3 + 6*c**2 - 2*c - 3. Does 16 divide f(t)?
True
Let c(b) = -8 - 5 + 30*b + 52*b - 22*b. Does 28 divide c(3)?
False
Let c(m) = -4*m + 113. Is 19 a factor of c(-24)?
True
Let i be (-3 + 24)*(-3)/9. Is 7 a factor of 10/(-35) + (-317)/i?
False
Suppose 191 - 20 = -z. Let t = z + 249. Suppose f + 2 = 3*f, -3*q = 3*f - t. Is 5 a factor of q?
True
Let c(q) = 3*q - 7. Suppose t - 4 = -x, 0 = t + t - x + 4. Let s = 5 - t. Is c(s) a multiple of 8?
True
Let d(u) = u**2 - 22*u - 21. Is 43 a factor of d(-15)?
False
Let t = 17 - 12. Does 3 divide 30/12*24/t?
True
Is ((-8)/3)/(154/(-95634)) a multiple of 24?
True
Let d(a) = 24*a - 3. Let c be d(-9). Does 13 divide c/(-3) + 3 - 2?
False
Let w = -12 + 27. Suppose y - w = 25. Does 11 divide y?
False
Suppose 4*h + 2*q = 2766, h - 873 = 5*q - 198. Is 31 a factor of h?
False
Let s(h) = 5*h**2 - 1. Let d(y) = -y + 7. Let f be d(6). Let a be s(f). Suppose -m = -5*p + 267, m + a*m = p - 39. Is 18 a factor of p?
True
Suppose -w - 4*w - 100 = 0. Is (-235)/(-7) + w/35 a multiple of 17?
False
Let w be ((-2)/(-4))/(21/1386). Suppose x = w + 3. Is x a multiple of 9?
True
Let k(j) = 22*j + 2. Is k(17) a multiple of 8?
True
Suppose 3*a - 17 + 2 = 0. Let o(v) = 2*v**3 - 3*v**2 - 11*v + 8. Is 27 a factor of o(a)?
False
Suppose -c + d = -d + 6, -5*c - d = -14. Suppose c*s - 59 + 5 = 0. Is 4/18 + 1803/s a multiple of 30?
False
Let d(q) = -3*q - 18. Let u = -29 - -18. Does 3 divide d(u)?
True
Does 6 divide (-14)/(-21)*170*3?
False
Let x(i) = 4*i**3 + i**2 - 4*i + 4. Let f be x(3). Suppose -f = -4*q - 5*y, 3*y - 161 + 62 = -4*q. Let w = q - 15. Is 2 a factor of w?
True
Let y(z) = -21*z - 145. Let o be y(-7). Suppose 4*f = -5*q + 15, 0 = 3*f + q + q - 13. Suppose -5*k + 6 = 4*w, -o*w - f = -k - 1. Does 2 divide k?
True
Suppose -s + 4*r + 13 = -144, 0 = -3*s - 2*r + 499. Suppose -545 + s = -5*w. Is w a multiple of 19?
True
Let d be 2/3 + (-28)/(-3). Suppose -3*q = -q - d. Suppose l - 4*y = -0*l + 40, -4*y = q*l - 248. Is l a multiple of 19?
False
Let b be ((-5)/(-15))/((-3)/((-36)/(-4))). Does 15 divide (b - 0)*5 - -185?
True
Suppose 3*q - q + 118 = -2*a, 0 = -2*q - a - 121. Let w = -52 - q. Is 2 a factor of w?
True
Let t = -11 - -19. Suppose -t*d + 910 = -42. Is d a multiple of 7?
True
Suppose -v - 4*l = v + 26, 110 = -5*v + 5*l. Let n(j) = j**2 + 17*j - 30. Does 8 divide n(v)?
True
Let z(b) = 13*b**2 + 28*b + 11. Let i(a) = 4*a**2 + 9*a + 4. Let s(c) = 14*i(c) - 4*z(c). Is s(-6) a multiple of 11?
False
Suppose -4*v = -7*v - 3*p, 2*p - 6 = -4*v. Suppose v*o - 131 = 1. Let c = -30 + o. Is c a multiple of 14?
True
Is (530 + -1)*3/(0 - -3) a multiple of 67?
False
Let p(y) = 12*y**2 - 3*y + 16. Let r be p(-7). Does 39 divide (-8)/32 + r/4?
True
Let j = 22 + 7. Let o(b) = -8 + 30*b + 25 - j*b. Is o(15) a multiple of 16?
True
Does 15 divide -5 - -9 - -3 - (-753 + -5)?
True
Let z be -1 + -3 + 458/1 + 3. Suppose -z = -5*a + 408. Does 12 divide a?
False
Suppose -2*i + 288 - 757 = -3*h, h + 2*i - 159 = 0. Is h a multiple of 10?
False
Let s(b) = 2*b**2 - 13*b - 13. Let r be s(7). Let i(u) = 2*u**2 + u - 4. Let v(m) = -m + 1. Let k(z) = i(z) - 2*v(z). Is 11 a factor of k(r)?
False
Suppose 0 = 4*u + 2*d - 4, -8 + 0 = 4*d. Suppose -5*t = 0, u*f + 3*t - 593 = -19. Suppose f + 1 = 4*r. Is 24 a factor of r?
True
Suppose 3*j - 10 = 5. Suppose -t = -3*f - 0*f - 11, j*t = -f + 55. Is 3 a factor of t?
False
Suppose 0 = -4*q + 5*z + 2954, 251 = -4*q - 5*z + 3225. Is 39 a factor of q?
True
Let o = 122 + -123. Is 129 - o - (16/4 - 7) a multiple of 42?
False
Let s(a) be the third derivative of 0*a - 2*a**2 + 1/12*a**5 + 0*a**4 - 1/6*a**3 + 0. Is s(-3) a multiple of 22?
True
Suppose 0 = 50*m - 45*m - 7700. Does 10 divide m?
True
Suppose 0 = -3*d + 6633 - 5943. Is 5 a factor of d?
True
Let d(f) = 3*f + 27. Suppose 6*o - 20 = 46. Is 10 a factor of d(o)?
True
Suppose -5*w = -4*u - 15, 5 = 2*u + 2*w - 1. Let h(b) = 3*b + 24. Let s(k) = -4*k - 24. Let x(t) = 6*h(t) + 5*s(t). Is 9 a factor of x(u)?
False
Suppose -z = 4*o + 11, -2*o + 3*z - 14 = -5. Let d(b) = b**2 + 7*b. Let u be d(o). Is 5 a factor of 6/(u/4) + 7?
True
Let m(u) be the first derivative of u**4/4 - 7*u**3/3 + u**2/2 + 3*u + 4. Suppose 2*y - 7 = y. Is 5 a factor of m(y)?
True
Let q be 1608/26 - (-18)/117. Does 5 divide q + (-2)/(1 - 3)?
False
Let h(o) = -2*o**3 + 2*o**2 + 10*o + 2. Let u be h(-9). Suppose 0 = -4*m + 8, 6*m - 4*m + u = 4*t. Does 16 divide t?
True
Let l(x) = x + 4. Let q be l(-7). Let c be (-1)/3*q*1. Is 3 a factor of 4/(c/(9/6))?
True
Suppose 48*m = -22758 + 112950. Is 13 a factor of m?
False
Suppose -249*k = -4*y - 247*k + 1928, y - 473 = 5*k. Is y a multiple of 10?
False
Let l = 34 + -14. Is 4 a factor of l?
True
Let i be (5 - 6)/(1/(-7)). Let c(k) = -14 + 0 - i - 28*k. Is 27 a factor of c(-5)?
False
Let t = 7 - -2. Suppose -t*y + 5*y + 272 = 0. Is 20 a factor of y?
False
Suppose -7 + 295 = 3*f + 2*x, 0 = 2*f + 3*x - 197. Suppose -19 = 5*z - f. Does 15 divide z?
True
Suppose 0 = 3*b + 4*n + 731, b - 4*b + 5*n - 740 = 0. Let t = -141 - b. Is t a multiple of 13?
True
Let m(i) = -720*i + 36. Does 47 divide m(-1)?
False
Let z = -1811 + 2889. Is 14 a factor of z?
True
Let h(x) = -2*x + 4. Let j be h(1). Let w(k) = 7*k + 1 - 7 + 0 + 6*k**j - 2*k. Is 8 a factor of w(2)?
False
Let b(q) = 0 + 2*q - 3*q**2 - 7 - 1 - q**3 - 2*q**2. Suppose 4*z - 4 = 0, 0*z + 3*z - 9 = a. Is 8 a factor of b(a)?
True
Let h be -78 + (1 - 2*1). Let q(b) = 65*b + 519. Let r be q(-6). Let o = r + h. Does 25 divide o?
True
Suppose 3*w = -2*w + 5*f - 35, 2*w + 5*f - 21 = 0. Is 32/((-8)/2)*w a multiple of 8?
True
Let t be 3/((-18)/(-565)) + (-13)/78. Let n = -59 + t. Is n a multiple of 9?
False
Suppose 2805 + 2335 = 4*m. Suppose m = 8*w + 293. Does 31 divide w?
True
Let x(c) 