2 - 7/(28/(-184)). Let n = y + 35. Does 17 divide n?
False
Let s(a) = a**2 + 66. Let g be s(0). Suppose -5*q + g = -59. Does 13 divide q?
False
Let o(d) = -d + 3. Let p be o(3). Let x(l) = l + 4. Does 2 divide x(p)?
True
Suppose 0 = -3*d - 2*d + 20. Suppose 10 = 2*y - 2*w, 0 = -3*y + 5*y + 5*w - 17. Is 5 a factor of d/12 - (-28)/y?
True
Suppose -4*f + 13 = w - 0*f, -2 = -f. Is 13 a factor of (-8)/w*(-65)/2?
True
Let n(s) be the first derivative of -s**2/2 - 3*s + 2. Let j be n(-3). Suppose 4*p - 8 = -j*p. Is 2 a factor of p?
True
Suppose -o = 2*o + 84. Let z = -12 - o. Is 16 a factor of z?
True
Let h(w) be the third derivative of 0 + 0*w + 1/6*w**4 + 3*w**2 + 0*w**3. Does 8 divide h(4)?
True
Suppose 3*a = 443 - 92. Is a a multiple of 15?
False
Let d(n) = -1. Let b(t) = t - 1. Let u(z) = 5*b(z) - 6*d(z). Does 10 divide u(3)?
False
Suppose 0 = -0*x + 5*x - 40. Let n be 31/11 + x/44. Suppose 5*j + 120 = 5*v, n*v - 91 = -j - 35. Is 12 a factor of v?
False
Suppose -40*r = -44*r + 648. Is r a multiple of 27?
True
Let a = 141 + -17. Suppose 3*n + 5*u - a = 0, -2*n - 3*n - 5*u = -190. Is n a multiple of 11?
True
Let o(q) = 29*q**3 + 17*q**2 - 15*q - 13. Let y(j) = -15*j**3 - 8*j**2 + 7*j + 6. Let v(k) = -6*o(k) - 13*y(k). Suppose 2 = 2*b - 0*b. Is v(b) a multiple of 11?
True
Suppose 3*k - 13 = 2*k. Is 3/((-3)/(-1))*k a multiple of 5?
False
Let v = 8 - -28. Let f = 61 - v. Does 25 divide f?
True
Let b = -66 + 179. Is 19 a factor of b?
False
Let v be 9/(-1 + 4)*4. Let c be (v/(-8))/(2/(-4)). Suppose c*x - r = -0*r + 85, -31 = -x + r. Is 10 a factor of x?
False
Let c(v) = -v**2 + 7*v + 3. Suppose 32 = 4*a - 2*s, -11 - 7 = -4*a - 5*s. Let z be c(a). Suppose 0 = b - i - z - 3, b = -i + 4. Is b a multiple of 5?
True
Let y(o) = -3*o**2 - 4*o + 4*o**2 - 4*o + o. Let k be y(7). Suppose k = 4*w + 5 - 89. Is w a multiple of 6?
False
Suppose 3*a = 3*j + a - 25, -a = 2*j - 5. Suppose j*u = 4*u - 19. Let c = u - -28. Does 7 divide c?
False
Suppose 4*f - 112 = -2*a, 3*a - 139 = -f - 4*f. Is f a multiple of 3?
False
Let g = -43 - -107. Let i = -46 + g. Is 9 a factor of i?
True
Suppose 4*a = -16, -4*m - 5 = -a - 129. Is m a multiple of 3?
True
Suppose 2*i + 2*o = 118, i + 4*i - 5*o - 255 = 0. Is 11 a factor of i?
True
Let j = 595 + -398. Is 35 a factor of j?
False
Let f(c) = 2*c - 10. Let i be f(7). Suppose 4 = -3*k + i*k. Is 3 a factor of (2 - 1 - -1) + k?
True
Let s(x) = -x - 5. Let p be s(-8). Suppose -5*l + 39 + 81 = h, 4*l - 107 = -p*h. Is l a multiple of 10?
False
Let w be (-1)/(-4) + (-3)/12. Suppose w*o = -3*o + 96. Does 16 divide o?
True
Is 1 + ((-4)/1 - -10) a multiple of 6?
False
Let f = -8 + 17. Is f a multiple of 3?
True
Let a be (-1 - 1) + 5 + 63. Suppose 0 = -4*p - m + 48, 6 = -5*p - 2*m + a. Is 4 a factor of p?
True
Let f be (-12)/18 - (-52)/6. Does 4 divide (f/(-12))/(2/(-27))?
False
Let a = 6 + -4. Is 17 a factor of a - 5 - 57/(-1)?
False
Suppose -2 - 4 = -2*n. Suppose 0 = -n*c - 0*c + 3*s + 27, 4*s + 44 = 5*c. Does 4 divide c?
True
Suppose -16 = 2*x - 6*w + 3*w, 0 = -3*w + 6. Let l = 13 + x. Is 8 a factor of l?
True
Let r = 16 + -18. Let u(i) = -i**3 + 2*i**2. Is 10 a factor of u(r)?
False
Let m(o) = 2*o + 3. Let k be ((-3)/(-9))/((-3)/(-54)). Is m(k) a multiple of 9?
False
Let x(y) = y**3 - 10*y**2 + 5*y + 4. Let u be x(9). Let h = u - -97. Is h a multiple of 13?
True
Is 62/5*(-35)/(-14) a multiple of 8?
False
Suppose -3*c + 5*a + 17 = 0, 0 = c + 7*a - 3*a. Suppose 0 = -k + 2*g + c + 14, -g = -4*k + 58. Does 7 divide k?
True
Let o(s) = s**3 + 7*s**2 + 6*s - 4. Let x be o(-5). Suppose 22 + x = 3*f - 5*y, -3*f + 46 = -y. Does 8 divide f?
True
Let f = 0 - 7. Let o = f + 7. Suppose -3*q + 62 = q + 2*k, o = -q - 4*k - 2. Is 12 a factor of q?
False
Suppose -2*k - v = -124, 0 = 3*k + v - 134 - 53. Is 21 a factor of k?
True
Let f(z) = -z**3 + z**2 - 2*z + 11. Let a be 3/(-6)*0/(-1). Is f(a) a multiple of 7?
False
Let s = -21 - -21. Is 12 + 2/(s + 1) a multiple of 3?
False
Let r be (0 - (-6)/15)*-5. Is 15 a factor of -1 + r - (-9 - 18)?
False
Is 4 a factor of (-4)/(-14) + 1134/147?
True
Let q(h) = h - 5. Let p be q(5). Suppose 5*v = -p*v + 235. Is 12 a factor of v?
False
Suppose -83 - 79 = -2*k. Is k a multiple of 24?
False
Let z(o) = -50*o + 2. Let j be z(-2). Let t = j - 61. Does 13 divide t?
False
Let u(d) = 19*d**2 + 2*d + 1. Let k be 5/(-3) - (-4)/6. Is u(k) a multiple of 8?
False
Let a(r) = -r**2 + 8. Let c be a(-6). Let m = -15 - c. Does 9 divide m?
False
Let g = -16 - -54. Is g a multiple of 23?
False
Let m be (-1)/4 + 9/(-12). Let s(n) = -41*n - 1. Is 14 a factor of s(m)?
False
Suppose -a = -10 + 2. Let g(w) = 17*w + 10. Let q be g(a). Does 20 divide q/6 - 1/3?
False
Let g = -47 + 79. Does 7 divide (g/(-40))/((-1)/10)?
False
Suppose i = 3 + 2, -2*y - 3*i + 55 = 0. Does 11 divide y?
False
Let f = 146 - 95. Does 5 divide f?
False
Let s(g) = -5*g + 1. Let c be s(4). Let f = -22 - -59. Let p = c + f. Is 18 a factor of p?
True
Let u be 2/(-3)*(-468)/8. Is 13 a factor of ((-10)/(-15))/(2/u)?
True
Suppose p - 3*k + 2 = 6, 3*p + k = 32. Does 5 divide p?
True
Let q(s) = -3*s - 11. Does 3 divide q(-8)?
False
Let v = 4 + 2. Let q(r) = -7*r**3 + 6*r**2 - 10*r + 1. Let x(g) = -6*g**3 + 6*g**2 - 9*g + 1. Let b(o) = v*x(o) - 5*q(o). Is b(3) a multiple of 6?
False
Let n be 32/((-1)/(2/2)). Let t be ((-3)/2)/(12/n). Suppose t*d + 95 = 5*b, 4*b + 5*d = 74 + 43. Is b a multiple of 16?
False
Suppose 3*z - z + 1 = -3*v, -5*v + z + 20 = 0. Suppose -v = 4*h - 27. Suppose 2*m - 8 = h. Is m a multiple of 7?
True
Let n(z) = -z + 12. Let g = 12 + -6. Let l be n(g). Is (-2)/(-3)*117/l a multiple of 13?
True
Let l(x) = x**3 - 22. Let c be l(0). Let o = c + 61. Does 20 divide o?
False
Suppose -5*i + 4 = -1. Let c(z) = 9*z**3 + z**2. Is c(i) a multiple of 10?
True
Let j(m) = -m + 10. Is 10 a factor of j(0)?
True
Does 17 divide (-51)/((-1)/4*3)?
True
Suppose -5*x - 127 = -4*i - 466, 0 = i - 4. Does 6 divide x?
False
Suppose -487 = -7*n + 395. Does 18 divide n?
True
Suppose -2*p - 10 = -3*p. Let w = p - -35. Is w a multiple of 15?
True
Suppose 4*i = 3*w + 21 + 24, i = 5*w + 24. Suppose 4*q = -q. Suppose i = j - q*j. Is j a multiple of 4?
False
Let x(d) = d**3 + 6*d**2 + 4*d - 3. Let y be x(-6). Let l = 3 - y. Is l a multiple of 10?
True
Let n be (-3)/(-1*(-2)/(-168)). Suppose j + 3*j = n. Is j a multiple of 19?
False
Let g = -388 - -603. Is g a multiple of 7?
False
Is 32 a factor of (-93)/((-5)/(-10)*-1)?
False
Let h = 31 - -28. Is h a multiple of 11?
False
Suppose 0 = 3*s - 56 + 2. Does 4 divide s?
False
Let c(g) = g**2 - 18*g - 49. Is c(25) a multiple of 18?
True
Let y = -33 - -121. Suppose -5*c + 3*u + y = 0, 44 = 5*c + 3*u - 68. Is 10 a factor of c?
True
Let m = 2 + -3. Let d = m + 6. Let v = d - 0. Does 5 divide v?
True
Suppose 3*c = 2*v + 242, 4*c - 391 = 5*v - 59. Let h(d) = -d**3 - d**2 + 2*d + 4. Let w be h(-4). Let k = c - w. Is k a multiple of 12?
False
Let y be (-12)/72 - (-13)/6. Suppose -3*o = -i - 43, y*i = 4*o + i - 56. Is o a multiple of 11?
False
Let l(g) be the first derivative of 2*g**3/3 + 2*g**2 + g + 3. Does 17 divide l(-4)?
True
Let t(a) = 31*a**3 + 2*a**2 - a. Let p(u) = -62*u**3 - 4*u**2 + 2*u. Let l(f) = -3*p(f) - 5*t(f). Does 16 divide l(1)?
True
Let c be 6/9*(-3)/2. Let v be (0 - 0)/2 - c. Does 2 divide -3 + v + 6 + 1?
False
Is 13 a factor of (-286)/((-20)/5 - -2)?
True
Suppose -2*w - 4 = 2*v - v, -v - 5*w - 13 = 0. Suppose 35 = 3*s + v*s. Suppose s*m - 36 = 3*m. Is 9 a factor of m?
True
Let k(c) be the first derivative of 2*c**2 + 2*c + 2. Let u(q) = q + 1. Let b(n) = -k(n) + u(n). Does 5 divide b(-5)?
False
Let l be 1*((50 - 0) + 1). Let y = -31 + l. Is 10 a factor of y?
True
Let x(n) = 31*n**2 - 2*n. Is x(-1) a multiple of 11?
True
Suppose 8 = w - r, 5*w + r - 12 = 4. Suppose 0 = a + w*u + 10, -4*a + 8 + 12 = -4*u. Is (-63)/(-12) - a/8 a multiple of 5?
True
Let d = 140 + -23. Is 9 a factor of d?
True
Let w(t) = -t + 17. Does 6 divide w(11)?
True
Suppose -3*l = -o - 667, -4*l + 2*o = -0*o - 886. Is l a multiple of 28?
True
Suppose 5*c - 20 = 25. Does 4 divide (-97)/(-9) + 2/c?
False
Let c(m) = -m + 60. Let s be c(0). Suppose 4*n - s = 2*n - k, 2*n = -5*k + 68. Does 11 divide n?
False
Suppose 2*j - 5*l - 69 = 73, 3*j - 190 = -4*l. Is j a multiple