3?
True
Let j(b) = -11 + 4*b + 5*b**2 + 5*b**2 + b + 2*b**3 - b**3. Does 16 divide j(-9)?
False
Suppose -s + 4 = -5*w - 2*s, 5*w + 2*s = -8. Let x be 0/(-1 - (w + -3)). Suppose -5*r + r + 27 = p, x = -4*p - 2*r + 94. Is 13 a factor of p?
False
Suppose 0 = -4*m + 16, w + 0*m + 3*m - 16 = 0. Suppose 3*a + 6 = -d + 67, d - w*a - 33 = 0. Let c = d + -25. Is c a multiple of 12?
True
Suppose 0*c - 3*c = -24. Suppose 0*o = -2*o - c. Let u = 11 + o. Is 4 a factor of u?
False
Suppose 0 = -2*u - 0*u - 2*t + 2, -5*u + 5*t = -25. Is u a multiple of 3?
True
Let i(k) be the second derivative of k**3/2 - 9*k**2/2 - k. Let l be i(10). Let y = l + 3. Does 10 divide y?
False
Let p(l) = -7*l**3 - 3*l**2. Does 7 divide p(-2)?
False
Let j(h) = h**3 + 2*h**2 - 3. Let q be (-1)/4 + (-44)/16. Let c be j(q). Let x = 27 + c. Is 14 a factor of x?
False
Let w(z) = z**2 + 6. Let f be w(0). Let k = -1 - -5. Does 13 divide (-37)/(-3) + k/f?
True
Let j = -1 - -5. Suppose -j*k + 6 = -14. Suppose -3*n + 18 = -3*p, k*n = -p - 4*p + 50. Is 8 a factor of n?
True
Let x be 1 - -23 - 2/2. Suppose j + 4*i = 4*j - x, i = 3*j - 26. Is 9 a factor of j?
True
Let p(f) = -f + 22. Let b be p(0). Suppose 222 - b = 5*u. Is 9 a factor of u?
False
Let z = 91 + -2. Suppose 4*i - 23 - z = 0. Is 14 a factor of i?
True
Suppose 3*c - 3*p = -5*p + 20, -4*c - 4 = -5*p. Does 4 divide c?
True
Let q = 1 + 4. Suppose q*i - 61 = 24. Is 17 a factor of i?
True
Let g(t) = -9*t + 5. Let h be g(-5). Let p = h + -22. Is p a multiple of 14?
True
Let k be (-712)/(-56) - 2/(-7). Suppose -4*t = k - 5. Is 21 a factor of (122/10)/(t/(-10))?
False
Let w(g) = 0 - 4 - 4 - 15*g + 2. Is w(-3) a multiple of 15?
False
Let m(v) = 35*v**2 + 4*v + 2. Let b be m(-2). Let u be (-1)/5 - b/5. Let h = 63 + u. Is h a multiple of 18?
True
Suppose -4*n + m = -n - 232, 0 = 2*n - 4*m - 158. Is 5 a factor of n?
False
Let t(w) = w**2 - 7*w + 6. Let l(d) = 2*d + 2. Let y(g) = g**2 + 3*g - 7. Let o be y(-5). Let i be l(o). Is 5 a factor of t(i)?
False
Suppose -415 - 176 = -4*v + o, 2*v - 4*o - 306 = 0. Is 21 a factor of v?
True
Suppose 2*g = 5*x - 6, -4*g + 6 = 5*x - 12. Suppose 0 = 3*w + 15, -3*f + 7 = w - 6. Suppose m + f = x*m. Does 2 divide m?
True
Let a = -30 - -82. Is a a multiple of 13?
True
Let m = 0 + 14. Let t be (-4)/m + 484/28. Suppose 0 = 3*c - t - 22. Does 5 divide c?
False
Let f(d) = d**2 + 3*d. Let x = -4 + 5. Let g be (x + 0)/((-2)/10). Does 5 divide f(g)?
True
Let v be (2*1)/(2/(-16)). Let k be (-47)/(-4) + (-4)/v. Suppose -5*m = -k - 43. Is 7 a factor of m?
False
Let n(c) = c + 1. Let i be n(1). Suppose i*w + 5*o = -14, 2 = -3*w + 5*w + o. Suppose 2*m + 83 = w*v - 0*v, 3*m - 108 = -3*v. Is v a multiple of 18?
False
Let a = 0 + 3. Suppose 3*q = 3*u + 18, -6*q + a*q = -5*u - 20. Is u + (-24)/(-2 - 1) a multiple of 7?
True
Suppose -8*i = -2*i - 24. Suppose 0*v - 8 = -4*v. Suppose -6*z = -w - v*z + 47, i*w - z = 218. Does 19 divide w?
False
Let p(g) = 2 - 6 - 2*g + 5*g. Let q be p(3). Suppose -5*f = -10*f + 20, -3*f - 58 = -q*r. Is r a multiple of 7?
True
Let p be -2 + 2 + 2 - -2. Is 48*((-10)/p - -3) a multiple of 6?
True
Let p(h) = -h**3 + 5*h**2 + 5*h + 3. Let y be p(6). Let z(r) = -2*r + 2. Let t be z(4). Is y/t*(55 + 1) a multiple of 14?
True
Let p(z) = -12*z**2 + 2*z - 6. Let d = -8 + 12. Let h(o) = 12*o**2 - 2*o + 5. Let n(c) = d*p(c) + 5*h(c). Is 4 a factor of n(1)?
False
Let k be 2*(-2)/(-6)*3. Suppose -k*n - 3*u = 1, 0 = 4*n - 2*n - 4*u - 20. Suppose 5*o - 42 = -n*m + 2*o, -3*m + 26 = 5*o. Is m a multiple of 8?
False
Suppose d - 5 = -0. Suppose -30 = -3*t - r, -r = d*t - 24 - 28. Is t a multiple of 5?
False
Suppose 6*v - 3*v - 207 = 0. Is 16 a factor of v?
False
Let g = -22 - -18. Let a = g - -59. Is a a multiple of 12?
False
Let z(b) = -b**3 - b**2 + b + 1. Let c be z(-1). Suppose -5*l + 10*l - 200 = c. Is l a multiple of 9?
False
Let z = 156 + -19. Suppose 19 = 4*m - z. Is 8 a factor of m?
False
Let v(z) = -z**3 + 8*z**2 + 8*z + 12. Is 2 a factor of v(9)?
False
Suppose -2*r + 0 + 10 = 0. Is r a multiple of 4?
False
Suppose v = -0*v + 343. Let k = -171 + v. Is k/14 - 6/21 a multiple of 5?
False
Let a(k) = 13*k**2 + 4*k. Let l be a(4). Let d = 364 - l. Suppose 2*i + 2*i = d. Does 14 divide i?
False
Suppose -4*m - 5*r = -7*m + 19, -m - 17 = 3*r. Let n(i) = 2*i**3 - 4*i**3 + i**3 + 3*i**2 + 2*i. Is n(m) a multiple of 8?
True
Suppose 4*a - 4 = 4. Suppose 0 = 3*w - a*b + 5, -7 = 2*w - 5*b - 0. Does 13 divide w/4 + 157/4?
True
Let p = -9 + 69. Is p a multiple of 12?
True
Let b = -369 - -537. Is 21 a factor of b?
True
Let m(x) be the second derivative of x**5/20 - x**4/2 + x**3 - x**2/2 + 3*x. Let b be m(5). Suppose z - 24 = -2*o - 0, z + b*o - 24 = 0. Is 8 a factor of z?
True
Let d(a) = 19*a - 2. Let k be d(4). Is (1/2)/(1/k) a multiple of 11?
False
Let g = -35 - -38. Is 2 a factor of g?
False
Let v(u) = 6*u - u**2 + 4*u - 3 + 2*u - 4*u. Is v(7) even?
True
Let r be (2/4)/(1/(-2)). Let t = r - -49. Does 10 divide t?
False
Let j(d) = -d**2 + 7*d + 8. Is 7 a factor of j(6)?
True
Suppose 3*q - t - 12 = 2*t, 4*q - 7 = -5*t. Let i be (q/2)/((-6)/8). Is i*(-4)/(16/14) a multiple of 5?
False
Let d(q) = -q**3 + 5*q**2 + 10*q - 8. Suppose x - 30 = -4*x. Is d(x) a multiple of 8?
True
Let b(a) = 6*a - 14. Let w be b(11). Suppose -5*g + 167 = 3*c, -2*c + c + 2*g = -w. Is c a multiple of 18?
True
Suppose 4*w - 36 = 88. Suppose -w = 3*q - 4. Let f = q - -17. Is f a multiple of 4?
True
Suppose -8 = 5*s - 4*s. Suppose x = -0 + 2. Is 14 a factor of x/s + 153/4?
False
Let l(x) = 3*x + 3. Let p(u) = -u. Let f(y) = -l(y) - 4*p(y). Is f(5) a multiple of 2?
True
Let w(d) = -2*d**3 - 7*d**2 + 2*d + 6. Is w(-4) a multiple of 14?
True
Let a = -11 + 15. Let l = 6 - a. Does 6 divide (-3 + l)/(3/(-51))?
False
Suppose 2 = -4*v + 26. Let c(j) = 5. Let n(s) = -s + 4. Let r(f) = 3*c(f) - 4*n(f). Does 8 divide r(v)?
False
Suppose 14*w = 11*w + 108. Is 17 a factor of w?
False
Let c be 9/3 - 1 - 0. Suppose c*u = -u + 15. Suppose n - 5*n + 63 = 3*s, 0 = -u*n. Is s a multiple of 8?
False
Let v be (-20)/8*2*5. Let s be -2 - (-1 - (0 - 0)). Let n = s - v. Does 12 divide n?
True
Let f = -6 - -20. Is 7 a factor of (f/3)/((-2)/(-3))?
True
Let j be -2*((-2)/(-4) - 1). Let z(a) be the third derivative of 13*a**5/60 - a**3/6 - 2*a**2. Does 6 divide z(j)?
True
Let t = -426 + 714. Does 9 divide t?
True
Let n(a) = 25*a + 3. Let q be n(3). Let w = -49 + q. Let s = -9 + w. Does 13 divide s?
False
Let y(o) = -140*o + 16. Is 44 a factor of y(-2)?
False
Let y(k) be the second derivative of -1/3*k**3 - 1/20*k**5 - 3*k - 1/2*k**4 - 3*k**2 + 0. Is 2 a factor of y(-6)?
True
Let y(o) be the first derivative of 3*o**2 - 4*o + 15. Let f(m) = m**3 + 4*m**2 - 5*m + 5. Let w be f(-5). Is 12 a factor of y(w)?
False
Let g be 40/(-3 - (-17)/5). Suppose 0 = -w - 2*k + 8, 2*k + g = -0*w + 5*w. Is 17 a factor of w?
False
Let n = 3 + -2. Let x = -2 - n. Is 14 + 2 + x + 1 a multiple of 9?
False
Suppose -2*k + 109 + 183 = 0. Suppose k = 2*b - 4*b. Let n = b + 103. Is n a multiple of 15?
True
Let g = 26 - 8. Does 15 divide g?
False
Let r(z) = -z**2 - z - 1. Let c(b) = b**3 - 13*b**2 + 3*b - 9. Let x(y) = -c(y) + 4*r(y). Is 6 a factor of x(8)?
False
Let b = -97 - -142. Is b a multiple of 5?
True
Let q(y) = 5*y**3 - 5*y**2 + 6*y + 17. Let m(n) = -3 - 4*n**2 - 8 - 3*n**3 - 4*n + 7*n**2. Let r(o) = 8*m(o) + 5*q(o). Is r(4) a multiple of 15?
False
Suppose -3*l - 3 = 3*v - 15, -5*l + 4*v + 47 = 0. Suppose -25 = 2*w - l*w. Suppose 44 = w*o - o. Does 11 divide o?
True
Let f(i) = -5*i**3 - 3*i**2 + 4*i. Let r(o) be the first derivative of 3*o**4/2 + 2*o**3/3 - 3*o**2/2 + 1. Let d(b) = 2*f(b) + 3*r(b). Is d(1) a multiple of 7?
True
Let c(u) = u**3 + 4*u**2 + 3*u + 3. Let z be c(-3). Suppose 117 = 3*f + 3*t, -f = -z*f - 5*t + 81. Is f a multiple of 15?
False
Suppose 2*b + 2*b = 0. Is 12 a factor of 25 - (-2 - (b - 2))?
False
Let o = -73 - -47. Let q = -15 - o. Is q a multiple of 11?
True
Let t(b) = -b**2 - 5*b - 2. Let n be t(-3). Let j(s) = 2 - s**3 - 4*s**2 + n*s**2 + 3*s**2 + 3*s**2 - 5*s. Does 12 divide j(4)?
False
Let y = 29 + 13. Suppose -s + y = -2*x, -x = s - 4*x - 44. Is s a multiple of 15?
False
Suppose -4*t = 2*r - t - 29, 2*t = -10. Is r a multiple of 8?
False
Suppose 3*m - 8 = m. Is m a 