 k = p + 3, 0 = -5*p - 3*k - 5. Solve 0 = -a + 5*z - z + 1, 2*a - z = p for a.
1
Let z(a) = 2*a + 26. Let t be z(-11). Solve p = -p - 3*m, 8 = -t*p - 2*m for p.
-3
Let x be 3 + (-1)/((-1)/(-2)). Let t = x - -2. Solve -5*a = -2*f + 21, a - 5*a + t*f - 21 = 0 for a.
-3
Let p(z) = -z**3 - 4*z**2 - 4*z - 1. Let f be p(-1). Solve f*b = g + 2*b + 2, 5*b = -5*g - 5 for g.
0
Suppose 0 = n - 5*q - 0*q - 2, 2*q = -3*n + 57. Solve -3*h = 4*r - 8, -3*r - n = -4*r + 3*h for r.
5
Suppose 0 = 2*n + h - 5, 5*n - 2*n - 9 = -3*h. Solve -3*f - 3*y = -5*y + 21, f + n*y = 1 for f.
-5
Let x = -36 + 39. Solve -3*k - 5*v - 32 = 0, v - 4 = x*k + 4 for k.
-4
Let o(f) = f**2 - 3*f. Let m be o(4). Solve -4*d + 4*i + m = 0, d = 5*i + 1 + 4 for d.
0
Let u(r) = 2*r**2 + 9*r + 7. Let m be u(-6). Solve 0 = -3*a - 5*d - m, 2*d = -2*a - 0*d - 10 for a.
0
Let c = 16 + -11. Solve c*w = 15, o + 0*w + 3*w - 4 = 0 for o.
-5
Suppose -5 = 3*a - 11. Let y be a/(-4) - 17/(-2). Suppose -y = o - 3*f + 6*f, 2*o - 3*f - 20 = 0. Solve -4*w = -3*x + 13, o*x + 0*w = 4*w + 16 for x.
3
Let z = 33 + -17. Suppose c - z + 2 = 0. Let d be -6*(-3 - c/(-6)). Solve -24 = -4*a + d*b, 3*a + 0*b - b = 16 for a.
5
Let c(k) = -k**2 - 8*k + 9. Let g be c(-9). Suppose -3*z = 2*m + 1 - 2, 5*m - 3*z = 55. Let a be 8 - (m/2)/(-2). Solve 5*h = 2*j - a, -13 = 5*j - 3*h - g for j.
-5
Suppose -4 - 1 = -q. Solve 0 = -2*s - 5*x + q, x + 8 - 2 = s for s.
5
Let s = -22 - -27. Suppose 0*w = s*w - 10. Solve 3*v = 5*v + z, -w*v + 2*z + 12 = 0 for v.
2
Suppose 0 = -0*j - 2*j. Solve -2*u + 2*w = 6, 0*u - 2*u + 5*w - 21 = j for u.
2
Suppose 5*a = 3*f + 20, 0 = -2*a - 4*f - f + 8. Solve -2*r - t = r - a, 8 = 5*r + 3*t for r.
1
Let q be 1/(4/28) + -3. Solve -q*d - 9 - 4 = 5*m, -d + 5*m + 3 = 0 for d.
-2
Suppose 2*y = y + 3*p + 3, -2*y - p = -6. Suppose -s + 2*s = -k + 9, -y*s = -2*k + 18. Solve 2*z + k = -4*b - 9, -z + 4*b + 9 = 0 for z.
-3
Let t be -2 - (48 - -3)/(-3). Suppose -t = 2*w - 49. Solve 3*p - 2*p + 3 = l, p + 4*l = w for p.
1
Let y be 7/(-35) - 148/10. Let q = -11 - y. Solve -4*a = -q*g - 4, -4*a + 0 = 4*g - 12 for g.
1
Suppose 0*u - 60 = -5*u. Suppose 0*r + 3*r - u = 0. Suppose -o + 7 - 1 = 0. Solve -v - r*h = -0*h - o, -3*h - 1 = -2*v for v.
2
Suppose -5*t + 16 = 4*s, -8 = 3*s - 5*s - t. Solve -s*v - 7 = 5*y, 2 = v - 0 for y.
-3
Let s = -9 - -15. Let q(w) = 2*w**2 + 3*w + 3. Let h be q(-1). Solve 2*l + s = u, l - 3*l = h*u for l.
-2
Let r(w) = w**2 + 3*w + 5. Let i be r(-4). Let p = i - 6. Let a be p + -3 + -3 + 7. Solve a*u + 0*u - 20 = 0, -u = 4*h - 1 for h.
-1
Let b be (0 - -2)*(4/2 + -1). Solve 0*j = -x + 2*j + 8, b*x = -j - 9 for x.
-2
Suppose -3*y + 6 = -0*y - m, 0 = 2*m + 6. Let j(u) = 4*u**3 - u**2 + u - 1. Let z be j(y). Solve 0 = -r + z, 2*s + r + 4 = 3*r for s.
1
Let q be 1 - -3 - 2 - 7. Let g = -2 - q. Suppose 2*h + 31 - 5 = o, -5*h = 4*o - 65. Solve -4*p - g*y = -o, 20 = 5*p - y - 5 for p.
5
Let i(x) = -16*x + 1. Let s be i(-1). Suppose 3*d - 6 = -0. Solve -5*m - 15 = 5*u, m - s = d*u + u for u.
-5
Let f = -14 + 8. Let b = f + 7. Let c be (-3 - b)*1/(-2). Solve 2*k - c*p = -2, 5 = 3*k - 4*p + 13 for k.
4
Let m(c) be the first derivative of 9*c + 1/3*c**3 + 2 - 5/2*c**2. Let q be m(7). Solve u - q = -2*t + 4*u, -4*t - 3*u = -1 for t.
4
Suppose 0 = w + 2*p - 9, -5*w - 2*p + 4*p + 93 = 0. Suppose 5*a - 23 = -2*f, -3*a = -2*f - 0*f - w. Solve 3*h = -0*h - 15, 4*r + a*h = -13 for r.
3
Suppose 3*x - 13 = a, 8*a - 14 = 2*x + 13*a. Solve h + 20 = 4*m, -x*m + h + 11 = -4 for m.
5
Let r = 14 + -14. Solve -3*p = 0, r*j + j - 3*p + 4 = 0 for j.
-4
Let k be ((-6)/(-15))/((-2)/(-10)). Suppose k = -4*x + 14. Solve w + 0*r + 13 = x*r, -r - 13 = 4*w for w.
-4
Suppose u = 4*u - 3. Solve 4*r = 2*k + 18, 3*k - 4*k - 3*r + u = 0 for k.
-5
Let p be 610/30 + (-1)/3. Suppose 0 = 7*s - 2*s + 2*j - 172, -5*j - 200 = -5*s. Solve -5*w + w - y = -p, 4*y = -5*w + s for w.
4
Let r = 2 - -1. Suppose 3*x + 1 + 5 = 3*h, -h = r*x + 6. Let b(d) = -d**2 - 5*d - 2. Let w be b(x). Solve -w*p + 6 = 2*q - 2, 12 = 3*q + 3*p for q.
4
Suppose 0 = -2*p - 3*z + 40, 3*z - 12 = 3*p - 42. Solve 0 = 5*c + 2*n + 39 - p, 2*c + 3*n = -21 for c.
-3
Suppose -3*q = 3*v - 3, -5*v + 2*q + 31 = -2. Let s(g) = -g**3 + 6*g**2 - 5*g + 5. Let u be s(v). Solve 2*h + 2*h - 2*w + 10 = 0, 3 = 3*h - u*w for h.
-4
Let p be 1*-1*(1 + -5). Let c(w) = -w + 3. Let l be c(2). Let d = p - l. Solve 5*n + 10 = 2*b, -3*n + 8*b - d*b = 6 for n.
-2
Suppose 4*w - 6 = 6. Let q(g) = g**2 - 3*g + 2. Let u be q(w). Solve u*m = -3*c - 14, -3*c = -2*c - m + 3 for c.
-4
Suppose -7*n + 10 = -25. Solve -3*g + 8*g - 5 = 5*t, 0 = -3*g + n*t + 7 for g.
-1
Let h = 7 - 3. Suppose -2*k + b + 3*b + 8 = 0, -k = -h*b - 8. Let j be (1 + -2)*k/(-1). Solve 4*f - s = -1, 2*s + 5 = f - j*f for f.
-1
Suppose -6*t = -3*t - 9. Suppose -5*u + t*v = -42, -u - u = 3*v - 21. Suppose -2 = 2*m, 4*s - 3*m - 6 - 9 = 0. Solve -s = 3*k + z + u, 0 = 5*k - z + 28 for k.
-5
Let m be (1/3)/((-5)/75). Let q = m + 19. Solve s - 1 = 2*f - q, 2 = 3*f + 2*s for f.
4
Suppose -2*p + 9 = l + 4*l, -5*p - 3 = 4*l. Solve -10 = -2*g, 0 = -l*f - 2*f - 3*g + 20 for f.
1
Let r be (-1)/(-2)*22 + -1. Suppose -5*v = -r, -2*v = 5*o - 4*v - 36. Let n = -34 - -38. Solve -4*u + 14 = 2*s, -o*s + n*s - 3*u = -18 for s.
3
Let b(o) = o + 8. Let s be b(-6). Let d = -537 - -554. Solve 3*y = 2*y - 3*r - d, -s*y = -2*r + 2 for y.
-5
Let i(p) = p**2 - 5*p - 2. Let t be i(4). Let q = 24 + t. Let z be ((-2)/6)/((-3)/q). Solve 2*a = 2*c - 16, -z*a = 2*a + 20 for c.
3
Let d = 0 - 3. Let g be 1 + d + -3 + 7. Let k be (-7)/g*(-12)/21. Solve -k*j = -4*q + 14, -4*q = -j - q - 10 for j.
-1
Suppose b + b = 80. Let k(r) = r + 1. Suppose 8*n = 13*n - 20. Let h be k(n). Solve -3*g + 19 = -o, h*o - 5*g + b = -g for o.
-4
Suppose 0 = -4*l - 16, -4*y - 4*l + 2*l - 60 = 0. Let d be y/(-3) - (-2)/3. Let j be 20/(-6)*(-3 + 0). Solve -5*b + 15 + d = -4*v, 2*v = -j for b.
0
Let d = 26 - 16. Suppose 2*b + 3*b = d. Solve 18 = -3*i - 3*x, 4*i = -b*x + x - 15 for i.
-3
Let k be (32/(-12))/2*(-6)/4. Let t = -42 + 70. Solve 5*l - x + t = 0, k*x = 3*l - 2 + 23 for l.
-5
Suppose 3*c + 6 = 2*c. Let w(g) = g - 2. Let v be w(c). Let k(d) = -d**3 - 8*d**2 - 3*d - 4. Let o be k(v). Solve -5*t - 3 = -2*s, -o = -6*t + 2*t - 4*s for t.
1
Let v = -1 + 3. Suppose v*y - 3*y = 0, 3*x - 3*y - 12 = 0. Solve 0*j + 4*j + 2*i = x, -5*i = 5*j - 10 for j.
0
Suppose 5*r - 3*g - 14 = 0, -3*g = -3*r - 4*g + 14. Solve 0*w + 23 = -p - 5*w, -5*w - 33 = -r*p for p.
2
Let o = 2 + 5. Let u = 13 - o. Let t(k) = -k - 3. Let y be t(-7). Solve -u*s + s + 25 = 0, -17 = -y*x - 5*s for x.
-2
Suppose -k = v + 3*k - 30, 0 = -2*v + 5*k + 21. Solve 4*y = 2*w - v, -5*w + 5 + 28 = -4*y for y.
-2
Suppose -3*l + 2*s + 3*s = 0, -2*l = 3*s. Suppose -2*y + 5*y - 6 = l. Solve -y*f = v - 5, 4*v - 4 = f - 2 for f.
2
Let h(z) = -z**2 - 7*z - 2. Let g be h(-6). Let i(s) = -9*s**2 + 35*s + 9. Let x be i(4). Solve g*v = -x*m + 9, 2*m - 1 = 4*v + 5*m for v.
-4
Let z = 7 - 0. Suppose -3*l + z = -g, 5*l - 12 = -0*l + 2*g. Suppose 0 = -3*r + 3 + 6. Solve 3*d = -m - l*m, -r*m + 4*d = 0 for m.
0
Suppose -2*x = -5*x + 12. Suppose 135 = 7*y - x*y. Solve -g = d - 0 - 1, 0 = 5*g - 5*d - y for g.
5
Suppose 0 = 5*s - 0*o - 2*o - 246, 5*o - 60 = -s. Let w = 43 + -39. Solve q + 4*q + s = -5*g, w*g = q - 15 for g.
-5
Let l be 4/20 + (-19)/(-5). Let g be 7/(-4) - 1/l. Let f be (2/g)/(4/(-16)). Solve -4*u = -2*o + 2, -6*o = -f*u - o - 5 for u.
0
Suppose -5 = -5*m - 3*i, 3*m + 10 - 2 = -4*i. Solve -m*d = -7*d + 5*o - 2, -2*o = -d - 1 for d.
1
Let w(b) = -b**2 - 6*b + 6. Let p be w(-7). Let n be (-4)/p + 2 + -2. Let z(i) = -4*i + 2. Let d be z(-2). Solve n*u = -2*v - d, 2*u = 6*u + v + 7 for u.
-1
Let a = -8 + 8. Solve a = -2*d - d + h + 3, 2*d + h - 7 = 0 for d.
2
Let s(u) = -u**3 + 7*u**2 + 2*u - 6. Let i be s(7). Suppose 3*l - 2*m - 38 = -l, l - i = m. Solve q + 6 = 4*g + 4*q, l = 5*g + 2*q for g.
3
Let t be 3/(-30)*0*-1*1. Solve t*y = 5*c - y + 16, 3*y = -5*c - 12 for c.
-3
Let t = -7 + 12. Suppose t*g - 17 = 8. Suppose 0*d - 5*d + 19 = -b, -2*b - 14 = -2*d. Solve -6*r + d*r - 1 = y, 0 = g*r for y.
-1
Suppose -2 + 1 = q + d, d + 4 = 0. Solve -3*y - w - 5 = 0, -5*y - q*w = 5 - 2 for y.
-3
Let u be (155/(4 + 1))/1. Solve 18 = c + 3*q + q, 3*c