). Let a be 0 + 1/k + 21. Solve u*c + c + a = 0 for c.
-5
Let y(f) = -f + 13. Let l be y(9). Solve 4*t + l + 4 = 0 for t.
-2
Let p be 1/(2 + (-18)/10). Solve p*n + 3 + 2 = 0 for n.
-1
Suppose 4*o - 9 - 11 = 0. Solve -34 = o*g - 14 for g.
-4
Suppose -3*h = -h + 2*i + 4, i - 2 = -3*h. Let g be (6/4)/(h/(-4)). Let b = 6 + g. Solve l = 2*l + b for l.
-3
Suppose 5*h = 4*g + 39, 2*g - 7*g - 19 = -2*h. Solve 6*m - h*m - 4 = 0 for m.
-4
Let j be (2/(-1))/((-4)/10). Suppose -u + 13 = 2*y, j*y = -u - 2 + 24. Suppose -u*f + 16 = 4*z - 2*f, 12 = 3*z + 3*f. Solve 6 = -2*q + z*q for q.
3
Let u(a) be the second derivative of -a**3/6 + 7*a**2/2 + a. Suppose q = 5*q + 5*k - 45, 3*k = 4*q - 5. Let v be u(q). Solve v = 4*s - 3*s for s.
2
Suppose 3*z - 60 = -0*z. Suppose -4*g = -0*g - z. Solve 7 = g*w - 18 for w.
5
Let o = -8 + 8. Suppose 4*x - x = o. Suppose -4*q + 12 + 12 = 0. Solve -g - g + q = x for g.
3
Let n = -119 - -124. Solve -3*i - n = -4*i for i.
5
Let x(p) = -4*p**3 - p**2 + 4*p + 7. Let o(w) = -5*w**3 + 5*w + 7. Let z(v) = -5*o(v) + 6*x(v). Let b be z(6). Suppose b - 26 = -5*d. Solve r + 16 = d*r for r.
4
Suppose -7 = -5*c + 28. Solve r + c = 3 for r.
-4
Suppose 185 = 6*v - v. Suppose 3*o + 4*t + 10 = 1, 3*t - v = 4*o. Let c = 7 + o. Solve 2 = w - c for w.
2
Let f(r) = 2*r**3 + 28*r**2 + 16. Let c be f(-14). Solve c = 3*k - 7*k for k.
-4
Suppose -12 = -2*a - 2*a + i, -9 = -3*a + i. Let p(v) = -v**2 + 5*v - 2. Let z be p(3). Suppose n - 3 = z*d, 2*d = 2*n + d - 13. Solve h - a = -n for h.
-4
Let k(f) = -2*f + 1. Let m be k(-2). Let a be -2 - -4*(-3)/(-2). Suppose m*t - 2*p = 17, -5*t - 5*p + a + 41 = 0. Solve h = -0 + t for h.
5
Let h be (-6)/9*(-9)/4*2. Solve -h*j + 6 = 12 for j.
-2
Let c(f) = f**2 + f - 2. Let n be c(-7). Suppose -5*u + n = -0*u. Solve 2*v + u = -2*v for v.
-2
Let q be 4/24 - (238/12)/(-7). Solve q = -h - 1 for h.
-4
Let q = 25 + -17. Let f(j) = j**2 - 5*j - 1. Let g be f(6). Solve g*w - 17 = q for w.
5
Let t(n) = -n - 5. Let b be t(-8). Suppose -2*o - b*o + 95 = x, -o + 4*x + 40 = 0. Solve -m + 5*m + o = 0 for m.
-5
Let j(r) = r**2 - 15*r - 29. Let s be j(17). Solve -2*i = -7*i + s for i.
1
Suppose 0*l - 4*l + 2*i = -26, l - 19 = 3*i. Suppose 0 = l*x + x - 30. Solve -x = -h - 1 for h.
5
Suppose -o + 3*o - 5*q = 182, 3*q - 252 = -3*o. Suppose 0 = -4*l - 2*v + o, -6*v = 3*l - v - 75. Suppose -6*x + l = -x. Solve -b - x = 1 for b.
-5
Let q(v) = 5*v**2 + 2 - 1 - 3*v - 3*v**2. Let n be q(2). Suppose 6 = -19*w + 22*w. Solve -n*c - 25 = w*c for c.
-5
Let d(s) = -21*s - 2. Let q be d(-1). Let a = 23 - q. Solve -a*k = -1 + 5 for k.
-1
Suppose 41 - 1 = 5*f. Suppose f - 5 = k. Solve k*h = h - 6 for h.
-3
Let s(v) = -v**2 - 3*v + 5. Let g be s(-4). Suppose -7 = -4*b + 3*b + 4*a, -4*a = -2*b + 6. Let j = b - -4. Solve 2*i = -j + g for i.
-1
Suppose -4*q + 2 - 34 = -w, -4*w + 20 = -4*q. Let t = 6 + q. Let l be (-2)/5*(-53 - t). Solve 0*j - 5*j = l for j.
-4
Let p be 6 - 260/45 - 16/(-9). Solve p*f + 5 = -3*f for f.
-1
Suppose -2*n + 16 = 5*x - 4*n, -2 = 2*x - 5*n. Solve x*a = -18 - 2 for a.
-5
Let n be (-8)/(-6)*(-9)/(-6). Suppose 5*f + 12 = n*f. Let m be (-4)/(4 + -2) - f. Solve -m*i - 3 = i for i.
-1
Suppose 3*a - a = 0. Suppose 26 = 5*i + 6. Solve a = 5*w - i*w for w.
0
Suppose -18*a + 64 = 10. Solve 9 = a*v - 6 for v.
5
Let g(z) = -z**3 - 4*z**2 - 3*z + 2. Let u be g(-3). Suppose 0 = 3*i + 2*f - 48, -80 = 2*i - 7*i + 4*f. Suppose -13*j + 17*j = 24. Solve -j = u*m - i for m.
5
Let b be (-32)/(-3) + 4/(-6). Solve 4*v + 2 + b = 0 for v.
-3
Suppose -2*t = 3*l - 80 + 31, -3*t + 48 = -4*l. Solve 2*f = 7*f + t for f.
-4
Let a(m) = -2*m**2 + 2. Let y be a(2). Let q be 4 + 3*(-2)/y. Suppose 3*x - l - 17 = 0, -18 - 3 = -q*x - 2*l. Solve -x = -5*h - 0 for h.
1
Suppose -16 = -5*x + 4. Suppose -2*g - c = 2*g - 11, -5*g = -x*c - 40. Solve 9*u - g*u - 25 = 0 for u.
5
Let r(n) = -2*n - 3. Let g be ((-6)/(-8))/((-1)/4). Let x be r(g). Solve -o - x = -0*o for o.
-3
Let v be 4 + (-3 + 2)/(-1). Suppose -v*w + 4 = -11. Solve b - w = -2 for b.
1
Let g(m) be the second derivative of -m**3/3 + m**2/2 + m. Let f be g(-1). Suppose -3*n + 3 = -f. Solve 0*x = n*x - 6 for x.
3
Let i(m) = m**2 - 2*m + 1. Let z be i(1). Suppose -2*h + z*h = -6. Solve -h - 5 = -2*w for w.
4
Let k(j) = -j**2 - 6*j - 3. Let t be k(-5). Solve 7*q = t*q + 15 for q.
3
Suppose 25 + 11 = -2*y. Let h be (1*-2 - -1) + -8. Let w = h - y. Solve -w = -5*i + 1 for i.
2
Let g = -12 + 6. Let f be (7 + -4)*4/g. Let b(v) = v**2 - v - 2. Let p be b(f). Solve p*r + 0*r - 8 = 0 for r.
2
Let g = -21 + 15. Let v = g - -4. Let j be 1/v*(-7 + 5). Solve -y - j + 5 = 0 for y.
4
Suppose -2*u + u = -3. Solve u*r + 7 = 1 for r.
-2
Let d be 5 - 2 - (-3)/(-3). Solve 20 = d*l - 6*l for l.
-5
Let g be ((-5)/(15/(-6)))/(-1). Let y be 2 - 1/(1 + g). Solve 2*w = -w - y for w.
-1
Let t be 23/1 - (-3 + 6). Suppose o = -2*f + 17, -5*f - 2*o + 4*o + t = 0. Solve -10 = m - f*m for m.
2
Let u(a) = -a - 4. Let h(o) = 3*o + 6. Let w be h(-4). Let r(q) = q**3 + 7*q**2 + 6*q - 6. Let i be r(w). Let y be u(i). Solve y*t - 8 = 2 for t.
5
Let a(p) = -p**3 - 6*p**2 + 8*p + 10. Let j be a(-7). Solve 0 = k - j + 1 for k.
2
Let h(m) = -m**3 - 5*m**2 + m + 7. Let c be h(-5). Suppose 9 = -3*y, -5*t - 2*y - 10 = -t. Let r be 2*17*t/(-2). Solve -c*x = -7 + r for x.
-5
Let p(f) = -f + 2. Let n be p(0). Suppose 0 = -2*j + x + 3, 4*j + 0*x = -3*x - 9. Suppose 2*s + 2 + j = -c, 2*s = c - 6. Solve -c = -n*g + g for g.
2
Let m be (-39)/(-26) - 17/(-2). Suppose -q - q + m = 0. Solve 0 = -q*a - 0*a - 5 for a.
-1
Let b be 2/(-6) + (-40)/6 + 9. Solve s - 2 = b*s for s.
-2
Suppose 0 = 2*c - 7*c + 10. Suppose 4 + 0 = 4*n. Suppose -j - n = -c*j. Solve -4*i = -3*i - j for i.
1
Suppose 10*z - 5*c - 12 = 7*z, 0 = 4*z - 2*c - 16. Solve 0 = -z*k + 7 + 5 for k.
3
Let z(l) = -l + 3*l - 2 - 7. Let m be z(6). Solve m = -o - 2 for o.
-5
Let p = 24 + -21. Solve 6 = p*m + 15 for m.
-3
Let x be 24/(-42)*7/(-2). Solve 0 = -4*g + 6 + x for g.
2
Suppose -10 = -4*t + 2. Let l be 9*1*(-4)/(-12). Suppose 3*z + 7 = m + 3, -l*m - 2*z + 12 = 0. Solve h - t = m*h for h.
-1
Suppose 4*c - 2*a - 10 = 0, 10*c - 14*c - 3*a + 35 = 0. Suppose 9*w - 4*w = -25. Let n be 4/w*(0 - 10). Solve n - 23 = c*f for f.
-3
Suppose 3*m + q = 9, 2*q = -4*m + m + 6. Let r = 12 - 7. Let u = r + -5. Solve 0 = -2*k + m - u for k.
2
Suppose -4 = -2*r - 0. Let b be 1*(-2 - -1) + 2. Let c be (0 - -4)*b/r. Solve -2*l + 20 = c*l for l.
5
Let x = -15 + 9. Let r = -5 - x. Solve -4 = -a + r for a.
5
Let f = 17 - 17. Solve h + 2 = -f for h.
-2
Let n(j) = -j**2 - 9*j - 9. Let f be n(-7). Suppose 0*u - 3*u + y = 0, -f*u = 5*y. Solve 4*x - 7 - 1 = u for x.
2
Let c be (-6)/8 + (-9)/(-12). Let q be 4 + 0/(4 + -1). Solve c = d + q*d - 25 for d.
5
Let b(y) = -y**3 + 9*y**2 - 7*y - 8. Let p be b(8). Let u = 2 - p. Suppose -u*m + 5 = 5*d + 2, -4 = 4*d. Solve m*o - 4 + 0 = 0 for o.
1
Let t be (5 - 0)*(-4)/(-10). Suppose -p - 2*a - 1 - 5 = 0, -5*p + 5*a = -30. Let s = t - p. Solve s = -4*r - 6 - 2 for r.
-2
Suppose -4*q - 16 = 2*m, 5 = -2*q - 2*m + 1. Let w = -1 - q. Suppose -3*g = 2*h + 10, -2*g + 3*h + 7 = -8. Solve g*j = -j + w for j.
5
Suppose 4*c - 6 = 2*c. Suppose 0 = o + 4*o. Suppose 8*h - 3*h = o. Solve h = -2*t - t + c for t.
1
Suppose 0 = -j + 5*j - 8. Let w = j + 2. Solve w*l - 1 = 3*l for l.
1
Suppose -4*o = -3*d - 26, 4 - 14 = -4*o - 5*d. Solve q - 1 = -o for q.
-4
Suppose 0 = 5*z + 5*s - 65, -5*s = -z - 2*s + 21. Suppose 2*b + 4*n = -12, -b + 8 = -4*b + 4*n. Let w = b - -6. Solve w*p + 3*p - z = 0 for p.
3
Let i = -3 + 0. Let n be (i/((-3)/20))/1. Suppose -4 = 2*r - 10. Solve r*u = n - 5 for u.
5
Suppose -3*b = -8*b + 950. Let z be 2/9 + b/(-45). Let w(l) = l**3 + 4*l**2 - 3*l - 1. Let t be w(z). Solve 3*k + t + 4 = 0 for k.
-5
Suppose -3*t + 13 = -17. Solve -4*l + 6 = -t for l.
4
Let q(j) = -j. Let i be q(-2). Let k be 1*(0 + 2) + 0. Suppose k*b - 10 = -3*b. Solve i*m + b = 10 for m.
4
Let s(k) = k**3 - 5*k**2 - 8*k + 13. Let c be s(6). Solve 0 = -u - c + 2 for u.
1
Let b(i) = 7*i - 16. Let x be b(5). Solve -x + 4 = 5*w for w.
-3
Let h = 25 + -25. Solve h = 4*b - 5 - 11 for b.
4
Let i be (6/(-9))/(2/(-36)). Solve -2*d = 2*d - i for d.
3
Suppose -2*i = -4*t + 34, -5*i = 3*t - 24 - 21. Let w be t/8 + (-5)/20