3 a factor of s/(-24)*6/4?
True
Does 22 divide ((-18)/6)/(2/(-26))?
False
Let k(r) = -2*r**3 + 17*r**2 + 9*r - 30. Let c(v) = -v**3 + 9*v**2 + 4*v - 15. Let b(m) = 5*c(m) - 2*k(m). Let p be 9 + 1 + 2 + -1. Is b(p) a multiple of 4?
False
Let d(c) be the first derivative of -c**4/4 + 2*c**3 - 6*c + 2. Let b be d(6). Let i(t) = t**3 + 8*t**2 + 7*t + 9. Is i(b) a multiple of 17?
False
Suppose 1 + 1 = -2*q. Let a = 9 + q. Is 8 a factor of a?
True
Suppose 0 = -3*o - h + 15 + 9, -5*o - 5*h = -40. Is o a multiple of 8?
True
Suppose 0 = -q - q - 2*w + 2, -14 = -5*q - 2*w. Suppose -3*l - q*k + 18 = -0*k, -3*l - 5*k + 18 = 0. Does 2 divide l?
True
Suppose 0 = -4*t + 6*t - 14. Let u be 145/7 + 2/t. Let k = u - 7. Does 7 divide k?
True
Let z(w) = w**3 + 7*w**2 + 4*w - 6. Let b be z(-6). Suppose x - b*x = -5*j - 30, 3*x - 14 = j. Is ((0 - j) + 8)/2 a multiple of 2?
False
Let u(d) = 6*d. Does 2 divide u(1)?
True
Suppose 52 = 2*h + 4*q - 6, 0 = 4*h - 2*q - 86. Is 23 a factor of h?
True
Let i(u) = -6*u**2 + 5*u + 4. Let p(f) = 11*f**2 - 10*f - 8. Let y(w) = 5*i(w) + 3*p(w). Is y(5) a multiple of 23?
True
Let w = 3 - 7. Is 226/6 + w/(-12) a multiple of 14?
False
Let w = -1 - -37. Let c = 52 - w. Suppose 5*f - c - 34 = 0. Does 5 divide f?
True
Suppose -2*z + 23 = -3*z - 4*b, -4*z + b = 7. Is 17 a factor of 1*((-50)/(-2) - z)?
False
Suppose -6*s - 2*f + 394 = -2*s, 3*s - 299 = -5*f. Is 7 a factor of s?
True
Suppose 2*k + 0 = 4*s - 4, 0 = -2*k + 4. Suppose 3*c - s - 67 = 0. Is 13 a factor of c?
False
Let p be (3/(-3) + 0)*4. Is p/2 + (-3 - -51) a multiple of 8?
False
Suppose -h - 1 - 11 = 2*i, -9 = -3*i. Let c = h - -34. Does 16 divide c?
True
Suppose -n - 21 = 5*s, 25 = -s + n + 4*n. Let i(t) = -t**3 - 4*t**2 + 4*t + 2. Does 3 divide i(s)?
False
Suppose s = b + 212, 6*b - 626 = -3*s + 4*b. Does 15 divide s?
True
Let j = -132 + 222. Does 30 divide j?
True
Let t(j) = 2*j**2 + 5*j - 4. Does 14 divide t(3)?
False
Suppose 0 = n + 3*n - 184. Is n a multiple of 12?
False
Suppose -126 = -2*l + 22. Does 37 divide l?
True
Let u(a) = -a. Let d(l) = 11*l + 4. Let i(z) = -2*d(z) - 18*u(z). Is 8 a factor of i(-8)?
True
Suppose -61 = 4*s - 149. Does 9 divide s?
False
Suppose -n - 3*s = 2*n - 147, 53 = n + 2*s. Is n a multiple of 37?
False
Suppose -4*t - 35 = -223. Let x = t + -31. Is x a multiple of 8?
True
Let y(o) = -5*o - 4. Let j be y(-8). Let w be 8/j - 412/(-9). Is w/6 + (-2)/(-6) a multiple of 8?
True
Let u(g) = -27*g**2 - g - 1. Let r be u(-1). Suppose 0 = -w - 14 - 31. Let b = r - w. Is 18 a factor of b?
True
Let m(o) = -o**3 - 2*o**2 + 2*o - 14. Is 59 a factor of m(-6)?
True
Does 4 divide (-4)/(-2)*(-133)/(-14)?
False
Let n(m) = m**3 - 5*m**2 - 5*m + 5. Suppose 0 = -5*c + 5*i + 5, 0 = c - 0*i + i - 11. Does 3 divide n(c)?
False
Let m(r) = -3*r + 3. Is m(-3) a multiple of 3?
True
Let g = -3 - -6. Suppose 16 = g*c - 26. Let u = c - -37. Is u a multiple of 19?
False
Does 4 divide ((-22)/66)/((-1)/75)?
False
Does 3 divide (4 - 32/12)*114/4?
False
Suppose -3*o - 6 = -5*u, 2*o - 3*u = 2*u - 9. Suppose -2*g - o*g = 0. Suppose 0 = -4*t - g*y - y + 76, -t = -y - 24. Does 10 divide t?
True
Let q be (-1)/(-1) - 0 - -1. Suppose -o + 5*o + 18 = 2*n, -n + q = 5*o. Is n a multiple of 7?
True
Let z(p) = -2*p - 5. Let n(l) = -l - 1. Let i(t) = -4*n(t) + z(t). Does 4 divide i(7)?
False
Suppose 0 = -5*p + 6 + 9. Suppose -5*d - 20 = 3*b, -4*b - p - 5 = 2*d. Let x(a) = -a + 10. Is 5 a factor of x(b)?
True
Suppose -5*h + 170 = 5*n, h - 35 = n - 7. Suppose -3*l - 5*c - 14 = 0, -2*l = 4*c + 3 + 3. Let k = h + l. Is 7 a factor of k?
False
Suppose m - 14 = -5*w, 5*w = -0*m - 4*m + 116. Is m a multiple of 10?
False
Let b = -3 - -8. Suppose -x - 16 = -4*n - 0*x, b*n + 4*x + 1 = 0. Suppose 0 = -2*j + n*j - 20. Is j a multiple of 20?
True
Let z(d) = 2*d**2 - 3. Let i be z(-4). Suppose -2*u + y = 3, -3*u = -3*y + 3 - 6. Let m = i - u. Is m a multiple of 14?
False
Suppose -2*q - 16 = -t + 8, -2*t + 44 = -2*q. Does 15 divide t?
False
Let d be 9/6*(-4)/(-1). Suppose -3*l = -12 - d. Does 3 divide l?
True
Suppose 4 = -4*m + 16. Let s(b) = 4*b + 7*b**m + 3*b**3 - 2*b**3 - 3*b. Is 4 a factor of s(1)?
False
Let n be 1/(2 + -1) + -261. Let w = -87 - n. Suppose 2*f + f = -4*o + w, 2*o = 5*f + 119. Is o a multiple of 19?
False
Suppose m + 2*u = 218, -m + u + 461 = m. Is m/54 - 4/18 even?
True
Suppose 3*k - 4 = 2*k. Let w be (-2)/(k/3)*-184. Suppose -w = -5*b - 71. Is b a multiple of 20?
False
Let r = 5 + -4. Suppose q - r = 5. Is 3 a factor of q?
True
Let r(j) be the first derivative of -j**4/4 - 8*j**3/3 + 7*j**2/2 + j - 3. Does 8 divide r(-9)?
False
Suppose 4*i - 19 = -3. Let t(o) = o**2 - 3*o + 6. Does 10 divide t(i)?
True
Is 10/((-22)/(-7) - 3) a multiple of 14?
True
Let g(y) = -y**3 + 13*y**2 + 5. Let r be g(13). Suppose -4*q - 3*n + 319 = 0, 71 = q - 2*n + n. Suppose -29 - q = -r*a. Is a a multiple of 6?
False
Let r(a) = -a**2 + 5. Let l = -4 - -4. Let o be r(l). Suppose o*y - 17 = 4*y. Is 17 a factor of y?
True
Let s = 395 - 45. Is s a multiple of 14?
True
Does 12 divide (38 + 4)*(-6)/(-7)?
True
Suppose 0 = 3*r - 0*r - 12. Suppose c + r*w - 20 = -0*w, -5*c + 56 = -2*w. Is c a multiple of 12?
True
Let r = -14 + 21. Is r a multiple of 2?
False
Let x(y) = -y**2 + 6*y. Let i be x(6). Let q = i - -17. Let f = q - 11. Is f a multiple of 3?
True
Let y = 14 + -6. Let p(v) = v**2 - 4*v + 5. Does 14 divide p(y)?
False
Suppose -l + 4*d + 14 = 0, 4 + 9 = -3*l + d. Does 10 divide 9/4*(-64)/l?
False
Let z = 41 - 2. Is z a multiple of 8?
False
Let c = 15 + 5. Is c a multiple of 4?
True
Let n = 415 + -241. Suppose -3*j + 24 + n = 0. Is j a multiple of 14?
False
Let q(v) = -v - 1. Is q(-4) a multiple of 2?
False
Suppose -5*m = 5*s - 425, s - 264 = -5*m + 157. Is 11 a factor of m?
False
Let s be 52/20 - 2/(-5). Suppose 25 = 4*z - s. Does 5 divide z?
False
Let g(n) = 5*n - 11. Is g(7) a multiple of 12?
True
Let p = -16 - -21. Suppose 0 = 5*z - 0*i - 4*i - 184, p*i = -4*z + 180. Does 13 divide z?
False
Let a(x) be the second derivative of -3*x**4/2 + x**3/6 - x. Let h be a(-1). Let q = h - -36. Is q a multiple of 14?
False
Let m(n) = -n + 24. Let j be m(17). Let x be (1/(-1) - 0) + 3. Is x/j + 687/21 a multiple of 16?
False
Let b = 4 + -4. Suppose 4*t - t - 144 = b. Is 13 a factor of t?
False
Let g(f) be the third derivative of -f**5/60 - 7*f**4/24 + f**2. Suppose -20 = 3*i + i. Does 5 divide g(i)?
True
Suppose 2*c + j = -j + 44, 4*c - 108 = j. Is 4 a factor of c/(-1)*(-2)/4?
False
Let c(b) = b**2 + 3*b + 4. Let z(h) = h**2 + 8*h + 5. Let i be z(-8). Suppose 4*y = -3*w - i, -w = y - 2*w + 10. Is 7 a factor of c(y)?
True
Let w(n) be the first derivative of -7*n**2/2 + n + 4. Let k be w(1). Is 596/11 - k/(-33) a multiple of 18?
True
Let w be 1 - -2*(-51)/(-6). Let g = 6 + w. Is g a multiple of 12?
True
Let d be ((-19)/2)/((-1)/6). Suppose d = 3*g - 2*u, 3*u = u. Is g a multiple of 5?
False
Suppose 3*t = -3*s - 2*s + 56, -4*t - 4*s + 64 = 0. Let v = 24 - t. Does 6 divide v?
True
Suppose 10 + 0 = -5*s. Is 16/2 - s - 1 a multiple of 3?
True
Let n(k) = -k**3 + k**2 - 2*k - 3. Let d = 11 + -13. Does 12 divide n(d)?
False
Let q = 1 - 5. Let t = q - -4. Suppose -j + t*j = -5. Does 5 divide j?
True
Suppose -4*c = 4*h - 612, -4*h + c + c = -612. Is 17 a factor of h?
True
Let g = -136 - -199. Suppose 0 = 6*m - 7*m + 4. Suppose 0 = -3*z + 3*v + g, -z - m*z + 2*v = -99. Is 12 a factor of z?
False
Does 21 divide 10/25 - 443/(-5)?
False
Suppose -2*u + 5*u = 0. Suppose u = -2*i - i + 261. Let m = i - 61. Does 13 divide m?
True
Let j = -4 - -2. Let s be (-2 - -3) + (-4)/j. Suppose 0*h - h = -3*d - 10, -4*h + 76 = -s*d. Does 11 divide h?
True
Let z(u) = -u**3 + 5*u**2 + 6*u - 4. Suppose -2*r + 4*n + 12 = 0, -4*n - 24 = -4*r - 5*n. Let m be z(r). Is 4 a factor of 2/((6/m)/(-3))?
True
Suppose 1 = 4*m + 5. Let o be (4 - 14)/(m*1). Let w(h) = h**2 - 8*h - 8. Is 9 a factor of w(o)?
False
Suppose -3*g = -2*l - 651, 0 = 5*g - 2*l - 199 - 890. Let d = -145 + g. Is d a multiple of 14?
False
Suppose 3*t + 24 = 3*s, 2*s - 2*t - 31 = -3*s. Suppose s*n - 17 - 3 = 0. Suppose -2*g = 4*l - 148, n*g + 100 = -2*l + 5*l. Is 18 a factor of l?
True
Is 9 a factor of (-3 + 5)*40/12*3?
False
Does 8 divide (-10)/(-15)*105/2?
False
Let p = -5 + -6. Let y(f) = f