5*i - c + j = 2*c, 2*i + c = 0 for i.
-1
Let q be (3/3)/(1/13). Suppose w = -2*n + q, -3*n + 3*w + 47 = -w. Solve 4 = 5*p + h + n, -2*p + 6 = 2*h for p.
-2
Suppose 4*q = -2 + 110. Let g be q/15 - (-1)/5. Solve 3*a + n - g = 0, 0*n = 5*a - 3*n + 20 for a.
-1
Suppose l - 53 + 51 = 0. Solve 25 = i + 5*d, -7*d + 45 = 5*i - l*d for i.
5
Suppose -a = y - 8, -a + 4*y - 11 = 2*a. Solve l - 5*i = 27, 2 = -i - a for l.
2
Let j = -5 - -11. Let g = -16 + 21. Solve -j*p - 7 = -5*p + g*y, -3*p + 3*y + 15 = 0 for p.
3
Let s(v) = -v - 6. Let t be s(-8). Suppose -y - 5*u - 12 = 0, -5*y + t*u + 27 = -2*u. Solve -2*x + 19 = y*f, -3*f + 14 = -2*x + 3 for x.
2
Let b be (-12)/4*3/9. Let a = 3 + b. Suppose 0 = z - 2*z + a. Solve 5*c = 3*c + 4, -z*c = 5*h + 1 for h.
-1
Let b be 0/(-5)*(-1)/2. Solve 2*s + 2 = -x - 4, -s + 4*x - 12 = b for s.
-4
Let v(u) = 0*u + 3 + 6*u - 5. Let y be v(1). Solve -5*n + 26 + 11 = 3*d, 5*n - y*d - 9 = 0 for n.
5
Let j(t) = -t + 1. Let v be j(5). Let y(o) = -o - 4. Let n be y(v). Solve 4*b - d - 8 - 3 = n, -3*b = -2*d - 2 for b.
4
Let a be (-11 + 8)/(2/(-14)). Solve -2*q - 7 = -x + 2, 5*x - 2*q = a for x.
3
Let w = -33 - -37. Solve -v - 3*x = 1 + 1, -v + w = -3*x for v.
1
Suppose 0*a + 20 = 5*a. Suppose 10 = a*t - 10. Suppose 0 = -5*w - 2*y + 6, -3*w = -6*w - t*y + 15. Solve -3*j = 3*u - 24, w = -3*u + u + 10 for j.
3
Let i(w) = 4*w**2 + 2*w - 1. Let m be i(1). Let a = m - 3. Suppose 0 = 3*y - a*y. Solve -3*q + 4*x + y = -28, 3*x = q - 16 for q.
4
Let l be (-2)/(0 + (1 - 20/12)). Solve -3*m = -l*z - 9, -3*m + 4*z = -6*m - 26 for m.
-2
Suppose 3*u = -6, 73 - 17 = 2*o + 2*u. Solve a = 5*z - o, -2*a - z - 35 = -6*z for a.
-5
Let i = 8 + -5. Let z = -4 - -12. Let j = z - i. Solve 2*p + j*q = -1, -3*q + 18 = p - 6*p for p.
-3
Suppose 4*m - 46 = -3*y + 4, y - 6 = 4*m. Solve 5*j + 2*a + a = -2, a = 5*j - y for j.
2
Let f = -55 - -58. Solve -f*u - 4 = 3*n - 10, -10 = -2*u for n.
-3
Let s(a) = -2*a + 1. Let d = -3 - 1. Let m be s(d). Solve 3 = 5*h - v, 5*h = -3*v + 6*v + m for h.
0
Let y = 33 - 31. Solve -3*f - y*s = 11, 4*s - 6 = 2*f - 4 for f.
-3
Let p(z) = -9*z. Let i be p(-1). Let a be (-34)/(-85) - 46/(-10). Solve -4*y + a*h = -y + i, -h + 3 = 0 for y.
2
Suppose 0 = 5*p + 5*v - 25, 2*p - 6*p + 23 = 5*v. Suppose -p*f + 0 = -4. Solve 2*a + f*h - 3*h = 0, 4 = h for a.
2
Let i be (0/(2/2))/(-1). Suppose -3*u + 4*y + 1 = -1, 7 = 2*u + 3*y. Solve i*m - m = 2, -u*v + 8 = -2*m for v.
2
Let o = -29 + 49. Solve 3*r = d, 0*r - o = -5*r - 5*d for r.
1
Let i = -22 - -16. Let w be (-5 - -2)/(i/4). Solve -2*o = 5*g - 0*o + w, 0 = -2*g + 4*o - 20 for g.
-2
Suppose -2*u + 6*u - 5*n = -3, 4*n + 14 = -5*u. Let s = u + 8. Solve -3*h + s = -2*t, 0*h - h - t = -7 for h.
4
Suppose -8*t + 3*t + 140 = 0. Suppose -x - 5*m = -t, 0 = 4*x - 3*m + 3. Solve 3*k + 13 = 4*w + 6*k, -x*k + 1 = w for w.
4
Suppose 2*y - 3*y - 10 = 0. Let d(v) = -3*v - 15. Let j be d(y). Solve z + o - j = -2*z, -3*z - 5*o + 27 = 0 for z.
4
Suppose -l = z - 4, 0 = 5*z - l - 21 - 11. Solve 2*w - 4*t = 22, w + 3*t + z = -3 for w.
3
Suppose -2*k - 1 = 3*i - 3, -4*i = 4*k. Suppose -5*d + 12 = -i*d. Solve 5*a = 2*a + 3*w - 9, 0 = -d*a + 5*w - 16 for a.
1
Let q(f) = -f**3 - 13*f**2 + 14*f - 6. Let t be q(-14). Let m be ((-38)/t)/(1/3). Solve -v + m + 9 = 5*h, -2*v + h + 1 = 0 for v.
3
Let f(d) = d**3 - 2*d**2 + 2*d - 2. Let u be f(2). Solve -y = 4*n - 1 + u, -5*y - 30 = -5*n for n.
1
Let q = 12 - 8. Suppose -4*b - 6*a + 10 = -q*a, 2*b = 3*a + 17. Solve 0 = p - 4*k - b, -k = p + 2*k + 10 for p.
-4
Suppose 3*x + 5*m + 9 = 0, -2*m + 4*m + 4 = -x. Suppose 0 = -3*l - 2*l + 20, t = -5*l + 23. Solve -3*r - x*z - t - 5 = 0, 3*r = -5*z - 11 for r.
-2
Suppose -2*n + j - 19 = -3*n, -4*j + 100 = 5*n. Solve -u = -4*u + 3*r + n, 3*u - 5*r - 34 = 0 for u.
3
Let c(g) = 2*g + 21. Let j be c(7). Solve -3*m = -4*z - j, -35 = 5*z - 2*m - 0*m for z.
-5
Let w(x) = x**3 - 2*x**2 - 3*x + 2. Let k be w(3). Let l = k - 2. Suppose l = 5*a - 0 - 5. Solve -5*s - a = -2*c, -5*s + s + 10 = 2*c for s.
1
Let f(p) be the third derivative of p**5/12 + p**4/8 + p**3/3 - 4*p**2. Let h be f(-2). Let g be (7/(-4))/(3/(-12)). Solve -4*q = y - h, 8 = -5*y - q - g for y.
-4
Let k be (-6)/2*(-12)/9. Solve 0 = 4*q - 0*q - k*a - 16, 0 = 4*q - a - 19 for q.
5
Let i(b) = -b**3 - 4*b**2 - 5*b - 2. Let j be i(-3). Solve 4*r = -5*z + z - j, r - 3*z + 17 = 0 for r.
-5
Suppose 4*m = -2 + 22. Let w be (6/(-9))/((-6)/63). Suppose w*f - 2*f - 90 = -3*k, f = -5*k + 150. Solve 5*c = 5*v - k, 0*c = -c - m*v + 24 for c.
-1
Let g = -4 - -8. Let u(q) = 5*q - 4. Let r be u(g). Solve n = -5*v - r, -3*v - 6 = -v for n.
-1
Suppose 0 = 5*k + 3*n - 25, 4*k - 2*n - 20 = 3*n. Let d = -15 + 22. Solve k*m - 20 = -r - 3, 0 = -4*m - 3*r + d for m.
4
Let s be 1 + 5/(15/48). Suppose -3*c + 0 + 11 = -5*m, 1 = 2*c + 3*m. Solve k + c*y = 2, -k + 6*k = -3*y + s for k.
4
Let y = -24 + 26. Solve -2*c + 5*j = 2*c - 36, -5*c = y*j - 12 for c.
4
Suppose 3*j + 6 - 4 = s, -4 = 4*j - 2*s. Solve 4*b - 2*d = -0*d + 18, j = -5*b - 3*d - 5 for b.
2
Suppose 0 = -3*i - 4*x - 8, i + 0*x = 4*x + 24. Solve -2*c + c = -4*n + i, 3*c + 12 = -5*n for c.
-4
Let t = -2 + 6. Suppose t = r - 0. Solve 4*f - r*g - 1 + 5 = 0, -3 = -4*f - 3*g for f.
0
Let x be (-1)/(2*(-1)/(-2*2)). Suppose 0 = 4*z - 0*z. Let l be (x + 2)/(2 - z). Solve -3*d + l*f - 4 = -f, 0 = -f - 5 for d.
-3
Let c(s) = -s**2 + 5*s + 6. Let q be c(5). Let j = 10 + -7. Solve q = j*h + 3*p, -h = -p + 4 - 0 for h.
-1
Suppose 0*n = 3*t - 5*n - 33, -9 = -t + n. Solve -3*q - 11 = -4*w, -w + t - 2 = -2*q for w.
2
Let s(c) = 3*c. Let j be s(-3). Let b = -5 - j. Solve 5*v + 3*g = -b, -2*v - 11 = -v + 4*g for v.
1
Suppose 5*u - 10 = 0, 0 = -4*d + 6*u - 2*u. Let t = 4 - d. Suppose 1 = -t*x + 5. Solve 0 = -2*j + 2, -x*v + 3*j = -v for v.
3
Suppose -5*a + 3 = -2*a. Let v be (-1*1)/(1/a). Let y = v - -1. Solve 2*d + 8 = y, 2*j - 2*d - 18 = 3*d for j.
-1
Let n(y) be the first derivative of y**2/2 - 4*y - 1. Let k be -1 + 18/2 + -2. Let g be n(k). Solve 4*f + g*d + 6 = 4, 5*f - 14 = 3*d for f.
1
Let r = 1 - 0. Let g be r/(3/(-30)*-2). Solve 2*d = -g*t + 33, -3*t = -3*d - 4 + 1 for t.
5
Let q = 0 - 0. Suppose 5*k - 49 = 16. Let s = -8 + k. Solve -h + 25 = -s*z, z = -q*z - 5 for h.
0
Let l = 0 + 3. Suppose 2*s - 77 = -k, -5*s + l*k = -0*k - 165. Suppose 0*v = -4*d + 2*v + s, d = -2*v - 1. Solve -d = 4*n - 3*w, 4*n + 3*w = -10 - 15 for n.
-4
Suppose -5*g + 21 - 6 = 0. Solve s - 4*j - 8 = -g*s, -12 = -3*s + 5*j for s.
-1
Let t(k) = k**3 + 6*k**2 + 4*k - 1. Let d be t(-5). Let s(c) = -c**2 + 12*c - 24. Let n be s(8). Let y = n - d. Solve 4*w = -0*w + 2*u - 14, 3*u = w - y for w.
-5
Let p(t) = 4*t + 1. Let n be p(1). Suppose -5*c - 3*j + 7 = j, 4*j = -c - n. Suppose c*i - 23 - 46 = 0. Solve 3*s + i = 5*x, -4*x - 2*s + 5*s + 19 = 0 for x.
4
Suppose 3*u = 9 - 0. Suppose u*m - m = 0. Solve -3*x - 4*a = 11, m*a - 2*a = 4*x + 18 for x.
-5
Suppose -10 = -4*u - 2. Suppose -k = 3*s - 15, -u*k + 0*s - s = -10. Solve 4*c - 5*o + 2 = 11, 2*c - o = -k for c.
-4
Let t be 27 + (2 - 0) + -3. Solve -4*m - 7 = 3*c, t = -5*c + c + 3*m for c.
-5
Let a be 0 - ((-1 - 5) + 4). Solve a*i - 8 = 0, -6*i = -4*z - 7*i - 12 for z.
-4
Let y = -3 + -4. Let w(r) = r + 8. Let a be w(y). Solve q + 3*s = a, 13 = -4*q + 2*s - 11 for q.
-5
Let y(h) = 2*h**2 + 3*h + 3. Let w be y(-2). Solve 11 = -2*m + w*n - 18, 0 = -3*m - 2*n + 4 for m.
-2
Suppose 0 = -14*y + 9*y + 20. Suppose y*w + v - 3*v - 20 = 0, 0 = 3*w + 4*v + 7. Solve w*x + 12 = -5*s, 4*x - 1 = -4*s + 3*s for s.
-3
Suppose -4*y + 7*y = 6. Let u(f) = -f + 2. Let d be u(y). Solve 4*m - 2*m + 5*t + 15 = 0, -5*t - 15 = d for m.
0
Let f = -6 + 2. Let g = f + 4. Suppose g = -5*z + 5 + 20. Solve -2*p + 29 = -5*v, v - z*p + 20 = -v for v.
-5
Let x be (-9)/(-2)*16/4. Solve p = -4*u - x, 2*u + 12 = -0*p + p for u.
-5
Suppose -29 = f - 34. Solve -3*m - 5 = 4*v - 2*v, 0 = -4*m - f*v - 9 for m.
-1
Suppose -13*a = a. Solve -5*l + 15 = -t, a*t + 2*l - 24 = 4*t for t.
-5
Suppose 3*r = -63 - 15. Let l be r/(-5) - (-4)/(-20). Let j be ((-5)/(-10))/(1/4). Solve j*y = -y - a - l, 5*y + a = -11 for y.
-3
Let u = -15 - -32. Suppose -5*b = 3*r - u - 1, b - 4*r + 1 = 0. Solve -10 = 3*y - 5*m, 4 = b*y + m + m for y.
0
Suppose 0 = 4*o - 4*f - 64, -11*o + 16*o = 