) = x**2 + 2*x - 2. Let z be i(q). Solve 3*v - z = 2*v for v.
1
Suppose 6*q = 3*q + 9, -5*p = 3*q + 11. Let c(z) be the first derivative of z**4/4 + z**3 - 3*z**2 - 6*z + 16. Let w be c(p). Solve -n = w*n for n.
0
Let l = -1 - 1. Let h be 1 + 7 - l/(-1). Let a be ((-4)/h)/((-4)/12). Solve -4*d - 18 = -a for d.
-4
Suppose -10*h = -18*h + 64. Let r be 2/(-1*4/(-6)). Solve l = -r*l - h for l.
-2
Let b = -15 - -6. Let q = b - -9. Solve -2*y + q = -2 for y.
1
Suppose -5*c + 16 = -3*c. Solve 3*s = -s + c for s.
2
Suppose 3*o = -0*o + 6. Let g be (-4 - -3)/(-1) + -1. Solve -o = l - g*l for l.
-2
Suppose 2*s + 4*a - 11 = s, 16 = 4*a. Let o(b) = -3*b + 4. Let j be o(s). Solve 4*u - j - 1 = 0 for u.
5
Suppose 2*v + 0 = 6. Solve v*y = y for y.
0
Suppose 4*d = 3*d + 2*x + 31, 2*d + x = 67. Solve 8 = 5*r + d for r.
-5
Let z(m) = 7*m - 2. Let y be z(8). Suppose 6 = 5*i - y. Solve a = 4*a - i for a.
4
Suppose 0 = -3*n - 4*u + 98, -45 - 60 = -5*n + 5*u. Let w be (-2)/(-6) - 2/(-3). Solve -5*c = -w + n for c.
-5
Let m be (1/((-9)/6))/((-8)/36). Let x = 2 + -3. Let d = x + m. Solve 3*y - 5 = d*y for y.
5
Let u = -5 + 25. Suppose -2*b - 5*s = -7*b - u, -4 = 5*b - s. Suppose 4*n - 4*o - 24 = b, 2*n - o = 2*o + 17. Solve -3*z - n + 13 = 0 for z.
4
Let t be (-1)/4 + (-21)/12. Let f be t/(-1 - 1) + 3. Solve -f*w - 8 = 8 for w.
-4
Let r = 22 + -20. Solve -p - r*p = -9 for p.
3
Let l(j) = 6*j - 9. Let v be l(2). Solve -v = -5*b - 8 for b.
-1
Let m(p) = p**3 + 14*p**2 + 12*p - 13. Let i be m(-13). Solve i = -2*u + 1 - 9 for u.
-4
Let l = 5 + -6. Let z be -5*l/((-1)/(-1)). Suppose -4*r - 3*b = -6, r + b = 2*r - z. Solve r*k = 4*k + 2 for k.
-2
Let w = 15 - 8. Suppose -t + 2 = -0*t. Let m = 4 - t. Solve m = 3*d - w for d.
3
Suppose -22*d = -16*d. Solve -2*i - 4 - 6 = d for i.
-5
Let d = 26 + -43. Let z = -11 - d. Suppose -i + 5*f - 5 = 0, i - 3 - 32 = -5*f. Solve -z*k - i = -k for k.
-3
Let a be 18/4 - (-1 + (-3)/(-2)). Let v be (2/6)/((-2)/(-30)). Solve r - a = -v for r.
-1
Let t(s) = -s**2 + 11*s - 7. Let k be t(10). Suppose 4*x + x = -m + 34, -k*m + x + 22 = 0. Solve 0 = 2*r + r + m for r.
-3
Let r be (0/(-3))/(-1 + 2). Solve c + r = -3 for c.
-3
Suppose -25*l + 13*l = -24. Solve -b - b = l for b.
-1
Suppose -9 = -i - 2*i. Suppose 0 = -i*n + 8*n. Solve -q - 4 = -n for q.
-4
Suppose -t - d + 12 = 0, 0 = -0*t - t + d + 22. Suppose 4*m - 31 = t. Solve m = 4*h - h for h.
4
Suppose -15 + 0 = 3*c, 0 = -3*g + 4*c + 26. Solve 0 = g*u - 10 + 2 for u.
4
Let z(x) = x. Let t be z(0). Let l = -6 + 7. Let d be 3 + l + -1 + -1. Solve t = -h - d*h for h.
0
Let a = 16 + -11. Let h = 9 - a. Solve 16 = 5*q - h for q.
4
Let p(w) = w**2 + w - 1. Let i be p(-3). Suppose 3 + 13 = 3*k + 4*m, 0 = i*k - 2*m - 18. Solve -4*g - k = 8 for g.
-3
Suppose -18 = -3*r + 6. Solve 2*p - r = 4*p for p.
-4
Let k be (-4)/(-22) - 217/(-77). Let x = k - 0. Let r be -3*(-1 - x/(-9)). Solve r*c + 3 = 1 for c.
-1
Let z be 2/(2*2/6). Suppose 11 = 7*n - 3. Solve z*m - 8 = -n for m.
2
Suppose -20 = -8*b - 12. Solve 4*j + b + 3 = 0 for j.
-1
Suppose -n + 10*n = -6*n. Solve n*y + 5 = 5*y for y.
1
Let x = 14 - 13. Let b be ((-20)/50)/(x/(-25)). Solve b = -0*m + 2*m for m.
5
Let k = 9 - 11. Let w be 1 - (-27 - k - -1). Solve 5*u = -0*u + w for u.
5
Let i(o) = o + 11. Suppose 3*s + 0*s = -24. Let a be i(s). Solve -5*z + a = 8 for z.
-1
Suppose -5*s = -4*r - 67 - 14, -5*s + 5*r + 80 = 0. Suppose 0 = -5*t + 13 + s. Solve 4 = -4*o + t*o for o.
2
Suppose -3*q = -8*q + 50. Suppose -8 = 4*m, 2*u - 4*u - 2*m = -14. Let f = -3 + u. Solve q = f*n - n for n.
2
Suppose -4*g = -g - 3. Let a = 1 - g. Suppose a = -0*q - q + 6. Solve 2*m - q*m = 0 for m.
0
Suppose 2*u + 2*u = 8. Let b(s) = -s**3 + 2*s**2 + 3*s - 3. Let r be b(2). Solve r*t - u = -8 for t.
-2
Suppose 70*m - 15 = 65*m. Solve 2*v = -m*v for v.
0
Suppose -a - 2 = 0, -8 = 5*t - 2*a + 3. Let g be t/9 - 13/(-3). Suppose -5*i + 11 = -g. Solve -i*o - 12 = o for o.
-3
Let c(k) = -2*k**2 + 15*k + 10. Let r be c(8). Suppose 4*b + 20 = 2*i, i + 5*b = r*b + 35. Solve -i = w + 3*w for w.
-5
Let i(y) = -82*y - 325. Let p be i(-4). Let t be 4 - 0 - (-1 + 2). Suppose t = -r + 9. Solve -15 = -p*v - r for v.
3
Let k be (1 - -7)/((-1)/(-2)). Solve j = 5*j - k for j.
4
Suppose 5*n - 25 = -2*u, 5*u = -2*n + 17 + 14. Suppose -45 = -5*k - 5*f, f - 35 = -u*k + 6*f. Solve -k = -4*h - 0*h for h.
2
Let j(o) = -o**3 + 18*o**2 - 16*o - 13. Let q be j(17). Solve -q*a = -5*a for a.
0
Let j(i) be the second derivative of 5/12*i**4 + 0 - 7/6*i**3 + 1/20*i**5 + 0*i**2 - i. Let t be j(-6). Solve -t*z = -z for z.
0
Let b = 0 - 0. Let m = 20 + -18. Solve m*j - 10 = -b*j for j.
5
Suppose 0 = -4*o - 0 + 12. Suppose 0 = o*c + p + 3*p - 31, -4*p = -3*c + 23. Solve -c + 29 = -5*y for y.
-4
Suppose 2*t = x - 4, -6 = 3*x + t + 2*t. Suppose x = 6*k - 2*k + 20, 11 = -3*z - 4*k. Solve 8 = -j - z*j for j.
-2
Suppose -8 = -4*d + 5*s + 12, -3*d + 15 = -3*s. Suppose 0 = 5*q - 4*w - 60, -d*w - 23 = -3*q + 13. Solve 0*x = 4*x + q for x.
-3
Suppose -5*a + 14 = -1. Suppose 4*f = 20, -a*b + 7 = b - f. Solve -x - 1 = -b for x.
2
Suppose 3*q = -0*q. Solve q = -0*b + 4*b for b.
0
Let h = -3 + 7. Solve 0 = -h*n - 0*n - 12 for n.
-3
Let j(p) = p**3 + 8*p**2 - 9*p + 4. Let n be j(-9). Solve -n*t = -2*t - 2 for t.
1
Suppose -8 + 9 = b. Solve b = -0*x + x for x.
1
Let q(l) = 2*l**3 + 17*l**2 + 13*l - 9. Let g(k) = -k**3 - 8*k**2 - 6*k + 4. Let u(m) = -5*g(m) - 2*q(m). Let c be u(-5). Solve -b + c - 7 = 0 for b.
-4
Let y be 7 + (0 - (1 + 2)). Suppose 6*q = 2*q + 4*a, -3*q - a = -y. Solve 9 = -2*x + q for x.
-4
Let h = -144 - -147. Solve 0 = -h*u - 10 - 5 for u.
-5
Let w(z) = -4*z. Let k(p) = -p**3 + 7*p**2 + p - 8. Let o be k(7). Let h be w(o). Suppose 0 = 5*g + 5*y - 10, 2*g + y - 3 = h. Solve -4*v - 17 = -g for v.
-3
Let n(i) = 8*i**2 - i. Let t be n(1). Let k = t + -2. Let g be ((-3)/(k - 2))/(-1). Solve -w = -0 + g for w.
-1
Let c(l) = -4*l - 3. Let k = 1 - 5. Let d be 9/(-5) + k/20. Let s be c(d). Solve -m + s = 1 for m.
4
Let p(v) = v**2 - 5*v + 19. Let l be p(4). Solve -l = -c - 4*c for c.
3
Let p(s) = s - 8. Let x be p(11). Suppose 0 = 2*d + 2*d. Solve -x = -h - d for h.
3
Let m(d) = -4 + 5*d - d**2 + 0 + 2*d**2. Let a(x) = 2*x**2 + 11*x - 8. Let t(k) = -3*a(k) + 7*m(k). Let h be t(-5). Solve -2 + h = 3*q for q.
3
Suppose 0*c - 11 = 2*c - 3*v, -5*c - 10 = -4*v. Suppose 0*u - 2*k = 2*u + c, 5*u - 13 = 4*k. Let l be 1*2 - (u - 3). Solve -p - p = l for p.
-2
Let s(i) = 3*i**2 + 3*i**2 - 5*i**2 - 4*i + 0*i**2. Let h be s(6). Suppose 2*m = 2*c + 32, -2*m = -c + 4*c - h. Solve m = -0*j - 3*j for j.
-4
Let u(z) = z + 16. Let k be u(-11). Suppose 3*g + 2*g = 3*o - 6, -k*g + 2 = o. Solve o*m + m = -6 for m.
-2
Suppose -14 = -2*j + 5*x, -6 = -j + 2*x + x. Solve -j = -r + 4*r for r.
-4
Let j be (6/(-18) + 1/3)/3. Solve -5*s = -5 - j for s.
1
Suppose -4*v = 5*b, 3*v + 3*b = 7*v. Suppose 0 = 4*j - 2*z + 2, j - 27 = -5*z - v*z. Suppose 7*r = -2*r. Solve r = -j*a - 2 for a.
-1
Suppose -3*i = i. Solve i = y + y - 2 for y.
1
Suppose f - 8 = -f. Suppose -3*m + 2 - 32 = 0. Let r be 2/1*(-35)/m. Solve -r = -f*k + 5 for k.
3
Let o be 4 + (-7 + 6)*(0 + -1). Let s(z) = z**3 - 9*z**2 + 7*z + 6. Let h be s(8). Let r be (-1 - 3/h)*0. Solve u + o = -r for u.
-5
Let t be (14/(-35))/(2/60). Let w(s) = -12*s + 4. Let l be w(3). Let y = t - l. Solve 5*o - y = 5 for o.
5
Suppose -d = -3*d + 30. Suppose 0 = 3*x + 3*t - d, -25 = -6*x + 2*x - 5*t. Solve 0 = -f - 1 - x for f.
-1
Suppose -2 = -2*g, 3*k + g - 32 + 4 = 0. Suppose -j + k - 2 = 0. Solve -4*y + 5 = -j for y.
3
Let t(b) be the third derivative of -b**4/24 - 2*b**3/3 + 3*b**2. Let y be t(-5). Solve 2*d + 7 = y for d.
-3
Let j = -5 + 9. Let w be 10/(-4)*(-8)/10. Suppose -w*v + j = -v. Solve 0 + v = i for i.
4
Let r = -60 + 63. Solve -r*l = -0*l - 9 for l.
3
Let h(a) = -a**3 - 5*a**2 + 7*a + 11. Let f be h(-6). Solve f*z = 23 - 3 for z.
4
Let s(m) = -m - 2 - 1 - 1. Let y be s(-5). Let o be 2*(-3)/6*2 + 3. Solve -y = -2*c + o for c.
1
Suppose 10 = 2*c - 6. Suppose 16*n = 20*n - 16. Let x = c - n. Solve 2*b = b + x for b.
4
Suppose 0 = 5*m - 3*s - 1, 3*m + 3*s - 11 = 4. Suppose -6 - 8 = -m*p. Let l be (-4)/(-14) - (-5)/p. Solve -i - l = 3 for i.
-4
Suppose -2*k - 2 = -16. Suppose -k + 4 = -o. Solve b