2*u + 4*a + 1, -4*u + 2*a + 20 = 0 for u.
3
Let x be 3/(-5)*(36/6 + -21). Let o be (-1 - -2)*(2 + 1). Solve b = -o, -4*i + b = -0*b + x for i.
-3
Let x = -22 - -36. Let n be 4/(-14) - x/(-49). Suppose 4*l - 5*m + 3 = n, 4*m - m = 3*l. Solve 0*o - l*h + 20 = 4*o, o + h = 6 for o.
2
Let b = 4 - 5. Let i be (b + (-2 - -3))*-1. Suppose 2*s + 5*j = 25, i = -4*s - 5*j + 23 + 12. Solve -5*z = 3*k + 2*k - 15, z + s = 3*k for k.
2
Let b(f) = 6 - 3*f**2 + 12*f**2 + 0*f**2 + f**3 + f. Let p be b(-9). Let c be p/((-26)/20 + 1). Solve -2*m - 3 = -7, -2*i + c = 3*m for i.
2
Let f = 1 + 4. Let h = 7 + f. Suppose -l + 3*l - h = 0. Solve -v = 3, 3*q + 3*v + 3 - l = 0 for q.
4
Let n(a) = 4*a - 1. Let m be n(1). Let y = 0 - -2. Solve -i = 2*s + 1, 2*s + y*i = -s - m for s.
1
Suppose -4*h + 2*b = -6*h + 2, 2*h - b = 11. Solve h*n + 4*k = -36, -5*n - 8 = -4*k + 1 for n.
-5
Suppose -4*l = -0*y - y - 7, 3*y = 5*l. Solve -3*r = -12, 1 = -3*j + y*r - 34 for j.
-5
Suppose 4 = -4*j, 3*j + 2 = -4*d + 7. Suppose 5*f - 5 = -s - 0*s, -2*f - 11 = 3*s. Solve -d*n = -r - 4, 5*n - 4*r = -f*r + 12 for n.
4
Let d = -3 - -9. Let a be (-1)/(-2) - (-9)/d. Solve 0 = c - a*s - 5, -7*c - s = -2*c - 14 for c.
3
Suppose -2*u - 11 = 3. Let i = u - -12. Let s(x) = x**2 - 3*x - 7. Let q be s(i). Solve -h - q*l + l = -3, -h + l - 9 = 0 for h.
-5
Suppose 2*t - 3*y - y + 10 = 0, -20 = t - 5*y. Solve 5*w - 2*n = 2, w - 4*w = -t*n + 14 for w.
2
Let l = -11 + 21. Let q = l + 6. Solve -2*t + 6*t - 2*u = -q, 0 = 4*t + 5*u + 2 for t.
-3
Let x be (4/10)/((-3)/30). Let u be (-9)/(-2) + (-2)/x. Solve 3*c = 2*o + 15 - 3, 20 = u*c + 3*o for c.
4
Let u be (-1 + 2)/(5/15). Suppose 0 = -m - 3*j + 5, 2*j + 2 = u*m - 2*j. Solve m*q = -2*q + 4*v - 20, -4*q - 3*v = -1 for q.
-2
Let a be (-1 + 5)*15/20. Solve -5*q - d - 17 = -0*d, -15 = 3*q + a*d for q.
-3
Let y be 3 + -1 + 2 + 0. Solve -10 = 2*q, 5*i - i - y*q = 4 for i.
-4
Let p = 25 + -15. Let i be p/((-4)/(-1 + -1)). Solve 0 = -5*x - 2*z - i, 5*z - 3*z - 4 = 4*x for x.
-1
Suppose 0*v + 5*v - 15 = 0. Suppose -4*i = -v*i - 1. Let t be (-2 - i)/(1 - 2). Solve -2*a = t*x + 2*a, a + 13 = -4*x for x.
-4
Let y(q) = -q + 2. Let t be y(0). Let d(x) = -x - 1. Let h be d(-1). Let a = t - h. Solve -o + 5 = 3*r, -3*r + 5 = a for o.
2
Suppose 2*o = 0, -g - g - 5*o = -6. Let r = 15 + -35. Let u = r - -36. Solve 3*y - 7 = d + 7, -g*y - d + u = 0 for y.
5
Let s(o) = -2*o + 3. Let y be s(3). Let g(f) = f**2 - f - 4. Let c be g(y). Solve -t + c = 5*j, 4*t = j - 2*j + 13 for j.
1
Let t = 16 - 18. Let v(x) = 5 + 4*x + 5*x**2 - 2 - 1. Let d be v(t). Solve 0 = -2*c + 4*r - 24, -5*c = -3*c - 2*r + d for c.
-2
Let x be (15 - 0) + (4 - 5). Let p = x - 3. Solve -q = 2*q - s - p, 5*q = -3*s + 37 for q.
5
Suppose -4*p = 15*p - 95. Solve 0 = h, -3*c + 12 = c + p*h for c.
3
Let c = 9 + -5. Let j = 5 - 5. Solve -i = 3*n + 10, j = -5*i + c*n - 2*n - 16 for i.
-4
Suppose -5*q + 8 = -2. Let y be 4/5*5/q. Solve -4*k + 18 = y*r, -3*k - 3*r + 6 = -6 for k.
5
Let s(t) = -2*t. Let p be s(0). Let c be (9/6 - 2)*p. Solve c = 2*l + m - 2, m - 1 = 5*l + 1 for l.
0
Let f be (-64)/(-288) + 25/9. Solve 0 = -5*k - 2*n + 21, 2*k + 7*n = f*n + 18 for k.
3
Suppose -7 + 2 = b + 3*h, -3*b + 4*h = -24. Solve -b*m + 17 - 5 = 4*u, m - 4*u = -2 for m.
2
Let i(n) = n**2 - 6*n - 4. Let o be i(7). Suppose -5*z - 2*g = -0*z - 8, -9 = -o*z + 3*g. Solve 18 = t + 4*x, z*t + 2*x - 13 = -1 for t.
2
Let l(r) be the third derivative of r**5/60 + 5*r**4/24 + 7*r**3/6 - 2*r**2. Let h be l(-5). Solve -4 = -f, 4*j - 9 - h = -f for j.
3
Let o(x) = -x**3 - 2*x**2 + 8*x + 5. Let w be o(-4). Solve 4*v + 33 = 5*q, 13 + 2 = w*v + 5*q for v.
-2
Let m(v) = -20*v**2 + 38*v - 44. Let o(b) = -7*b**2 + 13*b - 15. Let d(p) = -6*m(p) + 17*o(p). Let q be d(6). Solve q*u + 12 = 3*t, -5*t + 2*u + 26 = 3*u for t.
5
Let l(u) = -u**2 + 6*u. Let c be l(7). Let y = -10 - c. Let t be (0/(-1))/(-1 - y). Solve 2*b + 3*v - 5 = t, -2*b = b + 2*v + 5 for b.
-5
Let f be -1*(-2 - -4 - 8). Let t = -1 + 4. Solve 5*l = -4*o - 0 - f, 2*l = -t*o - 1 for l.
-2
Suppose -4*j + p = -2*p + 2, 2*j + 12 = -4*p. Let s be -1*j*3/1. Suppose -s = -5*k + 9. Solve 0 = -2*t + o, 3*t - o - k = 4*t for t.
-1
Suppose 0 = 5*l - 9 - 6. Let x be 2/6 - 11/(-3). Suppose 4 = -l*s + x*k, -2 = 4*s + 2*k - 4*k. Solve n - 2*v = 12, -3*n - 2*v + 4 = -s*n for n.
4
Let p(x) = -x**3 - 6*x**2 + 6. Let f be p(-6). Let s be 14/1*(-3)/(-6). Solve 0 = 3*o + r + s, -2*o + 3*r = 5*r + f for o.
-2
Let o be 0/(1 + (-3 - -4)). Suppose -5*t = -o*t - 20. Solve -t*f + 5*r - 6 = 3*r, f - 12 = 5*r for f.
-3
Let d = 6 + -4. Suppose -c - 23 = -5*b, d*c + b - 13 = -2*c. Suppose g = c*g - 15. Solve t = -4*t + 5*n - g, 4*t = 2*n - 12 for t.
-3
Suppose -4 = -z - 2. Suppose -7*u + z*u + 40 = 0. Solve 4*p + 3*w - 10 = u*w, -2*p + w + 8 = 0 for p.
5
Suppose 3*f = -2*f. Let o(z) = -2*z**2 - z. Let m be o(2). Let d be (m/(-4))/((-1)/(-2)). Solve -2*k - v = -1, -k + f*k + d*v + 17 = 0 for k.
2
Let q(n) = -2*n**3 + n**2 - 1. Let s be q(-2). Suppose -5*g - s = -139. Solve 0 = 3*l + 5*f - 1 - g, 4*l + 10 = 2*f for l.
0
Let h be 2 - ((-1)/(-2) - 1/(-2)). Solve -5*z + 4*p = -0*p - 4, z = -p - h for z.
0
Suppose 0 = 3*m - 3 + 15. Let n be 2*(-10)/m*1. Solve 3*b + 8 = n*b, -5*b = -5*o - 30 for o.
-2
Suppose -8 = 2*u - 12. Suppose u*f + 3*w = 21, 2*w - 6 = -f + 5*w. Solve -h = 5*s - f, -4*s + 8 = 3*h - 8 for h.
4
Let m = 16 + -13. Suppose -5*n + 4 = -m*n. Solve -3*l + 6*l + n*j = 1, -5*j = 5*l - 10 for l.
-3
Suppose -2*z - 30 = -5*z. Solve -d + 2*d = -2*o - z, -3*d + 6 = -3*o for o.
-4
Suppose 4*d = -18 - 6. Let i = d + 10. Solve 3*t = j - i, 0 = 3*j + 2*t - 1 for j.
1
Let x(u) = u**2 - u - 4. Let m be x(3). Suppose m = 2*f, -o - 9*f + 7 = -4*f. Solve -6*g + o*g + 2*z = -20, 2*g + z - 6 = 0 for g.
4
Let f(k) = k**2 - k - 5. Let s be f(4). Suppose -3*q + 2*q = -s. Solve 4*p = -2*x + 2, -5*p + 2*x + 0*x + q = 0 for p.
1
Let l = 8 + -10. Suppose 0 = -w - 0*w. Let i = w - l. Solve -2*n - 3*s = -4, -n + i = s - 0 for n.
2
Let k be (-18)/(-1 + -1) - 6. Let m = -5 - -7. Suppose -m*s = -0 - 4. Solve k*o - 4*z + 1 = 0, -2*o - z + s = -o for o.
1
Let n(y) = -11 - 3*y**2 + 10 - 4*y**2 + 4*y**2. Let j be n(1). Let i be 3*(16/(-6))/j. Solve 3*p = t - 16, -2*p + t - i*t - 9 = 0 for p.
-5
Suppose -3*a - 4*w - 16 = 0, -w - 2*w - 12 = -4*a. Let g(n) = -n**3 - n**2 + n + 4. Let f be g(a). Solve -f*b = 5*s - b - 14, 4*b + 8 = 0 for s.
4
Let f(b) = 6*b**2 + 2. Let h be f(-2). Suppose 3*t - 28 = -3*s - 10, 3*t = -5*s + 26. Solve -t*o + 5*n - n = h, -2*o - 14 = -n for o.
-5
Let p be ((-12)/14)/((-6)/28). Solve p*o = -4*z - 6 - 2, -2*z - 19 = 5*o for z.
3
Suppose 0 = -4*o + 20, 4*o - 12 = 4*h + 8. Solve -2*d + 3*x - 17 = h, x + 6 = -5*d - 11 for d.
-4
Let x be (0 - 0) + (4 - -1). Suppose 2*a + 3*z - 6 = 0, x*a = -4*z - 0*z + 8. Solve -t + 3*f - 5 = a, -25 = 5*t + f - 0*f for t.
-5
Suppose 4*s - 51 = 3*a, -2*a = -4*s + 15 + 31. Solve 4*f - 4*p = 6 + 6, 3*p + s = -f for f.
0
Suppose 4*r = -p + 14, -5*p - 3*r = -0 - 19. Let d = 6 - 2. Suppose 3 = -d*n + 6*n + 3*w, -2 = -2*n - 4*w. Solve -2*l = y + 4, n*y = -3*l - p*y - 20 for l.
0
Let q = -97 + 100. Solve -3*i + 10 = -4*y, -3*i + q*y + 8 + 1 = 0 for i.
2
Suppose 2*x + 0*h = -h + 12, -32 = -4*x - 4*h. Solve 21 = 2*k + 5*n, x*n - 7 = -4*k + n for k.
-2
Let w be (-48)/(-2)*6/12. Solve -2*k - 2 = -2*y + w, k = 5*y - 15 for k.
-5
Let f be -5 - -1*(11 + -3). Solve f*s + 8 + 13 = -4*a, -5*a - 4*s - 27 = 0 for a.
-3
Let a be (1/3)/((-2)/(-12)). Let u be 3/3 - a - -5. Suppose 0 = -8*w + u*w + 20. Solve 2 - 7 = -2*s + o, -20 = w*s + 4*o for s.
0
Suppose -5*w = -0*w + y - 52, -y + 12 = w. Let x = -6 + w. Solve -f + 7 = -5*g - 7, -3*g - 22 = -x*f for f.
4
Let g(q) be the third derivative of q**4/24 - 7*q**3/6 + 9*q**2. Let y be g(10). Suppose -o = 4*o. Solve -3*c + 1 = -m - o, -c = y*m + 3 for c.
0
Suppose -d = j + 2*j - 11, 0 = 2*d - 4. Suppose y = -j + 6. Suppose 2*f = -y*f. Solve -4*z + f*a - 5*a + 36 = 0, -24 = -4*z - 2*a for z.
4
Let h(o) = o - 13. Let f be h(15). Solve -f*b = b - d + 5, -9 = 3*b + 3*d for b.
-2
Suppose -6 = -5*o + 14. Solve -3*t + 14 = -o*d, -2*d - 3*t - 5 - 11 = 0 for d.
-5
Suppose -51 = -5*c - t, -2*c - 2*c + 4*t = -36. Let i = c + -7. Solve -i*s = 5*k + 7 - 42, 0 = k - 4*s + 16 for k.