 -f - h*p = 4*f - 31 for f.
5
Let b(s) = -s + 4*s**2 - 3*s - 1 - 2*s**2 + 3. Let x be b(2). Solve -4*g + 4*i = -12, x*i - 29 = 2*g + 7*i for g.
-2
Let c = 8 - 5. Let r be (-3)/6*6*(2 + -3). Let u = 0 - -1. Solve -r*x - t - u = 4, -5*x - 27 = -c*t for x.
-3
Suppose -5*f + 4*u = -96, -4*u - 22 = -2*f + 14. Suppose f - 56 = -4*t. Let s(z) = 4*z**3 + 2*z - 1. Let i be s(1). Solve -2 = -i*a - p + t, 2 = -a + 4*p for a.
2
Suppose 0 = h - 6*h + 40. Suppose -t = -32 + h. Solve 0 = -2*d - 4*o - t + 2, 2*o + 2 = 2*d for d.
-3
Suppose -9 = -5*m + 4*h, m - 2 = 2*h + 1. Solve 0 = -3*x + 3*r, -2*x - 3*r = -m + 26 for x.
-5
Let x(w) = 11*w + 1. Let i be x(1). Suppose 0 = 2*z + 2*z - i. Let a be (-7)/(14/(-20)) + -5. Solve -l = -2*h - z, 0 = a*h + 4*l - 2*l + 30 for h.
-4
Let d = -1 - -4. Let j = d + -3. Solve 0 = -4*b - j*i + 5*i - 40, -4*i - 4 = 4*b for b.
-5
Let x = -3 - -20. Let y = -9 + x. Suppose 11 = b - 20. Solve -g - y*c = -6*c + 1, 2*c = 5*g - b for g.
5
Let x(m) = -m**3 - 5*m**2 + 12*m - 9. Let z be x(-7). Solve 3*j = r - 2 - 5, j = 3*r - z for r.
1
Let x(j) = j**3 + 8*j**2 + 6*j - 8. Let z be x(-7). Let r be (z + -1)*(4 - 6). Solve 0 = l - 4*t + 11, t = -0*t + r for l.
5
Let c(h) be the third derivative of -h**5/60 - h**4/12 + 2*h**3/3 - 3*h**2. Let a be c(0). Solve 26 = -a*p - 5*g, 0 = p - 3*p - 3*g - 14 for p.
-4
Suppose -3*w = -5*f - 39, 0 = 4*f - 0*f + 12. Let y = w - 6. Suppose -y*k = -13 - 3. Solve 0 = r + 4 - 3, -2*r = -3*n + k for n.
2
Suppose -4 = 7*y - 18. Solve 2*z + 3*m - 5 = 0, 0 = z - y*m + 5 - 4 for z.
1
Let b(r) = r**3 - 4*r**2 + 2*r - 3. Let n be b(4). Suppose 4 = -n*y - 1. Let z = 3 + y. Solve 10 = -3*c - z*w - 5, 0 = 4*w + 12 for c.
-3
Let d(s) = -2*s + 40. Let p be d(17). Solve -5*r = -m + 19, -2*r - 4*m = -p*r - 28 for r.
-3
Let z be (-1 - 0)/(2/(-8)). Solve -4*h - 20 = 0, 4*i = i + z*h + 17 for i.
-1
Let s = 0 - -8. Let h = -6 + s. Let x be h - -1*(-1 + 11). Solve 3*t = 5*n + x, -7 = n - 5*t + 13 for n.
0
Suppose 3 = 2*n - 3. Suppose 2*z - n - 1 = 0. Let f = z + 1. Solve -p = 2*u + 6, -3*p - 2*u - f*u = 14 for p.
2
Let n be 3 + -1 + -10 + 10. Solve -3*d = n*f + 4 - 3, -1 = -f - 3*d for f.
-2
Let m = 6 - 2. Let s = -3 + m. Let b(l) = 5*l**2 + 2*l - 1. Let z be b(s). Solve z*j - j - 2*v = -11, -5*j - v = 2 for j.
-1
Let x = -2 + -1. Let u be (-3)/(-2)*(-4)/x. Solve -4*w - 21 - 9 = u*v, 0 = 5*w - 4*v + 5 for w.
-5
Let c(v) = v + 4. Let l be c(0). Solve 0 = -4*y + l*p + 24, -2*p = 4*y - 0*p for y.
2
Let t = -3 - -10. Let z = 9 - t. Solve z*x + v - 6 = -1, 2*v + 2 = -x for x.
4
Let o be (-3)/(-9) + 5/3. Suppose 5*y + 4*f = -4, 4*y - o*f = -6*f. Let r = y + 9. Solve 0*p + 4*x - 17 = r*p, -p + 2*x = 7 for p.
-1
Suppose -4*u + u + 3*g = -6, g = 5*u - 2. Suppose 3*t - 2*q + 2 = u, 0 = -2*t + 3*q + 2*q - 16. Solve -5*j - 4 = -i, 0 = t*i - 3*j - 0 - 1 for i.
-1
Suppose -5*g + 7 = -2*m - 7, 5*g - 4*m = 18. Solve 3 = -y - 2*c + 4*c, c - 3 = g*y for y.
-1
Let b(s) = 2 + 0 - s - 1. Let q be b(1). Suppose 0 = -q*w - w + 5. Solve -22 = o - 4*k - w, -11 = 3*o - 2*k for o.
-1
Let w(h) = 0*h + 10 - h - 3. Let a be w(-5). Suppose 0 = 4*n + 5*z + a, n - 4*z = -3*n + 24. Solve 2*y - n*p = 0, 2*p - 6*p = -2*y - 4 for y.
2
Let i(d) = -d**2 + 7*d - 4. Let j be i(6). Let b = 115 + -115. Solve -7*c = 4*k - 2*c - j, b = k - 4*c + 10 for k.
-2
Let h = 97 + -95. Let u = 1 + 1. Let c = 7 + -2. Solve h*b - g + u = g, 2*b + c*g = 12 for b.
1
Let b be 1/(-2)*60/(-10). Solve 4*w - b*u = u + 8, -4*w - 2*u = 16 for w.
-2
Let y be 2 + 0 + (1 - -2). Let v = -3 + 10. Let b(w) = -w**3 + 8*w**2 - 7*w + 4. Let o be b(v). Solve -5*k + k + o*i = -28, -y*k = -2*i - 20 for k.
2
Suppose -3*j + 10 = 2*v, 8*j - 3*j - 5 = -v. Solve -5*i + 20 = 5*r, -i + 2*i - 5 = j for r.
-1
Let z = 17 + -9. Solve z = -2*d - 2*h, 2*h + 3 = 3*d - 0*h for d.
-1
Suppose 0 = 3*l - 3*o - 12, 6*l + 3*o - 18 = 3*l. Suppose -l*m - 25 = -4*x, 2*x + 3 = 5*m + 18. Solve 3*c = 3*u - 9, x*c + 13 = -4*u - 11 for u.
-1
Let i be (-36)/(-15) + (-12)/30. Solve -11 - 4 = -v + 4*y, -18 = i*v + 4*y for v.
-1
Let j(k) = k**3 + 10*k**2 - 9*k + 23. Let z be j(-11). Solve 5*f - 5 = 3*q, -2*f - z = 2*q - 3 for q.
0
Let m = 25 + -23. Solve 2*c + m*s = -s + 5, -3*c = -5*s + 40 for c.
-5
Let f be (-6)/(-15) + (-6)/(-10). Let l = 1 + f. Solve -s - 4*q = l*s, -5*s - 14 = 2*q for s.
-4
Suppose 5*m + 25 = 0, -2*m = 2*i - 5*m - 25. Suppose 2*z = 4*v + i*z - 21, -16 = -3*v - 2*z. Solve -3*l + 37 - v = -4*u, 3*l - 15 = 0 for u.
-4
Suppose 5 = 3*x + 14. Let h be (-4)/(-30)*x*-5. Suppose h = y + y. Solve -q + 4*l - 1 = 0, 4*l - y - 3 = 0 for q.
3
Let f be ((-5)/2)/((-1)/2). Suppose 1 = 3*d - f. Let y be (-4 - -2)/(2/(-8)). Solve d*v - y = -2*v - 2*b, 12 = 5*v + 3*b for v.
0
Let y(i) = -i**3 + i + 18. Let m be y(0). Let n = m - 10. Solve -r - o = -0*o + 2, -n = -5*r + o for r.
1
Let w be 0*(2/(-1) + 1). Suppose 2*f - 2*d - 2 = 0, -2*f + 3*d = 2*f - 5. Suppose 4 + 6 = 5*p. Solve w = s - p*c - 12, 5*c - c = -f*s - 8 for s.
4
Let j = 144 + -124. Solve 0 = -4*y - j, 3*y = -m + 4*y + 2 for m.
-3
Let p(s) = 3*s - 3. Let d be p(7). Let t be (-2 - 22)/(-2 - -3). Let a be ((-11)/(-33))/((-2)/t). Solve -5*z + 11 + 14 = -5*c, 2*z = a*c + d for c.
-4
Let o be 24/9 + (-1)/(-3). Suppose -4*x = -2*n - 0*x - 12, 0 = 5*n - 2*x - 10. Solve -5*r - 12 = 4*s - 3*r, -12 = n*s + o*r for s.
-3
Suppose 3*o + 0*o = 3. Suppose 2*x - 2*r = -10, 3*x - 2*x + 8 = 2*r. Let c be (2*o)/(x/(-4)). Solve -4*l + c*z = 0, 5*z - z - 16 = 0 for l.
4
Suppose 4*s + 12 = -0*s. Let o(v) = 2*v**2 + 2*v - 2. Let f be o(s). Solve 0 = 2*u + 2*b + f, -3*b = 2*u + 2*u + 18 for u.
-3
Let g be 4 + -2 - (-3)/15*0. Solve 5*o + 2*r = -10, -g = o - 3*r - 0 for o.
-2
Let k(u) = -u**2 + 3*u - 2. Let c be k(2). Solve 0 = -5*a, c*a + 2 = 2*i - 2*a for i.
1
Let t = 27 + -23. Solve 16 = t*v, -2*w + 3*v - 3 = w for w.
3
Let p be (-35)/(-25) + (-2)/5. Suppose 2*i = -5*x + p + 11, 3*i = -4*x + 4. Let j be 1 + -3 - i*1. Solve l = -2*w - j*l - 2, -5*w + l = -29 for w.
5
Suppose n - 20 = -4*b + 13, 28 = 4*b - 4*n. Let l = 11 - b. Solve -4*o = -3*c - 35, 0 = l*o - 0*o - 15 for c.
-5
Suppose -7 = -4*d + 9. Let u(o) = 3*o - 3. Let v be u(2). Solve -q + 3 = s - v, -d*q + 10 = -3*s for q.
4
Let f = 52 - 23. Suppose 0 = 2*i - 4*i + 5*c + f, 0 = -2*c - 10. Solve -3*q - 2*b - 16 = 0, 2*q - i = 6*b - b for q.
-4
Let u be 18/(-4)*28/21. Let x = u + 6. Solve x = 2*f + c + 6, f + c = -3*c + 11 for f.
-5
Let z(f) = -3*f - 2. Let n be (-4)/14 + (-4)/(-14). Suppose -u + 2 - 4 = n. Let b be z(u). Solve -b*y + 5*s + 31 = 0, -3*s = -6*y + y + 29 for y.
4
Let c = 155 + -144. Solve -w - 8 = -4*d + 4*w, c = -5*d + w for d.
-3
Let f(j) = 2*j - 7. Let u be f(5). Let m(v) = v**3 + 9*v**2 - 2*v - 13. Let t be m(-9). Solve -4*o + 1 = u*z, 0 = t*z - 5*o + o - 23 for z.
3
Suppose 3*x = -4*d - 32, 10 = -3*d + 4*x - 14. Let r = 13 + d. Solve 0 = 4*p - v - 0*v + 13, -r*p - 2*v = 26 for p.
-4
Suppose -63 = -4*z - 3. Let x = 40 - z. Solve j - x = -4*v, 4*v + 0 - 5 = 3*j for v.
5
Let w be 6/(65/10 - 5). Solve 3*i + i = w*j - 24, -11 = -3*j - 4*i for j.
5
Let g(d) = -d**2 + 2*d - 1. Let h be g(1). Let q = -123 + 127. Solve h = -x + q, 0*x - 4 = 2*o - 2*x for o.
2
Let x(d) = -d - 2. Let f be x(-5). Solve -2*j + 3*h + 0 = f, 3*h = -3*j - 12 for j.
-3
Suppose 0 = -4*c + 4, -2*g - 2 = 5*c - 11. Suppose -2*l - 64 = g*l. Let k be (l/(-8))/((-2)/(-4)). Solve -4*z = 3*p - 2*z + 22, -4 = -k*p + 4*z for p.
-4
Let j be 10/55 + 106/22. Let y(l) = 2*l - 6. Let n be y(j). Solve 4*f = -4*h - 28, -h + 0*h + n*f = -3 for h.
-5
Let r(u) = u**2 + 10*u + 20. Let v be r(-8). Solve v*o = -h - h, 3*h = -5*o for o.
0
Let c = -27 - -52. Solve 5*h = c, -5*h + 0 = 5*b - 5 for b.
-4
Let m = -6 - -11. Suppose -u + 3*u - 6 = 0. Solve m*v + 2*l - 4 = 0, u*v = -2*v + 5*l - 10 for v.
0
Let v be ((-7)/(-1))/((-3)/(-3)). Suppose 11*y - v*y = 16. Solve 0 = 3*m + y*p + 4 + 1, -m - p - 1 = 0 for m.
1
Suppose -5 = w + 4*w. Let z(b) = -5*b**3 - b**2. Let m be z(w). Solve 5*p + c = -3 + 6, -5*p - 12 = -m*c for p.
0
Suppose 0 = b + 3*b - y - 30, b + 2*y = 12. Suppose 9*i - 5*i - b = 0. Suppose 8 = i*r, -7*r + 22 = 3*u - 3*r. Solve -3 = m - a, a - 3 = -u*m - 0 for m.
0
Let a be 7 + 1*(0 - 2). Solve -a*v + 3 = -h + 23, 3*h + 4*v = -16 for h.
0
Suppose 3*z - o = -3*o + 40,