olve 7*x - 2*x + z = 0 for x.
-3
Let k be (-2 + 8)/((-3)/(-4)). Suppose 0 = 5*d + 2*a + k, 6*a + 16 = 2*a. Suppose -18 = -4*f - 3*p, 0 - 16 = -f + 5*p. Solve d = -v - v - f for v.
-3
Let h(b) = -3*b - 3. Let m = 2 - 4. Let g be h(m). Suppose 5*y + 5 = -0*x - g*x, 0 = -5*x + y + 29. Solve 0 = -2*v + x*v + 6 for v.
-2
Suppose 4*y - 4*l - 6 = 6, 4*y + 13 = -l. Let s be (-4)/y*1/2. Let q be 54/12 + s/(-2). Solve q*x + 20 = 4 for x.
-4
Suppose 0 = -5*s + q + 2*q + 49, q = -5*s + 37. Let i be 1/3*(-2 + s). Let c be (2/(-2))/((-1)/i). Solve 0 = -c*d - d for d.
0
Suppose -2*h + 4 = 2*j, 2*j - 7*j + 5*h + 40 = 0. Suppose 4*c - 2 = -y, -4 = 3*c - 2*y - 0. Solve c = j*p + 31 - 6 for p.
-5
Let l(d) = d**2 - d - 14. Let c be l(0). Let m = c + 20. Solve b + b = -m for b.
-3
Let c be ((-30)/50 - 4/10)*-3. Solve c*z = -2 + 5 for z.
1
Let z(q) = -q**2 + 4*q + 1. Let h be z(3). Suppose 0 = -3*x + 5*x + 3*b + 2, -h*x + 6 = b. Solve -x*g - 3*g = 0 for g.
0
Let a be ((-3)/(-2))/((-3)/(-8)). Suppose -x = c - 5 + 3, -a*c + 4*x = -32. Solve -39 = -c*b - 14 for b.
5
Let l = -118 - -120. Solve -m = l*m for m.
0
Let o be (-12)/(-21) + 24/(-42). Solve 3*v = -o*v for v.
0
Suppose u = 3*u. Let n = 0 + u. Let p(m) = m**3 - m**2 + 1. Let g be p(n). Solve -5*c + g = -9 for c.
2
Suppose 3*u - 15 = -0*u. Solve -4*p = 11 + u for p.
-4
Let k(v) = v**3 + v**2 - 3*v - 1. Let h be k(-2). Let g = h + -1. Solve g = d - 2 + 1 for d.
1
Suppose -208*b = -204*b - 60. Let k(q) = -q. Let u be k(-5). Solve 0 = -u*j - 0*j - b for j.
-3
Let a(w) = 2 + 2 - 1 - 6*w - w**2. Let y be a(-6). Solve -y*t = -6*t for t.
0
Let v be (-6 + 8)/(2/8). Solve 0*n + v = -2*n for n.
-4
Let o(a) = -a**3 + 6*a**2 - a + 6. Let b = 15 - 9. Let m be o(b). Solve m = 2*w + 10 - 0 for w.
-5
Suppose 0 = -x - 0 + 5. Solve -5 = -x*o - 25 for o.
-4
Let t(r) = -r. Let i be t(-2). Solve 3 - i = y for y.
1
Let s be (2 - 0/(-3)) + -2. Suppose -13 = -5*w + 7. Suppose -2*j = -j - 2. Solve j*m = -s*m + w for m.
2
Let p = -4 - -9. Suppose -p*g + 9 = 4*z - 4, -9 = -5*z + g. Solve -z*m + 0*m = 0 for m.
0
Suppose -5*n + 30 = -u, u - 2 + 22 = 3*n. Solve -x - n = -0 for x.
-5
Let p be (0 + 1 - -2)/1. Let c = p - 7. Let o = c - -6. Solve o*j - 3*j = 2 for j.
-2
Let d = -54 - -66. Solve -i - 7 = -d for i.
5
Suppose 0 = q + u - 6, q + 2 = -q + 5*u. Suppose -6*o = -q*o - 8. Solve -2*m = -o*m - 4 for m.
-2
Let o be (6 - 1) + (11 - 2). Solve 3*r + 2 = o for r.
4
Let i(w) be the first derivative of w**3/3 - w**2 - 4*w - 1. Let m be i(4). Solve -m*q = q for q.
0
Let f(l) = -l**3 - 5*l**2 + 2*l - 12. Let h be f(-6). Let g be 1/(-4) + 39/12. Solve -g*r + h = r for r.
3
Let m(o) = -o - 3. Suppose 11 = -4*w + 3*f, -3*f + f = 6. Let x be m(w). Solve x = -5*p + 3*p for p.
-1
Let g(n) = -7*n**2 - 5*n + 8. Let d(t) = 4*t**2 + 3*t - 4. Let s(c) = -5*d(c) - 3*g(c). Let i be s(-3). Solve 5*p - 10 = -i for p.
1
Let v be 2 - (2 - (-2 - -2)). Suppose v = -3*m + 2*x - 8 + 2, -3*x = 2*m - 9. Suppose -5*a + 2*a + 3*p = 3, 3*a - 2*p = m. Solve -2*k + 4 = -a for k.
3
Suppose 70 = 4*y + 10. Solve -7*z + 4*z = y for z.
-5
Suppose 9*n - 6 = 8*n. Solve -2 = -4*t - n for t.
-1
Let a be (-2)/3*(-1 + -5). Suppose -45 = -2*j + 5*h, 2*j - a*j = -2*h - 30. Solve 0 = 2*s + 3*s - j for s.
2
Let j(l) = 6*l - 7. Let z be j(9). Suppose 1 = -m, -z = -5*g - m + 2. Solve 2*a - g = -0*a for a.
5
Suppose 0 = 4*w + 28 - 8, -w = 2*n + 17. Let x be n/(-15) + (-4)/10. Suppose q + 0*q - 10 = x. Solve 5*z + q = -0*z for z.
-2
Suppose u = -2*u. Solve u*l = 4*l + 4 for l.
-1
Let f(z) = z**3 + 13*z**2 + 21*z - 8. Let t be f(-11). Solve 0 = -t*r - r - 4 for r.
-1
Let c = 0 + 0. Suppose -8*m + 10*m - 16 = c. Solve -12 - m = 4*f for f.
-5
Let a(g) = -3*g - 36. Let f be a(-12). Solve f = 3*j - 0*j + 12 for j.
-4
Suppose 4*r + g + 7 - 3 = 0, 5*g + 20 = 0. Solve 3*a - 2*a - 4 = r for a.
4
Let t(w) = w**2 + 7*w + 9. Let j be t(-6). Suppose j*m + 2*m = 0. Suppose -7*k + 3*k = l - 14, -5*k - l + 18 = m. Solve k*a + 1 = 3*a for a.
-1
Let k(o) = 2*o + 1. Let z = 5 + -3. Let q be k(z). Suppose 4 = 3*m + 1. Solve 2*t - q = -m for t.
2
Suppose 3*u = 2*u - 5*i + 1, 3*i = -5*u + 27. Let n be (-1)/(-1) - (u - 1). Let f be (n/(-10))/(1/15). Solve -b = -f*b + 5 for b.
1
Suppose -25 = -3*j + 3*c - 1, -5*j - 2*c + 12 = 0. Solve u = 1 - j for u.
-3
Let q = 7 + -4. Solve z + 2 + q = 0 for z.
-5
Let p be 25/(-10)*1*-2. Suppose -25 = -4*m - p*d, 20 = 6*m - m + 4*d. Let r = 8 + -6. Solve -r*x - 2*x = m for x.
0
Suppose 1 = -2*l + 3. Let v = l - 10. Let d = -4 - v. Solve 0*a = -5*a + d for a.
1
Let l(n) = -5*n - 6. Let o be l(-4). Let y = 6 + o. Suppose 5*g = 3*i - 21, -3*g = -4*i - 3 + y. Solve i*v + v = -3 for v.
-1
Suppose 3*m + 21 = 3*p, 8*m - 20 = -4*p + 4*m. Suppose -3 - 37 = -4*k. Let v = k - 5. Solve l + v = p*l for l.
1
Let d be 18*(0 - -1) - 3. Solve d = 2*a + 3*a for a.
3
Let v(k) = -8*k**3 + 2*k**2 + k - 1. Let o be v(-1). Solve -o = 5*w + 17 for w.
-5
Suppose 0*u + 12 = 2*u. Let b = 7 - u. Let z be (b - (0 - -3))*-1. Solve n + z = -n for n.
-1
Suppose -5*w + 2 = 3*g, 0 = 3*w - 5*g + 2*g + 18. Suppose v + 4 = 1. Let m be ((15 - 3)/v)/w. Solve m*d = 4*d for d.
0
Let k = -16 + 28. Solve k = -2*s - 2*s for s.
-3
Let q be (16/(-6))/8*0. Solve 7*z - 4*z - 6 = q for z.
2
Suppose -2*w + 9 = w. Let k be 6 + (w + -1 - 5). Solve 2*y - 5 = k for y.
4
Let r = -15 - -24. Let w be r/(6*2/8). Solve -2*i - w = i for i.
-2
Let m(x) = x**3 - 13*x**2 - 12*x - 26. Let n be m(14). Solve 18 - n = -4*p for p.
-4
Suppose 35*b - 3 = 32*b. Solve -b = 3*j + 5 for j.
-2
Suppose -3*t + 11 = 2. Solve -n = t*n for n.
0
Suppose 3*n + 5 = r, r = -2*r - 4*n + 2. Let o be (-1)/2*(18 - 20). Solve -1 = -r*c + o for c.
1
Suppose i = -2*m + 3, i - 4*i - 5*m = -9. Let f = i - -2. Suppose f*q = 2*q + 9. Solve -d = q*d - 20 for d.
5
Let k be 12 + (-3 - -3) + 0. Suppose 5*r - 5*f = 130, -2*r + k = 3*f - 15. Suppose r = 4*y - 11. Solve 0 = 3*s - y*s - 25 for s.
-5
Suppose -2*d - 18 = -0*d. Let c = d - -11. Suppose 0 = -2*p + c. Solve 2 = -3*w - p for w.
-1
Suppose 10 = 5*w + 5*v, 3*w - 3*v - 1 = -v. Let i be 4 - 1 - (w - -9). Let s be (i + 1)/(9/(-6)). Solve s*m + 11 = -5 for m.
-4
Let g(k) be the third derivative of -k**5/60 - k**4/3 + 5*k**3/6 + k**2. Let x be g(-5). Suppose 0 = 5*c - 4*o + 6, -6*o = -o - x. Solve -2*h = c*h + 4 for h.
-1
Suppose 0 = -2*s + 3*q + 16, 0 = -4*q + 2 - 10. Let c = s + -3. Solve j + c = 5 for j.
3
Let s = -11 - -17. Suppose 0*x + c - s = -x, -x - 3*c - 2 = 0. Suppose -w + 2*r = 0, x = 4*w - 5*r - 2. Solve w = -4*o - 4 for o.
-3
Suppose 0 = -2*d - 2*p - 4 + 16, -22 = -3*d - 4*p. Let u(n) = n**2 - 2*n + 2. Let r be u(d). Solve 0 = r*j + j - 9 for j.
3
Let k = -9 + 44. Let d be 7/k + (-2)/10. Let s be 8/2 + d + 0. Solve -3*o + o + s = 0 for o.
2
Let b = 65 - 63. Let y = -6 + 13. Let x(r) = r - 6. Let k be x(y). Solve 11 = b*c + k for c.
5
Let v(w) = -2*w + 2. Let g = -18 - -35. Suppose 0 = -5*h - p - g, -2*h = p - 2 + 7. Let k be v(h). Solve -3*z + 1 = k for z.
-3
Let m be ((-2)/2)/((-1)/(-1)). Suppose 4*y = -y + 5*t - 30, -2 = 2*t. Let v be m/2 + y/(-2). Solve -v = -4*u - 11 for u.
-2
Let v(f) = -2*f**3 - f**2 - 2*f - 1. Let j be v(-1). Suppose 5*y - 18 = -3. Suppose -3*i + 19 = h, 5*h - y*i = i + 38. Solve h = -j*q - 3*q for q.
-2
Let l(n) = -n**2 + 5*n + 2. Let i be l(5). Suppose -21 = -i*m + 11. Solve -3*h = h + m for h.
-4
Let k(l) = l**3 - 2*l**2. Let z be k(2). Let s be 6/10 + (-208)/(-20). Solve 4*v + 9 + s = z for v.
-5
Let t(f) be the second derivative of -f**4/12 + 3*f**3/2 - 3*f**2/2 - 4*f. Let y be t(8). Solve x - 8 = y*x for x.
-2
Let f(o) = -o**2 - 3*o + 3. Let d be f(-3). Suppose 4*j + 7 = t, -d*j - 17 = -4*t + 2*j. Solve -t*r = -8*r - 10 for r.
-2
Let i = 9 + -23. Let k = 56 + i. Suppose -3*q = 3*j - 4*q - k, -3*q = 2*j - 28. Solve 0 = 3*w + j - 5 for w.
-3
Let m(f) = 7*f + 2. Let u be m(2). Let a be (-4)/(-14) - u/56. Suppose 3*j + 2*o - 6*o - 10 = 0, -j + 1 = o. Solve a = -j*n + 2 for n.
1
Let w(o) = -5*o + 2. Let p be w(2). Let y = p - -12. Let n = 4 - y. Solve 3 = -3*f - n for f.
-1
Let r(s) = 5*s**2 - 6*s + 2. Let x(k) = 2*k**2 - 2*k + 1. Let m(g) = -3*r(g) + 8*x(g). Let b be m(-2). Solve -i + b*i - 1 = 0 for i.
1
Suppose 0 = 5*v + 3*r - 40, -2*r + 20 + 20 = 5*v. Solve -2*c = -v + 2 for c.
3
Le