8 = -2*x. Let t(p) = -p + 9. Let u be t(7). Solve l = -u*l - x for l.
-2
Let i be (-8)/(-4) + 2*-1. Suppose -h + 0 + 1 = i. Solve -3*l + 2*l = -h for l.
1
Let k = 6 + -3. Suppose k*f - 3*g = -6*g + 6, 4*f + g + 4 = 0. Let u be 1*f - (1 + -5). Solve 5*b = -8 - u for b.
-2
Let k(s) = -2*s - 9*s - 13 + 7*s. Let h be k(-5). Solve -h*y = -2*y - 10 for y.
2
Let o be -2*1 - -2 - -1. Let y be ((-10)/(-6))/(1/((-492)/(-4))). Let a be y/25 - o/5. Solve -a + 28 = -5*q for q.
-4
Suppose 6*m - 7*m - 4 = 0. Let c be 2/(1*m)*-10. Solve 0 = c*w - 4*w for w.
0
Let f = 50 + -50. Solve 0*j + 2*j = f for j.
0
Let l(s) = s**2 - 2*s + 2. Suppose 0 = 3*b + 3 - 12. Let f be l(b). Solve c + f = -0*c for c.
-5
Let n(g) = g**2 - g - 1. Let b be n(3). Solve -7*a + b*a = 4 for a.
-2
Suppose r = 4*z - 27, -7 = 5*z + 2*r - 57. Let f be (45/(-12))/5*-4. Solve o - z = -f*o for o.
2
Let x = 1 - -4. Let f be x/25 - 2/10. Solve f = -q - 3*q - 8 for q.
-2
Let w(u) be the second derivative of -u**3 + 2*u**2 - 2*u. Let i be w(-3). Let z = i + -16. Solve -t = -z*t - 10 for t.
-2
Suppose 0 = 3*u - q + 27, 2*u = -2*q - 2*q - 18. Let c = -6 - u. Solve 0 = y + c*y - 4 for y.
1
Let g = 95 - 67. Suppose 4*h = g - 8. Solve -h*n + 2*n + 3 = 0 for n.
1
Suppose 25*y - 15 = 20*y. Solve y*i + i = 20 for i.
5
Suppose 7*i + 48 = 11*i. Solve -2*k = -6*k - i for k.
-3
Let k = -6 - -9. Suppose 2*f + k*s - 21 = 0, 13 = -4*f + 4*s + s. Solve -f = -3*l + 4*l for l.
-3
Let k be (57/(-4))/(-1) + 183/244. Solve 5*g - 5 - k = 0 for g.
4
Let h be 2 - 0 - (1 + 0). Let r = 3 + -1. Suppose r*q = -3*q + 10. Solve -3 = -q*i - h for i.
1
Let j(d) = -3*d**3 + 1. Let u be j(-1). Suppose -u*w + 31 = -5. Solve -3*f - w = 3 for f.
-4
Suppose -49 + 99 = 5*r. Solve -k + 3*k = -r for k.
-5
Let l(k) = -k**3 - 7*k**2 - 6*k + 3. Let i be l(-6). Let j = -3 - -9. Solve -i*o + j = 15 for o.
-3
Let z be -1 - (-7 - 6/(-2)). Let k be (-1)/(0 + -1)*z. Solve 9 = k*a - 0 for a.
3
Suppose -27 = o - 4*o. Solve -o = 4*p + 7 for p.
-4
Suppose m + m = 0. Suppose 24 = -5*b + 4*l, m = 5*b + 2*l + 1 + 17. Let g(a) = a**3 + 3*a**2 - 4*a + 2. Let s be g(b). Solve -2 - s = x for x.
-4
Suppose 5 = -2*h - 1. Let g be 1/(-1)*(h - 1). Solve -4*v - 16 + g = 0 for v.
-3
Suppose 0 = 8*h - 15 - 1. Solve -3*v = -h - 7 for v.
3
Suppose 10 = -l + 4*l + 2*n, l = 4*n - 6. Solve g - l = 2*g for g.
-2
Suppose 0 = 17*x - 15*x - 10. Let m(v) = v + 22. Let r be m(-10). Solve x*t = t + r for t.
3
Let l(i) = -2*i + 3. Let f be l(-3). Solve 34 = -5*p + f for p.
-5
Suppose 0*d = 2*d. Suppose d*l + 2 = l, -4*a = 2*l - 4. Solve -2*f + 2 + a = 0 for f.
1
Let t = -13 + 11. Let r(m) = m**2 - 2*m - 3. Let d be r(t). Solve -d*b = -b for b.
0
Let l(w) = w**3 + 6*w**2 - 2*w + 2. Let c be l(-6). Let a be (-11 + 1)/(12 - c). Solve -a = -2*f - 1 for f.
2
Suppose -4*c = -5*w + 62, -4*w + 9 + 16 = 5*c. Let q = 15 - w. Let s(x) = -x**3 - 5*x**2 - 5*x. Let o be s(-4). Solve -4*i + o = -q*i for i.
-4
Let g(k) = 10*k - 57. Let q be g(6). Solve -i - 1 = -q for i.
2
Let a(k) = k**2 - 8*k - 4. Let b be a(7). Let f(y) = -y**3 - 11*y**2 - y - 11. Let u be f(b). Solve 0 = -u*i - 4*i for i.
0
Suppose 4*w + 12 = -0*s + 4*s, 0 = -5*w + 3*s - 5. Solve -p - w + 5 = 0 for p.
3
Suppose 0 = -2*w + 4. Let s be (8/20)/(w/30). Solve 4*y = y + s for y.
2
Let c(i) = 5*i**3 - 2*i + 1. Let h be c(1). Let k(f) = -f + 1. Let b be k(-3). Let x = -8 - -8. Solve x = -b*z + h for z.
1
Suppose 5*f - 5*m + 2 = -13, 0 = 3*f + m - 3. Solve f*j + 8 = 4*j for j.
2
Let y(l) be the first derivative of -l**3/3 + 7*l**2/2 - 6*l - 8. Let p be y(6). Solve -2*t - 2 = -p for t.
-1
Suppose 14 = 5*s - 6. Solve s + 1 = -5*j for j.
-1
Let i = -18 - -20. Suppose -i*d - d = 0. Solve -4*m + 18 - 2 = d for m.
4
Let t(n) = -n**2 - n. Let k(r) = -r - 1. Let c(q) = 2*k(q) - t(q). Let f be c(2). Solve 5*i = -f*i + 5 for i.
1
Let i be ((-7)/3)/((-10)/30). Solve i = 4*v + 3 for v.
1
Suppose -4*x = -5*d - 26, -2*x + 5*d - 2*d + 14 = 0. Solve x*w - w + 12 = 0 for w.
-4
Let s be 4/10 + (-2)/5. Solve -a + 5*a = s for a.
0
Let v(a) be the first derivative of 4*a**3/3 + a**2/2 + 2*a - 1. Let d be (6/(-2) - 1)/2. Let g be v(d). Solve -g = -c + 5*c for c.
-4
Let n(f) = -f**2 - 3*f + 5. Let w be n(-4). Suppose w = 4*b + 17. Let z be (b/(-4))/((-1)/(-3)). Solve -z*u + 17 = 2 for u.
5
Suppose 5*v + 110 = -530. Let g = -4 - v. Let p be g/20 + 1/(-5). Solve 5*w = 4 + p for w.
2
Suppose 2*a = -4 - 2, -5 = -4*w - a. Solve t + w + 1 = 0 for t.
-3
Let f be (-3*1/2)/((-45)/60). Solve -f*g + g + 3 = 0 for g.
3
Suppose 5 = -l - 2*t, 2*l + 4*t + 7 = t. Let c(r) = 3*r - 2. Let x be c(2). Suppose 0 = -x*q + 5*a + 13, 6*q + 5*a - 36 = 3*q. Solve q = 2*z + l for z.
3
Suppose 71 = -5*v + 86. Solve -v*c + 2 = -4*c for c.
-2
Suppose 2*l - 1 = 3. Solve l*t - 1 = -7 for t.
-3
Suppose -2*s - s = 5*u, 5*u = 2*s. Let w be (0/(1 - -1))/(-1). Solve w = 5*g - u*g for g.
0
Suppose 0 = -3*j - 13 + 16. Solve -3*m = -7 + j for m.
2
Let i be (0 + -5)*7/(-7). Let s = 29 + 11. Let n = 34 + -19. Solve n = i*l + s for l.
-5
Let t(y) be the third derivative of -y**5/60 - 3*y**4/8 + y**3/6 + 4*y**2. Let s be t(-9). Solve 4*i + s = 17 for i.
4
Suppose 10 = 4*j + 2. Let x be j + 3*46/6. Solve -2*s - 3*s - x = 0 for s.
-5
Suppose -4*r - 5 + 4 = -v, 0 = -2*r + v - 1. Solve x = -r*x for x.
0
Let x(i) = -i**2 - 6*i - 2. Suppose -2*v + 6*v + 3*s = -23, 2*v + 4*s + 14 = 0. Let y be x(v). Solve y = 5*t - 2 for t.
1
Let a(h) = -h - 2. Let x be a(-9). Let l be ((-14)/(-4))/(x/14). Let m = -4 - -6. Solve 3*g = m + l for g.
3
Suppose -7*q = -5*q. Suppose -d = -q - 4. Solve d*p - 15 = p for p.
5
Suppose -30 = -7*i - 9. Solve -5 = i*b - 2 for b.
-1
Suppose -2*w - 3 = -p - 1, -9 = -p - 5*w. Solve -1 = p*v + 3 for v.
-1
Suppose -4*z - 5*q - 20 = 0, z + 4 = -2*z - q. Let v be (-15)/(-10)*(-10)/(-3). Solve -20 = -z*h + v*h for h.
-4
Let t = 73 + -70. Solve -t = h - 0*h for h.
-3
Let x = -16 - -16. Suppose 0 = z - x - 1. Solve -3 = -2*s + z for s.
2
Let z(u) be the first derivative of -u**4/4 - 7*u**3/3 - 3*u**2 + 2. Let i be z(-6). Solve -2*n - 2 + 0 = i for n.
-1
Suppose 4*a + 4 = 5*a. Solve 6 + a = -5*n for n.
-2
Suppose -10*o = 4*v - 5*o - 20, 0 = 3*v - 5*o + 20. Solve -1 = -v*a + a for a.
-1
Let n be -8 + (1 - 2)/1. Let g = 8 - n. Let j = 16 - 11. Solve 4*s + g = j for s.
-3
Let s(m) = -m + 11. Let g be s(10). Solve 4*r - 3 = g for r.
1
Let k be 2/(-2) + 0 + 4. Solve k*q - 16 = -q for q.
4
Suppose -3*o = -0*o + 4*k - 64, 0 = -k + 4. Suppose h + 0*h + 4*q = 25, 3*h = -3*q + 30. Solve h*a = a - o for a.
-4
Let b be (-12)/(-10) - (-7)/(-35). Let g be b - (6/(-2) - -2). Solve 0 = g*j - 2 - 2 for j.
2
Let j = 28 + -24. Suppose j*v - 3 = 5. Solve v = -3*i + 5 for i.
1
Let l be -12*-2*2/8. Let r = 6 + -8. Let t = r + l. Solve -10 - 2 = t*i for i.
-3
Let x(h) = 5*h + 2. Let g(p) = 4*p + 1. Let t(y) = 4*g(y) - 3*x(y). Let v be t(2). Suppose -3*s + 24 = -v. Solve -3*a = -s*a for a.
0
Let y(b) = -3*b - 1. Let j be y(-1). Let h be (1 - -2)*j/3. Suppose -4*u + 5*u = 0. Solve -s + 5 - h = u for s.
3
Let h(t) = t + 4. Let s be h(-4). Let g(m) = -m**3 - m**2 + 2. Let p be g(s). Let b be (1/p)/(2/4). Solve 5*l = -b - 14 for l.
-3
Suppose 0 = -10*m + 7*m + 21. Solve m*c - 2*c = 25 for c.
5
Let b be -3 + 1 + 1 - -8. Solve -6*k = -b*k - 2 for k.
-2
Let o be (-6)/5*(-375)/30. Let c be ((-4)/(-2) - -4) + -2. Solve c*n - o = 1 for n.
4
Suppose 15 = -5*w, -4*w + 0*w = x + 10. Let g = 12 - 7. Solve 0 = x*i - 3 + g for i.
-1
Suppose -5*b + 8 = -2*a, -b + 4*a = 3 - 1. Let h be b/(-7) - 46/(-14). Suppose 2*x - h*x + 2 = 0. Solve -3*d = x*d + 10 for d.
-2
Suppose 22 = 3*t - 5*a + 6*a, -t - 3*a + 18 = 0. Solve 2*w - t = -w for w.
2
Suppose 0 = -n + 3*h + 9, 4*n + h - 2*h - 3 = 0. Let l = 6 + -3. Suppose -l*p = -5*f + 21, -p = 2*p + 6. Solve -f*v + 0*v + 3 = n for v.
1
Suppose -4*d = -7*d + 24. Let r = -8 + d. Solve -4*x - 20 = -r*x for x.
-5
Let d(v) = 22*v**2 + 4*v - 4. Let z(s) = -7*s**2 - s + 1. Let y(l) = -2*d(l) - 7*z(l). Let u be y(1). Solve -5*m + u = -0*m for m.
1
Let w(r) = r**3 + 4*r**2 - 5*r + 4. Let p be w(-5). Suppose -2*f + 3*k = -3*f + 8, 0 = 4*f - p*k - 16. Solve 0 = -f*t + t - 8 for t.
-2
Suppose -g + 12 = 9. Solve 0 = -g*n - n - 16 for n.
-4
Suppose 3*f - 9 - 6 = 0. Suppose f*i - 12 + 2 = 0. Solve 6*j - 