*v/9. Let g be a/(-4) + (-258)/(-24). Solve 0 = 4*z + 2 + g for z.
-3
Suppose -5*g + g + 16 = 0. Let v be 5*(-3)/(-12)*g. Solve 0 = -3*b + 1 + v for b.
2
Let m(o) = -o**3 + 6*o**2 + o - 3. Let r be m(6). Suppose 3*u - r*n - 50 = 2*n, 3*n = -2*u + 46. Solve -3*s = -7*s + u for s.
5
Let t = -44 + 114. Suppose k + 4*k + t = 0. Let n = k + 30. Solve n = -z - 3*z for z.
-4
Suppose 5*g - 5 = -2*f, 4 = g - 5*g. Solve -f*b + 14 + 11 = 0 for b.
5
Let d(i) = -i + 10. Let o(f) = 12*f - 2. Let y be o(1). Let q be d(y). Solve -2*h = -q*h - 4 for h.
2
Let t = 6 - 4. Suppose 5*k + 0*i + t*i = 19, 0 = -5*k + 3*i + 34. Solve 4*v = -7 - k for v.
-3
Suppose 4*m + 3 = 11. Let q(h) = -h + 7. Let d be q(5). Let t = 1 + d. Solve -20 = m*o + t*o for o.
-4
Let n be 7/((-14)/4) + 6. Suppose -n*w + 5*w = 6. Solve 15 = -v + w*v for v.
3
Let j(d) = d + 8. Let k(n) be the second derivative of -n**4/12 - 5*n**3/6 + 4*n**2 - n. Let w be k(-7). Let z be j(w). Solve -z = 4*i + 2 for i.
-1
Suppose -4*f + 5*i = -4 + 2, -f + 4*i = 5. Solve -4*b = 1 + f for b.
-1
Suppose -6 = y - 2*y. Let t(o) = 2*o + 4. Let s be t(y). Solve 3*w = -w - s for w.
-4
Suppose 0*r - 2*r = -8. Suppose -5*q + 2 = -13. Suppose q*h = -3*v + 42, -33 = -2*h + 2*v + v. Solve r*t - h = t for t.
5
Let x(v) be the second derivative of -3*v**5/20 - v**4/6 + v**2/2 + v. Let i be x(-1). Let z be i/(2 + 15/(-9)). Solve -5*p - 9 = z for p.
-3
Suppose -k = 2*k - 24. Let o be (-31)/(-3) - (-1)/(-3). Let l = 15 - o. Solve k = l*c + 3 for c.
1
Suppose -2*k - 3*k + 25 = 4*i, 19 = 4*i - k. Let l be 2/(-4) + 5/2. Solve l*y = i*y - 12 for y.
4
Let k = -1 - -5. Suppose -k = 3*v - 5*v. Solve v + 3 = 5*h for h.
1
Let t be 26/6 + (-6)/(-9). Solve 0 = -t*w + 3 + 7 for w.
2
Suppose -5*h + h = -2*p - 6, 3*p + 4 = h. Solve h = 2*w + 3 for w.
-1
Let a = -26 + 30. Solve -5*f + 1 = -a for f.
1
Let a(r) = -r**2 + 11*r + 12. Let o be a(12). Solve 0 = 5*h - o*h for h.
0
Suppose -c - 4 = -7. Let u(n) = 2*n - 2. Let i be u(c). Solve -3*d = -i*d - 5 for d.
-5
Suppose 3 = 2*f - 7. Let g be (-732)/(-18)*(1 + -4). Let z be g/(-10) - (-2)/(-10). Solve f*c + 13 = -z for c.
-5
Suppose -3*h - 13 = a - 33, -44 = -3*a - 5*h. Let x = a + -5. Solve x*v - 1 = -13 for v.
-4
Suppose 2 = -5*h + 27. Solve 4*o + h + 11 = 0 for o.
-4
Let n = -116 + 118. Solve n*l + 0 = 4 for l.
2
Suppose 3*t = -0*y - 4*y + 10, 3*t = 6. Let m be (y - 1)/((-18)/9). Solve -5*g - 10 = -m*g for g.
-2
Let d be (-34)/8 + (-7)/(-28). Let a be (-377)/(-39) - d/(-6). Solve a = -0*c - 3*c for c.
-3
Suppose -4*k + 3*f = -9, 12 = 3*k + 2*f + 1. Solve b + 8 = -k*b for b.
-2
Let s = 0 - 0. Suppose s = -c + 6 - 1. Suppose 5*b = -3*j + 14, -2*b + c*b = 3*j + 18. Solve -4*k + 0 + b = 0 for k.
1
Let b = 116 - 111. Solve -16 - 9 = -b*q for q.
5
Let o(l) = l**3 - 8*l**2 + l + 6. Let j(y) = y**3 - 7*y**2 + y + 5. Let z(g) = 6*j(g) - 5*o(g). Let d be z(1). Solve -3*x + 7*x - 8 = d for x.
2
Suppose 2*m - 17 - 15 = 0. Let v = -53 - -56. Solve v*w = -w + m for w.
4
Let g(b) = 3*b + 24. Let w be g(-7). Solve -2*i - w = 3 for i.
-3
Suppose 0 = -z - 1, 0*l = l - 5*z - 9. Let b be 3/(-3) - 20/(-4). Suppose 0 = -2*f + b*f. Solve 2*o - 4 - l = f for o.
4
Let t be (-4)/(-8)*6 + 0. Suppose 0*j - 15 = -t*j. Solve -h + 6*h = -j for h.
-1
Let r be 1 - 8/(-3) - 2/(-6). Solve 0*p = -2*p + r for p.
2
Let n be (-20)/(-4)*(5 + -1). Solve -4*c = c + n for c.
-4
Let d(y) = y**2 - 5*y + 1. Let n be d(5). Suppose 4*p - n = -5. Let h be (5/(-3))/(p/3). Solve -2*o + o = h for o.
-5
Let k be (-31)/(-4) + 24/(-32). Suppose -4*o + 1 = -k. Solve -a = -3*a - o for a.
-1
Let q(a) = -a**3 + 10*a**2 + 13*a - 2. Let n = -17 + 28. Let b be q(n). Solve 3*h + b = 8*h for h.
4
Let n = -2 - -5. Solve 0 = 5*y - 7 - n for y.
2
Let p(z) = 5*z**2 + z. Let d be p(-1). Solve 0*r = -d*r for r.
0
Let f(r) = -r**2 + r + 2. Let m be (-18)/(-10) + 1/5. Let c = 2 - m. Let h be f(c). Solve 6 - h = 2*z for z.
2
Suppose 5*p = 4*i + 12, -5 = 4*p - 21. Let t be (0/(12/3))/i. Solve t = 3*v - v - 4 for v.
2
Suppose d - 11 = -2*j, 0 = -2*j + 7*j - 4*d - 60. Solve 0 = -6*v + 4*v - j for v.
-4
Let x be (-42)/(-4) + (-3)/6. Let p = -16 + 30. Let r = p - x. Solve -15 - 5 = -r*h for h.
5
Let w(m) = -m**3 + 7*m**2 - 7*m + 8. Let c be w(6). Solve c*z = -z + 15 for z.
5
Let r(s) = 2*s + 2. Let m be r(2). Let i be ((-44)/(-8))/(4/8). Let b = -8 + i. Solve 3 - m = -b*w for w.
1
Let x be (2/(-3))/((-2)/6). Let w = 1 + 0. Suppose 5*f + 5 + 6 = 4*o, 3*f + w = o. Solve o*t + 6 = x*t for t.
-3
Let c = -13 + 15. Solve c*k = 3*k + 5 for k.
-5
Suppose 36 = -2*z + 5*z. Let n = z + -3. Solve 4*b + 7 = -n for b.
-4
Let b = -4 + 4. Solve b = v + 1 for v.
-1
Let c be 4/(16/(-5))*-4. Solve -9 = -c*b + 1 for b.
2
Let j be (6/(-5))/(15/(-50)). Let s(i) = i - 1. Let p be s(j). Solve -5*z = 7 + p for z.
-2
Suppose 12 = 3*u - 5*n, 3*u - 12 = -2*n - 2*n. Solve -u*a - 9 = -a for a.
-3
Let l(i) = -i**2 + 4*i + 1. Let a be l(3). Let z be (-1)/(-3*2/30). Solve n - z = -a*n for n.
1
Let z be 0/(-2 + 3 - 0). Suppose 0 = 4*s + 5*r - 20, -4*s - 2 = -r - 22. Suppose -s*f + 0*h + 20 = 5*h, -2*h - 28 = -4*f. Solve -2*a = -z*a - f for a.
3
Let w be ((-8)/(-3))/(2/(-6)). Suppose 2*v = -12 + 2. Let z = v - w. Solve 0 = -z*d + 4*d for d.
0
Let s = 21 - 13. Let w(t) = -t**3 + 7*t**2 + 2*t - 8. Let h be w(7). Let o = s - h. Solve o*x + 5 = x for x.
-5
Let p be (0 + -2)/((-3)/9). Solve -3*z + p*z = 9 for z.
3
Let f = -1 + -1. Let u = f + 6. Solve -3*z + u = z for z.
1
Let o(c) = -c**2 + 7*c + 7. Let h be o(5). Suppose -5*z = -h + 2. Solve 0 = z*k - 2 - 1 for k.
1
Suppose -o = o + 8. Let b(c) = -c**2 - 4*c + 5. Let i be b(o). Let r(v) = 8*v - 3. Let k be r(1). Solve k = i*j - 0 for j.
1
Let x = 55 - 49. Solve 0*c - 3*c - x = 0 for c.
-2
Suppose 0 = -6*a + 8 + 10. Let s = 10 - 4. Solve -a*t = -5*t - s for t.
-3
Suppose 25 = -4*t - 11. Let x be -8 + 2 - 4 - 1. Let z = t - x. Solve -2*d - z*d = 4 for d.
-1
Let d be 39/6 - (-9)/6. Solve 2*c - 6*c = d for c.
-2
Let g = 21 + -15. Let o be 8/6 + g/9. Solve o*p - 5 = 3 for p.
4
Let k = -21 - -21. Solve k = -9*m + 4*m for m.
0
Suppose -j = -4*p + 3, -p - 4*j = p + 12. Solve p = 4*l - 0 + 4 for l.
-1
Let l = 117 - 81. Let s be (6 - 1) + (-2 - -1). Let r be l/15 + s/(-10). Solve -5*k - r = -17 for k.
3
Suppose 1 + 4 = k. Let i = -2 + k. Suppose -2*m = b - 5*m - 6, i*b + 5*m - 18 = 0. Solve b = -0*v - 2*v for v.
-3
Let s(k) = -2*k + 6. Let c be s(-7). Solve 7*q = 2*q + c for q.
4
Let h = -8 + 8. Solve k + h + 4 = 0 for k.
-4
Suppose 18*r - 6 = 15*r. Solve r*i - 2 = -4 for i.
-1
Let m be (-3)/2*(-16)/6. Let y = 8 + m. Suppose -y = -2*f - f. Solve -5*a + 1 = -f for a.
1
Let p = 2 + -2. Solve p = m - 2 - 1 for m.
3
Suppose -6*k = -11*k + 15. Let a be (1 + (-22)/6)*-3. Let n be (a/k)/((-6)/(-9)). Solve 0 = -2*q - n for q.
-2
Suppose v - 17 = -4*f, -5*v - 3*f - 39 = -10*v. Let k = v - 7. Solve 6 = 4*n + k for n.
1
Suppose 0 = 5*p - p - 52. Suppose v - 2*b + 7 = b, v + 2*b = p. Let i(a) = -a - 6. Let g be i(-6). Solve g*u - v*u - 10 = 0 for u.
-2
Suppose 0 = -5*l + 2*l - 12. Let n be 0/(l - (-2 + 0)). Suppose 5*o + 5 = n, -2*b + o = 4*o - 1. Solve 4*v + 10 = -b for v.
-3
Let t be ((-2)/8)/((-1)/12). Solve -2 = t*o - 2*o for o.
-2
Let n(c) = 2*c + 7. Let i be n(-5). Let b = 13 + i. Let x be (b/8)/(2/24). Solve -s - 4*s + x = 0 for s.
3
Let u = -25 + 33. Solve -3*v = -1 - u for v.
3
Let m(p) = -p**3 + 7*p**2 - 2*p - 23. Let f be m(6). Solve -z - 3 = f for z.
-4
Let p(c) = c**3 + c**2 - 9*c - 1. Let h be p(-3). Solve -h*t - 4 = -7*t for t.
-4
Suppose -5*q - 5*l - 5 = -4*q, -2*l - 4 = 0. Solve -2 = q*r + 8 for r.
-2
Let a be ((-65)/(-10))/(2/52). Suppose k - 53 = -5*d, 8*k = 3*k - d + a. Let t be 303/k + 4/(-22). Solve -4*h + t + 7 = 0 for h.
4
Suppose -4*l = 5*n - 35, l + 3*n + 6 = 4*l. Suppose -5 = l*j - 6*j. Let h(i) = i. Let m be h(j). Solve -3*f - m = -17 for f.
4
Let d(w) = -3*w - 21. Let s be (11 + -1)/(-11 - -10). Let b be d(s). Solve -b = 5*x - 4 for x.
-1
Suppose -3*x + 4*a = -a - 24, -3*x = 5*a - 54. Solve 3*t = x + 2 for t.
5
Let p = 19 + -11. Suppose -3*z + p*z = 20. Suppose -5*r + 20 = -0*r. Solve 4 + z = -r*d for d.
-2
Suppose -6 - 6 = -x. Let n = x - -16. Solve -5*l + 8 = n for l.
-4
Let v = 1 + 0. Solve 2*f + v + 3 = 0 for f.
-2
Let r(c) = 0*c**3 + 4*c**