 6*c + 3. Let l be o(7). Let v = u + l. Solve b = -v*b - 3 for b.
-1
Let o(z) = -6*z**3 + 3*z**2 + 3*z + 1. Let m be o(-1). Solve -m*y = -2*y + 10 for y.
-2
Suppose 2*v = -0*v. Solve 15 = 5*y - v*y for y.
3
Suppose 3*y - 2 = 2*y. Let u(c) = 2*c**2 + 3*c - 2 + 10*c**2 - 8*c**2. Let p be u(y). Solve 3*m = -m + p for m.
5
Let f = -55 - -57. Solve 0 = f*j - 5*j for j.
0
Suppose -5*l + z - 3*z - 1 = 0, l = 4*z + 13. Let j = 2 + 0. Suppose h - j*h = -3. Solve r - l = h for r.
4
Let a be ((-10)/(-4) + -2)*152. Suppose 5*r - 2*t = a, -2*r - 2*t - 13 = -49. Solve 0 = -3*l - r + 4 for l.
-4
Let m be ((-24)/(-28))/(1/7). Suppose h + m = 4*h. Solve -3*o - 20 = h*o for o.
-4
Let f(m) = -m**3 + 4*m**2 - 2*m - 1. Let w be f(3). Let j be (-9 - -13)/(w/6). Solve 0 = i - 5*i + j for i.
3
Let l(o) = o. Let n(a) = a + 4. Let m(q) = 2*l(q) - n(q). Let p be m(6). Solve -13 - p = -5*x for x.
3
Let t = 65 - 20. Suppose 0 = -3*m - 2*m + t. Solve 2*j + m = 5*j for j.
3
Suppose u - 2 = -11. Let q = u + 18. Solve 3 + q = -3*o for o.
-4
Let p be 9/6*(-2)/(-3). Let x be (-1 + p)/(2 - 1). Solve k = -x*k for k.
0
Suppose d + 0*d = -10. Let h = -10 - d. Solve h*g - 3*g = 0 for g.
0
Let w be (-16)/2*-2*(-4)/(-32). Solve -3*r - 13 = w for r.
-5
Let u = -34 - -94. Suppose -5*i - r - 3*r = -u, 0 = 4*r. Suppose 7*g + 3*w = 4*g + i, 0 = 4*g + 2*w - 12. Solve p = 3*p + g for p.
-1
Let p = -7 + 9. Suppose -2*h = -3*w + 31 - 6, -p*w + 3*h + 25 = 0. Solve -w*x = 15 + 5 for x.
-4
Let a = -4 - -7. Suppose a*m + m = 12. Solve 0 = m*k - 1 + 13 for k.
-4
Let u(j) = -j - 1 - 3 + 4 - 1. Let p be u(-5). Solve -5 = -p*w + 11 for w.
4
Let g be 6/12 + 10/4. Suppose -9 = g*x - 6*x. Suppose -a - 2 = -4*a - 4*k, -a = -k - x. Solve 4*u + 2 + a = 0 for u.
-1
Let k(o) = 2*o - 11. Suppose -v - v + 14 = 0. Let h be k(v). Solve -h*w + 3 = -9 for w.
4
Let y(x) = x**2 - 4*x + 7. Let l be y(5). Suppose 0 = -0*o + 4*o - l. Solve -13 = -5*n - o for n.
2
Let z(f) = -f - 4. Let b be z(-5). Let x = 1 - b. Solve u = -x*u for u.
0
Let c(y) = y + 8. Let a be c(-6). Suppose 2*x - 32 = -a*x. Suppose -4 = 2*o - x. Solve -o*l - 1 - 3 = 0 for l.
-2
Let p(u) = -u - 5. Let y be p(-8). Suppose -45 + 123 = y*q. Solve 0 = 4*d + 6 - q for d.
5
Suppose 0 = 5*l - 38 - 17. Suppose 4*h - 4*m + 4 = 0, m - l = -4*h - 0*h. Solve 7*p - 20 = h*p for p.
4
Let v(n) = 5*n**2 - 4*n - 6. Let d(k) = 11*k**2 - 9*k - 13. Let a(s) = -4*d(s) + 9*v(s). Let b be a(2). Solve -2*q = -q + b for q.
-2
Suppose -5*n - 3*d + 45 = 0, -5*d = -4*n - 0*d - 1. Solve n*p = p - 5 for p.
-1
Suppose 4 + 2 = 3*s. Solve y + 1 = s*y for y.
1
Let a be 7 - 5 - 0/(-2). Suppose -9 = -c - a*c. Solve 2*o + c*o = -15 for o.
-3
Let w be (42/(-12) - -5)/(6/8). Solve w = -5*f - 8 for f.
-2
Let i(d) = 14*d**2 - 1. Let y be i(-1). Solve 5*j + y + 2 = 0 for j.
-3
Suppose 0 = -5*h + 3*t + 12, 0 = 2*h + t - 10 + 3. Solve -l = -h*l for l.
0
Let k be 18 - 20 - (-1 - 18). Solve -3*w - k = -2 for w.
-5
Let j be (4/(-4))/((-2)/6). Let f be (-68)/(-4) - (1 - j). Solve -f + 7 = -4*w for w.
3
Let v(h) = h + 21. Let c be v(-16). Solve 0 = -t - 0*t + c for t.
5
Let v(g) be the first derivative of -g**3/3 + 6*g**2 - 10*g - 9. Let r be v(8). Solve -10 + r = 4*m for m.
3
Suppose -g = -0 - 2. Solve 2*u - g = 2 for u.
2
Let q be 5/(-1)*(-6)/(-5). Let z be (-124)/(-6) + q/9. Solve 0 = -3*r - r + z for r.
5
Suppose -4*p - 26 = -3*b + 3, 3*b + 1 = -2*p. Solve -b*h + 0*h = 0 for h.
0
Suppose -3*n - t + 4 = -2, -3*t = -2*n + 4. Suppose 4 + 4 = n*m. Solve 0 = m*c + 14 + 2 for c.
-4
Suppose b = 2*b - 5*o + 13, -4*b + 5*o = 7. Solve 10 = b*i - 0*i for i.
5
Let c = 85 - 51. Suppose 5*n = -4*b + c, -b = b - 2*n - 8. Solve b = g + g for g.
3
Let x = 5 + -3. Solve x*j - j - 2 = 0 for j.
2
Let x = 67 - 65. Solve x = -0*d - 2*d for d.
-1
Suppose 3*v + 19 - 4 = 4*q, -3*q - 2*v = -7. Solve q*r = 2*r for r.
0
Let y = 8 - 1. Solve 3*o = y*o + 4 for o.
-1
Let x = -57 + 59. Let n(l) be the second derivative of l**5/20 + l**4/6 - l**3/6 + l**2/2 - 2*l. Let w be n(-2). Solve 0 = w*j - x*j for j.
0
Let d be (0/(6/(-2)))/(-3). Suppose d*m = -4*m + 16. Solve m*k + 5 = 3*k for k.
-5
Let v be ((-4)/10)/((-4)/80). Solve -v = -3*d + d for d.
4
Suppose -3 = 7*d - 8*d. Solve -d*w - 2*w - 5 = 0 for w.
-1
Let k be 12/(-2) - -11 - (0 - -4). Solve -r = k - 3 for r.
2
Let c(f) = -f - 1. Let i be c(-5). Suppose -2*h + 22 + 12 = 0. Suppose -4*d + h - 1 = 0. Solve -d*w + 2*w - i = 0 for w.
-2
Suppose 3*r = -0*r. Let p = r + 3. Solve 18 = p*b + 3 for b.
5
Let x be (1/(-4)*0)/1. Solve x*s = -s + 1 for s.
1
Let o(k) = -k**2 - 5*k + 7. Let r be o(-6). Let f be 5 - 3 - r - -3. Solve 3*c - f = 2 for c.
2
Let l = -11 + 13. Solve 5*n - 27 = -l for n.
5
Let r = -1 - -1. Suppose 7*y + 15 = 5*g + 4*y, r = -4*g + y + 12. Solve g*z - 3 = -0 for z.
1
Let t(q) = -7*q + 40. Let c be t(5). Solve -3 = c*j + 12 for j.
-3
Let l = 29 - 21. Let o = 16 - 12. Let m = 19 - o. Solve 0 = 5*q - l*q + m for q.
5
Let k be 0/4 - (1 - 3). Suppose -3*j = 2*j + n - 12, -k*j + 2 = -n. Suppose j*r - 4*r + 50 = 0. Solve 4*b - r = -b for b.
5
Let k be (-1)/1 + (8 - 5). Solve 5*q + k = -13 for q.
-3
Suppose 0 = -4*v + 22 - 6. Solve -5*o = v - 29 for o.
5
Let v(y) = -y - 3. Let s be v(-6). Let l = s - 3. Solve 0*r - 2*r = l for r.
0
Suppose 7 = 3*f - 5. Let i = 5 - f. Solve i + 2 = a for a.
3
Suppose 3*k + 0*k = 0. Suppose -25 = 2*u - 7*u. Solve -l + u*l - 20 = k for l.
5
Let l(t) = t**2 + 7*t - 8. Let s = 12 - 19. Let r be l(s). Let o = r + 11. Solve -5*i + o*i + 2 = 0 for i.
1
Suppose 2*q = -4*t + 58, 0 = 2*q - 2*t - t - 44. Solve q = k + 4*k for k.
5
Let u(h) = -2*h + 2. Let x be u(0). Solve 0 = g - x*g - 4 for g.
-4
Let c = 37 - 66. Let k = -21 - c. Solve 2*n - 6*n = -k for n.
2
Let r be (-6)/(-2) + 24/6. Solve -r - 3 = 2*x for x.
-5
Let c = 95 + -35. Suppose -4*o = 4*u - c, -2*o - 4*u = -9*u - 51. Solve 0 = -5*d - 3 + o for d.
3
Suppose -f = -0*f + 4*d - 4, d = 0. Solve 3 = -n + f*n for n.
1
Let i = 36 + -30. Suppose -2*l + 56 = 2*l. Solve -i = -2*r - l for r.
-4
Suppose -5*m + 14 + 1 = 0. Solve -m*v + 20 = v for v.
5
Let b = 15 - 11. Suppose -b*h + 40 = h. Suppose 0 = -5*z + 25, 3*t = z + h + 14. Solve 3 = -3*j - t for j.
-4
Suppose g + 0 - 2 = 0. Suppose 6 = g*n - 0*n. Solve -n*a = -6*a for a.
0
Let b be (3 - (0 + 0)) + 0/(-1). Let n(s) = s + 3. Let o be n(0). Solve 0 = -o*x + 3 + b for x.
2
Let a(l) = -2*l**3 - l**2 + 4*l**3 - 2 - 3*l**3. Let i be a(-2). Suppose -2*v - i*h - 2 = 0, 4*v = -0*v + 5*h + 41. Solve -u - v = u for u.
-2
Let n(v) = -v**3 - 6*v**2 + 8*v + 10. Let r be n(-7). Suppose 0*y = -5*l - 3*y + 14, -4*y + 4 = r*l. Suppose c - l*c = -3. Solve -5*z + c = 6 for z.
-1
Suppose 0 = 3*a - p - 8, a - 3*p - 13 = -5. Solve d - a = -d for d.
1
Suppose -v + 9 = -c - 4*v, 3*v + 12 = 0. Let o be c*4/(-6) + 4. Solve 0 = -f - 2 - o for f.
-4
Let r(m) = -m**3 + 3*m**2 + m - 4. Let p be r(2). Solve 2 = -p*f - 4 for f.
-3
Let s be (0 - (-9)/(-6))*-2. Let q be ((-13)/s + -1)*-3. Suppose -4*u = 3*z - 0*z - q, 0 = -4*z + 2*u + 14. Solve 0 = -z*k - 28 + 8 for k.
-5
Let x be (-3 - -3)*2/(-8). Solve 0 = -4*z - x*z for z.
0
Let d(l) = -l**2 - l + 6. Let q(t) = 1. Let w(a) = -2*d(a) + 14*q(a). Let v be w(-2). Let r be 2/(-3) + 2/3. Solve k - v*k = r for k.
0
Suppose -2*k + 6 = 2. Solve -k*t + 12 = 2*t for t.
3
Let w(a) = -a - 1. Let p be w(-5). Suppose -p*r + 5*x = -45, 4*r = 5*x - x + 40. Solve -r*l + 2 = -3*l for l.
1
Suppose 3*t + 5*o - 3 + 2 = 0, t = 2*o + 4. Solve t*j = 6*j - 16 for j.
4
Let r(m) = 2*m**2 + 7*m + 16. Let s be r(-4). Solve -s = 5*q + 5 for q.
-5
Let c be -3*(8/(-9) + (-6)/(-27)). Solve h = c*h + 4 for h.
-4
Let r be 15 - (-1 - 4/(-2)). Let g be (-92)/(-28) - 4/r. Let v(w) = -w**3 + 3*w**2 + 3*w. Let y be v(3). Solve 0 = g*o - y for o.
3
Let x be (3 - (2 - 3))/1. Let i(b) = 2*b - 8*b + 5*b**2 - 5*b - x*b**2. Let v be i(11). Solve v = -2*k - 2*k for k.
0
Let q be (-4 + 2)/2 + 13. Solve 0*w - 3*w + q = 0 for w.
4
Suppose -1 = 2*k - 23. Solve 1 = -5*g + k for g.
2
Let k = -10 - -12. Suppose -3*z + 3 = -k*z. Solve i + z = 2 for i.
-1
Let q be 2 + (1 + -3 - -5). Let u = -3 + q. Solve 0 = 2*w + u - 6 for w.
2
Suppose -12 = -3*n - n. Suppose 2*f - 23 = 5*q, -q - 17 = n*f - 43. Solve f = -d - 2*d for d.
-3
Let l be (-3)/(-6)*(-30)/(-1). Suppose 3*a = 3*p - l,