6*g - 2*y for g.
-1
Suppose 0 = -2*d + 5 + 3. Solve -d*j + a = -21, 2*j + 6 = 3*j - a for j.
5
Let m be 62/14 + (-12)/28. Solve 4*w + m*q = -w + 13, 2*w + 2 = 2*q for w.
1
Suppose 0 = 3*s + 5*o - 1, 6*s - 8*s + o + 18 = 0. Solve -11 = 3*i - d, i = 2*d - 5 - s for i.
-2
Suppose -2*a + 7 + 1 = 0, 2*w + 5*a = 44. Solve -2*p = -p - 4*f - w, -2 = f for p.
4
Let l = -1 + 5. Let a be (6/l)/((-6)/(-16)). Solve -6*w + w = -a*p + 32, -24 = 3*w - 4*p for w.
-4
Let d(a) = a**2 + a + 3. Suppose 3*b + 1 = -5. Let l be ((0/(-3))/3)/b. Let r be d(l). Solve 5*i + 5 = -3*k, -r*i - 3*k = i + 4 for i.
-1
Let c = 52 - 48. Solve -14 = -w - 3*g, 3 - 1 = -2*w + c*g for w.
5
Let u be (-4)/(-1)*14/8. Suppose -9*v = -10*v + 5*a + 13, -a + 7 = 3*v. Solve 1 = z, 2*z - v = 2*p + u for p.
-4
Let v = -23 - -16. Let t(m) = -m**3 - 7*m**2 + 2*m + 8. Let p be t(v). Let y be 0*(-1 - p/4). Solve 0 = 5*o - 4*k + 27, y = -0*o - o + k - 6 for o.
-3
Let i = 14 - 9. Solve -r = -2*b - 3, -4*r + i = -2*b - r for b.
-1
Let f be (-5 + 4 + -3)*-5. Suppose 4*i - 2*i - 2*x = 40, 0 = -i - 5*x + f. Solve 16 = -b - 4*a, 0 = -3*a - 2*a - i for b.
0
Let i(h) = h**2 + 6*h - 12. Let b be i(-8). Solve 4*u = -4*j - 24, -b*j - 11 = -u - 2 for j.
-3
Let w(d) = -d**2 + 9*d + 4. Let v be w(9). Solve 5*l + v*i = -2, 5 - 17 = -3*l + 2*i for l.
2
Let k be ((-3)/((-6)/(-8)))/(-1). Solve k*o = -2*v - 26, 32 = -v - 3*v - 4*o for v.
-3
Suppose 0 = -r - 4 + 6. Solve -8*q = -4*q - 12, 0 = t + q + r for t.
-5
Let q = 44 + -39. Solve 3*z = q*m + 21, -5*m - 5 = 6*z - z for m.
-3
Suppose 0 = -5*d - 5*d. Solve 2*m = -d*a - 3*a + 8, -3*m = 6 for a.
4
Let k = -1 - -5. Suppose -4*m = 4*u + 20, 4*m - 2*u - 10 = -0. Suppose m = -y + 1 + 4. Solve -y*i - 25 = -k*i + 5*d, -4*i - 10 = 2*d for i.
0
Suppose 5 = k, 0*k = -m + 2*k + 1. Let j = m + -6. Let o = j + -2. Solve 3*v = o*l + 6, -5*l + 7 - 18 = -4*v for l.
-3
Let l = 28 + -24. Solve -4*a = -5*c - 17, -2*c + 9 = 5*a - l for a.
3
Let y be 2/5 - 230/(-50). Let q = 14 - y. Solve 2*w + 2*d - 6*d + 14 = 0, 5*w = -3*d - q for w.
-3
Suppose 0 = r - 3*s - 10, -3*r + 5*s + 14 = 4*s. Solve -4*d - r*v + 16 = 0, 4*v = 3*d - 5*d + 16 for d.
0
Let h(g) = g + 13. Let s(i) = i - 1. Let o be s(-9). Let x be h(o). Solve 4*l = r + 9, -x*r + 0*r = -9 for l.
3
Suppose 4 = -3*v + 13. Suppose -2*y - 4*k = k - 2, -5*k = -v*y + 28. Solve 2*o - 2*a + y = 0, -2*o + 3*o - 2*a + 4 = 0 for o.
-2
Let h(r) = -r**2 + 5*r - 2. Let g be h(2). Suppose 3*z + 4 = -20. Let c be 18/8 - (-2)/z. Solve 8 = -4*a, 19 = 3*q - g*a + c*a for q.
5
Let i = -2 - -3. Let w(l) = 2*l**2 + 1. Let c be w(i). Solve -2*t = -3*x - 0 - 2, -5 = c*x - 5*t for x.
0
Let v(n) = 2*n + 2*n - 4*n + n - 5. Let f be v(4). Let g be (-25 - f)*2/(-6). Solve -3*a - 10 = 5*z, -5*z = -z - 3*a + g for z.
-2
Let f(u) = -4*u**3 + 5*u + u**3 - 4*u - u**2 + 2*u**3 + 3. Let o be f(0). Solve 5*g + o*c - 9 = -0*g, -c = -g - 3 for g.
0
Let w(z) = -4*z + 2. Let d be w(-2). Let c = -6 + d. Suppose -5*f + 37 = 3*a, 2*f - 4*a - c = -2*f. Solve f*r = -m + 5*m + 16, -8 = -3*r + 2*m for r.
0
Let m be 2/(-3) + (-3)/9. Let b be 2/m + 3 + 5. Suppose b + 4 = 5*d - 2*g, -5*g = 4*d - 41. Solve -7*x - 19 = -2*x + d*t, 0 = -2*x - 3*t - 9 for x.
-3
Suppose 4*j = -2 + 14. Solve 0 = -3*k + 3*r - 15, -4*k + 2*r = -j*r + 21 for k.
-4
Let f(q) = -q**2 - 2*q + 3. Let o = -4 - 0. Let v be f(o). Let i be (6/(-15))/(1/v). Solve 0 = 2*n - 4*t + 2, 0 + 2 = i*t for n.
1
Let z be -4 - -3 - (-3)/1. Suppose 5*x = k + 16, -4*k = 4*x - 3*k - 11. Solve z*y - 30 = 5*y - x*t, 0 = 2*y - 4*t + 30 for y.
-5
Suppose 5*s - 2*p - 300 = 0, -4*s + 180 = -s - 3*p. Suppose 4*q + 4*n - s = n, 0 = -n - 4. Solve 13 = 5*u - 2*z, 5*z + 2 = -q for u.
1
Let u(b) = -b**2 + 12*b + 6. Let s be u(6). Suppose -8*n - 51 = -3*n + j, 5*j - s = 2*n. Let d = n - -15. Solve -m + 3 = -y - 0*y, d = -2*y for m.
1
Let r(x) = -x**2 - 7*x - 10. Let w be r(-5). Solve w = -2*h + 2*l, h + h - 9 = -l for h.
3
Let p(w) = w**3 - 10*w**2 + 9*w. Let i be p(9). Suppose i*n + 3*n = 18. Solve n*m - 4*m + 5 = -5*j, 0 = -j - 3*m + 12 for j.
-3
Let k(d) = d**3 + 14*d**2 + 9*d - 7. Let g be k(-13). Suppose -4*b = b - g. Solve b*h - 30 = 4*h + 3*j, -5 = j for h.
3
Let g(r) = r**3 - 6*r**2 - 7*r + 3. Let p be g(7). Suppose -p*t + 12 = t. Solve 5*b + m = -10, 3*m - 6 = t*b - 0 for b.
-2
Let y(x) = x**3 - 10*x**2 + 2*x - 18. Let n be y(10). Solve -2*d = 4*a + 30, -n*d = 5*a + 28 + 7 for a.
-5
Let m(f) = f**2 + 5*f - 1. Let v be m(-6). Solve -6 = -4*j + 6*q - 4*q, q + 6 = v*j for j.
1
Suppose -a = -r + 11, 0 = -5*r - a + 4*a + 57. Solve -4*u = -2*s + r, -5*u + 3*s - 11 = 4 for u.
-3
Let q = 29 + -21. Suppose -2*v + q = -3*k + 1, 0 = -5*k - 3*v + 20. Suppose -11 = -5*i - k. Solve i*a - 4 = l + l, 0 = 5*l - a + 10 for l.
-2
Let n be (-9)/(-4) - (-2)/(-8). Solve 2*q = h - 1, -n*h - 2*q + 16 = q for h.
5
Suppose 3*l + 2*l = 90. Solve 3*c - l = -3*u, 5*c + 4*u - u - 28 = 0 for c.
5
Let g = 252 - 876. Let s be 1/5 - g/30. Let w(f) = f**2 + 2*f - 1. Let r be w(1). Solve 5*a - k + 3 = -s, -r*k = 2 for a.
-5
Suppose 5*f + 3*c - 8 = 0, -4*f - 2*c = -2*f. Suppose 0 = -5*o - 1 - 4. Let w = 2 - o. Solve a + 0*k = -w*k - 2, -6 = 3*a - f*k for a.
-2
Suppose 7 = 3*g + 5*k, 0*g = -4*g - 3*k + 13. Let t(c) = -3*c - 8. Let u be t(-6). Solve -2*v + u = 2*w, 0 = g*w - w + 2*v - 11 for w.
1
Let z = 5 + -6. Let f be (0 - z) + (23 - -4). Solve 3*y + 32 = 3*j - 2*y, 2*j - 5*y = f for j.
4
Suppose i + i + 9 = 3*w, -6 = -2*w + 5*i. Solve -w*u - 9 = 0, 0 = -2*n + u + 3*u + 18 for n.
3
Let u = -25 - -40. Let x be (-2)/(-5) - 6/u. Let k(o) = -o**3 + 3. Let v be k(x). Solve 5*l - 2*a = 11, -a = 3*l - v*a - 5 for l.
3
Let i = 6 + -9. Let n be (-34)/(-8) + i/12. Suppose -z = -n*z + 12. Solve 2*r - 5*h = 11, -z*r + 5 = 2*h - 5 for r.
3
Let t(p) = p**3 - 18*p**2 + 4. Let c be t(18). Solve 3*n - 2*u - 18 = 0, 0*u = c*u + 12 for n.
4
Let m = 2 + 3. Suppose 0 = -o + m*o. Solve 8 = 3*j - v, -j + o = -2*v - 1 for j.
3
Suppose -4 = 2*a - 0*a - 2*n, 3*a + 2 = 2*n. Suppose z = -0*z + a. Suppose 5*b = z*b + 12. Solve -3*v - 13 = 4*w, 7*w - b*w = -v - 6 for v.
-3
Let r be -2*-3*(-4)/(-12). Solve 0 = y + i + r*i + 11, 5*i = -5*y - 25 for y.
-2
Let s = -6 + 9. Suppose -s*t - 1 = -2*r, 17 - 5 = -t + 3*r. Solve 2*w - 9 = t*n, 1 = 2*n + 7 for w.
0
Let x = 2 - -3. Solve -x*i - 4 = 3*l, 5*i = -2*l + 3*l - 12 for l.
2
Let m = -74 + 107. Solve 4*l + 8 + 20 = -2*r, -m = 5*l + 2*r for l.
-5
Let l(w) = w**2 - 3*w. Let v be l(3). Let x = 7 - v. Suppose x*h - 20 = -5*p + 2*h, -p + 3 = 2*h. Solve z + n - 17 = 6*z, 3*z - p*n = -19 for z.
-3
Let s(x) = 4*x**2 - 5*x - 6. Let a(o) = 8*o**2 - 11*o - 13. Let z(r) = -6*a(r) + 13*s(r). Let h be z(-2). Solve 5*t - n = -6 - h, 3*n + 25 = -2*t for t.
-5
Let k be (-32)/(-18) + 14/63. Solve 0 = -4*d + r + k*r + 20, d - 10 = 2*r for d.
2
Let s(x) = -x**3 + x + 5. Let d be s(0). Suppose d = 4*f + 5*a, 4*a = -2*f + 1 + 3. Solve -l + 4*l + 3*c + 6 = 0, f = -3*c for l.
-2
Let b(x) = 2*x**2 - 1. Let r be b(1). Let p = 1 - r. Let s(c) = -c + 3. Let z be s(p). Solve -z*h - 8 = -h, 3*u - 3*h = 27 for u.
5
Let r be (-124)/(-32) + (-1)/(-8). Solve -5*g + 11 = -j, -j = -g + 3 - r for j.
4
Suppose 3*h - 2 - 4 = 0. Solve 2*r + 4*b = h*b + 4, 3*r - 5*b = 6 for r.
2
Let s be (-1)/3 - 364/(-12). Suppose 5*o + c = 45, 3*o + o + 2*c = s. Solve 5*t + 4*v = 1 - 8, 2*t + o = 2*v for t.
-3
Suppose 0 = -5*v + 5*i, -3*i + 10 = 5*v - 6. Suppose v*w + 5 = 13. Solve 0 = -2*r + 5*r - 12, -w*p - 2*r = -28 for p.
5
Suppose 2*v + 3 + 1 = 0, -32 = 5*i - 4*v. Let u be 2/i + 18/8. Suppose 15 = -5*t, -2*m + 33 = 2*m + 5*t. Solve q - 2*z = -6, -u*z + m = z for q.
2
Let k(h) = -3*h - 1. Let z be k(-5). Let b(j) = 5*j**2 + j + 2. Let x be b(-2). Let o = x - z. Solve -o*m = -m - 5*c - 30, -c - 2 = m for m.
2
Suppose 3*l = 7*l. Let o(k) = -k**2 - k + 6. Let m be o(l). Solve -2*r + p = -2, -m = -4*r - 0*r + 3*p for r.
0
Suppose -w + r - 1 = -10, 0 = -3*w - r + 11. Suppose 0 = -b + w. Suppose -b*k + 37 = -43. Solve 2*p - k = -4*f, 4*f + 9 - 25 = 5*p for f.
4
Suppose 18 = -14*x + 17*x. Solve 3*b - x = u, -2*b + 18 = -0*b + 4*u for b.
3
Let l = -12 + 28. Suppose -2*f + 3*k + 3 = l, 4 = -f + k. Let a be (-7)/f*1/(-1). Solve -a + 0 = -3*q + 4*r, 0 = 3*r + 12 for q.
-3
Let g(c) = -2*c - 6. Let b be (-2)/2 + 