a multiple of 6?
False
Let c be (6/(-18))/(0 - (-1)/(-15)). Suppose b = 3*b - 3*s - 269, c*s = -2*b + 229. Is b a multiple of 31?
False
Suppose 3*p = -5*b + 25, 0 = -0*p - 3*p - 2*b + 10. Suppose h + 3*h - 112 = p. Is h a multiple of 7?
True
Let x = -13 - -24. Let i = x - 37. Let z = 46 + i. Does 5 divide z?
True
Let i(v) = -3*v**2 + 39*v - 24. Is 14 a factor of i(9)?
True
Suppose 0 = 3*c + 2*n - 1, -4*c - 4*n = -7*n - 24. Suppose c*p + 38 = 5*p. Does 3 divide p?
False
Suppose 0 = 138*m - 176*m + 26790. Does 5 divide m?
True
Let c be (2 - -3)*8/5. Let b(r) = -r**2 - 2*r + 8. Let q be b(-4). Suppose c*f - 11*f + 144 = q. Is f a multiple of 16?
True
Let j(y) = y**3 + 6*y**2 - 2*y - 13. Let k be j(-6). Suppose 0 = 5*o - 3*s + 4*s + 76, 0 = -4*s + 16. Let i = k - o. Is 12 a factor of i?
False
Let z(w) = -w**2 - 20*w - 27. Let h be z(-19). Let a(f) = f**3 + 10*f**2 + 11*f + 2. Is 7 a factor of a(h)?
True
Let x be 8/10 + 105/25. Suppose x*a + 0*a = 25. Is 4 a factor of a?
False
Suppose i = 5*z + 15, -3*i + 2*i - 6 = 2*z. Suppose 4*j - 16 = -4*x + 12, -4*j + 8 = i. Suppose -y + 297 = x*c, -2*c - 5*y = 3*c - 305. Does 16 divide c?
False
Let z be (5 - (-69)/(-9))*(-678)/(-8). Does 14 divide (-3)/(2 + z/112)?
True
Let l(m) = 4*m + 67. Let j be l(-16). Suppose -7*d = -j*d - 168. Is 3 a factor of d?
True
Suppose 6 = -2*y + 3*j, j = y + 5*j + 25. Let r be (30/(-9))/(6/y). Suppose c - 2*c + 3 = r*d, d - 50 = -4*c. Does 13 divide c?
True
Let h(j) = j**2 - 3*j - 3. Let i(r) = 4*r**2 - 13*r - 12. Let x(k) = 9*h(k) - 2*i(k). Is 3 a factor of x(3)?
True
Is 4 a factor of (-2)/8 + (-16709)/(-308)?
False
Let q(t) = -6*t - 67. Is 29 a factor of q(-16)?
True
Suppose -11*w + 1700 + 15097 = 0. Does 101 divide w?
False
Suppose 0 = -y + 4*i + 5320, -8*i + 10*i = 0. Does 152 divide y?
True
Let n = 213 + 66. Is n a multiple of 9?
True
Does 7 divide -7 - -483 - (-7 + 6)?
False
Suppose -t - 18 = -690. Is 12 a factor of t?
True
Let z = -1 - 1. Let o be (-2)/(z*1/18). Let a = 33 - o. Is 9 a factor of a?
False
Suppose -3*j - 3*p = -21, -3*j + p + 3 = -2. Suppose j*l - 768 = -3*r, 2*l + 3*l + 4*r = 1280. Suppose 0 = -4*c + l. Is c a multiple of 14?
False
Suppose -h + 4 = y, 8 = 2*h + y - 1. Suppose -3*b + 315 = -d, -h*b - 294 = 3*d - 819. Is 15 a factor of b?
True
Let c = 74 - 142. Does 11 divide (-4 - c) + 3 + -4?
False
Let o(u) = u**3 + 6*u**2 + 5*u + 4. Let s be o(-5). Let t be (-150)/(-4) - (-2)/s. Suppose -t = 5*p - 128. Does 5 divide p?
False
Let g = 5 + -4. Is 22 a factor of 200 - (3/g)/(9/6)?
True
Let o(f) = -f**2 + 9*f - 13. Let d(j) = 2*j**2 - 6*j + 6. Let r be d(3). Let p be o(r). Suppose -p*s + 28 = -3*n + 5*n, 5*n - 19 = -4*s. Does 3 divide s?
True
Suppose 3*z + 12 = -2*w - 3, 4*z = -5*w - 20. Suppose 2*a = 2*p + a - 9, 3*p - 3*a - 18 = w. Suppose 0 = -4*f + p + 17. Is f a multiple of 3?
False
Suppose 8 = 2*i - w, -i + 0*w = 5*w - 26. Let c be (4/(-6))/((-1)/i). Suppose c*m = 5*m - 61. Is 29 a factor of m?
False
Let g = -112 + 313. Is -15 + 15 - (g - -2)*-1 a multiple of 17?
False
Let y(m) = m**2 + 11*m - 5. Suppose -5*b - 51 = -2*b. Is y(b) a multiple of 11?
False
Suppose 0 = 3*c - 2*c + 4*z - 7, 2*z = 4*c - 10. Suppose -12 = -c*l - 3*l. Suppose 5*x = 4*x - 3*r + 5, l*r = -2. Is x a multiple of 4?
True
Let n(w) = -w - 3. Suppose -2*l + l = 6. Let q be n(l). Suppose 35 + 61 = q*d. Is 8 a factor of d?
True
Let c be (0 + -10*1)*(-53 - -52). Suppose 6*f + 216 = c*f. Is f a multiple of 6?
True
Suppose 20 = 5*s - 20. Suppose -a + s = 3*a. Suppose -a*h + 7*h - 345 = 0. Is h a multiple of 22?
False
Does 7 divide (207/(-46))/(2/(-364)*1)?
True
Let k = 66 - 60. Let v be ((-98)/(-3))/(2/6). Suppose -k*t = -4*t - v. Is 19 a factor of t?
False
Suppose 18326 = 8*w - 3482. Does 14 divide w?
False
Suppose 3*r = -1 + 7. Suppose 5*s = -r*f - 9, -3*s - f - 8 = -3. Is 21/(-14)*2*s a multiple of 2?
False
Suppose 3*w = -0*w, 0 = t - w - 28. Suppose t = 4*b - 3*b. Is b a multiple of 9?
False
Let v be (-6)/18 - 1/(-3). Suppose v = -2*f + y + 9, 0*f - 3*f + y = -15. Does 4 divide f?
False
Let n(i) be the first derivative of -2*i**3/3 - i**2/2 - 2*i - 11. Let x be n(-3). Let z(b) = b + 37. Does 5 divide z(x)?
True
Let b(k) = -24*k**3 + k**2 - 1. Let q be b(-2). Suppose 4*g = 5*p - q, 3*p - 4*g = -3*g + 117. Let c = p - -2. Is 29 a factor of c?
False
Let q be ((-140)/(-21))/((-2)/(-18)). Suppose 0*w = 5*w - q. Does 7 divide w?
False
Suppose 0 = -11*v - 11*v + 19844. Is v a multiple of 16?
False
Let t(w) = -1349*w + 118. Is t(-2) a multiple of 21?
False
Let q(s) = s**3 - 18*s**2 - 21*s - 1. Let j be q(19). Let o = j - -147. Does 13 divide o?
False
Suppose -3*k = -5*d - 83, 2*k + d = -d + 82. Suppose 0*f - 3*f = 4*f. Let r = k + f. Does 12 divide r?
True
Suppose -5 = -w, 3*w = -5*l + l - 5. Let i = l + 9. Suppose 4*k + 2*h = 160, -2*h = -i*k + 34 + 110. Is k a multiple of 13?
False
Suppose -o - 2*u = -3*o - 16, 4*o = -2*u - 56. Is 5 a factor of (-24)/(4 + 57/o)?
False
Let z(w) = -w + 3*w - 2*w - 6 + 12*w**2. Is z(-3) a multiple of 11?
False
Let n(t) be the first derivative of 3*t**3 + 2*t**2 + 10*t + 39. Is 36 a factor of n(3)?
False
Suppose 0 = -b - 6*b. Suppose b = -3*o + 85 - 22. Is o a multiple of 10?
False
Suppose 21*o - 56*o = -124950. Is 21 a factor of o?
True
Is 34 a factor of 20/(-30)*2/((-6)/4815)?
False
Let r(u) = -880*u**3 + u**2 + u. Let f be r(-1). Let l be (6/(-5))/((-11)/f). Is 4 a factor of (l/(-20))/(2/(-10))?
True
Suppose -162*z = -165*z + 2079. Is z a multiple of 33?
True
Suppose g + 4*g = 255. Let w = g - -123. Is w a multiple of 6?
True
Let t be ((-2)/4 - -1)*-538. Let x = t - -384. Let l = x - 58. Does 25 divide l?
False
Let y(j) = -j**3 - 6*j - 78. Is y(-5) even?
False
Let r(a) = 7*a**3 + 3*a**2 - a. Let k = -55 - -57. Does 11 divide r(k)?
True
Let v(s) = s**3 - 11*s**2 - 59*s + 46. Is v(16) a multiple of 10?
False
Suppose -3*l = -6*l + 66. Let f = l + -19. Does 4 divide 387/27 + 2/f?
False
Let x(j) = -2*j**2 + 17*j + 5. Let i be x(13). Let u = -199 - i. Is 29 a factor of (u/4)/(45/(-120))?
True
Suppose -3*f = f. Is 13 a factor of (0 - 0) + 20 - f?
False
Suppose 5*f - 1 = 14. Suppose z - 57 = n, -z - 283 = -6*z + f*n. Suppose -4*g + 119 = -p, -p = 2*g - z - 5. Does 15 divide g?
True
Let h(b) = 18*b**2 + 23*b - 89. Is 30 a factor of h(7)?
False
Let d be 1 + (-1)/3 + (-645)/(-45). Suppose 0 = -f - d + 27. Does 6 divide f?
True
Let r be -3*4*63/(-6). Let k be (19 - 4)*1*-5. Let n = r + k. Is 17 a factor of n?
True
Let y(g) be the third derivative of 11*g**5/20 + 5*g**2. Let v be y(1). Suppose 0 = -4*x - 5*p + v, -3*p = 5*x - 2*p - 57. Is 4 a factor of x?
True
Let m(r) = 5*r**3 - 10*r**2 - 3*r + 10. Let c(l) = 4*l**3 - 9*l**2 - 3*l + 9. Let q(v) = 4*c(v) - 3*m(v). Let b be q(5). Let k = 5 - b. Is 13 a factor of k?
True
Does 17 divide 2/3*(-150)/20 + 3966?
True
Let g(o) = 9*o + 3. Let c be g(-2). Let u(s) = -3*s - 11. Let r be u(-12). Is (-816)/c + (-10)/r a multiple of 18?
True
Suppose 2*c + 2*s = c - 15, 0 = 3*c - s + 31. Let u(t) be the third derivative of t**6/120 + t**5/5 + 5*t**4/12 + t**3/3 - 6*t**2. Is 2 a factor of u(c)?
False
Suppose 2*n + 10 = 2*f + n, 18 = 2*f - 3*n. Suppose -i - f*i = t - 35, 10 = 2*i + 2*t. Is (i/(-3))/(2/(-21)) a multiple of 23?
False
Let y be (-3)/(3/(-2)) - 3. Let f(x) = 52*x**3 - 4*x**2 + 2*x + 1. Let d(n) = 52*n**3 - 5*n**2 + 2*n + 1. Let q(z) = 4*d(z) - 5*f(z). Is q(y) a multiple of 12?
False
Suppose 2*v - 24 - 556 = 0. Does 14 divide v?
False
Suppose -3*y = 49 - 67. Let s(h) be the second derivative of -h**4/12 + 3*h**3/2 + 5*h**2/2 + 2*h. Is 11 a factor of s(y)?
False
Suppose 3*w - 3 = v, -4*w - 3*v - 9 = w. Suppose -2*r - 5*h + 11 = w, 2*h + 12 = -2*h. Is r a multiple of 2?
False
Suppose -14*w = -19*w + 3715. Does 32 divide w?
False
Let h = 1451 + -969. Suppose 0 = -2*p - 4*x + h, -4*p + 967 = 6*x - x. Is p a multiple of 27?
True
Let p(r) be the third derivative of r**6/180 - r**5/60 - 7*r**4/12 - r**3/3 + 11*r**2. Let t(g) be the first derivative of p(g). Is 17 a factor of t(6)?
False
Let v(x) be the second derivative of 5*x**4/12 + x**3/2 - 37*x**2/2 + x. Does 17 divide v(-7)?
True
Let a(u) = 4*u**2 + 90. Is 7 a factor of a(12)?
False
Suppose 4 = 4*l + 5*n - 7, 2*l - 3 = -5*n. Let p(u) = 2*u**3 - 5*u**2 - 2*u + 8. Is 3 a factor 