d**2 - 2*d + 4. Let g be m(5). Let w = g - -53. Solve 0 = -5*c - w - 3 for c.
-5
Let x be (33/(-9) - -3)/((-4)/18). Suppose 3*b = -b + 8. Solve 25 = -x*d - b*d for d.
-5
Suppose 5*c - 3*u + 2 = 0, -c + 2*u - 14 = -2*u. Let w be (-33)/(-4) - c/8. Suppose -3*n - 2*n = 0. Solve -w = -n*l - 2*l for l.
4
Let b(u) = u**3 - 3*u**2 + 3*u - 3. Let x be b(2). Let z be x/(1 - 36/33). Let i be (-3)/6 - 10/(-4). Solve -i*a - 1 = -z for a.
5
Suppose 0*r + 3*r + 3 = -3*z, -4*z - 40 = -5*r. Suppose -3*l - 3*d = l + 3, l - r*d = 4. Let f = -10 + 26. Solve 4*b - f = -l*b for b.
4
Let i(g) = g**3 - 8*g**2 + 12*g + 6. Let x be i(6). Solve 2*m - x = -0*m for m.
3
Let n(v) = -v - 1. Let t(g) = g - 3. Let w(s) = -2*n(s) - t(s). Let i be w(-4). Let b = 4 - i. Solve 0 = b*u - 2*u + 2 for u.
-2
Let m = 2 + 2. Suppose -80 = -5*a - 4*v, -2*v + 85 = m*a - 3*v. Suppose p = 2*p - a. Solve 0 = -5*c + p + 5 for c.
5
Suppose 20 = 2*s - 10. Solve -4*d - 5 - s = 0 for d.
-5
Let g be (5 + -5)*(1 + -2). Solve 0 = -g*p + 4*p + 12 for p.
-3
Suppose 0 = -4*x + 2*s + 36, x + 3*x + 2*s - 20 = 0. Solve -d - x + 3 = 0 for d.
-4
Let c = -1 - -10. Let h be 0 + 5 + (-7 - -1) + 7. Solve 3*n - c - h = 0 for n.
5
Let n(s) = 6*s**2 - s - 1. Let d be n(-1). Suppose -2*w = -d - 0. Solve -8 - 4 = w*k for k.
-4
Let d(r) = -2*r - 6. Let v be d(-11). Let w be v/10 - (-4)/10. Suppose 4*b - 5*f - 6 - 19 = 0, w*b = 2*f + 12. Solve -3 = b*n - 18 for n.
3
Let u be (36/(-21))/6 - (-46)/14. Solve 0*t = -u*t for t.
0
Let g(x) be the first derivative of x**3/3 + 6*x**2 - 8*x + 4. Let d be g(-13). Solve -f + 20 = -d*f for f.
-5
Suppose 2*s + 2*s - 16 = 0. Solve -s*v - v = 15 for v.
-3
Let s(x) = x**2 - 3. Let v be s(-3). Let f(d) be the third derivative of -d**4/12 + 13*d**3/6 - 2*d**2. Let l be f(4). Solve -v*g = -g - l for g.
1
Let s(k) = -k**3 - 12*k**2 - 10*k + 13. Let x be s(-11). Suppose -3*i + m + 4 = -i, 4*i - 5*m = x. Let n be i + (-3 + 3 - 0). Solve 0*w - 6 = n*w for w.
-2
Let l(y) be the second derivative of -y**4/12 - y**3/6 + y**2 + 3*y. Let a be l(0). Solve a*h = 3*h for h.
0
Suppose k = -2*n - 5, 4*k - 28 = -2*n + 6*n. Let h be -1*(88/n)/2. Solve -5*i + h = -9 for i.
4
Let x be (-2)/((3 - 7)/4). Solve f = -f + x for f.
1
Let y(k) = -2*k**2 - 32*k - 22. Let z be y(-15). Solve z = m + 4 for m.
4
Let i(r) = -r - 1. Let z be i(-3). Suppose 5*h = 5*t - 10, -h + 0*t = -z*t + 1. Let k be (-1 - -5)*h/(-6). Solve 2*s = -k*s for s.
0
Suppose -5*f = -1 - 29. Suppose 7*v = 4*v + f. Suppose 0 = 5*h - v*w - 33, 0 = 4*w - 3*w + 4. Solve -13 + 3 = -h*n for n.
2
Let g(m) = -m - 8. Let s be g(-10). Let i(j) = 5*j. Let u be i(1). Suppose -u*y = -y. Solve y = -5*v + s + 23 for v.
5
Suppose -5*l + 10 = 40. Let i(q) = q**3 + 7*q**2 + 6*q + 2. Let m be i(l). Solve 3 = m*w - 1 for w.
2
Suppose 4*k - 5 = -3*y + 10, -25 = -5*y - 4*k. Suppose -y*n - 5*i - 5 = 0, n + 3*i - 5 = 5*i. Solve a + 2 = n for a.
-1
Suppose 0 = 5*y - 30 + 5. Solve 5*n = -0 - y for n.
-1
Let p = 1 - 0. Let d(f) = f**2 - 13*f + 10. Let w be d(13). Suppose -2*v + 0 + 6 = 4*i, 5*i = -5*v + w. Solve u - v = p for u.
2
Let c(u) = -u**3 + 11*u**2 - 9*u - 4. Let g be c(10). Solve g = 4*b - 2 for b.
2
Suppose -4*y - 32 = -4*n, 5*y + 22 + 0 = -n. Solve -v = -4 + n for v.
1
Let q be (-152)/(-56) + (-2)/(-7). Solve h = -q*h - 4 for h.
-1
Let u(v) = -v**3 + 4*v**2 + 5*v - 8. Let o be u(4). Suppose 0 = -2*j + 4*j - o. Solve j*y + 15 = 3*y for y.
-5
Let m = -52 - -35. Let v = m + 10. Let p = v + 8. Solve -2*l - 7 = -p for l.
-3
Suppose -4*i + 4*p + 36 = 0, 0 = 5*i + 5*p - 0*p - 95. Solve -5*x - i = 6 for x.
-4
Let o = 17 + -12. Suppose -32 = -o*w + w. Solve 0*f - 2*f = w for f.
-4
Suppose -5*g = -2 - 8. Suppose 0 = -l - g*l + 12. Solve 4*u = l - 0 for u.
1
Let u = -6 + 0. Let v be 3 + 2/(u/(-21)). Solve 3*g = 25 - v for g.
5
Let h = 134 + -131. Let y(m) = 9*m**2 - 4*m + 7. Let a(g) = -5*g**2 + 2*g - 4. Let r(t) = 7*a(t) + 4*y(t). Let d be r(h). Solve -d*b = -b - 8 for b.
4
Let p be ((-2)/4)/((-4)/80). Suppose 2*a + p = 7*a. Let y = 22 - 22. Solve -a*z - z = y for z.
0
Let n be 3/(9/15) - 1. Suppose n*z = -20, -7*c + 2*c + 40 = -4*z. Let a be (1 + -1)/(0 + 1). Solve -5*q + c*q = a for q.
0
Let h be (-67)/(-3) - 7/21. Let d = -13 + h. Solve d = -5*f + 34 for f.
5
Suppose 3*q = -3 + 9. Let s(f) = -2*f - 4. Let a(r) = -r + 3. Let y be a(6). Let v be s(y). Solve -q*c + 16 = v*c for c.
4
Let f = -3 - -6. Let l = f - 3. Solve l*o = -2*o for o.
0
Suppose 4*g - 36 = 2*b, b - 4 = g - 18. Let z = -6 - b. Solve -z*h = -19 - 1 for h.
5
Let w = -5 - -5. Solve w = 6*l - 2*l + 4 for l.
-1
Let a = -19 - -10. Let f = -2 - a. Solve 3*c = 2 + f for c.
3
Let d = 75 - 68. Solve 25 = -d*p + 2*p for p.
-5
Let y = 13 - 39. Let j = 39 + y. Suppose 2*w + 14 = 4*o, 4*w + 3*o - j = 3. Solve 0 = 2*q - q + w for q.
-1
Suppose 3*b + 6 = 5*b, i = b. Solve 0 = -i*t - t for t.
0
Suppose 3*q - 3*d = 9, -4*q - 3*d = -9 - 3. Suppose i + q = 3*o, i = -0*o + 2*o - 3. Let l be (-2)/7 + 60/14. Solve o = -0*r - l*r - 16 for r.
-4
Let p be ((-6)/(-4))/(4/(32/6)). Solve y + 15 = -p*y for y.
-5
Suppose -3*t + 4*v + v + 4 = 0, 2*t - 10 = -4*v. Suppose q = -t*q. Solve 5*a = -25 - q for a.
-5
Let n(r) = -r**2 + 7*r + 3. Let s be n(7). Suppose 2*g - 8 = g - 3*m, 2*m = -s*g + 17. Let w = -5 + g. Solve w = 2*i - 3*i - 1 for i.
-1
Suppose -2*n = 3*n - 10. Solve -2*s = n*s + 4 for s.
-1
Suppose 0 = a - 2*a - o + 1, 3*a = -5*o - 7. Let c(z) = -z - 3. Let g be c(-6). Solve 0 = -g*h + h - a for h.
-3
Suppose -3 = -5*v - 3*o, -5*o + 2 = 3*v - 3. Let y be 2 - v - (2 - 3). Solve a = y*a for a.
0
Suppose 2*l + 9 = 5*l. Solve 2*p - 7 - l = 0 for p.
5
Suppose -3*g = 6, g - 143 = -3*i + 140. Suppose -i = -3*x - 4*d, d - 20 = -x + 2*d. Let n(m) = m**3 + 6*m**2 + 2. Let z be n(-6). Solve -z*c - 3*c = x for c.
-5
Let l(q) = -7*q + 32. Let h be l(4). Solve 3*u - h = -1 for u.
1
Suppose 96*k - 100*k = -16. Solve 0 = k*m - 20 for m.
5
Let u(w) = w**3 - 6*w**2 + 5*w + 6. Suppose 2*j - 6*j + 20 = 0. Let k be u(j). Let c be -2*(-4)/k*3. Solve 8*a = c*a for a.
0
Suppose -2*s = 3*z - 45, 5*z = -3*s + 34 + 33. Let f be (14 + 1)*s/15. Suppose 2*b + x = -0*b + 15, 3*b - f = -2*x. Solve 1 = 5*k + b for k.
-1
Suppose 0 = -2*v - v. Let l = 3 - v. Solve 2 = -2*i + l*i for i.
2
Suppose 11*z = 12 + 21. Solve 0 = -2*a - 7 + z for a.
-2
Suppose 156 = w + 2*w. Suppose -z = 4*z - k + w, z + 14 = -k. Let i = 15 + z. Solve -i*m - m = -15 for m.
3
Let s(y) = -y - 2. Let k be s(-6). Let p = -2 + 0. Let h be p + (3 - 2)*13. Solve k + h = -3*f for f.
-5
Let n(r) = -r + 1. Let z be n(-1). Let k(a) = 2*a**3 + 121*a**2 + 57*a - 177. Let m be k(-60). Solve -z*p = -m*p - 3 for p.
-3
Suppose 0 = -2*m + 5 - 3. Let n(y) = -y**2 - 475 + 475 + y**3. Let c be n(m). Solve c = q - 2*q for q.
0
Suppose 3*v - 1 = 5. Solve 3*l - v = 13 for l.
5
Let k = 2 + 0. Let l(d) = -d - 4. Suppose 2*o + 4*w + 14 = 0, -o + 2*w - 1 = 6. Let x be l(o). Solve -s + k*s = x for s.
3
Suppose 3 = 3*j - 33. Let o(q) = q**2 - q - 5. Let t be o(0). Let r = j + t. Solve 0 = -r*b + 3*b - 20 for b.
-5
Suppose 0 = 3*i - 6 - 0. Solve -x = -i*x + 4 for x.
4
Let w(s) = -6*s + 56. Let z be w(9). Solve -3*m = -z*m - 2 for m.
2
Suppose -4*f = -5*f - 3*r - 18, 3*f + 34 = -4*r. Let q = f + 8. Solve 0 = q*n + 7 + 1 for n.
-4
Let b = -14 - -18. Solve 0 = b*h + 14 - 2 for h.
-3
Let j = -23 + 24. Solve 4 = t - j for t.
5
Let v(c) be the second derivative of c**4/3 + 2*c**3/3 + 2*c**2 + c. Let s be v(-3). Suppose 0 = 3*r + 5*y - 19, -r + y - 5 = -6. Solve -5*l = -s + r for l.
5
Suppose -4*z - 18 = -k, -3*k - 9 + 39 = -4*z. Let o be 40/k*(-12)/(-5). Solve -1 + o = -3*q for q.
-5
Let u be 0 + 249/15 - 28/(-70). Solve -4*q + u = 1 for q.
4
Let d = 4 - 2. Suppose -5*v = -27 + d. Solve v = 3*a + 2 for a.
1
Let g = 18 - 14. Solve 2 = g*c + 6 for c.
-1
Suppose 3*w = 5*o - 25, -w + 4*o + 13 - 33 = 0. Solve w = 3*i - 5 + 17 for i.
-4
Let r(a) = 1 - a - 3*a + a**3 + 3*a**2 - 3. Let j be r(-4). Let w be 2 + j - (-1 + 0). Solve g = -w - 3 for g.
-4
Let l(d) be the second derivative of 1/2*d**2 + 0 + d**4 + 1/6*d**3 + 2*d. Let k be l(-1). Solve 4*f + k = 32 for f.
5
Let d be -15*-4*(-4)/(-40). Suppose -4*g = -22 - d. Solve m - 2 + g = 0 for m.
-5
Suppose 0 = -5*d - 4*b - 19, 0*b = 2*d + 3*b + 9. Let i be 5*d/3*-1. Sol