 = a - -1. Let c be ((-5)/4 + 0)*-4. Solve -u*g = -5 - c for g.
5
Let c = 8 - 4. Suppose 0 = -4*h + 5*z - 65, -4*h + 3*z - 54 = 1. Let u = 12 + h. Solve -3*v = -u*v - c for v.
4
Suppose -2*o = -0*j - 5*j - 17, 3 = -3*j. Suppose -z = -0*z + o. Let m = z - -7. Solve -3*x = m - 10 for x.
3
Let u be 2/(-3)*(-21)/2. Suppose -10 = 2*b, 5 = -4*h + b - 2*b. Solve h = -u*j + 2*j - 15 for j.
-3
Suppose 2*x - 2 = -2*u - 0*x, 4*u = 5*x + 40. Solve 3 + u = -2*v for v.
-4
Let p = -11 - -10. Let u = 1 - p. Solve -f - 4 = -u for f.
-2
Let f = 4 + -12. Let c = -6 - f. Solve -2*x = c*x - 16 for x.
4
Let v(f) = -3*f + 2. Let d be v(4). Let n = -4 - d. Let o be 0 - (-4)/((-4)/(-3)). Solve o*r + 0*r + n = 0 for r.
-2
Let o(l) = -l - 2. Let a be o(-2). Let k = -9 - -15. Solve -3*t - k - 3 = a for t.
-3
Let y = 13 - 9. Suppose -3*s + 0*s = -2*a + 16, 4*s = y*a - 28. Solve -a*h = -h for h.
0
Let w = -11 - -15. Let l be -1*5*2/(-2). Suppose 0 = 2*o - l*o. Solve -4*v + o = -w for v.
1
Let w(d) = d**2 + 5*d + 2. Let r(o) = -o**2 - 9*o - 4. Let l(h) = 3*r(h) + 5*w(h). Let n be l(-2). Solve -6*p = -p + n for p.
-2
Let l be (3 + (-4 - -2))*3. Let a = 27 + -9. Suppose -2*q + a = 5*b + 2*q, 0 = -l*b + q + 4. Solve 12 = -b*p - p for p.
-4
Let l = -3 - 3. Let u = l + 10. Suppose w + 9 = u*w. Solve w*v = -v for v.
0
Suppose 0*t + 2*t = 50. Let n(b) = b**2 - 8*b - 14. Let r be n(10). Solve 11*d + t = r*d for d.
-5
Let x be 13/(-2) + (-2)/4. Let i = 11 + x. Solve -i + 5 = -q for q.
-1
Suppose 0 = -3*m - 15, 2*m + 19 + 7 = 4*a. Suppose -3*f = -a*f + 3. Solve -6 - 9 = -f*y for y.
5
Suppose 4 = 5*y - 4*y + 3*x, 5*y + 4*x = 31. Let m = 11 - y. Solve 6 = 5*q - m for q.
2
Let i(g) = -g**3 - 3*g**2 - g + 4. Let k be i(-3). Suppose 2*v - 4*v = -2. Suppose -4*p + 3 = -v. Solve k = -2*a - p for a.
-4
Let o(w) = w**3 - 5*w**2 + 5*w - 2. Let a(s) = -s**2 + 4*s + 4. Let h be a(4). Let f be o(h). Solve -f = -2*x + 2 for x.
2
Let r(n) = 8*n. Let l be r(2). Solve -l = 4*k + 4 for k.
-5
Suppose -4*g + 3*s + 34 = 10, 2*g - 2*s - 14 = 0. Suppose 2*r + 3 - 7 = 0. Suppose -2*l = -o - r - 3, -l + 5*o = -25. Solve g = -l*a + a for a.
3
Suppose -2*l = 9*l. Solve l*t + 4*t + 20 = 0 for t.
-5
Let h(d) = -3*d. Let l be h(-2). Suppose n = 4*m - 80, -m + 5 = -l*m. Let y be n/(-9) + 2/(-6). Solve -y + 4 = s for s.
-5
Let b = 11 + -20. Let w(s) = -s**2 - 8*s + 11. Let u be w(b). Solve -1 = -x - u for x.
-1
Let k(x) = -x**2 + 7*x - 6. Let y be k(6). Solve -4*p + 20 = -y*p for p.
5
Let o = -4 + 8. Suppose -v = -2*b + 45, 3*b - 5*v - 100 = -2*b. Let i be (-45)/b*(-7 - -2). Solve 0 = o*n - n - i for n.
3
Suppose -2*g - 2*b + 7*b = 14, 5*b - 8 = 4*g. Suppose -2*y = -5*y + 60. Solve -y = -g*u - 2*u for u.
4
Let j(b) = b. Let o(a) = -5*a. Let r(w) = 11*j(w) + 2*o(w). Let c be r(2). Let i = -4 + 8. Solve -i*l = -c*l for l.
0
Suppose -3*j - g = -18, 2*j - 10 = -2*g + 6. Solve j - 20 = 5*o for o.
-3
Suppose 2*i - 5*c + 7 = -0*i, -c - 17 = -5*i. Solve k = -i*k + 20 for k.
4
Suppose 3*f - 7*f = -3*q + 11, -q + 10 = 5*f. Suppose -i = -f - 7. Suppose 14 = 4*p + 2*n, p + 4*n - 6 - i = 0. Solve 0*x = -p*x - 2 for x.
-1
Let s be (-1 + 1)/(-5 + 8). Solve 4*d + 1 - 17 = s for d.
4
Let u = -5 + 7. Let j = 3 - u. Solve -4*x = 3 + j for x.
-1
Let o be 0*(2 + -6 + 3). Solve o - 4 = -2*l for l.
2
Suppose -2*q = -q - 20. Suppose -16 = -2*h + 2*n - 0*n, -h + 4*n = -q. Solve -j + h = -0*j for j.
4
Let z be (2/(-3))/(14/18 + -1). Solve 0 = n - 5 + z for n.
2
Suppose -5*g = 5*k - 35, g + 2 = k + 5. Let f be 6/(-3)*g/(-1). Suppose 3*r = -2*r + f. Solve r = -t - 2 for t.
-4
Let x(g) = g - 6. Let n be x(11). Solve n*d + 6 = 31 for d.
5
Let t(c) = c**2 - 10*c - 8. Let q be t(11). Suppose -4*v - 6 = -5*v + 2*j, -v + j = -q. Solve v*r + 1 = -r for r.
-1
Let w(q) = 2*q**2 + q + 1. Let n be w(-1). Suppose 3*i = -r - 1 + 2, -3*i = n*r + 1. Solve -1 = -a + i for a.
2
Let l(w) = -w**3 + 10*w**2 + 11*w - 1. Let t(n) = -3*n**3 + 19*n**2 + 22*n - 2. Let r(o) = -5*l(o) + 2*t(o). Let p be r(-11). Solve -p + 11 = -5*c for c.
-2
Let c = 12 + 12. Solve -4*x - c = -8 for x.
-4
Let p be -3 - (3 + -5) - -3. Solve 0 = -p*q + 4*q + 10 for q.
-5
Suppose 4*m - 30 = 18. Suppose 0 = -4*c - 2*y - 2*y - 12, -5*c + 4*y = -m. Solve 2*j - 7 + 3 = c for j.
2
Suppose -3*y + 16 = 4*d, 3*d + 8 = 5*d - 3*y. Solve -21 - d = 5*u for u.
-5
Suppose 12 = -a + 5*a. Let x be 717/12 - (-3)/12. Suppose 0 = -2*t - 4*u + 24, -a*t - u = 2*t - x. Solve s = 5*s - t for s.
3
Suppose 3*f = -2*p - 13, -p + 7 = -f + p. Let d be (5/f)/((-1)/2). Suppose d*r = 4 + 4. Solve r*s - 1 = 15 for s.
4
Let f = 9 + -8. Solve 0 = -0*x - x - f for x.
-1
Let k = 46 - 43. Suppose 4*b = -5*c + 31, 4*b - 22 = -c - c. Suppose 0 = -b*v - 9 + 33. Solve -v = k*w - w for w.
-3
Let l(c) = -c**2 + c. Let x be 2*1/2 + -4. Let b be 0/(-1)*(-3)/x. Let o be l(b). Solve -m + 0*m = o for m.
0
Let z(k) be the first derivative of k**4/4 + 14*k**3/3 + 12*k - 8. Let b be z(-14). Solve 0*x + 4*x = b for x.
3
Let y(h) = h**3 + 4*h**2 - 2*h - 2. Suppose -16 = 4*r - 0*r. Let i be y(r). Suppose 4*u + 47 - 3 = 2*s, 85 = 5*s - 5*u. Solve i*a = 3*a + s for a.
4
Let u(o) = -o**2 - 13*o - 22. Let j = -22 + 11. Let g be u(j). Solve g = 4*s - 7*s + 6 for s.
2
Let n be (6/8)/((-13)/(-208)). Let q be (-1 - -1)/(3 + -1). Solve q*i = 3*i - n for i.
4
Let u be 2/17 - (-4270)/119. Let n(c) = -c**3 - 6*c**2 - 3*c - 6. Let v be n(-5). Let q be v/(-9) - (-8)/u. Solve 6*r = q*r for r.
0
Suppose -4*d + 14 = -6. Suppose -38 = w - 40. Solve -5 - d = w*x for x.
-5
Let k = 79 + -75. Solve 10 = -k*o - 2 for o.
-3
Let a be (15/6)/(-5)*2. Let b be 1/(-2)*(-1 - a). Solve k + 0*k - 3 = b for k.
3
Suppose -5*q - 5 = 5*x, -4*q + 15 = -5. Suppose 2*w - 5 = 5. Let c = w - x. Solve -4 = -3*l + c for l.
5
Let u(n) = -2*n**2 + 8*n + 3. Let h be u(4). Solve -h*v - 20 + 8 = 0 for v.
-4
Let j = 92 - 85. Solve -5*l - 13 - j = 0 for l.
-4
Let c(k) = -6*k - 59. Let g be c(-12). Solve -10 = -j - g for j.
-3
Suppose -3*m - 135 = -5*v, 5*v + m - 135 = 3*m. Let q be v/(-3)*(-1)/3. Solve x + 1 = -q for x.
-4
Suppose -3*z + 2*h = -71, -2*z + 7*h - 3*h + 34 = 0. Let l be 18/z - 4/(-3). Solve l*d + 3*d = -25 for d.
-5
Let o = 3 + -1. Solve -o*g + 15 = g for g.
5
Let y = -5 - -11. Let g(q) = -q**3 - 9*q**2 - 8*q + 5. Let u be g(-8). Solve -s - u = -y*s for s.
1
Let i = 13 + -10. Let l be 0/(1 - (-12)/(-3)). Solve -t + i + 0 = l for t.
3
Suppose 9*o + 0*o - 54 = 0. Solve -3*s + o*s = 3 for s.
1
Let p be (-4)/((-32)/6)*(-12)/(-9). Solve 5 = -q + p for q.
-4
Let a(g) = -g**2 - 8*g - 2. Let r be a(-7). Solve 0 = -0*p - 5*p - r for p.
-1
Let u(s) = -2*s - 12. Let j be u(-10). Solve j = -5*q + 23 for q.
3
Let k = -50 - -26. Let s = -14 - k. Solve 3*u - 5*u = s for u.
-5
Let h = 87 + -55. Suppose 4*d - h = -0*d. Let r be 0*(3 + -3 - 1). Solve r = 4*q - d for q.
2
Suppose 3 = -w + 18. Suppose -4*o = -w + 3. Solve 0 = o*k + 2*k + 10 for k.
-2
Suppose 4*k - 6*k = -10. Suppose -j - 4*d = 22, -4*j - 3*d - 35 = 40. Let a = 20 + j. Solve k = -3*z + a for z.
-1
Suppose 4 + 6 = 5*i. Suppose 0 = 2*f - t - 11 + 2, 0 = -2*f - i*t. Let x = 4 + 0. Solve f*m - x = m for m.
2
Suppose 0 = -0*j - 8*j. Solve j - 6 = 3*z for z.
-2
Suppose 5*j - 45 + 15 = 0. Let o(w) = -w + 10. Let c be o(j). Solve c*r - 3 + 15 = 0 for r.
-3
Suppose -18 = -u + 4*f - 0*f, -8 = 2*u + 3*f. Solve u*j + 2 + 4 = 0 for j.
-3
Let z be (-8)/((-1)/((-3)/(-6))). Solve z*x + 2 = 2*x for x.
-1
Suppose -2 - 2 = -2*p. Suppose -s + 0 = -p. Solve -g = -s*g for g.
0
Let z = 23 - 18. Solve -z*p = -12 - 8 for p.
4
Let u(j) = j**3 - 2*j**2 + 3*j + 6. Let k(y) = -2*y**3 + 5*y**2 - 6*y - 12. Let h(q) = 4*k(q) + 7*u(q). Let f be h(5). Solve 1 = -f*d + 5*d for d.
1
Let i be -1 - (-4)/(12/3). Solve 0 = -i*q - q for q.
0
Let w(b) = -1. Let l(o) = o - 12. Let j(v) = l(v) + 2*w(v). Let r be j(16). Solve -r*g - 2 = -12 for g.
5
Suppose 3*t - 10 = 5, 1 = -4*f + t. Let d(s) = -s**3 + s. Let g be d(f). Suppose g = -2*w + 10, -6*w + 15 = -2*k - 3*w. Solve j - 3*j = k for j.
0
Let q(r) = r. Let d be q(1). Let h be d + -2 + 0 + 7. Let w = 7 - 2. Solve -w*i - h = -1 for i.
-1
Suppose g = -2*g. Solve g = -9*u + 6*u for u.
0
Suppose -3*w = -6*w + 18. Let c = w + -3. Solve -3 = -c*h + 9 for h.
4
Let d(z) = z - 1. Let l be d(3). Suppose -3*r = l*r - 60. Solve 