z = o - 1, 0 = -5*c + 5*z - 30 for c.
-5
Suppose 3*w - 23 - 19 = 0. Solve -2*p - y = 0, -3*p - 2*p + y = -w for p.
2
Let i be -3 + 7 - 1/(-4)*0. Solve -w + 4*w - 2*y = 7, -5*w + i*y = -9 for w.
5
Let g = 10 + -7. Suppose 6 = g*j - 6. Let x(o) = -o + 4. Let q be x(0). Solve -3*v = -q*z + 8, -z + 2 = -0*z + j*v for z.
2
Let n = 162 + -73. Suppose 5*o - n + 14 = 0. Solve k = -4*y - 17, -y - o + 4 = -2*k for y.
-5
Let m(c) be the first derivative of 3/2*c**2 + 2/3*c**3 + 4*c + 1 - 1/4*c**4. Let j be m(3). Solve j = 4*x - 2*n, 2*x + 8 = -x - 4*n for x.
0
Suppose -25 = 4*x - 9*x. Solve -4*l - s + 3 - 11 = 0, 10 = -x*l - 4*s for l.
-2
Let d be (-2*3/2)/(6 - 7). Solve r - d*r = -4*s + 8, 2*s = 5*r - 4 for s.
3
Suppose 5*s = -5*w + 35, -2*s + 1 = -5. Suppose 5*p + 2*n = 17, 0*n + 16 = w*p + 4*n. Solve 1 = -k + p*i, 0 = -3*k - 0*k + i + 5 for k.
2
Suppose -2*p - p - 15 = 0, -5*b = 4*p. Let k = 34 + -30. Solve 13 = 5*c - 2*x, -k = -5*c + b*x + 7 for c.
3
Let n(x) = -3*x - 2 - 4 + 0*x - 6. Let l be n(-5). Solve 0 = -0*v + l*v - b + 8, -4 = 5*v - 4*b for v.
-4
Let t(d) = -4*d**3 - d**2 - 3*d - 2. Let i be t(-1). Solve 4*x - i*h + h = -3, 0 = -4*x + 4*h for x.
-3
Suppose 11 = -2*s + 3. Let k be s/(-6) - 20/3. Let d be 4/(-5)*15/k. Solve d*w = -0*w - j - 1, 2*j = 2*w + 10 for w.
-2
Let z = -15 - -9. Let u = z - -8. Let k be (-4)/(-2 - (u - 3)). Solve f - 8 = -f, 3*m + f = k for m.
0
Let x be 8/4 + 0/2 - 0. Solve -x*t = -2*p - 2, -2*p - 7 = -t - 4 for t.
-1
Let u be 3/3*3*-2. Let v = -12 - u. Let o be 5/15 - 16/v. Solve 1 = -2*f - 3*r, 4*f - o*r = r + 28 for f.
4
Suppose 3*v = 3*f - 12, -4*v - 20 + 0 = -5*f. Let m(b) = -b + 3. Let n be m(v). Solve 4*y = -5*c - 37, -n*y + 5*c + 13 = y for y.
-3
Suppose 4*i + 3*w = -11, 2*w - 7*w - 21 = 4*i. Suppose -33 + i = -2*r. Solve -4*c - 4*z - r = 0, -7 - 4 = 2*c + 5*z for c.
-3
Let z = 4 - 6. Let k be (7/7)/(z/(-12)). Solve q - u = k*q + 11, 4*q - 3*u = -5 for q.
-2
Let f(l) = l**2 + l + 2. Let w = -5 + 2. Let s be (w - -5)*(1 - 2). Let g be f(s). Solve -3*c - 4*q + 19 = -g*c, 2*q = -2*c + 12 for c.
1
Suppose 325 = -5*k + 2*n + 87, -3*n = -5*k - 237. Let z = -24 - k. Solve -4*t = 4*a + z, -t + 5*a + 8 + 10 = 0 for t.
-2
Let x(o) = 2*o - 26. Let t be x(14). Solve -2*a - 2*b - t = 0, a + 9 = b - 0 for a.
-5
Suppose -18 - 17 = -5*p. Suppose -3*r = n - 9, p*n - 2*n - 2*r - 11 = 0. Solve n*t - 4*t - 4*c = -3, 5*t - 15 = -5*c for t.
3
Suppose 5*v + 3 = 33. Suppose 87 = -d + v*d + t, 0 = -4*t - 12. Solve 3*j - d = n + n, -2*j - 4 = 4*n for j.
4
Suppose -2*c + 6 = q + 2, q - 6 = -4*c. Suppose q = 3*s - 10. Solve -3*v = -3*b + 18, 3*v + s*b + 12 = b for v.
-5
Let u(m) = -m**2 + 5*m + 4. Let d be u(5). Solve x = d*p - 2*p, 0 = 4*p - x - 4 for p.
2
Suppose 4*i - 9 + 1 = 0. Solve 0*o = 3*v - 4*o - 6, -5*o + i = v for v.
2
Let y(v) = -6 + 2*v - 6 + 5. Let i be y(5). Solve -3*f - 14 = 4*l, i*l + 17 = 3*f - 4 for f.
2
Let u be (0 + 30/(-25))/(2/(-10)). Solve -4*r - 12 = 0, -2*r + u*r = h - 13 for h.
1
Let l = -5 - -7. Let i(u) be the second derivative of -u**5/20 - u**4/4 - u**3/6 + u**2/2 + u. Let f be i(-3). Solve 3*x = f*x - 1, l*j + x - 3 = 0 for j.
1
Let z(n) = n + 1. Let a be (4/(-6))/((-24)/108). Let f be z(a). Solve 3*x - f = -0*x + 4*h, 2*h - 12 = -2*x for x.
4
Let w(m) = -4*m + 1. Let k be w(5). Let p = k - -22. Solve p*r = 5*b + 8, 3*b + 3 - 1 = -r for b.
-1
Suppose -4*f - 2 = -6. Let n be (0 + 3 - 3)*f. Solve -2*d = 4*z - n*z - 2, -z - 4*d - 17 = 0 for z.
3
Suppose -2*q = 2*q - 92. Solve c = -4, -3*c + 5*c = 3*z - q for z.
5
Let s(r) = -r - 1. Let m be s(-6). Solve 5*v + 11 = -0*v - 3*q, 3*q - m = -v for v.
-4
Suppose 0 = -2*x - 5*u - 21, 2*u = -0*u - 2. Let s be 1/(6/(-3))*x. Suppose 0 = -b + 2*r, -4*r + 43 + 17 = s*b. Solve -2*y = 3*t - 17, t + 5*y = b - 0 for t.
5
Let t = 17 + 5. Suppose 3*n + 22 = 5*x, -3*n = -2*x - 4*n. Solve y + x*l = 7*l - t, 16 = 2*y + 5*l for y.
-2
Let l be 1*((-3)/3 + 7). Suppose -2*y = -l*y + 16. Solve 4*v = h - 11, -5*v + 0*v = -y*h for h.
-5
Let w(t) = 4*t - 21. Let m be w(6). Suppose 0 = -0*h + 4*h + f - 25, 3*h = -m*f + 30. Solve 0 = 5*x - 25, x - 4 = -d + h for d.
4
Let b(c) = c + 5. Let d be b(0). Let g(j) = -j**3 - j**2 - 29. Let p be g(0). Let n = -6 - p. Solve -i + d = 4*i - 5*r, -2*i = 5*r - n for i.
4
Let z = -2 + 5. Suppose 0 = 2*a - 0*a. Let c(w) = w**2 - 1. Let q be c(2). Solve a = z*f + q*u - u + 3, -3*f - 3 = u for f.
-1
Suppose -78 = 3*f - 4*z + 3*z, 0 = 4*f + z + 97. Let i = -10 - f. Solve b - 5*c = i, 4*b = 3*c + c - 4 for b.
-5
Let s = 4 + 5. Solve -4*x - 14 = 2*u, -4*u - s = -x + 1 for x.
-2
Suppose -2*l = -l - 5. Solve 0*z - 25 = -5*v - 4*z, -2*v + l*z - 23 = 0 for v.
1
Suppose 5*h - 3 - 27 = 0. Let q be h*(3/(-6))/(-1). Solve 5*r - 4*a + 3 + 7 = 0, 5*a = q*r + 6 for r.
-2
Suppose 71 - 245 = -6*z. Solve -3*x - 4 = -2*d - 5*x, -3*d = -4*x + z for d.
-3
Let b = 1 - 1. Suppose -5*s - t + 24 = 0, 0 = -3*s - 8*t + 9*t + 8. Solve 5*k = -4*a + 4 - 8, s*k = b for a.
-1
Let l be (-4)/78*3 + (-45)/(-39). Suppose 0 = m - 4*r + 5, m - 2*r + 2 = 3. Solve 0 = y - 4*p - m, -y - 4*p = 10 - l for y.
-1
Suppose 0 = d - 7*d. Solve d = s - 3 + 6, 0 = 5*j + 3*s + 34 for j.
-5
Let o be 14 + (2 + -4 - -3). Suppose -2*w + 5*w + o = 0. Let d = -3 - w. Solve 5*b - 1 = d*l - 0*b, -5*l - 10 = -5*b for l.
-3
Let h(a) = 6*a**3 + 2*a**2 - a. Let v be h(1). Let z = v + -2. Solve -2*w = 4*m - w + 21, z*m - 2*w = -10 for m.
-4
Suppose -5*m + 8 = -7. Let t be (-5 - -13) + m*-1. Solve 2*n + t*f = -21, f = 3*n + n - 13 for n.
2
Let z = -10 - -25. Suppose -21 = 2*f - 5*y, 4*y - z = 5*f - y. Solve 3*c = -2*t + f + 2, -c = 4*t + 12 for t.
-4
Let s = 12 - 10. Let q be 0 + (-1 - -4)*1. Suppose -5 = -q*h + s*h. Solve h*v - 2*t - 26 = -0*v, 0 = 3*v - 5*t - 27 for v.
4
Let p = -8 + 8. Suppose n - 3*n + 4 = p. Solve -n*w = 2*f + 2, 37 = -7*w + 2*w + 3*f for w.
-5
Let p = 12 + -12. Suppose -l = 2*l + 9. Let t(s) = -2*s + 2. Let x be t(l). Solve 0 = 6*a - 2*a + r - 12, 2*r + x = p for a.
4
Let g(b) = b**3 + 3*b**2 - 6*b - 1. Let c be g(-5). Let m = 24 + c. Solve -w + 2*w + 3*p = 2, -m*w - 16 = -2*p for w.
-4
Suppose 0 = w - 2*a - 0*a - 29, -3 = a. Suppose 5*j + 8 - w = 0. Let f = 6 + -2. Solve -j*n + 13 = -5*c, -f*c + 0*n + 4*n = 4 for c.
-5
Let a(x) = x**2 - 5*x - 5. Let h be a(6). Solve 0 = -d + 5*t + 9, -4*d - 3*t = 9 + h for d.
-1
Let k be (1*20)/4*1. Solve k*t - 9 = -2*a, -3*t + 2*t - 3 = -2*a for a.
2
Let i be 4/6*32 - 6/18. Solve -4*w + 3*b + 2 = -11, 0 = -4*w - 5*b + i for w.
4
Let i = 4 + -4. Suppose 0 = -2*u + 3*t + 4, 4*u - 3*t - 5 - 3 = i. Let j be 132/10 + u/(-10). Solve -c - 4 = -m, 3*m - 3*c - c = j for m.
3
Suppose 0 = 4*d + 5*p - 2, 0 = -2*d + p - 4*p. Suppose -7*x = -d*x. Suppose 0 = w - x*f - f - 11, 5*f - 25 = 0. Solve -3*j + w = i, 0*i - 7 = -2*i - j for i.
1
Suppose -j = 2*l + 1 - 5, 10 = -5*l. Suppose 20 = -3*z + j*z. Suppose d - 4 = 0, -2*t + 2*d - 12 = -z*t. Solve -3*n + s - 13 = 0, -2*n - 3*s - 14 = t for n.
-5
Suppose -9*v = -13*v + 8. Solve k + 3 = -m + 4, k - v = 0 for m.
-1
Let d(w) = -2*w - 1. Suppose 0 = m - 0*m - 5, 0 = 5*q + m + 5. Let l be d(q). Solve -3*x + 9 = 3*n, -l*x + 0*n + 2*n - 11 = 0 for x.
-1
Let g(o) = o + 1. Let s be g(4). Let w be 12/(-33)*44/(-8). Solve 3*x - 2 = w*y + 1, s*x - 10 = 5*y for y.
-3
Let j = 4 + 25. Solve -d - 2*d + 4*t = -26, 5*t = 2*d - j for d.
2
Suppose 5*j = 4*u + 3, 3*u - 3 = -3*j + 5*j. Let b be (14/6)/(5/30). Let s = b + -10. Solve -2*c + 10 = k + 4*k, j*c + s*k = 1 for c.
-5
Suppose -4*f - 5*w = 0, -2*f + 5 + 1 = w. Suppose 44 = 4*t - 2*x, 2*t = 2*x + 31 - 11. Solve -5 = y - 5*v + t, f*y = -5*v + 5 for y.
-2
Let j = 7 + -5. Suppose j = p - 1. Suppose -3*y + 4*y = p. Solve y*k + 4*c = -0*c - 28, 0 = 4*k + 4*c + 32 for k.
-4
Let p(q) = q**2 + 10*q - 7. Let l be p(-11). Solve 3*x + j = -16 + l, 30 = -5*x - 5*j for x.
-3
Let d be -3*(-4)/6 + -1 + 2. Solve -2*n + 7*y = 2*y + 9, -d = -y for n.
3
Let c be 1 - ((-4)/1 + -1). Let d = 2 + c. Solve 5*m - 5*y = 20, 3*m + 0*m + y + d = 0 for m.
-1
Let o = 1 + 2. Suppose 5 = u + 2. Solve -u*v + o*a + 6 = 0, -3*v - 2*a = -6*a - 6 for v.
2
Suppose -2*b = -0*b + 5*z + 19, -4*z = -2*b + 26. Solve x + 3*x - 11 = -h, 0 = b*x - 3*h + 3 for x.
2
Let p(t) = t - 13. Let z be p(17). Solve z*w - 6 - 2 = 0, -w = c - 6 for 