**3 + 4*j**2 + 3*j + 5. Let h(p) = -p**3 - p**2 - p. Let t(n) = -2*h(n) - z(n). Is 17 a factor of t(4)?
False
Let o(t) be the third derivative of t**8/6720 + t**5/8 - t**4/24 + t**2. Let q(u) be the second derivative of o(u). Is 12 a factor of q(0)?
False
Let d(s) = -s**3 - 4*s**2 + 6*s - 2. Let j be d(-6). Suppose -k - 2*w + 22 = k, 3*k - j = -4*w. Is 4/k - (-68)/5 a multiple of 7?
True
Let q be 105/(3/(-27)*-3). Suppose -4*u = -197 - q. Let l = u + -90. Does 13 divide l?
False
Let f be (2 - 3 - -6)*2. Suppose 0 = -0*q - 5*q + f. Let r(k) = 8*k + 1. Does 17 divide r(q)?
True
Suppose -5*p - 2*p = -203. Is p a multiple of 8?
False
Does 11 divide (402/(-4))/((-39)/26)?
False
Suppose q = -4*p - 4, p = -4*p - 15. Let z(b) = b**2 - 8*b + 2. Is z(q) a multiple of 2?
True
Let s = -13 + 7. Let o = s + 12. Suppose 25 + o = z - 3*d, d - 3 = 0. Does 15 divide z?
False
Suppose 1 - 19 = -3*c. Let n(s) = s**3 - 5*s**2 - 3*s - 7. Is 11 a factor of n(c)?
True
Suppose 5*p - 5*i = -4*i + 373, -p - 4*i = -62. Does 11 divide p?
False
Let z(j) = -j + 10. Suppose 4*m + 23 = -9. Does 12 divide z(m)?
False
Suppose -u = -6*u + 430. Is u a multiple of 9?
False
Suppose 2*f + 4 = -2. Let h be (2 + f)/(-2)*18. Suppose -5*c + 3*v + h = 0, 3*v - 4*v = c - 5. Is 3 a factor of c?
True
Let b be (-12)/(-20) + (-394)/(-10). Suppose -d - b = -3*d. Is d a multiple of 10?
True
Suppose 0 = -5*z + 4*m + 807, -2*z = -2*m + m - 324. Does 30 divide z?
False
Suppose 0 = 3*z - 350 - 103. Suppose 5*v = b - z, 0 = -0*b - b - 3*v + 151. Suppose -5*m = 3*h - b, -3*m + 10 = 3*h - 131. Does 18 divide h?
False
Suppose 2*p + 3*t = p - 12, p + 4 = -t. Suppose a - 3*d + 20 + 22 = p, -5*d - 110 = 5*a. Let c = a + 44. Is 17 a factor of c?
True
Suppose 0 = -3*l + 4 + 11. Suppose g - l*g + 5*n + 135 = 0, -3*g - 4*n = -78. Is 15 a factor of g?
True
Let w(a) = 2*a**2 - 9*a - 7. Does 4 divide w(7)?
True
Is 31 a factor of 5/(15/12) - -89?
True
Let m(v) = -v**3 + 3*v**2 - 2*v. Let r be m(2). Let s be 3 - (-2 - -3) - -8. Is (1 + r)*(-2 + s) a multiple of 4?
True
Suppose -2*s = x - 10, x - s = 5*x - 19. Let l = x + 0. Suppose 2 = l*n - 3*n. Is 2 a factor of n?
True
Is (7 + -1)*-2*-1 a multiple of 7?
False
Suppose 0*r - 2*r + 4 = 0. Let j = 13 + r. Does 5 divide j?
True
Suppose 20 = 2*a + 2*a. Suppose k = 6*k + a*h - 40, -5*k + 70 = -h. Is k a multiple of 7?
False
Let f be (1 + -9)*(-4)/(-8). Does 10 divide f/4 + 21*1?
True
Let b = -47 - -72. Is b a multiple of 7?
False
Let a(w) = -18*w. Is a(-2) a multiple of 15?
False
Suppose 106 = n + 7. Does 11 divide n?
True
Suppose -3*d + 2*b - 4*b = 20, -4*d = b + 30. Does 13 divide (-249)/(-4) - d/(-32)?
False
Let p(i) = -i**2 - 2*i + 6. Let d be p(-3). Suppose -d = -t - 3*y + 30, -y + 81 = 2*t. Is 14 a factor of t?
True
Let v(d) = d**2 + 2*d - 6. Let o(h) = 4*h**2 + 9*h - 25. Let s(b) = -6*o(b) + 26*v(b). Is 29 a factor of s(-4)?
False
Suppose p + v - 7 = -3, 0 = p + 2*v - 6. Let z(u) = 2 - u + 0*u + 9*u**2 + 9*u**2 + 0*u. Is 25 a factor of z(p)?
False
Let z be (-1 - 2)/((-3)/2). Suppose -z*y = -1 - 5. Is 3 a factor of y?
True
Suppose 5*a - 3*h + 190 = 0, -h + 15 = 2*h. Let k be (-4)/(-10) - 1036/a. Suppose 2*s + 0*s + 4*n = k, 3*n + 88 = 5*s. Does 15 divide s?
False
Suppose 104 = 2*f + 12. Does 12 divide f?
False
Let j(u) = -u**3 + u**2. Let f be j(1). Suppose f = 4*r - 88 + 8. Does 10 divide r?
True
Let z(s) be the first derivative of 2*s**3/3 + 4*s**2 + s - 3. Is z(-5) a multiple of 11?
True
Suppose -2*y - 12 = -6*y. Suppose -2*n - y*l = -0*n - 7, 3*n = -2*l + 18. Does 5 divide n/(-24)*-3*9?
False
Let n(d) = -3*d - 4. Let f be n(-4). Let l be f + -2 + (2 - 0). Is 6 a factor of l/5*(-10)/(-2)?
False
Let u be (-32)/(0 - 1) + 0. Suppose 2*j + 17 + 25 = 0. Let q = u + j. Is 4 a factor of q?
False
Suppose 0 = -6*p + 3*p + 2*s + 168, -5*p - 4*s + 280 = 0. Does 10 divide (-16)/p - (-214)/14?
False
Let r(c) = c + 104. Let s be r(0). Suppose -5*a = -3*h + 155, -h + 3*h - 4*a = s. Does 19 divide h?
False
Is 6 a factor of 35/4*(11 + -7)?
False
Let h be 0 + 5 - (-2 + 5). Is 6 a factor of 9/6 - (-39)/h?
False
Let n(c) = -c**2 - 19*c - 5. Is 21 a factor of n(-8)?
False
Let v be 25/(-10)*4/(-5). Suppose -v*l + 12 = l. Does 4 divide l?
True
Suppose -2*m + 114 + 18 = 0. Is 12 a factor of m?
False
Let i(q) = -q**3 + 7*q**2 - q + 7. Let d be i(7). Suppose d = -5*v - 15, -5*h + 2*v - 4*v + 264 = 0. Does 13 divide h?
False
Suppose -4*v = 3*a + v - 19, -3*a - 4*v = -17. Suppose -a*x + 4*x = 18. Suppose -2*h + 9 = -g - x, g - 21 = -2*h. Is h a multiple of 12?
True
Let r = -361 + 686. Is r a multiple of 38?
False
Suppose -2*p - 3 = 3*d - 1, 3*p = -5*d - 3. Let g be (p/(-1))/(1/(-8)). Let z = 13 - g. Is 12 a factor of z?
False
Let w(y) be the first derivative of y**4/4 - 5*y**3/3 + y**2 - 3*y + 8. Suppose -11 = -2*m - 1, -2*x = -m - 5. Is w(x) a multiple of 3?
False
Suppose o = 2*o. Does 9 divide -3 - (-28 - (o + 2))?
True
Let m(f) = f**3 + 2*f**2 - f + 2. Suppose 3*c + 12 = -g, -3*c - c = -5*g - 3. Let z be m(c). Does 8 divide 2*(-1 + 0)*z?
True
Let q = -159 - -178. Does 5 divide q?
False
Let x = -33 + 81. Suppose 4*l - x = 4*t, 4*l = -5*t + 5 + 7. Does 4 divide l?
True
Let v(i) = 4*i**2 - i - 1. Let d = 8 + -4. Let y = d - 5. Is v(y) a multiple of 4?
True
Let t(l) = -l**2 - l - 3. Let k be t(0). Let z = 72 - 42. Let o = z - k. Does 12 divide o?
False
Let o be (9/4)/((-1)/(-56)). Suppose 0*h - o = -2*h + 2*r, 0 = -3*h + 2*r + 187. Is 11 a factor of h?
False
Let h(a) = a**3 - 2*a**2 + 2*a - 3. Let q be h(3). Suppose 2*o + 5*f = 25, 2*o = -o + f + q. Suppose -o*y + 47 = -108. Is y a multiple of 22?
False
Suppose 0 = x + 11 - 53. Is 18 a factor of x?
False
Let z(h) = -h**2 - 5*h + 3. Let k be z(-5). Is (260/(-6))/((-2)/k) a multiple of 13?
True
Let g(h) = h**3 - h**2 + h. Let c(r) = 4*r**3 - 14*r**2 + 7*r + 6. Let n(o) = c(o) - 5*g(o). Let u be n(-9). Let t = 8 - u. Is 9 a factor of t?
False
Suppose -5*y + 4*i = -75, -5*y + y + 2*i + 66 = 0. Is 6 a factor of y?
False
Let i be ((-4)/(-3) - 1)*9. Suppose -2*y = 3*z - 30, -i*y + 2*z + 40 = -y. Is 7 a factor of y?
False
Let l(q) = q**2 - 5*q - 9. Let m be l(10). Suppose -5 = -5*r, -r + 0*r = -2*w + m. Does 8 divide w?
False
Let w = -6 + 13. Let q = 12 - w. Suppose -24 - 21 = -q*v. Is v a multiple of 9?
True
Let p(o) = 120*o**2 - o - 1. Is p(-1) a multiple of 12?
True
Let f(z) be the first derivative of z**4/4 + 5*z**3/3 + 3*z**2/2 + z + 1. Let d be f(-4). Suppose -2*v - 129 = -d*v. Is v a multiple of 22?
False
Let s = 14 + -54. Let i = 18 - s. Is 4/10 + i/5 a multiple of 4?
True
Let q = 11 + -35. Is 3 a factor of 4/q - (-110)/12?
True
Suppose 105 + 51 = w. Is 13 a factor of w?
True
Is (-17 - -2)/((-3)/9) a multiple of 15?
True
Let b(c) = 2*c**3 - c + 1. Let t be b(1). Suppose t*f = -f + 45. Is 15 a factor of f?
True
Suppose -3*o = -5*o + 86. Let k(w) = w**3 - 7*w**2 + 5*w - 1. Let l be k(4). Let z = o + l. Does 14 divide z?
True
Let g(s) = -8*s**3 - s**2 + s + 2. Is 20 a factor of g(-2)?
True
Suppose 62 = 2*q - u, 3*q - u - 3*u - 98 = 0. Is q a multiple of 15?
True
Let z(r) = -r**3 - 17*r**2 + 7*r - 35. Is 17 a factor of z(-18)?
False
Suppose 0 = -o - 9 + 3. Let a(c) = 1 - c + 1 - 4*c. Is a(o) a multiple of 11?
False
Let l be (2 - 0/2) + -2. Suppose 0*w = 2*m - 2*w - 26, l = 2*w + 4. Suppose -2*i + 5*u - 17 = 0, -u + 2 + m = 2*i. Is 2 a factor of i?
True
Suppose -3*z = z - 624. Is 13 a factor of z?
True
Let p = -157 + 392. Suppose p + 33 = 4*d - 4*u, 0 = -5*d - 3*u + 327. Does 22 divide d?
True
Let f(m) = -22*m - 3. Suppose 4*x + 12 = 4. Is f(x) a multiple of 11?
False
Suppose -32*i + 208 = -28*i. Does 13 divide i?
True
Let u = 48 - 31. Suppose -5*w + 47 = u. Is 6 a factor of w?
True
Let c = 78 + -57. Does 9 divide c?
False
Let d be 5 + 0/(-2) + 1. Let b be (-105)/d*(-4)/5. Suppose -b = -r - 4. Is r a multiple of 5?
True
Let v = -45 - -75. Is v a multiple of 15?
True
Let y be (1 - -1)/(0 + 1). Suppose -y*a + 11 = -5. Does 12 divide 381/12 + 2/a?
False
Let m = -45 - -20. Is 8 a factor of (-930)/m - (-1)/(-5)?
False
Let k be (1/(-2))/((-3)/18). Suppose 5*w - 284 = -7*o + k*o, 3 = 3*o. Suppose 2*r - 8 = w. Is r a multiple of 28?
False
Suppose -a - 18 = 2*z - 5*z, a - 30 = -5*z. Let c(p) = -p**2 + 10*p - 3. Is 4 a factor of c(z)?
False
Let t(d)