 be h(-7). Let n be (9 + -7)/(4/f). Solve 0 = n*u - u + 4 for u.
-1
Suppose -2*a + 42 - 12 = 0. Let j(h) = h**2 - 2*h + 1. Let m be j(-2). Let f = m - 9. Solve 3*r = -f*r + a for r.
5
Suppose -2*r - 3*r = j, r = j. Suppose r = 10*d - 9*d - 2. Solve -2*l - d*l = 8 for l.
-2
Let l = 11 + -9. Solve 0 = c + l*c + 9 for c.
-3
Let z(x) = 6*x + 4. Let t(l) = 11*l + 7. Let i(b) = -3*t(b) + 5*z(b). Let g be i(-1). Suppose o = g*h - 1, 0 = 5*h + o + o - 7. Solve m = -4 - h for m.
-5
Let x = 3 + 1. Suppose 0 = -2*i - x + 6. Solve -i = -2*q + 5 for q.
3
Let k(i) = -i**3 + 14*i**2 + 14*i + 16. Let b be k(15). Let s(n) = -n. Let g be s(-2). Solve -5 = -g*w - b for w.
2
Let g be (2/(-6))/((-2)/30). Let t = g - -20. Suppose -t = -3*m + 2*d, 0*m - 1 = m + 4*d. Solve -3*i + m - 16 = 0 for i.
-3
Let m(p) = -p - 11. Let j be m(-13). Suppose -2*z = -z. Solve z = -2*a + 2 + j for a.
2
Let d be (-2 - 4)/(15/(-20)). Solve -2*u - d = -6*u for u.
2
Let d be (3/6)/1*0. Solve d = 5*i - 8*i + 15 for i.
5
Suppose 0 = -5*q + 8 + 7. Suppose 6*u - q*u + 3*f = -6, 0 = 2*u + f + 2. Solve u = -j - 1 - 1 for j.
-2
Suppose -2*a + 0 = -2. Let d be 10 + -6 + -1*a. Suppose k = d*k. Solve 3*u - 3 = -k for u.
1
Let r be 10/(((-6)/(-2))/6). Suppose r = -2*g + 7*g. Suppose -6 = -g*q + 2. Solve -q = x - 0 for x.
-2
Let o(r) = -r + 9. Let p be o(7). Suppose -p*b = b. Let d = 4 + b. Solve 0*n - 20 = -d*n for n.
5
Let g = 5 + -3. Let o be (-6)/(-21) - 12/(-7). Suppose 2*p = -o*c + 22, 10 = 5*c - 15. Solve p = -0*l + g*l for l.
3
Let i(n) = -n + 2. Let w be i(-2). Suppose -13 - 2 = w*v + 3*j, -5*j - 25 = 5*v. Solve v*a + a = -3 for a.
-3
Suppose 10 = 2*o - 0. Solve 2*b = o - 1 for b.
2
Let p = 7 + -4. Let z be 4/p + 2/(-6). Solve z = k + 2 for k.
-1
Suppose -4*g - 10 - 6 = 0, 0 = 5*i - 3*g - 27. Let m = 50 - 50. Solve m = i*r - 0*r for r.
0
Suppose 6 = -4*p - 22. Let m be p + 8 + 14/2. Solve -28 = -4*n - m for n.
5
Suppose 0 = 2*y + 12 + 6. Let f(c) = c + 8. Let i be f(y). Let b = 1 - i. Solve 0 = j - 0 + b for j.
-2
Suppose 0 = 4*h + 3 - 11. Solve h*c + 3 = -c for c.
-1
Let u(b) = -2*b**3 - 4*b**2 - 2*b + 2. Let r be u(-2). Let f = 12 - r. Solve o = -f + 3 for o.
-3
Let x(v) = -v**3 - 1 - 2 + 3*v - 2*v**2 + 4. Let j be x(-3). Let f(y) = y**2 - 8*y. Let a be f(8). Solve -r + 0 - j = a for r.
-1
Let y = 8 - 6. Let n be (-12)/y*(-13)/13. Solve -4*h = -6*h - n for h.
-3
Let w = -13 - -15. Suppose -2*x + x - w*s = -13, -3*x - s = -19. Solve -5 = x*q + 10 for q.
-3
Suppose 2*t + 3*h - 7 = -0*t, -2*t + 5 = 5*h. Suppose 8 + 4 = 3*q - c, -t*q = 4*c - 37. Solve q*n = -8 - 2 for n.
-2
Let s = -13 + 21. Let m be (-4)/s + 18/4. Let h be (-4)/(-10) - (-18)/5. Solve 5*c - h*c - m = 0 for c.
4
Let a(d) = -3*d**3 - d**2 - d - 1. Let o be a(-1). Let b be (o - -2)*1 - 0. Solve 0 = q + b - 0 for q.
-4
Let a = 12 - 9. Solve 9 + a = 4*i for i.
3
Suppose -q + 0*q - t = -6, -3*q + 3*t + 24 = 0. Solve q*n = 2*n + 5 for n.
1
Let p = -12 + 13. Solve -p - 3 = -f for f.
4
Suppose 5*i + 75 = 5*r, -r + 3*i - 21 = -4*r. Solve 3 = 4*v + r for v.
-2
Let w(a) = -a + 2. Let f be w(2). Let i = 5 - 2. Let u = f + i. Solve -4*o + u*o - 1 = 0 for o.
-1
Suppose 0 = -3*k + 34 - 10. Let j = k + -40. Let f be j/(-24)*(-3)/(-2). Solve -6 = 2*r - f for r.
-2
Suppose 0 = -54*g + 59*g - 30. Solve 0 = -2*s - g for s.
-3
Let n = 19 - 22. Let j be (4/(-3))/(2/n). Solve l = -j*l for l.
0
Let v = 22 - 18. Solve -2*d + v = -6*d for d.
-1
Let v(d) = d - 13. Let j be v(13). Let x be j/(-1)*(-10)/(-30). Solve x*i - 5*i + 20 = 0 for i.
4
Let d be -2 + -1 + (-2 - -9). Suppose r + d*r - 40 = 0. Solve -r = -3*z - z for z.
2
Suppose 2*i - 4*w - 12 = -32, -w = 3*i - 5. Solve i = -l + 6*l - 5 for l.
1
Suppose m = 2*g - 7 - 1, 2*g - 12 = -m. Solve -3*a + g*a - 10 = 0 for a.
5
Suppose -6*a + 2*a = 0. Suppose a = 4*v - j - 4, 4*v - 2*v - 2 = -j. Let q be (v + -5)*5/(-10). Solve -2*b + b = -q for b.
2
Suppose -3*r - 1 = -p, -3*p = 8*r - 6*r - 14. Solve -9 = -7*l + p*l for l.
3
Let u(q) = q**3 - 5*q**2 + 2*q - 6. Let f be u(4). Let s be 138/7 + (-4)/f. Solve -3*h - s = h for h.
-5
Suppose -42 = 11*v - 130. Solve v = 2*g - 0 for g.
4
Let m(u) = u**2 + 10*u + 31. Let v be m(-7). Solve 2*y = -0*y + v for y.
5
Let d(i) = i**3 + 11*i**2 + 1. Let z be d(-11). Let s be 1 + 5 - -3 - z. Solve -2*g + s = -6*g for g.
-2
Let q = 20 - 6. Suppose -5*w = 3*s + q, -s + 2*w + w = -14. Suppose 0*d + 2 = s*d. Solve 4 = 3*a + d for a.
1
Let t(i) = i - 5. Let k be t(8). Let o be (-3)/(-12) + k/4. Solve 2*g - o = -9 for g.
-4
Let x = 2 + -2. Let v be (1 - 4) + (4 - 3). Let t be 1*10*v/(-4). Solve t*f = -x*f + 25 for f.
5
Let l = -29 + 65. Solve -l = -5*v - 11 for v.
5
Let m(a) = a**3 + 6*a**2 - 8*a - 1. Let o be m(-7). Let s(w) = -w**3 + 5*w**2 + 6*w + 4. Let v be s(o). Suppose -v*h = h. Solve 4*j + h*j = -16 for j.
-4
Let z(v) = 4*v**2 + 4*v - 1. Let m be z(-2). Suppose -4*s - 9 = -m*s. Solve 2 = -s*o - 1 for o.
-1
Let o = 0 - 1. Let q(r) = -r - 6. Let x be q(-10). Let k = o + x. Solve z = 2 - k for z.
-1
Suppose 0 = p - 4*a + 17, 0*a - 18 = -p - 3*a. Suppose -p*y + 6 = -0. Solve 8 = 2*h + y*h for h.
2
Let a be (-3)/((-6)/4) - -4. Solve -a = -5*l + 2*l for l.
2
Suppose 2*i = 5*a - 1, 4*a - 3 = 1. Let z(o) = 2*o**3 + 4*o**i + 0*o - o**3 + 2*o - 1. Let u be z(-3). Solve -u*c = -6*c for c.
0
Let a(z) = 1 + 5 - 3 + 4*z. Let c be a(3). Let h = c - 11. Solve -4*q + 8 = -h for q.
3
Suppose -5*c = 2*l + 158, 316 = -4*l + c + 3*c. Let g be 1/2 + l/(-2). Let w = -20 + g. Solve 0 = -4*p - p - w for p.
-4
Let q = -1 - -1. Let h be q - (-9)/3 - 2. Solve h + 19 = 5*j for j.
4
Let l(t) = -2*t - 9. Let c be l(-6). Solve -c*x + 4*x - 4 = 0 for x.
4
Let h = -1 - -4. Suppose -1 = -o + h. Let x = 21 - 21. Solve 20 = -x*c + o*c for c.
5
Let g = 12 - 12. Suppose g = -3*b - j + 15, 5*j - 31 = -4*b - 0*j. Solve b = 4*u - 3*u for u.
4
Let n(q) = -q**3 - 2*q**2 + 2*q - 3. Let t be n(-3). Suppose -9 = -2*s - 5*f + 2*f, -s + 7 = 4*f. Solve s = -t*z - 3*z for z.
-1
Let f be 0 - (-3 + (12/(-3))/(-4)). Solve -f*s + 3 = -5 for s.
4
Let n be 1/(-3) + (-6)/(-126)*7. Solve -s + 4 = -n for s.
4
Suppose -4*r = 2*n, 7*n - r - 22 = 2*n. Solve -x - n = -3 for x.
-1
Let u(s) = -s**2 + 9*s + 2. Let a be u(10). Let d = a - -13. Solve -25 = -0*b - d*b for b.
5
Suppose -7*m + 7 + 21 = 0. Solve -1 = -m*p - 21 for p.
-5
Let n(q) = 14*q - 66. Let s be n(5). Solve s*l - 2 = 6 for l.
2
Suppose 7 = 2*h + 1. Let f = 1 + -1. Let o = h - f. Solve o*w - 2*w = -3 for w.
-3
Let d(a) = -a**2 - 6*a - 1. Let t be d(-4). Solve 8 = 5*u - t for u.
3
Let l(v) = v**3 - 7*v**2 - 6*v - 13. Let u be l(8). Solve 3*w - 6 = -u for w.
1
Let f(l) = -l**3 + 7*l**2 + 2*l - 14. Let q be f(7). Let o = -6 + 10. Solve q = -m - 0*m - o for m.
-4
Suppose -3*j + 4*j = 2. Let d be (-1)/((-3)/(-6)) + j. Solve d - 2 = -o for o.
2
Let n(x) = x**3 + 2*x**2 + 2*x + 4. Let t be n(0). Solve 4 + t = 4*o for o.
2
Suppose 6 = 2*z + 2. Solve -d + z*d = 2 for d.
2
Let l(c) = c**2 + 6*c + 7. Suppose 2*o + 4*z = -22, 2*z + 23 = -4*o + z. Let m be l(o). Solve m*b = 4 - 2 for b.
1
Let k be 7/2*2*(-6 - -7). Solve 2*f - k = 3 for f.
5
Suppose 6*g - 4*g = 2*r + 8, -2*g - r + 11 = 0. Let y(q) = -q**2 - 17*q - 21. Let z be y(-15). Let a = z - g. Solve -a*j - 10 = -2 for j.
-2
Suppose -52 = -4*k - 5*h, 5*k - 3*h = h + 65. Solve 7 + k = 5*p for p.
4
Let x = -31 - -53. Solve 0 = 5*s - x + 2 for s.
4
Let t be 17*(-5 + 2 + 2). Let v = t + 17. Solve f + 2*f - 12 = v for f.
4
Let i(q) = q**3 - 4*q**2 + 3*q + 1. Let c be i(3). Let a be c - (0 + 1)*-2. Let t = 3 + 6. Solve 3*p - a = t for p.
4
Let b(g) = -g**2 + 8*g - 6. Let m be b(7). Let u = m + 3. Suppose 2*d = 3*y - 6, -1 - 2 = -3*y + d. Solve y = -q - q + u for q.
2
Let h = 72 - 70. Solve 3*v = -h*v for v.
0
Suppose 3*k - s - 28 = 0, -4*k - 4*s - 22 = -54. Solve 2*d + k + 1 = 0 for d.
-5
Suppose 0 = 4*n + 2*p - 14, 5*p = -5*n - 5 + 20. Solve 0 = -n*c - 1 + 17 for c.
4
Let z = 3 + -1. Suppose -10 + z = -2*i. Solve -10 = i*b + 2 for b.
-3
Let w = 4 - 5. Let m = w + 3. Let t be 10/(1*(m - 0)). Solve 2*s = t*s for s.
0
Suppose -h + 3*v - 4 = 6, 2*h + 4*v - 10 = 0. Let j(p) be the second derivative of -13*p**3/6 + p. Let t be j(h). Solve 3 = 4*y - t for y.
4
Let d(x) = x**2 + 2*x - 5. Let y be d(2). Solve y + 1 = 4*v for v.
1
Let z be 