se 0 = -q*h + h. Suppose x - 2 = -h. Solve -10 = x*u + 3*u for u.
-2
Let v(z) = -z + 1. Let m be v(-9). Let r(j) = -1 + 6 + 5*j - 4*j + j**3 + 13*j**2 + m. Let n be r(-13). Solve -6 = -4*l + n for l.
2
Let x(r) be the third derivative of -1/60*r**5 - 7/6*r**3 + 0*r - r**2 - 7/24*r**4 + 0. Let n be x(-5). Solve -n*s = s - 20 for s.
5
Let u = -354 - -354. Solve u*b = -b - 5 for b.
-5
Let c = -218 + 226. Solve 5*i + 2 = -c for i.
-2
Let g(d) = d**3 - 12*d**2 + 5*d - 5. Let k(h) = h**2 - h + 1. Let a(w) = g(w) + 5*k(w). Let y be a(7). Solve y - 5 = j for j.
-5
Suppose 3*i = -0*i + 87. Suppose -8 = -4*d + 3*k, -i = -5*d - 2*k + k. Suppose -4*p = -d - 3. Solve 0 = p*g - 1 - 7 for g.
4
Let c be 40 + (4 + -2 - 4 - -2). Let m = -35 + c. Solve -2*s - m = -3 for s.
-1
Suppose -4*x - x + 20 = 0. Suppose 0 = 2*o + 3*o - 25. Suppose -3*s = o*z + 20, 0*s - 4*z = -2*s + 16. Solve s = x*q - 7*q + 3 for q.
1
Let f = 69 - 65. Suppose h - f*h + 1 = -g, -5*h - 3 = -4*g. Solve g = j + j for j.
1
Suppose 2*q - 7*q = -10. Let s be (4 + q + 3)/1. Let v be s - 7 - (-1 - -1). Solve 3*p = 2*p + v for p.
2
Suppose 0 = -t - 9 + 14. Suppose -3*u - 30 = -t*u. Suppose 1 = -5*w + 11. Solve w*p + p = u for p.
5
Suppose -4*q - r = -113, 0*r + 4*r = -q + 32. Let c = -26 + q. Solve -1 = 3*n - c*n for n.
-1
Let c be (12/18)/((-2)/(-159)). Let q = -35 + c. Let b = q + -8. Solve 3*i - b = i for i.
5
Let j(s) = -s**3 + 9*s**2 + 7. Let r be j(9). Let k be r*-1*(-1 + 0). Solve 0 = 4*l - k*l + 9 for l.
3
Suppose 0 = -9*t + 34 + 200. Solve 11*p = 18 + t for p.
4
Suppose 3*r = -4*r + r. Suppose -39*c + 34*c = r. Solve c = -3*z - z - 12 for z.
-3
Suppose -6*f - f = -14. Solve f*a + 5 = -5 for a.
-5
Let x = 89 + -80. Suppose x = -3*b + 15. Solve b*h - 6 = 2 for h.
4
Let o = -31 + 17. Let s = 21 + o. Let t be (-27)/63 + 3/s. Solve 8 = -t*j + 2*j for j.
4
Let w = -8 + -43. Let v = w + 54. Solve 0 = v*o + 2 + 1 for o.
-1
Let b(r) = r - 3. Let d be b(3). Let u(k) = k**3 + 4*k**2 - k + 1. Let n(x) = x - 11. Let v be n(7). Let s be u(v). Solve s*q = -d + 5 for q.
1
Suppose 5*v - 2*l = -0*l - 37, 5*l = -v - 2. Let g = v - -16. Solve -6*a + 3*a + g = 0 for a.
3
Let p be (-1 - -4)*(-7 + 9). Let c be 2/8 - 7/(-4). Suppose c*s = p - 2. Solve 5*v = s*v for v.
0
Suppose 24*j = 20*j + 24. Let i(s) = -8*s + 51. Let u be i(j). Solve -5*x + 13 = u for x.
2
Let h(p) = -p**3 - 13*p**2 - 11*p + 7. Let i be h(-12). Let m = -5 - i. Solve -4*c - c = m for c.
0
Let r be (-32)/(-4) - (0 + 1). Suppose 3*s = r*s - 12. Solve 6*g - 15 = s*g for g.
5
Let x(m) = m**2 + 36*m + 134. Let r be x(-32). Solve 21 = -3*z + r for z.
-5
Suppose 2369 = 42*y - 1117. Solve 78*z = y*z - 15 for z.
3
Suppose 2*s + z - 3 = 0, -2*s - 2*z = -5*z + 9. Let a = 1 + s. Suppose 0 = -o - 12*o + 39. Solve a + o = -2*f for f.
-2
Suppose -12*q = -15*q - 96. Let z be (-38 - q)/(3/(-2)). Solve i - 1 = -z for i.
-3
Let v = -39 + 50. Suppose 0 = -z + 2*z - v. Solve 1 = -4*s - z for s.
-3
Suppose -5*k - p - 3*p = -132, p = 3*k - 86. Suppose 5*o = 3*t + 25, -4*t = o - 0*t - k. Let i = -4 + 7. Solve -i*c = 1 + o for c.
-3
Let w = -103 + 93. Let a(c) = -c**3 - 11*c**2 - 8*c + 23. Let o be a(w). Solve o + 1 = q for q.
4
Let r = -53 + 168. Solve 5*o - 100 = -r for o.
-3
Suppose -4*z = -6*z - 18. Let f(m) = -m**2 - 10*m - 4. Let d be f(z). Solve d*i = 11 + 4 for i.
3
Let o(l) = 2*l**2 + 4*l + 4. Let b be 25/(-10)*64/(-10). Suppose -b = -4*z, 0 = g + 2*z + z - 10. Let q be o(g). Solve -q*m + 4 = -2*m for m.
2
Let o = -10 + 20. Suppose 3*u + x - 4*x = 6, -o = -2*u - x. Solve u*w + 20 = -w for w.
-4
Suppose 137*y - 145*y = -192. Solve 19*t = y*t for t.
0
Suppose 0 = 13*v - 16*v + 18. Solve -v + 10 = n for n.
4
Let s(f) be the first derivative of -f**4/4 - 4*f**3/3 - 2*f**2 - 2*f - 17. Let a be s(-3). Solve -u = a - 6 for u.
5
Let f(d) = -3*d**3 + 3*d**2 + 5*d - 2. Let t(h) = 6*h**2 + 2*h - h**3 - 5*h**2 + 3 - 4. Let c(i) = 2*f(i) - 5*t(i). Let j be c(1). Solve -2*g + 5 = j for g.
2
Let b(h) = 2*h**3 - 11*h**2 - 17*h + 69. Let a be b(6). Solve a*x - 3*x = 4*x for x.
0
Let n(i) = i**3 - 16*i**2 + 15*i + 11. Let t be n(15). Solve -t*l + 6*l = 10 for l.
-2
Let i(x) = -x**2 + 7*x + 11. Let b(l) = l - 2. Let a be b(10). Let t be i(a). Suppose -5*o = 2*z - 4, t*o - z + 3 = -4*z. Solve o*g - g = 0 for g.
0
Let f = 116 + -116. Solve 10*w - 3*w - 28 = f for w.
4
Suppose -d - 1 = 2*j - 5, -3*d + 3*j = 6. Suppose -2*v + k + 11 = d, 40 + 1 = 2*v + 5*k. Let x be 0/(2 - v - -3). Solve 2 = -x*a - 2*a for a.
-1
Let t = 8 + -8. Let v = -255 - -256. Solve v = -t*n + n for n.
1
Let i(h) = -h**2 + 3*h + 7. Let w be i(4). Suppose 0 = l - t + w, -5*l - 7 = -t - 2*t. Solve 4 = -j - l for j.
-5
Let s(w) be the second derivative of w**4/6 + w**3/6 - 7*w**2/2 + 8*w. Let q be s(2). Solve -n + 2 - q = 0 for n.
-1
Let f(k) be the first derivative of k**4/4 - 2*k**3/3 - 5. Let c be f(3). Solve 2*t + c = -t for t.
-3
Let h(g) = g**2 - 6*g + 4. Let x be h(6). Let w(u) = 22*u + 3. Let m be w(0). Solve x*a + 17 + m = 0 for a.
-5
Let d = 94 + -54. Suppose 16*x - d = 8*x. Solve s - x*s + 12 = 0 for s.
3
Let i be -66*(10 - 8 - 21/9). Solve -25*m = -i*m + 6 for m.
-2
Let s(b) = -5*b. Let m(i) = -11*i. Let k(r) = -4*m(r) + 9*s(r). Let u be k(-2). Solve 3*j = 8 - u for j.
2
Let a be (-58)/10*((-40)/4 - -5). Solve f + 24 = a for f.
5
Suppose 0 = -15*o + 35 + 10. Solve v = -o*v - 12 for v.
-3
Suppose 0 = c - 0*c - 7. Let h = -121 + 65. Let u = -56 - h. Solve 3*t + c + 2 = u for t.
-3
Suppose 5*a + 2 = -3. Let g be 4/(-12)*0*a. Suppose 0 = -4*r - 16, 2*r = 3*u + 6*r + 1. Solve -u*j + g*j = 25 for j.
-5
Suppose -4*v - 93 - 27 = 0. Let s = -20 - v. Solve -3*a - s = -a for a.
-5
Let l = -74 + 91. Solve -5*q - l = 8 for q.
-5
Let l = -153 + 171. Solve -l + 3 = -5*t for t.
3
Let z(c) = c**3 + 9*c**2 - 10*c + 5. Let f be z(-10). Suppose s - 2*x - 3 = 2*s, 0 = 3*x + 6. Solve s - f = -2*b for b.
2
Let f(q) = -4 + 1 + 4 + 0 + q**2. Let l(s) = 3*s**3 + 4*s**2 + 3*s + 4. Let p(c) = -6*f(c) + l(c). Let i be p(1). Solve i*n = n + 5 for n.
5
Let p(v) be the second derivative of -v**3/6 - 4*v**2 + 5*v. Let n be p(-8). Solve -h + 1 + 1 = n for h.
2
Let h be -7 + (-2)/(0 - 1). Let m = -5 - h. Let i = m + 4. Solve 0*n = i*n - 12 for n.
3
Let d be (-2)/(-1) - 18/(-2). Suppose 0 = -7*u + 52 + d. Solve 0 = u*v - 4*v - 15 for v.
3
Suppose -34*f + 41*f - 28 = 0. Let b be 24/10 + 2/(-5). Solve 0 = f*s - b*s for s.
0
Let w = -5 - -8. Suppose 4*i = -4*k - 28, -w*k - k - 16 = i. Let j be k + (3*-2)/(-2). Solve j = 2*s - 6*s for s.
0
Let u be 12 + 1 + 1 - (-20)/(-4). Solve -4 = -u*d + 5*d for d.
1
Suppose -x = -4*x - 3*k + 57, 5*k + 40 = 4*x. Solve 71*f - 66*f - x = 0 for f.
3
Let o(j) = 10*j**3 - 4*j**2 - 3*j - 1. Let w be o(-2). Let v = w + 98. Solve -2*i - 3 + v = 0 for i.
2
Suppose 5*y = -2*t - 22 - 4, y - 3*t + 12 = 0. Let g = -139 - -149. Let x = y + g. Solve -2*c + c - x = 0 for c.
-4
Suppose 646*f - 652*f + 36 = 0. Solve 2*y + f*y = 16 for y.
2
Suppose 2*z - 1 - 7 = 0. Suppose -2*f - 5*h = 35 - 12, -2*f = 2*h + 8. Solve -f = -n + z for n.
5
Let l = 6 - 10. Let a be ((-2)/8)/(l/16). Solve 0 = -4*d + 7 + a for d.
2
Let u(q) = -2*q**3 - q**2 + q - 1. Let l be u(-2). Suppose o - 18 = -2*o. Let g be 8/(l/o - 1). Solve y - 5*y = g for y.
-4
Let d(k) = k**3 + 5*k**2 + 3*k + 4. Let f be d(-3). Let g = -9 + f. Let i be g - -3 - 3/3. Solve 2*v + 0*v + i = 0 for v.
-3
Suppose -4 - 2 = -2*p. Suppose -p*h + 9 = 3*q, h + 8*q - 4*q = -9. Suppose 0 = s - 2*m - h, -5*s + 5*m + 19 = -s. Solve v - s = -3 for v.
-2
Let l be (-3 + (-6 - -6))*-4. Let u(i) = i**2 + i - 2. Let h be u(-3). Solve h*y - 8 - l = 0 for y.
5
Let r be 3*(-3 - (-3 - 1)). Suppose -2*i + 35 = -r*i. Let y be (-119)/i + 2/(-5). Solve -w + y = -1 for w.
4
Let y(d) = 19*d - 244. Let f be y(23). Solve -196*c + 3 = -f*c for c.
1
Let z = -217 - -217. Solve 6*b = -z*b + 6 for b.
1
Let d be 2/((-3)/(-5)*-1 + 1). Let f = 3 - 2. Solve -19 - f = -d*b for b.
4
Let i = 8 + -7. Let x be (-6)/(-4 - -2)*i. Let w be 0/(0 + x + -1). Solve w = -2*h - 1 + 5 for h.
2
Let p be (-2)/(-12) + (-66)/(-36). Suppose -18 = -0*b + p*b. Let l = 13 + b. Solve 0*g = l*g - 16 for g.
4
Let d(p) = p**2 - 2*p - 3. Let b = -5 + 4. Let u be 12/(-24)*(b + -9). Let l be d(u). Solve 2*k + 2 = l for k.
5
Let r be 