o - 3 = -4*j - 23. Let i(u) = -u**3 + 3*u**2 + 6*u - 3. Let h be i(4). Solve -h = -b - o for b.
3
Let c = -21 + 25. Solve c = -2*j - 0 for j.
-2
Let w(j) = -j**2 + 9*j + 6. Let u be w(9). Let f = u + -4. Solve 3*t = -f + 11 for t.
3
Let u = -33 + 38. Solve -4*g - g = u for g.
-1
Let l = -18 + 38. Let m(f) be the second derivative of -3*f**5/20 + f**4/12 - f**3/6 - f**2/2 - f. Let g be m(-1). Solve -s - g*s + l = 0 for s.
4
Let h(g) = g**2 - 6*g + 2. Let o be h(7). Let r(b) be the third derivative of -b**4/24 + 3*b**3/2 + 5*b**2. Let p be r(o). Solve -u - 3 = -p*u for u.
-3
Suppose 7*l - 5*r = 4*l + 4, 3*l = -r - 8. Let o be (0 - (-2)/l) + 8. Let y(k) = k - 4. Let c be y(o). Solve -28 = 5*m - c for m.
-5
Let q(x) = x**2 + 4*x - 2. Let v be q(-5). Suppose -3*g = -2*g - 5*j - 33, v*g - 5*j = 49. Solve g = o + o for o.
4
Suppose 0 = -2*a - 2*j + 6, 0 = 2*j - 3*j - 3. Suppose d = -d + a. Solve 2*n - d = 3 for n.
3
Let i be 0/(2 + 1) - (-2 - -2). Solve i = -5*j + 6 + 9 for j.
3
Let t(h) = -h**2 + 7*h + 8. Let w be t(8). Solve w = -2*n + 4*n - 6 for n.
3
Let p be ((-31)/(-2))/(2/4). Suppose 3*u + 10 = p. Solve -4*a + u = 3 for a.
1
Let k(o) be the first derivative of -o**2/2 - 4*o + 1. Suppose 0 = 3*f + 15, -i + 0*i + 1 = -f. Let w be k(i). Solve w = l + 3*l + 16 for l.
-4
Suppose -3*l = -0*l. Suppose l = -7*g + 3*g. Solve -3*u - 15 = -g*u for u.
-5
Let p = -5 - -9. Suppose p*w - 15 = w. Suppose -3*b = 1 - 7. Solve -13 = -b*n - w for n.
4
Let u be (-22)/(-6) - 16/24. Solve -2*f + u*f + 5 = 0 for f.
-5
Suppose 0 = -0*j - 2*j - 10, 0 = -m - 3*j - 14. Suppose -m - 24 = 5*t. Let h(l) = -l**3 - 6*l**2 - 5*l + 2. Let c be h(t). Solve 0 = 6*g - c*g - 4 for g.
1
Suppose 4*o - 9 = -5*l - 30, -4*o + 5*l = 11. Let j be (3 + -2)/(-1) - o. Let r be 13 + (1 - (0/1 + 2)). Solve -3*b + j = r for b.
-3
Suppose -f = -4*y - 4, 12 = -3*y - y. Let a be (-6)/f*(-3 - -11). Let q(z) = -2*z - 3. Let v be q(-4). Solve -a = v*k - 21 for k.
3
Suppose -4*c = 5*l - 15, c = -4*l - 0*c + 12. Suppose l*v + 8*w - 26 = 4*w, -14 = -2*v - 2*w. Suppose -49 = -v*d - 17. Solve -2*z = 2*z - d for z.
4
Suppose 0 = -4*p - 20, 3*a - 187 = -5*p - 68. Suppose -3*h + a = h. Solve 0*n - h = 4*n for n.
-3
Suppose 0 = 4*i - 27 + 11. Suppose -s = -5*s. Solve s*z = -i*z for z.
0
Let s(c) = -c + 8. Let i be s(0). Suppose -3*j + 30 = d, j - 12 = -4*d + 3*d. Suppose 3*y - 35 = -5*u, -8*y = -4*u - 3*y - j. Solve -i = -u*v - 0 for v.
2
Suppose 0 = 5*u - 3*u - 10. Suppose 5*t = 2*h + 11, -u*t - h + 11 = -6. Suppose -5*y + 21 = 3*r, r + y + 4 = t*y. Solve 12 = x + r*x for x.
4
Let l be (6/8)/((-2)/(-8)). Solve -1 = l*b - 4 for b.
1
Let k be (-2)/5 + (-37)/(-5). Suppose -4*w + 5*x - 1 = -8, -k = -w - 4*x. Solve w*y - 16 = -1 for y.
5
Suppose 22 - 7 = 5*f. Solve 0 = u + f - 1 for u.
-2
Let z be 1/(-2) - 9/(-2). Suppose 15 = 17*h - 12*h. Solve 3*p = z*p - h for p.
3
Let i = 6 + -5. Let f be i/(1 + (-4)/8). Solve -5*l - 3 = f for l.
-1
Suppose 5*h - 5*g + 10 = 0, h + 2*h = 5*g - 14. Solve -r = -h - 2 for r.
4
Let y(j) = j + 1. Let s be y(1). Suppose -2*p = -s*u - 2, p - 4 = -3*p. Suppose u = i - 3 + 1. Solve r = 3*r - i for r.
1
Let j(t) = t**2 + 5*t + 9. Let v be j(-4). Solve 0 = v*s + 6 + 9 for s.
-3
Let s be 2*(3 + (-7)/2). Let p be (s - 1)/(-1 + 0). Solve p*k = -3*k - 15 for k.
-3
Suppose p - 4*p = -4*j + 26, -4*p = 4*j - 12. Let c be (5 - 1) + p + 1. Solve 4*t = 19 - c for t.
4
Let g(j) = j**3 - 5*j**2 - 9*j - 10. Let d be g(7). Suppose 5*h + m - 10 = 3*m, d = -5*m. Let v(x) = -x - 4. Let o be v(-4). Solve h*r + 4*r + 16 = o for r.
-4
Suppose -5*o - 2 + 7 = 0. Let g be 4 - (-3)/(-2 - 1). Let w = g + o. Solve w*x = x + 6 for x.
2
Let p(d) = -d**3 - 5*d**2 + 5*d + 1. Let f be p(-6). Solve f*x = 2*x - 5 for x.
-1
Let y(q) = q**2 + 6*q + 4. Let c be 4/1*(-6)/6. Let i be y(c). Let k = i - -4. Solve o + k*o + 3 = 0 for o.
-3
Let x be (12/(-10))/(9/(-210)). Suppose -r = r - x. Solve -2*y - r = -6 for y.
-4
Suppose 4*w = w + 9. Let z(f) = -4*f - 1. Let b be z(-2). Suppose b*g - w*g - 28 = 0. Solve 5*u = g + 8 for u.
3
Suppose 0*b - 2*b = -2. Let v(t) = t**3 + t**2 - t. Let k be v(b). Suppose -3*c - 4*d = k - 9, 2*d - 4 = 0. Solve c = 5*a - 0*a for a.
0
Let c(r) = -r**2 - 2. Let o be c(-3). Let x = o - -15. Suppose x*z = 4*y, -2*z = 2*y - y - 15. Solve 2*a = z*a + 12 for a.
-4
Let l be 3/3 + 7*-1. Let b be 1 - 2 - (l + -2). Let y = b - 3. Solve y*t + 3 = t for t.
-1
Suppose 0 = 5*u - 5. Solve -1 = n + u for n.
-2
Let r(c) = c**3 - c**2 - c + 6. Let k be r(0). Solve -k*x = -10*x for x.
0
Let r be (-91)/(-35) + (-6)/(-15). Suppose r*b - 24 = -9. Solve 4*m - 3 - b = 0 for m.
2
Suppose 0 = 5*k + 15 + 45. Let c be (-21)/k + (-6)/(-24). Solve -c*u - 3*u - 25 = 0 for u.
-5
Let j(p) = p**3 + 9*p**2 + 7*p - 4. Suppose a + 6 = -2. Let r be j(a). Suppose -v = -2*v + r. Solve -25 = -v*l - l for l.
5
Suppose -2*x - x - 3*u = -9, -10 = -2*x + 2*u. Solve -x*n - 25 = n for n.
-5
Suppose 6 = -4*r + 18. Let t be 1*(0 + -3 + r). Solve 2*j - 3*j + 1 = t for j.
1
Let w be (-261)/(-36) - (-2)/(-8). Solve -2*c - 3 = w for c.
-5
Let v(i) = -i - 9. Let a be v(-12). Solve -5*b = a + 7 for b.
-2
Suppose 38 = 5*v - 5*k + 3*k, -5*k - 38 = -3*v. Let u = -3 + v. Solve 2*z + u = z for z.
-3
Suppose -55 = -2*c - 3*c. Suppose -3 = 2*l - c. Let k = -4 + l. Solve k*d = -d for d.
0
Let a be (6/(-1))/(3 + -2). Let y(h) = -6*h + 7. Let s(d) = -5*d + 6. Let c(r) = -7*s(r) + 6*y(r). Let i be c(a). Solve -6 = -4*k + i for k.
3
Suppose 4*b = -3*s, -5*b = 5*s - s - 1. Let l be (-3)/(1/((-8)/(-12))). Let f be (b + (6 - 3))/l. Solve 0 = -f*c - 3*c for c.
0
Suppose 3*n - 5 = -5*l, 4*l - 4 = 2*n - 0*n. Solve -s + 3*s - 4 = n for s.
2
Let t be (-6 + 5)*1/1. Let y be 28/(-7)*t/4. Solve -4*a + y - 9 = 0 for a.
-2
Let s be ((-12)/14)/(2/(-14)). Let u = 23 - 11. Suppose -6*l = -3*l - u. Solve l*p + s = 7*p for p.
2
Let d = -4 + 0. Let k be (-73)/4 - 1/d. Let y be k/1*(-3)/9. Solve 0 = -n - y + 3 for n.
-3
Let p be -3 + 3 - (-5 - -1). Suppose 4*x = 2*c, x = -c + p*x - 1. Solve -5*l = -c*l for l.
0
Suppose 0 = 5*d - 4*a - 1 - 7, -4*d = -2*a - 4. Suppose 4*n = -d*n + 16. Solve -5*x + n = 29 for x.
-5
Let r(n) = -n**3 + 13*n**2 - 11*n - 10. Let c be r(12). Solve -2 = -c*f + 2 for f.
2
Let j(t) = 3*t**2 - t + 1. Let q be j(1). Suppose -8 = -5*d - 4*a, -3*d + a + 24 = -q*a. Let m be 2/2*1 - -3. Solve 0 + d = -m*y for y.
-1
Suppose 33 = 4*m + 5*s, -2 = -4*m + s + 1. Solve 5*l + m = 3*l for l.
-1
Let b(p) = -2*p**2 + 3*p**2 - 11*p + 12 - p**2 + p**2. Let j be b(10). Solve 0*l + j*l = 8 for l.
4
Let g = 12 - 7. Solve -w = -g*w for w.
0
Suppose -i = -6*i. Suppose i*u = -u. Let g(a) = 2*a**2 - 8*a + 3. Let d be g(0). Solve u*h = d*h - 6 for h.
2
Suppose y - 6*y = -20. Suppose y*l - 24 = 12. Solve 2*z = -z + l for z.
3
Let o be (-8)/(-36) + (-56)/9. Let z be (o*4/(-3))/2. Solve 6 = 2*i - z*i for i.
-3
Suppose 3*q + 4*x - 2 = 1, -3 = -3*q + 4*x. Let d = -2 - q. Let z = d + 3. Solve 0 = -z*o + 5*o + 20 for o.
-4
Suppose 16 = 5*x - 4*b, 5*b + 20 = -0*x - 4*x. Solve 0 = d - 4 - x for d.
4
Let f = 10 + -4. Suppose m + f = 4*m. Solve m*j + 5 = -1 for j.
-3
Suppose -3*j + 2*j = 0. Suppose -2*u + 2*p + 3 = 3*p, -5*u + 6 = 2*p. Suppose 4*n = 3*f + 35, u = -5*n - 0*n + 2*f + 35. Solve -l = -j - n for l.
5
Let v(a) = 2*a**2 - a. Let t be v(2). Suppose -t + 15 = 3*b. Suppose 20 = 3*l - 2*f, -b*f = -5*l + f + 34. Solve -19 - l = 5*d for d.
-5
Suppose 2*v = 5 + 1. Suppose 0 = v*b - 34 - 2. Solve 2*a + b = -a for a.
-4
Suppose -u + 8 = u, -5*k - u + 9 = 0. Let w(c) = 3*c**2 - 1. Let a be w(k). Solve 3*x + a + 13 = 0 for x.
-5
Let q(c) = c**3 + 6*c**2 + c + 6. Let t be q(-6). Suppose -13 = -4*d + 4*z + 19, 4*z + 20 = t. Suppose d*f = 12 - 0. Solve 0 = -f*s - 1 + 13 for s.
3
Let y = 13 + -23. Let k be 26/5 - y/(-50). Solve 0*l - k*l - 20 = 0 for l.
-4
Suppose -5*n + m + 25 = 0, 7*m = -5*n + 3*m + 50. Solve -n + 3 = -3*f for f.
1
Suppose 4*m - y - 11 = 0, -1 = -3*m - 4*y - 7. Solve -3*w + 20 = m*w for w.
4
Suppose i = -4*p - i - 2, 4*p + 5*i = -17. Suppose -z = -p*z + 5. Suppose 0 = z*j + 4*m - 27 - 30, -2*m - 21 = -3*j. Solve 3 = -3*q + j for q.
2
Let w = -16 + -4. Let k = 8 - 3. Let t be (-4)/w + 14/k. Solve -m = -t + 1 for m.
2
Let u(t) = 3*t**2 + 1. Let r = -9 + 10. Let w be u(r). Solve -