 = -4*m + 10, -2 = 3*m - 5*m. Solve 3*f = j + 3 for f.
3
Let h be 6/((-14)/(-5) - 3). Let o = -43 - h. Let s(x) = x + 13. Let t be s(o). Solve t = -g + 6*g + 25 for g.
-5
Let u(w) = 5*w**2 + w - 1. Let t be u(1). Solve 10 = t*x + 25 for x.
-3
Suppose -6*k + 80 = -2*k. Suppose 4*p + 5*w - k = 0, p - 2*p = -4*w - 5. Suppose p*v = -5*z - 5, z - 20 = 6*z. Solve -2*r - v + 1 = 0 for r.
-1
Suppose -3*z + 5*u = -25, -3*z + z - 4*u = -46. Solve 4*h = h + z for h.
5
Let h = 40 - 26. Let p(m) = -2*m**3 + 0*m**2 + 2*m - 4*m - 2 - 3*m**2. Let n be p(-2). Solve n = -4*z - h for z.
-5
Suppose f - 5 = -5*i + 4, 0 = 5*f - i + 33. Let n = -12 - f. Let t = n + 10. Solve -t*y = y for y.
0
Let o(z) = -z**3 - 6*z**2 - 6*z + 1. Let k be o(-5). Solve 10 = 4*i - k for i.
4
Let m be (-1 - 8)*10/(-30). Solve -r + 4 = -m*r for r.
-2
Let p(w) = -w**3 + 3*w**2 - 4*w + 2. Let z be p(2). Let d be 0/(z - (1 - 5)). Suppose k = -u - u + 8, 3*k + 4*u - 20 = d. Solve -f = -2*f - k for f.
-4
Let a(z) = 7*z**3 + 7*z**2 + 12*z - 8. Let f(s) = 20*s**3 + 21*s**2 + 35*s - 24. Let y(j) = 17*a(j) - 6*f(j). Let m be y(-6). Solve 3*d = 2 - m for d.
-2
Let q(m) = -m**3 - 5*m**2 - m - 1. Let t be q(-5). Solve z = 3*z - t for z.
2
Suppose 4*c + 2*m = 22, 0*c = 2*c + 4*m - 8. Let h(n) = 14*n**2 + n. Let l be h(-1). Suppose l = -r + 4*a, 4*r - 2*r - 4*a + 10 = 0. Solve c - r = 3*q for q.
1
Suppose -3 = -5*d + 12. Solve -2*f = 3 + d for f.
-3
Suppose 0 = -2*q - 2*q + 12. Solve 0 = 5*m + 23 - q for m.
-4
Let t = 2 + -2. Suppose -2*g - 4*q + 6 = t, 0*g = 3*g + 5*q - 5. Let v(s) = s**3 + 4*s**2 - 6*s - 2. Let c be v(g). Solve -c*f = 8 + 7 for f.
-5
Let h be (-134)/(-26) + (-12)/78. Suppose h*t + 50 = 10*t. Solve -5*o = -0*o - t for o.
2
Suppose -4 - 12 = -8*h. Solve -h*n = -5*n + 9 for n.
3
Suppose -6*i + 16 = -2*i. Let m be ((-16)/10)/(i/(-10)). Suppose 3*w = m*w. Solve 0*h + 2*h = w for h.
0
Let w = -86 + 88. Solve -w*o + 3*o + 2 = 0 for o.
-2
Suppose l + i - 9 = 0, -3*l + 3 - 1 = -2*i. Let p(r) = -r**3 - 5*r**2 + 5*r - 5. Let v be p(-6). Solve l = q - v for q.
5
Let m = -121 - -126. Solve -m = 3*z + 1 for z.
-2
Let f = 1 + -1. Let q(m) be the third derivative of m**6/120 - m**5/60 + m**4/24 - m**3/6 - 2*m**2. Let i be q(1). Solve i = -f*u - u + 2 for u.
2
Suppose 4*o - 5 = -1. Suppose 0 = -z + o + 2. Suppose g + 5*w = -13 - z, -5*w = 4*g + 4. Solve 21 = g*p + 1 for p.
5
Let t(r) = -r. Let p(g) = -g**2 + 8*g + 9. Let l(k) = p(k) + 2*t(k). Let b be l(7). Solve 0 = -b*x - 0*x - 10 for x.
-5
Let y = 14 - 10. Suppose f = y*b - b - 1, 2*b = 4*f - 6. Solve -g + 0*g = -b for g.
1
Let v be (-3 - -4) + 1 + 12 + -4. Solve -t = -3*t - v for t.
-5
Let i(d) = d**3 + 7*d**2 - 8*d + 4. Suppose -2*g = 5*u + 42 - 6, -g - 6 = u. Let h be i(u). Solve h*n + 2 = -10 for n.
-3
Let i(r) = -r + 7. Let k(g) = -3*g - 5. Let p be k(-4). Let s be i(p). Solve s*c = -4*c - 8 for c.
-2
Let v be -2*(27/(-6) - -3). Suppose v*b = 5*m - 37, -3*m = -0*b - 3*b - 27. Solve 0 = -m*n + 23 - 3 for n.
4
Suppose -2*g + g - 2*r = -2, -r = -1. Let v = g - -5. Suppose -p - v*i = -12, 0 = 3*p - 0*i + 3*i - 12. Solve -2*q = p*q for q.
0
Suppose -5*w + 0 = -5. Let n be (-4)/(6/(-3)) + w. Solve n*j = -j - 12 for j.
-3
Let i = 19 - 7. Solve -3*o + 0*o = -i for o.
4
Let a = -9 + 21. Solve p - a = -2*p for p.
4
Let o be 0 - (3/1 + -3). Suppose -5*m + 6 - 1 = 0, 3*g + 4*m - 16 = o. Solve -g*z + 3 = -5 for z.
2
Let y(q) = -9*q - 1. Let s be y(-1). Let i = s - 5. Let m be 0 + 3*(2 - 1). Solve -6*b + m = -i*b for b.
1
Suppose -3*a + 2*r = -8*a - 68, 0 = -5*a - r - 64. Let b be (a/(-10))/(12/40). Solve -b*x = x + 20 for x.
-4
Suppose 0 = 3*m + 5*z + 26, 3*m - z = -0*z - 2. Let b = 5 + m. Suppose -b*g = -4*g + 2. Solve g*o + 4 = -2*o for o.
-1
Suppose 0 = -d - 3*n + 2, 0*n = 3*d + 3*n. Let h = d + 5. Suppose -5*b + b = 0. Solve b*w - h = 4*w for w.
-1
Let j be (-2)/4 - (-5)/2. Let o = -41 - -46. Solve 3 = j*n - o*n for n.
-1
Let n be (-6)/(12/6 - (-16)/(-6)). Solve r + n = -2*r for r.
-3
Let o(p) = -2*p - 6. Let m be o(-8). Solve -6*j - m = -j for j.
-2
Let g be 6 - 2/(-1 - -3). Suppose -g*d = -3*i - 26, 5*d = 5*i + 17 + 13. Solve x = -x - d for x.
-2
Let b be ((-3)/(-9))/(2/12). Suppose 5 = -b*f - n, 30 = f - 4*n + 10. Let g be 4 - -3 - (f + 2). Solve p - 10 = -g for p.
5
Let z be 10 - (0 - 2)*-1. Let g(h) = h - 8. Let r be g(z). Solve -4*b + r = -12 for b.
3
Let c be ((-2)/1)/1 + 2. Suppose c = x + 5*o + 10, 2*o - 4 = 3*o. Solve 8*u - 3*u = x for u.
2
Suppose 5*q = 2*q + 9. Suppose -24 = -0*i + 4*i. Let x be 5/3 + i/9. Solve -s + x = -q for s.
4
Suppose 3*k = 4*k - 4. Suppose 3*b = -k*d + 6, 2*b + d - 5 = -1. Solve -2*l - b*l = 0 for l.
0
Let h = -7 - 2. Let u = h + 19. Solve -g - u = g for g.
-5
Let l(o) = -2*o - 6. Let y be 6/(-2 - 15/(-12)). Let j be l(y). Suppose 3*s - 2*t + 7*t - 23 = 0, 5*t + j = 0. Solve -2*d - 1 = -s for d.
5
Suppose -8*f - 1 = -17. Solve 0*m + f = -2*m for m.
-1
Let k(v) be the first derivative of -v**2/2 + 14*v + 6. Let o be k(12). Solve 0 = 6*t - o*t - 4 for t.
1
Let c(y) = 4 + 4 - 4 - y. Suppose -w = 4*w - 5, -2*m = 5*w - 13. Let t be c(m). Solve t = -5*k - 3 + 8 for k.
1
Suppose -2*t = 2*a - 8, -4*t + 4*a = -t - 5. Suppose 3*r + 0*g + 2*g + 2 = 0, t*g = -4*r - 4. Solve m = -r*m - 15 for m.
-5
Let r = -5 - -7. Let b(w) be the first derivative of w**3/3 - w**2 + 3*w + 2. Let z be b(r). Solve 0*m = z*m for m.
0
Let s(n) = n**2 - 7*n - 12. Let p(u) = -u**2 + 6*u + 11. Let t(x) = -5*p(x) - 4*s(x). Let d be t(5). Solve 4*w + 0 = -d for w.
-2
Let d = 163 + -162. Solve 3 = 4*g - d for g.
1
Let v(u) be the first derivative of u**2/2 + 6*u - 15. Let g be 6 - 0/(2/(-2)). Let o be v(g). Solve -h = 3*h + o for h.
-3
Let i(t) = -6*t + 36. Let m be i(6). Solve -2*o + m - 4 = 0 for o.
-2
Let g(b) = -b**2 + 8*b - 5. Let u be g(7). Let q be 1*(1 - (-9 + u)). Let p be (q/16)/(2/8). Solve y = 2*y - p for y.
2
Let r be 2/(-4)*(-2 - 8). Suppose -3*t - 1 + r = 5*a, 2 = -t. Suppose 4*n + n = 25. Solve 3*u + a*u = n for u.
1
Suppose 3*v - 4*y = 18, 0 + 11 = v - 3*y. Let d(u) = -1 + 4 + 0*u**3 + 0*u**2 - u**3 + 3*u**v. Let z be d(3). Solve -w + 2 = -z for w.
5
Let g(u) = -u + 7. Suppose l + 2*l = 9. Let y be g(l). Let o be (0 - 2)*(-18)/12. Solve o*q = -y + 1 for q.
-1
Let f be -4*1/(-4)*2. Solve -3 - 1 = f*d for d.
-2
Suppose -116 - 9 = -5*h. Solve 0 = -0*j + 5*j - h for j.
5
Let z be -30 + 7 + (-2)/2. Let m be -5*(1 + z/15). Solve -2*b = m*b for b.
0
Let y(w) be the first derivative of -w**3/3 - 5*w**2 + 5*w - 2. Let v be y(-10). Solve 3*p + v = -2*p for p.
-1
Let d = 6 - 12. Let h = d + 8. Suppose h*f - 3*n - 12 = -5*n, -4*n + 9 = -f. Solve -a = -f*a for a.
0
Suppose -d = i - 9, -6*d + 10*d - 27 = -3*i. Solve -4*g + 1 = i for g.
-2
Let s be 4/(-22) - (-277)/11. Suppose 4*d - 13 - 27 = 0. Suppose 4*f - 14 = d. Solve -f*i + i + s = 0 for i.
5
Suppose 5*g + n - 25 = 6*n, 0 = -4*g - 3*n - 15. Suppose 26 = 3*b - 5*u - 0*u, -b + u + 6 = g. Solve 2 = -4*p - b for p.
-1
Suppose 0 = -5*s - r + 9, 2*s - 1 = -2*r - r. Let d = 15 + -10. Suppose -d*f = -s*f. Solve 1 = -f*a - a for a.
-1
Let s = -2 - -9. Let o = s - 2. Solve -19 - 6 = o*u for u.
-5
Let p(n) = 6*n - 4. Let j(x) = -7*x + 5. Let h(b) = -5*j(b) - 6*p(b). Let a be h(-3). Let d = 14 - -1. Solve 0 = a*c + c + d for c.
-5
Let y = 34 - 22. Let j = y + -10. Solve -4*z = -2*z - j for z.
1
Let z(r) = -r**3 - 2*r**2 + 2*r + 2. Let k be z(-3). Suppose 0*v - v - h - k = 0, -20 = -2*v + 4*h. Let m be (v - 1)/(2/(-6)). Solve 2*d - 13 + m = 0 for d.
5
Suppose 5*z = -0*a + 5*a + 50, 2*a - 70 = -4*z. Let f = -13 + z. Solve 0*u + 10 = -f*u for u.
-5
Let l(q) = q**3 - q**2 + 2*q + 2. Let t be l(0). Solve -8 = -t*f - 2*f for f.
2
Suppose 26 = 5*o - 0*o + 4*y, 0 = 4*o - 2*y. Solve 0*u = o*u for u.
0
Let h be ((-3)/6)/((-1)/10*1). Solve -12 = -2*w + h*w for w.
-4
Let b be ((-15)/(-60))/((1/(-8))/(-1)). Solve b*d + 6 = 14 for d.
4
Let g(w) = w**3 - 14*w**2 + 13*w + 2. Let f be g(13). Solve s + f*s = 12 for s.
4
Let x = -22 + 12. Let t be 2/x + 21/5. Solve -t - 4 = -2*j for j.
4
Let d(j) = j + 11. Let r be d(-5). Let o be 2/(-10) - (-76)/(-20). Let x = 0 - o. Solve x*z - z + r = 0 for z.
-2
Let y = 5 + 10. Let q be ((-8)/6)/(5/30). Let z = y + q. Solve 0 = -2*r - z + 1 for r.
-3
Let t = -27 - -30. Solve 0 = -3*z 