 be w(-1). Solve 0 = -z + o + 1 for z.
3
Let k = 7 + -4. Suppose 0 = -k*u - 0*u + 12. Solve y + u + 0 = 0 for y.
-4
Let i = -28 + 31. Solve -2*m = i*m + 5 for m.
-1
Let g(k) = -k + 3. Let j be g(-8). Let y(m) = -m + 11. Let n be y(j). Suppose 2*p - 16 = -n*p. Solve -3*i = i + p for i.
-2
Suppose 3*h + 0*h - 21 = 0. Let b(r) = -r**3 + 7*r**2 + r - 5. Let a be b(h). Let m be -1 - -7 - -1 - a. Solve 0 = -j + 2*j - m for j.
5
Let t be (-26)/39 - (-4)/6. Suppose t*d + d = 0. Solve d = 2*u - 0*u - 6 for u.
3
Suppose -n = d - 17, 3*n - 5*n + 2*d = -14. Solve -5*g + g = -n for g.
3
Let a = -8 + 10. Let j = 2 - a. Solve j*x = x + 5 for x.
-5
Let b = -9 + 13. Suppose -u = -b*u. Suppose u = 3*f - 12 + 3. Solve 5*t - f = 7 for t.
2
Let u(a) = a**3 - 2*a**2 - 4*a + 6. Let j be u(3). Solve j*z + 7 = -5 for z.
-4
Let r = 60 - 41. Suppose 4*i - 3*a = 9, r = -2*i + 7*i + 4*a. Solve -i*z + 8 = -1 for z.
3
Let i = 12 - 10. Let b be -3 + (-3)/(-3) - -9. Let u = b + i. Solve 0*o - u = 3*o for o.
-3
Suppose -s = -t - t + 55, 2*s = -10. Solve z = 6*z + t for z.
-5
Let j(g) = -g + 9. Let q be j(9). Suppose -n - 3*n = q. Solve 3 = -r - n*r for r.
-3
Let z = 27 + -7. Solve 7*i - 3*i = z for i.
5
Let z = 14 + -14. Solve z = -2*j - 2*j for j.
0
Let g be 4/14*(4 - -10). Solve 0 = g*q + 1 + 11 for q.
-3
Suppose 2*i - 4 = -0*i. Suppose -5*v + i*c = -24, -5*c - 3 + 1 = 2*v. Suppose -4*o + 15 = o. Solve -v*b - 11 + o = 0 for b.
-2
Let v(p) = p**3 + 8*p**2 - 11*p - 9. Let a be v(-9). Solve 4*j + a + 3 = 0 for j.
-3
Let x(a) = -2*a**2 - 4*a + 3*a - 3*a + a**2. Let g be x(-4). Suppose -4*v + 22 + 2 = g. Solve -v + 1 = 5*k for k.
-1
Let l(w) = -w. Let p = 0 - 1. Let i be l(p). Let v be (0/(-3))/(-2) - -2. Solve v = r - i for r.
3
Let d(t) = t**2 + t - 4. Let n be d(3). Suppose -2*p + n = 2*p. Solve p = -x - 2 for x.
-4
Let v = -2 + 4. Solve -v*h - h = 3 for h.
-1
Suppose -16 = -5*x + 4*n, 2*x - 4*n = x. Solve x = -4*a - 0 for a.
-1
Suppose 0 = 5*s - 3*j - 0*j + 9, -3*s - 4*j + 12 = 0. Solve 9 = -3*h - s for h.
-3
Let g be (2/(-3))/((-18)/27). Let d = 6 - g. Solve d*q = q for q.
0
Suppose -g - 2*r - 2*r + 25 = 0, 175 = 5*g - 5*r. Suppose 32 = 3*f + 4*a, -5*f + a = -28 - g. Solve 5*i = 2*i + f for i.
4
Suppose 2*s + 0*s = -4*q + 18, 4*q = 3*s + 3. Let t(b) = b**3 - 6*b**2 - 6*b - 7. Suppose z + 3 = 10. Let j be t(z). Solve -s*u - u = j for u.
0
Let w(o) = -3*o - 4. Let k be (-2)/7 - (-19)/(-7). Let u be w(k). Solve -u*x + 10 = -10 for x.
4
Let n = -40 - -47. Solve 3*j - n + 1 = 0 for j.
2
Let a = -2 - 0. Let y be (8/a)/(0 - 1). Suppose 0 = y*k - 17 - 3. Solve 0 = -5*z - 0 + k for z.
1
Suppose u + 14 = 4. Let k be u/(-15) - (-13)/3. Suppose -3*o + 3*y + y + 5 = 0, 5*o - k*y - 10 = 0. Solve -4*j - 1 - o = 0 for j.
-1
Suppose -14*o + 15 = -9*o. Solve 0 = o*s - 1 - 2 for s.
1
Let k(v) = v**2 - 1. Let r(i) = -6*i**2 - 8*i + 1. Let z(n) = 5*k(n) + r(n). Let b be z(-7). Solve 2*c = b*c - 4 for c.
4
Let m(h) be the second derivative of -h - 3/2*h**2 + 0 - 1/2*h**3. Let g be m(-2). Solve 5 - g = o for o.
2
Let s be -3 + 1 + (-10)/(-2). Let d(k) = k - k**3 + k**s + k**3. Let a be d(1). Solve 0 = b + a*b + 9 for b.
-3
Suppose -9 + 0 = -p. Solve 3*s + 0*s - p = 0 for s.
3
Suppose 2*h - 6 = -h. Suppose -x = -0*x - 4*c - 4, h*x - c = 1. Let a be 1/1 + 8/2. Solve -10 = a*j - x*j for j.
-2
Let k be (-1 + 5 + -2)*(-10)/(-4). Solve 1 + 4 = k*w for w.
1
Suppose 3*x + 15 = -2*x. Let m(g) = -g**3 - 3*g**2 + 1. Let o be m(x). Solve -k - o + 5 = 0 for k.
4
Suppose -3*p = -12 - 3. Solve 9 + 11 = p*c for c.
4
Let l(c) = c**2 + c + 2. Let w be l(-2). Suppose 0 = -0*b - w*b. Solve 5*n + 6 + 9 = b for n.
-3
Let t be 1/2*-2*1. Let m be (5 + -6)/(t/4). Solve -m*g + 3*g = 5 for g.
-5
Let i(d) = -d**2 - 1 + d**2 + 5*d + d**2. Let n = 11 - 17. Let w be i(n). Solve w*r + 35 = 10 for r.
-5
Let f(j) = -j**2 + 19*j - 35. Let n be f(16). Solve -n = -3*z + 2 for z.
5
Let q be (-136)/14 + 20/(-70). Let y be 5 + (-5)/(q/(-6)). Solve y + 2 = -2*u for u.
-2
Suppose 0 = -2*d - 5 - 19. Let m = 12 + d. Solve -2*l = -m*l for l.
0
Let q(p) = -p - 10. Let n(b) = -b**2 + 2*b + 5. Let h be n(5). Let o be q(h). Suppose o = -3*z + 12. Solve 0*y = -z*y - 20 for y.
-5
Let p(h) = h**3 + 5*h**2 - 9*h - 2. Suppose i + 14 = 8. Let l be p(i). Solve -3*x = x - l for x.
4
Suppose 0*r - 2*r = -g + 1, 4*g + r = 22. Suppose 7*h - 8 = g*h. Solve -t + h = -1 for t.
5
Suppose 2*z - 15 = -z. Let c = z - 4. Let h(m) = m**2 - m. Let n be h(c). Solve n = -j + 2*j - 2 for j.
2
Let s = 0 - -2. Let q be 2/(s/3) - 2. Let k be (-1 + 1 - q)*-3. Solve 2*p + k = -1 for p.
-2
Suppose -10 - 2 = 2*v. Let h be 2/(-5) - v/15. Solve h = -0*q + 4*q for q.
0
Let l(z) = z**2 - 5*z - 9. Let x be l(7). Solve 0 = 2*y - x*y for y.
0
Let x be 40/18 - (-4)/(-18). Suppose 3*j + x*m + 6 = 20, -5*j = -5*m + 10. Let h(p) = p**2 - p - 1. Let d be h(2). Solve -j*i = 1 + d for i.
-1
Let z be ((-12)/5)/((-1)/(-5)). Let k = z - -28. Solve 0*u = 4*u + k for u.
-4
Suppose 2*w = 5*w - 3. Let d be (-3)/(0 + -3 - -2). Let q(s) = -s**3 + 4*s**2 - 4*s + 3. Let u be q(d). Solve p + w = -u for p.
-1
Let z = -9 + 11. Let i(d) = 3*d + 2*d - 3 - d. Let q be i(7). Solve z*c = -3*c + q for c.
5
Suppose 16 = -2*y - 5*w, -4*w - 2 = 14. Solve 0*b - 2 = -y*b for b.
1
Suppose -8 = 2*s + 2*s. Let r be 22/6 + s/3. Suppose 2*u + 2*i = -2, i = -3*i - 16. Solve r*k = -12 - u for k.
-5
Suppose 0 = 2*z - 4 - 4. Let m = -6 + z. Let k = -1 - m. Solve 0 = -3*x - k + 4 for x.
1
Let t be 0 + (-2 - 14)*-1. Let b = -9 + t. Suppose -5*k + 2*r + 31 = 5*r, 0 = -4*k - 3*r + 23. Solve -b = -5*q + k for q.
3
Let p(u) = u**2 - 7*u + 12. Let s be p(7). Solve -s = -2*m - 2*m for m.
3
Let n = -29 - -31. Solve -n*i - 3*i - 20 = 0 for i.
-4
Let v(x) = -x**3 - 8*x**2 - x - 6. Let f be v(-8). Let z be f + 3 - (-1 + 3). Suppose -4*k + 3 = -2*k + u, 2*k - 2*u = 0. Solve k = -z*t - 2 for t.
-1
Let h(m) = m**3 + 8*m**2 + 3*m - 10. Let q be h(-7). Let n be (-20)/(-9) + (-4)/q. Suppose -4 = -n*o + 2. Solve 0 = -x + o*x for x.
0
Suppose 35 = 2*i - 31. Suppose 5*f + 19 = 5*y - 26, -y = -5*f - i. Let u be (-2)/3 + (-4)/f. Solve 3*m - 15 = -u*m for m.
5
Let n be (-14 - -14)/(2/(-1)). Solve n*q + q - 5 = 0 for q.
5
Suppose -5*t = -0*t - 2*x - 34, -4*t - 4*x = -16. Solve 2 = -2*n + t for n.
2
Let u(n) = 0 + 0 + 21*n**2 - 2 + 1. Suppose 1 = 2*d - d. Let r be u(d). Solve -2*q = 3*q + r for q.
-4
Let s(v) = -v**2 + 16*v - 45. Let m be s(12). Solve -m*i = -i - 4 for i.
2
Suppose 0 = 7*m - 12*m + 35. Solve 5*x = m + 3 for x.
2
Let g(s) = s**3 + 3*s**2 - 4*s - 1. Let p be g(-3). Suppose -x - 12 = -4*k, -p = -4*k + 1. Solve x = -4*v + 1 - 9 for v.
-2
Let k = 35 - 32. Solve 0*t - 3 = -k*t for t.
1
Let b = 2 - 0. Suppose -2*j + 22 = -4*r - 0, b*j = -2*r + 34. Solve -2*c = 3*c - j for c.
3
Let t(y) = -y**3 + 3*y**2 - 3*y + 3. Let f be t(2). Solve 0*s = -s + f for s.
1
Suppose -2*n - 4*b = -18, -4*n - 5*b + 30 = -0*b. Solve -4 = -w - n for w.
-1
Let i(q) = -q**2 + 7*q + 24. Let y be i(9). Solve -3*p = -y*p - 9 for p.
-3
Suppose 3*k - 2*k - c + 2 = 0, -4*k + 6 = 3*c. Solve k = o + 2*o for o.
0
Let b(w) be the first derivative of -w**4/4 - 2*w**3/3 - w**2 - w - 1. Let g be b(-2). Solve 0 = -7*u + g*u + 20 for u.
5
Let z = -22 - -34. Let a be (3/12)/(1/z). Solve -a*b = b - 4 for b.
1
Let c = -48 - -49. Solve -1 = o + c for o.
-2
Let a be 5*-1 + -1 + 1. Let g be (-50)/(-15)*(-18)/a. Solve -2*j + 6*j + g = 0 for j.
-3
Let z(u) = -3 - 3*u + u**2 + 3 - 1. Let j be z(4). Suppose j*m - 2*v - 33 = -5, 0 = -5*m - 4*v + 10. Solve -y = -4*y + m for y.
2
Let j be (0/(-4))/(-3 - -5). Solve -3*a + 0*a = j for a.
0
Let n be (-88)/(-10) + 1/5. Let v(u) = u - 8. Let c be v(n). Solve 0 = 5*o - 4 - c for o.
1
Let p(u) = u**2 - 3*u - 3. Let m be p(-3). Suppose -4*c + m = -c. Solve -15 = -2*x + c*x for x.
-5
Suppose 0 = -4*y - 2*g - g - 112, 3*g + 87 = -3*y. Let h = -20 - y. Solve 0 = -4*i + h - 1 for i.
1
Suppose 3*d + t - 19 = 0, 4*t = -0*d - 4*d + 12. Solve 3*f + d = -f for f.
-2
Let j = -3 - -4. Let s be (1 - -57)*j/2. Let g be s/9 + 4/(-18). Solve 2*h = -h + g for h.
1
Suppose -30 = 3*c - 8*c. Suppose c = x - 8. Solve 4 - x = -5*t for t.
2
Let k(n) = -3*n - 18. Let g be k(-8). Solve 0 = 2*t - g - 4 for t.
5
Let y(a) = a**3 - 4*a**2 + a - 2. Let j be y(4). Let q = 1