 = f + 5. Let v be m(-5). Let q be (v + 4)*(-3)/(-4). Solve -5*p + 20 = -h - q*h, -d*h - 10 = -2*p for h.
-5
Let x = 23 + -19. Solve -c - 3*r = 3, 0*c - 4 = -4*c - x*r for c.
3
Let l(g) = -g**3 + 6*g**2 + 18*g + 4. Let d be l(8). Solve 5 = v + o + 2*o, 4*v - d = o for v.
5
Let b be 1/(-2) - 14/(-28). Let z(n) = n**2 - 2*n + 1. Let h be z(2). Let u be (-6)/(-4)*(h - -1). Solve b = -2*s + u*w + 20, 3*s = 2*w + 32 - 12 for s.
4
Let f = 121 + -19. Let x be ((-6)/(-18))/(2/f). Solve -3*r - 2*u = 0, 3*r - 2*r - x = 5*u for r.
2
Let m(o) = o**2 - o + 4. Let x be m(0). Let y = -8 + 11. Solve 3*a - y = -x*u, -u + 1 = -a + 9 for u.
-3
Let d(u) be the third derivative of -7*u**5/12 - u**4/24 + 2*u**2. Let x be d(1). Let f be x/(-16) + 2/(-8). Solve f*t = -2*t + c - 8, -25 = 5*t - 5*c for t.
-1
Suppose -7 = -2*c + 1, -5*c + 4 = -4*t. Solve 4*u + 6 - 1 = -3*q, 0 = t*q + 4*u + 8 for q.
-3
Let n be ((-7)/(7/4))/(-2). Solve n*s + 4*v = 4, 4*s + 3*v = 6*v + 8 for s.
2
Suppose 2*d = -2*g + 178 + 6, 2*g - 3*d - 184 = 0. Suppose 0*b = 4*b - g. Solve 0 = c - 3*c + 8, 0 = 3*t - 2*c + b for t.
-5
Suppose -103*b + 100*b = -6. Solve 0*h - b*a - 7 = -5*h, 3 = -3*h + 3*a for h.
3
Let n(l) = l**3 + l**2. Let h(i) = -7*i**3 + 4*i**2 - 10*i. Let b(r) = -h(r) - 6*n(r). Let d be b(9). Solve 0 = -4*w, w - d = 3*t - 0*w for t.
-3
Suppose c + 40 = 5*c. Suppose 2*s - s = c. Suppose -4*q + 4*n + 32 = 0, 0 = -2*q - 3*q + n + 24. Solve -y - 5*i + q*i = 6, -i = 2*y + s for y.
-4
Let f = -27 + 27. Suppose 0 = 3*s + q - 32, 2*s + 3*s - 54 = -2*q. Solve -4*k + 5*g + 45 = f, -4*k + 0*k + s = 2*g for k.
5
Suppose -4*y + 5*n = -16, 5*y = 2*n + 3*n + 20. Solve -1 = y*k - 3*u, -6*u + 2*u = -k + 16 for k.
-4
Suppose 2*c - 2 = 8. Solve w - 3*x + 5 = 0, -3*x + 1 + 12 = -c*w for w.
-2
Let g(d) be the first derivative of 4*d**2 - 9*d - 1 + 1/3*d**3. Let j be g(-9). Solve 3*m - 5*r = -j*r + 3, 5*r = 5*m + 5 for m.
-4
Suppose -3*n + 35 = -6*h + 2*h, 0 = -n - 4*h + 1. Suppose -4*f + n = 1. Solve 0 = f*o - 5*x + 2, o + 2*o - 3*x - 6 = 0 for o.
4
Suppose -3 + 13 = 2*o - a, 2*o - 2*a = 14. Let f(k) = 0 + k + 6 - 3. Let t be f(o). Solve -4*x = 2*v - t, 0 = x + x + 2*v for x.
3
Let v = -7 - -12. Solve j - v*y = -7, 4*y - 2 + 0 = -j for j.
-2
Let k = 115 + -110. Solve 25 = k*j - q, -4*q = -5*j + j + 20 for j.
5
Suppose -7*m = -5*m - 10. Solve 0 = 4*z + m*w - 11, 2*z + w + 0*w = 1 for z.
-1
Let y be (-12)/(-2 + 0) - 1. Let i be 24/(-30)*10/(-4). Suppose -i*k + 6 = 0, g + 0*g + 11 = 4*k. Solve y*z = -x, x + 3 = -3*z + g for x.
-5
Let j be 72/15 - (-3)/15. Suppose 5*z - 1 = -6, 3*i - j*z - 14 = 0. Solve 0 = -d - d - y + i, -4*d + 2 = -2*y for d.
1
Suppose 8*u - 2 = 6*u. Solve 5*r - 3 = -x, 2*r - u = -2*x - 3 for x.
-2
Let s(h) = 5*h**2 - 3*h + 2. Let d be s(2). Solve -4*l + 0*a + a = -d, 5*l = -2*a + 7 for l.
3
Let s be 0/(4/(-6)*6/4). Solve s*a + 5*a = -3*t, 5*a = t for t.
0
Let z(r) be the first derivative of -r**2/2 - 3*r + 2. Let t be z(-10). Suppose -4*o + 45 + t = 0. Solve -p + 0*p + 7 = -y, 3*y + o = -p for y.
-5
Let x = 267 + -91. Let v be x/18 + (-2)/(-9). Solve 3*c - 2*l + 7*l = -v, 3*c - 20 = l for c.
5
Let w(l) = -l**3 + 6*l**2 - 5*l + 4. Let f be w(5). Solve -2*r + 4*j + 2 = 0, 0 = f*r - 3*j - 2*j + 2 for r.
-3
Suppose 2 = 2*v + k, -6*v - k + 5 = -3*v. Solve -5*c - 23 = 6*a - 4*a, -15 = v*a + c for a.
-4
Let h(f) = -f**3 - 2*f**2 + 2*f - 1. Let c be h(-3). Let p be 6 - c/((-4)/(-2)). Solve -n - 4 = a, 2*n - 6*n - p*a - 18 = 0 for n.
-2
Let t(j) = j + 1. Let r be t(3). Solve -3*d - 2 = 3*m - r*m, 5*m + 14 = 3*d for m.
-4
Let a(f) = 5*f**2 + f - 1. Let k be a(1). Suppose -u = u - 2*x - 6, 5*x = u - 3. Solve 15 = u*g - 3*d, g + 8*d - 4*d = k for g.
5
Suppose -4*w - w + f = -70, -10 = w - 5*f. Solve -i - 2*i - 3*a - w = 0, 2*a + 4 = 0 for i.
-3
Suppose -11 = -5*o + 3*g + 17, 4*o - 19 = -g. Solve -3*r - 5*q - 20 = 0, 3*r + 4*q + 16 = o*r for r.
0
Let s = 25 - 48. Let j = s - -32. Solve 0 = 6*l - 2*l + 4*q - 16, 3*l - 4*q + j = 0 for l.
1
Let y be (-852)/(-33) + 10/55. Let i = -3 - -5. Let c be ((-5)/i)/((-2)/4). Solve -31 - 2 = c*m - 2*t, y = -2*m + 4*t for m.
-5
Let n be 6/24 + (-19)/(-4). Solve 2*q + 6 = 2*o + 3*q, 0 = 5*o - n*q + 15 for o.
1
Let f be (-124)/(-21) - (-16)/168. Solve 2 = -y - v - f, v + 20 = -4*y for y.
-4
Let f = -4 + 9. Let k = 9 - 5. Let a = 8 - k. Solve -2*i + f*i + 2*o = -2, -2*o + 26 = -a*i for i.
-4
Let u(m) = -m**3 - 9*m**2 + 11*m + 10. Let t be u(-10). Suppose -2*l - l + 36 = t. Solve 3*i + 4*a + 12 = -0*a, 3*i - 4*a = -l for i.
-4
Let s(h) = h + 4. Let t be s(0). Suppose -4*x + 100 = 5*y, -x - 2*y + t*y + 12 = 0. Solve 5*p - p - 3*u = -11, 4*u - x = 0 for p.
1
Let v be (-13 - -1)*(-21)/(-28). Let o be 21 - v/(-3) - -2. Solve -4*g = -0*w - w - o, 5*g = -5*w + 25 for w.
0
Let w be ((-1)/(-2))/((-4)/(-16)). Let c(o) = -8*o - 1. Let s be c(-2). Solve 3*g = -3*l + s, -3*l + g + 15 = w*g for l.
5
Suppose 7 = 4*j - 2*j + n, -4*n + 8 = -2*j. Solve 5*f - 10 = g, -j*g - f = -2*f + 11 for g.
-5
Suppose -3*b = 2*b - 10. Solve -4*c - b = 2*g, 1 = -5*c - 5*g - 4 for c.
0
Let o be (0 + -1)/(1/(-5)). Let h = 19 + 24. Suppose -h = -5*g + 107. Solve o*f = -4*t - g, 0*t - 3*t = -f + 13 for t.
-5
Let s(a) = 3 - 6 + 2*a - 2 - 14*a. Let p be s(-3). Solve -3*w = w + v + 16, -3*w + 4*v - p = 0 for w.
-5
Let x(v) = -v + 1. Let u be x(-2). Let l be 1/3*(-7 - -22). Suppose -3*j + l*y + 23 = 0, 2*y - 1 = -j + 3. Solve -u*g - 3*i = -3, 3*g = 2*i - j*i for g.
4
Let p be ((-10)/6)/(1/3). Let l = p - -8. Solve -4*s - 2*g + l*g = -4, 0 = 4*g + 16 for s.
0
Suppose 9*c - 8 = 5*c. Solve b + 4*b + 11 = c*x, 4*b = -5*x + 11 for x.
3
Suppose -3*u - 2 = o - 9, -5*u - 3*o + 5 = 0. Solve -v = -x + u, x - 4*v - 1 = 18 for x.
-1
Let k(r) = r**2 + r - 1. Let s be k(2). Suppose 0*b + s*b - 26 = h, 5*b = -3*h + 42. Solve -2*d - 2*f = 2*f - 12, 2*f = b for d.
0
Let y(l) = -l**2 + 10*l - 16. Let x be y(6). Solve -x = 2*z + 5*k, -k - 3 = -3*z + 2*z for z.
1
Suppose -6*m = -m - 20. Suppose 0 = g - m*d - 17, 2*g - 3*g = 5*d + 10. Suppose -1 = -3*z + 11. Solve g*b - b = 4*i + 20, 0 = -z*i + b - 11 for i.
-2
Let h be (16*(2 + -3))/(-2). Solve -4*t + 3*s - 2*s - 18 = 0, 3*t + h = -2*s for t.
-4
Let h = 58 - 55. Solve -4*b - 15 = -5*i, -2*b + h*i - 15 = -2*i for b.
0
Suppose 5*g + 20 - 5 = 0. Let u be (-1)/((-1)/g) + 5. Solve 0*m = -2*m + y - 1, -u*m - 4*y - 26 = 0 for m.
-3
Let u be 2/(-7) - (-69)/21. Solve -4*n - u*h = -7, 4*n + 1 = h + 4 for n.
1
Let q(k) = k**3 - 8*k**2 + 5. Let o be q(8). Solve -o*m + 5 = 5*d, 0*d + 5*m = 3*d + 13 for d.
-1
Let o be -3 + 5 + 1 + (1 - 1). Solve -3*h = -h - w + 7, o*w = 3*h + 6 for h.
-5
Suppose 3*a + 24 = 3*k, -5*k + 0*a + 31 = -2*a. Solve -3*f = 4*g - 8*f + k, 3*g - 3*f = -3 for g.
0
Let v(r) be the first derivative of r**4/4 - 2*r**3/3 - r**2/2 - 2*r - 1. Let s be v(3). Solve -2*f + 9 + 9 = -2*j, 2*f - s*j = 28 for f.
4
Let x(w) = w**3 + 11*w**2 - 14*w - 20. Let h be x(-12). Solve -h*y = 4*t, -2*y + 15 = -0*t + 5*t for t.
5
Suppose -2*d + 9 = 1. Solve 5*f + 12 = -4*k, d*f + 4*k + 0*k + 8 = 0 for f.
-4
Let w(n) = 4 - 15*n + 7*n + 2*n**2 - n**2. Let g be w(8). Solve g*a + 3*y + 0 = 7, 0 = 4*y + 12 for a.
4
Let x(d) = d + 6. Let g be x(6). Solve -2*r = 5*s - 0*s + g, 3*r = 4*s + 5 for s.
-2
Let t be (30/(-4))/(1/2). Let f = -9 - t. Solve 3*o = -5*h + 2, 5*h - 2*o = 1 + f for h.
1
Let w(n) = n**2 - 3*n - 5. Let a be w(5). Solve 25 = -2*i - a*y, 3*y - 6 = 3*i - 0*y for i.
-5
Suppose 5*k - 28 = k + 4*b, k + 5 = -5*b. Solve -j = 5*l + 27, k*l - 2*l + 25 = -5*j for l.
-5
Let w be (-14)/(-4) - 18/36. Solve -2*t = c + t - w, c - t = -1 for c.
0
Suppose -u = u - 10. Suppose 0 = u*l - 22 - 3. Let j(g) = g**2 - g - 4. Let a be j(l). Solve -z - 3*i - a = -0*i, -5*z = -3*i - 10 for z.
-1
Let m(o) = -145*o + 3. Let w be m(-5). Let b be 4/6 - w/(-24). Solve c + 22 = 5*p, 3*p + 13 = 3*c + b for p.
4
Suppose 2 = -8*m + 9*m. Solve m*y - 3*z = y - 16, -2*y = -4*z + 22 for y.
-1
Suppose 0*n = -2*n + 12. Suppose -w = -n*w. Let b be 5 + w - (4 - 1). Solve -4*p + 3*c + 2*c = -2, -b = -c for p.
3
Suppose -4*d + 2 = 4*j + 10, -4*j - 26 = -5*d. Solve 0 = 4*r + 12, 0 = 2*n - 0*n + d*r for n.
3
Suppose 13 + 3 = 2*x. Let b = 11 - x. Let z = 4 - b. Solve -12 = -3*a - 3*v, 2 + z = 2*a + v for a.
-1
Suppose 0*v + 3 