5*q + 12, -s*x = -q + 6 for x.
-2
Let v(m) = -5*m**2 - m - 1. Let b be v(-1). Let d(t) = -t**2 - 6*t - 2. Let j be d(b). Solve -4*y - 3 - 6 = -s, -s = -j*y - 8 for y.
-1
Suppose 0 = 6*x - 2*x - 16. Solve 3*b = -4*l - 1, -b = 5*l + x*b for l.
-1
Let g(b) = 2*b + 13. Let r be g(7). Let s = 8 - 5. Solve m + 2*x + 2*x = -17, 0 = 4*m - s*x - r for m.
3
Suppose -5*u + 8 = 4*w, 2*u + 7*w - 3*w = -4. Suppose u*d + 2 = -38. Let q be 4/d + (-259)/(-35). Solve -y + q = -g - 2*g, 4*g + 5*y - 16 = 0 for g.
-1
Let t = -38 - -43. Solve t*y - n + 10 = 0, 23 = -4*y - 5*n - 14 for y.
-3
Suppose 8*k = 4*k. Solve 5*h - x + 4 = k, h - 2 = 3*x - 0 for h.
-1
Suppose 5*s + b = 5, -4*b + 26 = -4*s + 6. Let z be 4 - 1 - (0 - -15). Let l be (-28)/z + (-2)/6. Solve -q = -f, -l*q - q + f + 4 = s for q.
2
Let q be 36/30*(1 - 6). Let g = -21 + 32. Let s = g + q. Solve s = o + o + f, -f - 5 = 0 for o.
5
Suppose 3*x - 2*q + 0*q = 80, -5*q + 10 = 0. Solve 5*g - x = -4*t, -2*g = -10 + 2 for t.
2
Let u(w) = -w**3 - 3*w**2 + 4*w. Let y be u(-4). Suppose 0 = -6*d + 9 + 9. Solve m + 1 = -r, -3*m - m - d*r - 8 = y for m.
-5
Suppose -h + 6*h + 20 = 0. Let b be (6/h)/(-1)*12. Suppose 4*g - b = 2*x, 0*g = 4*g - 4*x - 28. Solve 3*z + 7*j = 3*j + 5, 0 = 2*j + g for z.
3
Let d be (0 - -2) + (-2)/(-1). Let l be (-3 - -1)*d + 2. Let y = 4 - l. Solve -4*v = 3*n + 26, 0 = 2*n + 3*n + y for v.
-5
Let k = -8 - -14. Suppose l - 3*l + k = 0. Suppose 4*q - l*q = 0. Solve 5*w + 26 = -2*m, -w - 4*m - 16 + q = 0 for w.
-4
Let w = -1 + 4. Let n(j) = -4*j**2 + 5*j**2 + 4*j**2 + 6*j + w - 4*j**2. Let c be n(-6). Solve x + c*b + 7 = -4*x, -2*b + 8 = -3*x for x.
-2
Suppose -3*v = -8*v + 20. Suppose -6*t = -t - 50. Suppose 0 = -3*n + x + t, -5*x - v = -2*n - 3*x. Solve -2*p = 3*f + 10, -n*p - 7 = 3*f + p for f.
-4
Suppose 0 = l + 4*l - 55. Suppose 0 = -4*b + l - 3. Solve 2*q = -2*k - 8, -q + 5*q + b*k = -12 for q.
-2
Suppose -b + 4*d - 8 = 1, -b - 3 = -2*d. Suppose -4*z - r + 4 = 0, b*r + 14 = z - 0*z. Solve -5*l + 0*l - g = 27, -5*l + z*g = 21 for l.
-5
Let n be (-2 - -3)/((-2)/(-60)). Suppose 4*h = -h + n. Let v be (-2)/h + 102/9. Solve -4*l + 2 = 6, 0 = -5*c + 4*l - v for c.
-3
Let y be (-4)/(-14) - (-4)/(-14). Let r = -32 + 34. Solve -4*s + z = -6, -r = -y*s + 2*s + 2*z for s.
1
Let y(u) = -u**3 + 10*u - 1. Let o be y(3). Solve 5 + 2 = -5*n + o*m, -n + 2*m - 3 = 0 for n.
-1
Let s(w) = w**3 - 14*w**2 - 16*w + 15. Let v be s(15). Solve 2*f + f + 4*k - 11 = v, 0 = -2*f + 2*k - 2 for f.
1
Suppose 24*d - 66*d = -84. Suppose 2 = 2*y - 4. Solve 2*v - 1 = -p + y, -2*p + d = 2*v for v.
3
Let g = 6 + 4. Let z(w) = -5 - w**3 - g*w**2 + 0 + 4*w**2 - 6*w. Let s be z(-5). Solve 4*f + 5 = 5*t, -t + f + 3*f - 15 = s for t.
5
Let c = -46 + 56. Solve 0 = -g - x - 6, -x - c = x for g.
-1
Suppose -5*f + 74 = 3*h, 0 = 3*h - 0*h - 3*f - 90. Let v = -17 + h. Solve 3*l - 4*s = v, 3*l + 4*s + 24 = s for l.
-3
Let o(z) = 4*z - 3. Let p be o(2). Suppose -4*g - 11 = -p*u + 25, -g + 8 = 3*u. Suppose -6 = -2*v - v. Solve -v*m + 11 = 3*j, 14 = m + 2*m + u*j for m.
-2
Suppose 5*x - 6 = 2*x. Let a(k) = 3*k**x - k**3 - 6 - 1 + 3*k + 3 - k. Let d be a(3). Solve -2*q + 30 = 4*b, -4*b + d*q + 3*q = 5 for b.
5
Suppose 0 = -3*d + 5*w + 74, 4*w = 9*w + 20. Let u be 102/d + (-2)/3. Solve 10 = 3*v + 4*p, -3 = u*p - 8 for v.
2
Suppose 4*z = 6*z - 18. Solve 4*g = -12, -4*g - z = -3*q + 2*q for q.
-3
Suppose 0*g + 2*g + 8 = 4*m, -5*m + 10 = -g. Suppose 3*z - 4*z + 2*n = 6, -3*z - 5*n + 26 = g. Solve r = x + 10, -z*x + 4*r = x + 35 for x.
-5
Let x(s) = -s**3 - 18*s**2 + 18*s - 15. Let q be x(-19). Solve -5*i - c + 0 = -q, 2*i - 3*c = 5 for i.
1
Let y = 4 - 1. Let v(u) = -u**3 + 4*u**2 - 4. Let a be v(3). Suppose 2*m - 4*m = 0. Solve y*c + 20 = -c, a*b + 4*c = m for b.
4
Suppose 0 = 2*v + 4*r - 46, -2*v - v + 29 = -4*r. Let i = v - 11. Suppose -i*h = -p + 33, 5*h + 68 = 4*p - 42. Solve -40 = -0*f + 5*f + 3*g, -p = 4*f + g for f.
-5
Let u(g) be the first derivative of -g**4/4 + 4*g**3/3 + g**2 - 2*g + 2. Let y be u(2). Solve -w - 8 = -4*n, -y = -0*n - 5*n + 5*w for n.
2
Let o(j) = j**3 + 5*j**2 - 5*j + 8. Let c be o(-6). Suppose c*m + 30 = 7*m. Let n be (-6)/(-4) - (-3)/m. Solve -2*g = -n, 0 = -2*h + 4*g - 1 - 9 for h.
-3
Let t(c) = -c**2 + 3*c + 3. Let r be t(2). Solve 2*n - u - 3*u = -6, r*u = 3*n + 10 for n.
-5
Suppose 0 = -8*h + 2*h + 120. Solve -4*i - h = 4*g - 0*i, -9 = g + 2*i for g.
-1
Let h be (6 + 1)/(-2 + 3). Let y(c) = -c**2 + 7*c + 3. Let l be y(h). Suppose a - 6 = -l. Solve 4*s = 5*j + 3, a*s = -0*j - 4*j - 21 for j.
-3
Suppose -3 = -h + 2. Solve 4*y - 15 = a, 6*a - a - h = 4*y for y.
5
Let v = 15 - 3. Suppose x + v = 4*y - x, -5*y - 4*x = -15. Suppose 0 = 5*g + 3*h - 74, 3*g = 5*h - 8*h + 42. Solve 2*d - 13 = -y*t, 5*d - g = 4*t + d for t.
1
Let x(l) = -l - 1. Let d be x(-6). Suppose 9 = -9*o + 12*o. Solve -o*n = -4*a + d, 4 = -3*a + n + 9 for a.
2
Let x be 7/(-14) - 2774/(-4). Let p be x/14*(-2)/(-3). Solve 0 = -2*c - 5*o - p, 0*o = -5*c - 3*o - 35 for c.
-4
Suppose 9*v - 6 - 12 = 0. Solve m + 5*l = -m - 7, -v*l = -3*m - 1 for m.
-1
Let i be 1214/22 - (-24)/(-132). Suppose -i = 4*s - 9*s. Solve -4*k - s = y, -4*y - 3*k + 10 = -5*k for y.
1
Let b be 6*3*3/9. Suppose -b*u = -u. Let a = u + 3. Solve a*p = -0*y + 2*y + 13, 4*p = 5*y + 29 for y.
-5
Suppose 0*g = -g + 124. Suppose -5*u = -9 - 16. Suppose 0 = -u*k + k + g. Solve 3*o = -v + 5, -5*o + 6 = -5*v + k for o.
0
Let h = 147 + -143. Solve -h*d - c = -4, -4*d + d - 2*c = -3 for d.
1
Suppose -3*s + 4 = -s. Let l(a) = -a + 4. Let n be l(s). Solve 0 = -5*j - 4*i - 0*i - 9, -2*j + 4*i = -n for j.
-1
Let n(s) be the second derivative of s**3/6 - s**2/2 - 3*s. Let i be n(4). Suppose -2 + 26 = i*y. Solve -3*h - 3 = 0, -3*h - y = -c - 0*h for c.
5
Suppose 4*n - 18 = 18. Let k = 1 - 2. Let z = n + k. Solve 3*c - 45 = -5*u + z*c, -2 = -2*u - 2*c for u.
5
Suppose -36*f - 60 = -39*f. Solve g = 3*z + 20, 5*z + f = -g - 0*g for g.
5
Let o = 5 - 3. Let a be 1 + 3*(-5)/(-3). Let l(x) = 2*x - 11. Let z be l(7). Solve -o*u + a*u - k = -7, k = -z*u for u.
-1
Suppose 0 = 4*r - 35 - 9. Let n = r - 5. Suppose 5*q - n - 19 = 0. Solve 5*c - u + 16 = 5, q*u + 5 = -5*c for c.
-2
Let l(p) = 2*p**2 + p - 1. Let n be l(2). Let j = n + -7. Solve -g = s + j*g - 1, -22 = 4*s - g for s.
-5
Let f(u) = 5*u - 33. Let r(i) = -2*i + 11. Let j(w) = -3*f(w) - 8*r(w). Let a be j(-8). Solve -5*l + 35 = -2*v, 0*l = 3*l - a*v - 30 for l.
5
Suppose -10 = -6*u + 5*u. Solve -5*b = u, 0 = 5*a - 2*a + 4*b + 17 for a.
-3
Let k = -7 + 9. Solve -k*p = 4*r + 12, -2*p + 5*p - 5*r - 15 = 0 for p.
0
Let j be 2 - -3*4/(-6). Let g = -1 - -5. Solve g*c + v - 3 = j, 2*c + 5*v - 12 = 3 for c.
0
Let m(c) = -c**2 + 6*c + 6. Let y be m(6). Let s = -2 + 7. Let l be 1/5 + 18/10. Solve -i = i + y, -23 = l*b + s*i for b.
-4
Let r be 10/7 - (-4)/7. Solve -9 = 4*n + n + r*k, 2*n + k + 3 = 0 for n.
-3
Let s = 11 - 7. Suppose -s*o = o. Suppose o = 4*g + 3 - 15. Solve -p - 12 = 3*v + g, 5*p + 27 = -3*v for v.
-4
Let q = -37 - -65. Suppose q = -19*s + 23*s. Solve -s*i - 8 = -c - 3*i, -11 = -4*c - 5*i for c.
4
Suppose 0 = 3*c - 2*p - 13, -4*c + 2*p + 5 = -11. Suppose -2*h + 25 = c*h. Solve y + 4 = -3*y - 3*n, -26 = -h*y + 4*n for y.
2
Let g be ((-5)/(-25)*0)/2. Solve -2*q + 5 + 1 = -3*x, g = -2*x + q - 4 for x.
-2
Suppose 4*y + 0*y = 0. Let i = 35 - 22. Let v = -9 + i. Solve -2*o - o - 2*l + 16 = y, 2*l = v*o - 12 for o.
4
Let l = -17 - -22. Suppose -4*r - o + 3 = -8, -3*o - 1 = -l*r. Solve 2*a - 22 = 4*j, -5*a + 16 = r*j + j for a.
5
Let d = 1 + 1. Let p be d/(-5)*(-45)/(-3). Let s = p + 10. Solve -s*m = -5*z - 6, -5*m + 0*z = 2*z - 24 for m.
4
Suppose 0 = -l - 0*l - 3. Let q be (-72)/l - 1*2. Solve -q = -4*a - 2*c, 5*a - 2*c = 6 - 1 for a.
3
Suppose -2*f - 105 = -23*f. Let v(p) = 2*p - 4. Let r be v(3). Let u be 63/r - 2/4. Solve -l - 1 = 5*i - u, 2*l - f = i for l.
5
Let f(y) = y**3 - y**2 + y + 3. Let c be f(0). Solve -4*x = c*n + 25, -2*x + 0*n - 3*n - 17 = 0 for x.
-4
Suppose p - 12 = -p. Suppose 0*j = 2*j - p. Solve 4*t - 26 - 6 = -4*c, 0 = -3*t + j*c for t.
4
Let o be (-9)/15 + (-3)/(-5). Solve -3*h - 15 = n - 0*n, -3*h + 4*n - 15 = o for h.
-5
Let f(k) = -k + 4. Let q be f(8). Let y be (6/q)/(3/(-26)). Solve 3*u + y = h - 0*h, 1 = h for u.
-4
