et s(x) be the second derivative of -x**4/12 + x**3/2 - x**2/2 + x. Let n be s(3). Does 15 divide z(n)?
False
Let s = -21 - -31. Let j = s - 10. Suppose j = 4*o - 9*o + 240. Is 16 a factor of o?
True
Suppose 4*y = -4*n - 42 - 34, 2*y - 5*n = -52. Let s = 25 - 56. Let m = y - s. Is 10 a factor of m?
True
Let v(x) = -x**3 - 8*x**2 + 9*x - 4. Let d be v(-9). Does 4 divide 3 - (0/d + -1)?
True
Let u = 9 - 3. Suppose 3*w = -o + u*o - 12, -2*w + 2 = 0. Is (o - -1)*(-12)/(-4) a multiple of 5?
False
Let d(r) = 6*r**2 - 10*r - 12. Is 18 a factor of d(6)?
True
Suppose -42*u - 144 = -45*u. Is 16 a factor of u?
True
Suppose 0 = 2*v - v - 60. Is 15 a factor of v?
True
Does 3 divide -6*((-4)/(-10) - (-70)/(-50))?
True
Suppose 0 = -16*k + 17*k - 60. Is 4 a factor of k?
True
Suppose -50 = -16*b + 14*b. Does 14 divide b?
False
Suppose -2*a + 4*b - 5 = 5, -4*a - 4*b - 32 = 0. Does 12 divide a/(30/(-9) - -3)?
False
Suppose 5*y + 3 - 23 = 0. Suppose 85 = n - 3*h - 8, 86 = n + y*h. Suppose -5*u - n = -8*u. Does 8 divide u?
False
Is 8 a factor of (-6)/18*48/(-5 + 3)?
True
Suppose -3*i = -4*d - 28, 4*i + 6*d - 2*d = 0. Suppose -q + i = -0. Is q a multiple of 2?
True
Suppose -2*y - 4*g + 60 = -0*y, 0 = 3*y - g - 76. Does 11 divide y?
False
Let v(c) = -c**3 + 5*c**2 + 4. Let m be v(5). Suppose m*a - 20 - 28 = 0. Is 12 a factor of a?
True
Let s be (-2 - 0) + 22/2. Let w = s + -6. Does 3 divide w?
True
Let v = -3 - -1. Let w(f) = 1 - f + f**2 + 2*f**2 + f**2. Does 11 divide w(v)?
False
Let i(p) = -p - 10. Let o be i(-6). Let y be (-4)/6 - o/6. Suppose -x + y*x = f - 13, -4*x + 44 = 2*f. Is 5 a factor of x?
False
Let v = 139 + -91. Does 10 divide (45/36)/(2/v)?
True
Let n(v) = 0 - 2 - 1 - 1 + 2*v**2 + 4*v. Is 12 a factor of n(-4)?
True
Let w = -30 + 20. Let i be 8/w*(-9 - -4). Suppose -8 = i*j - 6*j. Does 2 divide j?
True
Let p be (2 - 3)/((-2)/(-12)). Is (-231)/p - (-1)/(-2) a multiple of 11?
False
Let h(s) = -5*s**2 + 1 + 1 - 3*s - 3 + s**3. Is h(6) a multiple of 17?
True
Let a = 28 - 47. Let n = a - 49. Let v = -47 - n. Does 8 divide v?
False
Let h(f) = -5*f + 6. Let o(k) = k. Let z(b) = b**2 - 4*b + 4. Let u(a) = -3*o(a) + z(a). Let r be u(5). Is h(r) a multiple of 18?
True
Let q = -70 - -126. Suppose -2*c + q = 4*f, 0 = 4*f + 3 - 19. Is 4 a factor of c?
True
Let s(d) = d - 8. Let v be s(8). Let b = -2 - v. Does 12 divide ((-12)/(-9))/(b/(-24))?
False
Let c = -7 - -1. Let l = c + 29. Does 15 divide l?
False
Is (11 + -5)*(-2 + 46/3) a multiple of 16?
True
Does 7 divide 90 + (6/27 - (-42)/54)?
True
Let t be -3 - (-2 - 1 - 18). Suppose -i + 4*q = -4*i + 22, i - 4*q = t. Is 2 a factor of i?
True
Suppose 3*l - 3*k - 27 = 0, 0*k + 3*k = -2*l - 7. Let a = l + -8. Is (3 + a)*(-5 + 0) even?
False
Let l(h) = -h + 4*h + 0 - 2 + 2*h + h**2. Is 9 a factor of l(3)?
False
Let a(f) be the third derivative of -f**5/60 + f**4/3 + 5*f**3/3 - 3*f**2. Does 17 divide a(7)?
True
Suppose 3*q = -1 - 5. Let d be ((-1)/q)/((-1)/(-6)). Suppose d*f = f + 42. Does 10 divide f?
False
Let f(a) = a**3 + a**2 + 2*a + 2. Let u be f(-2). Let w(n) = n**2 + 4*n + 2. Let q be w(-6). Let p = q + u. Does 7 divide p?
False
Let l(u) = -3*u + 1. Let s be l(-1). Let h be s - (2 - 0) - -23. Suppose 0 = -5*o + 50 + h. Is 10 a factor of o?
False
Let p = 17 + -6. Let r = p + 10. Is 9 a factor of r?
False
Suppose 9 + 10 = 5*p - 3*k, 5*p = -2*k + 4. Suppose 0 = p*b + 4 - 70. Is 11 a factor of b?
True
Suppose a = -0 + 11. Is 11 a factor of a?
True
Let w(t) = 4*t**3 - 3*t**2 - 4*t + 1. Let y be w(3). Is 10 a factor of 1/((4/y)/2)?
False
Suppose 2*s - 100 = -2*s. Is s a multiple of 14?
False
Let h = -86 + 122. Suppose 3*m = -h + 141. Suppose 0*d - d - 15 = -2*c, 4*c - m = d. Is c a multiple of 5?
True
Suppose 0 = -2*o - 0 + 58. Does 12 divide o?
False
Suppose -2*s + 3*d = 6*d - 23, -2*s = 2*d - 20. Suppose s*f - 4*f = 12. Is f a multiple of 2?
True
Suppose 4*w - 9 + 1 = -2*y, 4*y = 4*w + 4. Let q be 12/(-2 + -1) + y. Does 6 divide (-18)/(q - 2/(-2))?
True
Let x be (-10)/((-1)/(-1)*-2). Suppose 0 = -3*t - 2 + x. Is ((-2)/(-6) - t)*-6 a multiple of 2?
True
Is (-2 - 68)*9*20/(-42) a multiple of 12?
True
Let j = 2 - 6. Let d be (-1 + 6)*(3 - j). Is d + (2 + -3 - 2) a multiple of 15?
False
Let v(m) = 2*m**2 + m - 7. Let o be v(5). Suppose 0 = -9*t + 5*t + 192. Suppose 4*s - o = t. Does 8 divide s?
True
Let g be ((-9)/27)/((-1)/243). Let p = -38 + g. Is 18 a factor of p?
False
Let z be (-1 + 2)/(-3)*9. Is 3 a factor of 0 + (1 + z - -5)?
True
Suppose -18 = -w + 2. Is w a multiple of 5?
True
Let u(z) = -z - 3*z**2 - 19*z**3 + 16*z**3 + 2 + 5*z. Does 15 divide u(-3)?
False
Suppose -2*a = -4*a + v + 89, 2*a + 5*v - 119 = 0. Does 9 divide a?
False
Suppose q - 2*x + 3 = 17, 20 = 2*q + 4*x. Is 8 a factor of q?
False
Let v = 1 + -3. Is -9*(-3 - v/1) a multiple of 5?
False
Suppose 3 = -4*j + 5*j. Suppose -f + 2*f - 20 = 5*v, -2*f + 68 = -j*v. Does 11 divide f?
False
Suppose 0 = 2*l + d + 1, 0*d - 2*d = 10. Suppose 4*q + 2 + 1 = 3*n, 0 = -l*q - 2*n - 12. Let s(t) = 5*t**2 - 2*t + 2. Is 15 a factor of s(q)?
False
Let b = -49 + 87. Let c = -8 + b. Is c a multiple of 10?
True
Suppose -20*u = -15*u - 170. Does 2 divide u?
True
Let n(a) = 4*a**2 + 13. Is 14 a factor of n(4)?
False
Let a be 8*4/(-6)*3. Let y = a + 4. Is 7/((-2)/y*3) a multiple of 5?
False
Is 23 a factor of 54/((-6)/16*-4)?
False
Suppose 0 = -l + 74 + 68. Is 16 a factor of l?
False
Suppose 5*i + 0*v + 3*v = 265, -3*v - 85 = -2*i. Does 11 divide i?
False
Let n be ((-190)/(-3))/((-1)/3). Let f be n/(-4) - (-3)/(-6). Suppose 2*y - f = -7. Does 10 divide y?
True
Let q(d) = -36*d - 18. Is q(-6) a multiple of 18?
True
Let t(y) be the third derivative of 11*y**5/60 - y**4/12 + y**3/2 + y**2. Let z be t(-3). Suppose 0*s + z = 3*s. Is s a multiple of 18?
True
Suppose -u - 13 = c - 3, 5*u + 38 = -c. Let r = u - -11. Is r even?
True
Suppose 0 = t - 7 + 2. Suppose 0*u + 4*y - 32 = 4*u, t*u + 3*y + 32 = 0. Let i(a) = a**2 + 3*a + 6. Is 17 a factor of i(u)?
True
Suppose 0 = 15*v - 10*v + 4*r - 212, -2*v = 4*r - 92. Is v a multiple of 5?
True
Let s be (16/8)/((-4)/14). Let i(o) = 3*o**2 - 8*o - 11. Let g(l) = -2*l**2 + 4*l + 6. Let b(y) = -5*g(y) - 3*i(y). Is 10 a factor of b(s)?
False
Let u(o) = -o**2 + 9*o + 1. Suppose 0 = -0*b + 2*b - 14. Does 5 divide u(b)?
True
Suppose -7*w + 8*w = -17. Suppose 0 = c + 72 - 27. Let i = w - c. Is i a multiple of 14?
True
Let t(r) = r**2 + 2*r + 3. Let a be t(-4). Let z(v) = v**3 - 13*v**2 - 6. Let w be z(13). Let d = w + a. Does 2 divide d?
False
Let b(y) = y**3 + y**2 + y + 38. Let j(x) = x**2 - 2*x - 4. Let r be j(4). Suppose 0 = h - r*h. Does 19 divide b(h)?
True
Suppose 4*y = -h - h + 10, -y - 14 = -5*h. Suppose 3*b + 0*b + h = 0. Is 15 - (b + -1 + 1) a multiple of 6?
False
Let m = 1 - 1. Suppose m*o + o = 28. Suppose -o = -p - k, -44 = -6*p + 4*p + 2*k. Is p a multiple of 9?
False
Let j = 3 + -3. Suppose j + 14 = q. Is q a multiple of 5?
False
Let b = 1 + 1. Suppose -3*x = b*x - 40. Is x a multiple of 3?
False
Is 189/9*((-28)/(-3))/4 a multiple of 27?
False
Let b be (-482)/(-8) - 11/44. Suppose -o - 3*o + b = 0. Is o a multiple of 5?
True
Let c(u) = 15*u - 10. Let t be c(7). Suppose -5*l = 85 + t. Is 10 a factor of 6/l + 61/6?
True
Suppose 128 = 4*d + 36. Is d a multiple of 18?
False
Suppose -2*w + 169 = -11. Does 10 divide w?
True
Let b be -1*(2 + -1 + 18). Suppose -2*x = -4*x - 66. Let j = b - x. Does 5 divide j?
False
Let k(q) = -15*q + 63. Is k(-15) a multiple of 22?
False
Let b(v) = -2*v + 8*v + 4 - v. Suppose -3 = 2*i - 17. Does 24 divide b(i)?
False
Let s be (-3 - -6)/(-3)*-67. Let f = 114 - s. Does 13 divide f?
False
Let f be ((-2)/5)/(4/20). Is ((-14)/4)/(f/16) a multiple of 28?
True
Let h(u) = 140*u**2. Is 28 a factor of h(-1)?
True
Let w(t) = -10*t - 10. Let u be 3 - 7*4/4. Is 11 a factor of w(u)?
False
Suppose 0 = 4*a + 2*y - 20, 2*a + 5 = 5*y + 39. Does 4 divide a?
False
Suppose 0 = 2*i + 3*i - 20, t + 3 = 2*i. Let c = 7 - t. Suppose -4*f + 0*n = -4*n - 108, c*n - 114 = -5*f. Does 12 divide f?
True
Suppose 5*h - r = 429, -2*h - 3*h = 3*r - 433. Suppose 3*t = 3*v - 4*v + 62, 4*t = 2*v + h. Does 20 divide t?
False
Let j(n) = 15*n - 19*n - 1 - 3 - n**3 - 3*n**2. Let v be j(-5). Let w = -22 + v. Is w a multiple of 18?
False
Let d(w) =