s 5 a factor of z(p)?
False
Let r(x) = -x**2 + 15*x + 17. Does 6 divide r(15)?
False
Let k(l) = 4*l**3 + 13*l**2 + 13*l - 11. Let o(t) = 5*t**3 + 14*t**2 + 14*t - 11. Let i(p) = -6*k(p) + 5*o(p). Does 10 divide i(9)?
True
Let m(k) = k - 2. Let r be m(8). Is (-3)/(2 + (-15)/r) even?
True
Let k be (-48)/(-18) + 1/3. Suppose -k*c - 135 = -8*c. Suppose 3*o + c = 2*w, 4*o - 1 + 27 = w. Is 6 a factor of w?
True
Is (2 - -6)*(-10)/(-2) a multiple of 9?
False
Suppose 2*d + 2*d - 24 = 0. Suppose -2*z + 10 = -3*s, -2*s + d - 1 = z. Is ((-5)/z)/(1/(-19)) a multiple of 7?
False
Let f(c) = -6*c**3 - 2*c**2 - 2*c - 2. Let s(i) be the first derivative of -i**4/4 - 8*i**3/3 - 2*i + 4. Let y be s(-8). Does 13 divide f(y)?
False
Suppose 5*h + 2*c - 153 = 0, -4*h + 120 = -5*c + 6*c. Does 6 divide h?
False
Let b(m) = m - 8. Let d be b(8). Suppose -f + d*f + 2 = 0. Does 2 divide f?
True
Suppose 3*n = -2*n - 130. Does 25 divide (-1 - 1)/(n/429)?
False
Let g(y) be the third derivative of -y**5/60 - 7*y**4/24 + 3*y**2. Is 7 a factor of g(-4)?
False
Suppose 4*m = 5*m - 96. Is m a multiple of 16?
True
Let d(t) = 27*t**2. Let b be d(-1). Suppose 0 = -h + 18 + b. Does 15 divide h?
True
Does 15 divide 0 - -2 - (-33 - 5)?
False
Suppose 4 = 2*v, 4*w - 2*v = 2*w + 36. Let h = w - 0. Does 10 divide h?
True
Does 8 divide 5*((-12)/48 - (-81)/4)?
False
Let u = 8 - 8. Suppose 0 = v + 3*g - 16, 68 = -u*v + 3*v + 5*g. Is 12 a factor of (0 + 0 - v)/(-1)?
False
Suppose 4*l = 2*h + 386, 0 = -3*h - 2*h - 25. Suppose 2*q + 3*c = 46, 0 = -4*q + 2*c - 7*c + l. Is 13 a factor of q?
True
Suppose -3*g + 489 = 2*m - 35, -4*g = -4*m - 712. Is 22 a factor of g?
True
Let w(l) = 6*l**2 - 2*l - 4. Let x(k) = 5*k**2 - 2*k - 4. Let z(m) = -3*w(m) + 4*x(m). Suppose 23 = 4*p + 3. Is 18 a factor of z(p)?
True
Suppose p = 5*a - 103, -5*a + 5*p = -84 - 31. Let s = a + 9. Does 11 divide s?
False
Let y(u) = u**3 + 7*u**2 - 12*u - 8. Let v(r) = 6*r - 6. Let b be v(5). Suppose -2*d - b = d. Does 12 divide y(d)?
True
Let s(h) = 84*h + 1. Let z be s(1). Suppose 3 = 3*b - 12. Suppose 5*u = -5*w - 25 + 150, z = b*u - 3*w. Does 9 divide u?
False
Suppose -3*w + 19 = p - 7*w, -5*w + 12 = 2*p. Is p a multiple of 11?
True
Let f = -510 + 343. Let w = -4 + 5. Is w/4 + f/(-4) a multiple of 14?
True
Let a be (3 - 44/12)*18. Let m = 21 + a. Is m a multiple of 3?
True
Suppose 4*x = 3*x - 5*n + 62, 2*x = -3*n + 138. Is x a multiple of 18?
True
Let l(g) be the first derivative of 1/4*g**4 - 7/3*g**3 + 12*g - 3*g**2 - 1. Does 13 divide l(8)?
False
Let y(s) = -s**3 + 13*s**2 - 9*s - 16. Does 4 divide y(12)?
True
Let v be (-93)/(-6) - 2/(-4). Let c = v + -32. Let l = 26 + c. Is 5 a factor of l?
True
Let z(l) = l**3 - 2*l - 6*l**2 + 0*l**2 + 8 + l**2. Does 18 divide z(6)?
False
Let n(u) = -u**3 - 6*u**2 - 4*u - 1. Let w(l) = -4*l**3 - 23*l**2 - 15*l - 3. Let a(j) = 9*n(j) - 2*w(j). Let y be a(-8). Is 21 a factor of 230/4*36/y?
False
Suppose 4 = 2*j + 2*v, 2*v = j - 0*v - 11. Let x = j + -2. Let c = x - -4. Does 4 divide c?
False
Let w(i) = i**2 + 8*i - 15. Does 9 divide w(-11)?
True
Let c(d) = -3*d + 6. Suppose -21 = -3*t + 33. Suppose -5*q + t = -4*m - 0*q, 0 = -4*m - 5*q - 38. Is c(m) a multiple of 11?
False
Suppose 5*p + 21 = -4. Let b be ((-6)/p)/(10/25). Suppose 0*a = -b*a + 30. Does 10 divide a?
True
Suppose 2 = -3*r + 4*r. Let u = r - -4. Does 6 divide u?
True
Suppose -4*v - 4 = 0, 2*v + 256 = 3*z + 7*v. Does 12 divide z*(20/(-12) + 2)?
False
Suppose -7*m + 2*m + 190 = 0. Suppose -a + 3*a = m. Does 19 divide a?
True
Let h(l) = -3*l + 1. Let m be h(-3). Suppose -o = -2*z + 6, 2*z + z - m = o. Suppose 92 = 4*c - z*k, k + 0*k + 2 = 0. Is c a multiple of 15?
False
Let v = -258 + 367. Is v a multiple of 32?
False
Let x = 114 - 52. Is 23 a factor of x?
False
Let r = -4 - -4. Suppose -4*b - 4 = -r*b. Let a = b + 9. Is 3 a factor of a?
False
Let a(g) = -g**3 - 8*g**2 - 7*g + 9. Does 3 divide a(-7)?
True
Let z = 8 + -5. Suppose -z*d = 2*d - 140. Is 14 a factor of d/8*(-2 - -6)?
True
Let b(h) = -34*h. Is b(-2) a multiple of 17?
True
Suppose 3*o + d = 89, -2*d + 4*d = -2*o + 58. Does 15 divide o?
True
Let b(a) = a**3 - 7*a**2 + 8*a - 4. Let i be b(6). Does 6 divide i + -2*1/1?
True
Let n(f) = -3*f + 3*f**2 + f**2 + 6 - 3*f**2. Does 10 divide n(4)?
True
Let l be 5*3*1/3. Suppose 42 + 188 = l*b. Suppose 0 = -i + 3*z + b, 0 = 2*i + 5*z - 176 + 62. Is 26 a factor of i?
True
Let w = -2 - -20. Is 9 a factor of w?
True
Let m = -83 + 96. Is m a multiple of 13?
True
Let d(s) = s**3 + 8*s**2 - 8*s - 8. Let i be d(-8). Let w = i - -4. Is w a multiple of 20?
True
Suppose -i - 2 = -0. Is 6 a factor of (-1)/i*132/6?
False
Let k = -17 + 17. Suppose k = -4*j + 139 - 27. Is j a multiple of 14?
True
Let y(w) = -w**2 + 6*w - 1. Let f(x) = -2*x - 9. Let l be f(-7). Let d be y(l). Suppose -2*i = -d*i + 60. Is i a multiple of 15?
True
Suppose 198 = 2*u - 3*p, -u = 5*p - 3*p - 99. Does 11 divide u?
True
Is 7 a factor of 12/(-4) + 1 + 19?
False
Suppose -z = 4*z. Suppose 104 = 4*b + 2*j, 3*j + 7 + 5 = z. Is b a multiple of 14?
True
Suppose 3 = -y - 0. Let j = 25 + -35. Does 9 divide (y - -2)*(j - -1)?
True
Let x be (-4)/(-18) + (-166)/18. Let t = -6 - x. Suppose 6*z - t*z = 78. Is z a multiple of 15?
False
Let v(k) = -k. Let d be v(4). Let r = 0 - d. Suppose -3*o - 109 = -r*i, 2*o - o = -4*i + 97. Is i a multiple of 10?
False
Let y(n) = -2*n**3 - 4*n**2 - n - 4. Let j be y(-3). Suppose 2*i - 8 = 2*m, 0 = -4*i + 2*m + 1 + j. Is 5 a factor of i?
True
Suppose 0 = 5*h + 2*k - 140, 4*h + k - 138 + 29 = 0. Is h a multiple of 13?
True
Let a be (0 + 2 - 3) + 22. Suppose p - 2*z - 40 = 0, a = 5*p + 5*z - 104. Is p/(-9)*(-4 - -1) a multiple of 10?
True
Suppose r + 2*t - 16 = 0, 3*r - 2 = -5*t + 45. Is r a multiple of 14?
True
Suppose -3*w + 128 = -3*n + 2, n = -2*w + 84. Is 14 a factor of w?
True
Let f = -184 - -106. Let o = -23 - f. Is o a multiple of 21?
False
Let o(c) = c**2 - 2*c + 12. Does 20 divide o(-6)?
True
Let h = 2136 - 808. Does 11 divide h/20 - (-2)/(-5)?
True
Suppose -15 = -2*b - 3*b. Suppose -b*g + 9 = -0*g. Suppose -g*r + 2*r - p + 56 = 0, 2*r - 133 = 5*p. Does 15 divide r?
False
Let w be 29/5 + (-2)/(-10). Let q(o) = -5*o - w*o + 4*o + 2*o**2 + 5 - 3. Is 15 a factor of q(7)?
False
Let h(y) = y**2 - 6*y + 3. Let q = 21 - 15. Let b be h(q). Suppose 0 = b*t - t - 18. Is 9 a factor of t?
True
Suppose 27 = b + 3*w - 6, 4*w = -5*b + 220. Is b a multiple of 24?
True
Let x(w) = w - 1. Let m(j) = 2*j - 2. Let g(p) = m(p) - x(p). Is 9 a factor of g(10)?
True
Let m(h) = -h**2 + 13*h + 18. Let l be m(14). Suppose 2*w = l*c + 52, -w + 2*w - 32 = -c. Does 10 divide w?
True
Suppose 5*z = 3*h + 336, -z = h - 2*h - 66. Suppose z = u + 5*f, 0 = -3*u + f - 5*f + 174. Is u a multiple of 18?
True
Does 10 divide (-20)/35 + (-495)/(-21)?
False
Let q = 15 - 26. Let y = q - -5. Does 9 divide y/(-4)*(7 + -1)?
True
Suppose -3*c + 2 = 3*r - 7, 4*r - 2*c - 24 = 0. Let o(t) = -5*t - 1. Let y be o(-1). Suppose -m = -r*s + 25, m = s - y*s + 7. Is 4 a factor of s?
True
Suppose 0 = -2*g - n + 2 + 11, 5*g + 3*n - 32 = 0. Suppose 25 = 2*z + 5*t - g, -2*z + 4*t + 68 = 0. Is z a multiple of 13?
True
Does 8 divide ((-8)/20)/((-1)/45)?
False
Let s(l) = -l**2 - 10*l - 6. Let z be s(-10). Let j(o) = 5*o - 11. Let g(u) = 4*u - 11. Let f(x) = -6*g(x) + 5*j(x). Does 2 divide f(z)?
False
Let z(p) = 3*p**3 - 9*p. Let t(h) = -2*h**3 + 6*h. Let m(g) = -7*t(g) - 5*z(g). Let a(l) = l**3 - 3*l**2 - 4*l - 3. Let k be a(4). Is m(k) a multiple of 8?
False
Let s = 81 - 47. Suppose k - s = -3*i, 2 = 2*i - i + 5*k. Is 4 a factor of i?
True
Let d(f) = f**2 - 11*f + 15. Let r(m) = -m + 10. Let l be r(0). Let h be d(l). Suppose h*i - 62 = 4*i. Is i a multiple of 21?
False
Let m(f) = 2*f**2 - 6*f + 7. Is 14 a factor of m(5)?
False
Let i = 6 - 4. Suppose r + 5 = i*r. Suppose -r*l - 48 = -2*h, 0 = 2*h - 4*h - 4*l + 12. Is 5 a factor of h?
False
Let b = 7 - 7. Let r = 16 + -10. Suppose b = -0*t + 3*t - r. Does 2 divide t?
True
Let r be -3*((-1 - 2) + 2). Suppose -l - 8 = r*c, 4*c - 13 = 3*l - 2. Let t(j) = -18*j**3 - j**2 + 1. Is 12 a factor of t(c)?
False
Suppose -2*p + 9 + 50 = -c, 152 = 5*p - 4*c. Does 14 divide p?
True
Let h(l) = -l**3 + 6*l**2 + 7*l - 1. Let j be h(6). Suppose -6 = t - j. Is 7 a factor of