**3 + 8. Let t be p(0). Let b = l + t. Solve 0 = b*v + 2 - 8 for v.
3
Suppose 4*c - 138 = -14. Let j = -39 + 20. Let b = c + j. Solve d + 3*d = b for d.
3
Let t(x) = 4*x + 3 - 3 + 11*x + 1. Let n be t(1). Solve 1 = -5*v + n for v.
3
Let u(t) = -t**2 + 10*t - 12. Let o be u(8). Suppose 14 - 38 = -3*c + 2*b, -5*c + 42 = -o*b. Solve -2*g - g = -c for g.
2
Suppose 71 = 2*f + 11. Suppose -4*k = -6*k + f. Solve 2*l = 7*l + k for l.
-3
Let o = 20 - 18. Solve 2*d = 2 + o for d.
2
Let h be 15/2*12/15. Let d(j) = j**2 - 7*j + 10. Let c be d(h). Solve 3*l = -l + c for l.
1
Let u be (0 + 3 + -2)*3. Solve -u*t = -t for t.
0
Suppose 0 = -0*h - 2*h - 4*c + 2, -2*c = 3*h - 7. Let t = 9 - 13. Let g be (8/7)/t*-7. Solve -p + h = g*p for p.
1
Suppose 0 = c - 0*c + 4*q - 7, -5*q = c - 8. Suppose -2*b = -5*b + c. Solve 3*d - b = 8 for d.
3
Let b(p) = -3*p**2 - 3*p - 3. Let s be b(3). Let v = -18 - s. Suppose 2*m + 2 = 3*u, u - 7*m = -2*m - v. Solve 0 = 3*o - u*o - 1 for o.
-1
Let x(o) = o + 4. Let f = -5 - -10. Let r be x(f). Let u = 24 - r. Solve -4*h + u = -5 for h.
5
Let u(o) = o**2 + 10*o + 19. Let b be u(-8). Suppose 13 - 39 = -5*s - 4*h, 0 = -2*s - b*h + 9. Solve s = 3*d - 0 for d.
2
Let j(x) = -x**3 - 2*x**2 + 2*x + 2. Let w(t) = 2*t - 1. Let r be w(-1). Let p be j(r). Suppose -11*d + 34 = -10. Solve -s + p = d*s for s.
1
Let w = -24 - -42. Solve w - 2 = -4*d for d.
-4
Let u = -21 - -24. Solve o + 5 = u for o.
-2
Let q(w) = -w**2 + 6*w. Let u be 6 - 5*4/10. Let l be q(u). Solve 3*y + l + 7 = 0 for y.
-5
Suppose 5*v = 4*z - 10, 4*v - 2*z = -6*z + 28. Suppose 0 = 2*h + v - 8. Solve -h*c = c for c.
0
Suppose -2*x + 16 = 2*x. Solve -8 + 0 = -x*h for h.
2
Suppose -4*b = -19 - 29. Suppose -3*k - 6 = -b. Solve 5*w = 4*w + k for w.
2
Suppose -3*o + 2*o - w + 5 = 0, 0 = o + 5*w - 17. Solve -3 = o*v + 5 for v.
-4
Let s = -5 + 10. Suppose 1 = s*b - 9. Let q(v) = v**3 - 2*v**2 + v. Let d be q(b). Solve -d*i = -i - 3 for i.
3
Let a be 8/6*(-18)/(-4). Let d = -3 + -7. Let h = d + 14. Solve 0 = -h*q - 6 - a for q.
-3
Suppose 2*n + 3*n - 10 = 5*o, 4*n - 14 = o. Suppose -4 = -3*q + o. Solve -4*s + 2 + q = 0 for s.
1
Let k be (1 + -2)/(-4 - (-28)/8). Solve k*f - 4 = -0 for f.
2
Let m be (-54)/9*1/(-6). Solve 0 = 4*t + 7 + m for t.
-2
Suppose 0 = 3*b + 4*r - 31, 2*b + 3 - 26 = -5*r. Suppose -a + 4*a = b. Solve -z = -a*z for z.
0
Let m be ((-2)/(-2))/(3/(-9)). Let r be (m/(-9))/(2/12). Solve -r*v + 20 = 3*v for v.
4
Let i = -19 + 22. Solve i*b + 2*b = 0 for b.
0
Suppose 0 = 4*c - 4*n - 4, -c - 3*n + 9 = -0*n. Suppose -2*v + v - f + 5 = 0, 3*v - 18 = -4*f. Suppose 2*b + v*b = 8. Solve -r + c = -b for r.
5
Suppose -2*z = 2*s - 16, 2*s = -4*z + 3*z + 8. Solve 3*y - z*y = 0 for y.
0
Suppose -4*m = -2*w + 64, m - 5*m + 3*w - 62 = 0. Let b = -12 - m. Suppose -d + b - 4 = 0. Solve 0 = 3*s - 5 - d for s.
2
Let r(i) = -i**2 + i + 7. Let q be r(3). Solve -p - q = -2*p for p.
1
Suppose -5*p + 60 = 50. Solve 0 = 2*s - p - 6 for s.
4
Let w(v) = -v**3 + v - 1. Let k be w(0). Let p = -1 - k. Solve -s - 4*s = p for s.
0
Let k be 1/(1/10) - 0. Suppose 2*q - 25 + 21 = 0. Solve k = q*x + 3*x for x.
2
Suppose 0 = -0*p - 3*p. Solve p = 3*n - 6 for n.
2
Suppose k + 2 = -d, 5*d + k = -3*k - 5. Suppose -5*f = 7 + d. Let g be (-2)/(-2)*(2 + f). Solve g*l = -5*l - 20 for l.
-4
Let z(y) = -y**2 + 1. Let p(l) = -5*l**2 + 8*l + 17. Let r(g) = -p(g) + 6*z(g). Let f be r(-5). Solve 0*w = 2*w - f for w.
2
Suppose 9 + 4 = l. Let w = l + -7. Suppose s + 3*d = 14, 4*d = -3*s + 8*s + w. Solve 0 = -s*p + 9 - 3 for p.
3
Let q(s) = 3*s**2. Let k be q(1). Suppose k*h - 2 - 4 = 0. Suppose -h*a = -0*a. Solve -5*j + a*j = -20 for j.
4
Suppose -6*n + 0*n = -24. Solve -2 - 10 = n*g for g.
-3
Let r(p) = p**2 + 10*p + 6. Let f be r(-4). Suppose 3*x - 27 = -4*o - 82, 3*x + 3*o + 51 = 0. Let w = x - f. Solve 4*d - w + 1 = 0 for d.
1
Let z = -29 - -32. Solve 2*b + 7 - z = 0 for b.
-2
Suppose w = -2*c + 7, 0 = 3*w + 8*c - 11*c - 30. Solve -w = -3*p + 6*p for p.
-3
Let y be 6 + (2 - 0) - (2 - -1). Solve -20 = g - y*g for g.
5
Let p(o) = -o**2 + 9*o - 11. Let d be p(5). Solve -5*n + 29 = d for n.
4
Suppose -z + 3*k = -0 - 8, 4*z - 2*k - 52 = 0. Suppose -5*i + z = -11. Solve -w - i = -2*w for w.
5
Let o(h) = -13*h + 2. Let u be o(-3). Suppose s - u = 3*s - n, 5*n + 110 = -5*s. Let i be ((-14)/s)/((-1)/(-6)). Solve -p - 5 = -i for p.
-1
Let o be ((-21)/1*1)/1. Let l(j) = -11*j. Let p be l(1). Let h = p - o. Solve -4*x - x + h = 0 for x.
2
Let b be (-6)/(-5)*(-10)/(-4). Let i be b + 0/2*1. Solve 0 = 3*q + i - 6 for q.
1
Suppose 5*b - 1 - 23 = -3*d, -5*d = -5*b. Solve -3*p + 0*p = -b for p.
1
Let i(d) = d**3 + 6*d**2 - 2*d - 7. Suppose -x - 26 = 5*y - y, 0 = -2*y + 5*x - 24. Let m = -13 - y. Let t be i(m). Solve 0*n + t = -n for n.
-5
Let y be 4/2*4 - 4. Solve 3*n + 1 - y = 0 for n.
1
Let g(n) = -n**3 + 5*n**2 - 2*n - 3. Let o be g(4). Solve 4*r - 11 = o for r.
4
Suppose 2*v - 4 - 2 = 0. Suppose 0*w = -3*w - 3. Let z(i) = i + 1. Let h be z(w). Solve h = -v*j + 6 + 6 for j.
4
Let p be 121/66 + (-1)/(-6). Solve 2*l - p = l for l.
2
Let b be (74/8)/(4/16). Let i = b - 25. Solve -4*t = -t - i for t.
4
Let c = -24 + 23. Suppose 1 = v - 2. Let a = v - c. Solve -a*j - 10 = 10 for j.
-5
Let v = 15 + -13. Solve -v = 2*p - 0 for p.
-1
Let x(h) = -17*h - 4. Let o be x(-3). Suppose 5*b - 18 - o = 0. Suppose -b = -5*g + 7. Solve -g*s = -0 - 16 for s.
4
Suppose -4*w = 2*d + 22, -5*d = 5*w - 3*d + 26. Let j be 2/w*(-1 + 1). Solve j*n = 2*n - 4 for n.
2
Let a be 37/13 - (-5)/(-195)*-6. Solve 4*q = a*q - 3 for q.
-3
Suppose 0 = -4*d - 2*r + 20 + 4, 3*d + 2*r = 19. Suppose 2*a = -3*a + 4*i + 7, d*i - 19 = -3*a. Let l(p) = 4*p - 8. Let n be l(9). Solve 5*c = -n + a for c.
-5
Let j be (-2 - -1) + -6 + -1. Let s(b) = -b**3 - 8*b**2 + b + 8. Let n be s(j). Solve -2*c + 2 - 6 = n for c.
-2
Let q be 7 + (2/(-1) - 3). Solve 0 = -3*v + q*v + 2 for v.
2
Let o = 11 - 8. Suppose -o*z = -5*i - 18, 3*z = 3*i - 2*i + 6. Solve 0 = t - z + 5 for t.
-4
Suppose -4*a + 288 = -0*a. Let q be (2/4)/(4/a). Solve -q = 4*s + 11 for s.
-5
Let y be ((-39)/(-12) + -1)*4. Solve 4*s = s + y for s.
3
Let p(b) = -2*b - 2. Let l be p(6). Let y be ((-12)/(-14))/((-3)/l). Solve -5*v + v = -y for v.
1
Let v(r) = r**2 - 19*r + 39. Let w be v(17). Solve -11 = -w*y + 14 for y.
5
Let a be 17 - (1/(-1) + 0). Let q = 19 - a. Solve 3*n - 13 = -q for n.
4
Let s be 3/(-12) + (-45)/(-4). Suppose -c + s = -4. Solve 0 = 3*a + 2*a + c for a.
-3
Let n(b) = -1 + b + 4*b - 4*b. Let t be n(2). Let d = 36 - 22. Solve -3*j = t + d for j.
-5
Suppose -124 = g - 3*g. Suppose -g = 5*h - 162. Solve -h = 3*k + k for k.
-5
Suppose 2*o + 3 = 5. Solve 0 = -n - o + 2 for n.
1
Let x = 3 + 5. Solve x = 2*c + 2 for c.
3
Suppose l - 1 = 2*s + s, 2*l = -3*s + 11. Solve o - 12 = l*o for o.
-4
Suppose -24 = -2*w - 2*w - z, w = 5*z + 6. Solve 2*a = w*a - 8 for a.
2
Let k(z) = 3*z**2 + 15*z + 7. Let h be k(-5). Solve h*t = 2*t for t.
0
Let j = 4 - 3. Let r be 6/12*(25 - j). Suppose -h + r = 2*h. Solve 5*w - w = h for w.
1
Suppose 5*q + 20 = 2*t, 2*t = q + t + 4. Let v = q + 9. Suppose 2*k = -4*x + 12 + 4, 13 = -k + v*x. Solve -k*o + 0*o = 10 for o.
-5
Suppose 0 = -5*o - r - 2*r + 6, -r = o - 2. Solve o*d = 4*d for d.
0
Let k be 3*4/20 + (-35)/(-25). Solve 0 = -5*w + 4*w - k for w.
-2
Let l(x) = -4*x**2 + 18*x + 10. Let n be l(5). Solve m = -n*m + 1 for m.
1
Let y be (-1 + 0)/((-2)/(-2)). Let u = 1 - y. Let d = -5 - -7. Solve 0 = u*t - t - d for t.
2
Let c = -8 + 5. Let n(t) = -t**3 - 2*t**2 + 3*t + 1. Let j be n(c). Suppose 4*m = 2*m + 4. Solve -m - j = -x for x.
3
Suppose 0 = -0*o - 2*o + 4. Suppose -5*v - w = -o*w - 15, -23 = -4*v + 3*w. Solve 0 = -v*b - 4 - 0 for b.
-2
Let b(f) = -3*f - 3*f + 5*f - 5. Let n be b(-7). Suppose -5*i + 13 = h - 2*h, 0 = -5*i + 4*h + 22. Solve -n*u - i*u = 0 for u.
0
Let q = 45 + -45. Solve 6*v - v + 20 = q for v.
-4
Suppose 7 = -4*m + 3*m. Let b = -7 - m. Solve 3*w = 12 - b for w.
4
Let v be (-2 + 3)*-1*0. Suppose -3*r = -v*r. Solve -b - b = r for b.
0
Let u(m) = -20*m. Let c be u(1). Let d(v) = v - 1. Let k be d(-4). Let j = k - c. Solve -5*n = -0*n - j for n.
3
Let l = -7 - -7. Suppose 8 = 2*m - l. Solve 3*p - m - 2 = 0 for p.
2
Suppose -2*v - v + 6 = 0. Suppose 3*w - 2 = v*w. Solve 