 = 0, g*v = -5*b + 6 for v.
-1
Suppose 6*k - 56 = 76. Solve 6*s - 5*d - k = 4*s, 3*s - 3*d - 15 = 0 for s.
1
Suppose 3*y - 85 = 5*s, 8*s = -2*y + 3*s + 15. Suppose -3*v - 19 = -2*j, -y = v + 3*v. Solve -5*b - j*d = -22 - 6, -3*b = d - 16 for b.
4
Let g be 58/6 - 2*3/9. Solve 4*p - 12 = 0, -p = 5*y + 3 + g for y.
-3
Let k = 2 + -20. Let q be (-212)/k - 4/(-18). Let d be (-1)/(11/(-5) - -2). Solve 4*y - y - d*r = 12, 0 = -3*y - 2*r + q for y.
4
Suppose -4*q = q. Suppose z - 3 = -q*z. Suppose 0*v - z = -v. Solve v*j - 1 = 5*g, 2*g = -j - 4*j - 19 for j.
-3
Let v = -44 + 47. Solve 5*r - 3*b = v*r + 10, -b - 10 = -4*r for r.
2
Let r be (3/9)/((-2)/(-18)). Suppose -r*y - 24 = y. Let z(l) = -2*l - 8. Let u be z(y). Solve 4*o + 3*k - 7*k = u, -4*o + 2*k = 0 for o.
-1
Suppose q - 24 = -q. Let n = 16 - q. Solve i - 3*h - 6 = -2*i, -3*i + h = -n for i.
1
Let p be 2/5 - (-6)/(-15). Suppose -2*i - 3*i + 15 = p. Suppose -2*k + i = -5. Solve 16 = k*o - t, -5*t + 21 + 9 = 2*o for o.
5
Let q = 35 - 15. Suppose -5*s + 4 = -2*m, s + 3*s = -4*m + q. Let h be 23 + (-1 - 0 - 3). Solve j = 2*j - 2, 5*j - h = -m*a for a.
3
Suppose -5*k = -5*z - 25, 19 + 31 = 4*k + 2*z. Solve f - 2*o - k = -7*o, -4*o = -4 for f.
5
Suppose 4 = 2*p, 2 = 2*x - 4*p + 4. Solve x*i = 3*m + 6, 0*m + i = -3*m + 14 for m.
3
Suppose 0 = -12*c + 10*c. Solve 2*u - 6*u - 13 = -r, 4*r + 3*u - 14 = c for r.
5
Let l(f) = 5*f. Let i be l(2). Solve 3*t = t - 5*h + i, 3*t + 11 = -h for t.
-5
Suppose 4*c - 5*x - 36 = 0, 0*c - x - 24 = -5*c. Let r(o) = 2*o + 16. Let j be r(-6). Solve -c*s - 10 = -4*n + s, -3*s = -j*n + 6 for n.
0
Let y be -1 + -1 - 3/(-1). Let a(v) = -v**2 - 11*v - 26. Let o be a(-6). Solve o*b + 6 = k - 11, -y = -k for b.
-4
Suppose 0 = 3*j + 5*r + 9, 4*r + 2 = -4*j - j. Solve -j*y + 4 = 0, -5*h - 3*y + 10 = 24 for h.
-4
Suppose k + 12 = 2*r, -4*r - 4*k = -0*k - 12. Solve -3*q + 2 = -o, -r*q - o - 8 - 2 = 0 for q.
-1
Let x be 8 - 1/(2/2). Let n = x - 3. Solve 4*d + 4 = n*m - 12, m + 14 = -5*d for m.
1
Let k = -1 + 2. Suppose p + 1 = -k. Let w be 29 - p/(-2 - -1). Solve -5*t + 0 - 3 = -4*n, -5*n - 4*t = w for n.
-3
Suppose -5*g + 9 = -6. Solve -g*q = -5*u - 30, q + 2*u = -0*q - 1 for q.
5
Suppose 0 = 4*k + 2*v + 106, -2*k - 4*v - 51 = -v. Let u be (-114)/k - 2/9. Solve -2*s - 4*l = -l + 4, 4*l = 2*s + u for s.
-2
Suppose 8 - 2 = 2*o. Solve -k - o*k + 12 = -3*t, 4*k = -t - 4 for k.
0
Suppose 4*w = 2 + 14. Suppose 3*k - 2 = 5*z + 2, -w*z + 13 = 3*k. Solve -2*t = k*t - 5*s + 15, 3*t = -2*s + 1 for t.
-1
Suppose -40 = -3*f - 4*r, 2*f = 5*f + 5*r - 38. Let x(z) = 7*z + 42. Let a be x(-6). Solve -3*c - 3*d = -8*d - f, d + 5 = a for c.
-3
Let m(x) = x**2 - 6*x + 5. Let l(j) = -3*j - 6. Let p be l(-4). Let g be m(p). Solve -4*z - n + 2 = 0, g*n = -3*z + 10 - 0 for z.
0
Let i(w) = 2*w**3 - 2*w**2 - 3*w + 2. Let r be i(2). Solve 0 = -3*k - 2*x + 7, -10 = -k - k + r*x for k.
3
Let v = 18 + -9. Suppose -5*l + 14 = -3*i, 4*l + 4*i = 28 - 4. Solve 3*h - 3*o = v, h = 2*o + l + 3 for h.
-1
Suppose -5*h + 262 = -338. Suppose -5*i + h = -0*i. Solve 4*a + 4*x - i = 0, -2*a + 3*x = -3*a + 12 for a.
3
Let g(j) = -j + 3. Let s be g(0). Let y(n) be the second derivative of n**3/3 - 3*n**2/2 + n. Let c be y(s). Solve -4*k + 10 - 1 = -c*o, 2*o + 6 = 5*k for k.
0
Let a(c) = c**2 - 4*c - 7. Let w be a(5). Let k be (1 - (-1)/w)*2. Let l be (4*k)/((-2)/(-1)). Solve -l*m = -3*m + 3*j - 2, -3 = -3*j for m.
1
Let y be 1/((4/(-28))/(-1)). Let w(m) = m**2 - 4*m - 8. Let f be w(y). Solve -b - z - 2*z - 16 = 0, 2*b - 3*z = f for b.
-1
Let s = 8 - 5. Let n(m) = m**2 - 2*m + 2. Let g be n(s). Solve 4*b + 26 = -b + 2*x, g*b + 35 = 5*x for b.
-4
Let c = -7 - -9. Solve -a = 4*x - 15, -c*x - 3 - 3 = -4*a for x.
3
Let f(t) = t**3 + 3*t**2 - t - 1. Let o be f(1). Solve 8 = 4*c, 5*x - 3*c - o*c + 20 = 0 for x.
-2
Let o be 1*(0/(-2) - -1). Suppose 2*r = 8 + 2. Let d = r + -2. Solve -y + 2*c + o = 4*y, y = d*c + 8 for y.
-1
Let f = -3 - -5. Suppose 0 = -f*t - 5*b + 10, 2*t + b - 2 = -t. Solve t = 2*p - 4*i + 14, -p + 5*i = i + 15 for p.
1
Let z(y) = 2*y**2 + 1. Let r be z(1). Solve -r*v - 3 = -x + 4*x, x + 7 = v for v.
3
Suppose 0 = 2*t + 6 - 4. Let i = t - -3. Solve 4*u = -2*m + m - 13, -2*u + i*m = 4 for u.
-3
Let f be (2/(-6))/(5/(-105)). Solve -4*t - 4*z = -0*z - 4, -5*z = 3*t - f for t.
-1
Let r(o) = -o + 5. Let c be r(5). Let l = c + 2. Suppose -s = -i + s + 13, -i + s = -9. Solve 2*y + l = 3*p + y, 4*p + i*y + 10 = 0 for p.
0
Suppose 14*f - 8*f = 12. Solve 3*a = 5*n - 11, -f*n + 4*a - 2 - 2 = 0 for n.
4
Suppose 3*b = -x + 12, 2*x - 5 - 1 = 0. Suppose 0*c = -5*h - 2*c + 49, b*h = 5*c + 48. Solve 3*j - 8 = -d, 0*d - 4*d - 5*j = -h for d.
-1
Let x(u) = u**3 + 6*u**2 + 5. Let t be x(-6). Suppose -2*z = 4*w - 26, 0 = -t*w - 3*z + 27 + 8. Let o be w/6 + 219/9. Solve -o = -3*f - 5*g, g = -3*g + 8 for f.
5
Let b(i) = 2*i + 3. Let a be (3 + -15)/(0 + -2). Let p be b(a). Solve 2*d = -4*v + 28, -5*d - 5*v + 30 + p = 0 for d.
4
Let b(f) = -2*f - 1. Let x be b(-4). Suppose -5 = -5*z - 2*y, 5*z = -y + x - 2. Let i = z + 3. Solve 0 = 5*d - h - 8, -4*h - h = -i*d + 19 for d.
1
Suppose 0 = 3*r + 62 - 20. Let j = r - -20. Solve 4*c - 5*h + 6 = -12, 3*h - j = 0 for c.
-2
Let t = 8 - 7. Let b be (12/(-20))/(t/(-5)). Solve -m + 19 = -5*m + b*x, 0 = 5*x - 25 for m.
-1
Suppose -6 = m + 12. Let v = m - -21. Solve 6*u + 2 = 2*u - 2*w, u + v*w = 12 for u.
-3
Let g(j) = -2*j + 10. Let n be g(-7). Suppose 3*x + x - n = 0. Solve 0 = x*m - 3*m - z - 10, 0 = m - z for m.
5
Suppose 4*l + 3*u - 23 = 0, 0*l = -3*l + 2*u + 13. Suppose -l*a = -d - 20, -5*a - d + 2 + 18 = 0. Solve n - 5*o - 4 = -10, -o = 5*n + a for n.
-1
Let k = 60 - 57. Solve 0 = -3*l + 3*h - 12, -17 = -3*l + l - k*h for l.
1
Suppose 5*a - b + 16 = 88, -5*a = -3*b - 76. Let v = 17 - a. Solve 3*y = -i + v, 5*y - 13 + 0 = i for i.
-3
Let i(q) = 3*q + 22. Let b be i(-8). Let k(m) = -4 + 4 - 3 - 4*m. Let d be k(b). Solve -3*c = l - d*l - 15, 5*c - l - 8 = 0 for c.
1
Suppose -5*s + s = -12. Let n be 1 + 4*5 + 1. Solve -5*x = d - n, 0 = s*d + x + 3*x - 11 for d.
-3
Suppose -l = -29 + 26. Solve -8 = 2*h - 4*j - 0*j, -2*h - 7 = -l*j for h.
-2
Suppose 18 = 4*y + 2*w, -3*y + 2 + 1 = -2*w. Suppose -5*j - 3*z + 22 = 0, -j + 5*j + 5*z - 15 = 0. Solve j*u + 8 = -4*o, 3*u = y*o - 0*u - 21 for o.
3
Suppose 2*h - 8 = -2*g, 2*h + 5*g = 24 - 10. Solve r - 2*l + 3 = 0, 0 = -4*l - h + 6 for r.
-1
Let f(c) = -c**2 + 8*c + 3. Let k be f(8). Solve -3*u - j + 7 = -0*j, 0 = 3*u + k*j - 3 for u.
3
Suppose -4*j + 9 = 3*k - 3*j, 0 = 3*j. Solve -r = k*t + 2*r - 6, 0 = 5*t - 4*r + 8 for t.
0
Let b(n) = -n**2 - 5*n. Let t be b(-5). Let j be 0 - (-1 - t - -1). Solve -4*c + 7*p - 3*p - 8 = 0, j = 2*c - 4*p + 8 for c.
0
Suppose -4*a - 55 = -11. Let y be (-1 - a)*(7 + -6). Solve -b - 10 = 5*s, 9*s - 2*b = 4*s - y for s.
-2
Suppose -26 = -3*q - 2*u, 5*q + u - 4*u = 18. Let k = 8 - q. Solve -v - 3*f - 11 = 0, k*v + 7 + 6 = -3*f for v.
-2
Suppose 4*s = 5*s. Solve -2*q - 2*t = -2 - s, t = 3*q - 7 for q.
2
Let y = 4 - 4. Suppose y*u = -2*u - q + 12, -5*u + 19 = -3*q. Let t = u - 0. Solve 0 = -b - 2*o - 3, -2*b + t*o - 15 = 0 for b.
-5
Suppose -6 = q - 10. Solve 6*n + q*c = 2*n - 28, 2*c = 5*n + 7 for n.
-3
Suppose -5*u + 1 = -4. Let t = 7 + -10. Let c be t*(-1 + u/(-3)). Solve -2*k = -c*v + 2*k + 16, -k - 20 = -5*v for v.
4
Suppose 6*n - 2*n = 0. Suppose 8*y = 14 + 50. Solve 2*j = -d + j, -5*d + 3*j + y = n for d.
1
Suppose 3*a = -n + 16, 2*n = 3*a + 1 - 5. Suppose 5*w - 7 = -3*v, 0*w = 5*v - 2*w - 22. Solve -s = -v*o - 7, 4*o + a*s = -5 + 13 for o.
-1
Let j be 2 + (2 - -1 - 1). Let c be 1*(-4)/(j/(-5)). Solve c*f = 2*l + 19, -l = -3*f - 2 + 13 for l.
-2
Let l be (-1 - 0)*-1 - -9. Let t be (15/l)/(2/4). Suppose -4*x - 1 = -t*h + 7, h = 2*x + 2. Solve -2*m = -h*i, 3*i = 2*m + m for i.
0
Suppose 3*i - 7 = 4*d + 9, -4*i = 4*d - 68. Solve -4*z + 5*r - 17 - 19 = 0, 4*r = -z + i for z.
-4
Suppose 0*l = -4*l - 5*t - 44, -5*t - 2 = -3*l. Let z = -4 - l. Solve z*a + 2*v = 4*v, -5*v + 1 = -4*a for a.
1
Let m = 13 + -7. Let j be 64/12 - (-4)/m. Solve -2*z + j = -v - 0*v, 0 = 4*z - 4*v - 4 for z.
5
Let i be -3 - (-5 + (-2 - 1)). Solve n = 5*v + 30, 0*n + i = -3*v - 2*n for v.
-5
Suppose -10 = -5*z + 5. Let i(t) = -t**2 + 4*t. Let s be i(z). S