-v*s + u*w - 7 = -1 for s.
1
Let w(z) = -z**2 - 14*z + 33. Let j be w(-16). Let t be (11 - j)*(-6)/(-12). Solve 2*g + 0 = h - 3, -t*h - 4*g = 13 for h.
-1
Let m be (2 + 0 - -1)/1. Let r(l) = -35*l - 1221. Let i be r(-35). Solve 5*g - 4*g + 3 = 3*j, -m*j - i*g = -3 for j.
1
Let c = 1192 + -1190. Solve 7*h - 15 = -4*k + c*h, 8 = 2*k + 2*h for k.
5
Let w be ((-2244)/16)/11 - (-1)/(-4). Let b = 13 + w. Solve -3*f + 5*s = -12, -7 = -5*f - b*s + 4*s for f.
-1
Let v = -968 + 974. Solve 2*f + 18 = -4*q, f + v*q = 2*q - 17 for f.
-1
Suppose -b + 3*b = i - 4, -4*i = 16. Let v be 6/b*20/(-15). Solve -5*h = v*f + 18, 13 - 5 = 4*h - 4*f for h.
-2
Suppose 0 = -5*h + 50 - 5. Let d = 3 + -1. Suppose 0 = -4*w + d*w. Solve w*s - 2*s - 2 = -4*m, 4*s - h = -5*m for s.
1
Let n = -54 + 59. Suppose 2*x = -n*q + q + 10, -x = -5*q + 9. Solve -k - q*g = 2, -4*g - 5 - 3 = 0 for k.
2
Let v = 101 - 96. Suppose -5*t - 4*r + 1 + 4 = 0, v*r = t - 30. Solve 4*o + o - 25 = 0, t*z = -o for z.
-1
Let a = -8 + 27. Let q = -16 + a. Solve b + 5*s - 5 = -3*b, q = 3*s for b.
0
Let y(n) = -2*n**2 + 22*n - 17. Let z be y(10). Solve -w + z*w = -q - 7, -w - 3*q = 11 for w.
-2
Let p(b) = -b**3 + 12*b**2 - 12*b + 16. Let g be p(11). Suppose -2*q + q + 2*y + 13 = 0, 20 = g*q - y. Solve -3*s - 21 = -q*x, -4 + 2 = 2*s + 2*x for s.
-4
Let i be 2 - 1*(2 + -1). Let y = i + -1. Suppose -9 = -3*b, -10 = -5*d - 3*b - 1. Solve d = 4*m - y*c - c - 19, -4*m - 2*c = -10 for m.
4
Let o = 208 + -190. Let y = 2 - -1. Suppose -5*n = o - 43, q + y*n = 20. Solve 3*v + 20 = -5*p + 4*v, v = q for p.
-3
Let o be 22/(-231)*-28*(-6)/(-4). Solve -4*y = -o*j + 24, -3*y + 10 = 9*j - 5*j for y.
-2
Suppose 0 = 2*h - 0*h + 4*b - 10, 5*h - 2*b = 25. Solve 4*f - k = -h*k - 4, 3*f = -2*k - 1 for f.
1
Let b = 15 + -13. Let t = 6 + b. Let c be (-5)/2*-1*t. Solve -5*v = x + c, 0 = 4*x + 5*v - 12 + 47 for x.
-5
Suppose 0 = -2*q - c + 30, 6*c - 2*c = -2*q + 24. Suppose -4 = 6*v - q. Solve 4*n = -v*t + 8, 6*n + 8 = 2*t + 2*n for t.
4
Let z(y) = -y + 7. Let d be z(7). Solve d = 5*q + p + 24, -2*p = q - 4*p - 4 for q.
-4
Suppose -149 = -5*f + 3*c, 2*f - 3*c - 62 = 3. Let u = -26 + f. Solve -2*l + q = -3, u*l + l + 2 = -5*q for l.
1
Let f = -2100 + 2102. Solve f*v - 2*t - 18 = 0, 5*v - 3*t + 0*t - 37 = 0 for v.
5
Let z be 190/(-152) + (-1)/(12/(-51)). Solve 3*v + 1 = 5*k, -v = z*k - 3 + 8 for v.
-2
Let u = -2 - -2. Suppose 3*o = -b + 8, 5*b = -8*o + 3*o + 20. Suppose -q = 4*q - 3*m - 25, o*q + 3*m - 10 = 0. Solve 0*n - 13 = -q*n - 3*t, 5*t + 20 = u for n.
5
Let h = -893 - -1549. Let a = 4 - -18. Let z be 4/a - h/(-22). Solve g + 5*o - 18 = -0*o, -5*g - z = -5*o for g.
-2
Let v be 5 + -3 + (1 - 1). Let o be 1*(v - 4 - -3). Suppose 2*c - 7 = o. Solve 4*z = 2*q + 10, -4*q = -3*z - c - 1 for z.
5
Suppose 12 = -3*u, 284*h = 282*h + 2*u + 14. Solve 0*i + h*q = i + 5, -2*i + 4*q - 6 = 0 for i.
1
Let v = -986 + 1005. Solve 5*n = 2*r - 13, 4*r + 6*n = n - v for r.
-1
Let k(y) be the second derivative of y**3/6 + 4*y**2 + y. Suppose -15 = 3*d - 0*d. Let n be k(d). Solve -3*w + 5*o + 6 = w, -o - 5 = n*w for w.
-1
Suppose -14 = 5*d + 76. Let m be (-69)/d + 1/6. Solve 5*a = w + 9 + m, -2*a - 4 = -5*w for a.
3
Let m be (5 - -6) + (1 - 9). Solve -x = 2*v + 3, 0 = 4*x + 5*v - 2*v - m for x.
3
Let x(v) = v**2 - 1. Let i be x(2). Suppose f + 3*f - 2*s = 0, -5*f + 2*s = 0. Solve -2*p + 3*p + i = f, 5*p + 24 = 3*b for b.
3
Let t(a) = 4*a**3 + 2*a**2 + 2. Let g be t(-2). Let p be 11/g - 142/(-4). Solve 5*q + 4*l = q + 12, 5*l = 5*q + p for q.
-2
Let z(a) = -a**2 + 4*a - 3. Let f be z(3). Let g(q) = -2*q - 18. Suppose 0 = c + 10 - 1. Let r be g(c). Solve -v - v + 2*u = f, r = u - 2 for v.
2
Let y(j) = j**3 + 31*j**2 + 28*j - 59. Let a be y(-30). Solve -4*w = -2*s + 2, -3*w + 7*s - 5*s = -a for w.
-3
Let a = 4 + 1. Let o = 5 + 1. Let k be ((-2)/o)/((-2)/42). Solve 0*g = -g + x - 1, g + a*x = -k for g.
-2
Suppose 2 = -20*o + 21*o, -4*o = r - 8. Solve r = y + 4*h - 1, 5*h + 8 = 3*y + 5 for y.
1
Let u = -15 + 22. Let o = u - 4. Suppose -2*a - 9 = -o*j - a, a = 0. Solve -j*l - 4*i - 2 = -6*i, -l = 3*i + 19 for l.
-4
Let l(u) = -2*u - 24. Let r(c) = -5*c + 16. Let v be r(6). Let t be l(v). Solve 2*z - n - 10 = -2, -n - 16 = -t*z for z.
4
Suppose -18*v + 23*v - 60 = 0. Let y = -18 - -16. Let w(t) = -t - 2. Let j be w(y). Solve j*m + 2*f = m - v, -5*m = -2*f - 20 for m.
2
Let l(x) = 2*x - 44. Let r be l(21). Let t be 9/2 - r/4. Solve t*y - 26 = 2*m, -1 = -4*y + 15 for m.
-3
Suppose -17 + 1 = 4*l + 5*r, l - 5 = r. Let a = 40 + 6. Let t be a/4*(-10 + 12). Solve 0 = -4*z - 5*x + t, z - 3*x + 6 = -l for z.
2
Let z = -13 + 11. Let w(r) = -2*r**2 - 6*r - 4. Let q be w(z). Solve q = 2*f - 4*a - 28, a = -f - a - 6 for f.
4
Let n(b) = -2*b**3 - 2*b**2 + 4*b + 3. Let q be n(-3). Suppose -3*h - 280 = -13*h. Let a = h - q. Solve 2*j + 2*u = 10, j - u + a = -2 for j.
1
Let m = -4 + 6. Suppose 0 - m = -n. Suppose 0 = -n*x + 2 + 2. Solve 2*s - s = 5, -3*q = -x*s + 19 for q.
-3
Let l = -36 - -22. Let m = l - -15. Let a = 10 - 7. Solve -2*k + 2*j = -m + a, -4*k = -j - 11 for k.
4
Let m = 20 + -7. Solve -h = -2*k + 2*h + m, 2*k - 5 = -5*h for k.
5
Suppose 0 = -2*w - 2*k + 12 - 8, 5*w - 4*k = 37. Solve -s + 5 = -6*s + w*r, 0 = 2*r - 6 for s.
2
Let i(u) = u**2 - 5*u + 3. Let y be i(5). Let n = 13 + -6. Solve 3*o = -h - 7, y*o + 2*h - 17 = n*h for o.
-1
Suppose 2*d - 314 = -2*o - 310, 31 = 5*o - 2*d. Solve 3*l = o*b - 8, 5*l = 2*b + l - 6 for b.
1
Suppose 5*g + 5*v = 25, -19 = -4*g - 2*v - 3. Solve 0 = 4*i + 4*l - 26 - 2, 5*i + g*l - 29 = 0 for i.
4
Suppose -z - v = -11, 3*z - 3*v = -0*v + 51. Let t = -23 + 25. Suppose -3*b = -t*b - 5. Solve -b*a + 3*i + 34 = 0, 4*a - z - 18 = 4*i for a.
5
Let q be (0 - -8) + 29 + -24. Solve 2*m + 2*g + q = -g, 3*m + 4*g + 18 = 0 for m.
-2
Let p = 145 + -144. Let l(j) = -4*j - 36. Let o be l(-10). Solve p + 0 = -3*t + z, o*t = 2*z + 2 for t.
-2
Let m(a) = -a - 1. Let s be m(-10). Suppose 2*h + 8 = -2*h. Let k = h - -6. Solve -k*n + 2*t = -t + s, n - 3*t = 0 for n.
-3
Suppose 4*z - 6*z = 124. Let a = 67 + z. Solve -2*h = -3*l, 4*h + 7 = -a*l - 15 for h.
-3
Let z(i) = -4*i**2 - i**2 + 4*i**2 + i**3. Let b be z(2). Solve 4*u = 2*w + 14, -b*u + 5*u - w - 6 = 0 for u.
1
Suppose 0 = -4*u + 30 - 10. Suppose -4*o - s = -14, 3*o + o - 6 = -u*s. Solve z - o = -5*k + 10, 5*z + k = -2 for z.
-1
Let r = 1 - -3. Let w(p) = -p**3 - 9*p**2 + p + 13. Let d be w(-9). Suppose -d*a + 12 + 4 = 0. Solve a*u = -r*t - 24, -7 + 1 = -3*u + 3*t for u.
-2
Suppose -t + 198 = -3*x - 155, -3*t - 111 = x. Let s = -72 - x. Suppose 9*v - 4*v - 35 = -5*l, 0 = v - 5*l + 5. Solve v*y = -5*c + c - s, -4*c = -4*y for y.
-5
Let m be 1414/30 + 36/(-270). Let y = m - 42. Solve 2*a - p - 6 = 0, -y*a - p = -4*a - 9 for a.
5
Suppose 0 = 25*b - 11 - 14. Solve -r + 0*r + b = -w, 0 = -r + 1 for w.
0
Let m = 3 - 1. Let o be 8500/544 + 3/8. Solve -s + 5 = -4*k - o, -m*k + s = 11 for k.
-5
Suppose 3*c - 2*t + 8 = 0, 3*c + 185 = -4*t + 201. Solve -u - 2*h + 8 = 0, c = 5*u - 3*h - 1 for u.
2
Let g = 1450 + -1450. Solve g = 3*q + 5*y - 37, -5*q + 3*y + 3 = -2 for q.
4
Let k = -3069 - -3073. Let n = -15 - -27. Solve k*j - 4*v = -n, -4*v = -5*j - 14 + 2 for j.
0
Let i = 84 + -82. Let z be 45/15 - (1 + i). Solve 10 = -5*w - n, -3*w + 5*n - 11 - 23 = z for w.
-3
Suppose 0 = -15*d + 41*d - 468. Solve 5*u = -0*j - 5*j - 30, -2*j - 5*u - d = 0 for j.
-4
Let s(f) = 8*f**2 + 3*f. Let w be s(1). Solve 0 = 4*g + z + w, 0 = g + g + 5*z + 1 for g.
-3
Let r(o) = -o - 17. Let f be r(-17). Let a be 2 + f + 2 + 0. Solve -j = -2*j + 3*w + 1, 2*j - a*w = 4 for j.
4
Suppose 0 = -k - 4*k + 50. Suppose 0 = -u - 6*u. Solve -5*i - 3*b + k = u, 6 = 2*i + 2*b - 2 for i.
-1
Suppose -5*w = -2*w - 36. Let q(b) = -4*b - w*b - 9 + 18*b. Let o be q(6). Solve -s + 6*s = -4*g + o, 3*g - 6 = 0 for s.
-1
Let f = -893 + 897. Solve -9*j - x - 19 = -f*j, 5*j = -3*x - 17 for j.
-4
Suppose 4 = -155*r + 156*r. Solve -r*n - 2*w - 22 = 0, -18 - 1 = -2*n + 5*w for n.
-3
Let a be (3*3/27*-3)/(-1). Solve -3*r - 10 = -4*o, 4*r - a = 2*r - 5*o for r.
-2
Let p = 50 + -47. Suppose -5*j - 6 = -j + 3*h, 5*j - 5*h = 10. Solve -p*b + 3*s = 15 + 3, s - 3 = j for b.
-3
Let x = -6 - -11. Suppose 5*d = 159 - 44. Suppose 0 = -x*i - 8 + d. Solve b - t - 8