 d*a = 2*a - 5 for k.
3
Suppose 0 = 70*d - 85*d + 315. Solve 2*y - 4*z = 22 - 4, -3*z - d = -4*y for y.
3
Let a = 501 - 501. Solve 2*m + 2*r = 10, -2*m - r = -a*r - 9 for m.
4
Suppose -6*n + 178 = 130. Solve -5*j = -5*o + 30, -n*o + 3*j = -3*o - 24 for o.
3
Let c(w) = w + 6. Let s be c(0). Let y = 15 - 3. Suppose 0 = 3*b - s*b + y. Solve -6 = -2*m + u, m - 14 = -b*u - u for m.
4
Suppose k - 10 = 4*q + 15, -2*k = -5*q - 47. Solve -o = -2*s + 11, -4*o + o = -3*s + k for s.
4
Let d be (-11)/(-44) - 1/4. Suppose 3*u - 2*b = -8 + 3, d = -4*u + 4*b. Let g = -3 - u. Solve 3*z - g*s - 8 = 0, -5*z = -2*z + 2*s - 16 for z.
4
Let m(h) = h**3 - h**2 - 24*h - 13. Let b be m(-4). Solve b*u + 4*v - 2 = 18, 3*u - 4*v = 4 for u.
4
Suppose 3*j + 6 = -0*j. Let b be (0*1/3)/(j/(-1)). Solve 5*a + 4*n - 5 = -b, n = -a for a.
5
Suppose 2*a + l = 5, 0*l = -a - 2*l - 2. Let r be 3/(2 + 1)*0/a. Solve s - n = r, 0 = s + 4*s - 2*n + 12 for s.
-4
Suppose 63*t - 61*t = -4*p + 52, -2*t + 37 = 3*p. Solve 0 = 3*i - p, 7*h + 4*i = 2*h + 20 for h.
0
Let o(u) = -2*u**2 + 36*u + 239. Let m be o(23). Solve 2 = -5*t + 3*s + 26, s - m = -4*t for t.
3
Suppose -v + 56 = 3*b, -v - 10 = -b + 10. Let g = b + -14. Suppose g*u + m = 67, 3*m = 2*u + 4*m - 25. Solve 4*i + u = n + 3, -2*i + 4*n - 16 = 0 for i.
-2
Suppose -29 = -4*p - 13. Suppose -11 = p*a - 11. Solve 2*w - 21 = -5*v - 0*v, v + 3*w - 12 = a for v.
3
Suppose -8 = -4*y - 2*s - 6, 4*s = -y - 17. Solve -5*a + 0*q - 2*q = -15, y*q - 16 = -a for a.
1
Suppose -16*j - 28 = -23*j. Solve o + 19 = j*k, -5*k + 30 = 8*o - 3*o for k.
5
Let p(n) be the first derivative of 5*n**2/2 + n + 2. Let j be p(-1). Let c = j - -7. Solve 0 = -i + 6*i - 10, -5 = q - c*i for q.
1
Let x be (8/3)/(-10 - (-512)/48). Solve 5 = 5*g - 3*p, -x*g + 0*p + p + 11 = 0 for g.
4
Suppose 2*w - 9*w + 133 = 0. Let d = 23 - w. Solve -d*j + 3*s = -2*s + 4, 16 = 3*j + s for j.
4
Suppose 83*p - 58*p = 125. Solve -s - 16 = -p*z, 4 = 2*s - 0*z - z for s.
4
Let s = -96 - -48. Let a be ((-3)/12)/(4/s). Solve -19 = -5*p + a*v, -3 - 4 = -2*p + v for p.
2
Suppose 0*j - u - 11 = -5*j, 4*u = 2*j + 10. Solve 0*t = -j*k + t - 6, 15 = 5*t for k.
-1
Let d = -53 - -53. Solve 3*k = 3 - 9, -3*w + 3*k + 21 = d for w.
5
Suppose 8*d - 19 - 21 = 0. Solve -4*c = 2*a + 4, d*a + 4*c - 8 = -0*c for a.
4
Let g be 50/4*18/9. Let w = -18 + g. Suppose w*h - 15 = 4*h. Solve -4*t + 20 = -8*t - n, -h*t + n = 16 for t.
-4
Suppose 2*n - 8 = -2*r, 3 + 1 = n. Suppose -3*d - 2*d = r. Solve f - 3*f = 2*t - 6, d = -t + 2*f - 12 for t.
-2
Suppose 5*w + 4*b - 15 = 0, -2*b = 3*w + 2*b - 9. Solve 0 = -2*p + 2*r - 6, 2*r = -p - 3 - w for p.
-4
Suppose -1 = u + 3*b, 5*u = 5*b + 5 + 30. Solve -43 = 5*m - u*f - 13, 5*m - f = -14 for m.
-2
Suppose -5*i + 86 = -4*r, -3*i + 4*r = -0*r - 58. Solve 5*g + 5*y - 3*y = i, -2*g - 3*y = -10 for g.
2
Let q(c) be the second derivative of -c**4/12 + c**3/2 + 5*c**2 + 2*c. Let m be q(5). Suppose m*g + 5*g = 35. Solve -18 = -2*j - 3*h, 0*j + h = -j + g for j.
3
Let q = 3 + 0. Suppose 5*v + 3*d - 784 = 0, -2*v - 3*d = v - 474. Let s = 157 - v. Solve 0 = s*x - 2*t + 4, 2*x + 4*t - 5 = q*x for x.
-1
Let h be 14/2 - (-61 + 64). Solve 0 = -4*q, -4*p + h = 3*q + q for p.
1
Suppose -21*i = -15*i + 16*i. Solve -3*t + m = -i*t - 7, 23 = 5*t + 4*m for t.
3
Let o(w) = -2*w - 2. Let j be o(-2). Suppose -12 - 8 = -j*b. Suppose 0 = -f + 6*f - b. Solve -f*m = 4*a - 9 + 1, 10 = 3*m + 4*a for m.
2
Suppose 9*o - 18 = 12*o. Let z be 5*3/(-30)*o. Suppose -w + 1 = 2*i, 0 = z*i - 5*w - 23 + 2. Solve -4*f = -3*q - 35, -6*f = -f - i*q - 35 for f.
5
Let p(q) = q + 12. Let n be p(-11). Let z be (((14/n)/(-2))/(-1))/1. Solve 2*x - z = -3*f, -x + 0 = -5*f + 3 for x.
2
Let p(l) = -7*l - 5*l**2 - 22*l**3 + l**2 + 21*l**3 - l**2. Let b be p(-3). Solve q + 17 = 8*i - 4*i, -i + 18 = -b*q for i.
3
Let y be (2/(-3))/(320/(-45) + 7). Solve -2*c + y = -5*b + 19, 4*c + 15 = -b for c.
-4
Let n(y) = y**3 + 9*y**2 + 12*y + 20. Let s be n(-8). Let g be 2/s - 13/(-6). Solve o = g*o, 2*l = 5*o + 2 for l.
1
Suppose 40*w - 16 = 36*w. Suppose -w*m = -5*m - z + 10, m - 14 = z. Let f be (-2)/(-5) + (-23)/(-5). Solve 0*a - m = 2*a + 2*i, 0 = 4*a + f*i + 27 for a.
-3
Let g be 1*-2*20/(-8). Solve -5*a - 12 = -4*u - 31, 0 = g*u + 5 for a.
3
Let l(w) = -w**2 - 2*w + 89. Let k be l(0). Let c = 91 - k. Solve -3*v - 9 = -h - c, 5*v + 19 = -2*h for v.
-3
Let l(f) = 2*f**2 - 3*f - 4. Let d be l(3). Suppose d*y - 10 - 10 = 0. Let w be 0/y*(-1)/3. Solve -k - 2*k - 7 = x, w = 5*k + 3*x + 9 for k.
-3
Let i = -144 - -179. Suppose 2*d = -d - 5*c + 25, -5*c + i = 5*d. Solve d*x - 5*w = 0, 0 = 3*x - 2*x + 2*w - 15 for x.
5
Let x(w) = w**3 + 31*w**2 + 30*w + 3. Let j = 11 - 41. Let t be x(j). Solve -n = -2*v - t*v - 17, 0 = 3*n - v + 5 for n.
-3
Suppose 0 = -4*o - 46*u + 51*u + 10, -5 = -3*o + 5*u. Solve 5*b = -y - o, 6*b = 8*b - 2*y - 10 for b.
0
Let x be (-6)/39 + (-540)/(-130). Solve 2*o = -2*l - 2, 5*l = x*o - 2 + 24 for o.
-3
Suppose -2*m + 13 - 11 = 0. Let l be ((-2)/(-3))/(m/24). Solve 4*f - l = u, u + 19 = 8*f - 3*f for f.
3
Let d(q) = q**3 - 13*q**2 + 15*q - 34. Let y be d(12). Solve 4*p - y - 2 = 0, h = 4*p for h.
4
Suppose 2*r - 18 = -4*b, -277*b - 45 = -282*b + 5*r. Solve m = u + 4, m + 8 = u + b*m for u.
-2
Let q be 9*(-8)/(-12) + -3. Solve -3*c + q*l + l + 2 = 0, -2*l = -3*c + 4 for c.
2
Let n be 6*28/(-63)*(-12)/16. Solve -5*l - 18 = n*r + 12, -5*r - 17 = -2*l for r.
-5
Suppose 35 = 3*j + 14. Let w(f) = f**2 - 8*f + 9. Let o be w(j). Solve -5*h - o*y - 17 = -3*y, -4*y = 4*h + 4 for h.
-3
Let u(i) = i**3 - 7*i**2 + 2. Let a be u(7). Suppose -34 + 13 = -3*g. Let v = 12 - g. Solve -r - 23 = -2*d - a*d, -v*r - 10 = d for r.
-3
Suppose 0 = 28*x - 23*x. Solve -5*j + 3*a - 10 = x, 3*j + 2 = 2*j - 3*a for j.
-2
Let q = 53 + -49. Let c = 23 + -17. Solve -3*r + 3*d = 0, q*r + c = -r + 2*d for r.
-2
Let b = -1 + 1. Let d = b - -7. Let m = 10 - d. Solve -l - l - 12 = -m*c, -4*c + 2*l + 16 = 0 for c.
4
Let x = -5 + 7. Let q be (-4*9/6)/(-2). Suppose u - 19 = -q*m, -5*m + x + 28 = 2*u. Solve -4*p - 2 = -v, -2*v + 0*p - 4*p - m = 0 for v.
-2
Let b(t) = -t**2 + 7*t - 5. Let u be b(2). Solve -10 = -0*m - 2*m - 5*g, 25 = u*m + 4*g for m.
5
Let p = -104 + 108. Solve -q = 4, 0 = h - 3*h - p*q - 14 for h.
1
Let x(l) = 6*l**2 - 14*l. Let j be x(3). Solve 2*a = 3*n + 20, 8*a = j*a - 16 for n.
-4
Let i = -52 + 57. Solve -5*j - c + 0*c - 1 = 0, -5*c - i = -3*j for j.
0
Suppose i = -i - 8. Let j = -1 - i. Let y be (13/2 + -4)*4. Solve 5*p + y = -3*t, -4*p + 0*t - j*t - 8 = 0 for p.
-2
Let x(s) = -s**3 - 4*s**2 + 3*s. Let b be x(2). Let a = -14 - b. Suppose 2*c = -5*o + 19, 2*c = 3*c - a*o + 10. Solve -5*l - c = 3, -5*y - 5*l = -20 for y.
5
Let z be 3/((6/(-28))/(-1)). Suppose 75*h = 71 + 304. Solve 0 = -h*r + g - z, 0*r + 2*r + 5*g = -11 for r.
-3
Suppose 0 = -114*p + 96*p + 72. Suppose 0 = -2*k - 6, -2*o + 0*o - 5*k - 23 = 0. Let v = -2 - o. Solve v*w + p*j + 8 = 36, 0 = 4*w - j - 11 for w.
4
Let t(q) = 4*q. Let l be t(3). Let c = l + -10. Suppose -3*w - u = -8*w - 4, 2*u - 8 = -c*w. Solve 0 = b + 5*a + 18, w*b + 5*b + 3*a + 24 = 0 for b.
-3
Let l be (-2)/6 + 21/9. Suppose -3*k - 3*i = -12, 0 = 4*k - l*k - 2*i + 8. Let r be k + (3 + -3 - -3). Solve r*n - 5*v + 2 = -14, 2*n + 10 = 3*v for n.
-2
Suppose 3*v - 5 = 2*r, 2*r - 4*v = -11 + 1. Suppose -r*b + 21 = -4, -b = 3*o - 14. Solve -2*a - 5*n = -16, -2*a - o*n + 2 = -5*n for a.
3
Let m(n) be the third derivative of -n**5/60 + 5*n**4/24 - n**3/2 - 4*n**2. Let z be m(3). Solve 4*a + 2 = 5*v, -7*v = -z*v + 4*a + 20 for v.
-2
Let j = 35 + -35. Let z = 3 + j. Solve -5*r = 2*t - 6*t + 4, 0 = -z*r for t.
1
Suppose -w + 3 = -0*w. Suppose -j = 2*c + 5, w*j = 3*c - 2*c + 20. Suppose 8*o - j*o = 33. Solve 3*f + f = -5*k - o, 19 = 4*f - 5*k for f.
1
Let v(o) = o**3 - 19*o**2 - 21*o + 25. Let k be v(20). Suppose 4*g + k = -g, g = -2*j + 3. Solve 2*r - 4*r + 2*u + j = 0, 2*r - 4*u + 4 = 0 for r.
4
Suppose 0 = 4*s + h - 13, -3*s + h = -13 - 2. Suppose -16 = -s*t - 0. Solve -t*n - d - 5 = n, -5*d = 25 for n.
0
Suppose 4*a = -4*z + 3*z - 14, z = 5*a + 31. Solve 2*p + j = z*p + 16, -4*j - 12 = 3*p for p.
-4
Let x = 770 - 767. Solve -3*r + 8 = r + x*a, a + 4 = 2*r for r.
2
Let z be (-44)/2*-1 - 4. Suppose 2*t = -5*o + 28, -3