se
Let g(v) = -v. Let j(i) = -i**2 - 5*i - 6. Let y(s) = -2*s**2 - 11*s - 12. Let b(m) = 7*j(m) - 3*y(m). Let o(n) = -b(n) + 2*g(n). Is o(-6) a multiple of 15?
False
Suppose 3*k + 2 = -t + 28, -3*k + 190 = 5*t. Is t a multiple of 20?
False
Let o = -15 - -4. Suppose 0 = -n + 6*n + 90. Let m = o - n. Is 7 a factor of m?
True
Suppose -7*x + 216 = -365. Let w = 155 - x. Does 18 divide w?
True
Let g be 2/(-8) - (-74)/8. Let u(x) = 2*x + 2. Let v be u(g). Suppose 4*d + 5*m = v + 20, 16 = 4*m. Does 4 divide d?
False
Let v(z) = -z**3 - 5*z**2 + 7*z + 8. Let p be v(-6). Suppose -3*j + 2*q = -47, j + p*q - 14 = 15. Is 9 a factor of j?
False
Let s = 18 + 49. Let u = s - 28. Is 14 a factor of u?
False
Let i(b) be the second derivative of 0 - 1/6*b**3 + b - 1/2*b**2. Does 8 divide i(-9)?
True
Let d be -53 + (-2 - (-2 - -3)). Let z = d - -91. Does 7 divide z?
True
Let u(k) = 5*k**3 + k**2 + 11*k + 9. Let j(v) = -4*v**3 - 2*v**2 - 10*v - 8. Let i(h) = 4*j(h) + 3*u(h). Is i(-4) a multiple of 4?
False
Suppose q - 2*q = -8. Let f be (7/4)/(1/q). Is f/4 - (-2)/4 a multiple of 2?
True
Suppose 4*s + 68 = k, s - 141 = -2*k + 4*s. Does 24 divide k?
True
Let k be 1*4 + -2 + 1. Suppose 3*x = k*j + 141, -194 = -4*x + 2*j - j. Is x a multiple of 17?
False
Suppose 0*y - 5*y - 30 = 0. Does 12 divide 0 - 8*y/4?
True
Let w(a) = 84*a**2 + a - 2. Is w(2) a multiple of 42?
True
Let b(u) = -u + 14. Let p(o) = 4*o - 5. Let g be p(4). Is b(g) a multiple of 2?
False
Let c(f) = -16*f + 8. Let k be c(-6). Suppose -22 - k = -3*u. Is 21 a factor of u?
True
Suppose 5*n = -4*g + 138, 2*n + g - 3 = 54. Is n a multiple of 15?
True
Suppose 3*o = 4*f - 71, 97 = 3*f + 2*f - o. Is f a multiple of 2?
True
Suppose -3*h = 2*h - 20. Suppose h*k - 9 = o, 5*k + 4 = -5*o + 9. Does 11 divide (-9 + (-6)/3)/o?
True
Let a(n) = n**3 + 10*n**2 - 11*n + 7. Does 17 divide a(-9)?
True
Let n be ((-71)/2)/((-2)/4). Suppose -n + 2 = -3*l. Is l a multiple of 23?
True
Let v(a) = -a**3 - 4*a**2 - 5*a - 2. Let o be v(-3). Let m = 4 - o. Suppose m = x + 3*x - 120. Does 15 divide x?
True
Let m = 33 + -9. Does 15 divide m?
False
Let d(j) = -j**3 - 3*j**2 + 3*j - 2. Let s be d(-4). Suppose 28 = t + 2*i - s, -i = -5*t + 172. Does 17 divide t?
True
Suppose -4*b + 25 = 3*t, -t + 18 + 7 = 3*b. Is b a multiple of 8?
False
Does 19 divide (4 + -2 + -67)*-1?
False
Let l be 0/((-6)/(5 - 3)). Suppose 0*k + 5*k - 110 = l. Suppose k = 4*i - 18. Does 5 divide i?
True
Suppose 5*u - 9 = 6. Is u - 3/(3/(-23)) a multiple of 14?
False
Suppose 19 = -y + 53. Does 27 divide y?
False
Let m = -25 - -42. Let i = m - -31. Does 22 divide i?
False
Let q(j) = j**2 - 6*j + 5. Let g be q(4). Let z = g + 0. Let w = 0 - z. Is 2 a factor of w?
False
Let c be 9/(-4) - 2/(-8). Is (1/c)/((-6)/312) a multiple of 13?
True
Let p = -15 - -60. Suppose 2*r - p = -5*f, -f - 4*f + 2*r = -45. Is f a multiple of 3?
True
Suppose 5*s = 20, 0 = g - 0*g - 5*s + 22. Is 29 a factor of g - 124/8*-2?
True
Let c = -11 - -4. Let f(w) = -w**3 - 8*w**2 - 6*w + 7. Let d be f(c). Is 13 a factor of (49 + -1 - d) + 2?
False
Let z be 12/(-78) + 28/13. Suppose -5*c = -3*r, 5*r - z = 4*c + 11. Is r a multiple of 2?
False
Suppose -2*n = -3*n + 3. Suppose -3*o = 2*t - 81, 5*o = -4*t - 0*t + 161. Suppose -n*h = 12 - t. Is h a multiple of 9?
True
Let t = -1 + 3. Let q = 1 - t. Let m = q + 4. Is m a multiple of 3?
True
Suppose 16 = 2*z + 4*d, -d + 6*d - 20 = -z. Is 15 a factor of 17*(-1 + z + 2)?
False
Let t(h) = h**3 + 4*h**2 + 1. Suppose -4*d + 28 = -2*o, -2*o - 5*d + 7 = -10. Let y be -2 + o/2 + 1. Does 7 divide t(y)?
False
Let g(m) = m**2 + 3*m + 14. Does 8 divide g(-6)?
True
Let k(b) = 7*b - 14. Suppose 2*x = 2*q + q + 14, 0 = -5*x + 5*q + 40. Is 25 a factor of k(x)?
False
Let n be 20/(-8)*(-2 - 0). Suppose 0 = 2*s + n + 5. Does 4 divide (2 + -2 - s)*1?
False
Let k be 9*(1 - (-220)/6). Suppose 0 = 5*f - 2*f - k. Let q = f + -73. Is 20 a factor of q?
True
Let s = 2 + -5. Let k be (84/9)/((-1)/s). Suppose -2*h + k = 2*h. Is h a multiple of 7?
True
Let z(x) = x**2 - 2 - 3*x**2 - 2*x + 10*x**2. Let m be z(2). Let t = -14 + m. Does 6 divide t?
True
Let b(x) = -2*x - 1. Suppose 8 = -s + 5*s. Suppose 15 = s*l - 5*l. Does 4 divide b(l)?
False
Let n(y) = -9*y + 27. Is 15 a factor of n(-12)?
True
Is 26 a factor of 5/((-20)/(-232)) - -1?
False
Suppose -8*h = -4*h + 4. Let o be (h - -6) + (2 - 3). Let l(f) = -f**3 + 4*f**2 + 2*f + 5. Is 7 a factor of l(o)?
False
Suppose 4*y + 9 = -3*x, 4*y + 2*x = -0*x - 6. Suppose -m - 4*p - 2 = y, -4*m - p - 2*p + 31 = 0. Is m a multiple of 4?
False
Let m = 24 - -17. Is 11 a factor of m?
False
Is (-10 - -93) + (-1 - 0) a multiple of 35?
False
Let a(o) = -o**2 + 5. Let y be a(4). Let s = -7 - y. Let h(t) = -t**3 + 6*t**2 - 4*t + 3. Is h(s) a multiple of 5?
False
Suppose 0 = 4*x + j - 352, 2*x - 264 = -x - 4*j. Is 22 a factor of x?
True
Suppose 6 - 21 = -5*n. Let o = -12 - -14. Let f = o + n. Does 2 divide f?
False
Let d(q) = 12*q + 20. Is d(6) a multiple of 9?
False
Suppose 3 = -s + 3*w - 10, 5*s = w + 5. Suppose -2*b - 4 = -s. Is 3 a factor of 1*(b - 1)*-4?
False
Suppose o - 2 = -3*z, o - 3*z + 16 = -0*z. Let i(y) = -y**3 - 7*y**2 - 2*y - 2. Is i(o) a multiple of 10?
False
Is 4 a factor of 2 - ((-12)/3 - -1)?
False
Suppose -3*x - 16 + 76 = 0. Does 2 divide x?
True
Suppose -4*j + 3*j + 32 = 0. Suppose -p + 11 = -j. Let v = p + 3. Is v a multiple of 23?
True
Let a be (-2)/7 - (-1157)/7. Is ((-14)/(-6))/(11/a) a multiple of 11?
False
Suppose -32 + 6 = -2*m. Does 11 divide m?
False
Suppose 2*b + 60 = k, -3*b - 92 - 123 = -4*k. Does 25 divide k?
True
Suppose 2*o - 4*j - 18 = 0, 3*j + 2*j + 15 = 0. Suppose 3*w - 2 = 16. Suppose -o*u + 2*q + 21 = -w, -9 = -u - 4*q. Is 9 a factor of u?
True
Let v = -25 - -57. Does 8 divide v?
True
Let w = -147 + 215. Suppose -w = -4*c + 5*m, 14 = 2*c - 2*m - 22. Does 11 divide c?
True
Let t(i) = i**3 + 7*i**2 + i + 7. Let p be t(-7). Let a = p - -3. Does 2 divide a?
False
Let j(k) = -6*k + 16. Is 32 a factor of j(-8)?
True
Suppose -9 = o + 3*c, -18 - 46 = 4*o + 5*c. Let y = o + 30. Let b(x) = -x**2 + 11*x - 11. Is 7 a factor of b(y)?
True
Suppose 0*z - 5*k + 30 = z, 2*z - 16 = k. Is 10 a factor of z?
True
Suppose -3*q + 2 = -q. Does 5 divide -24*((-2)/q + 1)?
False
Let f = -81 - -133. Is 16 a factor of f?
False
Suppose 3*b - 34 = 8. Does 14 divide b?
True
Suppose 6 = -r - 6*n + n, 5*r - n + 30 = 0. Let u be 1/(r/3)*-16. Does 10 divide 1/(-4) - (-122)/u?
False
Let c(b) = -5*b + 17 - 8 + 3*b + 4*b + b**2. Is c(-7) a multiple of 11?
True
Let r = 11 - 9. Suppose -8 = f - r*f. Is f a multiple of 8?
True
Suppose 0 = -3*s + 38 + 13. Suppose -4*x + 75 = 2*w + s, -16 = -x - w. Is x a multiple of 13?
True
Suppose -3 = -m - 1. Suppose z - 6 = -m*z. Is ((-13)/2)/(z/(-4)) a multiple of 13?
True
Let i be 10 + (0 - (-2 - -2)). Suppose -2*c = -4*c. Suppose c*z + z = i. Is 10 a factor of z?
True
Is 15 a factor of 5/(5/22) + -2?
False
Suppose 13*j + 48 = 15*j. Is j a multiple of 6?
True
Suppose -5*s = -2*o + 506, -s - 4 = -0. Suppose -3*b = 2*i + b - 238, -5*b = 2*i - o. Does 30 divide i?
False
Let g = 24 + -14. Is 12 a factor of (1 - g)*4/(-3)?
True
Suppose -30 = 3*h - 8*h. Suppose -5*c + 5*t = -5, -9 + 25 = -4*t. Is 2/c - (-136)/h a multiple of 13?
False
Let m = -4 + 7. Suppose m*j - 101 = 67. Is 20 a factor of j?
False
Let s = -33 + 60. Does 9 divide s?
True
Let a = -12 - -24. Does 12 divide a?
True
Is 35 a factor of ((-3)/(-2))/((-3)/(-70))?
True
Suppose 0 = 4*i - 6*i + 318. Is i a multiple of 39?
False
Let n(g) be the first derivative of 0*g - 1 - 11/2*g**2 - 3*g**3 - 1/4*g**4. Is 12 a factor of n(-8)?
True
Let a = 159 + -72. Does 16 divide a?
False
Let x = 20 - 15. Is x a multiple of 5?
True
Suppose 5*z - 3*k - 2*k - 355 = 0, -4*z - 2*k + 308 = 0. Suppose 0*o - 2*o + 5*a = -z, 0 = 4*o - 3*a - 171. Is o a multiple of 15?
True
Let m be (-84)/(-15) + (-8)/(-20). Is (m/(-5))/(14/(-105)) a multiple of 3?
True
Suppose 0 = -0*p - 4*p + 5*w + 1430, 0 = -2*p - 2*w + 724. Is 15 a factor of p?
True
Suppose -3*w = 1 + 8. Let b = 17 - w. Is 20 a factor of b?
True
Does 17 divide (-41)/41 - -2*(-206)/(-4)?
True
Suppose -5*c - 5*y + 385 = 0, c - 80 = -2*y - 2*y. Is 19 a factor of c?
True
Let p = 17 - 10. Suppose -j - 3*m = 4, -j - 2*m - p = 2*m. Does 5 div