se 0*l + 2*l = 4*o - 30, -4*o + 5*l + 39 = 0. Let g = o + -5. Let p = g - 1. Solve p*i = -4*i + 8 for i.
2
Let a = -1 + -5. Let l = -3 - a. Suppose k = l*k. Solve -3*q = -k*q for q.
0
Suppose 5*a = a + 8. Suppose -3*l - 4*v = -27, -v + 0*v = -a*l + 7. Solve 0 = 5*r + 5 + l for r.
-2
Let k(b) = b**3 + 6*b**2 - 2*b - 7. Let n(r) = r**3 + 7*r**2 + 9*r + 7. Let d be n(-6). Let a = 5 + d. Let l be k(a). Solve -4*h - l = h for h.
-1
Let b(g) = -g + 5. Let j be b(-4). Solve -3 + j = 2*c for c.
3
Let j = -3 + 7. Suppose 2*d + j = -2*f, -4*f + f + 4*d + 22 = 0. Solve f*h = -0 - 8 for h.
-4
Let l = 44 - 44. Solve 4*g = -l*g - 20 for g.
-5
Suppose -2*j + 0*j + 6 = 0. Solve 0 = j*r + 17 - 2 for r.
-5
Suppose -4*z + 23 = -f + 6, 10 = -5*z - 5*f. Suppose 0*c + z*c - 4*k = 10, -k - 11 = -5*c. Solve -w = w + c for w.
-1
Let o be (-2 - -3)*(-3)/(-1). Let y be 3/(-2)*(-128)/24. Let d = y + -2. Solve -d = -o*t - 0 for t.
2
Let f be -1 + 2 + 6/2. Suppose 0 = -2*v + 2*x + f, 5*v - 9 - 5 = x. Solve -4 = v*i - i for i.
-2
Suppose 5*m = -5*r + 41 - 11, 5*r - m - 6 = 0. Suppose 5 = r*g - 7. Suppose 5*y + 3*v + g = 0, 5*y + 0 = 2*v + 4. Solve y*n = -2*n + 2 for n.
1
Suppose -30 = -k - 0*k - 5*s, -k - 2*s = -15. Let z(l) = l - 1. Let p be z(k). Solve p*o - o - 6 = 0 for o.
2
Let c = 0 + 5. Solve 0 = -c*a + 7 + 18 for a.
5
Let g(k) = 4 - 3*k + 7 + 0*k**2 - k**2 + 18*k. Let b be g(14). Solve -y = 4*y + b for y.
-5
Suppose -18 = -2*k - 6. Suppose 3*h + 0*h + k = 0. Let x(q) = -4*q + 2. Let u be x(h). Solve -4*v - v + u = 0 for v.
2
Let n be (-1)/((-1)/(-10)*-2). Suppose 8*x + b = 3*x + 39, 4*b = 5*x - 44. Solve -n*i = x - 3 for i.
-1
Let s(t) = 5*t**2 - t. Let r be s(1). Suppose 3*g - 2*g - 2 = -h, r = -4*h + 2*g. Let x be -2 - (h + 0) - -3. Solve -3 + x = -2*l for l.
1
Let l(x) = x**2 - 13*x + 1. Let f be l(13). Solve -2*u - f + 5 = 0 for u.
2
Let r be 0 - (-3)/2*2. Solve r*b = 2*b for b.
0
Let w = -48 - -63. Solve -4*x + w = -x for x.
5
Let r = -5 + 4. Let j(x) = x**3 + x**2 - x. Let v(u) = 2*u**3 - 2*u**2 - 2*u - 2. Let p(s) = r*v(s) + 3*j(s). Let y be p(-5). Solve -5*w + 2 = y for w.
-1
Let a be -1*(-1)/(2/76). Let g be a/8 - (-8)/32. Suppose -5*u = 2*r - 7 - 9, -5 = -5*r + g*u. Solve 0*w = -r*w + 3 for w.
1
Let r = 174 - 172. Solve -4 - r = -2*z for z.
3
Let y be ((-2)/4)/((-2)/12). Let k be -3*(-1)/y + -1. Suppose 4*o + 0*o = k. Solve 4*q - 3 - 5 = o for q.
2
Let g be (-13)/(-3) + (-2)/(-3). Suppose g*t = -5*j + 20, -t + 2*t - j = 6. Let q(v) = 3*v + 2. Let r be q(1). Solve 5 = r*x - t for x.
2
Let b(h) = -h**3 - 7*h**2 + 7*h - 6. Let w be b(-8). Solve w*z + 25 = -3*z for z.
-5
Suppose 6*c - 13 - 77 = 0. Solve 2*s - c = 7*s for s.
-3
Let b(p) = p**3 + 8*p**2 + 7*p + 5. Let u be b(-7). Suppose 0*s = -u*s + 60. Suppose -i - s = -4*i. Solve i*j + j = 0 for j.
0
Let j(k) = k**3 + 2*k**2 + 1. Let p(c) = -c + 3. Let d be p(5). Let l be j(d). Let z be (-1 - -1) + l + 2. Solve z*w = -0*w for w.
0
Let a = 117 - 117. Solve 0 = -2*x - a*x + 8 for x.
4
Let n be ((-35)/(-10) + -3)/(4/88). Solve 2*j = n - 7 for j.
2
Suppose -6*n = -4*n - 24. Let z = -8 + n. Let t = z + 8. Solve 2*c - 2 = -t for c.
-5
Suppose 4 = w + 1. Suppose -w*p = 2*p - 5. Let v be (-1*p)/(4/(-60)). Solve v = 5*c - 2*c for c.
5
Let n be (0 + 7)*(-4)/(-4). Solve -n*m + 3*m = -8 for m.
2
Suppose 6*r - 20 - 4 = 0. Solve -d + r = 2 for d.
2
Let s(n) = n**2 - 2*n - 5. Let k be s(4). Suppose 10 + 2 = 2*u - k*g, 0 = -3*u - 5*g + 56. Solve 0*c - u = 3*c for c.
-4
Suppose c + 2*j - 16 = -0*c, 5*c - 5 = 5*j. Suppose c*w - w - a - 23 = 0, 17 = 5*w + a. Solve -2*o = -3*o + w for o.
4
Suppose 0 = b + 10*b - 22. Let y = -2 - -2. Suppose 3*w = 2*j + 9, -2*j + 6 = 2*w - y*j. Solve b*g + 5 = -w for g.
-4
Let p(v) = v**2 + 3*v - 10. Let j be p(3). Let x(b) be the first derivative of -3*b**2/2 - 1. Let z be x(-1). Solve z*f + 7 = -j for f.
-5
Suppose h = -5*o + 25, -7 = -3*o - h + 8. Let z be (-28)/(-2) + o + -5. Suppose -5*a = z - 39. Solve a*m + 8 + 7 = 0 for m.
-3
Let t(n) be the second derivative of n**4/6 - n**3/6 - 3*n**2/2 + 2*n. Let r be t(3). Suppose -4*q = -q - r. Solve -q = 2*a - 0 for a.
-2
Suppose -4*l = -l - 3. Solve 2*s = l - 3 for s.
-1
Suppose -5*o - 5*z + 10 = 0, 5*o = -6*z + 5*z + 30. Suppose -2*w = -o*w. Solve -2*x + w - 4 = 0 for x.
-2
Let x(a) be the second derivative of 3/2*a**2 + 0 - 2*a - 1/12*a**4 - a**3. Let b be x(-6). Solve -b*d + 4 = -2 for d.
2
Let f(q) = -q**3 - 5*q**2 + q + 7. Let b be f(-5). Solve -r - 9 = b*r for r.
-3
Let x(j) = 2*j**2 - 3*j + 1. Let n be x(1). Solve n = g + 5 - 0 for g.
-5
Let n(m) = m**3 + 4*m**2 - 2*m + 4. Let u be n(-4). Solve 3 = -5*d - u for d.
-3
Let t = 15 - 11. Solve -6*k - 10 = -t*k for k.
-5
Suppose -3*t + 20 = 17. Solve 5*l + 16 - t = 0 for l.
-3
Let f be 22/(-4) + 2/4. Let w be 2 + 0 + -1 - f. Solve 3 = -3*b - w for b.
-3
Let c be -1*(-4 + 2 + 2). Solve c*m + 10 = -5*m for m.
-2
Let p be (-81)/(-15) + 3/5. Solve -p = -w + 4*w for w.
-2
Let j be ((-2)/(-2))/((-2)/6). Let y = j + 2. Let n be (y/(-3))/(2/12). Solve -n*m + m - 3 = 0 for m.
-3
Let g be -1 + 6 - 9/3. Solve g*o - 4 = -0*o for o.
2
Suppose -d - 3*l = -9, -d - 2*l - 3 = -10. Solve d*i + 2 + 1 = 0 for i.
-1
Suppose -2*z - 5*x - 25 = 0, -3*z = 2*z + 4*x + 20. Suppose -4*q + 3*h + 7 + z = 0, -h + 19 = 4*q. Solve -s = -5*s + q for s.
1
Let v = 7 - 6. Let r = v + 1. Solve -h - r = -0 for h.
-2
Suppose -7 = -2*q - 1. Solve u - q*u = 2 for u.
-1
Let a(r) = -r**2 + 2. Let m(g) = 2*g - 16. Let o be m(8). Let j be a(o). Solve 4*b = j + 2 for b.
1
Let n(c) = 4 - 9*c**2 + c**3 + c - 10*c - 9. Let d be n(10). Solve 17 = -d*v - 8 for v.
-5
Let t be -2 - (-3 + (-3 - -1)). Suppose -10 = 2*u - 2*n, n - 5 + 0 = t*u. Solve u = k - 6 + 1 for k.
5
Let x = 3 - 3. Suppose -5*k + x*k + 10 = 0. Solve 0*w = -k*w - 4 for w.
-2
Let f = -13 + 18. Suppose f = -4*b + 5*d + 10, 2*d + 2 = -b. Suppose -2*h + h + 4 = b. Solve h = 3*m + 1 for m.
1
Suppose 2*g + 2*h = 34, -3*g - 2*h - 6 + 60 = 0. Solve -2*o + g = 2*o for o.
5
Let v be 0 + -2 + 21 - -2. Let r = v - 18. Solve -r*p = -2*p + 5 for p.
-5
Suppose b - 40 = -10. Suppose k - c = 4*k - 26, 0 = 5*k - c - b. Let i = -7 + k. Solve -3*n - 3 - 3 = i for n.
-2
Suppose 4*p + 43 = d, 21 = -3*p + 4*d - 7*d. Let j be (-1)/(p/(-12) - 1). Suppose j*k = 5*k. Solve k = -v - 0 - 3 for v.
-3
Suppose -72 + 74 = x. Let v = 4 + -1. Suppose -2*g + 4 = 4*z - 6, -v*g = -z + 6. Solve x*n = 3*n + z for n.
-3
Let z(h) = -2*h - 7. Let t be z(-5). Let g(m) = m**2 + 9*m - 9. Let u be g(-10). Solve 4 = -t*y + u for y.
-1
Let c(r) = r**3 + 12*r**2 + 1. Let s(a) = -a**3 + 4*a**2 - 6*a + 6. Let y be s(5). Let l be y/4 + (-3)/(-12). Let v be c(l). Solve -v + 4 = -3*z for z.
-1
Suppose v - 3*v + 2*t + 6 = 0, -5*v - 4*t = -6. Suppose -4*p = -v*p - 2. Let r(n) = n**2 - 1. Let q be r(p). Solve q*g + 3 = -g for g.
-3
Suppose -3*a + 18 = -0*a. Let o be (2 + -1)/(2/a). Solve i = -o*i - 12 for i.
-3
Suppose 0 = 2*m - c - 37, -4*m + 0*m + 5*c = -89. Solve -5*j + m = -j for j.
4
Suppose 0*j - 6 = j. Let d = j - -6. Solve -2*b + 4*b = d for b.
0
Suppose 2*o = 5*t - 12, -5*t = 5*o - 10*o. Solve 0 = 2*p - t*p + 4 for p.
2
Let v(n) = -6*n**3 - n**2 + n + 1. Let x be v(-1). Suppose 1 = x*p + 16, -5*p - 19 = -f. Solve -10 + f = -2*g for g.
3
Let k = 38 - 13. Solve o - 6*o = k for o.
-5
Let p = -31 - -37. Solve 5 = -y + p for y.
1
Suppose 3*v = 4*v + 23. Suppose 4*x = -3*d + 181, -2*x - 2*d + 0*d = -88. Let o = v + x. Solve -o + 1 = 5*f for f.
-5
Let x be (4 - 5)/((-2)/4). Solve -x*n = 1 - 3 for n.
1
Let a(c) = -c**3 - 2*c**2 - c + 2. Let q be a(-3). Solve -5*k = -q - 1 for k.
3
Suppose 3*g - 3*z = -g + 5, 2*g - 5 = z. Solve g*b - b = -4 for b.
-1
Suppose -6*r = 14 - 44. Solve r = -4*q - q for q.
-1
Let c = 41 + -33. Solve 3*v + c = 5*v for v.
4
Suppose -3*q = n + 6 + 7, 2*q = 2*n - 14. Solve -n*i + 3 = -7 for i.
5
Suppose -31 = -7*l - 10. Solve l*u = -0*u + 3 for u.
1
Suppose 5*u + 4*p + 82 = 0, 5*u + 8*p - 5*p + 79 = 0. Suppose 4*i - 5*i + 32 = 0. Let r = i + u. Solve 6 - r = -3*d for d.
4
Let j be 3 - -3 - (-5 - -7). Solve -3*t + j*t - 1 = 0 for t.
1
Let g = -28 - -27. Let l be 0 - (g - (-3 + 6)). Solve -c = l*c + 5 for c.
-1
Suppose -g + 67 = 4*t, g + 2 - 1 = 0. Solve 5*d - t = 3 for d.
4
Suppose -2*m + 14 = -4. Suppose 49*r +