- 9. Let d = m + -21. Is 20 a factor of d?
False
Let l(o) be the first derivative of o**4/4 + 11*o**3/3 + 7*o**2/2 - 8*o - 18. Is 23 a factor of l(-4)?
False
Does 24 divide 24/(-30) + (-1)/5 + 25?
True
Let j = -14 - -14. Suppose 2*v - 11 + 3 = j. Suppose 20 = 4*p, 0 = -3*r - v*p + p + 240. Does 20 divide r?
False
Let l(a) = -19*a**2 + 11*a - 5. Let r(u) = 28*u**2 - 16*u + 7. Let d(x) = 7*l(x) + 5*r(x). Is d(3) a multiple of 18?
True
Suppose 4*y - 69 = -2*n + 41, -2*y = -n - 65. Is 6 a factor of y?
True
Suppose -3*z + 1402 = -353. Is 39 a factor of z?
True
Suppose 0 = -3*k + 249 + 771. Is 34 a factor of k?
True
Let j be (-2)/4 - 27/6. Let k be (j/6)/((-2)/12). Suppose -4*s = 3*g + 4, 15 = 3*s - g + k. Is 2 a factor of s?
True
Suppose 0 = 15*q - 6951 + 426. Is 15 a factor of q?
True
Is 16 a factor of (651/15 - 1)/((-14)/(-35))?
False
Is 10 a factor of ((-30)/6 - -157) + -6?
False
Suppose -4*b - 2401 = -9*b + l, 5*b - 2397 = -3*l. Does 10 divide b?
True
Let o = 72 - 72. Is 2 a factor of 0 + -2 + o - 28/(-2)?
True
Suppose w = 5*t - 163, 4*t + 3*w = -44 + 182. Is 27 a factor of t?
False
Let r(y) = -6*y - 12. Let v be r(-10). Suppose 0 = -2*p + v + 18. Is p a multiple of 24?
False
Suppose 349 + 1019 = 2*l. Is l a multiple of 18?
True
Let v = -97 + 96. Is 7 a factor of (4 + 82/4)*(3 + v)?
True
Suppose -4*m = -2*v - 14, 0 = 2*v + 3 + 7. Let u = 21 - m. Does 5 divide u?
True
Let z = 62 + 430. Is z a multiple of 41?
True
Let i = 739 - 489. Is 28 a factor of i?
False
Suppose 223 - 3697 = -9*u. Is 18 a factor of u?
False
Let t = -7 - -6. Let k(q) = q**3 - 6*q**2 + 8*q - 10. Let r be k(5). Let h = r + t. Is h a multiple of 2?
True
Suppose -1 = -2*o - 4*d - 7, -4*o - 2*d = -12. Let w = 5 - o. Does 12 divide (3 - 5) + 50 + w?
True
Let w = 204 + -344. Let h be w/(-7)*(26 - 0). Suppose -h = b - 6*b. Is 15 a factor of b?
False
Suppose 5*l = 5, -402 = 5*d - 2*d + 3*l. Let r = -93 - d. Is r a multiple of 14?
True
Let i = -136 - -4. Let m = -47 - i. Is m a multiple of 17?
True
Suppose g - 1 = 0, -5*z + 3*g - 4 + 1 = 0. Let x(n) = -n**3 - n**2 + 3*n + 3. Let s be x(-2). Does 19 divide z + s - (-74)/2?
True
Suppose -14*o = -19*o + 480. Let s = -44 + o. Is s a multiple of 26?
True
Let n(z) = z**3 + z**2 - 4*z - 3. Let w be n(-2). Let r be 46*w - (-5)/(-5). Let g = 76 - r. Is 14 a factor of g?
False
Let r = -21 + 25. Suppose 301 - 29 = r*h. Does 12 divide h?
False
Let a(i) = -5*i + 3. Let b(v) = 1. Let o(g) = -a(g) - 2*b(g). Let z(s) = -7*s - 15. Let m be z(-3). Is 6 a factor of o(m)?
False
Suppose 0 = -5*s + 2*a - 827, s + 0*s - 4*a + 151 = 0. Let t = 90 + s. Let i = -45 - t. Is i a multiple of 15?
False
Let s(w) be the first derivative of -w**3/3 + 12*w**2 - 26*w + 19. Does 16 divide s(15)?
False
Let c be 68/((-2)/3 + 1). Is 15 a factor of (-4 + c/16)/(3/36)?
True
Let u(k) = 8*k**2 - 10*k + 41. Is u(4) a multiple of 16?
False
Let f = -188 - -665. Is f a multiple of 53?
True
Is (222/(-9))/(17/(-612)) a multiple of 74?
True
Let j = -29 - -29. Suppose 2*n + 4*v = -0*v + 292, j = -n - v + 150. Is n a multiple of 22?
True
Let h be 4/(-6)*270/(-36). Let f(b) = 8*b - 8. Is 6 a factor of f(h)?
False
Let z(o) = o + 8. Let p be z(-6). Let u(b) = 13*b - 11. Let h be u(11). Suppose p*t - h = -2*t. Is 9 a factor of t?
False
Suppose 0 = -3*q + 3*l + 603 - 144, -4*q + 2*l = -602. Let z = -115 + q. Is 11 a factor of z?
True
Let s(q) be the first derivative of 5/2*q**2 + 3 - 4*q. Is 7 a factor of s(3)?
False
Let y = -773 + 1540. Let l be y/5 + 36/(-90). Let j = l + -89. Is 17 a factor of j?
False
Let k = -1112 + 2420. Is 6 a factor of k?
True
Is ((-50)/5)/2 + 45 a multiple of 10?
True
Suppose -11*h + 12*h - g - 1138 = 0, -h + 1132 = -4*g. Is h a multiple of 20?
True
Suppose -5*n - 5 = 4*f + 5, 0 = 3*f + 15. Is 32 + -1 + n + 2 a multiple of 28?
False
Let j be 36/(-198) + 4/22. Suppose j = -13*z + 377 + 286. Does 4 divide z?
False
Suppose -3*l = -2*l - 7. Suppose -6*y + 5*y - l = 0. Let o(i) = -i**3 - 5*i**2 + 10*i + 7. Does 14 divide o(y)?
False
Suppose -4*y = 8, -y = -0*b + 4*b - 10. Suppose -b*u + 4*u + 402 = 5*c, 4*u - 152 = -2*c. Suppose -c = -6*n + 4*n. Does 10 divide n?
True
Suppose 5*s = 4*o - 1943, -4*o + 519 = -2*s - 1427. Does 6 divide o?
False
Let y = -13 - 26. Let j = y + 21. Is j/5*30/(-4) a multiple of 13?
False
Let r = 20 + -8. Let w = r - 9. Is -4 - -1 - -26*w a multiple of 21?
False
Let y(b) = b**3 + 19*b**2 - 3*b + 9. Let a be y(-16). Suppose 8*o - a = -3*o. Does 15 divide o?
True
Suppose -62*z + 79*z = 1768. Is z even?
True
Suppose -s - 412 + 4637 = 4*x, -5*s = -2*x + 2107. Is x a multiple of 32?
True
Let w(j) = j**2 - 5*j + 3. Suppose -5*s + 33 = -12. Let g = -3 + s. Is 5 a factor of w(g)?
False
Suppose -1553 = 11*m - 14*m + h, -4*m + 2060 = 4*h. Is m a multiple of 11?
True
Does 58 divide 1097462/310 + (-12)/10?
False
Let o = 14 + -1. Let y(k) = k**3 - 14*k**2 + 16*k + 9. Is y(o) a multiple of 6?
True
Let k(j) = j**3 - 9*j**2 - 13*j + 16. Let r be k(11). Suppose -10 + r = 5*v. Is v a multiple of 4?
False
Suppose t + 67 = 5*k - 3*t, -5*t - 48 = -3*k. Let u(c) be the third derivative of c**5/60 - c**4/4 - 9*c**3/2 - c**2. Does 11 divide u(k)?
False
Suppose 4*d + 61 = 297. Let t = -67 + 69. Suppose -2*p = 3*h - 25, 5*h + d = t*p + 10. Is p a multiple of 8?
False
Let q(d) = 2*d**3 + 42*d**2 - 23*d - 240. Is 60 a factor of q(-20)?
True
Let d(h) be the second derivative of h**4/6 - h**3/6 - 2*h**2 + 3*h. Let i be d(3). Suppose 16*l = i*l + 25. Does 5 divide l?
True
Suppose 4*a + g = 497, 15*g = -3*a + 18*g + 384. Is a a multiple of 4?
False
Suppose -3*m + 4*q = -11, 2*q = -q + 3. Suppose -m*h + 5*u - 6*u + 571 = 0, -2*u - 568 = -5*h. Is 38 a factor of h?
True
Suppose 12*y - 22685 = 11875. Does 15 divide y?
True
Let w be 1/(-4) + (-26)/(-8). Suppose -117 + 48 = -w*z. Does 23 divide z?
True
Let b(c) = c**2 - 2. Let x be b(2). Suppose -r + 3*w - 5 = -w, -4 = -x*w. Suppose -q = r*q - 172. Is 13 a factor of q?
False
Suppose p - 5*l - 8 = 0, -3*p + 2*l + 10 = -1. Let k = p + -5. Let o = 18 + k. Is 15 a factor of o?
False
Let d = 171 + -141. Is d a multiple of 5?
True
Suppose 0 = a + 3*a - 64. Let n be -2*4/(-8)*19. Suppose 5*b - n = a. Is 2 a factor of b?
False
Let y(k) = 3*k**2 + 22*k - 72. Is 30 a factor of y(-13)?
False
Let r(u) = -u**3 - 17*u**2 + 36*u + 10. Is 8 a factor of r(-19)?
True
Let d(p) = p**2 + 14*p + 24. Let q be d(-12). Let v be 134/(-3) + (-1)/3. Does 28 divide v*(q + -2) + 0?
False
Let d(g) = g**3 - 2*g**2 - 5*g + 571. Is d(0) a multiple of 13?
False
Let b = 1356 + -1974. Let k = -336 - b. Is 47 a factor of k?
True
Let j(a) = 23 + 0*a**2 + 17 + a**2. Suppose i + 2*o + 3 = o, -3*i = 2*o + 6. Is 25 a factor of j(i)?
False
Suppose 2*i - 183 - 65 = 0. Suppose -9*s + 304 = i. Is s a multiple of 3?
False
Suppose 35*z + 35705 = 158275. Is 81 a factor of z?
False
Suppose 0 = 2*o + 2*m - 7*m - 17, 3*m = -4*o + 99. Is 11 a factor of 166/3 - 7/o?
True
Let n(p) = -2*p**2 - 10*p + 2. Let a be n(-5). Suppose -z = a*z - 174. Does 3 divide z?
False
Suppose 2*t + 17 = 9, -2*o = -4*t - 2614. Is o a multiple of 8?
False
Let k(s) = -183*s**2 - 2*s + 1. Let i be k(1). Suppose x + f = 272, 8*f - 5*f = 5*x - 1392. Let n = x + i. Does 35 divide n?
False
Let c(i) = -i + 1. Let u be c(5). Let p(m) = -m**3 - 4*m**2 + m + 3. Let o be p(u). Is 12 a factor of (-2 - (o + 2)) + 39?
True
Let u be (0 - -2) + 1 + -3. Suppose u = 13*j - 12*j - 3. Suppose 0*k = -j*t - k + 105, 0 = -t - k + 33. Is 12 a factor of t?
True
Let u = 112 - 241. Let y = u - -146. Does 17 divide y?
True
Let p be (-12)/(-10)*(-200)/(-30). Let i(a) = 2*a**2 - 7*a + 8. Is i(p) a multiple of 25?
False
Suppose 0 = -0*t - 4*t. Suppose 5*v - v = t. Suppose v = -0*q + 4*q - 180. Is 19 a factor of q?
False
Suppose -3*y - g = -429, -5*g - 33 + 758 = 5*y. Is 11 a factor of y?
False
Let n be 1 - 0 - -2*1. Let h(w) = 12 + 10 + 5*w - 10 + n. Is 15 a factor of h(9)?
True
Let s(f) = 2714*f + 21*f**2 + 1 - f**3 - 2708*f + 23. Is 17 a factor of s(21)?
False
Suppose -45 - 18 = -a. Let o = -118 + a. Let j = 94 + o. Is j a multiple of 11?
False
Suppose -3*z - 6 = 2*v, 4*v - 4*z + 38 = -14. Let q = -5 - v. Suppose -53 = q*x - 5*x. Is x a multiple of 28?
False
Suppose 10 = 3*x - 5. Suppose -3*r - 21 = -q + 16, -5*r = x*q - 205. Let f = 