5*u - 0*c + 10, -5*u = -3*c - 30. Solve 0 = 2*h - 5*h - u for h.
-1
Let m(g) = g**3 + 3*g**2 + 4*g + 2. Let q be m(-2). Let p = q - -4. Solve p*a = a - 3 for a.
-3
Let z(r) = -5*r**3 - r**2 - r - 1. Let y be z(-1). Suppose k = y*m - 13, 0 = 3*k - 6*k - 2*m + 17. Solve 1 = 4*u - k for u.
1
Let u = 129 + -124. Solve -3 - 12 = -u*l for l.
3
Let n(j) = j**3 - 6*j**2 + 5*j - 4. Let m be n(4). Let l = m - -22. Solve -h - l = h for h.
-3
Let v(z) = -z**2 - 1. Let o(m) = 7*m**2 - 7*m + 5. Let f(w) = -o(w) - 6*v(w). Let c be f(7). Solve x + 4 + c = 0 for x.
-5
Let a be (-86)/11 + (-2)/11. Let g = 14 + a. Solve 2*h = g*h for h.
0
Let s be (-102)/(-27) - 4/(-18). Solve -7*n - 9 = -s*n for n.
-3
Let r be 1 + 6*3/6. Solve 7*u = r*u - 9 for u.
-3
Let m(l) = -l**2 - 5*l - 4. Let c be m(-3). Suppose -3*z + 48 = 6. Suppose 6 = 3*p - 5*k - z, p = -k - 4. Solve -c*b - 8 = -p*b for b.
-4
Let q be 1 + (1 - 5) - -3. Solve q*u - 2 = 2*u for u.
-1
Suppose 7*m - 137 = 3*m + 5*i, -6 = -2*i. Suppose 3*s + 2 = m. Solve 0*a = 4*a - s for a.
3
Let o(r) = 3*r + 2. Let l be o(-7). Let j = l + 11. Let w = -3 - j. Solve -4*u - 3 = w for u.
-2
Let u(b) = 2*b. Let y be u(4). Let h be ((-3)/(-2))/(12/32). Solve -2*o - y = -h for o.
-2
Let r be 0/(-1) - (4 - -5). Let d be (-1 - r/(-6))*-2. Suppose 0*p = d*p. Solve p = 4*k - 3*k for k.
0
Let k = -119 - -123. Suppose 2*j + 4 = 8. Solve -2*z - k = j*z for z.
-1
Let t(r) = -6*r + 8. Let k be t(6). Let m be (-6)/(-2) - k/2. Solve m - 2 = -3*a for a.
-5
Let j = -7 - -9. Let p be (j/3)/((-4)/(-48)). Solve -p + 0 = 2*k for k.
-4
Suppose 46 = 3*k - 2*i, -k - 2*k = -4*i - 56. Solve -2*g = k - 4 for g.
-4
Suppose 0*m - 3*m - 2*d = 5, m + 2*d = 1. Let s be (-40)/(-4) + m + 1. Let q(w) = w - 3. Let c be q(5). Solve -2*x - c = s for x.
-5
Let t = 6 - -8. Let o(q) = q**3 + 8*q**2 + 8*q + 9. Let b be o(-7). Suppose t = 2*d - b*j, 2*d + 3*d - 2*j - 26 = 0. Solve -r - d*r = 5 for r.
-1
Let o(y) = -y**2 + 6*y + 28. Let i be o(9). Solve -i = r - 5 for r.
4
Let x(v) = -v**3 - 6*v**2 - 8*v - 9. Let g be x(-5). Solve 3*p = g*p - 15 for p.
5
Let j(d) be the first derivative of d**4/4 + 3*d**3 + 4*d**2 + 2. Let n be j(-8). Suppose n*s - 3*s - 6 = 0, -2*s = -4*m + 20. Solve -m*u = -7*u for u.
0
Suppose -4*v = -15 + 3. Solve -b = v*b for b.
0
Let a = 4 - -2. Solve -3*z + a*z + 12 = 0 for z.
-4
Suppose -h - 1 = -4*w, w + 21 = -6*h + 2*h. Let r be 2 - 0 - (w - -2). Suppose -11*k - 4 = -12*k. Solve -r - k = -5*o for o.
1
Suppose 5*i = -3*q - 20, 4*q + 0 + 12 = -3*i. Solve 0 = -q*b + b for b.
0
Let k = 34 + -10. Solve -5*u + k = 4 for u.
4
Let s = 0 - 0. Suppose s = 2*f + 3 - 7. Solve -o = -f*o for o.
0
Suppose 0*w = 4*w - 4. Let g = 5 - w. Solve 0 = -g*r - 8 - 12 for r.
-5
Suppose 20*i = 16*i + 4. Solve 0 - i = m for m.
-1
Let y(z) = -z**2 - 3*z + 2. Let a be y(-4). Suppose 58 = 3*c - 4*q, -c = -4*q - 18 - 12. Let u = c - a. Solve 0 = -5*j + j - u for j.
-4
Suppose -15 + 0 = -4*h + 5*s, -s - 3 = 0. Solve h = 2*a - 7 + 3 for a.
2
Let j(r) = r**3 + 7*r**2 + 7*r + 9. Let z be j(-6). Suppose 0 = z*s - 3*x - 24, -3*x + 7 = 4*s - 4. Solve 0 = s*p - p for p.
0
Let h be (5/(-2))/((-7)/14). Let o = 5 - h. Solve x + o*x = 0 for x.
0
Let c(w) = 16*w - 1. Let q be c(3). Suppose 0 = -5*n + q + 8. Suppose 1 + n = 3*z. Solve t + z = 3*t for t.
2
Let g be (-2)/3 - 12/(-18). Let w(i) = i**3 + 5*i**2 - 9*i - 3. Let d be w(-6). Suppose n = -2*n + 9. Solve -n*s + d = -g*s for s.
5
Let z be 2/(0 - 10) - (-2)/10. Solve 2*a + z*a + 4 = 0 for a.
-2
Suppose -2*h - 6 = -2. Let g be 29/2 - h/4. Suppose 2*w - 3 = 7. Solve 5 = -w*k + g for k.
2
Suppose y - 3*b - 22 = -3, 3*y + 2*b = 79. Solve -s - 4*s + y = 0 for s.
5
Let g be 2/(-11) + (195/33)/5. Solve -1 = d + g for d.
-2
Suppose 0 = -3*q - k + 8, 5*q = -4*k + 6*k + 6. Let z(m) = -2*m**3 - m**2 + 1. Let p be z(-1). Solve -a - p = q for a.
-4
Let k = 23 + -7. Let s = k + -12. Solve 0 = s*t + 19 + 1 for t.
-5
Suppose 43 = 4*t + 23. Solve -3*u = -4 - t for u.
3
Suppose h + 0 - 5 = 0. Suppose -105 = -0*r - h*r. Suppose -3*v - 6 + r = 0. Solve 2 + 3 = -v*n for n.
-1
Let m be -2 - -3 - -25 - 1. Suppose -m = -5*b - 2*l, -2*b + 3*l = 2*b - 20. Suppose 0 = -0*r - b*r. Solve r = -3*f - 1 - 2 for f.
-1
Let h = -5 - -8. Let g = h - 3. Solve g = 2*r - 10 for r.
5
Suppose -5*v = -v - 8. Solve 4*k = -10 + v for k.
-2
Let z = 8 + -8. Solve i + i - 6 = z for i.
3
Let r(y) = -y + 11. Suppose -28 = -4*x - 2*d, 0*x - 4*x + 5*d = -56. Let t be r(x). Solve t*p - 3*p - 5 = 0 for p.
-5
Let p(c) = 7*c - 25. Let r(x) = 11*x - 38. Let h(f) = -8*p(f) + 5*r(f). Let k be h(8). Let o be k - 0 - -10*1. Solve -2*g = g + o for g.
-4
Suppose -v + 8 = 2. Solve 2*n + v - 16 = 0 for n.
5
Let c be (-8 - -12) + -1*1. Suppose 0 = -c*b - 0 + 9. Solve -b*j = -j - 8 for j.
4
Suppose -4 - 24 = 4*c. Let d = 12 + c. Solve d*l + 1 = -4 for l.
-1
Suppose 4*z = 3*t - 228, -2*t + 2*z = -0*t - 150. Let p be ((-2)/6)/((-3)/t). Let q = 2 + 3. Solve q*g = 3*g - p for g.
-4
Let b(f) = 3*f - 19. Let h be b(7). Solve 5 = h*i - i for i.
5
Let l(a) = -a**2 - 8*a - 10. Let q be l(-4). Solve -15 = 3*i - q*i for i.
5
Let z(a) = a**2 + 1. Let s be z(-2). Let i(r) = -9*r + 5. Let h be i(-5). Let m = 74 - h. Solve m - 4 = s*y for y.
4
Let l(b) = -b - 1. Let f be l(-1). Let q = f + 0. Solve -5*a + 0*a = q for a.
0
Suppose 3*y + y - t = 12, -12 = 3*t. Suppose -y*x + 5*x = 9. Solve x*l + 2*l - 15 = 0 for l.
3
Let g = 10 - 8. Suppose 0*l + 2 = -3*l - m, -2*m - 12 = -g*l. Solve 0 = -s - 0 - l for s.
-1
Let i be -3 - 1*(0 - -1). Let g = i - -7. Suppose -5*q + 23 = -l, -2*q + g = 4*l - 15. Solve o + 4*o - q = 0 for o.
1
Let c(t) be the second derivative of t**4/12 - t**3 + t**2 + 6*t. Suppose p + o = 2, 5*o = -5*p + o + 14. Let a be c(p). Solve 0 = -4*y + 6 + a for y.
2
Let r be (8 - 3) + (1 - -1). Suppose z = 3 + r. Let h(c) = c**2 - 5*c - 1. Let g be h(6). Solve 0*u - z = -g*u for u.
2
Let m(v) = -3*v - 15. Let n be m(-6). Solve -2 - n = -w for w.
5
Let p(q) be the first derivative of -q**2/2 + 3*q - 7. Let s be p(-2). Solve u = 6*u + s for u.
-1
Suppose 2*a - 33 = 3*w, 3*a - w = -0*a + 39. Let t = -7 + a. Solve 0 = -k + t*k + 16 for k.
-4
Let v be (1/(-2))/(2/4). Let x be (0/v)/(-4 - -5). Let r be 0 + x + (1 - 1). Solve r*f = 5*f - 25 for f.
5
Suppose -19*g + 17*g = 0. Solve -s + 4*s - 6 = g for s.
2
Let w(p) = p**2 + 1. Let s(z) = z**3 + z**2 + 3*z - 2. Let q(m) = -s(m) - 2*w(m). Let t be q(-2). Solve i - t = 3 for i.
5
Let t = -62 - -65. Solve 0*i - 6 = -t*i for i.
2
Let v(l) = -2*l + 15. Let h be v(7). Solve 4*r - h = 3 for r.
1
Let s be ((-1)/(-3))/(2/6). Let x be (s - -1)*(2 + 0). Suppose -10 = -x*c + 2. Solve -c*m + 5 = -7 for m.
4
Let l(t) = -3*t - 13. Let z be l(-11). Solve 3*r + z = -2*r for r.
-4
Let q(r) = -r**2 + 4*r - 1. Let t be q(5). Let f(j) = -j**3 - 6*j**2 + j + 7. Let v be f(t). Let h(l) = 11*l**2 - 1. Let y be h(v). Solve -5*u - 5 = -y*u for u.
1
Suppose 3*a - 5*j = -3, 17 = 4*j + 5. Solve 4*g = -20 + a for g.
-4
Suppose 2*n = -4*j + 46, j - 2*n = 3*j - 24. Let g = j + -9. Solve -g*f - 1 = -7 for f.
3
Let w(c) = -c - 8. Let p be w(-11). Let l = 6 - p. Solve 0 = -2*j + l*j - 3 for j.
3
Let k be (44/(-33))/(4/(-6)). Suppose -3*z + 4*u + 16 = -u, u = -k*z + 2. Solve -z - 2 = -2*g for g.
2
Let j(z) = 4*z**2 - z. Let p be j(-1). Let k = -8 - -6. Let b = k + p. Solve 12 - b = 3*m for m.
3
Let d = -12 - -12. Solve 3*f + f + 16 = d for f.
-4
Let m(u) = -5*u + 4. Let s(f) = 14*f - 11. Let l(v) = -11*m(v) - 4*s(v). Let o be l(-5). Solve o - 2 = -p for p.
-3
Let d be (-8)/(-3)*6/4. Suppose m + 3 + 9 = 5*j, d*m - 24 = -4*j. Solve 4*q = -j + 15 for q.
3
Suppose 5*j - 5 - 20 = 5*a, 0 = -2*j - 4*a + 28. Solve -15 = -j*k + 3*k for k.
3
Let x(c) = -c + 8. Suppose 0 = -7*v + 2*v. Let z be x(v). Let a be (-2)/4 + 132/z. Solve -2*n = -6*n + a for n.
4
Let o(m) = 5*m + 60. Let u be o(-11). Solve 8 - u = s for s.
3
Suppose q + 4*q = a - 6, -2*q - 30 = -5*a. Let y be a/2 - (-1 - -3). Let u be (-3*3/(-9))/y. Solve -u = 2*c - c for c.
-1
Let s(x) = -2*x - 7. Let v be s(-5). Let l = v + 5. Let q = -6 + l. Solve q*o - 5 = o for o.
5
Let y = -52 - -54. Solve -5 - 1 = y*a for a.
-3
Suppose 1 = -u + 7. Suppose 0 = -u*t + 3*t - 15. Let f be -2 - t - (-9)/(-3). Solve 2*z - 10 = -f*z for z.
5
Suppose -4*m = -2*l