2 + 4*u. Let x be a(-4). Solve 0*h - h - x = 0 for h.
-3
Suppose -u = -2*b - 4, 0*b + 4*u = -4*b + 16. Let n be -2 + 0 + 8 - (b + 2). Solve -n*c = c + 10 for c.
-2
Let z(l) be the first derivative of l**4/4 - 7*l**3/3 + 3*l**2/2 + 1. Let k be z(6). Let h be (k - -10)/(-1 + -1). Solve 3 = h*c - c for c.
1
Let q(i) = 2*i + 4. Suppose -3 = -a - 0*a. Let p be q(a). Suppose -p = 2*d, -3*h + 2*h + 5*d + 27 = 0. Solve y - 2*y + h = 0 for y.
2
Let s be (3 - 36/8)/((-12)/(-32)). Let d be (-1 + -4)/(s/8 - 2). Solve 5 + 1 = d*c for c.
3
Suppose 0 = 5*s - 2*x, -5*x = -8 - 17. Let r(k) = -k**3 + 13*k**2 - 21*k - 6. Let v be r(11). Solve v*q - 6 = s*q for q.
2
Let a(c) = -c - 21. Let h be a(-8). Let s = h - -4. Let v = -2 - s. Solve 3*y = v*y - 12 for y.
3
Let n be 0*(-2)/(-4) + 4. Let u = -61 + 39. Let d = u - -27. Solve -6 - n = d*c for c.
-2
Let x be -2*(9/(-4) - 4/16). Suppose -m = x*o - 9 - 15, 4*o - 3*m = 4. Suppose h + 2*h - 2*y - 12 = 0, -2*y - 6 = 0. Solve 0 = h*v - o - 0 for v.
2
Suppose 38*m = 581 + 787. Solve w + 34 = m for w.
2
Let l(q) = 4*q + 8. Let j be l(-2). Let a(h) = -25*h - 17. Let i be a(-1). Solve j*p - 2*p = i for p.
-4
Suppose -j = i + 6, 2*j = -0*i + 3*i + 8. Let z(g) = 2*g + 8. Let l be z(i). Solve n + 2*n - 3 = l for n.
1
Let b(u) = -33 - 3*u + 43 + 36 + 4*u. Let r be b(0). Suppose -l - 52 = -5*c, 4*c + l = 4*l + r. Solve -v = 4*v - c for v.
2
Suppose -2*o + 3*v = 8, -4*v + 10 = 3*o - 3*v. Suppose o - 1 = -t. Let a = 4 + t. Solve 2*c + a = 11 for c.
4
Let m = -214 + 216. Let x be (-11)/(-6) - (-1)/6. Suppose x*b - 3*b + 2 = 0. Solve -b*n - m*n = 12 for n.
-3
Let v(u) be the third derivative of 5*u**4/24 + 2*u**3/3 + 12*u**2. Let h be v(0). Solve 0 = h*d - d - 9 for d.
3
Let n = 817 - 805. Solve 11*g + n = 15*g for g.
3
Let a(j) = -2*j - 5. Let f(y) = -3*y - 9. Let t(q) = -5*a(q) + 3*f(q). Let h be t(2). Suppose 11 = 4*i + 5*b - 4, -2*i + 3*b - 9 = h. Solve -3*p - p = i for p.
0
Let g be 3*1*4 + -2. Let t(d) = d**2 + 4*d - 4. Let r be t(-5). Suppose -3*y = 3*i - 9, i - y = -r + 2. Solve i*p + 0*p = -g for p.
-5
Let d(n) = -n**2 - 13*n - 28. Let c be d(-10). Suppose 19 - c = 4*r + t, 2*t - 4 = 2*r. Solve -3*g + 0 + r = 0 for g.
1
Let b be (12/14)/(8/28). Suppose 15 = b*q + 2*q. Suppose q*x = -0*x. Solve m + x*m = -1 for m.
-1
Let d(v) = -13*v**2 + 34*v - 3. Let u be d(2). Solve -21*a = -u*a + 24 for a.
-3
Let f = 42 - 42. Suppose -g + 2*g = -2*q - 10, f = -g - 3*q - 15. Solve 1 + g = b for b.
1
Suppose 11 = 4*m + 3*t - 12, 2*m - 5*t - 5 = 0. Solve -12 = -2*l + m*l for l.
-4
Let l(t) = 3*t - 2. Let u(g) = 4*g - 3. Let a(k) = -3*l(k) + 2*u(k). Let c be a(-7). Let b = 7 - c. Solve b*i - 15 = 3*i for i.
-5
Let p(c) = 6*c - 35. Let y be p(12). Suppose 0 = y*v - 35*v. Solve -5*l + 2 + 3 = v for l.
1
Suppose 1 = 4*h + 5. Let v be h + 1 + 2 + 0. Suppose 10 = 2*g - 0*g + v*d, -2*g - 5 = -3*d. Solve 4*l = -g + 14 for l.
3
Suppose -4*g - 14 = 2. Let f(x) = x + 4. Let j be f(g). Solve j*r = 3*r + 9 for r.
-3
Let m = -153 - -24. Let o = m - -144. Solve -2*k - 3*k - o = 0 for k.
-3
Let g be (-2)/(-4) + 7/(14/(-5)). Let c = -4 - -3. Let b be c - g - 0 - -1. Solve 0 = -b*j - 6 for j.
-3
Let h be (3*2)/(1 + 1). Let j = 106 - 118. Let d be 4/(16/j) + 4/1. Solve -4 = -h*v - d for v.
1
Let t be (-531)/21 + 6/21. Let c = 31 + t. Solve -c*r - 4 = -2*r for r.
-1
Suppose 2*y + 4 - 19 = -5*s, -y = 3*s - 9. Suppose -5*o - 4*k = -8*k, -4*o = -k - 11. Suppose o*j - 75 = -j. Solve j - s = -3*v for v.
-4
Suppose 0 = -w + 5*w - 3*y - 59, 4*y = -3*w + 13. Suppose 5*f - w*f = -36. Solve -10*a = -f*a for a.
0
Let j(n) = -n**3 + 10*n**2 - 19*n + 5. Let g be j(6). Solve -3*u - 4*u + g = 0 for u.
5
Suppose 3*v + 19 = 4, -15 = 5*c + 5*v. Let p be 3/(-1)*-1 - 1. Suppose j + c = 0, -4*j + 0 - p = 3*n. Solve -10 = -0*t + n*t for t.
-5
Suppose -10 = -g - 4*g. Suppose 17 = 26*n - 35. Solve g + 0 = n*l for l.
1
Let k(l) = -l**2 - 3*l + 2. Let w be k(-2). Suppose -5*t + 20 = 5*u, -24*u + 15 = -19*u. Solve t + 11 = w*g for g.
3
Suppose 4*o - 1 - 8 = -5*m, 3*o + 3*m - 9 = 0. Solve -2 - o = 4*u for u.
-2
Suppose 0 = -2*q + 11 - 3. Suppose 2*i - 2*d = 8 - 10, -5 = 3*i - 4*d. Let v(k) = 4*k**2 - 2*k - 1. Let c be v(-1). Solve -c*z + i + q = 0 for z.
1
Suppose -3*u + 19 = -0*r + 2*r, 4*u + r - 22 = 0. Suppose u*x + 4*y - y = 0, 0 = 2*x + 2*y. Solve 2*b - 6 = -x*b for b.
3
Suppose -3*h - 18 = -2*h - 4*i, -3*h + 2*i - 14 = 0. Let t be -1 - (-8 - (h + -2)). Let u be 2/t*99/22. Solve -d - 8 = u*d for d.
-2
Let q(f) = 7*f - 17. Let j be q(4). Solve -4*t + 1 = -j for t.
3
Let n(r) = -r**3 - 42*r**2 - 81*r - 40. Let i be n(-40). Solve 6*g + 36 - 6 = i for g.
-5
Let v be ((-6)/(-4))/((-12)/(-432)). Suppose -7*n = -n - v. Suppose -4*z = -n*z. Solve z = -u - 4 + 1 for u.
-3
Let r = 79 - 76. Let x be r - 5*(0 - 2/(-10)). Let y = -3 + 7. Solve -x*p + y*p = 8 for p.
4
Let x(w) = -2*w - 29. Let r(c) be the second derivative of -c**3/6 - 7*c**2 + 8*c. Let g(p) = -5*r(p) + 2*x(p). Let q be g(-11). Solve -2*y - q = -y for y.
-1
Let h be ((-60)/(-8))/(-3)*-2. Suppose -12*t + 21 = -h*t. Solve 0 = t*z - 0*z - 9 for z.
3
Suppose 0 = h - 4*q - 17, 6 = 3*h - 0*h + 3*q. Let s(g) = 9*g + 142. Let u be s(-13). Solve h*f + u = 5 for f.
-4
Suppose 5*c = c - h + 63, -4*c = 5*h - 59. Suppose -88 - c = -4*f. Let j be -1 + 0 + 6 + 0. Solve f - 6 = -j*b for b.
-4
Suppose 45*l = 30*l + 165. Let a(v) = 5*v**3 - v + 1. Let u be a(1). Solve l - 1 = -u*q for q.
-2
Let q be (-223)/(-9) - (-2)/9. Let b be 4/(-8)*-10 + -4. Let t be b/4 + (-105)/(-28). Solve 0 = a + t*a + q for a.
-5
Let v(m) = -m + 12. Let l = 39 + -27. Let z be v(l). Solve z = 4*y - 2*y + 4 for y.
-2
Suppose 3*n + n = -2*p - 66, 2*n + 36 = -2*p. Let v be 5 - 8/((-40)/n). Solve -v*b = 1 + 7 for b.
-4
Suppose -4*p - 4*r = -8*p + 8, -5 = 5*p - 2*r. Let a(w) = -w**3 - 2*w**2 + w - 4. Let v be a(p). Solve -4 + 2 = -v*b for b.
1
Let f(j) be the second derivative of j**3/6 + 5*j**2 + j. Let v be 456/171*(-3)/1. Let z be f(v). Solve -n = -z*n for n.
0
Let m(r) = -r**2. Let y be m(0). Let l = -221 + 226. Solve y*o = l*o for o.
0
Let g = -37 + 25. Let l be (g + 2 + -3)/(-1). Suppose l = 5*t - 7. Solve h + t = -0 for h.
-4
Suppose 6*x + 4*x + 1040 = 0. Let u = x - -104. Solve u = 4*l - 3 - 9 for l.
3
Suppose 3*z - 5*z = 2*a + 2, -24 = -z + 4*a. Suppose 5*s - 5 = 0, -z*r = -0*r - s - 7. Solve r = p + 6 for p.
-4
Let n(k) = -2*k + 7. Let d be n(0). Suppose 3*a = -d*a. Solve a = 4*s - 2*s - 6 for s.
3
Let t = -352 - -361. Solve 0 = -71*v + 68*v + t for v.
3
Let b(q) = -72*q - 622. Let c be b(-12). Solve 245*l = c*l - 9 for l.
-3
Let v = -52 + 80. Solve -3*n + 10*n = v for n.
4
Suppose -30 = -2*n - 10. Suppose 4*k + n = 9*k. Solve -5 - 5 = k*o for o.
-5
Suppose -5*y - 101 = -3*p + 6, 5*p + 2*y - 137 = 0. Solve p + 19 = 12*n for n.
4
Suppose -254 = 5*d - 264. Solve 17 = -d*j + 11 for j.
-3
Let n = -94 + 101. Solve 13*z - 12 = n*z for z.
2
Suppose 0*l + 4*l = 4*w + 28, 2*l + 2*w + 2 = 0. Solve l*n = 5*n for n.
0
Suppose 0 = 3*z + 3*j - 3, 4*z + 5*j - 4 = 1. Solve 15 = -z*f - 5*f for f.
-3
Let b be (10/(-4))/((-25)/100). Solve b = 5*h - 15 for h.
5
Let c = -464 - -472. Solve -c*o = -5 - 11 for o.
2
Let o(h) = -h**2 - 20*h + 29. Let d be o(-21). Solve -6 = d*w - 6*w for w.
-3
Let z = 611 - 599. Solve -z = -3*k + 9*k for k.
-2
Let r(k) be the first derivative of 3*k**2/2 - 14*k - 10. Let m be r(9). Solve -7 - m = -5*y for y.
4
Suppose s = 5 - 7. Let o be -10*(2 - s/(-4)). Let a be 3/5 + (-6)/o. Solve -a = -3*c - 4 for c.
-1
Suppose 4*m - 3 = n, n + 16 = 5*n - 2*m. Suppose -3*h = -h - 6. Suppose -20*s + 32*s = 120. Solve n = h*z - s for z.
5
Let x(y) be the first derivative of y**3/3 + y**2/2 - 3*y + 1. Let r be x(-3). Suppose 3*i - 6*i = r*k - 21, -2*k - i + 9 = 0. Solve k = l - 1 for l.
3
Let o = 94 + -58. Suppose o = -5*g + 6. Let a = g + 8. Solve -6*y = -a*y for y.
0
Suppose 0 = -0*l - 3*l. Let f(a) = a**3 - 16*a**2 - 15*a - 16. Let b be f(17). Suppose -4*p + 14 = -b. Solve l*h = 2*h - p for h.
4
Let h(z) = z**2 + 3*z - 12. Let t be h(-6). Let s be 8/t*(-27)/(-18). Suppose -s*o = -3*o - p, 4*p + 8 = 0. Solve d = -o*d + 12 for d.
4
Suppose 15*u - 56 - 4 = 0. Suppose u*o = 6*o. Solve 4*h - h = o for h.
0
Let m be ((6/15)/(-1))/(4/(-10)). Solve 2*o = -5 + m for o.
-2
L