 a. Is z a multiple of 17?
True
Let b(f) = 82*f + 7. Does 19 divide b(2)?
True
Let z(x) be the third derivative of x**6/120 + 3*x**5/20 - 11*x**4/24 - x**3/3 - 3*x**2. Is z(-10) a multiple of 5?
False
Let p = -90 - -228. Is 23 a factor of p?
True
Let q(h) = 25*h - 1. Let n be q(3). Let u = -41 + n. Suppose 4*w + u = 133. Is 13 a factor of w?
False
Let q = 9 - -1. Let x be ((-45)/q)/((-6)/(-8)). Let a(b) = b**3 + 6*b**2 - 2*b - 4. Is 4 a factor of a(x)?
True
Let n(v) = v**2 + 6*v + 7. Let g be n(-5). Let j = g - 3. Let c(z) = 10*z**2 + z + 1. Is 5 a factor of c(j)?
True
Let f(z) = z**2 + z + 11. Does 10 divide f(5)?
False
Let j = -1 - -5. Let i(x) = 2*x**3 + 3*x**2 + 2*x - 2. Let v be i(-2). Does 10 divide j/v*(-50)/2?
True
Suppose -8*j + 24 = -6*j - 5*a, -4*a - 6 = -j. Is j a multiple of 3?
False
Suppose -r - 5*t = -70, -3*r + 376 = r - 4*t. Is r a multiple of 15?
True
Suppose -2*q + 229 = u, 10 = 3*u - 5. Let p = q - 78. Does 17 divide p?
True
Let n(m) = 6*m**3 - 2*m**2 + m - 1. Is n(2) a multiple of 19?
False
Let r be (-13 - -1)*(-1 + 0). Let o = 57 + r. Suppose 0 = -3*y - 2*z + 191, z - o = -y - z. Does 21 divide y?
False
Let j be 2/(0 + 2)*-5. Let i(z) = -5*z + 5. Does 10 divide i(j)?
True
Suppose 2*a - 80 = 3*h, 0 = -5*a - 3*h + h + 200. Is 8 a factor of a?
True
Let l be (-2)/(-3) + 16/3. Let p = 6 - l. Let y = 15 + p. Is 15 a factor of y?
True
Let m(x) = 2*x + 13. Let o be m(0). Let d = 7 + o. Is d a multiple of 19?
False
Suppose -16 = x + 4*o - 0, -o = 5*x + 42. Suppose 51 = -4*g + 3. Let j = x - g. Is j even?
True
Let n(t) = t**3 + 4*t**2 - 5*t + 7. Let l be n(-7). Is l/(-4) - (-1)/(-4) a multiple of 13?
True
Suppose 5*c - 8 = 92. Suppose 2*g - g = c. Is 4 a factor of g?
True
Let b = -25 - -44. Suppose -b = 4*s - j, 2*s + 5*j + 1 = 6*s. Let k = 12 - s. Is k a multiple of 9?
True
Let j be 3*(-2)/(-4)*2. Suppose b - 138 = -j*g, -5*g - 3*b + 7*b + 213 = 0. Let u = g - 29. Is u a multiple of 8?
True
Does 7 divide 6/(-9) - (-436)/6?
False
Suppose 0 = -2*d - 0 + 4. Is 1/d*-6 - -10 a multiple of 5?
False
Let s(v) be the first derivative of -5*v**3/6 + v + 2. Let h(u) be the first derivative of s(u). Is h(-1) even?
False
Does 32 divide (0 - -304) + 20/(-20)?
False
Let x(f) = -6*f**2 - 3*f - 1. Let p(g) = g**3 - 5*g**2 - 2*g. Let i(y) = -3*p(y) + 2*x(y). Let u be i(-2). Let t = -17 + u. Is t a multiple of 8?
False
Is 4/(-14) - (-331)/7 a multiple of 16?
False
Suppose -5*b = h - 44, -2*h = b - 4*b - 75. Is h + (3 - 0)/(-3) a multiple of 19?
True
Let d(l) = -l**3 - 5*l**2 - 5*l - 7. Is 12 a factor of d(-5)?
False
Let y = 25 - 31. Let a(r) = -2*r + 0 + 4 - 1. Is a(y) a multiple of 4?
False
Suppose -3*k - 3 = -15. Let u(s) = -s**2 + 4*s + 4. Let i be u(k). Suppose -w = i*w - 45. Is 3 a factor of w?
True
Suppose z + z - s - 29 = 0, 20 = 4*s. Suppose 5*b - z = 23. Is 6 a factor of b?
False
Let j(y) = -1 + y + 2*y - 6*y. Is j(-6) a multiple of 11?
False
Is (-24)/(-5 - 1) - -26 a multiple of 30?
True
Is 23 a factor of 1984/18 + (-22)/99?
False
Suppose 123 = 2*l + 3*u, 3*l - 8*l - 2*u + 324 = 0. Does 11 divide l?
True
Suppose -k + a = -0*k - 37, -k + 39 = a. Is 4 a factor of k?
False
Suppose -222 = -2*s - b, -2*s - 454 = -6*s + 3*b. Is 14 a factor of (s/12)/((-8)/(-12))?
True
Suppose -218 = -2*x + 30. Suppose -k = -3*h + 313, k + 85 = 2*h - x. Suppose -2*v + 2 = 4*y - h, -v = 5*y - 125. Is 8 a factor of y?
True
Let a = 14 - 12. Suppose -18 - a = -v - 4*s, 0 = -2*v + 4*s + 100. Is 19 a factor of v?
False
Let y be 24/18 + 2/3. Suppose -2 = -d + y. Suppose 0 = 3*h - 15, d*x = -x + 4*h + 45. Does 13 divide x?
True
Suppose -m - 3*k - 36 = 0, 0*k = -3*k - 12. Let p = 72 + m. Is p a multiple of 24?
True
Let s(o) = 6*o + 1. Is 10 a factor of s(5)?
False
Let s(l) = -l - 1 - 1 + 12*l. Is s(4) a multiple of 14?
True
Let a be -5 - 3*(-6)/9. Let t be (4 + a)/(2/(-10)). Let h = t + 23. Is h a multiple of 18?
True
Let f(g) = -g**3 + 8*g**2 - 8*g - 5. Let m be f(7). Let i = 19 + m. Is i a multiple of 2?
False
Let a = -28 - -52. Suppose -5*v + 14 = -w - 34, -2*v + 2*w = -a. Is v a multiple of 9?
True
Let d(c) = 0 + 7 + c + 8. Let h be d(-7). Suppose -106 = -4*f - p, -3*f - 124 = -h*f + 3*p. Is f a multiple of 11?
False
Let r(b) = 8*b - 2. Let u be r(4). Suppose -3*v + 23 = -2*p, 0 = -4*v + 8*v - 3*p - u. Does 11 divide (33/(-4))/(v/(-24))?
True
Let n = -1 + 5. Is ((-6)/(-8))/(n/208) a multiple of 15?
False
Suppose -2*i - 8 - 30 = 0. Let l = i + 37. Is 4 a factor of l?
False
Let i(v) be the first derivative of -v**2 - 10*v + 3. Does 10 divide i(-13)?
False
Does 4 divide (68/(-7))/((-18)/63)?
False
Let q = 19 - 4. Suppose -h + 0*h + q = 0. Let n = h - 8. Is 7 a factor of n?
True
Let j(a) = -a**2 + 4*a + 1. Let q be j(4). Is 6/(-9)*(-12)/q a multiple of 5?
False
Let u(y) = 11*y**2 + 2*y - 2. Is 2 a factor of u(1)?
False
Let j = 54 + -4. Is 5 a factor of j?
True
Let j(o) = 2*o**3 + o**2 + o - 1. Suppose -9 = 5*n - 34, -4*c - 1 = -n. Does 3 divide j(c)?
True
Suppose 0*w - x = 3*w - 255, -w + 2*x = -78. Is 21 a factor of w?
True
Let s(h) = -21*h**3 - h. Let f be -1 - -1 - (-2 + 3). Let g be s(f). Suppose -4*k - g = -2*u, 3*u + 3*k - 69 = -0*k. Is u a multiple of 19?
True
Let d(s) = 4*s**2 - 2*s - 18. Is 14 a factor of d(-5)?
False
Suppose -57 - 53 = -2*z. Is z a multiple of 9?
False
Let h be ((-15)/(-10))/((-3)/(-4)). Suppose -3*g - h*g = -155. Does 12 divide g?
False
Is 24 a factor of (0 - (-24)/(-28))/(2/(-168))?
True
Suppose 0 = -3*c + 302 - 41. Let f = 128 - c. Does 11 divide f?
False
Suppose 5*t + n - 15 = -4, -2*t + 4*n + 22 = 0. Let d(a) = -a**3 + 3*a**2 + 4*a - 1. Is 11 a factor of d(t)?
True
Let o be 12/(-8)*(-8)/6. Suppose 2*w = 2*y - 2, o*y - 15 = -y. Let p(m) = -m**3 + 5*m**2 - 4. Is p(w) a multiple of 12?
True
Let n = -101 - -166. Is 8 a factor of n?
False
Let v(t) = -t**2 + 3 - 6*t + 4*t**3 + t + 3*t**3. Let w be v(3). Suppose -2*u = -5*f + w, -3*f + 40 = u - 63. Is f a multiple of 17?
True
Suppose 0 = -2*y - f + 279, -2*y - 2*f = -4*y + 288. Let o = y + -101. Does 12 divide o?
False
Let f = 15 - 13. Suppose 4*a - 72 = -f*a. Is a a multiple of 8?
False
Suppose -3*y + 173 = 3*j - 2*y, j + 4*y = 76. Does 21 divide j?
False
Let c(x) = -x**3 - 7*x**2 + 6*x - 5. Does 3 divide c(-8)?
False
Suppose -2*l = 9 - 59. Let r = l + -18. Suppose -147 = -5*w - r. Is w a multiple of 14?
True
Let d = 29 - -33. Does 10 divide d?
False
Let b(w) = 104*w + 1. Does 22 divide b(2)?
False
Let o(m) = -4*m + 23. Let x(b) = 5*b - 23. Let t(j) = 4*o(j) + 3*x(j). Is 4 a factor of t(7)?
True
Let d = 17 + -15. Let y(s) be the second derivative of s**5/10 + s**4/12 - 2*s**3/3 + 3*s**2/2 - s. Does 8 divide y(d)?
False
Let z(k) = -9*k + 2. Let u be z(-2). Suppose 0 = 2*w + 3*w - u. Suppose -n = -4*i + 72, 56 = w*i + 2*n + n. Does 7 divide i?
False
Let u = -4 + 34. Is u a multiple of 10?
True
Suppose -4*k - 1 = -81. Does 10 divide k?
True
Let m(t) = -4*t - 6. Suppose -2*k + 4*x + x - 21 = 0, -3*k - 4*x = -3. Let h(v) = 9*v + 11. Let a(l) = k*h(l) - 5*m(l). Is 12 a factor of a(-3)?
False
Is (-2*25)/(-5)*20 a multiple of 10?
True
Let c = 39 - -86. Is c a multiple of 44?
False
Does 4 divide 22/(3 + -4 + 3)?
False
Let i = -1 - -3. Suppose 5*f + 192 = 5*o + 4*f, 5*o + i*f = 201. Does 13 divide o?
True
Let j = -38 + 42. Let b(x) = 12*x**2 - x + 1. Let a be b(1). Suppose -j*q = -52 - a. Does 11 divide q?
False
Let c = -71 + 197. Does 21 divide c?
True
Let q(b) = -b**2 + 6*b - 3. Let i(c) = -c**2 + c - 1. Let h(j) = -2*i(j) + q(j). Let m be h(-3). Is 13 a factor of m/(34/18 - 2)?
False
Let o be (-60)/2*3/(-6). Suppose -3*y - 130 = -5*n + o, 143 = 4*n + 3*y. Is n a multiple of 23?
False
Let l be 2/8 - (-207)/4. Let x = l - 18. Let t = x + 1. Does 18 divide t?
False
Suppose -5*u + 12 = -3*u. Does 6 divide u?
True
Suppose 0 = -f, -3*x + 14 = -f + 80. Let h = x + 42. Suppose h = 4*u, 4*t + 2*u = -2*u + 104. Does 13 divide t?
False
Let u(s) = -10*s + 34. Let h(n) = -7*n + 23. Let k(o) = -7*h(o) + 5*u(o). Is k(-9) a multiple of 14?
False
Let x = 31 - -8. Is 13 a factor of x?
True
Let u = 3 - 5. Let a(j) = -16*j - 3. Let t be a(u). Suppose -5*s + 41 = -t. Is 14 a factor of s?
True
Let p(r) = 16*r - 20. Is p(6) a multiple of 29?
False
Suppose -3*w = 4*s - 87, -2*s - 39 = -3*s + 5*w. Does 10 divide s?
False
I