. Solve t = -2*c - 2 for c.
-2
Let h = 5 - 2. Suppose -h*k - 2 = -14. Solve 3 = k*x + 11 for x.
-2
Let l(a) = a + 7. Let t(b) = -b - 7. Let w be t(-7). Let g be l(w). Let j be (-1)/2*(-35 - 1). Solve -5*v - j = g for v.
-5
Let c = 19 - 9. Let i be 4*-1*(-3)/(-3). Let j be 2/8 - 11/i. Solve 0 = -2*y - j*y + c for y.
2
Suppose -n = 12 - 0. Let k be (-81)/n - 1/(-4). Suppose -3*o - 48 = -k*o. Solve 4*s = s - o for s.
-4
Suppose -4*o + 3 = -3*o. Solve o*t - t = 0 for t.
0
Let w be (-10 + 8)/(-2 + 1). Solve l + w = -l for l.
-1
Let n(i) = 6*i + 3. Let f be n(-2). Let m(t) = -t + 11. Let v be m(f). Solve -3*p = -7*p + v for p.
5
Let p(s) = -s - 10. Let f be p(-5). Let q(b) = b + 4. Let o be q(f). Let i be 13*o/3*-3. Solve -2*l + 3 = i for l.
-5
Suppose 24 = 5*o - 21. Let p(j) = -6 - 8*j - 2*j**2 + 0*j + 3*j**2. Let d be p(o). Solve -d*v + v = 6 for v.
-3
Let x(k) = k**3 + k**2 - k + 2. Let z be x(-2). Solve z*y = y for y.
0
Let y(p) = -1 - 2*p + 2 - p + 2*p. Suppose -2*g + 10 = 4*h, -h + 2*h + 20 = 4*g. Let b be y(h). Solve 3*t - b = -7 for t.
-2
Suppose 0 = -3*v - 33 - 30. Let t be (-3)/(5 + -2) - v. Solve w = -3*w + t for w.
5
Let q(l) = -l**2 - l + 2. Let v be q(-2). Solve -6 = -2*s - v*s for s.
3
Let m be 5/2*66/15 + -3. Solve -m - 7 = -3*f for f.
5
Suppose 0 = j - 18 + 6. Let i = -7 + j. Solve -i*a = -4*a for a.
0
Let a(i) = -i + 2. Let w be a(8). Let q = w + 6. Solve q + 20 = 4*r for r.
5
Let y = -8 - -11. Suppose f = y*f - 4. Solve -5 = p - f for p.
-3
Let y be 73/15 + 11 + (-1141)/105. Let r be ((-6)/(-8))/(2/8). Solve -r*o = -2*o + y for o.
-5
Let n = -11 + 5. Let k(f) = -2*f**2 - 5*f + 1. Let j(a) = a**2 - a - 1. Let r(l) = j(l) + k(l). Let q be r(n). Solve -3*c + 0 - 3 = q for c.
-1
Let f be 18 + (-1 - 2) + 0. Let i be (-305)/f + (-2)/(-6). Let w be ((-12)/(-5))/((-6)/i). Solve -w - 4 = 3*r for r.
-4
Let z = -9 - -8. Let s = z + 10. Let f = s + -7. Solve -q + 0 = -f for q.
2
Let l = 4 - -8. Suppose -l = 2*o - 4*c, -6 = -c - 2. Solve -o = -0*j - j for j.
2
Let x = 135 + -133. Solve x = -0*p - p for p.
-2
Let d be -2*-1*6/4. Suppose 0 = -5*z + 4*w - 31, -4*z + z - 29 = -5*w. Let n(i) = -i**3 - 3*i**2 - 2*i - 4. Let f be n(z). Solve 2*a - d*a + f = 0 for a.
2
Let u = -6 + -1. Let n(d) = d**2 + 8*d + 9. Let s be n(u). Solve s*t = -2 - 4 for t.
-3
Suppose 0 = -j - 2. Let b = -7 - j. Let z be (b - -3)*(-5)/2. Solve 4 = -z*n - 1 for n.
-1
Let j be -16 + 21 + 1*-1. Solve 0*y = j*y + 12 for y.
-3
Suppose 6*l + l - 35 = 0. Solve l = 4*x - 7 for x.
3
Let s = 1 - 1. Solve i + 4 - 3 = s for i.
-1
Let k be -4*3/(-8)*2. Solve k*o + 4 + 2 = 0 for o.
-2
Suppose 6*s = 22 + 2. Solve 2*r = s - 0 for r.
2
Let p(u) = u**3 - 9*u**2 + 7*u + 8. Let r be p(8). Solve -4*a = -r*a for a.
0
Let y be (-5)/2*(-6)/5. Suppose -3*t = -2*p - 3*p + y, 4*p = 2*t + 4. Solve -2 - 2 = -t*m for m.
1
Let r = 5 + 1. Suppose -2*t + 4 = 3*i - 0*i, -2*i + r = -2*t. Solve i*a + 14 = 4 for a.
-5
Let t(y) = 20*y**3 - 41*y**2 + 41*y + 2. Let p(l) = 7*l**3 - 14*l**2 + 14*l + 1. Let m(d) = -17*p(d) + 6*t(d). Let k be m(7). Solve 3*j = -k*j - 25 for j.
-5
Let v = 26 - 25. Solve -y + v = -0 for y.
1
Let o(x) = x**2 + 6*x + 2. Let b be o(-6). Let d = 1 + b. Suppose -3*f = d*a - 3, -f + 4*a + 7 = 3*a. Solve -c + 1 = f for c.
-3
Let b(y) = y - 4. Let a be b(4). Solve a = 3*n + n for n.
0
Let l = -4 + 3. Let d be (l - (-6)/1)/1. Solve -7 = d*b - 17 for b.
2
Suppose 5*w + 11 = 61. Solve w = 3*h - 5*h for h.
-5
Suppose 2*v - 96 = -2*v - 3*d, -d = -2*v + 38. Solve -v = 4*o - 1 for o.
-5
Suppose 3*i - n - 18 = 0, -2*i + 3*n = -0*i - 12. Solve x - 5 = i*x for x.
-1
Suppose -b + 5*d = -24, 3*b = 7*d - 3*d + 28. Solve -b - 16 = 5*p for p.
-4
Let t = 4 - 1. Let p(a) = a**2 + 15*a + 41. Let r be p(-13). Solve 4*n - r = -t for n.
3
Suppose 0*w + 9 = 3*w. Let k be w*7/((-42)/(-40)). Let j be (4/3)/(k/30). Solve 0 = -t + j for t.
2
Suppose 0 = -5*f - 5*x - 20, 5*x = 4*f - 0*f - 2. Let a = 0 - f. Suppose m + 6*j + 10 = 2*j, 5*j + 19 = a*m. Solve 0 = -v - m*v for v.
0
Let k be 3 + -6 + 0 + 4. Solve 0*t - t - k = 0 for t.
-1
Suppose n = 5*n + 36. Suppose -2*o = -3*q - 0*o - 7, 2*o + 2 = 0. Let s be 1/q - 30/n. Solve -r = -s*r for r.
0
Let u(w) = w**3 + 10*w**2 + 9*w + 12. Let i be u(-9). Solve -2*q = 2*q + i for q.
-3
Suppose -2*w = -5*v - 5*w + 55, w - 29 = -3*v. Solve -2*u + 0*u = v for u.
-4
Let k(h) = -2*h + 9. Let n be k(3). Solve 0 = -n*d + 2*d for d.
0
Let d(c) = c + 3. Let o be d(5). Solve 0 = 7*n - 3*n - o for n.
2
Suppose 3*r = -d + 3, -5*d + 0*d - 17 = -r. Solve -3*i + 20 = r*i for i.
4
Suppose -4*r - 6 = -18. Solve -r*k + 2*k = 0 for k.
0
Let z = 56 - 48. Solve y = 11 - z for y.
3
Let n = -36 + 40. Solve 6 = 6*d - n*d for d.
3
Let h(v) = 11*v**3 - 7*v**2 - 7*v - 19. Let p(f) = 5*f**3 - 4*f**2 - 3*f - 9. Let d(s) = -4*h(s) + 9*p(s). Let l be d(8). Solve -7 - 2 = l*u for u.
-3
Let q be 3*(-2 + 3) - -5. Suppose -4*m - o = -0*o - q, -3*o - 2 = -m. Solve 0 = m*v - 6*v for v.
0
Suppose y - 2*y - 2 = 0, -2*i - 2*y + 4 = 0. Suppose 6*s + 10 = i*p + s, -4*s = -8. Solve -7 - 8 = p*z for z.
-3
Let q(o) = o**3 + 6*o**2 + 5*o. Let t be q(-5). Let a be 0 - -1 - 0 - -1. Solve t = l + a + 3 for l.
-5
Let u = 18 - 6. Solve 0*o = 3*o - u for o.
4
Let q(r) = r + 2. Let p be q(-1). Let v be -1 + 5 + -3 - p. Solve v = -b - b + 4 for b.
2
Suppose 2*g + 30 = 4*l, l + g = 6 + 3. Solve l = i + i for i.
4
Suppose -4*o + 0*o = 12, -30 = -4*m - 2*o. Solve -m = 5*v - 34 for v.
5
Suppose 3*g = 4*a - 34, 4 = 3*g - 2. Solve 30 - a = 5*b for b.
4
Let m = -11 - -16. Suppose -2*s + 12 = s - 3*p, -m*s - 4*p = 16. Solve 4*x = -s*x + 20 for x.
5
Let q(x) = -5*x + x**3 + 2*x + x**2 + 4 - 4*x**2 + x**2. Let f be q(3). Suppose 2*v = -2*r - 10 + 44, 2*v - 4 = 4*r. Solve 8*d + v = f*d for d.
-3
Suppose 0 = -4*v - q + 23 + 12, -25 = -5*v + 5*q. Let m = 10 - v. Solve 9 = 5*x - m*x for x.
3
Let p = -32 + 34. Solve -h = -p*h + 1 for h.
1
Let d = 3 + 0. Suppose -10 = v - d*v. Suppose -2*s + 6 = s. Solve -v*k + s = -3 for k.
1
Suppose -5*t = -27 - 13. Suppose 0*f + 4*f = 12. Let u be 54/t - f/(-12). Solve -u*d + 2*d = 5 for d.
-1
Suppose 0 = 2*r - 4*n - 14, -26 = -5*r + 4*n + 9. Let t(b) = b - 6. Let m be t(r). Solve w = 3 - m for w.
2
Let i = -8 + 33. Solve -4*f + i = f for f.
5
Let k = 61 - 60. Solve k = m - 0*m for m.
1
Let h = -6 - -11. Let z(w) = 2*w**2 + 2*w - 2. Let t be z(-2). Suppose -r = -t*r. Solve -h*l - 5 - 5 = r for l.
-2
Let g = 19 + -9. Let f be (-1 - 16/(-10))*g. Suppose 2*m - f = -m. Solve -2*t - m = 6 for t.
-4
Let d = 74 - 71. Solve -4 = 2*b - d*b for b.
4
Let p = 64 + -62. Solve -4*q + p*q = -4 for q.
2
Suppose -3*s + 4*g = -23, -3*g = -0*s - 5*s + 42. Solve -n = -4*n - s for n.
-3
Let l(g) = 14*g**3 - g**2 + 2*g - 1. Let x be l(1). Let f = x - 13. Solve -f - 15 = 4*n for n.
-4
Let y be ((-18)/4)/((-14)/28). Solve -5*z + 2*z = y for z.
-3
Let x(k) = -6*k - 1. Let q be x(-1). Suppose 0 = 3*t + c - 0 - 4, -4 = t - q*c. Suppose -2*y - 5*s - 10 = -t, 4*y - 21 = 3*s. Solve -3*n - y = -0*n for n.
-1
Let a = 66 + -111. Let b be (-34)/(-9) + (-10)/a. Suppose 3*t - b = 2. Solve -t*u + 5 = -3 for u.
4
Let k be 16/9 + (-2)/(-9). Let t = 19 + -16. Let j = -16 + 29. Solve k = t*b - j for b.
5
Suppose 0 = -5*j - 4*g - 2, -3*j - 2*j + 5*g - 20 = 0. Let x = j - -5. Solve -x - 5 = -4*u for u.
2
Let n(b) = -b + 8. Let v = -7 + 11. Let u be n(v). Let q be (-1)/((2 - 3)*1). Solve 3*p = u - q for p.
1
Let g(h) = 9*h + 4*h**3 - 3*h**3 - 4 - 4*h**2 - 2 - 3*h**2. Let z be g(6). Let c be (-4)/(-6) - (-52)/z. Solve 0 = -2*l + 3*l + c for l.
-5
Let c(m) = -3*m + 35. Let h be c(10). Solve 19 = -h*y - 1 for y.
-4
Let w(z) = z**3 - 9*z**2 - z + 10. Suppose 0 = 3*y - 3*x - 18, -36 = -y - 2*y - 3*x. Let v be w(y). Solve 0*a = a - v for a.
1
Let y = 33 + -29. Solve -k = k + y for k.
-2
Let j = -39 + 64. Let k = -9 + j. Solve -9 - k = -5*v for v.
5
Let x be 140/21*(-24)/10. Let y = x + 17. Solve y = -a + 6 for a.
5
Let h(q) = q + 8. Let j = -3 + -2. Let a be h(j). Solve -1 = -a*d - 13 for d.
-4
Let a(q) = q**2 + 2*q + 3. Suppose -5*i = 5 + 10. Let o be a(i). Solve 0 = -3*c - 0*c - o for c.
-2
Let g be (28/6)/(1/3). Suppose -m + 2 = -2*y - 0, 4*y - 8 = -m. Let b = -1 + 6. Solve -g = -b*o + y for o.
3
Suppose 3 = 4*q + s + 1, q = -3*s + 6. Suppose 0*y - 4*y