+ 2*b + 3. Let n be l(0). Solve -16 = -n*u - 1 for u.
5
Let t = 4 - 1. Let z = -5 - -1. Let y(d) = -d**2 - 7*d - 5. Let r be y(z). Solve t*f - r = 5 for f.
4
Suppose 2 = -2*k + 8. Let a be -2 - 3/((-9)/12). Suppose 17 = k*t + a. Solve 4*u - t = 7 for u.
3
Suppose 4*q + 9 = 3*h, 2*h - 7 = 2*q + h. Let w be 2/q - (-1)/3. Solve w*p - p + 1 = 0 for p.
1
Suppose 0 = 3*c - 6*c. Solve 0*y + 3*y - 9 = c for y.
3
Let q = 0 + 0. Let g(v) = v - 2. Let p be g(-5). Let l be (-19)/p - 2/(-7). Solve -s + l*s = q for s.
0
Let u = -5 - -9. Solve -u*w + 2*w - 6 = 0 for w.
-3
Suppose 234 - 7 = 3*l - 5*h, -2*h = -2*l + 146. Suppose -l = -5*y + 6. Suppose 8 = 4*u - 4*k, 4*u = -0*k - 2*k + 20. Solve t - y = -u*t for t.
3
Suppose 0 = -3*z - 7 + 19. Let m be 4/(-3)*63/(-14). Suppose 0 = -4*n - 8, 20 = 5*u - m*n + n. Solve z*p - 14 = -u for p.
3
Let r be (1 - 13/3)*3/(-2). Solve r*v + 3 + 2 = 0 for v.
-1
Let k(z) = 4*z + 4. Let i(w) = -9*w - 9. Let l(q) = 3*i(q) + 7*k(q). Let m be l(1). Solve m = -j - j for j.
-1
Let y = 5 - 1. Suppose y*b - 6 = 3*b. Solve -k = 2*k + b for k.
-2
Suppose q - 5 = -15. Let y be 18 + (0/1 - 0). Let s = y + q. Solve -3*f = f - s for f.
2
Let a(n) = -n**2 + 17*n + 4. Let h be a(17). Solve 0 = -h*c + 7*c for c.
0
Suppose -17*c = -c - 144. Solve -5*g + 1 = -c for g.
2
Suppose -4*u = x - 22, -7 = -x - 0*u + u. Suppose -2*l = -3*o + 9, 5*l + 0*o = 5*o - x. Solve -4*c - l = 17 for c.
-5
Suppose h - 4*b - 13 = 0, -3*h + 0*h + 3*b = -30. Suppose -h*c - 6 = -12*c. Solve -c*s + 7*s = -15 for s.
-3
Let v be (20/25)/(4/30). Let j = v + -4. Solve 0*r = -j*r for r.
0
Suppose 5*b - 2*n = 4 - 7, 5*b + 7 = -2*n. Let t be (b/(-1) - 2)*-2. Solve t*w = 3 - 11 for w.
-4
Let t be 240/96 - (1 + 1/(-2)). Solve 0 = t*d - 3 - 1 for d.
2
Suppose -4*w = 2*s + 6, -3*s - 5*w - 3 = 5. Let y be (s - -1)*2/4. Solve 0 = -4*o - y*o - 20 for o.
-5
Let n(h) = -h**2 + 9*h + 5. Let j be n(5). Suppose 5*r - 55 = -3*m + 10, 3*m - j = 5*r. Solve 0 = t + 4*t + m for t.
-3
Suppose 15 = -5*a, 0 = 5*u - 2*u - 5*a - 30. Let m be 7/u - (-4)/(-10). Solve -2*v + m = 11 for v.
-5
Let y be (0 - (3 - 21/9))*-3. Suppose -2*k + n + 24 = 2*k, -k - 2*n - 3 = 0. Suppose -32 = -x - 2*x - k*u, -32 = -5*x - 3*u. Solve 0 = y*p - x + 2 for p.
1
Let v(s) = -s**3 + 3. Let g be v(0). Solve g = -0*o + 3*o for o.
1
Suppose 6*g - 12 = -4*w + 2*g, 2*w + g = 3. Suppose w = -0*i + 2*i - 24. Suppose 0 = 7*k - 2*k. Solve 4*a + 0*a + i = k for a.
-3
Suppose 3*c - 5 = -2*c. Let y be (4 - c) + 5/1. Solve -l = 3*l - y for l.
2
Let j = -7 - -10. Let p = 5 - j. Solve -2*c = p*c for c.
0
Suppose 2*p - 19 = 3*i, 5*i - 20 = 9*i. Solve 0 = -a + p*a for a.
0
Let u = -16 - -18. Solve 3*k - 15 = -u*k for k.
3
Let l = -47 + 55. Solve 0 = h - 5*h + l for h.
2
Let s(u) = -u**2 - 9*u - 13. Let l be s(-6). Let a(v) = v**3 - 6*v**2 + 3*v - 4. Let q be a(5). Let b be 116/14 - (-4)/q. Solve l*i - 3*i - b = 0 for i.
4
Let v be (1 - 2)*(6 - 12/2). Solve v*p + 3*p = 3 for p.
1
Let c = 571 + -565. Suppose 0 = y + 2*y - 6. Solve b + y = c for b.
4
Let r(w) = -w**2 - 11*w + 10. Let q be r(-11). Suppose q*g - 15*g = -10. Solve g = 3*x - 4 for x.
2
Let w be (-1)/5 - 10/(-50). Solve 4*c = -w - 16 for c.
-4
Let c be 96*((-9)/6 - -2). Suppose -5*b + c = -12. Let g be (-20)/(-6) - b/(-18). Solve g*w = 3 + 13 for w.
4
Let a(t) = -t**2 - 8*t - 5. Let v be a(-7). Solve -3 = v*w + w for w.
-1
Suppose 24*t - 27*t + 6 = 0. Solve -t*w + 5*w - 12 = 0 for w.
4
Let v(n) = n**3 + 6*n**2 - 8*n + 3. Let g be v(-7). Let q = 30 + -7. Suppose 7*t = h + 2*t - 23, 2*t + q = 5*h. Solve h*s = s - g for s.
-5
Suppose -3*a - 6 = -6*a. Solve 0 = a*c + 5 + 5 for c.
-5
Suppose -h - 4 = p + 5, 3*p + 4*h + 32 = 0. Let w = p + 4. Solve 5 = -w*s - s for s.
-5
Let u = 1 - -1. Suppose 2 - 6 = 2*x - u*r, -2*r + 12 = 2*x. Solve v = -x*v for v.
0
Let h = 37 - 32. Solve 3*w = h*w for w.
0
Let j be ((-3)/2)/(33/(-110)). Solve j*k + 11 = -4 for k.
-3
Suppose 0 = -14*i + 10*i + 48. Solve y - i = -3*y for y.
3
Let c = -8 - -15. Suppose -6*g + c*g = 1. Solve 0 = -4*f - g + 9 for f.
2
Let m(b) = -5*b**3 + 2*b**2 - 1. Let h be m(1). Let t = 6 + h. Solve -2 = -x + t*x for x.
-2
Suppose 5*r = -4*m + 19 + 13, -m = -3*r - 8. Solve -4*u = -m - 8 for u.
4
Suppose -3*b + o = 6*o + 6, -6 = -3*b - o. Let q be 0/b*2/4. Let r(s) = -s + 2. Let f be r(q). Solve 2*m + f*m - 4 = 0 for m.
1
Suppose 11*h = 5*r + 8*h - 9, 2*h - 7 = -r. Solve r*d - 3 = -9 for d.
-2
Let w(r) = 2*r**2 - 4*r - 15. Let m(n) = -n**2 + 2*n + 7. Let j(k) = 9*m(k) + 4*w(k). Let i be j(3). Let a = i + 2. Solve -2 = -2*c + a for c.
2
Suppose 4*z - z - 27 = 0. Suppose 0 = -2*w + 3*t - z, -3*t = 2*w - 3*w - 12. Solve -w*h + 25 = 2*h for h.
5
Suppose l - 8 = -4. Solve -l*s + 15 = -7*s for s.
-5
Suppose g - 4*g - 2*p = -28, -2*p = 2*g - 22. Suppose 4*a + 24 = 4*v, -5*v + 0*a = a. Let t be (v - -1)*(0 + 2). Solve g = t*c - 10 for c.
4
Let r = 42 + -42. Solve 4 = -4*g - r for g.
-1
Let d be ((4 - 2) + -6)*-1. Let l(v) = -3*v + d*v + 0*v - 2*v. Let b be l(-2). Solve -b*g + 6 = g for g.
2
Suppose t + 2*t = -5*c + 40, -t - c + 12 = 0. Solve 2*v = 4*v + t for v.
-5
Suppose -4*i - 6 = 5*t - 5*i, 3*i + 4 = 4*t. Let b be 27/(-3)*t/6. Solve -b*y = y - 16 for y.
4
Suppose -5*o = -13 - 17. Solve -2*m = m + o for m.
-2
Let l(k) = k**2 + 7*k + 3. Let u be l(-3). Let c be ((-16)/12)/(2/u). Solve -4 = z - c for z.
2
Let w be 2/1*(-5)/(-2). Suppose -2*s + 16 - 3 = j, -s + 5*j - 21 = 0. Solve w*r = r - s for r.
-1
Let q be 5/25 + (-38)/(-10). Suppose -520 = -q*h + 72. Suppose 0 = 5*r - h + 48. Solve -x + r = 3*x for x.
5
Suppose 2*z - z = 29. Let v = z + 2. Suppose 4 = 3*q - 4*b - 22, -3*q + v = b. Solve -q = 5*j - 0*j for j.
-2
Let a = 175 - 169. Solve -v = 1 - a for v.
5
Suppose 5*z - 90 = -5*k, 4*k - 5*z - 33 = 21. Solve 5*d = -4 - k for d.
-4
Suppose 3*u = -4*a + 25, -2*u + 2*a + 1 = u. Solve -u - 1 = 4*w for w.
-1
Suppose -3*q = -4*i + 3, -2*i + 0*q - 5*q = 31. Let p(d) be the second derivative of d**3/6 + 2*d**2 + 2*d. Let r be p(i). Solve r = 4*k + 17 for k.
-4
Let u(q) = q - 8. Suppose -4*h + 14 = -2*h. Let j be u(h). Let a be 1*9 + (-2 - j). Solve g + g = a for g.
4
Let l = -9 - -15. Suppose -3*w - 3 = -l*w. Solve g + w = -4 for g.
-5
Let m(u) = u**3 + 6*u**2 + 5*u. Let q(x) = x**3 - 6*x**2 - 2*x + 7. Let y be q(6). Let r be m(y). Solve -a + r = 1 for a.
-1
Suppose -3*k + 8 + 6 = r, -5*k = 5*r - 90. Solve r = 3*y + y for y.
5
Let f be 2/(-7) + (-88)/(-14). Let z(a) = a**3 - 8*a**2 + 7*a + 3. Suppose -4*x - 34 = -2*p, 0 = 4*x + 23 - 3. Let g be z(p). Solve f + 0 = -g*q for q.
-2
Let q(z) = -z + 7. Let u be q(5). Let m(i) = -1 + 1 + 3 - i**u + 2*i. Let a be m(3). Solve 3*w = -a*w for w.
0
Let b = 2 + -11. Let s = b + 12. Suppose 2*j = -3*x + 18, 4*j - j - 21 = -s*x. Solve -2*n + n + j = 0 for n.
3
Suppose -5*a = -6*a + 5. Solve -2*m + 1 = -a for m.
3
Let v(k) = k**3 + 5*k**2 + k - 8. Let h be v(-4). Suppose -6*o = -2*o - 12. Solve o = h*z + 19 for z.
-4
Let v be 7 + (-1 + 1 - (-15 + 19)). Solve 4*l = -v - 5 for l.
-2
Suppose -r + 3*r = 2*l - 22, 3*l = 2*r + 28. Solve 0 = l*p - 2*p - 20 for p.
5
Let b(j) = -12*j - 2. Let z(c) = -c + 1. Let m be z(4). Let y be b(m). Suppose 5*v - 1 = y. Solve -v*o + 4*o = 0 for o.
0
Let a be ((-3)/4)/((-1)/4). Suppose -3*w - 5*z + 10 = 2*w, -4*w + 2*z - 16 = 0. Let b = 0 - w. Solve -25 = a*u + b*u for u.
-5
Let l = 4 - 0. Let a be 2 + (1 - l - -1). Solve a*y - 12 = -3*y for y.
4
Let o be ((-5)/3)/(1/(-3)). Solve -1 = o*k + 4 for k.
-1
Suppose 3*y = 5*z + 16 + 10, -2*z + 16 = y. Solve 11*m = y*m - 4 for m.
4
Let q be 2 - -1 - -2 - (-3 - -4). Solve q*t + 29 - 9 = 0 for t.
-5
Let n be ((-2)/4)/((-2)/8). Suppose -2*s + n*j - 2 = -5*s, 3 = 3*j. Let w = 1 - s. Solve -w = -a - 2 for a.
-1
Let z(f) = -f**2 - 9*f - 3. Let o be z(-8). Let c(p) = -p**2 + 8*p - 6. Let g be c(7). Solve 21 - g = o*s for s.
4
Let t(d) = -d**2 - 5*d - 5. Suppose 0 = 2*c + 2 + 8. Let i be t(c). Let q = i + 9. Solve -q*g - 3 = 5 for g.
-2
Suppose -4*m = -5*t + 58 - 11, 3*t - 3 = m. Let f be 0 - (m/3)/2. Let g = -1 + f. Solve 3*b - g = 4 for b.
2
Let l(q) = -3*q**3 + q. Let w be l(-1). Solve w*k = 5*k + 3 for k.
-1
Let b = -51 + 58. Solve -b = -5*n + 18 for n.
5
Let d(y) = -y**2 + 9*y + 7. Let h(t) = 2*t**2 - 18*t - 14. Let n(l) = -7*d(l) - 4*h