et d(j) = -j**3 + 6*j**2 - j - 3. Let k be d(6). Let a = k - -13. Is a a multiple of 4?
True
Suppose 5*j = -n + 46, 2*n = -j - 0 + 2. Is 10 a factor of j?
True
Let p(b) = b**2 + 10*b + 8. Let s be p(-10). Is 29 a factor of 199/7 + s/14?
True
Let i(h) = -127*h + 2. Is i(-2) a multiple of 16?
True
Let c = -2 + 3. Does 2 divide 5/5 - c*-6?
False
Let a(w) be the third derivative of w**4/24 + 25*w**3/6 - 4*w**2. Let i be a(0). Let r = i - 8. Is 14 a factor of r?
False
Let w be 1/5 + 146/(-5). Let m = w - -40. Let c = m + -7. Is c even?
True
Let s be (-2)/8 - (-27)/(-4). Let h(i) be the second derivative of -i**3/2 + 3*i**2/2 + 4*i. Does 17 divide h(s)?
False
Let f(y) = -y**3 + 9*y**2 + 12. Let w(a) = a**3 - 4*a**2 + a + 5. Let d be w(4). Is 4 a factor of f(d)?
True
Let j(v) = 47*v**3 + 5*v**2 + 14*v - 12. Let h(u) = -16*u**3 - 2*u**2 - 5*u + 4. Let d(t) = -17*h(t) - 6*j(t). Let o be d(4). Does 9 divide (-2)/7 + o/(-28)?
False
Let j(v) = -v**3 + 2*v - 1. Let l be j(-2). Is l/(9/(-6)) + 7 a multiple of 5?
True
Let d be (0/(0 + -3))/1. Let j(k) = -k**2 - 7*k. Let n be j(-3). Let l = n + d. Does 4 divide l?
True
Let d(p) = p**2 + p + 72. Does 8 divide d(0)?
True
Let y = 62 - 29. Is 11 a factor of y?
True
Suppose -1 = 2*o - 3. Let q = o - 2. Let y(p) = -5*p. Is y(q) a multiple of 2?
False
Let t be ((-15)/(-6))/(-5)*0. Suppose -4 = -2*n - t. Suppose -n*m = -7 - 3. Does 5 divide m?
True
Suppose -82 = -2*r + 82. Does 12 divide r?
False
Suppose 0 = -4*u + 5 + 3. Suppose -16 = u*l - 98. Is 15 a factor of l?
False
Suppose -7*w + 622 = -5*w. Does 49 divide w?
False
Let x(b) = -5*b - 18. Is 6 a factor of x(-6)?
True
Does 29 divide -2 + 1/(-1 + 576/572)?
False
Suppose -3329 = -19*j + 737. Is j a multiple of 25?
False
Let z = 83 - 53. Let w = z - 11. Does 10 divide w?
False
Suppose 0*q = q + 6. Let u be (-3 - -2)/((-1)/q). Is 7 a factor of (3/u)/((-2)/28)?
True
Let b be 2/(-6) + (-230)/3. Let s = 128 + b. Does 13 divide s?
False
Let p(i) = -9*i + 2. Let g be p(-2). Let l = -17 + g. Does 2 divide l?
False
Suppose -4*m = -49 - 135. Is m a multiple of 12?
False
Suppose 3*f = -3*i - 87, -2*f + 3*f = -5*i - 129. Let n = i - -70. Is 12 a factor of n?
False
Let d = -303 - -539. Is d a multiple of 17?
False
Suppose 6*g - 126 = 3*g. Is 19 a factor of g?
False
Let r be (6 - (-3 - -1)) + -1. Let s = 25 - 11. Does 12 divide ((-18)/r)/((-1)/s)?
True
Suppose -2*p + 2 = 6*h - 2*h, 5*h - 5*p - 25 = 0. Suppose -h*s = -s - 10. Is 5 a factor of s?
True
Suppose 0 = 3*w - 15, -3*c + 3*w - 10 = 2. Suppose -25 = -q + 5*t + c, t = 5*q - 154. Is 8 a factor of q?
False
Suppose -3*p + 239 = h, 3*h - 945 = 2*p - 195. Does 31 divide h?
True
Suppose -332 = -4*a + 4*w, -w - 160 = -2*a - 5*w. Suppose -2*u = 3*h - a, 0 = h + 3*h + 3*u - 111. Is 12 a factor of h?
True
Suppose -2*n + 4 = 5*s, -s + 2 = n + 2*s. Suppose -10 = n*g - 7*g, -5*g + 16 = -3*x. Is 10 a factor of 1 + (x - -1)*-19?
True
Let g = 2 + -2. Suppose -2*y + 2*q - 58 = -4*y, g = -4*y - q + 101. Let z = y + -17. Is z a multiple of 3?
False
Let w be 4/(-14) - 3510/(-35). Suppose w = -c - c. Does 13 divide (-3)/(6/c) + 1?
True
Suppose 9 - 90 = -h. Is 9 a factor of h?
True
Let a = -13 + 15. Suppose -a*y + 15 = y. Is 4 a factor of y?
False
Suppose 63*v - 61*v - 10 = 0. Is 5 a factor of v?
True
Let g(l) = 15*l - 1. Suppose -18 = -4*w - 2. Suppose 0 = w*o - 0 - 4. Is 5 a factor of g(o)?
False
Let d = 108 + -62. Is d a multiple of 7?
False
Let k = -11 - -15. Suppose 2*y = k*y - 6. Suppose -40 = -y*s - 2*s. Is s a multiple of 8?
True
Let h be 6/(-27) + 264/(-27). Let r be (-40)/12*12/h. Suppose 5*w - 30 = 5*p, w + 2*w - 25 = -r*p. Is w a multiple of 6?
False
Suppose 5*o = 3*h, -3*o - h = -4 - 10. Suppose -15 = p - 5*r, -3*p - 5 - 4 = -o*r. Suppose -2*z - 7 + 17 = p. Is z a multiple of 4?
False
Suppose 4*g - 9*g + 60 = 0. Is g a multiple of 3?
True
Suppose -3*j + 5*j + 14 = 0. Let h = j + 20. Is h a multiple of 9?
False
Is 14 - ((-6 - -4) + 0) a multiple of 6?
False
Let b(r) = -r**2 + 17*r - 11. Let u be b(8). Suppose 4*c + 5*f = u, f = -5*c + 46 + 4. Does 4 divide c?
False
Suppose -7*h - 277 = -935. Does 47 divide h?
True
Let b(o) = o**3 - o**2 + o. Let g be b(3). Suppose -5*a = 1 - g. Suppose u + 42 = a*u. Does 5 divide u?
False
Let q(v) = 6*v**2 - 15. Is 15 a factor of q(5)?
True
Suppose 5*i = -5*q + 230, -q = 2*i - 0*i - 51. Let h = q + 37. Is h a multiple of 26?
True
Let s = 11 - -4. Is 11 a factor of (-203)/(-5) + 6/s?
False
Suppose -j + 26 + 112 = 0. Suppose 4*h - 162 = -3*m, -5*m - 5*h + j = -132. Is m a multiple of 18?
True
Suppose 9*p - 80 = 5*p. Is p a multiple of 10?
True
Suppose 3*z - 104 = -0*c - 5*c, 5*c - 107 = -4*z. Suppose -1 = 3*g + 2. Does 19 divide c/(2/g + 3)?
True
Let i = -69 - -101. Suppose t = -t + i. Does 8 divide t?
True
Let u be (-34)/(-8) - 2/8. Suppose 0 = -4*g + u*n + 92, 2*g - 27 - 24 = 3*n. Is 6 a factor of g?
True
Suppose 0*s - 3*s + 312 = 0. Does 12 divide s?
False
Let d(x) = -3*x - 2. Let f(r) = -r + 2. Let a = -8 - -18. Let w be f(a). Is d(w) a multiple of 11?
True
Let b(d) be the third derivative of d**5/60 + d**4/12 + 11*d**3/2 - 9*d**2. Is b(0) a multiple of 11?
True
Suppose -5*t + 133 = 3*d, t + 55 = d - 0*d. Is 17 a factor of d?
True
Let s(g) = g**3 - 5*g**2 - 6*g + 3. Let p be s(6). Suppose -4*t + 15 = p*h - 2*t, 3*h - 9 = -4*t. Suppose 0 = 4*y - h - 9. Does 4 divide y?
True
Does 7 divide (0 - (-130)/6) + (-10)/15?
True
Let k = 2 - -48. Is 25 a factor of k?
True
Let p be (-3)/3*5/(-1). Suppose -g - 24 + 10 = 4*u, 0 = p*u + 20. Is 8 a factor of g + (-3)/1 - -17?
True
Let v = 6 + -4. Suppose 6*z = 4*z - v. Let x(l) = -10*l. Is 7 a factor of x(z)?
False
Is 7 a factor of 25 - 1*(-2)/1?
False
Let t(g) = 2*g**2 + g. Let v be t(-2). Let h = 1 + v. Does 4 divide h?
False
Suppose 0 = -6*t + 9*t + 18. Is 4 a factor of (t + -1)*(-2)/2?
False
Let x(y) = -15*y - 10. Is x(-3) a multiple of 5?
True
Let q = 82 + -52. Suppose 5*p - q - 5 = 0. Does 6 divide p?
False
Let q = -218 - -321. Is q a multiple of 26?
False
Let s be -1 + 2 + (-4)/4. Suppose s = -6*a + 3*a + 36. Suppose 3*x - a = 3. Is x a multiple of 2?
False
Suppose 11 = -4*v + y, 5*v = y - 8 - 7. Is v*3/7*-7 a multiple of 10?
False
Let w(i) = i + 2. Let u be w(7). Let s = u - 5. Suppose s*n + y = 33, n - y + 0 - 12 = 0. Is 3 a factor of n?
True
Let v be 206/(-5) + 8/(-10). Let l = v + 60. Does 6 divide l?
True
Let g(k) be the second derivative of 14*k**3/3 - 2*k**2 - 2*k. Does 26 divide g(2)?
True
Suppose -3*x - 2*x = 3*r + 28, 5*x - 27 = 2*r. Let o = r - -15. Suppose -2*f - t - o*t = -19, -2*t = 2*f - 16. Is f a multiple of 7?
True
Let k be (-6)/(-4)*(-20)/3. Is 5 a factor of (-4)/k - 294/(-15)?
True
Suppose 0 = -3*y - 2*x + 170, -2*y + y = -2*x - 62. Is 15 a factor of y?
False
Let n be ((-6)/(-8))/((-1)/12). Let l = -13 - n. Is (-2)/l - 30/(-4) a multiple of 6?
False
Let w(c) = -c + 7. Is w(-3) a multiple of 3?
False
Suppose -5*z = -4*m - 366, -5*m - 22 = -2. Is z a multiple of 12?
False
Suppose -3*s + 0*s = -6. Suppose 5*v = m + 115, 91 = v + s*v - 5*m. Does 8 divide v?
False
Let l(a) = -a + 4. Let c be l(0). Suppose 0 = q - 0 - c. Is 4 a factor of q?
True
Let t(q) = 11*q**2 + 2*q + 2. Is t(-2) a multiple of 14?
True
Suppose -57 = -4*i + 3*i. Let m = -37 + i. Is m a multiple of 17?
False
Suppose 5*p - 10 = 3*j + 2*j, 0 = p + 2*j + 13. Let o = p + 3. Suppose -3*x - x + 24 = o. Is 6 a factor of x?
True
Let p(x) = x**3 - 6*x**2 - 5*x + 3. Is p(8) a multiple of 27?
False
Let x(a) = -2*a - 3. Let h be x(-3). Does 10 divide (-580)/(-30)*h/2?
False
Suppose 0 = -4*g + g. Suppose 4*s - 3*u + 5 = g, -1 = 5*s + 2*u - 4*u. Let q = s - -12. Is 13 a factor of q?
True
Let z(t) = -t**3 + t + 12. Let i be z(0). Suppose 0 = -3*h - i, 0 = -7*f + 4*f - 3*h - 30. Is 133/21 - (-2)/f a multiple of 5?
False
Let k(o) = 17*o + 4. Is 16 a factor of k(4)?
False
Let x = 42 + -12. Let u = -16 + x. Is u a multiple of 7?
True
Suppose 15 = 3*p, 4*p - 59 = -0*h - 3*h. Let i = 43 + h. Does 14 divide i?
True
Let c(r) = r**3 + 10*r**2 + 6*r + 3. Let p = -30 - -21. Does 12 divide c(p)?
False
Let z(c) = c + 6. Let w(n) = -n**2 - 6*n + 1. Let j be w(-7). Let b be z(j). Suppose b = -5*t + 95 - 30. Is t a multiple of 13?
True
Suppose f - 3*f + 55 = 5*n, f - 2*n - 32 = 0. Suppose 31 + f = o. 