u - 3 for v.
-3
Let k be (-6 - -7)/((-1)/(-3)). Solve -3*d + 5 = 4*x - k, 4*d = x + 17 for x.
-1
Let g be -1 + (4 - 0) + 3. Let v(i) = -i + 6. Let j be v(g). Solve 5 = -h - s, j = 2*h - h - s + 3 for h.
-4
Let f be 114/(-76)*(-1 + 1*-1). Solve 10 = f*u - 5*k, 0*u - 2*u = k - 11 for u.
5
Suppose 0 = 3*h - 5*c - 53 - 21, 2*h - 4*c = 52. Let r = 32 - h. Solve 0 = 2*t - 2, 10*t - r = -3*q + 5*t for q.
3
Let t be 0/(0/(-4) - 7). Let d = -3 - -4. Suppose -5 = -q - d. Solve t = b + 2*b + 3, 2*g = 4*b - q for g.
-4
Let z be (-288)/(-162) - (7/9 + -1). Solve -z*w - 11 = -5*a, 3*w = -3*a - 2 - 4 for w.
-3
Suppose 8 = 4*h - 0*h. Let x(y) = -y**3 - y**2 - y + 4. Let j be (4 - 4)/(-1 + -2). Let i be x(j). Solve 4*g = -2*p - h, -i*g = -3*g for p.
-1
Suppose 0 = 7*v - 8*v - b, 20 = 5*v - 5*b. Solve 0 = 5*r + i + 18, -i = -v*r - 0*i - 3 for r.
-3
Let j be ((-25)/20)/(1/(-4)). Suppose o + 0*o = s + 6, j*o - 6 = -s. Solve o*z + 2*z + 3 = l, 0 = 4*l + 5*z + 9 for l.
-1
Let w be (1/(-2))/((-1)/6). Let s be 1/((-18)/21 - -1). Solve j + 14 = 5*x, w*j + x + 3 = -s for j.
-4
Suppose -2*f = -4*q + 12 - 4, 4*q = -2*f + 24. Let i = q + -4. Solve 2*v - 3*j - 9 = i, 0 = -5*v + j - 0 + 16 for v.
3
Let b = 8 - 7. Let t = 2 + b. Solve t*m - 4 = 4*o + 3, 5*o = -20 for m.
-3
Let j(p) = p + 17. Let b be j(-9). Solve -b = 4*f + 3*v, 2*v - 16 = 5*f + 17 for f.
-5
Suppose -2*x = -4, -4*x + 19 = 3*u + 2. Let f be (0 - -8) + -4 + u. Let w = -4 + f. Solve w*n - t = t + 4, -5*n = -2*t for n.
-2
Let h be (-1)/2*0/2. Solve -l = 5*b - 15, h*l + l = 5*b - 15 for b.
3
Suppose 2*s + 6 = 12. Solve -3*d + d = 6, s = -3*z + 2*d for z.
-3
Let r = -3 + 1. Let k = r + 2. Let g = k - 0. Solve 4*d + g*d = 2*m + 22, m + 14 = 3*d for d.
3
Let w = 3 + 1. Let j be 10/w*(-4)/(-2). Solve 3*v - 18 = -j*c + 7, v = -5*c + 25 for v.
0
Let c = -3 + 8. Suppose -3*s = 4*b - 25, 0*b - b + c*s - 11 = 0. Solve 5*p + 4*t = 12, -2 - 10 = p - b*t for p.
0
Let s be 4/3*33/22. Solve s*t + 15 = 7*t, 0 = -v - t for v.
-3
Let a = 4 + -3. Suppose 2*n - 7 = -b, 2*b + 2*n + a = 13. Solve u = b*d + 22, -3*d - 21 = -5*u + 1 for u.
2
Suppose 0 = -2*a + 6. Let m be (-8)/20 - (-2)/5. Solve -a*g = -2*x + 7, 5*x - 3*x + 4*g + 28 = m for x.
-4
Suppose -10 = -x + u, -x + 4*u = -5*x + 48. Let i = -18 + 12. Let h = i + x. Solve -h*k + 10*k = 4*z - 4, -16 = -k + 5*z for k.
-4
Let f = -3 + 8. Let g(h) = h**3 - 5*h**2 + h. Let b be g(f). Suppose b*i + 3*m = 28, -4*i - m + 17 = -4*m. Solve -5*d = 5*t, 30 = -3*t - 2*d + i*d for t.
-5
Suppose 0 = 5*y - 2 - 48. Solve 4*x - 3*r = 3, 5*x + 2*r - y = 7*r for x.
-3
Let g(n) = -7 + 0 + 3 - 5*n + 3*n. Let v be g(-9). Solve c + 4 + 3 = 4*m, v = 4*c + 5*m for c.
1
Suppose 12 - 2 = 5*k. Suppose -2*d = 4*j - 6, 0 = -3*d - k*d + j + 4. Let x = 4 + -1. Solve -25 = 5*y, 2*r + x*y = -d - 6 for r.
4
Let c be 0*((-9)/3)/(-3). Suppose 5*t - 10 = n, -t + 23 = -c*t + 4*n. Solve -5*y + 7 = -t*u, -u - 4*u - 3*y = 23 for u.
-4
Let f(v) = -v**2 - 5*v - 3. Suppose -3*s + 10 + 6 = -w, 3*s = 2*w + 17. Let r be -4 + w/((-3)/6). Let g be f(r). Solve g*x - m = 7, -x + 5*m = 21 - 0 for x.
4
Suppose -4*r + 40 = -0*r. Solve 3*g + h + r = 5*g, 4*g - h - 20 = 0 for g.
5
Suppose 6*z - z + i = 0, -i = -5*z. Let b(r) = r**3 - r**2 + 3. Let w be b(z). Solve 3*k + 5*n = 4*k + 25, -w*n = -4*k - 32 for k.
-5
Suppose 3*t = 4*w - 2*w + 7, 2*w = -t + 5. Suppose -t*r = -4*r + 4. Solve g + 2*c - 24 = 7*c, 4*g = -5*c - r for g.
4
Let z(s) = s**3 + 5*s**2 - s - 5. Let y be z(-5). Solve -7 = 3*i - u, y = 2*i - 5*u - 17 for i.
-4
Let c = -9 + 1. Let w = c + 6. Let x be (w + (-21)/(-9))*0. Solve 4*d - 3*f - 16 = -x*d, f + 2 = -2*d for d.
1
Let r = -63 - -95. Let f = r + -12. Solve 0 = o - 3*j + 15, 5*o - o + f = 4*j for o.
0
Suppose -2*d - d = -18. Solve 2 + d = 4*r + 3*l, -10 = -5*r + 4*l for r.
2
Let f(n) = -n**3 - 5*n**2 - 2*n + 6. Let o be f(-5). Suppose 4*q - o = -z, 4*q + 4*z - 21 - 7 = 0. Solve -4 = -2*l - 5*w, -3*l = -0*l + 3*w + q for l.
-3
Let d = -28 + 31. Solve t + 3*s = 10, -5*t - 2*s + d*s = -2 for t.
1
Let k(z) = 9*z**3 - 3*z - 2. Let j(d) = -26*d**3 + 8*d + 5. Let r(t) = 3*j(t) + 8*k(t). Let s be r(-1). Solve s*b = q + 12, -4*b - 4*q = q - 27 for b.
3
Suppose 0*c - 2 = -c. Suppose -c*z - 3*f = -36, -4*z + 2*z = -4*f - 22. Solve 9*y = 4*y, 3*y - z = 5*i for i.
-3
Suppose -10 = o - 3*o. Solve -4*d - o*w = -26, -3*d - 4*w + 9*w + 2 = 0 for d.
4
Suppose -5*k = -18 - 12. Let x = -4 + k. Let p be (-12)/9*(-1 + -2). Solve -4 = -p*o, -7 = -x*n + 3*o - 4 for n.
3
Let c be 3/(-6) + 1/((-4)/(-18)). Solve 2*v - 3*f - 16 = -0, 0 = -2*f - c for v.
5
Suppose -4 = -3*y + 2*y. Solve 3*o + 6 = 0, 1 = -y*h - 4*o + 5 for h.
3
Suppose 2*o - 6*o - 52 = 0. Let j be 2 - (0/1 - -20). Let z = o - j. Solve 0 = -2*k - y + z, 8 = -k + 3*k + 4*y for k.
2
Let o(w) = w**2 + 5*w + 7. Let v be o(-6). Suppose -a = 3*q - v, -3*a - 5*q + 22 + 17 = 0. Solve f - 2*n + 3*n + 4 = 0, 5*f - 2*n + a = 0 for f.
-3
Suppose -3*t + 8 - 68 = 0. Let b be ((-15)/t)/(1/32). Solve -5*y + 10 = 2*h - 5, -y - b = -5*h for h.
5
Suppose 3*m - 4*m - 1 = -a, -a + 13 = 5*m. Solve -4*p = 4*s + 24, 2*p - 3*p - 7 = m*s for s.
-1
Let u = -8 + 11. Suppose 3*d - 18 = -u*g, -4*d + 2*g + 8 = -10. Solve 4*j = h + 13, h + h + d*j - 13 = 0 for h.
-1
Let p be 12*-1*(-1)/2. Let s = 19 + p. Suppose -s = -u - 5*k, 3*k = u + 5 + 2. Solve -v = 3*g - 15, v = -u*g + 13 + 12 for v.
0
Suppose 2*t = -4*f + 14, -2*f = -5*t - 4*f + 27. Solve 5*p + t*l = -5, 18 = -3*p + l + l for p.
-4
Let q(c) = -c**3 + 3*c**2 + 7*c - 9. Let w be q(4). Solve 5*i = -2*r + r, i + 16 = w*r for r.
5
Let m(l) = l**3 - 3*l**2 - 8*l + 6. Let n be m(5). Solve -n = 4*v, -q - 4*q - 5*v - 35 = 0 for q.
-3
Let s = 6 + -8. Let r be 2*(1 - (2 + s)). Solve 2*d = -r, -d = -y + d + 6 for y.
4
Suppose 0*y + 5*w + 13 = y, 0 = y + 2*w - 6. Solve 2*x + y = -5*d, 5*x - 4*x = -5*d - 9 for x.
1
Let r be -3*(2 + 1 + -4). Let b = 3 - -12. Solve -w + 4 = a - 1, -2*a + b = r*w for w.
5
Let i(t) = t + 1. Let w be i(4). Suppose -2*r + 3*r = 0. Solve -2*x = -3*u - 6, r = -w*x - 3*u + 3 - 9 for x.
0
Suppose -4*v + 8*v + 6*v = 0. Solve 0*j - 14 = -2*j + w, -5*j + 4*w + 41 = v for j.
5
Suppose -5*k - 2*f = -10 - 2, 0 = -3*f + 3. Solve n + k*b = -2, 0*b + 2*b + 12 = 4*n for n.
2
Let w(s) = -s + 7. Let m be w(6). Suppose 0 = 3*l - m - 2. Solve 2*q - 2 = -0*q, -2*y = 5*q - l for y.
-2
Let j = -4 + 4. Let o be -17*((j - 2) + -1). Let y = o + -26. Solve -3*h = 9, 4*h + y = -4*g + h for g.
-4
Let f(k) = -k**2 - 6*k + 7. Let h be f(-7). Solve -12 = 2*l + 3*l - 2*t, -5*l - t - 9 = h for l.
-2
Let l(g) = g - 3. Let o be (-6)/(-3) + 12 + -2. Let x be (2/(-6))/((-1)/o). Let z be l(x). Solve -n = n - h + z, 0 = -3*n - h + 11 for n.
2
Let f = 22 + -10. Let o = f + -6. Solve -3*s + 5*b = 29, 5*s - o = 4*b - 37 for s.
-3
Suppose -t + 1 = r, 2*t + 0*r - r = 8. Solve 3*a - 7 = 2*l, -2*l + t*a - 4*a = -13 for l.
4
Suppose 2*i = 3*p - 69 + 4, 0 = -3*p + 4*i + 67. Solve 5*j + 0*q + 17 = q, -3*q = -5*j - p for j.
-3
Let c be (-1)/1 + (4 - 2). Suppose -m - c + 4 = 0. Solve m*r = p - 13, -3*p - 2*r + 15 = -3*r for p.
4
Let y = -11 - -15. Solve -y*x = 4, -9 = 4*c - 2*x - 27 for c.
4
Let n be 21/7 - (-6)/3. Solve -25 = -5*b - 5*q, 6*q - n = 5*b + q for b.
2
Let o = -95 + 98. Solve 0 + 4 = -2*x, 2*x + 16 = o*z for z.
4
Let g(z) = -2*z - 2. Let y be g(-4). Let s(q) = -q**2 + 8*q - 8. Let r be s(y). Solve -3*h + 9 - 1 = -5*a, r*a + 32 = -4*h for h.
-4
Let w be 2/(-5) - (-135)/25. Suppose 7 = z - b, 3*z - w*b - 25 = -0*b. Solve z*s = 15, 0 = -v - 4*s + 7 + 2 for v.
-3
Let z = 90 - 86. Solve 2 + 1 = -j - z*n, 2*j = n + 3 for j.
1
Let r(q) = q**2 + 5*q - 3. Let m be r(-6). Solve 4*h - m*t - 19 = 0, -3*h + 4 = 3*t - 5 for h.
4
Let o be ((-1)/2)/((-1)/42). Solve -4*c - 5*j + o = -0*c, -5*j = c - 9 for c.
4
Let n(o) = -4*o - 2. Let t be n(-7). Solve 0 = 4*r - 4*h + 24, 0 = r + 4*r - h + t for r.
-5
Let k be (30/(-4))/(21/28). Let w = k - -22. Solve 5*y - 20 = -4*i, -w = -0*y - 3*y for i.
0
Suppose -4*x - 4 - 8 = -4*s, -4*s + 16 = -2*x. Let w = -10 - -4. Let l = 18 + w. Solve -c + s*p + 0 = -l, 5*c = -2*p - 21 for c.
-3
Let n be (-18)/(-3)*(-3 - -2). Let b = -6 - n. Suppose b = -f - 4*f + 15. Solve -y - f*t = 14, -y + 4 = -2*y - t for y.
1
Let x = 9 + -9. Let z(u) = -u**2 + 11*u - 23. Let 