or h.
-3
Let n(v) be the first derivative of v**3/3 - 5*v**2/2 + 7*v - 18. Let r be n(4). Solve -l + 4 = h, 2*l - 8 - 5 = r*h for l.
5
Let s = -15 + 7. Let q(h) = h**2 + 7*h - 1. Let o be q(s). Suppose 2*u = o*u - 20. Solve -2*m = u*l - 10, 12 = -2*m - 2*m for l.
4
Let i be (-34)/51 - -2*(-58)/(-12). Suppose 0 = 2*o - i*o + 189. Suppose -36 = -5*j - 1. Solve j - o = -4*n - 5*h, -5*h + 20 = 0 for n.
0
Suppose -3*y + 2*d + 22 = 0, 2*y + 2 = -4*d + 2*d. Suppose -5*c - 3*k = -12 - 34, -36 = -4*c - 2*k. Let u = c + -6. Solve 0 = 4*i - y, -5*i + i - u = 2*a for a.
-3
Let p = 398 + -386. Solve 3*g + 4 = -4*f + 6*f, -4*g = -4*f + p for g.
2
Let c(n) = -n**2 + 16*n + 1. Let k be c(16). Let f be ((-9)/(-24))/(k/8). Solve t + 5*u - 3 = -2*t, -3*t + 3*u + f = 0 for t.
1
Let i(u) = 9*u**3 - u**2 + u. Let c be i(-2). Let r = 80 + c. Solve -5*a - 2*y = -a + 4, -y = -2*a + r for a.
0
Let s be (152/(-9))/(-4) - 20/90. Suppose -4*h - 12 - s = -2*q, -4*q = -5*h - 26. Solve o + 0*o = 4*l - 18, -q*l + 12 = -4*o for l.
5
Let h = -150 - -148. Suppose -2*z + 1 = d + 4, 5*z - 25 = 4*d. Let b = h - d. Solve -7*c + b*c - 16 = a, -18 = -2*a + 2*c for a.
4
Let i = 5 + -7. Let g be 2/i + 3/3. Let c be (26/(-39))/(1/(-3)). Solve -3*p + x + 16 = g, 3*p - c*x + 7*x = 10 for p.
5
Let u(t) = t**3 + 5*t**2 - 3*t - 12. Let g be u(-5). Solve -2*n - g*h + 5 = 0, -2*n + 6 - 3 = h for n.
1
Let q = -49 + 50. Solve q + 3 = -t - g, -4 = 5*t + g for t.
0
Let l = 651 + -647. Solve -16 = i - 3*i + 4*z, 0 = -i + l*z + 14 for i.
2
Let b = 18 - -29. Suppose -2*g = -4*j + 109 - 27, -2*j = g - b. Solve 3*r + 1 = 2*v - 12, 5*v + 3*r - j = 0 for v.
5
Suppose 3 = 3*n + x, 3*x + 11 = -n + 2*n. Let z be (3 - n)*(-2 - -7). Solve -2*f - 4*j = 0, -5*j + 0 = -z for f.
-2
Let l be (8/(-10))/(6/30). Let i be ((-6)/l)/((-3)/(-4)). Let n = 49 - 37. Solve n = -4*k - i*q, -21 = 5*k - 4*k - 4*q for k.
-5
Let y = -912 - -915. Solve -4*i - y*w - 49 + 20 = 0, 2*w + 21 = -3*i for i.
-5
Let q(h) = 4*h - 2. Suppose -3*w - 2*w = -25. Suppose -w*l + 4*l + 1 = 0. Let d be q(l). Solve 0 = 3*m + 3*i, -m + d*m = 2*i - 3 for m.
-1
Suppose -3*g - 28 + 124 = 0. Suppose -g = 2*l - 10*l. Solve -5*q + l - 22 = -a, 2*a - 9 = q for a.
3
Let u be 6/(-15) - (-14)/10. Let s be (1 + 2)/(1/u). Suppose s*z = -0*z + 15. Solve -2*t = 10, -3*j + 0*j + z = -t for j.
0
Let j be (40/55)/(6/33). Solve 13 = j*m - g, -g + 1 = 6 for m.
2
Let j(d) = -2*d**2 - 6*d - 7. Let z be j(-2). Let h be z*(3/(-6) + (-1)/2). Suppose -2 = -2*i + i. Solve -i*c + 2*q = -0*c + 4, -h*q + 6 = 0 for c.
0
Suppose 6 = -3*w + 51. Suppose -11 + w = -2*h. Let n be 52/(-117)*9/h. Solve -2*b = 5*v - 10, -v + n*b - 10 = 2*v for v.
0
Suppose 3*r - 2*i - 30 = 0, 5*r - 3*r = -3*i + 20. Suppose 0 = h - r - 8. Let z be 24/10 - h/45. Solve -5*l = 2*g - 30, 2*g - z*l + 33 = 7*g for g.
5
Suppose 26 + 244 = 9*n. Let l = -26 + n. Solve -5*c = -2*t + 4, -5*c - 5 - 17 = l*t for c.
-2
Suppose -5*r + 97 = 4*g - 192, 2*g = r + 155. Suppose -9*y - g = -13*y. Let l = 19 - y. Solve 3*b = j - 4, -2*b + l - 12 = 4*j for j.
-2
Suppose -v + 16 = -2*p + 4, -5*v + 69 = -p. Solve 2*t - v = -4*q, 5*t - 13 - 16 = -4*q for t.
5
Suppose -2*b - 3*l = 2*l, -3*l - 16 = -2*b. Suppose w - 2*m = 7, 5*m = -3*w + b + 5. Solve -2*h = 3*f + 2, w*f + 2*h = -0*h + 2 for f.
2
Suppose 3*f - 29 - 43 = 0. Let m be ((-1)/2)/((-3)/f). Suppose -6*o = -m*o - 4. Solve o*t - r = 2*r + 11, 5*t - r = 8 for t.
1
Let g = 3 - -69. Let a = 73 - g. Solve m = -2*r - 7, -4*m - 7 = 4*r + a for m.
3
Suppose -4*z + 9*z - 29 = -2*a, -5*z = -5*a - 15. Solve -4*f + 4*i + i + 40 = 0, -z*i - 15 = f for f.
5
Suppose 2*j - 6 = 0, -3*l + 0*j = -2*j - 3. Let r = l + 2. Suppose r*i = 7*i - 4. Solve -5 = -i*u + 3*u + 2*a, 2*u + a = -4 for u.
-1
Suppose -c + 20 = -3*k, k - 1 - 9 = -3*c. Let z(p) = -p**2 + 5*p - 1. Let t be z(c). Let a = 3 + t. Solve 4*l = -a*u + 12, 2*l - 4 = 4 for u.
-2
Suppose -4*j + h = -11, -h - 16 = -4*j - 5*h. Solve j*w - 24 = -3*i, 5*i = -0*w - w + 28 for w.
3
Let s(w) = 2*w - w**2 + 16*w**3 - 15*w**3 + 26 + 15*w**2 + 13*w. Let c be s(-13). Solve c = 4*v - 5*m, 7*m - 3*m = -4*v + 36 for v.
5
Let c = 38 - 29. Suppose v + c - 13 = 0. Solve -k = -v*t - 19, -t - 2 = -2*k - k for t.
-5
Let j be 14/(4 - 3) - 2/(-1). Let z = j + -14. Solve -x - 2*x = -5*q + 17, 5*x + z*q + 18 = 0 for x.
-4
Suppose s + 2*s = -5*h + 5, 4*s = -h + 18. Suppose -s*a = 3*p - 4 - 126, 91 = 4*a + 5*p. Solve -v - a = -l - 6*v, -18 = -2*l - 2*v for l.
4
Suppose o = -4*o - 4*l, 2*l - 2 = -3*o. Suppose 351 + 244 = 35*n. Solve 0 = 5*u - 2*u + o*c - n, -2*u + 3*c = 0 for u.
3
Let o be 46/11 - 2/11. Let g(w) = 9*w - 27. Let d(i) = -5*i + 14. Let x(n) = -11*d(n) - 6*g(n). Let q be x(-5). Solve o*u + 4*l = -4, -4*u - 3 + 2 = q*l for u.
2
Let z = -807 + 812. Solve -5*p + 5 = v, -p = -2*v + z*v - 15 for v.
5
Let b = 436 + -436. Solve -2*y = 2*y + 4*z, -5*y - 4*z + 5 = b for y.
5
Suppose 2*y + 15 = 5*y. Suppose -11 = -y*t + 9. Suppose -4*h + t = -4. Solve 5*n - 29 = -2*p, -5*n = -4*p + h*p - 21 for n.
5
Suppose -w + 9 = 2*w. Suppose -4*o = 3*k + 9 + 3, -w*k - 12 = 5*o. Solve 0 = -4*u + 4*i + 8, -5*u + 8 = -3*i - o for u.
1
Suppose 3*y = 2*j, -j + 62*y = 59*y. Solve 5*c - 3*c - 5*r + 20 = 0, j = 4*c - r + 22 for c.
-5
Suppose 5*l + 19 = -i, -l - 2 = 2. Let h be (-1)/(i/24*3). Let q = -4 - h. Solve -2*w + 4 = -0*w - q*m, 5*w - 3*m + 4 = 0 for w.
-2
Suppose 5*g = -15*z + 20*z, 2*g + 5*z = 14. Solve 0 = -j - g*j - t - 1, t + 3 = -j for j.
1
Let q be ((-2)/3)/(((-15)/(-3))/(-15)). Solve 0*c = v - 4*c + 3, 2*v + 6 = q*c for v.
-3
Let m = 818 + -814. Let o be 1/(-3) - 17/3. Let g(b) = -b**3 - 7*b**2 - 7*b - 1. Let f be g(o). Solve -4*q = 2*p - 33 + 11, -f*p - m*q = -37 for p.
5
Suppose -100 = 21*h - 142. Solve -h*y - q + 0*q = 0, 2 = 5*y + 2*q for y.
2
Suppose 4*y - 76 = -34*y. Solve 2*i - 12 = i + 5*v, -y = -2*i - v for i.
2
Let d be (-20)/9 + 4/18. Let z be d/6*-6 + -2. Suppose 2*j = 4*r + 50, 5*r = -z*j + 3*j - 79. Solve 8 = -2*i, q + 5*i = 12 - j for q.
-1
Let x = 1 - 1. Suppose -4*w - o = -10, x = -w - o - 2*o + 8. Let b be -1 - -6*(-4)/(-4). Solve -b*c + v + 20 = -2*v, 7 = w*c - v for c.
1
Suppose -4*t + 0 = -2*y - 2, 0 = -2*y + t + 7. Suppose -k + 5 = y*r, 5*k + 8 = -4*r - 9. Solve 3*j + 3*i = -2*j - r, -5*i - 12 = 4*j for j.
2
Suppose -8*i = -9*i + u + 7, 0 = 2*i + u - 2. Solve 5*w + 9 = -i*b, 4 = 5*w - 4*b - 8 for w.
0
Let i = 80 + -41. Let p = 43 - i. Let m = -1 - -5. Solve -3*r = p*d - 0*r + 7, 5*d + 32 = m*r for d.
-4
Let z(o) = -2*o**3 + 9*o**2 - 22*o + 77. Let k be z(4). Solve -2*j - 5*x = 4, k*j + 3 = 4*x - 7 for j.
-2
Let k(b) = -11*b**3 + b**2 - b - 1. Let p be (2/6 - 0)*-3. Let t be k(p). Suppose u = -u + t. Solve -3*i = -w - u, 5 = -4*i - w - 2*w for i.
1
Let c(g) = 5*g**2 - 73*g - 22. Let l be c(15). Solve -2*s + 5*t = 6*t + 12, 0 = s + t + l for s.
-4
Let m be 0 - (-5)/(5/2). Suppose i = 5 - m. Solve 3*f = -i*q - 27 - 3, -q = 2*f + 15 for f.
-5
Let n(o) = -9*o**2 - o - 2. Let t be n(-2). Let x = -24 - t. Let r(m) = m**3 + 2*m**2 - 5*m - 4. Let a be r(-3). Solve 4*i = a*u - 7 + 1, 3*i + u + x = 0 for i.
-3
Let z = -1183 - -1186. Solve 2 = -z*k - 5*b + b, 0 = -4*k + 4*b + 16 for k.
2
Let p(f) = 23*f - 4 - 10*f + 4 + 1 - f**2. Let a be p(13). Solve 5*b - a = -4*h, 8*h - 3*h + 5*b = 0 for h.
-1
Let a = -4 + 7. Suppose 2*f = -5*r + 4*r + 8, 4*r - 8 = 0. Solve -2*b = -a*v + 9, -4*b = f*v - 0*b - 27 for v.
5
Let g be (4/6)/(-2)*3. Suppose 1 = -2*q + 2*h + 15, -6 = 2*h. Let w = q + g. Solve r - 9 = -w*c, -19 = r + 2*c - 6*c for r.
-3
Let j be 1*3 + 6/(-18)*-3. Suppose -3*b - j*i - i = -22, 2*b = i + 32. Solve 5*k + z - 18 = 0, 0 = 2*k - k - 5*z - b for k.
4
Suppose i + 3*i = 4. Suppose -4*h = 3*m - i, 5*h - 2*m = 2*h + 22. Solve 5*x = 5, t + 2*x = x - h for t.
-5
Suppose 0 = 2*z + z - 201. Suppose -5*n = 5*k - 130 + 45, -z = -4*k - 3*n. Solve -2*s - 4*q = -k, 2*s - 10 = -s + q for s.
4
Suppose 5*w + 4*d - 29 = 0, 0 = 4*w + 3*d - 2*d - 21. Suppose 5*q - w*g - 22 = -2, 3*q - 4*g - 12 = 0. Solve -2*i = -4*s - 7*i + 8, 3*s + 25 = q*i for s.
-3
Let y(z) = z**2 - 26*z - 118. Let x be y(-4). Solve 0 = -5*o - x*m - 3, o + o - 3*m = 14 for o.
1
Suppose 2*s - 10 = 4*w + w, 3*s - 10 = 5*w. Let k be (-2)/(-6)*s/3. Solve -2*n + 2 = o, k*n = -3*n - 3*o + 3 for n.
1
Let