0
Suppose 3*s = 2*v - 3, 2 = -v - 3*s + 8. Solve 3*b = -v*y - 6, -4*y = b - 3*b + 20 for b.
2
Suppose -3*w - 52 = w. Let j = w + 18. Solve 28 = 4*q - r + 5*r, 0 = j*q - 2*r for q.
2
Suppose 0 = -3*a - 5 + 11. Suppose 3*l = 2*x - 4 - 4, 3*x - 12 = 4*l. Let j be (-1)/((2/6)/(-1)). Solve l = -2*o - 4*h + a*h - 2, -j*h = -o - 1 for o.
-1
Suppose 13 = 8*r + 5. Solve -2*x + 3*w = 2, 5*x = 2*w + r - 17 for x.
-4
Suppose 0 = -y - 13 + 18. Let p be 4/10 + (-116)/(-10). Suppose -y*k + p = -18. Solve 0*j - k = 3*n + j, -j = n + 2 for n.
-2
Suppose -2*s + 5*n = -5*s + 11, -4*s - n = -43. Suppose -s = -0*u + 2*u. Let g = -3 - u. Solve g*r + 13 = 2*a, a + a = -3*r - 17 for a.
-1
Let a(c) = c**2 - 7*c + 10. Let z(p) = 5*p**2 - 36*p + 51. Let j(o) = 11*a(o) - 2*z(o). Let i be j(7). Solve -5*t - i = r - 4*r, 2*r - 18 = 4*t for r.
-1
Suppose 5*a = -4*h + h + 9, -a - 5*h = -15. Suppose a*w + 3*i + 20 = w, 0 = w + i - 8. Solve f - 2*b = -2, -4*b + b - w = 2*f for f.
-4
Let a be 1*-5 + 3 + -3. Let t(v) = v**2 + 2*v - 12. Let j be t(a). Solve j*i = 2*c + 3, -4*i + c + 8 = -9*i for i.
-1
Let m be (2/4)/(2/(-28)). Let v = m + 10. Let r be (-1)/(-1) - (-3 + 1). Solve -2*w + 0 = -u - 1, w = v*u + r for w.
0
Let y(m) = m + 14. Let b be y(-11). Solve 4*l + 22 = -2*h, b*h - 18 = l + 6*h for l.
-3
Let j = -17 + 17. Solve -5 = b, x + 18 = -j*x - 3*b for x.
-3
Suppose 6 = 2*b - 0*b. Let t = b + -3. Solve -25 = -w + 5*j, 3*j + 27 = 3*w - t*j for w.
5
Let j(l) = l - 5. Let o be j(0). Let a be (-2)/o - 14/10. Let c = -1 - a. Solve -5*i = c, 5*z - i = -3*i for z.
0
Let h be ((-30)/5)/(-1) + 4/(-2). Solve s - 4*i = h + 3, 4*i + 5 = 3*s for s.
-1
Let h(n) be the third derivative of -n**4/24 - n**3/2 - n**2. Let m be h(-5). Suppose -y + 26 = -6. Solve 4*d - m*d + o - 4 = 0, 5*d - 3*o = y for d.
4
Suppose -x - 10 = 5*h, x + 2*x = 4*h - 11. Let z(l) = 4*l**2 - 2*l - 1. Let r be z(h). Solve 0*i - p = -2*i - 6, -5*i - r*p = -15 for i.
-1
Let w be 4/(-1)*(-19)/(-4). Let p be (-8 - -5)*w/3. Let c = p - 3. Solve -5*n = -4*k + 2, 4*k + n - c = -n for k.
3
Let v(y) = -y + 11. Let p be v(9). Solve -p - 1 = x + 5*j, 0 = -3*x + 2*j - 9 for x.
-3
Let i = 30 + -28. Solve 0 = -l - i*f + 3, -5*l + 8*f = 5*f + 11 for l.
-1
Let i(w) = w**2 - 4*w - 1. Let u be i(5). Solve u*f = 3*v + 5, -3*v + 0 = 2*f - 7 for v.
1
Let u be 1 + -3 + (-10 - -14). Solve 5*r + 0*s + 1 = u*s, -16 = -r - 5*s for r.
1
Let r(u) = u - 6. Let x be r(6). Let k(p) = 3*p**3 - 1. Let v be k(1). Suppose 5*a = -5, 3*h = -0*a - 5*a + 10. Solve -t + h*s - v = 0, x*t - t = -3*s for t.
3
Suppose y = -2*o + 3, -4*y = -4*o - o - 25. Solve 2 - 6 = -5*g + 4*b, -2*g - 5*b = y for g.
0
Let t = -53 - -57. Solve 0 = g - 4*l - 1, -t*g - 2*l + 4 = -0*l for g.
1
Let g = 7 + -7. Let b be g + 4*(1 - 0). Suppose -v + 9 = -2*a, b*v + a = -a - 4. Solve 2*z - i + 10 = -v, -2*z - 5*i = -7 for z.
-4
Let r = 5 + 0. Suppose -2*q + r*q - 15 = 0. Solve 2*u + 5*f = 19, 0 = -q*u + 4*f - 35 for u.
-3
Suppose -5*v + 1 - 6 = 0, -3*v - 7 = -2*i. Solve h = -f - 6, 5*f + i*h - 4*h = -2 for f.
-2
Suppose -4*t + a + 3 = -3*t, -4*t = -2*a - 10. Solve 0 = -t*j - 4*g + 20, g - 6 = j - g for j.
2
Let v be (-4)/(-6)*-3*3. Let p be ((-2)/3)/(v/45). Solve -4*l - 3 = -k - 2*l, -2*l + 15 = p*k for k.
3
Let h(x) = x**2 - x + 3. Suppose 0 = -2*y + 8. Let m be h(y). Suppose m = 5*f + k + 2*k, 4*k = 3*f - 9. Solve -3*v + 9 = 3*j - 7*j, 15 = 5*v - f*j for v.
3
Suppose o + 3*g = -6, 8 - 2 = o - g. Let f = -3 + 3. Suppose -o + f = -i. Solve -9 = -i*n, 9*n - 16 = -d + 4*n for d.
1
Let f(v) be the second derivative of -v**4/12 + v**3/6 + v**2 + 2*v. Let q be f(2). Solve 5*k - 27 = t - q*t, 5*t = -k - 5 for t.
-2
Suppose j + z + 16 + 2 = 0, 4*j + 5*z + 69 = 0. Let t = j - -23. Suppose 0 = 5*p - 2*p - 12. Solve -4*i = -2*x - 20, p*i + 5*x + t = 2*i for i.
4
Suppose 20 = 4*k, 2*u - 5 = 6*u - 5*k. Let w be 0/(u - (-4)/(-1)). Solve -4*o = 5*j - 19, -3*o - j + 4*j - 6 = w for o.
1
Let q(k) = -2*k - 7. Let d be q(-5). Let t = d + -1. Suppose 0 = -t*n + n. Solve n = -5*l + 5*i - 20, -5*l + l - 16 = i for l.
-4
Let r be 2/(-3) - 574/(-42). Let a be 6/15 - r/(-5). Solve -5*i = -a*t + 2, t - 4*i - 1 = 2 for t.
-1
Let x = -2315 - -2318. Let f be ((1*3)/1)/(-1). Let z = 8 + f. Solve u + 5*w = -3*u - 4, -x*w = -z*u - 5 for u.
-1
Let f be 1/((-2)/4) + 0. Let k(a) = -a**2 - 3*a + 2. Let n be k(f). Solve 0*b + 9 = -c + n*b, -5*c + 2*b - 27 = 0 for c.
-5
Let n(c) = 4*c + 3. Let t be n(5). Solve 0 = 2*m + 2 + 2, 3*y - 4*m - t = 0 for y.
5
Suppose -5*j + s = -100, 0 = -5*j - 8*s + 3*s + 130. Suppose 0 = 6*q - 3*q - j. Solve 4*w = a - q - 8, -a + 3*w + 12 = 0 for a.
3
Let w = 42 + -39. Solve c - 12 = w*r, 2*c + 1 = -0*c + r for c.
-3
Suppose 0 = -0*r - 2*r + 4*t - 10, -5*r + 27 = 3*t. Let q = -65 - -69. Solve -4*s + 4 = -5*i, -q*s = -s - r for i.
0
Suppose -p - 5 = 0, -4 - 9 = -4*z + 5*p. Let f = z - -8. Solve 0 = -m - 2 + f, -3*m + 17 = -2*w for w.
-4
Let b(i) be the third derivative of -i**5/60 + i**4/4 - 4*i**2. Let f be b(6). Solve 0 = -5*l + n + 4*n + 30, -3*l + 5*n + 28 = f for l.
1
Let s(v) = v**3 + 7*v**2 - 8*v - 1. Let b be s(-8). Let i be (-6*1)/2*b. Solve -2*t = 5*a + 8, t - i = -4*t - a for t.
1
Let b(o) = 3*o**3 - o**2 - o. Let s be b(-1). Let y = s - -5. Let v = 7 - y. Solve 0 = -k - 5*h - 5, v*k + 2*h = -2*h - 25 for k.
-5
Let l(x) = 2*x**2 + 3*x - 1. Let z be l(-3). Suppose 4*t = z*t + q - 22, 4*q - 28 = -4*t. Solve 1 = -n - w + t, 5*n - 12 = -w for n.
2
Let h = -1 + 3. Suppose 0 = -h*f - 3*d + 2, -4*f - 5*d = -11 + 5. Suppose 2*z - 6 = f. Solve -9 = -z*s + 2*i, 1 = -4*s - s - 3*i for s.
1
Let p(n) = -n - 2. Let s be p(-5). Suppose -3*i + 18 = 3*q, -q + s*q - 2*i = 0. Suppose 0 = -13*k + 15*k - 6. Solve 4*y - 5*g = 32, -y + k = 4*y + q*g for y.
3
Suppose t + 8 = 3. Let n = t + 8. Suppose 0 = n*w - 5*w + 4. Solve 4*v - 3*r = 18, 5*v - w*r - 16 = 3 for v.
3
Suppose -5*z + 28 - 8 = 0. Suppose 2 = -s, 0*q - q - z*s + 2 = 0. Solve -5*m = 4*n + 26, m = 3*n + q - 0 for n.
-4
Suppose 3*j = 8*j - 25. Solve -2*g + 6 - 4 = -2*d, -j*g - 3*d = 35 for g.
-4
Let u = 32 + -32. Solve 2*h = u, 3*p + 0*h + 15 = -3*h for p.
-5
Let y(j) = -2*j**2 + 29*j + 15. Let n(p) = -p**2 + 14*p + 7. Let m(g) = 5*n(g) - 2*y(g). Let d be m(12). Solve -2*t + d*x = 5, 2*x - 1 = 5*t + x for t.
0
Let t be 6/15 - ((-22)/(-5) + -6). Solve -5 = -3*b - 5*h, -b + 2*b + 2 = t*h for b.
0
Let n(h) = h**2 + 9*h + 10. Let u be n(-10). Solve 3*z + 2 = -0*z - i, 4*i = -u for z.
1
Let m(b) = b - 4. Let q(y) = -1. Let n(p) = m(p) + 4*q(p). Let w be n(10). Solve -w*v - 3*v = -t - 15, -4*v + 3*t + 23 = 0 for v.
2
Let p be (-2)/(-3)*(3 - -9). Solve 2*n = 5*b - 17, -4*b + 2*n = -20 + p for b.
5
Let c = -100 - -102. Solve 0 = -4*y + c*f + 4, -1 = -3*y + f + 1 for y.
0
Let f be -1*1/((-1)/3). Suppose -6*h + f*h + 15 = 0. Suppose 0 = 3*b - 8 - 1. Solve h*v - b*u = -u + 4, -4*u - 8 = v for v.
0
Suppose n + 2*z = 3*n - 42, -2*n + 49 = 5*z. Solve s + 2*o = 5*s + n, -5*s = 4*o - 5 for s.
-3
Let j = 83 + -81. Solve j*g + 5*b + 7 = 0, -4*b = 5*g + b + 10 for g.
-1
Let p(d) = -2*d**3 - d**2 + 6*d + 5. Let u be p(-2). Solve -3*c + l - u*l + 18 = 0, 0 = -3*c - 2*l + 12 for c.
2
Suppose 0*o = 2*o - 4. Let w(c) = -2*c - 3. Let q be w(-4). Solve -5*k - 3*h = -14, -h + 0*h = o*k - q for k.
1
Let l(m) = 2*m**2 + 2*m - 10. Let n be l(-7). Suppose 4*a - n - 10 = 0. Solve 0 = -5*q + r + 17, -5*q - 3*r + 8 + a = 0 for q.
4
Let x = 8 - 3. Suppose -2*p = -b + 5*b - 24, -p = x*b - 27. Solve -k = c + p*k - 3, 5*c + 21 = 3*k for c.
-3
Let c be ((-2)/(-4))/((-2)/(-24)). Let o(d) = -d - 4. Let k be o(-10). Let p = k - c. Solve 4*v - 5*f - 26 = p, -2*v = -f - 5 - 5 for v.
4
Suppose 3*q - q = 0. Suppose -4*u + 5*b = -5, 4*u = -2*b + 34 - 8. Solve -j - 5*i + 10 = -2*i, q = u*j - 5*i + 50 for j.
-5
Let l = -13 + 17. Solve -16 = -4*n, -l*n + 21 = f - 6*f for f.
-1
Let x(z) = z + 10. Let f be x(-9). Let j(b) = b**2 + 2*b - 1. Let o be j(f). Solve -o*y + 2 = 2*v, -5*y = 2*v - 5*v + 27 for y.
-3
Suppose -5*s - 3 = -23. Suppose s*j + 3 = 5*q, 4*j = -2*q - j + 21. Let h be (5 + -6)/((-1)/q). Solve 3 = -z + 2*u, 5*u - 5 = h*z + 1 for z.
3
Let c(r) be the second derivative of r**5/20 - r**4/2 - 2*r**3/3 - 3*r**2 + 3*r. Let x be c(7). Solve -u + 4*s = x, 0 = u - 4*s + 3*s + 6 for u.