 2*h - 1. Let p be q(-3). Solve 0 = -5*k - 0*k - p for k.
-4
Let s be (-3)/5*(-4 + -1). Suppose -o + 6 = 2*o. Suppose -5*q + s*l + 34 = 0, 2*q + o = 2*l - 6*l. Solve -1 = -4*r + q*r for r.
-1
Suppose -1 = -2*j + d, 6*j - j + 2*d - 25 = 0. Solve -2*z = j + 3 for z.
-3
Suppose 0 = -3*m - 9, 5*f - 8*m + 3*m = 50. Suppose -2*n = u - f, -5*u = 2*n - 7 - 4. Solve 2 - 5 = n*k for k.
-1
Suppose -15 = -4*m + 2*g + 7, 3*m - 6 = -2*g. Suppose m*q = -0 + 4. Let t = q + 2. Solve t = -3*a + 2*a for a.
-3
Suppose b + b = 2, 2*b = -2*u + 46. Let j be u/6 + (-3)/(-9). Solve j = -3*n - 2 for n.
-2
Suppose 4*v - 3 - 2 = g, 5*v + 6 = 3*g. Let o = 10 - g. Let t be 0/o*(3 - 2). Solve 6*y - 2*y + 12 = t for y.
-3
Let q(a) = -11*a + 130. Let t be q(10). Let u be (-2)/7 - 30/(-7). Suppose u*f + 4*s + 2 = 10, 0 = -4*s. Solve 6*z = f*z - t for z.
-5
Let c(p) be the second derivative of -2*p**3/3 + 3*p**2 + 2*p. Let o be c(5). Let s = 21 + o. Solve 0 = s*z - 2*z + 15 for z.
-3
Let k be (-9)/6 - (-22)/4. Suppose 10 = 5*i - 2*v - 9, -k*v - 20 = -4*i. Solve -i = -4*y + 17 for y.
5
Suppose 0*d + 28 = 14*d. Solve -d*h = -0*h - 8 for h.
4
Let x = -9 - -13. Suppose -c = -x*i + c + 12, 4*c = 3*i - 19. Let z be (-3)/(-12) + 11/4. Solve -10 = z*o - i for o.
-3
Suppose -2*v = 3*v. Let z be 1 + 12 - 6/2. Suppose 0 = -2*i + 30 + z. Solve v*f = -4*f - i for f.
-5
Suppose 2*t = -1 + 1. Solve t*j = 2*j - 8 for j.
4
Suppose -4*h + 3*b + 31 = 0, -5*h - 3*b = -2*h + 3. Suppose -2*r - 18 = -4*m, -m - 18 = -0*r + h*r. Solve 0 = -2*z - m*z + 16 for z.
4
Let z(s) = -3*s - 1. Let c be z(-3). Suppose -2*f = 2*n - 28, 4*n + c = 4*f - 16. Let y be 1/2 + 4/(-8). Solve y*h - f = 5*h for h.
-2
Let l(o) = -o**3 - 14*o**2 - 11*o + 12. Let q be l(-13). Let j = q - -18. Solve -t + 0*t = j for t.
-4
Let p be 8/(-6) + 14/(-21) - -2. Solve -b + 2 = -p*b for b.
2
Let l = 366 - 351. Suppose -2*k + 9 = -1. Solve 0 = -k*r + 5 - l for r.
-2
Let v = 4 + 0. Solve -f - v = -3*f for f.
2
Let s = -4 + 8. Solve 0*n = -2*n - s for n.
-2
Let y be (7/((-28)/(-24)))/2. Solve 0 = -0*k + y*k for k.
0
Let g be (0/2)/(14 + -15). Solve g = 4*c - 2 - 2 for c.
1
Let b = -6 + 2. Let h be 383/(-4) - 3/b. Let v be h/(-20) + (-1)/(-4). Solve -i - v = -9 for i.
4
Suppose -s + 2 = 3*u - 5, 0 = -2*u - 3*s. Let t be (0/u + -1)*-2. Let f be (-20)/(-6) - t/6. Solve -f + 1 = -2*v for v.
1
Let h(k) = 4*k - 17. Let d be h(5). Solve -d = -2*c + 1 for c.
2
Let t = 4 + -2. Suppose -t*z = 2*d - 0*z, -4*z - 3 = 3*d. Suppose -3*u + 2*u = -d. Solve u*w = 4*w for w.
0
Let g(j) = -j**3 + 8*j**2 - 4*j - 19. Let z be g(7). Solve -z*i - i = 6 for i.
-2
Suppose -2*a + 5 = -0*h + h, 0 = 2*h + 2*a - 8. Let i = 7 - 5. Let m(x) = 4*x - 3. Let j be m(i). Solve -2*g = -j - h for g.
4
Suppose -d + 11 = -2*z + 1, -3*d = z - 16. Suppose -2*y = -4*s - d*y - 4, 0 = 5*s - 5*y + 5. Let a(v) = v + 1. Let n be a(s). Solve -2*w + 4 + n = 0 for w.
2
Let j(b) = -3*b**3 + 2*b**3 + 2*b**3 - 2 + 2*b**2 + 3 - 2*b. Let z be j(1). Solve 4 - 6 = -z*x for x.
1
Let n be (30/9)/(6/9). Suppose -b = -n*b. Solve b = -3*k - 0*k - 3 for k.
-1
Suppose 0 = -n + 4 + 16. Let l = -13 - -38. Let z be 160/l - (-2)/(-5). Solve -z*r = -r + n for r.
-4
Let m be 0/((2 - 6) + 2). Solve m = 4*t - 2 - 2 for t.
1
Let i = -22 + 53. Suppose 0 = -5*a + l - 5*l + i, 0 = a - 3*l + 9. Solve a*k + 9 = -0 for k.
-3
Suppose -111*p + 116*p = 0. Solve p*c - 8 = 4*c for c.
-2
Let a be 12/(0 - 2/3). Let m be ((-1)/2)/(3/a). Solve m*t = t for t.
0
Suppose -5*d - f = -0*f - 27, -4*d = -4*f - 12. Let k = 29 + -20. Let m = k - d. Solve -2*i - m = -4*i for i.
2
Suppose 0 = 6*m - 4*m + 4. Let t be 2/(2/(-8)*m). Solve c = -0*c - t for c.
-4
Suppose 2*q - 27 = -h - 3*q, 0 = 3*h + 3*q - 21. Suppose 3*i = -h*i. Solve i*j = -2*j for j.
0
Let b(y) = -y**2 + 8*y - 5. Let d be b(5). Let g(q) = -q**3 - 7*q**2 - 6*q + 2. Let l be g(-6). Solve 0 = -4*j + l + d for j.
3
Let n be (-14)/(-49) + 10/14. Solve 0 = -x + n - 0 for x.
1
Suppose -5*k - 5 = 5*l, -l = 2*k + 4*l + 5. Solve 0 = -k*y - 2*y + 10 for y.
5
Let c = 7 + -4. Suppose 0 = 2*w, -c*y + 7 = -2*w - 20. Suppose 5*x - 16 = x. Solve x*r = r + y for r.
3
Suppose 7*b - 2*b = -5*h + 35, 5*h + 2*b - 26 = 0. Let u = 0 + 0. Solve 2*j + u*j = -h for j.
-2
Let m be (6/(-4))/((-6)/12). Solve -o = -m*o - 10 for o.
-5
Let n(t) = -2*t**3 - 2*t**2 + t**3 + 2 + 0 - t. Let g be n(-2). Suppose -g*r - 1 + 9 = 0. Solve 2*k + r*k = 20 for k.
5
Let c = -15 - -17. Solve 0 = c*p - p for p.
0
Let v be ((-8)/1)/(-4)*10. Solve 6*u - u = v for u.
4
Let w(i) = 3*i**2 - 9*i + 6. Let v be w(3). Solve 0*a = 2*a + v for a.
-3
Let v = -6 + 8. Suppose -7 + 1 = -v*m. Solve 2*u - 9 = -m for u.
3
Let p(a) = -a + 5. Let c be p(5). Let j(l) = 2*l**2 + 17*l + 35. Let q be j(-5). Suppose -3*u + 1 + 2 = 0. Solve -o + c + u = q for o.
1
Suppose 0 = 5*g - 2*g + 24. Let h = g + 12. Solve 3*a - 8 = h for a.
4
Let a = -17 + 37. Solve 0 = -3*j + 7*j + a for j.
-5
Let i be 10 + (-3)/1 + 3. Suppose 9*l - i = 4*l. Solve l*w - 1 = 1 for w.
1
Suppose 0 = -0*g + 4*g - 12. Let b be 3/(-2)*(-28)/21. Suppose 0 = -r + g*t, -3*r - 5*t + 8 = -b*r. Solve 0 = -0*f + 3*f - r for f.
1
Let o be 3/(-12) - (-132)/16. Suppose 4*g = 4*s + 16, 4*g + 2*s - 5*s = 17. Suppose -o = l - g*l. Solve x = l - 3 for x.
-1
Suppose 7*w = -17 + 59. Solve -3*o + o = -w for o.
3
Suppose 0 = -2*a + 3*q + 21, 3*a + 3*q - 2*q = 15. Solve -2*c = -a*c + 12 for c.
3
Let i(f) = f**2 - 7*f - 5. Let s be i(8). Suppose 0 = -m + 3*o + 5, s*o = 5*m - 36 + 11. Suppose -3*w + m = -1. Solve -g = -3*g - w for g.
-1
Let h(v) = v + 13. Let m be h(7). Solve -6*x + x = -m for x.
4
Suppose 10 = 7*b - 18. Solve -n + 7 = b for n.
3
Suppose -5*b = -d - 8 - 17, 5*d = 3*b - 15. Let t = d + 3. Solve -t*j - 12 = -0*j for j.
-4
Let t(h) = -h**3 + 5*h**2 - 3*h + 1. Let x be t(3). Let j(w) = w**3 - 6*w**2 + 6*w. Let g be j(5). Solve 3*r = -g - x for r.
-5
Let f = 0 - -1. Let v(t) = 13*t**3 - t**2 + t. Let p be v(f). Let j(u) = -u**3 + 12*u**2 + 12*u + 18. Let o be j(13). Solve o - p = -4*g for g.
2
Let x(h) = -h**3 + 6*h**2 - 4*h - 4. Suppose -8 = k - 13. Let d be x(k). Solve -d - 1 = -l for l.
2
Suppose d + d = 12. Let a(k) = k - 3. Let i be a(d). Suppose -i*q + 6*q = 6. Solve 4*u - q*u = 4 for u.
2
Let a be (-3)/(-3) - (3 - 7). Let q be (-1 + 2)/((-1)/a). Let g = q - -9. Solve 0 = y - g*y - 12 for y.
-4
Suppose -2*x - 4 = 3*o - 6*x, -5*o - 4 = -4*x. Solve o = 2*j - j - 3 for j.
3
Let r(q) = -q**2 - 10*q - 4. Suppose -2*k - 15 = -3. Let y be r(k). Suppose -3*u = u - y. Solve u*p - 11 = -1 for p.
2
Suppose -q = -0*q. Suppose 2*k + q*h + 4 = -4*h, -k + 10 = -2*h. Solve o = k*o - 3 for o.
1
Let j(z) = -z**2 + 11*z - 14. Let l be j(10). Let n = l - -4. Suppose -5*c + 3*b = -9 - 10, b = -3*c + 3. Solve c = -t - n for t.
-2
Let c = -23 + 23. Solve x + c = 1 for x.
1
Let x(z) = z**3 + 4*z**2 + 4*z + 3. Let f be x(-3). Let c be (-2)/(-3)*3*1. Solve f = -c*m + m + 4 for m.
4
Suppose -k - 3*f = -10 + 1, 4*f = 2*k - 48. Suppose k = 3*s + 2*i, 6 + 5 = -s + 5*i. Suppose -c = -s*c + 6. Solve -c*a + 3 - 11 = 0 for a.
-4
Let f = 5 - 3. Solve -b + 1 = f for b.
-1
Suppose -c = -0*c - 30. Solve c = 5*y + 5 for y.
5
Let r(z) be the second derivative of -z**5/20 - z**4/3 - z**3/2 + 3*z**2/2 + 2*z. Let u be r(-3). Suppose -u + 2 = -o. Solve a + o = 2*a for a.
1
Let f(u) = -u**3 + 4*u**2 - 2*u - 1. Let h be f(3). Suppose -s = h*w, 2*w - 7 = 3*s + 1. Solve 3*p + w = -14 for p.
-5
Suppose 3*y - 3*i = 6, -2*y + i - 28 = -6*y. Let w(d) = -d + 3. Let s be w(y). Let o(m) = 2*m**2 + 3*m - 4. Let c be o(s). Solve k + 2 = c for k.
3
Suppose -3*s + 3 + 3 = 0. Suppose 6*a - 14 = 2*a - s*v, 0 = -3*a + v + 13. Solve -a*b + 3*b = -3 for b.
3
Suppose 0 = -3*u - 9, -4*a - 5 = -5*u - 0*u. Let l = a - -7. Solve l*f = -f for f.
0
Suppose 4*f + d + 7 = -f, -2*d - 4 = 0. Let v be 3/((3/(-12))/f). Solve -w = -4*w - v for w.
-4
Suppose 3*o + 24 = -o. Let r be (1 + -6)*(-4)/(-5). Let n = r - o. Solve n - 4 = -p for p.
2
Let j = -22 - -13. Let k = j - -12. Solve 0 = k*t - 0*t + 9 for t.
-3
Let t be 1 + 14 - 0/1. Suppose 0*w + 2*w + t = j, 2*j = 3*w + 25. Suppose j*x + 14 = -3*v, -5*v - 3*x + 4 - 6 = 0. Solve 6 + v = 2*n for n.
4
Let j(w) = w**3 + 6*w**2 + 5*w + 7. Let r be j(-5). Suppose -r = -0*x + x. Let k(z) = -z**2 - 9*z - 2. 