b = 4*o - 177. Is 14 a factor of o?
True
Let d be (-192)/(-6)*(-2)/(-4). Let p = d - 8. Is 8 a factor of p?
True
Let a be (2/(-6))/((-2)/6). Suppose z - 39 = a. Is z a multiple of 11?
False
Suppose -2*g = c - 301, 0*c = c - 2*g - 321. Suppose -4*v - 119 = -c. Does 16 divide v?
True
Suppose -4*a = a + 15. Let t be (-32)/(-6) - (-1)/a. Suppose t*z - 38 = -2*x + 92, 0 = -2*x + 10. Does 9 divide z?
False
Let i(d) = 9*d - 7. Suppose 4*b - 16 = -0*b. Is 10 a factor of i(b)?
False
Let x(m) = 27*m**2 + 3*m - 2. Let c(h) = 27*h**2 + 4*h - 3. Suppose -j - 4*d + 24 = 4, 2*j + 8 = 4*d. Let s(n) = j*x(n) - 3*c(n). Does 13 divide s(1)?
False
Suppose 5*o - 16 + 1 = 0. Does 4 divide (-2 + 10 - o)/1?
False
Is 22 a factor of (-14476)/(-110) + (-4)/(-10)?
True
Suppose 5*v + 5*d = 85, -v - 8*d + 4*d = -26. Suppose 2*m + 2 = 0, 2*t = -3*m + 33 + v. Is t a multiple of 15?
False
Suppose -2*a = -122 + 24. Is 3 a factor of a?
False
Let y be 6/3*1 + 1. Suppose 22 - 55 = -y*q. Is q a multiple of 6?
False
Suppose -12 - 39 = 3*y. Let u = 38 + y. Does 13 divide u?
False
Let v = -5 - -11. Is (36/(-5))/(v/(-15)) a multiple of 7?
False
Suppose 0 = 11*g - 4*g - 287. Is g a multiple of 9?
False
Let z be -8*(-10)/(-4) + -1. Let k = -2 - z. Is k a multiple of 5?
False
Suppose 3*h + 9 = r, 4*r = -2*h + 3 - 9. Let t(k) be the first derivative of -k**4/4 + k**3/3 - k**2/2 + 10*k + 2. Does 5 divide t(r)?
True
Suppose -t + 100 = t. Let x = 28 + t. Does 21 divide x?
False
Suppose -7*g + 3*g = 0. Suppose -3*x + p + 16 = g, 5*x - 27 = 2*p + 1. Suppose -x - 52 = -4*u. Is u a multiple of 6?
False
Is 13 a factor of 4/6*3 + 92?
False
Let f be (-1)/(0 - (-2)/(-4)). Suppose 0 = -f*i - i + 30. Suppose -i = -t - 0*t. Does 5 divide t?
True
Is 21 - 4/(-6)*(-6)/(-4) a multiple of 2?
True
Let u(n) = 7*n - 7. Let b be u(-5). Let x = b + 63. Is x a multiple of 7?
True
Let l be 8/(-20) - 77/(-5). Is 6 a factor of (-30)/4*(-24)/l?
True
Suppose -4 = 2*t - 12. Suppose -d = -4, -5*u - t*d = -0*d - 6. Does 4 divide -3 - -4 - 18/u?
False
Suppose 0 = -5*i - 4*o + 684, 0 = 2*i - 5*i + 5*o + 403. Does 19 divide i?
False
Suppose -4*y + y + 141 = m, 2*y - 107 = -5*m. Is y a multiple of 20?
False
Suppose 23 = 3*v - 19. Is 8/28 - (-1340)/v a multiple of 32?
True
Suppose -4*n + n + 18 = -4*b, -3*n = -6. Let v = 6 + b. Suppose -3*d + 3*x = -39, 5*d - v*x + x = 56. Is d a multiple of 10?
True
Suppose -2*b - 29 = -2*c - 111, -b - 169 = 4*c. Does 11 divide c/9*-3 - 3?
True
Let c(n) = -6*n + n**2 + 0*n + 6 - 2*n. Let r be c(6). Is 2 a factor of 0/(-2) + (-4 - r)?
True
Is 9/27 - (-74)/3 a multiple of 25?
True
Suppose j + 3*j + 40 = 0. Let t = j + 40. Is 8 a factor of t?
False
Does 41 divide 4 + -1 - (5 - 284)?
False
Suppose 10 = 5*g - 0*g. Is 20 a factor of g/(((-11)/(-30))/11)?
True
Let f(c) = 1 - 19*c - 4 + 2. Let h be -2 - (1 - (2 + 0)). Does 8 divide f(h)?
False
Let h(u) be the third derivative of -5/24*u**4 + 0 + 0*u - 4/3*u**3 + 1/60*u**5 + 4*u**2. Is 8 a factor of h(8)?
True
Suppose 2*s - 2*f - 86 = s, -2*s = f - 162. Does 41 divide s?
True
Is -5 + 0 + 33 + (-1 - -1) a multiple of 7?
True
Let k(w) = -27*w - 30. Is 35 a factor of k(-12)?
False
Suppose 0 = -2*l + 3*m + 1, l + 2*m + 9 = 4*l. Let h be 2/(-10) + 16/l. Suppose -6 = -h*o - g - g, 0 = -4*o - 2*g + 10. Is o a multiple of 4?
True
Suppose 2*b + o = -132, 2*b - 3*o + 96 = -20. Is 21 a factor of (2*b)/(-2) + -3?
False
Let m(f) = -f**2 - 9*f - 3. Let n(o) = -8*o - 3. Let l(w) = -2*m(w) + 3*n(w). Is l(5) a multiple of 17?
True
Let b = -7 - -11. Suppose -3*f - 26 = -b*f. Is 13 a factor of f?
True
Suppose -7*b = -9*b + 28. Does 5 divide b?
False
Let o(i) = i**3 + 9*i**2 - i + 13. Let g be o(-9). Suppose -5*y - 2 = -g. Is y a multiple of 2?
True
Let g(n) = 11*n**2 - 10*n + 39. Is 24 a factor of g(5)?
True
Let i = -13 + 17. Let m(k) be the third derivative of k**4/4 - k**3/6 - 2*k**2. Does 23 divide m(i)?
True
Let x = -148 + 263. Suppose 0 = -9*j + 4*j + x. Is 14 a factor of j?
False
Let u(o) = o + 1. Let n be u(1). Suppose -8*c + 3*c + 4*b + 78 = 0, -46 = -3*c + n*b. Let v = c + 33. Is 30 a factor of v?
False
Suppose -g - 3*g + d + 960 = 0, 5*d - 960 = -4*g. Is g a multiple of 16?
True
Let m(z) = z**3 + 14*z**2 + 12*z. Let n(s) = s**3 - 5*s**2 + 2*s - 5. Let b be n(4). Is m(b) a multiple of 10?
False
Let m be 1*-1 + (1 - 1). Let u(g) = 29*g**2 - g - 1. Let d be u(m). Suppose -2*z = -d - 17. Is 8 a factor of z?
False
Let o = -17 + 14. Let w(r) = 5*r**2 + r + 3. Is w(o) a multiple of 29?
False
Let k = -20 + 33. Is k a multiple of 5?
False
Suppose -2*a - 6*c = -c - 8, 3*c = -2*a + 8. Suppose -6 = 3*k - a*k. Is k a multiple of 6?
True
Suppose 422 = 5*w - w - g, -3*w = 2*g - 311. Is w a multiple of 21?
True
Suppose 0 = 3*k, -v + 3*k = 3 + 5. Let m(f) = 2*f**2 + 11*f - 3. Let h be m(v). Suppose -2*x + g + 4*g + h = 0, -5*g = 15. Is x a multiple of 11?
True
Let d(j) = j + 2. Let q be d(3). Let u = -87 - -158. Suppose -4*y + u = 3*l, 38 = 4*y + q*l - 43. Is y a multiple of 14?
True
Let b(j) = -j**3 - 7*j**2 - 7*j. Let r(m) = m**3 - 6*m**2 - 2*m + 6. Suppose 4*c = -5 + 29. Let p be r(c). Does 6 divide b(p)?
True
Suppose 0 = -4*n + 3*p + 279, -4*n - p + 274 = p. Is 23 a factor of n?
True
Let n(a) = -3*a**2 - 4. Let b(y) = 7*y**2 + 8. Let w(p) = 4*b(p) + 9*n(p). Suppose 3*k + 6 = -2*d, 1 = 5*d + 3*k - 2. Does 4 divide w(d)?
False
Suppose -2*g + 0*g = 2*o - 600, 3*o = 3*g - 876. Is g a multiple of 22?
False
Let p(s) = -2*s**2 - s. Let h be p(1). Let d = h - -1. Does 12 divide (-25)/d + (-3)/6?
True
Let a(s) = -4*s + 1. Let y(n) = -n - 1. Let o be y(-3). Let j be (-1 + o)/(0 - 1). Is 5 a factor of a(j)?
True
Let p be (1 - (-15)/6)*14. Let u = -8 - -13. Suppose p = 2*j + u. Does 10 divide j?
False
Is 1081/3 - (-58)/87 a multiple of 41?
False
Let w(b) = 26*b - 1. Let p be w(8). Suppose -3*o = -0*o - p. Is 23 a factor of o?
True
Suppose 0 = 5*n - 24 - 46. Let g(s) = s**2 - s - 2. Let z be g(-2). Suppose -m + z = -n. Is 18 a factor of m?
True
Is 15/2*(-80)/(-25) a multiple of 19?
False
Let o(r) = -r**3 + 6*r**2 - 3*r + 2. Let p(d) = -d. Let l be p(-5). Does 12 divide o(l)?
True
Suppose 24*n - 1775 = 19*n. Does 24 divide n?
False
Suppose -3*a + 78 = 39. Does 3 divide a?
False
Let f = -9 - -8. Is 4 a factor of 13 + -3 + f + -1?
True
Suppose -5*z + 3*z + 2 = 0. Is -2*13*z/(-2) a multiple of 9?
False
Let r = 5 - 1. Suppose o + r*o - 120 = 0. Is o a multiple of 24?
True
Let t(n) be the first derivative of -n**5/60 + n**4/2 - 5*n**3/6 + 2*n**2 - 2. Let u(q) be the second derivative of t(q). Is 15 a factor of u(5)?
True
Suppose -j = 5*y + 3 + 10, -j - 3 = 0. Is (2 - 6)/y - -26 a multiple of 11?
False
Let c be 1 - (-3)/(3/5). Let b(r) = -r**3 + 5*r**2 + 7*r - 1. Let a be b(c). Suppose 0 = f - 23 + a. Is 9 a factor of f?
True
Suppose -3 = -3*n + 6. Suppose 44 = n*g - 88. Is g a multiple of 17?
False
Suppose -13*q - 466 = -15*q. Is q a multiple of 21?
False
Suppose 0 = 2*m - 8 - 2. Let v = m - 5. Suppose -u + b + 9 = v, 35 = 2*u + u + b. Is u a multiple of 9?
False
Is 22 a factor of (2/4 - 2)*(-2200)/33?
False
Let h(r) = 6*r**2 + 2*r. Let x be h(-2). Suppose -g + 2*b = -64, 3*b = -b + x. Does 23 divide g?
False
Suppose 5*l = -287 + 2757. Is 19 a factor of l?
True
Let k = -3 - -15. Suppose 2 = 2*s - o - 18, -2*s + 5*o + k = 0. Does 6 divide s?
False
Let w(u) = u**2 - 2*u - 4. Let k be w(4). Suppose -75 = -o - k*o. Is o a multiple of 5?
True
Let t(n) = 4*n. Let b be t(-1). Is 0 + 9 + (-8)/b a multiple of 11?
True
Let x(h) = h**3 + 11*h**2 + 3*h - 3. Is x(-9) a multiple of 12?
True
Let i(l) = l**2 - 9*l - 4. Let a be i(9). Is ((-33)/a)/(3/8) a multiple of 11?
True
Suppose -f - s = 2*f - 194, -2*f + 135 = -5*s. Does 7 divide f?
False
Let q(k) = 4*k**2 + 3*k + 3. Let o be q(-2). Suppose -o + 2 = r. Let c(v) = v**2 + 11*v + 16. Is c(r) a multiple of 10?
False
Suppose 3*u + 3*f - 15 = 0, 10 = -u + 4*f - 2*f. Suppose -4*c = 12, 2*c + 21 = r + 4*r. Suppose 0 = -2*z + 5*i + 20, -3*z + 0*z - r*i + 9 = u. Does 4 divide z?
False
Let b be (1/1 - 75)*-1. Let a = -104 + b. Does 7 divide (10/a)/(1/(-42))?
True
Suppose 5*u = -q, -2*q = 2*u - 4*u - 12. Let f = 1 - u. Let y(s) = 5*s**2 - s - 1. Does 6 divide y(f)?
False
Let c = 12 - 8. Suppose -4*k + 18 = -2*f - 2, 20 = -c*f + 4*k. Suppose 2*t = -f*t + 24. 