-s + 5*k for s.
0
Let g = 88 - 83. Solve z + 5*b = -g, 5*z = 6*b - 2*b + 33 for z.
5
Let g(q) = -7*q - 1. Let m be g(-1). Suppose 2*p - 2 = f - 8, m = -2*p. Solve -3*o = 5*u - o - 33, f = u - 3*o + 7 for u.
5
Let a(v) = -v**3 - 3*v + 1. Let r be a(2). Let c = r + 24. Solve -4*z - 3*h = 5, 3*h + c = 5*z - 3*z for z.
1
Suppose -4*h - 20 = 5*a, 3*h = 6*h + 3*a + 12. Suppose -2*f - 6 + 32 = h. Let u be 22/(-187) + 140/34. Solve -z + u*r = z + 2, -f = 5*z - 2*r for z.
-3
Let f be 1/(5/(-6) + 1). Let l be (-2)/f*0 - -24. Suppose -5*o - l = -6*o. Solve 3*w + 5*v = -o, -4*w + 1 - 4 = -3*v for w.
-3
Suppose 4 + 6 = 5*i. Suppose -14 + 2 = i*a. Let n be 2/(-3) - 34/a. Solve 0 = -3*d - 9, 0*j - 25 = n*j + 5*d for j.
-2
Let m be 1/(-2)*10/(-1). Solve -l - 2*y = -m, -y - 3 + 4 = 0 for l.
3
Suppose -a - a = -6. Let z = a + 0. Solve 4*k - 5*k - 3*d = -z, 0 = -2*k + 2*d - 10 for k.
-3
Let i be (-2 - (-4 + -2)) + 1. Solve 2*k = -3*f + 22, -5*f + 4*k + i = k for f.
4
Let u be 6/9 + (-3)/(-9). Let q = u - -3. Solve -d - b - 3 + q = 0, -1 = 2*d + 5*b for d.
2
Let r = -4 + 8. Solve -5*n = c - 10, -3*n - 4*c = -3*c - r for n.
3
Let h be (17 + -1)*(-5)/(-10). Suppose -k = 3*p - h, 0*p - 3*p - 3*k = -12. Suppose 28 = 5*b - 17. Solve -4*q = p*f - 13 - b, 13 = 4*q - f for q.
4
Suppose 0*i = 2*g + i, 20 = 4*g - 3*i. Suppose -6 = -3*q - 0. Suppose 2*f - q*d + 0*d - 20 = 0, -4*f + g*d + 30 = 0. Solve 4*j + 3*v = 0, -v + 0*v = -f*j for j.
0
Let y(p) = -p + 2. Suppose t - 2 = 1. Suppose -2*x - 2*m = -6, 12 = -t*x - m + 5*m. Let u be y(x). Solve 1 = -3*a + 5*h, h = -2*a - u*a + 14 for a.
3
Let w be (-3)/(-6) - (-3)/(-6). Suppose 0 = 4*h - h - 12. Suppose -h*b + 5 = -3. Solve w = -b*a + m + 6, 2*a + 4*m = 6*m + 8 for a.
2
Let d be 1*2 + (-3 - -4). Suppose -1 = -2*y - 7. Let i be 1 - -4 - (-3 - y). Solve -2*f - d*f = -i*w - 35, -3*w - 18 = -2*f for w.
-4
Suppose -24 = 2*l - 5*z, 30 - 10 = 5*z. Let t be -8*l/(-8)*-7. Solve 0 = -6*y + 3*y + x - 10, y - 3*x = -t for y.
-2
Suppose 4*l + q = 5*l + 1, 4*l = -q + 16. Let j be 0/(-2 - (2 - l)). Solve -2*a - 4*x - 6 = -9*x, -5*a + x + 8 = j for a.
2
Let k(t) = t**3 + 2*t**2 - t + 1. Let w be k(-2). Let v = 5 - w. Solve -5*g - v = -4*l, -4*g = 3*l + l + 16 for g.
-2
Suppose 0*h - 4 = -2*h. Suppose 0*t - 8 = -2*t + h*k, k - 14 = -5*t. Solve 0 = b + d + 1, b + t*d + 16 = 7*d for b.
-4
Let i = 4 + 0. Suppose b = -1 + i. Solve 0 = -2*a - 2*a, -5*a = b*x + 12 for x.
-4
Let y = -4 + 6. Let h(n) = -n - 6. Let o be (7/(-2))/(2/4). Let t be h(o). Solve 2*r + y*r + 4 = 0, -4*p - r = t for p.
0
Let o = 11 - 9. Suppose 0 = y + 2*r - o - 7, 5*r = -4*y + 45. Suppose -5*t + y = -5. Solve -3 = m - 2*j, -t*j + 15 = m - 0*m for m.
3
Let v = 5 + -5. Let h = 9 - 3. Suppose -2*a + 0*a = -28. Solve a = -q + 5*n, -2*q + v*q - h = n for q.
-4
Let z(c) = c - 3. Let j be z(3). Let h be (j + -4 + -1)*-1. Solve -h*u = -5*w, 0 = 4*u + 3*w - w + 24 for u.
-4
Suppose 5*o - 12 = 8. Suppose -5 = -c - o*y + 3, 0 = -y + 1. Let i = 0 + 0. Solve i = n + c*n + 4*m + 3, 0 = 2*n - 5*m - 12 for n.
1
Suppose -4*v - 5*f = -45, 0 = v + 2*f + 3*f - 30. Suppose -v*m + 1 = -14. Solve 2*u - 3 = m*u, 3*n - 5*u = 0 for n.
-5
Let j(f) = 2*f**2 - 2. Let w(k) = 2*k**3 - k + 1. Let c be w(1). Suppose 0 + 4 = c*u. Let d be j(u). Solve -p + t = -d*p + 12, -4*p + 6 = -t for p.
2
Suppose 4*s + 4*z - 28 = 0, 0 = 3*s + 5*z - 18 + 1. Solve 5*j = h - 12, -5*h - 3*j + 5*j - s = 0 for h.
-3
Suppose 19 = 2*f - 3*d, 3*d - 12 + 1 = -4*f. Suppose -4*m + 11 = -t, -f*t - 4 + 3 = -2*m. Suppose -3*q = 6 - 39. Solve 3*z - q = -m*h + 2*z, -2*h + 7 = z for h.
4
Let r be -6*((-14)/24 - 2/(-8)). Solve 2*x + r = 0, 4*o + 2*x - 7 = x for o.
2
Let l = 3 + -1. Let j be (-4)/(l - (-10)/(-4)). Solve 3*w - j = -4*t, t + 2 = 3*w + 2*t for w.
0
Let o(a) = a**2 + 4*a - 8. Let c be o(-6). Suppose -12 = -2*y + 2*t, -c*y - 5*t + 18 + 6 = 0. Solve -y*f + 3 = 4*l - 3*f, -4*l + 4*f = 32 for l.
-3
Let o be ((-6)/4)/(3/(-10)). Solve -5*a + 2 = u, -3*u + a = -o*u - 5 for u.
-3
Suppose 2*h = -2*h + 16. Suppose 22 + 10 = -4*b + h*r, -11 = 2*b - r. Let k(o) = -2*o - 3. Let m be k(b). Solve 3*v = m*g + g - 10, -v = -4*g + 14 for v.
2
Let w(o) = 3*o**2 - o. Let b be w(-1). Suppose b*m + 8 = 8*m. Suppose 2 = 23*s - 22*s. Solve -h = x - 7, -s*x = -3*x + m for h.
5
Let j be 4/(-10) + 3611/115. Solve 5*f - 5*y = -10, 4*f - j = -3*y - 4 for f.
3
Let z(u) = 25*u + 1. Let l be z(3). Suppose -4*s + l = 5*t, 0*s - s = t - 16. Solve -5*o - t = x, 0 = o + x + 5 - 1 for o.
-2
Let z be (-22)/((-4)/4*-2). Let q = z - -21. Let f = -4 - -4. Solve 3*w + q*d = 5*d - 5, f = w - d - 1 for w.
0
Let r(g) = -19*g - 1. Suppose -2*s = -3*s. Let q be 3 + -4 - s/1. Let a be r(q). Solve -5*m + 5 = -3*u, -5*u + a = -7 for m.
4
Let s be (2 + -2)/1 - -1. Suppose r = 6*r. Suppose r = -0*l - l + s. Solve -2*k + 2*p = p + 7, -2*k - 5*p = l for k.
-3
Suppose 15 = -2*y + 1. Let b = -19 - -31. Let t = b + y. Solve -t*j - 15 = -5*d, 5*d + 3*j - 23 = -0*j for d.
4
Let f be -3*(10/(-3) - 2). Suppose 5*h = g + f, 2*h - 22 = 2*g - 3*h. Let j be (-2)/g*(-1 - -10). Solve 20 = -j*r - 5*d, -9 - 5 = 3*r - d for r.
-5
Let n(q) = q**3 - 4*q**2 - 2*q - 11. Let w be n(5). Solve -a + 18 = 2*a - w*y, 3*y + 9 = 0 for a.
2
Let d = -9 - -9. Solve 7 = 4*y - 5*g, d*g = 4*y + g - 13 for y.
3
Suppose 4*k + 2*t + 0*t - 28 = 0, 10 = 3*k - 4*t. Solve 2*q - 7*q = 4*u + 15, -2*q = k for u.
0
Suppose 0 = 2*u + 2*r - 16, 2*u + r = 2 + 10. Let j = u - 1. Solve -g = 5*n + 13, n - j*n - 19 = 5*g for g.
-3
Let t = -8 + 9. Let f(i) = 32*i**3 + 2*i**2 - i. Let r be f(t). Let x = 53 - r. Solve -2*d - x = 4*w, -5*w = 3*d + 35 - 9 for w.
-4
Let o be (0/(3 + -5))/2. Suppose 3*b - 4*b + 5 = o. Solve 2*k + 0*k - 4*j = -28, -9 = -4*k - b*j for k.
-4
Suppose 2*x - 7*x + 20 = 0. Solve s = f + x + 1, -4*f = -s + 14 for f.
-3
Suppose -4*i = -3*t + 19, 4*t - t = 5*i + 20. Solve -4 = -5*u + 5*d + 1, 5*d + t = -4*u for u.
0
Let w = -8 - -11. Let g be (-5 + w)*(-4)/2. Solve 0 = r - 4*i + 24, 5*r + 0*r = -g*i for r.
-4
Let a be -2 + (8 + 1 - 2). Solve -h - 3*h - 16 = -3*p, 3*h + 2*p = a for h.
-1
Let h(r) = -5*r - 2. Let z be h(-1). Let x be (-2)/((-20)/(-8) - z). Solve x*c = 3*s + 7, 0 = -5*c + 2*s + 20 - 6 for c.
4
Let p(d) = -d**2 + 7*d - 1. Let g be p(7). Let x be (2 + 3)*(-1)/g. Let j = -32 + 36. Solve 3*s = x*c + 29, j*c + 0*s = 4*s - 28 for c.
-4
Let c(a) = a - 2. Let w be c(4). Let r be 2/(-4)*2*0. Suppose 3*t + r*v = -v + 17, -2*t + w = -4*v. Solve 0 = 2*s - k + t, -2*s - s = 4*k + 2 for s.
-2
Suppose 19 = 2*c - 0*c + m, -52 = -5*c - 4*m. Solve -2*x = -c, 5*h = -3*x + 4*x + 21 for h.
5
Suppose 15 = 4*r - n, 5*n - 11 - 10 = -4*r. Solve -2*w = 2*c, 2 = r*w - c + 6*c for w.
-2
Let d = 13 + -25. Let r = d + 12. Solve -3*h + 9 = 3*a, -h + r = 1 for a.
4
Let c = 9 - 6. Suppose 3 + 1 = m. Suppose 0 = -5*u + 4*o + 41, -2*u = 5*o - 6 + 16. Solve c*t + 2 + u = -z, -t + 5 = m*z for t.
-3
Let l = -304 + 946. Let j be l/42 + (-4)/14. Solve 3*b = -0*b + j, -5*h + 20 = b for h.
3
Let j(b) = -b - 7. Let x(f) = -5*f**2. Let u be x(1). Let v be j(u). Let s be (v/(-3))/((-2)/(-57)). Solve -3*a + 6 = -0*a, s = -5*h + 2*a for h.
-3
Let q(g) = -2*g**2 - 3*g + 1. Let a be q(-5). Let b = -14 - a. Suppose 0 = 3*x + x - b. Solve r - x*o = 3, r = 5*o - 3*o for r.
-2
Let n(i) = i**3 - 2*i**2 - i - 2. Let f be n(3). Suppose 5*w = f*w + 5. Solve -h + 0*h = -2*d + 10, 5*h = w*d - 35 for d.
3
Let m(j) = -4*j + 3*j + 3*j - 2 - 5*j. Let v be m(-5). Solve 22 = 2*r - 4*q, -q = -r - r + v for r.
5
Let q(d) = 8*d + 2. Let v be q(2). Let x be -2 - (-2 - v/3). Solve -4*b - 2*u = 10, 2*b + 29 = 5*u - x for b.
-5
Let o(x) = x**3 - 6*x**2 + 3*x + 2. Let v be o(6). Solve 5*i + 2*d = 3*d + 5, 0 = -4*d - v for i.
0
Let x be (-3)/1*-2 + -1. Suppose 2*s = s + 4. Solve 2*f = 5*r - 7, 3*f - x = r + s for f.
4
Suppose -4*w + 5*g = -28, 0 = 3*g - 4*g. Solve 3*f - 4*q - 1 = 0, 2*q + w = -2*f - 3*q for f.
-1
Let n(v) = 3 - 6 + v**2 - 1 - 4*v + 2. Let j be n(5). Solve 0*h + 4*l + 21 = -3*h, l - j = 2*h for h.
-3
Let i(s) = -2*s + s - 5 + 4. Let b be i(-8). Solve 3*f + b = 2*g, f - 12 = 5*f for g.
-1
Let t be 280/(-16)*8/(-10). Let l = -14 + t. Solve q - 3*r + 5*r - 9 = l, 0 = -5*q - 4*r + 15 for q.
-1
Let z be ((-56)/6)/((-3)/9). Let v be (z/(-35))/((-2)/10). Solv