t x = 4 + 4. Solve x - t = -2*a for a.
-3
Suppose 3*u + 2*v - 32 + 3 = 0, 3*u - 59 = 4*v. Solve -u = -5*h + 12 for h.
5
Let v(l) = -l**3 - 3*l**2 - l + 2. Let h be v(-3). Suppose -g + 3 = 2. Let a be (-1 - h)*g/(-2). Solve 0 = -0*p + a*p + 12 for p.
-4
Suppose 5*l + 8 = 3*i, i = -2*l + 1 - 13. Let u be (-2)/3*18/l. Solve 0*h + h = u for h.
3
Let o(h) = -h**2 + 5*h + 3. Let c be o(5). Suppose -d - 5 = 0, -4*d + 14 = 3*r + d. Solve r + 2 = -c*y for y.
-5
Let r = 0 - -6. Suppose 0 = -5*k + 4*g + 20, k - 2*g = -k + 10. Solve r = -2*w - k for w.
-3
Suppose l = 5*l - 104. Suppose -4*x + 6*x = -3*b + l, -12 = -b + x. Solve b = -0*i - 2*i for i.
-5
Let w be (19 + -19)*(0 - 1). Solve w = 2*v - 0 + 4 for v.
-2
Suppose 0 = a - 2*a + 4. Suppose 0 = a*p + p. Solve p*k + 4 = 4*k for k.
1
Let m = 76 + -70. Solve m = -a + 4*a for a.
2
Let k = 8 - 6. Solve -k*c = 3*c for c.
0
Suppose -4*f = 4*j - 143 + 55, 0 = -5*f - 15. Solve 3*d = -2*d + j for d.
5
Let j be ((0 - -3)/(-9))/((-1)/24). Solve 3*r + j + 7 = 0 for r.
-5
Let c = -8 + 3. Let l be (2/(-5))/((-1)/c). Let r(v) = v + 2. Let n be r(l). Solve 0 = 2*z - n*z + 6 for z.
-3
Let z = -5 - -15. Solve -d = 4*d + z for d.
-2
Let d(n) = n**3 - 9*n**2 - 10*n + 5. Let x be d(10). Suppose -4*b = g - 16, 0*g + 42 = 4*g + x*b. Solve g*s = 4*s for s.
0
Let q(t) = 3*t. Let u be q(3). Let h be -3 - ((-58)/8 - 7/(-28)). Solve u = -h*g + 1 for g.
-2
Suppose 3*f - g = -55, 3*g = 3*f - 2*f + 29. Let y(c) = -c**2 - 18*c - 14. Let s be y(f). Solve 2 = -s*i - 4 for i.
-2
Suppose 4*d = 2*j - 6 - 2, -5*j - 5*d + 5 = 0. Solve -4*t - 2 = j for t.
-1
Suppose 0 = q + 2 - 4. Solve r = q - 7 for r.
-5
Let a = -14 - -29. Let x be 2/(-6)*0/(-4). Suppose x = -3*q + 16 - 1. Solve -a = q*p - 2*p for p.
-5
Suppose -3*s = s. Solve 2*l = -s*l for l.
0
Suppose 4*y = -2*a - 0*y + 26, 4*y = -3*a + 29. Solve 10 = -a*q - 2*q for q.
-2
Suppose 3*y = 3*w + 5*y - 2, 2*y + 6 = w. Suppose 7 + w = 3*k. Let l = k + -1. Solve l*r = -r - 9 for r.
-3
Suppose -w = 5*j + w - 60, 0 = -5*j - w + 55. Suppose 7*b - j = 2*b. Let m be (b + (-2 - 3))/(-1). Solve g + m*g = 12 for g.
3
Let c be (-1 + 5)/(5 - 3). Let z be (c/(-2))/4*-4. Solve -2*b - z = -9 for b.
4
Let j = 3 - 1. Let h = 1 + j. Solve -2*a = -h*a for a.
0
Let p(b) = b**3 - 3*b + 3. Let r be p(2). Let l(y) be the third derivative of y**5/20 + y**4/12 + y**3/6 + 4*y**2. Let d be l(2). Solve r*m = -3 - d for m.
-4
Suppose -5*i + 16 = -i. Suppose 4*o = o. Let g(m) = m**3 + 4. Let v be g(0). Solve v*x + o = -i for x.
-1
Suppose w + 5*r - 13 = 0, 19 = -2*w + 5*r - 0*r. Let y = w + 6. Solve y*k - 7*k - 6 = 0 for k.
-2
Let d(j) = -j**3 - 3*j**2 + 4*j + 5. Let r be d(-4). Suppose r*p = 10, 2*a - 4*p + 24 = 3*a. Let k = -10 - -14. Solve 0*v = -k*v + a for v.
4
Suppose -3*i - y = -32, -5*i = 2*y - y - 54. Solve 3*x + 4 = -i for x.
-5
Suppose -8*p = -3*p - 60. Suppose 3*z + 3*h - p = 0, z + z - 4 = 2*h. Solve 0 = 6*y - z*y + 12 for y.
-4
Suppose w = 3*b, 9*b - 4*b - 17 = -4*w. Solve -w*i + 19 - 4 = 0 for i.
5
Let s be 14/(-2)*(-480)/56. Suppose s = -j + 6*j. Solve 2*i = -i + j for i.
4
Let u(y) = -3*y**2 + 5*y - 3. Let n(h) = -2*h**2 + 3*h - 2. Let p(z) = -8*n(z) + 5*u(z). Let w be p(-3). Solve 2*d + 1 - w = 0 for d.
3
Suppose -3*o + f = -42, -3*o + 7 = f - 41. Solve 7*m = 2*m + o for m.
3
Suppose -3*q = -3*b + 45, 97 = 4*b - q + 25. Suppose -3*d + 4*v + 35 - 6 = 0, 5*v + b = -2*d. Solve t + d = 1 for t.
-2
Let h be 2/(-1)*3/(-2). Let d(j) = j + 3. Let o be d(h). Solve -3*p = -o - 6 for p.
4
Let o(y) be the third derivative of y**5/60 + 5*y**4/24 + 5*y**2. Let k be o(-5). Solve k = -4*n + n for n.
0
Let w = 1 + 2. Let s(c) = c**2 - 3. Let d(z) = -z + 7. Let x be d(10). Let r be s(x). Solve 9 + r = -w*i for i.
-5
Let u(x) = 4*x**2 - 6*x - 16. Let m be u(3). Let f be 1 + (-2 - -1) + 2. Solve -f*s = m*s for s.
0
Let n(h) = 2*h - 6. Let l be n(4). Solve 0 = -2*f - 6 - l for f.
-4
Let k(v) = 14*v + 8. Let r be k(-14). Let x be r/(-16) + (-2)/(-8). Solve 3*l = 3 + x for l.
5
Suppose 0 = -3*j + 15, -3*d + 3*j - 9 = -0. Suppose 0 = 5*q + d*o - 21, 0*q = -4*q - 3*o + 21. Solve -q - 3 = 2*m for m.
-3
Suppose 0 = -3*v + 3*h - 7 - 8, 3*h = 5*v + 15. Suppose v = 5*p + a - 13, -6*p = -p - a - 7. Solve 2*w = -p*w + 12 for w.
3
Suppose s + 2*s - 30 = 0. Let o be 1/(-2) - (-65)/s. Solve 6 = 3*b - o*b for b.
-2
Suppose -6*s = -4*s - 2. Solve -a + 0*a = -s for a.
1
Let d = -6 - 0. Let c be (-1)/d + 29/6. Let x(j) = 5*j**2 + 2*j. Let q be x(-2). Solve -q = c*l - l for l.
-4
Suppose 2*x - 13 = 2*b - 5, -x + 2*b = -6. Solve h = -4 + x for h.
-2
Let p(s) = 15*s - 8. Let o be p(2). Let y = 6 - 0. Let g be 0/((-3)/(y/(-4))). Solve g = 3*k - 7 + o for k.
-5
Suppose 12 = -3*x, -5*p + 5 = -5*x - 5. Let h be 3 + (-8 - p) + 3. Solve -2 = m - h for m.
-2
Let o(f) = f + 2. Let p be o(3). Suppose 4*d - 17 = -1. Solve d*y + p - 21 = 0 for y.
4
Let v be (-12)/(-1*(-12)/(-16)). Solve -3*q + v = q for q.
4
Let a = -4 - -6. Suppose -i - 1 = -2*d - 8, a*i - 19 = 5*d. Let u = d + 7. Solve 0 = -4*x - 6 - u for x.
-2
Let r = -47 + 51. Solve -s + r*s + 6 = 0 for s.
-2
Suppose -a = -1 - 1. Solve -4*b = 10 - a for b.
-2
Suppose 2*q + 8 = 7*q - 3*k, k = 3*q - 4. Let y = -11 + 11. Solve y*h = -h + q for h.
1
Let b(a) = a**2 + 9*a + 1. Let s be b(-7). Let z be (-2)/(-2)*2 - s. Solve -3*y + 0*y = z for y.
-5
Let n(r) = -2*r - 1 + 2 + 9. Let x(o) = 4*o - 19. Let t(g) = 7*n(g) + 4*x(g). Let l be t(4). Solve 6*s = l*s + 8 for s.
2
Let k = -1 - -4. Let d = -6 - -10. Solve -k*l + 2 = -d for l.
2
Let z(x) = 4*x. Let q be z(-1). Let w be q/14 - (-64)/28. Suppose 27 - 11 = w*p. Solve -p = 2*u + 2 for u.
-5
Let g = -6 + 20. Solve -4 + g = 2*y for y.
5
Let v(c) = 2*c**3 - 2*c**2 + c + 2. Let t(l) = -l**3 + 3*l**2 - 2*l - 3. Let h(d) = -2*t(d) - 3*v(d). Let n be h(-1). Solve n*x + x = -16 for x.
-4
Suppose f - 6 = -2*f. Solve x = f - 5 for x.
-3
Suppose 0 = -2*z - 1 - 1, -s + 4*z - 26 = 0. Let y be 2/(-12) - 65/s. Solve -5 = -y*o + 1 for o.
3
Let d(k) = 3*k**2. Let t be 6*1/2 - 2. Let c be d(t). Suppose h + 5*u - 6 = 24, -5 = 2*h - c*u. Solve -h*b = -0*b for b.
0
Let a = -4 + 4. Suppose 0*t + t + 16 = a. Let h be (-38)/(-8) + (-4)/t. Solve -h = -5*n + 15 for n.
4
Suppose 0 = -m - 4*m + 30. Let l be ((-1)/(-2))/(3/m). Let q = -6 + 10. Solve t - q = -l for t.
3
Let a = 9 - -1. Let q = 29 + -17. Let u be q/8*8/6. Solve -u*d = -7*d - a for d.
-2
Let f be (2/3)/((-2)/(-15)). Suppose x + x = f*o + 15, -5*o = 15. Suppose 3*v + 5*a + 8 = 0, 5*v + x - 32 = 3*a. Solve -v*r - 4 = -0*r for r.
-1
Let x(u) = u**2 - 2*u + 4. Let p be x(3). Let b be 1/(-4) - 66/(-8). Let d = b + -6. Solve d*h - 1 = p for h.
4
Let x = -17 - -22. Solve -4*p = -x*p for p.
0
Let z = 6 + -1. Suppose 0 = d - 2*x + 2 - 4, 12 = -z*d - x. Let t(n) = 2*n**2 + n - 2. Let k be t(d). Solve 11 = 3*c - k for c.
5
Let r be 2*8/((-32)/(-12)). Solve -2*g + 4 + r = 0 for g.
5
Let u = -49 + 53. Solve u*c - 3 = -7 for c.
-1
Let u = -7 + 12. Suppose m + 5*z = 5*m - 52, -u*m = -3*z - 52. Solve m = 2*i - 4*i for i.
-4
Suppose -4*v = -5*x - 6 + 46, -3*v = -5*x + 40. Let z = 10 - x. Solve z*w + 12 - 4 = 0 for w.
-4
Let t(q) be the first derivative of -4*q**4 - q**3/3 - q**2/2 + 2. Let j be t(-1). Solve -5*b - j = -1 for b.
-3
Let r(l) = -l**3 - 9*l**2 + l + 9. Let c be r(-9). Let i = c - -2. Let s = i + 1. Solve s*t = -t + 20 for t.
5
Suppose 32 = 13*j - 5*j. Solve -j*v - 10 = v for v.
-2
Suppose -5*d + 8 = -2*k - 23, 0 = 4*d + k - 17. Suppose -4*l + 4*q = -12, -d*l = 2*q - 7 - 36. Let b = 1 + 3. Solve b*z = l + 5 for z.
3
Suppose 0 = a + 2*w + 6, 3*w + 12 = -2*a + 3. Suppose -3*p + 0*p + 6 = a. Suppose t = 3*t - p. Solve t = -l - 4 for l.
-5
Suppose 0 = r + d + 1 - 2, 2*r = -5*d - 10. Solve 0 = r*u - 2 - 18 for u.
4
Suppose -4 - 12 = -2*g. Let b be (-2 + 2)/(-1) - -2. Let y = 0 + b. Solve 0 = y*t - 4*t - g for t.
-4
Let u = 114 + -100. Solve u = -4*m + 6 for m.
-2
Let o be (0 + 0)*2/(-6). Suppose 2*z + 3 - 11 = o. Suppose 2*d = 6*d. Solve d*f - f - z = 0 for f.
-4
Let g(u) = -u**3 + 19*u**2 + 20*u + 3. Let c be g(20). Solve -c = d - 1 for d.
-2
Let v be ((-9)/6)/((-12)/8). Let r be (4/v)/((-4)/(-6)). Solve 0 = -3*j + r*j for j.
0
Suppose -12*f = -14*f + 6. Solve -2 - 10 = -f*t for t.
4
Suppose -4*x + w + 76 = 0, -3*w + 8*w = -x