 Let g(x) = 2*x. Let j be g(3). Solve 0 = 2*w - s + j for w.
-2
Let p = 6 + -3. Let q = p - 3. Let c(v) = -3*v**3 + v**2. Let m be c(-1). Solve -m = w - q*w for w.
-4
Let c = 2 + 6. Suppose -16 = -5*n + u, -u - 3 = -4*n + 10. Solve c*w - 15 = n*w for w.
3
Suppose 3*n = 5*f + 7*n - 15, 3*f + n = 9. Suppose 2*s + 2*s + 4*p = -4, -p = -s + 9. Solve -s*v = -f*v - 1 for v.
1
Let v(h) = -h**2 + 9*h + 7. Let k be v(9). Solve 5*m - k = 18 for m.
5
Suppose -k - s - 3 + 8 = 0, -4*s + 12 = 0. Solve -3 = k*r + r for r.
-1
Let k be 12/(-10)*20/6. Let n(o) = o**2. Let b be n(k). Solve b = -8*m + 4*m for m.
-4
Suppose 3*r - 20 - 4 = 2*i, -16 = -4*r. Let g be 8/(-3)*(-18)/8. Let c = g + i. Solve c = -a + 2 + 3 for a.
5
Let y(k) be the second derivative of -k**3/3 - 3*k. Let x be y(-1). Suppose 2*r - 2*l - 2 = 0, -l + 4 = x*r - 7. Solve -r = -5*p + 3*p for p.
2
Let n = 1 - 2. Suppose 5 = 5*i - 20. Let s be -2 + i + -2 + n. Solve -4*v + 0*v + 16 = s for v.
4
Let c(s) = -s. Let v be c(-2). Suppose -3*y - 3 + 11 = q, -5*q = -5*y - 20. Solve v*i - y = -5 for i.
-2
Let a(q) = -q**3 - 2*q**2 + 2*q + 2. Let g be a(-3). Let k be (4 - 4 - 14)/(-1). Let o = 17 - k. Solve -o*i + g = -7 for i.
4
Let o be (-2)/(-5) + 83/5. Solve -8 = 5*d + o for d.
-5
Suppose -2*l = -0*l + 8. Let o be (l/(-2) - 1)*0. Solve o*t = t - 3 for t.
3
Let n be -2 + -2 + (30 - 6). Solve 0 = 5*x - x + n for x.
-5
Suppose 5*r - 3 = 22. Let w(i) = i**2 + 13*i + 30. Let t be w(-10). Solve t = -b - 0*b - r for b.
-5
Suppose 3*i = -i. Suppose 4*j + 2*o - 38 = i, 2*j - 7*j - 3*o = -49. Solve 0 = -4*v + j + 12 for v.
5
Let i = 24 - 20. Solve -i*g - 2 = -22 for g.
5
Suppose 5*u - 2 = 3*b, 4*u + 5 = 4*b - 3. Suppose q = b*q. Solve -t + q = 1 for t.
-1
Let a be (-1)/(-2) - 120/(-16). Solve 0*s + 2*s - a = 0 for s.
4
Suppose -4*g - 2*w + 42 = 0, 2*g + 0 = 5*w + 3. Let n = -6 + g. Solve b - 12 = -n*b for b.
3
Let k(u) = -u**3 + 5*u**2 + 8*u - 8. Let j be k(6). Let h = 4 - j. Solve n - 3 + 2 = h for n.
1
Suppose 5*h - 19 = 3*s, -s - 3 = h - 5*s. Let w = -5 + h. Let c be ((-2)/(-5))/(6/30). Solve w = q + 3 + c for q.
-5
Suppose -88 = p + 4*p + s, s = 4*p + 65. Let z = p + 17. Solve u = -z*u - 5 for u.
-5
Let j(x) = x - 2*x**2 - x**2 + 4*x**2 - 2*x**3. Let k be j(-1). Let h = k - 2. Solve 0 = a - h - 3 for a.
3
Suppose 7*i = 9*i + 22. Let g = -9 - i. Solve 2 = g*d + 4 for d.
-1
Suppose -8*n = -15*n + 28. Solve n*t - 11 - 1 = 0 for t.
3
Let m = -77 - -95. Solve 6 = -3*h + m for h.
4
Let i(h) be the first derivative of -h**2/2 - 9*h - 3. Let t be i(-10). Suppose -2*q + 8 = -2*s + s, 0 = -2*q - s. Solve q + t = 3*r for r.
1
Let w be (-13)/52 + (-5)/(-4). Solve -w = -u - 4 for u.
-3
Suppose -2*i = 4*i - 54. Solve 5*x + 16 = -i for x.
-5
Suppose -2*n + 16 = -0*n + 3*k, 5*k = 0. Solve 5*m - 2 = n for m.
2
Let g(d) = -d + 1. Let r(b) = b**2 - 10*b + 9. Let s(h) = 5*g(h) - r(h). Let x be s(4). Solve j + x = 4 for j.
4
Let b be -18*5/(-15)*1. Let q be (8/(-6))/(2/6). Let y be 0*(-2)/4 - q. Solve y*g = 2*g + b for g.
3
Let g = -6 - -6. Suppose g = 5*b - 20. Solve a + 9 = b*a for a.
3
Suppose 0 = 5*m - 5 + 20. Let n = -3 - m. Let p be (19 - 2) + (-2 - n). Solve 4*q = -p + 3 for q.
-3
Suppose -k - 8 = 6*r - r, -5*r - 2 = 4*k. Suppose -3*f + k*o = -f + 2, -3*o = -5*f - 1. Solve -v + 2 = f for v.
1
Let t(o) be the first derivative of -2*o**2 + o + 3. Let k be t(-3). Solve 3*m + 1 = k for m.
4
Suppose 4*a + 38 = 10. Let k(s) = -s**2 - 7*s. Let t be k(a). Let h = t + 4. Solve -h = -z - 3*z for z.
1
Suppose 10 = 3*o - 2. Solve -o*g + g = -9 for g.
3
Suppose 8 = 4*a - 8. Suppose -n + 5 = a. Solve -5*m + 4 + n = 0 for m.
1
Suppose -6*g = -5*r - 3*g + 7, -r - 2*g + 4 = 0. Suppose -2 = -r*b + b. Suppose 5*d + 3*s = 63, 7 = 3*d + s - 30. Solve -b*f = f - d for f.
4
Suppose 4*b = 2*b. Suppose 0 = 8*s - 5*s - 3. Solve b = -d + s + 2 for d.
3
Let a = 3 - 1. Solve -2*t - a + 6 = 0 for t.
2
Let q be (1 - 35/(-11)) + 22/(-121). Solve -1 = -i + q for i.
5
Suppose 0 = -l + 4. Solve u - 15 = l*u for u.
-5
Let k be (1 - (-3 + -1))*58/145. Solve -12 = -k*o + 5*o for o.
-4
Let v = -29 + 29. Solve 0 = -v*p - p for p.
0
Let y(r) = r**3 + 12*r**2 + 12*r + 19. Let a be y(-11). Solve -6*b = 38 - a for b.
-5
Let y(o) = o + 6. Let i be y(0). Let b be 3*20/i - 3. Solve -3*d - b = -22 for d.
5
Suppose -3*n - n = -12. Suppose -8*m - 49 = -4*f - 3*m, -n*f + 3*m = -33. Solve -o = -f*o for o.
0
Let r(v) = v**2 - 5*v + 7. Let c be r(5). Suppose 8 + c = -3*g + 5*l, -3*l = g - 9. Solve g*t = 2*t + 8 for t.
-4
Let v(b) = b**3 + 9*b**2 + 3. Let d be v(-9). Let a be 78/d + (4 - 2). Suppose 4*g + a = 3*f + 2*f, 2*f = -5*g - 2. Solve -2*r - f + 2 = 0 for r.
-1
Suppose 32 = -4*l - 0*l. Let m = -4 - l. Solve 15 = -m*d - d for d.
-3
Let t(k) = -k**3 + 5*k**2 + 7*k - 1. Let f be t(6). Suppose -2*x = -10, -m + f = m - x. Let g = m + -2. Solve -g + 4 = -u for u.
-1
Suppose 6*c + 12 = 48. Solve -6 - c = -4*g for g.
3
Let z be (-2 - -1) + 3 + 52. Suppose -3*o - z = -18. Let p be (o/(-18))/(1/3). Solve 0 = q - p*q + 4 for q.
4
Suppose -a - 4*a - 3*k - 15 = 0, 2*k = a - 10. Suppose 0 = -a*h + h - 3. Solve -h - 12 = 3*o for o.
-5
Suppose -4*c + 3*c + 11 = 0. Solve -2*q - c = -13 for q.
1
Suppose 4*j = -j + 15. Solve -4*a - 9 = j for a.
-3
Suppose -a + 1 = -2. Suppose -5*l - 35 = -g, -a*g - 4*l - 92 = -7*g. Solve g = 5*o - 10*o for o.
-4
Let z(j) = -j**2 - 8*j + 4. Let n be z(-6). Suppose p = -3*p - n. Let f be (-3)/9 + p/(-3). Solve 4*o = -11 - f for o.
-3
Let c = 9 - 6. Suppose -3*g = -c*s - 3, g - 3 + 2 = 4*s. Solve s + 1 = a for a.
1
Let x be ((-6)/8)/(18/(-48)). Suppose -6*j = -x*j - 16. Solve -j*b + 6 = -b for b.
2
Suppose 7*a - 5*a = 8. Solve 0 = -a*k + 3*k for k.
0
Let n(g) = 16*g**2 - 3*g - 3. Let l be n(-1). Solve -l = 4*p - 0*p for p.
-4
Let k = 30 + -27. Suppose 3*g - 9 = 0, 9 = -2*l + 5*g - 6. Solve i = -l*i - k for i.
-3
Suppose 0*r - 3*r = 0. Let w(v) = v**2 + 5*v - 6. Let d(a) = 2*a**2 + 9*a - 11. Let y(q) = -4*d(q) + 7*w(q). Let g be y(r). Solve 0 = 3*c + 4 + g for c.
-2
Let s be 13*4*(-1)/(-4). Solve -s - 12 = -5*z for z.
5
Let x(h) = -h**2 + 6*h + 8. Let b = 0 + 6. Let q be x(b). Solve 0 = 3*p + p + q for p.
-2
Let n = 105 + -69. Let t = n + -26. Solve j - t = 3*j for j.
-5
Let d = 4 - 1. Solve -d*p = -0*p - 3 for p.
1
Let d(n) = 3*n + 22. Let g be d(-6). Suppose 3*x = -2*x, -2*x - 27 = -3*h. Solve 25 = -g*z + h for z.
-4
Let h = -4 - -5. Let a = 5 - h. Solve 2*n - 3*n - a = 0 for n.
-4
Suppose 2*c - 3*c - 13 = -4*j, -4*j = 5*c - 55. Let f = 3 + 9. Solve -c*u + 3*u - f = 0 for u.
-3
Let i(b) = -14*b**3 - b**2 + 1. Let h be i(1). Let y = 14 + h. Solve -5*n - 25 + y = 0 for n.
-5
Suppose 3*y - 12 = -0*y. Solve y*h = -0*h for h.
0
Suppose s - 4 = -s - 2*g, -4*s - g = -14. Solve 3*a - 7 = -s for a.
1
Suppose -10 - 11 = -3*g. Suppose g - 16 = -w. Suppose -x + w = 2*x. Solve 0 = -x*f - 0 + 3 for f.
1
Suppose -39 = -4*j - 23. Let k(g) = -g**2 + 5*g + 2. Let v be k(5). Solve v*x + j - 2 = 0 for x.
-1
Let s(z) = 2*z + 2. Let d be s(1). Let o be (-6)/(-2) + -2 + 2. Suppose -3*a - 2*i + 13 = 0, i - 1 = o*a - 4*i. Solve -a*b - 19 = -d for b.
-5
Let x(d) = -d + 10. Let s(n) be the first derivative of 3*n**4/2 + n**2 - n - 3. Let k be s(1). Let g be x(k). Solve -r - 10 = -g*r for r.
5
Suppose 4*b + 4*i - 8 = 0, 3*b - 3*i = -0*b - 6. Let u(s) = b*s**3 - 3 + 2*s + 7*s**2 + s**3 - 3*s. Let n be u(-7). Solve n*z - 12 = -0*z for z.
3
Let i(s) = -s**2 - 5*s - 1. Let h be i(-4). Let w(d) = -d**3 + 2*d**2 + 5*d - 3. Let r be w(h). Suppose 0 = l - r*l. Solve -3*b + l = 3 for b.
-1
Suppose -5 = -4*v - 1, r - 4*v + 2 = 0. Solve 0*k + r*k - 8 = 0 for k.
4
Suppose 2*u = -u - 5*g - 32, 5*u - 5*g = -40. Let h be 6/u*-6 + -1. Solve -4 = 2*c - h*c for c.
4
Let g be ((-42)/(-35))/((-6)/(-15)). Solve -g*c = 2*c for c.
0
Suppose 0 = -6*a + 3*a. Let s be -1*(3 + 1)/(-2). Suppose y = s*c - 20, -2*c = -3*c + 5*y - 8. Solve 0 = -a*v - 4*v - c for v.
-3
Let d be ((-2)/(-6)*0)/2. Solve 4*v = -d*v - 20 for v.
-5
Suppose -3*s + 11 = -4*k, 4*s + 2*k + 2 = -k. Let v = s - -7. Let p be 24/14 + v/28. Solve 0 = -p*x - 0*x for x.
0
Suppose 0 = 4*m + m - 45. Let f be (-2)/2 + (m - 4). Suppose -3*x = 4*k - 11, 0 = f*x - 4*k + 2*k. Solve 0 = 2*n + x + 3 for n.
-2
Suppose 28 - 100 = -12*n. Solve n = -2*t - 