. Let h = c + -1. Solve d*x - 9 = h*x for x.
3
Suppose 0 = -3*a - 6 + 27. Let f(h) = -6*h + 5*h - h**3 + 10 + 6*h**2 + 8*h. Let y be f(a). Solve -w = w + y for w.
-5
Let c = 50 - 45. Solve 0*f = f - c for f.
5
Suppose 5*p + 5*z - 55 = -0*p, 3*z + 12 = 0. Solve -5*n = -0*n + p for n.
-3
Suppose 2*y + r = 2*r - 1, 3*y + 19 = 5*r. Solve 4 - 10 = -y*q for q.
3
Let a(d) = d + 8. Let x be a(-3). Solve 0 = x*b + 3 + 17 for b.
-4
Let f(p) = 2*p. Let c be f(2). Suppose 1 + 8 = c*d - 3*u, u + 3 = -2*d. Solve 3*l - l = d for l.
0
Let r = 139 - 120. Solve -3*u - r = -4 for u.
-5
Suppose -2 = -k + 3*k, -1 = -2*l - k. Let n be 1*(-1)/l*4. Let w = 7 + n. Solve -3 - 6 = -w*i for i.
3
Suppose -15 = -3*p - 4*c, -2*p + 15 = p - c. Solve -5*l - p = 5 for l.
-2
Let x(r) = 3*r**3 + r**2 - 2*r + 1. Let o be x(1). Let s(b) = 3*b + 0*b - 2*b + 1 + 4*b. Let c be s(1). Solve -c*q = -o*q for q.
0
Suppose 0 = -3*s + 3*u + 33, 0*s = -s - 5*u - 13. Solve -k - 6 + s = 0 for k.
1
Suppose -8*y - 5*z - 5 = -3*y, 2 = 4*y + 2*z. Solve -4*v - y = -10 for v.
2
Suppose 5*y + 22 = 3*t - 4, t = 2*y + 9. Let v = t - 4. Solve -2*k - v*k = 15 for k.
-3
Let g = 0 - -3. Solve 2*s + g = 5 for s.
1
Let k = 2 + -2. Let c be (-2 - -2)/(-3) + k. Solve 6*d - d - 10 = c for d.
2
Let p(a) = 19*a**2 + 1. Let g be p(1). Suppose -2*d + g = 2*d + 4*w, 0 = 2*d + w - 8. Suppose -d = 4*o - 23. Solve -o*n - 9 = 1 for n.
-2
Let i = -12 - -22. Let y be i/(-25) - 42/(-5). Solve 2*l = -0*l + y for l.
4
Let h be (2/(-6))/((-3)/27). Suppose i + 36 = -h*i. Let t be ((-60)/i)/((-3)/(-9)). Solve -5*o = -t - 5 for o.
5
Let a be ((-4)/((-32)/(-10)))/((-1)/12). Solve -h = 4*h - a for h.
3
Let n(q) be the first derivative of q**4 + q**3/3 - q**2 + q - 2. Let y be n(1). Solve -p - 9 + y = 0 for p.
-5
Suppose 7*a - 95 + 32 = 0. Solve a = -4*k + 21 for k.
3
Suppose -4*q - q = 2*f - 1, 4*q - 2*f + 10 = 0. Let n be (0/q - -6)/1. Solve -g - n = g for g.
-3
Suppose -2*p - 7 = -p. Let o(a) = -a**2 - 8*a - 3. Let w be o(p). Suppose 4*g - 29 = -2*n - n, w*n = g + 7. Solve 10 + g = -3*t for t.
-5
Suppose 0 = -3*n + z + 18, n = 2*n + 2*z - 6. Let w = n + -3. Solve -2 = -k + w for k.
5
Suppose -5*o + 0*o + 10 = 0. Suppose 5*x - 16 = 9. Suppose -p + 16 = 3*u, 3*p + 0*p - x*u + 22 = 0. Solve 0 = -o*v - 3 + p for v.
-1
Let l be (-2)/(-5) - 4/10. Suppose -2*b = m - 19, l*b = b - 2*m - 7. Suppose 5 = o, -3*z + 2*o = -2*z - 24. Solve 5*w - b = -z for w.
-5
Let m(t) = 2*t**2 + 8*t + 2. Let l(o) = o**2 + 8*o + 1. Let j(b) = -3*l(b) + 2*m(b). Let y be j(8). Let n be -1 - (-6 - 0 - y). Solve h + n = 3*h for h.
3
Let l(w) = 5*w + 1. Let t(y) = 4*y. Let d(p) = -2*l(p) + 3*t(p). Let b be d(3). Solve 17 = b*n + 5 for n.
3
Suppose 4*r = -0*r. Let m be r/(0 + 1) + 1. Solve -u + 2*u = -m for u.
-1
Let v(t) = t**2 + 4*t - 3. Let n be v(2). Let h(j) = 2*j - 1. Let i be h(2). Solve 0*z = -i*z - n for z.
-3
Let c(v) = 2*v. Let i be c(1). Solve 0*f - i*f = 2 for f.
-1
Let o = -10 + 12. Solve o*y + 3 = 5 for y.
1
Let v be ((-4)/(-14))/(-5 + 36/7). Solve 5*x = v - 27 for x.
-5
Let f be 6 + -2 + (6 - 5). Suppose -4*x + f*a = -28, a + 2*a = -12. Solve -i - 2 = -x*i for i.
2
Let r = 1 - 1. Suppose r*j = 4*j - 12. Solve j*b = -b for b.
0
Let v(k) = -2*k - 2. Let b be v(-5). Solve 0 = -2*m - b for m.
-4
Suppose 4*f + f + 110 = 0. Let r be 32/(-6)*33/f. Solve -4 = -r*a + 4*a for a.
1
Let j be (-14)/(-21)*(1 + 2). Suppose 0*o = -o. Solve -j*t - 2*t = o for t.
0
Suppose 8*a - 40 + 8 = 0. Suppose 3*d = j + 1, -2*d - 4*j + 19 = -j. Let g = d - 2. Solve 0 = -g*k - a*k - 12 for k.
-3
Let y(d) = -2*d. Let i be y(3). Let k(t) be the third derivative of t**5/60 + t**4/4 + 7*t**3/6 + t**2. Let f be k(i). Solve -4*c + 1 = -f for c.
2
Let b(z) be the first derivative of 9/2*z**2 - 1 + 3*z + 10/3*z**3 + 1/4*z**4. Let m be b(-9). Solve -m*f = f - 8 for f.
2
Let r be (-2)/2 + 3/1. Suppose -r*v - 4 = -4*v. Let s be 3/6*5*v. Solve 5*d + 20 = s for d.
-3
Let k(s) = s**2 + 12*s - 24. Let r be k(-14). Solve 0*o - 4*o - r = 0 for o.
-1
Let r(n) = n**2 - 2*n + 1. Let t(b) = b**2 - 3*b + 4. Suppose 0*x - 5 = 5*x + 4*d, d = -x - 2. Let u be t(x). Let o be r(u). Solve 0 = 4*g - 3 - o for g.
3
Suppose -h + 5*p + 15 - 6 = 0, 3*h - 3*p = 15. Solve -2*t + h = 6 for t.
-1
Let m(d) = d**2 + d - 1. Let h(s) = -s**2 + 6*s - 5. Let v(k) = -h(k) - 2*m(k). Let n be v(-8). Solve -n + 4 = -f for f.
3
Suppose 10*h = 3*h + 14. Solve -h*t - 3 + 1 = 0 for t.
-1
Suppose -3*u = 2*s - 0*s - 11, s + 5*u = 9. Suppose -2*y = y + 2*o - 25, 0 = -5*y - 4*o + 43. Solve -1 = s*h + y for h.
-2
Let c be (1/4)/((-7)/(-812)). Suppose 5*g = 5*a + 5, -3*a - 5*g + c = -0. Solve -a*b - 11 + 2 = 0 for b.
-3
Suppose -2 = d - 7. Solve k - d = -2 for k.
3
Suppose 4*p - 5*h + 9 = 0, 3*h = -2*p + 9 + 14. Solve m - 2 = -p for m.
-2
Let a(h) = h**2 + h - 2. Let l be a(2). Suppose -3*x = -l*v - 4, 0*v + 4*x = -3*v - 28. Let g = -1 - v. Solve -o - g*o = 20 for o.
-5
Suppose 0 = 2*n - 0*n - 10. Suppose -2*r = n*g + 2, 4*g + 16 = 3*r + 2*g. Solve 3*x - 5*x = r for x.
-2
Suppose 6*m - 6 - 12 = 0. Solve p + 1 = -m for p.
-4
Let d(f) = -4*f - 1. Let b be d(-1). Let m be ((-16)/4 + 1)/(-1). Suppose 6 = m*h, 0 = -3*p + h - 4 + 23. Solve b = 4*o + p for o.
-1
Suppose 4*a + 3 = i, i = a + 2 + 1. Let w = -2 + 4. Suppose -c + 1 + w = 0. Solve a*n = -c*n - 15 for n.
-5
Let c = -13 + 25. Suppose 2*d + 3*l - c = 0, 2*l - l = d + 4. Solve d = -4*j + 2*j - 2 for j.
-1
Let w = -6 + 8. Suppose w*r = -3*j + 29, -34 = -j - 2*j - r. Solve 0 = -3*a - j + 1 for a.
-4
Let c be (3 - -1)*(-12)/(-16). Solve -4*f = 5 + c for f.
-2
Suppose 2*m - 1 - 9 = 0. Suppose m*w + 13 - 43 = 0. Solve 4*d - w = -14 for d.
-2
Let k = -4 - -8. Let m = -27 - -31. Solve -20 + k = -m*u for u.
4
Let z be (3 - 1)*34/4. Let w = z + -15. Solve w*a = -a + 15 for a.
5
Let t(a) = -4*a - 24. Let n be t(-7). Solve -z - n = 3*z for z.
-1
Let w(o) = o**2 + 9*o. Let z be w(-9). Solve 3*m - 11 + 2 = z for m.
3
Suppose -23 = 3*c - 5*h - 114, -3*h - 59 = -2*c. Solve -c - 3 = -5*s for s.
5
Suppose 2*i = -0*i + 10. Suppose 2*j = -4*c - 16, 0 = -5*j - 3*c + i*c + 8. Solve 2*x = -j*x for x.
0
Suppose -4*q - 4*k - 3 = -19, 7 = -2*q + 3*k. Suppose -7 = -2*m + q. Suppose s - m = -1. Solve -1 - 2 = s*z for z.
-1
Let r be (0 + -2)*10/4. Let c = r - -5. Solve -4*b + 7 + 13 = c for b.
5
Suppose l - 39 = -31. Solve 3*h - 23 = -l for h.
5
Let d(p) = p**3 + 8*p**2 - 8*p + 9. Suppose 0*t = -2*t - 18. Let c be d(t). Solve 2*a = -c*a for a.
0
Suppose -85 = -2*u - 5*c, -3*u = -2*c - 18 - 62. Suppose 6*w + u = 4*w. Let y = w - -27. Solve v = -3*v - y for v.
-3
Suppose -4*v + 25 = v - 5*h, -5*h = -v - 7. Solve -4 = -7*t + v*t for t.
-4
Suppose -5*o = 2*t - 33, -20 = -o - 3*o. Let c be (t/(-7))/(10/(-35)). Suppose -5*x - 4*b = -26, -2*x - 3*x + c*b + 2 = 0. Solve 0 = x*r + 5 + 1 for r.
-3
Suppose 6*a - 20 = -4*a. Solve 3 = -a*c - c for c.
-1
Let t = 4 - -1. Solve 0 = t*y - 3*y + 10 for y.
-5
Let t be -3*(-1)/((-1)/(-2)). Let m = t + -2. Suppose 0 = -3*f - 0*f. Solve f = -9*q + m*q + 25 for q.
5
Suppose 0 = -t - 2*a + 9, 5*t + 12 = t + 4*a. Let p(l) = 5*l + 2 + 0 + 1 - 4. Let h be p(t). Solve -5 = -h*u - u for u.
1
Let l(m) = m - 11. Let z(y) = -3*y + 32. Let s(n) = -17*l(n) - 6*z(n). Let u be s(7). Solve u*h = h - 3 for h.
-3
Suppose 4*k - k = 6. Solve -1 + k = s for s.
1
Suppose -5*o - 4*g + 26 = 0, 5*o - 33 = -2*g + 5*g. Solve 0 = 3*l - o - 9 for l.
5
Suppose 3*j = -5*f + 60, -4*j = -6*f + 4*f - 2. Solve f*t = 7*t - 8 for t.
-4
Suppose -2*r + 16 = 4*h, -r = -3*h - 0*r + 7. Solve h*b + 4 = b for b.
-2
Suppose 0 = -t + 4*t - 60. Solve -4*z + t = -0 for z.
5
Suppose d + o = 6*o + 18, 3*o - 6 = -5*d. Solve -8*m + d*m = 15 for m.
-3
Suppose 16 = -i + 4*l, -3*i - 2*l + 12 = l. Solve i = -q + 1 + 1 for q.
2
Suppose -17 = -2*u + 3. Suppose 3*v + 2*v - 26 = -2*h, 2*h - 4*v = -u. Suppose 0 = -h*i - 9, -r - 5*i + 14 = -3*i. Solve q - r = 5*q for q.
-5
Suppose -3*v + 5*v - 28 = 0. Solve v = -3*c + 5 for c.
-3
Let g = -8 + 11. Let b be 0*(-1 + -1 + g). Solve -v = -b*v - 3 for v.
3
Suppose 0 = 2*o + 3*q - 4 - 2, o = -3*q. Let p be ((-20)/2 - -3)/(-1). Suppose 3*g - p*g = 0. Solve g = f + o - 2 for f.
-4
Suppose -3*x - 1 + 16 = 0. Suppose 0*z - 3*z - 3 = -3*o, o = 5*z - 3. Suppose 4*w - d - 7 = 0, w + o*d - 5 = -1. Sol