m + 85. Let l(o) = 5*b(o) - 6*p(o). Let v be l(0). Does 10 divide (-9)/(-36) - v/4?
True
Let t = -8 + 5. Does 2 divide 1 - ((t - -3) + -5)?
True
Let l = 4675 + -2711. Is l a multiple of 67?
False
Suppose -643 = -3*g + 5*o, 0 = -2*g + 5*o + 587 - 150. Let a = g - 98. Suppose 10*l = 8*l + a. Does 10 divide l?
False
Let l = 29 - 27. Suppose 229 = 3*a - r, -l*a - 5*r + 145 = -19. Is a a multiple of 19?
False
Does 6 divide (-6586)/(-6) + ((-85)/(-17))/15?
True
Let g = -9 + 24. Let x = 0 + 2. Suppose -g = -x*a + a. Is a a multiple of 5?
True
Let q(o) be the second derivative of -2*o**5/15 + o**4/6 + o**3/6 + o. Let k(y) be the second derivative of q(y). Does 24 divide k(-2)?
False
Let t = 217 - -149. Does 9 divide t?
False
Let t be -1 - (-1338)/21 - (-8)/28. Let k = t - -45. Is 27 a factor of k?
True
Suppose -19152 = -99*k + 42*k. Does 42 divide k?
True
Suppose -15*y + 3912 = -813. Does 6 divide (7 + y/(-36))/(1/(-52))?
False
Let w = 62 + -48. Does 6 divide 1 - ((-654)/w + (-16)/56)?
True
Is 12 - 11 - -6 - -557 a multiple of 24?
False
Suppose 0 = -2*b + a - 9 - 8, 3*b + a + 18 = 0. Let h be (-317)/9 + (-4)/(-18). Is 12 a factor of (-1 + h)/(b + 6)?
True
Let y = -27 + 17. Let q be y/45 - 902/(-9). Suppose -5*k + 180 = -5*o - q, -3*o = 9. Is 9 a factor of k?
False
Let j(q) = 7*q - 9*q - 4*q + 2 + 3 + 31*q**2. Is 4 a factor of j(1)?
False
Suppose 3*o - 7*o = -40. Suppose -o*h = -14*h + 196. Is h a multiple of 8?
False
Let i(z) = -z + 22. Let a be i(9). Suppose 4*q - 5 = 3, 0 = 3*v - q - a. Suppose -3*t + v*f + 233 - 81 = 0, -3*t = 5*f - 172. Is t a multiple of 27?
True
Suppose 0 = 2*j - l - 78, 2*l - 213 = -5*j - 0*j. Let p be (0 - -1) + (3 - 1). Suppose -3*z - 5*h + j = 0, -18 = -z + p*h + 19. Is z a multiple of 6?
False
Let p(b) = -b**3 + 21*b**2 - 27*b - 43. Does 6 divide p(8)?
False
Suppose m - 3*a - 16 = -3, m + 4*a - 6 = 0. Let v = m + 37. Is 4 a factor of v?
False
Let n(p) = 87*p**2 - 12*p - 30. Is 6 a factor of n(-2)?
True
Suppose -5*j = 3*b - 32, 2*b + 5 = 13. Suppose 89*n - 14 = 86*n + 2*l, 0 = -4*n - 5*l + 11. Suppose -j*c = -2*w - c + 145, -45 = -w - n*c. Is 13 a factor of w?
True
Suppose 1124 = -4*m - k, -95 - 186 = m + 4*k. Let b = -155 - m. Does 21 divide b?
True
Let v(a) = 2*a**2 + 3*a + 3. Let l be v(-2). Suppose 4*f + 141 = l*f. Let j = f + -84. Is 19 a factor of j?
True
Let n = 2354 + -1563. Suppose -n = -4*r - 35. Is 16 a factor of r?
False
Let r = -6 - -9. Suppose -s + 23 = 5*g, -3*g + r*s = -g - 16. Does 12 divide (-7 - -97)*2/g?
True
Suppose 15*f = 18*f - 1323. Is 9 a factor of f?
True
Suppose 5*s - 1904 = 4*z, 3*z - 460 = -2*s + 320. Let n = s + -254. Does 26 divide n?
True
Let z(a) = -a**2 + 62*a + 21. Is z(25) a multiple of 43?
True
Let j(v) = 135*v - 7. Let a be 7/14*3*2/3. Is 32 a factor of j(a)?
True
Let d(w) = -w + 17. Let c be d(8). Let p = 13 - c. Is 17 + -3 + (1 - p) a multiple of 11?
True
Suppose 4*v = -3*l + 653 + 187, 4*l = -4*v + 844. Is 33 a factor of v?
False
Suppose 66 = g + 3*n, -g - 13 + 79 = 4*n. Let m = g - -25. Is 18 a factor of -3 + (m - (1 - 3))?
True
Suppose -31*a = -37*a + 9750. Is a a multiple of 25?
True
Let w(l) = l + 1. Let v be w(2). Suppose 4*x + 4*b = 1356, x - 1391 = -v*x + 3*b. Suppose z + 5*n + 70 = 179, 4*z - 3*n - x = 0. Does 12 divide z?
False
Let a(l) = -8*l**3 + 8*l**2 + 2*l. Let g(q) = -7*q**3 + 4*q**2 + 6*q - q - 3*q + 3*q**2. Let t(x) = 5*a(x) - 6*g(x). Is t(3) a multiple of 14?
False
Let k(w) = 6*w - 10. Let b be k(5). Suppose -3*c - 2*c = -b. Is 17 a factor of 508/10 + c/20?
True
Let f be 21/7 + 0 + 0 + 0. Suppose f*r = 5*r - 78. Does 39 divide r?
True
Let c(q) = 2*q**2 - q - 2. Let l be c(3). Let g be 4*31 + (-8)/(-4). Suppose -l*v + g = -10*v. Is v a multiple of 9?
False
Let a(g) = -135*g + 169. Is a(-5) a multiple of 9?
False
Let z(b) = -b**3 + 24*b**2 + 26*b - 33. Let d be z(25). Does 13 divide d/(-20) + 1812/20?
True
Let z = -214 + 406. Is 18 a factor of z?
False
Let g(w) = 22*w**2 - 2*w. Let j = -6 - -8. Does 21 divide g(j)?
True
Let r(s) be the third derivative of s**6/120 + s**5/30 - s**4/6 - 11*s**2. Is 2 a factor of r(2)?
True
Let t(r) be the second derivative of -r**4/12 + r**3/2 + 32*r**2 + 10*r. Is 20 a factor of t(0)?
False
Let g be 8 + (4/(-4))/(-2 - -1). Suppose 163 = g*k - 683. Does 37 divide k?
False
Let i(t) = 3*t**2 - t - 19. Let k(h) = 18*h - 8. Let u be k(1). Does 22 divide i(u)?
False
Suppose -6*u + 2*h = -11*u + 4439, -3*u - h + 2663 = 0. Is u a multiple of 8?
False
Let l(i) be the first derivative of -i**3/3 + i**2/2 + i - 2. Let t(z) = z**2 - 2*z + 3. Let n(s) = -2*l(s) - t(s). Does 8 divide n(6)?
False
Let i = -38 - -34. Let g = -94 + 145. Is (g/(-6))/(i/32) a multiple of 21?
False
Suppose -3*m - 4*s = 288 + 320, m + 5*s = -221. Let f = m - -140. Is 4 a factor of 2/7 + (-432)/f?
True
Let v(o) be the third derivative of o**4/6 - o**3/6 - o**2. Let c be v(1). Suppose x + 10 = -4*d, 2*d + 32 = c*x + x. Does 2 divide x?
True
Suppose -5*g - 742 = -7*g - a, -g + 371 = 3*a. Is g a multiple of 53?
True
Suppose 1 - 5 = -3*r - v, r = -2*v - 2. Suppose -5*n - r*y = -443, -5*y - 4 = -y. Is 7 a factor of n?
False
Let h(u) be the first derivative of u**4/4 - 4*u**3/3 - 3*u**2/2 + 9*u - 7. Suppose -2*n - 12 = -4*n. Is 21 a factor of h(n)?
True
Suppose 0 = -12*s - 357 + 4581. Is s a multiple of 7?
False
Let q = -19 - -131. Let r = 213 - q. Is 32 a factor of r?
False
Let p(i) = -120*i**3 - i**2. Let k be p(-1). Suppose k = 3*z - 4*w, 4*z - 5*w = -w + 156. Does 29 divide z?
False
Let i be -3 + 3/(-1 - 0). Let a(k) = 1. Let h(q) = 8*q - 13. Let v(u) = -5*a(u) - h(u). Is v(i) a multiple of 28?
True
Let k = 33 - -21. Does 15 divide 10/(-3)*k/(-6)?
True
Let g(r) = 7*r**2 - r - 2*r**2 + 0*r + 4*r + 9. Is 14 a factor of g(3)?
False
Let x = 259 - 182. Is 7 a factor of x?
True
Let w be ((-21)/(-6))/(2/(-4)). Let r be (w - -4)*(-4)/(-6). Is -8 + 5 + (-104)/r a multiple of 21?
False
Let p(o) be the third derivative of o**5/60 + 5*o**3/3 + 2*o**2. Let f(z) = z**2 - 8*z + 12. Let x be f(6). Is 10 a factor of p(x)?
True
Let r(x) = -x**3 - 9*x**2 - 19*x - 1. Let v = -48 + 39. Is 34 a factor of r(v)?
True
Let m be -1 - -8 - (0 - -1). Suppose 5*s + 2*o - 10 = 8, 2*o = -2*s + m. Suppose -j - 278 = -3*i, 5*i - 522 = -s*j - 36. Is 12 a factor of i?
False
Let i = -356 + 491. Does 3 divide i?
True
Suppose 0 = -4*q + h - 9 - 4, -3*q = -3*h + 21. Let f be (2 - -1) + 4/2. Does 13 divide (f + -31)*q/4?
True
Suppose 40925 = 41*d + 9437. Does 13 divide d?
False
Suppose -3*h - 39 = -108. Let f = h + -20. Is (-1)/(f/((-972)/4)) a multiple of 12?
False
Let c = 352 - -131. Is c a multiple of 86?
False
Suppose 5*j + 2*p - 224 = 0, -5*p = -4*j - 4*p + 187. Let r = j - 20. Is r a multiple of 4?
False
Let n(a) = -a**3 - 5*a**2 + 14*a - 20. Is n(-9) a multiple of 36?
False
Suppose h + 18 = -2*h. Let a(k) = k**3 + 7*k**2 + 6*k + 7. Let z be a(h). Suppose -54 = -10*w + z*w. Is 18 a factor of w?
True
Let n be (-2 + -1)*5/(-1). Suppose -3*l = -n, l = -o - 2*o + 116. Is 7 a factor of o?
False
Suppose -17 = -7*u + 2*u - 2*w, 3*u - w - 19 = 0. Suppose s = -s - 5*k + 20, u*k - 15 = -s. Suppose -s*y - 2*b = -190, -y - 3*b = -2*y + 21. Does 12 divide y?
True
Let n(z) = z**2 + 11*z - 22. Let c be n(-16). Suppose -i = y - c, -2*y + 5*y = i + 158. Does 11 divide y?
False
Let w = 21 - 16. Suppose w = 4*y - 63. Let c = y + 1. Does 6 divide c?
True
Suppose 4*l - 23 = 4*b - 5*b, -2*l - 203 = -5*b. Suppose -j = 2*c - 87, -4*c = -3*c - 2*j - 31. Suppose 5*z = b + c. Does 13 divide z?
False
Suppose 65 = 4*j - 291. Is (-10 - -14)*j/2 a multiple of 30?
False
Suppose -4*z + 2*r - 104 = -2*z, 55 = -z + 2*r. Let l = z - -56. Is 5 a factor of l?
False
Let c(b) = -2*b**2 + 1. Let x be c(-1). Does 13 divide (-273)/28*4*x?
True
Let w be ((-2)/3*-2)/(20/600). Suppose -a - 3*s = -42, -6*s + w = a - s. Does 9 divide a?
True
Let n(i) = i**2 - 11. Let r be n(-4). Suppose -2*w - 3*g + 411 = 0, r*w + 5*g - 438 = 592. Does 23 divide w?
True
Let f(u) = u**2 + u - 1. Let a(q) = 5*q**2 + 13*q + 15. Suppose -6*h - 3*z = -2*h + 13, -3*z = -2*h - 11. Let y(c) = h*f(c) + a(c). Is 15 a factor of y(-13)?
False
Suppose 0 = -0*h - 4*h - 8. Let u(l) = -922 - 3*l - 3*l**2 - l**3 - l**3 + 921. Is u(h) a multiple of 2?
False
Suppose -9*m - 7 + 34 = 0. Does 