22, 4*y - 28 = 2*c. Suppose -y*n + 6*n = -10. Solve -4*h - n + 25 = 0 for h.
5
Suppose 0 = 11*t - 8 - 36. Solve 20 = x + t*x for x.
4
Let l(g) = 33*g - 49. Let q be l(2). Solve -23 = 2*j - q for j.
-3
Let r(g) be the second derivative of g + 0 - 9/2*g**2 + 1/3*g**3. Let d be r(6). Solve d*c = -1 - 2 for c.
-1
Let v be 0/3 - (-1 + -1). Suppose 3*f - v*f + 3*i = -7, -i - 5 = -f. Suppose f*x = -4*x. Solve b = -x*b for b.
0
Suppose 4*j = -6*j + 610. Let n = j - 56. Solve 3 = 2*v - n for v.
4
Let b(l) be the second derivative of -l**4/12 - 2*l**3/3 + 2*l**2 - 16*l. Let p be b(-4). Solve p = -2*i - 6 for i.
-5
Let x(d) = d + d**2 + 2*d**3 + 4*d**2 - d**3 + 13 + 5*d**2. Let i be x(-10). Solve -3 = -3*z + i for z.
2
Let c be (30/18)/5 + 92/3. Let f = c - 28. Solve -4*r - 3 = -f*r for r.
-3
Let s be 7 - (4 + 3 + -2). Let q(o) = 25*o**2 + o. Let z be q(-1). Let w be (-2*1)/((-8)/z). Solve -s*r - 4 = -w*r for r.
1
Let v = 0 - -2. Suppose -v = w - 3. Let i be ((-28)/(-49))/(2/7). Solve -i*y - w + 7 = 0 for y.
3
Let s be (-889)/63*-12 - 24/18. Solve s*r - 20 = 172*r for r.
-5
Suppose 6*a - 9 = v + a, -4*a = -8. Suppose 2*k - 2 = 3*t - v, -4*k = t - 9. Let z be 3*(2 + t - 2). Solve -z*r = -2*r for r.
0
Let x(b) = -4 - 69*b + 68*b + 1. Let p be x(-7). Solve 0*f + p*f - 12 = 0 for f.
3
Let s be (-3)/(75/20) + (-342)/(-15). Solve -9*m + 20*m + s = 0 for m.
-2
Suppose 6*f - 12 = -0. Suppose 4*l = 3*l + 3. Suppose -j + 2*p + 11 - 3 = 0, -4*j + 12 = -l*p. Solve -2 = f*r - j*r for r.
-1
Suppose 0 = 3*o - 15, 5*m - 2*o = -0*o - 30. Let l be 0/((m/(-1))/2). Let s = -3 - -7. Solve l*j = -2*j - s for j.
-2
Let n(z) = -z + 1. Let w(x) = -x**2 - 16*x + 1. Let g(b) = -2*n(b) + w(b). Let u be g(-13). Solve u = 5*a - 8 for a.
4
Let t(l) = 6*l + 137. Let g be t(-22). Solve g*d = 40 - 15 for d.
5
Suppose -3 = 2*x - 9. Let q(l) = -x + 5 + 7*l + 2 - 4*l. Let n be q(0). Solve n = -b - 0 for b.
-4
Suppose 0 = 385*b - 392*b + 70. Solve 25 = -3*y + b for y.
-5
Let h(u) = u**3 - 9*u**2 - 9*u - 10. Let m be h(10). Suppose m = -5*r - 4*g + 6, 0*g + 4*g = 3*r + 22. Let v be 5 - 6 - (-1 + r). Solve t + t - v = 0 for t.
1
Let q = 173 + -170. Solve q*m = 9*m - 30 for m.
5
Let i(r) be the second derivative of 0 - 5*r**2 - 7/12*r**4 + 1/20*r**5 - r + 1/3*r**3. Let t be i(7). Solve -n + t = n for n.
2
Let a(u) = u**2 - 4. Let n be a(3). Let s = n + -3. Suppose -2 = -h + 3*g + s, -3*h = -3*g - 6. Solve -3 = 2*y - h for y.
-1
Suppose -8 = -l - 4*y - 3, -3*l - 5*y = -22. Let x = 9 - l. Solve x*p = p for p.
0
Let b(r) = r**2 + 5*r - 13. Let s be b(-9). Suppose -15 = 4*u - s. Suppose -w - 4*h = -8, u*w - 5*h - 15 = -3*w. Solve y - 1 = -w for y.
-3
Suppose 0 = 8*j - 5*j - 3*w, 2*w = 4. Solve j*u = 9 - 15 for u.
-3
Let y be ((-56)/6)/7*75/(-10). Solve -4*b + 18 = -y*b for b.
-3
Let x be (-145)/(-2) - 9/(-18). Let p = 76 - x. Solve -p*h + 2 = -h for h.
1
Suppose -u + 3 = -0*u. Let f be 14 + 1/(-1) + u. Let c(h) = 9*h - 124. Let k be c(14). Solve -6*i - f = -k*i for i.
-4
Suppose h + 30 = 6*h. Let i(b) = b**2 - 6*b + 4. Let n be i(h). Let a = n - -14. Solve a = 4*j + 2 for j.
4
Let a(t) = t**2 - 6*t + 2. Let c be a(6). Suppose q = -c*q + 30. Suppose -2*h = 0, -2*u - 3*u + q = -3*h. Solve 3*g + 4 = u*g for g.
-4
Suppose -566 = 3*p - 590. Solve 3*h + p = -4 for h.
-4
Suppose -4*f = -j - 48, j = -f - f + 24. Solve -10*g = -6*g + f for g.
-3
Suppose -79 + 16 = -9*z. Solve z = -d + 2 for d.
-5
Let k = 15 + -12. Suppose 9 = k*i - 2*i. Let q = 9 - i. Solve q = -2*v + 7*v for v.
0
Let d(b) = -b**2 + b + 4. Let k be d(3). Let p(h) = -9*h - 71. Let i be p(-6). Let a = k - i. Solve -2*j = j + a for j.
-5
Let j be (21/(-14))/(6/8) + 1. Let z be j/4*-1 + 430/40. Solve -3*d = z + 1 for d.
-4
Let n(z) = -2*z**3 + 4*z**2 - 3*z + 1. Let a be n(1). Solve a = -12*x + 17*x + 25 for x.
-5
Let u(n) be the first derivative of 0 + 3*n - 3*n**2 + n**2 + n**3 + 5. Let o be u(2). Solve 0 = -5*m - 8 - o for m.
-3
Let v = 499 + -488. Solve 0 = -v*q + q + 50 for q.
5
Let c(h) = h**2 - 7*h + 2. Let f be c(3). Let g(r) = r**2 + 9*r - 6. Let l be g(f). Solve 5 = -t + l for t.
-1
Suppose 2*k + 28 = -20. Let h = -12 - k. Let i be ((-4)/h)/((-2)/12). Solve i*y - 5 - 3 = 0 for y.
4
Let p = 4 - 2. Suppose -p*w = -0*w - 16. Let q = 681 - 677. Solve q*m = 28 - w for m.
5
Let a be ((-1)/(-3))/((-18)/(-162)). Solve 7*p - a = 4*p for p.
1
Suppose -4*y + 4*a = 0, 5*y - 14 = -3*a + a. Suppose -5*c = -p - 90, -4*c = -y*c + p - 29. Let z = c + -17. Solve t + 0*t = z for t.
0
Let l = 53 - 53. Suppose 4*k = s, -4*k + 5*s = -l*s. Solve f - 3 + 0 = k for f.
3
Let c = -2 - -4. Suppose 5*u = 2*u - 2*y + 28, -19 = u - 5*y. Solve -r = c*r + u for r.
-2
Let o = 15 + -11. Let x be (o - (-15)/(-6))*(4 + -2). Solve x*d + 8 = -d for d.
-2
Let k = 5 - 1. Suppose k = 3*p - 2. Let n = 1 + p. Solve 2*v - 3 = n*v for v.
-3
Let r(u) = u**2 + 5*u + 2. Let j be r(-5). Let b be (-60)/24 + (-410)/(-4). Suppose -f = -6*f + b. Solve -3*y - j*y = -f for y.
4
Let z(j) = 3*j - 6. Let u be z(3). Suppose 12 = 4*m + 2*w, -3*m + u*w + 6 + 12 = 0. Solve 0 = m*s - 8 - 4 for s.
3
Let t(f) = -21*f - 124. Let l be t(-6). Solve 0*r - l = 2*r for r.
-1
Suppose -4*o + 8 = 4*w, 4*o + 2 = 6*o + 3*w. Solve 0 = -15*t + 17*t - o for t.
2
Let d = -88 + 78. Let q be (d/(-55) - 31/(-11))/3. Solve -v = 4 - q for v.
-3
Suppose -21*q + 148 = -251. Suppose -s = -2*s + q. Solve s + 1 = 5*p for p.
4
Let v = 8 - 4. Suppose 24*k - 142 = -163 + 93. Solve v = -z + k*z for z.
2
Let q(k) be the second derivative of k**4/12 - 5*k**3/6 + 2*k**2 + 4*k. Let i be q(3). Let w = 18 - i. Solve -w = 6*x - 2*x for x.
-5
Suppose 54 = 6*x - 48. Let h = 27 - x. Solve 4*y - 2 = h for y.
3
Let y be (0 - 3) + (-11)/((-11)/6). Suppose -z = y*z - 64. Solve -2*g + 6*g - z = 0 for g.
4
Let j be ((-9)/1 - -6) + 45. Solve 46*g + 20 = j*g for g.
-5
Let j(x) = -x**3 + 4*x**2 + x + 4. Let q be j(3). Suppose -2*s + u + 13 = 0, 2*u = -0*s + 2*s - q. Solve -16 = s*w + 4 for w.
-4
Let s = 459 + -455. Solve 27*p = 28*p + s for p.
-4
Let c be (-33)/4*(-1 - 7). Let k = -61 + c. Solve 0 = -2*z + k - 3 for z.
1
Suppose 3*n + 12 = 4*c, -c + n + 15 = 4*c. Solve -9 + 3 = -c*y for y.
2
Let v(a) = -2*a**3 - a**2. Let r be v(0). Suppose -8*z = -4*z - 16. Solve r*m + z = m for m.
4
Suppose -4*y = p - 20, -y - 5*p - 6 = 8. Let h = 1 + -5. Let i = y + h. Solve -i*x + 4 = -x for x.
4
Let r = 497 - 489. Solve -r = -125*s + 127*s for s.
-4
Suppose -2*h = -h - 5. Suppose 6*z = -47*z + 20*z. Solve z = -3*w + h*w + 4 for w.
-2
Let n be (-2 - (-2 + -1))*-1. Let g be 3 + -2 - -4 - (1 + n). Solve 0*k - 25 = g*k for k.
-5
Suppose 4*c = 2*c. Suppose 0 = y + 2*u, y + 5*u = -3 - c. Solve -f = 1 - y for f.
1
Let r = 10 + -10. Suppose 2*n - n + 6 = r. Let u be (4/(-6))/(4/n). Solve u = -3*k - 11 for k.
-4
Let t = 2 + 4. Suppose 2*m = 4*m + t, 2*m + 38 = 4*z. Let p = 118 - 115. Solve p*d - z = -d for d.
2
Let j(x) = x**3 - 2*x**2 + x - 2. Let r be j(2). Solve -5*i + i - 4 = r for i.
-1
Let b be ((-10)/(-4))/(2/4). Let u(a) = a**3 + 9*a**2 - 14*a - 19. Let j be u(-10). Solve -j = -b*y + 4 for y.
5
Let z(s) = -s**2 + 4*s - 3. Let a be z(2). Let c be (11 - 1)*-1*2/(-5). Suppose 0 = -3*j - 15, 4 = 2*g + 3*j + 1. Solve -c*r = a - g for r.
2
Suppose 0 = 3*a + 3*m - 3 - 6, -5*a + 3*m = -15. Let b(o) = o + 1. Let h be b(2). Suppose -l = s - 5, -h*s - 2*l + 5*l = -9. Solve a = k + s for k.
-1
Let s = 12 - 4. Suppose -m - s = -2*a - 2*a, -4*a + 16 = m. Suppose -2*r + 5*r = -h + 3, 4 = -3*h + 4*r. Solve h = -m*w + 3*w - 3 for w.
-3
Let l be (-1 - (-1 + -1))*20. Solve 7*i - l = 2*i for i.
4
Let z(o) = 4*o - 70. Let i be z(19). Suppose 5*x + i*a - 3*a - 36 = 0, -a = -3*x + 30. Solve -b - 2*b = -x for b.
3
Let t = -24 + 28. Solve -6*q = -t*q for q.
0
Suppose 3*h - 19 = 5*g, -5*g = -0*h + h - 13. Suppose -2*w - 3*w + 60 = 0. Let y be w/h*4/6. Solve y = -4*j - 7 for j.
-2
Suppose 6*h - 18*h = 0. Let z(f) = -4*f**2 + 3 + 5 + 3*f**2 + f. Let p be z(h). Solve -y + p = y for y.
4
Let p = -242 + 245. Solve 2 = p*q + 11 for q.
-3
Let t(s) = s - 1. Let i be t(4). Suppose -i*x + 120 = 3*x. Suppose 22 = 2*n - 4*b, -4*n + 35 + 1 = -4*b. Solve x = -2*y + n*y for y.
4
Let v(d) = -d - 1. Let s(n) = -n**2 - 2*n + 5. Let c(h) = -s(h) - 4*v(h). Let l be c(-7). Let p = -5 + l. Solve p = -w