z - 10, 4*z - 18 = 2*x for x.
-1
Let q be 17/4 + (-2)/8. Let a = -8 - -22. Let d = a - 7. Solve 5*o + 6 = -y - d, 3*o + 18 = -q*y for o.
-2
Let h(i) = i - 4. Let y be h(4). Solve -k + 2*a + 10 = 0, y = -4*a + 2*a - 6 for k.
4
Suppose l - 2*v = 6, 0 = -5*v - 1 + 6. Let n be (-6)/4 + 12/l. Solve 4*s - 3*u + 3 - 4 = n, -4 = -3*s - u for s.
1
Let w be 4/2 - (-1 + -4). Let u = -5 + w. Solve 0 = -4*m - q + 4*q + 20, -4*m + u*q = -20 for m.
5
Let k(t) = 6*t - 1. Let q be k(1). Let h(w) = 9*w + 4. Let v be h(4). Let p = v - 3. Solve -q*a + 12 = p, l = a + 2 for l.
-3
Let g(z) = z**3 - 5*z**2 - 6*z - 3. Let t be g(6). Let v(b) = b + 6. Let f be v(t). Solve -3*n = 2*y - 13, -y + 5*n - 15 = -f*y for y.
5
Let r(c) = c**2 + 7*c + 6. Let u be r(-6). Suppose 8*z - 3*z - 10 = u. Let x(q) = 2*q - 5. Let i be x(7). Solve i = 3*f, -2*k - z*f = -5*f + 11 for k.
-1
Let v = -4 + 3. Let w be 1 + (v + -1 - -1). Solve w*n - 4*k + 5 = -n, -n + k = 5 for n.
-5
Let m(l) = -3 - l**2 - 7*l - l + 2*l + 0*l. Let n be m(-5). Solve -n*h + 13 = 5*v + 46, -2*h - 8 = 0 for v.
-5
Suppose 0 = 3*d - 5*d - 10. Let o = 13 + d. Let l = -1 + 7. Solve 2*n + o = -3*y + l*n, -3*n = -y - 6 for y.
0
Suppose -3*b - 4*l = -13, -2*l + 8 = 2*b - 0*b. Solve j = -b*y + 1, 4*y = 3*j - j + 8 for j.
-2
Let n = 3 - -2. Suppose 4*q - 8 = 2*p, 2*q + 1 = -3*q - 3*p. Let x be 5 + (q - -1 - 2). Solve d - x*i = -d + 11, 2*d - n = 3*i for d.
-2
Suppose f + 48 = -2*f. Let a be ((-18)/(-8))/((-3)/f). Suppose 2*u = -k + 6, -2*u - 2*k - a = -4*u. Solve 5*l = u*h + 4*l + 15, -l = -2*h - 9 for h.
-3
Let p = 34 + -16. Suppose q - p = -0*f - 4*f, -q - f + 18 = 0. Solve 0 = -4*j + v - 22, -v + q = -2*j + 3*v for j.
-5
Let u(r) = -r**3 + 19*r**2 - 18*r + 2. Let t be u(18). Solve 2*l = -t*v, 0*v - 4*l = -2*v + 12 for v.
2
Let q(g) = -3*g + 1. Let h be q(-9). Solve 3*d - 9 = 5*z - h, z = 2*d + 8 for z.
2
Let x(k) = -3*k**2 - k + 1. Let q be x(-2). Let g = q - -12. Solve 9 = -n + r - 0, 3*n = -3*r + g for n.
-4
Let c = -1 + 1. Suppose -44 = 2*q - 48. Let u = 21 - 15. Solve c = -4*g + 3*r, -u*r - 14 = -q*g - r for g.
-3
Let o be (0 + (-12)/(-9))*3/2. Solve 2*i - 5*r = -19, -o*r - 9 = -3*i - 21 for i.
-2
Let h = -1 + 15. Suppose 3*m - 4*w - h = 0, -4*m - 3*w = -9*m + 16. Solve -5*v + m*p - 20 = 5*p, 0 = v - p + 4 for v.
-4
Let p(k) = k**3 - k**2. Let q be p(2). Suppose 4*y + q*n - 28 = 0, 3*y + 5 = -5*n + 28. Solve -4*u = -g - y, 2*u - 2*g - 6 = -0 for u.
1
Let p = -20 + 22. Let j = p + 0. Solve -2*x + i + 2 = 0, 4*x + j*i = -i + 24 for x.
3
Suppose 13 = 4*r - 2*r - n, -4*r + 6 = 2*n. Solve q - 7 = -3*k, r*k - 3*q - 19 = 3*k for k.
4
Suppose -30*q = -32*q + 6. Solve -3*r = -2*s - 11, q*s + 10 = -r - 1 for r.
1
Suppose 4*n - 3 = 5*n. Let y(r) be the first derivative of r**3/3 - r - 1. Let q be y(n). Solve -2*a + 6 = -0, -q = m - 2*a for m.
-2
Suppose -t + 2 = -2*t. Let q be t/(-4)*0/6. Solve q = 2*w - b - 3 - 2, 0 = -w - 3*b + 6 for w.
3
Suppose -3*i = i + 3*h, i = h. Solve -21 = u - 4*o, -u + o - 5*o + 11 = i for u.
-5
Let t be 0/(1*(-3 - -2)). Let j = t - -3. Solve 2*u + j*u - 5*b - 10 = 0, 3*u - 6 = 2*b for u.
2
Let q be ((-8)/6)/((-1)/3). Suppose 0 = -3*j + q*j - 3. Let h = -19 + 31. Solve 2*u - 11 = -b, j*u - 3 = h for b.
1
Let f(h) = -h**3 + 2*h**2 + 5*h - 2. Let u = -3 + 9. Let i be (u/(-9))/((-4)/18). Let g be f(i). Solve -4*a - g*d = -3*d + 11, -9 = -3*a + 5*d for a.
-2
Let y be (-158)/(-4) + (-4)/(-8). Suppose -6*r + r = -y. Solve 3*b + 1 = -5*c + 2, -4*c = -r for b.
-3
Let t be 4/(4/(-7)) + -1. Let n = 10 + t. Solve p + p + 5 = y, 5*y = -n*p + 1 for p.
-2
Let i be 4/22 - (-477)/99. Solve -3*u = 2*j - 13, -4*u + 0*u + 25 = -i*j for u.
5
Suppose 3*o - o - 3*l = -29, 3*l = -3*o - 6. Let u = -5 - o. Solve -c - 4*s = -21, -u*s = 4*c + 3*s - 29 for c.
1
Let j(b) = b + 5. Let c be j(-5). Suppose m - 23 = 4*r, -r - 4*r - 2*m - 45 = c. Let l(f) = f + 9. Let z be l(r). Solve 3*d = 5*x - 13, x = 4*x + 4*d - z for x.
2
Suppose 0 = -2*g - 1 - 3. Let n be -2 + 4 - (-4)/g. Solve o - 11 = 4*k - n, 5*k = 3*o - 19 for k.
-2
Let z be 1*(30 + 3) + -4. Solve 3*p + 5*u = z, 5 + 21 = 2*p + 5*u for p.
3
Suppose 0 = 3*u - 24 - 12. Solve 2*g - 2*a = g, 4*g = -4*a + u for g.
2
Suppose 3*c - c = -n + 15, -2*c - 30 = -4*n. Let t = n - 5. Let p = -9 + 14. Solve 17 + 0 = 3*a + p*q, -4*a + 12 = t*q for a.
-1
Let s(d) = d - 1. Suppose -36 = -4*i - 104. Let z = -12 - i. Let q be s(z). Solve 3*l - n - 8 = 8, -q*n = l - 1 for l.
5
Let a = 10 - 8. Suppose b + y - 5 = -3, a*b - 5*y = 18. Solve -4*w - 8 - 4 = -b*m, -27 = -w - 5*m for w.
2
Suppose 4*d = -o - 3, -2*d - 2*o - 6 = 2*d. Suppose d*v + v - 4 = 0. Solve 0 = -8*r + 3*r, -v*r = 2*m - 8 for m.
4
Let a = -22 - -15. Let p = a - -24. Solve -4*o + 12 = 4*d, 4*o - 5 = 2*d - p for o.
-1
Let j = -54 - -5. Let g = j - -34. Let i be g*(-2 - 8/(-5)). Solve -3*v + 5*w = -v + 18, -i = -2*v - w for v.
1
Suppose -5*s - 2*u + 19 = 0, 0*s - 2*u = 2*s - 10. Suppose -4*v = s*r + 6, 4*r + 2*v + 0 = 2. Solve z + 3*b + 8 = -4, -r*b = 10 for z.
3
Suppose -3*o + 18 = 2*o - 3*b, o - 5 = 2*b. Solve -o*q + 3*n = -6, 5*q + 2*n + 3 = -8 for q.
-1
Let h(k) = -56*k - 334. Let t be h(-6). Let z be (-3)/(12/26)*-2. Solve 5*x - t*x = w - z, -4*w = -16 for x.
-3
Let v be ((-1 - -4) + 1 + -4)/(-2). Solve -r + 5*c = 19, 4*r + v*c + 13 = -c for r.
-4
Suppose -27*r - 5 = -28*r. Solve 0*z = 2*z + r*b + 15, -3*b = 3*z for z.
5
Suppose f = -5*k + 44, -3*f + 39 = 3*k + 15. Let d = k - 5. Solve 0 = 2*w + 3*y - 7, 3*w + d = -4*y + 15 for w.
5
Suppose 4 = x, 2*q = 3*x - 2*x + 40. Let f be (3/6 - 0)*q. Let k = f + -6. Solve -n = 2*c - 2, n = k*n - 3*c + 14 for n.
-2
Let g be -3*1*(14 - 15). Solve -2*u + 25 = -g*k, 0*u = k - 4*u + 25 for k.
-5
Let b be (-12)/(-20)*5/(-1). Let q(k) = -k**2 - 4*k. Let w be q(b). Solve x + 0*x - a = -4, 5*a = w*x + 10 for x.
-5
Let m = -68 + 72. Solve 2*w + 15 - 1 = m*u, 3*w + 11 = u for u.
2
Suppose -3*c + 25 = 2*c - f, 0 = 4*f. Solve 5 = 3*s - 1, 5*l + 15 = -c*s for l.
-5
Suppose 0 = -27*q + 17*q + 30. Solve 7*v = 4*v - 12, 0 = -q*t + 5*v + 26 for t.
2
Let v be 30/(-4)*6/(-9). Suppose -17 = -v*p + 3. Let h be ((-3)/9)/((-1)/9). Solve 5*f = i - h, 4*i + p = 2*f + i for f.
-1
Let d = -1 + 3. Suppose 4*x - 3*x + 2*y - 11 = 0, 4*x - d*y = -6. Solve 5*n + 24 + 4 = 3*b, 0 = n + 4*b + x for n.
-5
Let g(n) = 2*n - 3. Let k be g(3). Let h = 2 + 0. Solve -3*u + 17 = 3*d + 2*d, k*u - 10 = h*d for u.
4
Let v = 6 - -1. Let t(m) = -8 + 1 + 0 + m. Let l be t(v). Solve 3*p + 21 = 3*y, l*p = 5*y + 5*p - 15 for y.
5
Suppose 0*j + 3*j - 4*o = 26, o = j - 7. Suppose 5*l - 32 = -3*r + 2, 0 = -5*l + 25. Solve 2*i + 5 = -i - s, -j*i = r*s + 8 for i.
-1
Suppose 4*f + 19 = -2*j - 3*j, -5*j = 2*f + 7. Let t be 10/f*(-1 - 2). Solve t*o - 20 = 0, 2*c + c + 5*o = 20 for c.
0
Let d be (-2 - -6) + 1 + 0. Let u(z) = -5*z + 65. Let p be u(13). Let j(c) = -c**2 + 2*c + 3. Let y be j(3). Solve -d*w + v - 30 = 0, p = 4*w - y*w + 4*v for w.
-5
Suppose 4*h = 5 + 67. Let n(r) = -r + 3. Let k be n(0). Suppose 3 = -k*a + h. Solve -18 = -3*l - 3*b, b = 2*l - 4*b - a for l.
5
Suppose -2*u + 25 = 3*u, -3*n = 5*u - 79. Let l = n + -13. Solve 0*i + 12 = 4*i + 3*o, l*i + 2*o - 8 = 0 for i.
0
Suppose 0*o = -2*o + 8. Let g be (-6)/(-1*3) - 2. Suppose g*b = b - 5. Solve 4*c - b*s - 28 = 0, c + o = -c - 2*s for c.
2
Suppose 3*w + 2*w = -4*o + 1, 2*o = -2*w + 2. Solve 2*m + 6 = 0, -m + 0 + 1 = o*c for c.
1
Let x = -6 + 6. Suppose x = -a + 2. Solve -3*u = o - 4, a*u + 2*u + 5*o = 9 for u.
1
Let j be (3/9)/(2/18). Solve -j*f + 4*p + 7 = -p, -4 = -4*p for f.
4
Suppose n - 4 = 0, 0 = 5*v + 2*n + 42 + 25. Let o = 43 + v. Solve 3*y - 1 = -2*f - 3, 4*y - 5*f = o for y.
2
Let a(j) = 2*j**2 - 36*j + 38. Let c be a(17). Solve 1 - 22 = 3*b + 5*o, -o = c*b + 11 for b.
-2
Suppose 0 = 3*v + 12, -4*j + 5*v + 4 + 4 = 0. Let y = 2 + j. Let b be y/4 - (-25)/4. Solve 5*t - p - 16 = 0, 7 = b*t - 2*t + 5*p for t.
3
Let p(g) = 3*g + g**3 + 7*g**2 + 0*g**2 - 4*g**3 + 2*g**3 - 9. Let i be p(7). Solve -2*f + 5*f + d - 13 = 0, i = 2*f - d for f.
5
Let n be (-46)/(-3) - (-3)/(-9). Let t = -4 + n. Solve 3*l - 28 = 5*u, 5*u + t = 2*u - 4*l for u.
-5
Let q be (5 + -11)*1/(-2). Suppose 2*d = 4*d. Let a(w) = -w + 3. Let i be a(d). Solve 2*v + i*y = -2*v + 14, 0 = -q*v + 4*y + 23 for v.
