 a.
5
Suppose -2*z + 0 = w - 6, w = 5*z - 15. Solve w = 3*k - 2*u - 1, 0 = 4*k - 2*k + 3*u + 8 for k.
-1
Let d = -21 - -23. Let i be 0*-1*d/(-4). Solve 2*p + 6 = -w, i = 2*w - p + 3 - 16 for w.
4
Let w be -2 + (2 - 1)/(-1). Let l be (1 + w - -1) + 6. Solve -2*f + 3 = -6*r + r, 22 = 2*r + l*f for r.
1
Let d be ((2 - -2) + -4)/(-1). Solve d = -w - 3*t + 9, -39 = 5*w - 5*t - 4 for w.
-3
Let d(p) = -p**2 - 8*p - 8. Let l be d(-7). Let n be (45/3)/(0 - l). Solve -n = 5*o + k, 10 = -2*k - 0*k for o.
-2
Let t be ((-27)/36)/((-2)/8). Solve 1 - 11 = -5*s, -t*v - 3*s + 15 = 0 for v.
3
Let q be 25/4 + (-6)/(-8). Suppose w + q = -5*t, -4*t - 16 - 7 = -5*w. Solve 2*c = 2*r + 4, 5*r + w*c = 6*c - 4 for r.
1
Let r = 45 - 25. Suppose -7*w + 2*w + r = 0. Solve 0*o = -o - 2, w = 2*u - 4*o for u.
-2
Let z be 2 + 7/((-14)/(-72)). Suppose -5*a + 23 = 3*l + l, -4*l - 2*a + z = 0. Solve 2*y - 3*j = l, 3*j - 3 = -2*y - y for y.
3
Suppose q - x + 9 = 4*q, -5*q = 2*x - 16. Let s be 8/(2 - q - -2). Suppose 3 + 19 = 5*k - c, -3*c = -k - s. Solve -3*i = 3*d + 15, 2*i - 25 = -i + k*d for i.
0
Let a(y) = -9*y + 1. Let f be 1/((-2)/((-12)/(-3))). Let k be a(f). Solve v + w - k = 6*w, -5*w - 22 = 2*v for v.
-1
Let l(c) = -c**3 + c - 2. Suppose -3*q - 5*a + 3 = 4, 4*q + 4*a = -4. Let i be l(q). Solve 4*h = h - 4*r + 18, -2*h + i*r = 8 for h.
2
Suppose -4*k - 18 + 50 = 3*p, -36 = -4*k - 4*p. Suppose -4*o + 5*c + 5 = -0*o, 3*o = k*c. Solve -2*x - 9 = -l + 2, 4*l + 5*x = o for l.
5
Suppose 5*p - n - 7 = 4*p, -3*p + n + 21 = 0. Suppose q = 2*r - 15, 0*q = -4*r + 3*q + 31. Let t = -5 + r. Solve -28 = -p*i + 2*i - t*x, x = 3*i - 8 for i.
4
Suppose -c + 0 = -4. Solve -20 = 2*a - 5*x, -6*a + a = -x + c for a.
0
Let j(b) = -2*b + 20. Let r be j(9). Let a = 7 + -3. Solve a*o + 7 = -f, o + 9 = -2*f + r for f.
-3
Suppose 4*h = -s - 11, -s + 0*h + 25 = -5*h. Solve 20 = 2*a + 4*v + v, 20 = -a + s*v for a.
0
Let y = -4 + 3. Let j = y + 4. Solve 4*a - 4*u = 8, -3*a + 1 = -a - j*u for a.
5
Let c = 6 - 4. Suppose -3*n + 5*a = -26, 2*a + 14 = n + c*n. Solve 3*s = -2*d - 9, -n*s - 9 = -2*d + s for d.
0
Let z be ((-4)/6)/(12/(-54)). Suppose s + j - 18 = z*j, 5 = -5*j. Solve -4*b = -l - s, -2*l = l + b - 4 for l.
0
Let j(t) = -t - 2. Let v be j(-2). Suppose v = 5*q - 8 - 17. Solve 5 + 5 = -u - 4*d, 2*u + 3*d = -q for u.
2
Let q = 9 - 3. Let k be 6/(-9) - (-16)/q. Suppose r - 9 = -k*r. Solve -r*h + 6 = -f, 2*f - 7*f = 0 for h.
2
Let b = 5 + -3. Suppose -8 = h + b. Let c be ((-15)/h)/(6/64). Solve 18 = 2*s + 5*i, i + i = -3*s + c for s.
4
Suppose 4*v + 54 = 3*d, 5*v - 5*d + 36 = -29. Let h be (v/(-9))/(2/6). Solve -3*q + 2*j = 12, q - 2*j = -h + 1 for q.
-4
Suppose -j - a + 7 = 0, 0 = -4*j - a - a + 20. Solve 3*q = -j*x + 3, 2*q - 5*x = -x + 8 for q.
2
Suppose -2*i + 5 - 3 = 0. Let r = -3 + 5. Let k = r + i. Solve 0*j = -k*j + y - 11, 2*j + 5*y = -30 for j.
-5
Suppose 0 = -5*o - 5*t + 35, 3*o - 4*t = -0*t. Let j = o - -6. Suppose -j = -3*u + 8. Solve q = -5*p, -4*q + 3*p - u = 17 for q.
-5
Let f(h) = -h**2 + 6*h + 6. Let y be f(6). Suppose -2 = -2*n + y. Solve t - 5 = 3*u - 14, 0 = 4*t - n*u + 4 for t.
3
Suppose -2*d = 3*d + 5*j - 20, j = -1. Solve 2 = 4*h + d*v, -h + v - 3 = 4*v for h.
3
Suppose -4*v = 1 - 29. Let z = v - 2. Solve 9 = 3*x, -z*c - 5*x = -3*c - 25 for c.
5
Suppose c = 4*j + 2*c - 51, -3*j + 5*c = -21. Suppose -3*z = -6 - j. Suppose -p + z*p = 0. Solve -5 = t - 2*q, t + t - q - 5 = p for t.
5
Suppose 0*v = v + 6. Suppose -35 = -3*a + l - 13, 4*a - 28 = 2*l. Let w be (-15)/v*a/5. Solve -3*s - 8 = -2*u, 6*s + 4 = w*s + 2*u for s.
-4
Let a = 17 - 14. Solve f + 4*v + 15 = 0, a*f + 0*v + 12 = -v for f.
-3
Let w = -13 + 7. Let i(u) = -u - 3. Let d be i(w). Solve 3*n + x = -0*x + 15, n = d*x - 5 for n.
4
Suppose -3 = j + 4*s - 44, -2*j - 3*s = -57. Solve i - 3 = 2*m + 10, 0 = 3*m - 2*i + j for m.
-5
Suppose 3*k + c - 6 = 1, 0 = -4*k - 2*c + 8. Solve b = -k*z - 11 + 28, 0 = -5*b + 10 for z.
5
Let p(z) = -3*z + 17. Let y be p(5). Solve -y*i = n + 5, 1 = -2*n + 3 for i.
-3
Let m(h) = -h**3 - 7*h**2 + 8*h. Let z be m(-6). Let d be -5*(2 - z/(-20)). Solve -2*k = -3*q, -2*q - 2*q = k - d for k.
3
Suppose 2*b - 4 = -2*b. Let v = b - -14. Solve 3*n - v = 0, -3*z - 4*n - 3 = -20 for z.
-1
Let g be 516/21 + 24/(-42). Solve 2*a - 2 = -3*i + i, a = 4*i - g for a.
-4
Let x(h) = 4*h + 1. Let m(s) = 7*s + 1. Let r(q) = 3*m(q) - 5*x(q). Let g be r(5). Solve -2*o = -5*b + g*o + 5, o + 17 = -3*b for b.
-4
Let o(g) = -g**3 + 6*g**2 + 10*g - 7. Let r be o(7). Let t = r - 10. Let u = 12 - 9. Solve 4*s - u*z = 1 - 9, 8 = -t*s + 4*z for s.
-2
Let n(u) = -u**3 - 4*u**2 + 9*u - 13. Let k be n(-6). Solve 0 = -5*q - 2*x + 6*x, k*x - 25 = 0 for q.
4
Let t(a) = -a**3 + 8*a**2 - 8*a + 5. Let m be t(7). Let d be (27/18)/(m/(-4)). Solve 4*j + d = -3*p, 0 = -p + 3*j - 2 + 1 for p.
-1
Suppose -2*z + 6*z = 3*l + 2, 2*l = -2*z + 8. Solve -z = -3*k + 5*r, -5*k = -k + 3*r + 7 for k.
-1
Let a(x) = -x - 17. Let j be a(0). Let w = -10 - j. Let g = -4 + w. Solve 0 = -4*q + 3*n + 13, -3*n - g = -2*q + 2 for q.
4
Let h = -8 + 14. Let i = h - 6. Let v be i/(9/3 - 2). Solve -4*d - 8 = v, -5*d = 3*n - 2*n + 11 for n.
-1
Let n(y) = y**3 + 7*y**2 + 4*y - 8. Let v be n(-6). Let a = 9 - v. Solve -5*j - 5*d + a = 0, 2*j - 9 = -0*j + 5*d for j.
2
Suppose 0 = -2*u + u - i, -3*u - i + 8 = 0. Let b(a) = -a - 2. Let c be b(-6). Let s be 10*(2/c - 0). Solve -s = -5*v + 5*h, -4*v - 4*h + h = -u for v.
1
Let z be (4/(-11))/(-2) - 6/33. Solve z = 4*g + x - 12, -g - 3*x + 4 = 3*g for g.
4
Let x = -7 + 12. Let w = -3 + 5. Let m = x - w. Solve 3*q = m*s + 18, -q = 3*s - 8*s - 10 for q.
5
Let b = -3 + 6. Solve 5*w = -b*z, 3*w + 3*z + 6 = -0*z for w.
3
Let b be 8/20 + (-18)/(-5). Solve 12 = -4*n + 3*z, -2*n - 2*n + b*z - 16 = 0 for n.
0
Suppose -6*w + 4*v = -7*w - 5, -2*w + 16 = -5*v. Solve -w*l = -5*j + 16, 5*l = 5*j - j - 5 for j.
5
Let i be 6 - (2 - 0/(-1)). Solve i*x + 2*g - 2 = 0, -2*g = 3 - 5 for x.
0
Let o(v) = -v. Let s be o(-6). Let r(c) = -c**3 + 5*c**2 + 6*c + 2. Let w be r(s). Solve -5*k + 13 = m, w*m + 2*m - 1 = -3*k for m.
-2
Suppose -5*r = -2*c + 15 + 6, -3*c = r - 6. Suppose x + 36 = c*x. Solve -s = -0*s - 3*k + x, 16 = 3*s + 5*k for s.
-3
Let s(v) = 2*v - 3. Let n be s(4). Solve -5*i + 0*i - n = -2*q, -4*i + q - 1 = 0 for i.
1
Let m(u) = u**3 - 5*u**2 + 5. Let r be m(5). Solve r = -n, n - 6*n = 4*g + 5 for g.
5
Suppose -s + 3 = 4*z - 13, 0 = s - 5*z + 11. Solve 5*u = -3*y - 2*y + 15, 0 = -2*u - s for y.
5
Let n = 57 + -55. Solve n*b + 4*m + 18 = 0, 0*b + 5*m = -b - 24 for b.
1
Let r(s) = -s**3 - 29*s**2 - 29*s - 25. Let q be r(-28). Suppose -3*g = -2*n + 15, -2*n + 11 + 19 = 2*g. Solve -3*d = 4*t - 13, -q*d + 3*t - 6*t = -n for d.
3
Suppose -5*n = -2*n + 81. Let h = 27 + n. Solve h = 4*m - 2*d - 18, 7*m = 2*m - 3*d - 5 for m.
2
Let b be (0 - -2)*(0 - -1). Suppose -3*h - b*h + 5 = 0. Let k be (2 - (h + 2))*-5. Solve 3*y - 5 = k*y + 5*a, 4*y + 1 = -a for y.
0
Let f(g) = -g**2 + 4*g + 4. Suppose -3*w + 4*w = 4. Let b be f(w). Solve -2*j - 5 = -s + 2*s, -b*s + 10 = -2*j for s.
1
Let o(y) be the first derivative of -y**3/3 - 5*y**2 + 4*y + 3. Let c be o(-10). Suppose b - 25 = -c*b. Solve n + 6 = -b*d, -3*n = -3*d + 5*d - 8 for d.
-2
Let v(y) be the first derivative of 1/2*y**2 + 2*y + 3. Let g be v(2). Solve -f = 5*r + 28, 13 = -r - g*f - 4 for r.
-5
Let a(u) = u**3 + 4*u**2 + 3*u + 1. Let x be a(-2). Solve 2*c - 4*f - 22 = 0, -6*c = -x*c + 5*f + 11 for c.
3
Let d = -2 + 7. Suppose -12 = d*g - 3*g. Let u = g - -8. Solve r - 2 = -u*o + o, -4*o + 2*r + 14 = 0 for o.
3
Suppose -11*c + 7*c = -16. Solve -c*k + 4*v + 28 = 0, -5*k + v - 3 = -18 for k.
2
Suppose 0 = v + 2*v - 15. Suppose -a - 25 = v*b + 4*a, -3*b - 4*a - 17 = 0. Let d = b + 3. Solve 2*n - c = -3*c + 4, -3*n - 5*c + 12 = d for n.
-1
Let w be (-6)/(18/15)*-1. Solve -3*c = -4*b - 8*c - 16, b = c + w for b.
1
Let g = -16 - -18. Solve 2*j = -5*q + 20 + 1, 3 = 3*q - g*j for q.
3
Suppose 3*j + 49 = t, 3*t + 63 = 3*j - 8*j. Let x = 33 + j. Solve 2*u + 2*l = 0, -x = 6*u - 2*u - 5*l for u.
-2
Suppose 5*n - i = 15, -2*i = 2*n - 0 - 6. Suppose 3*z - n = -0. Solve -3*q + o = -z, 3*q + 2*o = 7*q - 4 for q.
-1
Let s be 1476/63 + -3 + 6/(-14). Solve -25 = -0*t - t + 4*f, -s = -t + 3*f for t.
5
Let