 w*c - 14 for o.
-3
Let v = 10 - 5. Let u(q) = q. Let b be u(v). Solve 0 + b = -4*g + 5*a, -4 = g - 4*a for g.
0
Suppose h - t = -3*t - 16, 3*h - 7 = 5*t. Let j be (-12)/(-2)*(-62)/h. Let u = -24 + j. Solve -4*k + 6 = -3*f, 16 = -4*k - 5*f + u for k.
3
Suppose -5*v + 34 = -61. Let n = v + -16. Solve 5*s + n*f = -0*f + 34, 0 = -s + 2*f - 1 for s.
5
Let j = -75 + 78. Solve -3*g - j = -5*u, -u + 10 = u + g for u.
3
Let o(h) = -3*h**3 - 3*h**2 + 2*h**3 + 4*h - 2 + 8. Let x be o(-4). Solve r - x = f + f, 0 = 5*r + 4*f + 40 for r.
-4
Suppose 4*k + 17 = 89. Suppose -x - 2*x = -k. Solve -2*i + 4*d - x = 0, -5*i - 3 + 2 = 4*d for i.
-1
Suppose -4*z - q + 5 = 0, 2*q + 2 = 12. Solve z = 2*d + 6, -16 = 2*j + 4*d - 0 for j.
-2
Suppose 4*a - 2*a - 44 = -5*m, -2*m + 26 = 5*a. Suppose 0 = -2*n + 2*g + 28, -n - 3*g = n - m. Solve -5 = 3*j + 4*c, c + n = -4*j - c for j.
-3
Let g = -40 + 20. Let c = 30 + g. Solve 3*z - 2*u - c = -4*u, 2*z - 2*u - 10 = 0 for z.
4
Let m(v) = 3*v + 3. Let b be m(-1). Let g(z) = z**2 + z. Let k be g(b). Solve 5*t - 21 = 4*w + 2*t, k = 5*w + 5*t for w.
-3
Suppose 6*d + 2*h + 9 = 9*d, -11 = -d - 2*h. Solve -b - n - 3 = n, d*b + 10 = -5*n for b.
-1
Suppose -5 = -3*f - 0*f - m, 3*f - m = 7. Solve 0 = v + 3*j + 1, 3*v - 6 = -f*j - 2 for v.
2
Let x(m) = 5*m - 36. Let l be x(8). Solve -3*n - 8 = p, 3*p + 2*p = -l*n - 18 for p.
-2
Let b = 7 + -2. Solve 12 = -3*u + s, 0 = -b*u - 2*s - 10 + 1 for u.
-3
Suppose t + t - 4 = 0, 2*y - 30 = -5*t. Solve 3*r + 2 = -3*f - y, -r + 5*f = -2 for r.
-3
Let q(c) = -c**3 - 5*c**2 - 2*c - 7. Let v be q(-5). Solve -7 = r + 3*f + 9, 4 = v*r - 4*f for r.
-4
Suppose 2*c - 7 + 1 = 0. Suppose 2*i - 10 = -c*i. Solve 1 + 0 = i*r + 3*q, -3*r + 3 = 4*q for r.
5
Let p = -13 + 15. Solve 4*m - 3*d = -p*d - 7, -2*m - d - 5 = 0 for m.
-2
Suppose -3*w - 2*z = 0, -w + 0*z + 2*z = 0. Suppose b = -3*b - 3*l + 9, 0 = l + 1. Suppose b*u + 0 - 6 = 0. Solve u*s - r - 6 = w, -4*s + 19 = -5*r + 1 for s.
2
Suppose -3*j = 5*t - 17, -3*t + 4*t - 3*j - 7 = 0. Solve t*x - 4*k - 20 = 0, -2*x = -6*x + 5*k + 23 for x.
2
Let k(t) = -t**3 + 9*t**2 - 10*t + 6. Let b be k(8). Let a = -12 + 22. Let s = a + b. Solve -5*l = -3*z - 11, s*l - 19 = -5*z - l for z.
3
Let y = -1 + 2. Let t(j) = -j**2 - 3*j + 1. Let c be t(-2). Solve -5*h = -3*s - 34, h = -c*s + s - y for s.
-3
Let u(c) = -2*c**2 + 12*c + 3. Let t be u(6). Solve t*n + 2*s - 4 = s, 4*s + 35 = 5*n for n.
3
Suppose -13 = -5*z - 3. Suppose -4*t + 40 = -z*t. Solve 8*a - 3*a + t = -v, 8 = 4*a - 4*v for a.
-3
Let c(x) = x**3 - 7*x**2 + 6*x + 4. Let v be c(6). Suppose 8*a - 10*a + v = 0. Solve 0 = q - 5*m - 20, -a + 6 = 2*q - m for q.
0
Let w = -7 - -12. Suppose -w*f + 18 + 7 = 0. Solve 0*l - l = -4*c - 8, c = l - f for l.
4
Let f be (0*(-3)/6)/3. Suppose 0 = 3*m - 5*g + 19, f = m + g - 7. Solve -4*n + 3*n - 3 = -4*j, -m*n = 3*j - 5 for j.
1
Suppose -3*y - 5 = 5*a, 3*y + 4 = -4*a - 3. Solve -a*x + 3 + 1 = 3*q, -2*q + 4*x - 8 = 0 for q.
0
Let d be 2/3*(-21)/(-7). Let w(a) = 5*a + 2. Let b be w(d). Let g = b - 7. Solve 0 = -f - 3*q + g, -4*f - 2*q = -4*q + 22 for f.
-4
Let a(w) = -w**3 - 7*w**2 - 12*w - 7. Let d be a(-6). Solve -3*p + 4*f - d = 0, -2*f = -2*p + 2*f - 26 for p.
-3
Suppose 35*o + 10 = 37*o. Solve 5*p + 5*d - 15 = 0, 3 = 4*p - o*d - 0 for p.
2
Suppose -5*u = -2*u - 3. Suppose -g + u = -4*l, -3*g = -g - l - 9. Suppose -g*o + 2*v = -26, o - v - 11 = -o. Solve o*x = -0*k - k - 12, -16 = 2*x - 2*k for x.
-4
Let r(a) = a**3 - 4*a**2 + a - 6. Let c be r(5). Solve w + c = -5*y - w, -5*y - w - 22 = 0 for y.
-4
Let j be 282/18 + (-8)/(-6). Solve 5*v = -y + 4 - 2, -5*y + 2*v = j for y.
-3
Let k = 13 - 13. Solve -y - 3*y - 8 = k, -3*z - 5*y = -5 for z.
5
Suppose -11 = 14*h - 15*h. Solve -4*g = p - h, -3*p - 3*g = -0*g - 6 for p.
-1
Let r = -21 + 31. Suppose -2*g = g + 18. Let f = r + g. Solve -2*y - 5*k = y + 11, 4*k = -4*y - f for y.
3
Suppose -3*f + 11 - 2 = 0. Let l(u) = u**3 - 6*u**2 + 4*u + 7. Let d be l(5). Let z(r) = r - 6. Let q be z(8). Solve -1 = -q*k - p, d*p + 0*p = -f*k for k.
2
Let p = -7 - -4. Let x(i) be the third derivative of -i**4/24 - i**3/2 - i**2. Let s be x(p). Solve 0*q - 8 = -q - 5*t, s = -q - t for q.
-2
Suppose 2*q + 15 = 5*q. Suppose -q*z + l = -9 - 13, 2*z + 2*l = 4. Let h be (9/6)/(2/z). Solve 0 = t + x + x + 2, -3*t = h*x for t.
2
Let q be 1*0/(-3) - 0. Suppose q = -t + 3*v - v, 5*t = -2*v + 24. Solve -16 = t*m - 4*y, -3*y + 7 = -3*m - 5*y for m.
-3
Let k be (-20)/8*1*-2. Suppose -k*p = -2*p - 6. Solve p = -5*c - 4*l, 5*c - 5*l + 8 = 33 for c.
2
Let h be (-48)/40*(-5)/2. Let o be (2 - (h - 3)) + 0. Solve -26 = b - 5*j, 5 = b + 4*b + o*j for b.
-1
Suppose 0 = -3*y + 4*y. Suppose 4*f - f = 5*b + 156, -f + 2 = 0. Let x = -17 - b. Solve r - 1 = v - 0*v, y = -3*v - r + x for v.
3
Let d(r) = -r**3 + 2*r**2 + 4*r. Let z be d(3). Solve -3*p = -8*p + 10, -2*q - z*p = 0 for q.
-3
Suppose 4*g - 2*k = -8, 2*g + k - 3*k + 8 = 0. Suppose g*d + 18 = 6*d. Solve 41 = 4*a + 5*h, 0 = -a + 5*a + d*h - 31 for a.
4
Suppose 5*t - 2 - 23 = 0. Solve -22 = 4*h + 5*a - 1, -a - t = h for h.
-4
Suppose -10 = -2*y - 2. Let j be 4/5*50/5. Let c be 1/4 + 6/j. Solve -x + y - c = -4*h, -3*x - h = 4 for x.
-1
Let v = 2 + 17. Suppose -2*q = -0*q + w - v, 5*w + 13 = 2*q. Solve 2*k + 3*f = -q, -33 + 9 = -3*k + 3*f for k.
3
Suppose 0 = c, -v + 5*c = -5*v + 48. Solve v = -5*y - 4*i - 0*i, 26 = -4*y + 5*i for y.
-4
Let a = 16 - 14. Suppose 0*x + x - 3 = 0, -a = 2*s - 2*x. Solve s = -m - i + 4*i, -3*i = 2*m - 5 for m.
1
Let v(x) = -x**3 - 2*x**2 - 2*x. Let p be v(-2). Let c be -3 - 32/(16/(-4)). Solve -4*o - 3 = -c*t + 9, o + 14 = p*t for o.
2
Let v = 5 + -1. Solve 0 = -2*u - v*m - 22 - 0, -2*m - 17 = 3*u for u.
-3
Suppose -2*s + 1 = a, s - 5*a + 5 = -0*s. Let z = 28 - 24. Solve 0 = 2*m - s*m - z*x + 18, -3*m - 23 = -4*x for m.
-5
Let x(a) = a**2 - 3*a + 9. Let r be x(6). Let i = -2 + 2. Suppose 20 = 4*z - i*z. Solve -2*h - 4*b + 24 = 4, 3*h + z*b = r for h.
4
Let x = 6 - -10. Solve 4*d + 2*n - 26 = 0, 0 = 4*d - 2*d + 2*n - x for d.
5
Let r be -3*35/10*(-2)/3. Solve w - 10 = 3*f - 7*f, -w + r = 3*f for w.
-2
Let x = -23 + 23. Solve 4 = -f - 4*l, 0 = 2*f + l - x + 1 for f.
0
Let s(d) = d**2 + 1. Let r(w) = -3*w**2 + 2*w - 3. Let l(j) = r(j) + 5*s(j). Let h be l(-2). Let a = h - 2. Solve 2*k + 4 = -2*b + b, a*b + 16 = 0 for k.
0
Suppose -4*x - 8 = -6*x. Suppose -4 - 3 = -3*k + x*r, -4*k - 8 = -r. Let s be 0*k/(-6)*1. Solve s*l - 30 = -4*p - 5*l, -3*p + 4*l = -7 for p.
5
Let u be (-4)/10 + 40/(-25). Suppose y - 4*y = -3. Let g = y - u. Solve w - 1 = -g*b - w, -4*b + 2*w = 8 for b.
-1
Let j be 1/(1/(-4)*-1). Let k be j*(-1 + 3)/8. Solve 5 = -b, -d - 3*d + 3*b = k for d.
-4
Let u = 12 + -12. Let w = 11 + -6. Suppose -2*t + 3*t - w = u. Solve 0 = o - h + 2 - 3, t*h = o - 13 for o.
-2
Let a(r) = r**3 - 2*r**2 - 2. Let h be a(4). Suppose 15 = -5*m, 5*p - 3*m = 2*m + h. Solve 5*y = p*n - 12, -5*n - 8 = -3*y + 4*y for n.
-1
Suppose -2*h + 1 = -z, h = -1 + 4. Solve -5*a - 12 = -2*d, z*d + 3*a - 7 = 4*a for d.
1
Let a(g) = -g**2 - 7*g - 7. Let l(y) = -3*y**3 - 2*y**2 + y. Let h be l(1). Let s be h/8 - 9/2. Let n be a(s). Solve -18 = 5*f + n*b, 2*f - 3*b - b = -2 for f.
-3
Let r = 5 - 1. Solve -4*y - y - 2*c = -22, -r*y + 19 = 3*c for y.
4
Let i(f) = -f - 9. Let x(g) = -1. Let w(p) = -i(p) - 2*x(p). Let u be w(-6). Solve 2*c - d - 3 = 0, -c + u*c - 4*d = 8 for c.
1
Let t be (-4 + 1)*-1 - 0. Solve 0 = -t*i - 3*u + 6, 3*u + 0*u - 6 = 0 for i.
0
Let h(l) = l**3 - 11*l**2 - 13*l + 16. Let d be h(12). Solve -d*p - 5*n - 7 = 0, 5*p - 3*n = -6*n + 1 for p.
2
Let z(x) be the first derivative of -x**4/4 + 2*x**3 + 7*x**2/2 - 2. Let p be z(7). Let t be p + 2 - 0 - 2. Solve -3*r - 2*r + 15 = t, -2*r = -v - 7 for v.
-1
Suppose -3*a - 11 = -f, -2*a - 6 - 75 = -5*f. Suppose 3*b - 5*l - f = 0, -5*b + l - 3*l = -18. Solve b*m + c = 0, -4*m + c = m - 9 for m.
1
Suppose -2*g - 5 = -13. Suppose 0 = -p - 4*j + 20, -g*p + 3*j - 12 - 3 = 0. Solve p = -u - k + 8, 3*k = -2*u + u + 14 for u.
5
Let t be (-1 - (1 + -1)) + 1. Let y(w) = 2*w**2 + 16*w - 96. Let j be y(-12). Solve t*l - 19 = -5*f - 3*l, j = 2*f - l - 12 for f.
5
Let g be 2*(-1)/(4/(-6)). Suppose 8*u - g*u = 15. Suppose w + f - 10 = 0, 2*f - 6*f = -2*w + 8. Solve -5*y - u*l 