4 - b. Solve -r = h*r - 9 for r.
3
Let k be ((-21)/(-6) - 3)*0. Solve 4*n + 10 + 2 = k for n.
-3
Let y = -11 + 14. Solve -u - y*u + 8 = 0 for u.
2
Let h be ((0/2)/(-4))/2. Solve h = -y + 5 - 0 for y.
5
Suppose -c = -6*c. Let g be (2/5)/((-2)/(-30)). Solve c = -m - g + 3 for m.
-3
Suppose 4*k - 22 = -5*w, -w = k - 3*w + 1. Suppose -k*z - 6 = -5*z. Solve p + 0 = -z for p.
-3
Let p be 3 - 3 - (-40)/2. Solve 7*d = 3*d - p for d.
-5
Let s(v) = -9*v**2 + 13*v + 16. Let w(h) = 4*h**2 - 6*h - 8. Let t(c) = 3*s(c) + 7*w(c). Let q be t(7). Solve 5*d - d = q for d.
5
Suppose 0 = 5*m - a - 20, -3*m + 13 - 1 = -2*a. Let z = 19 + -16. Suppose -2 - 9 = -z*b + 2*c, -m*c = -b + 7. Solve -2*x - b + 13 = 0 for x.
5
Let m be 3/((-2)/4 - -2). Let w = m - 2. Solve w*f - 2*f - 10 = 0 for f.
-5
Let a = 66 - 58. Solve -t = t - a for t.
4
Let s(a) = -2*a + 24. Let t be s(12). Solve t = 2*j - 6*j - 20 for j.
-5
Let y = 3 + 2. Let l(m) = -2*m - 4. Let w be l(-3). Solve -w = y*o - 12 for o.
2
Let l be (-7 - -3)*1 - -10. Suppose 20 = 5*p - 0*j + 5*j, l = p + 3*j. Let n = 8 - 4. Solve p*a = n*a for a.
0
Let h = 0 - 2. Let b be (-8)/(-8)*0/h. Solve -4*s + 0 + 4 = b for s.
1
Let l be 0/((-2 - -1) + 2). Let g(s) = 0 - 2 + l*s**2 + s + s**2. Let p be g(-2). Solve p*k = -2*k for k.
0
Let v = 3 + -2. Let c be ((-25)/(-10))/(v/4). Solve -6*l = -l + c for l.
-2
Let w(v) = 4*v + 8*v - 3*v - v**2 + 12. Let x be w(10). Solve x*s = 2 + 2 for s.
2
Let g be (40/(-30))/((-4)/6). Solve d + 12 = -g*d for d.
-4
Suppose -2*z + 0*z = -2. Let l be (2/(-2))/(z/(-4)). Solve -l*i + 12 = 4 for i.
2
Let u(l) = l**2 - 15*l - 14. Let d be u(16). Solve -m + d = -3*m for m.
-1
Let j = 62 - 58. Solve 0 = -j*n - 7 - 1 for n.
-2
Suppose 7*x - 12 + 5 = 0. Solve -2*k - 5 + x = 0 for k.
-2
Let r be 1*(-1 + (-6)/(-2)). Let u = 1 + r. Suppose -23 = -5*n - u. Solve 0 = -a - a - n for a.
-2
Suppose 20 - 8 = 4*j. Suppose 20 = j*c - c. Solve -c = a + 4*a for a.
-2
Let r be (12/8)/(9/12). Suppose -4*h - 13 - 11 = 0. Let o be h/((9/(-4))/3). Solve -o + r = 2*x for x.
-3
Suppose 8 = 2*i - 3*i. Let z = -8 - i. Let f(l) = 2*l**2 + 3*l - 1. Let d be f(-3). Solve 4*g + d = -z*g for g.
-2
Suppose -k - 3 = -2*t - t, -3*k = t - 11. Solve 0 = t*l + 4 + 6 for l.
-5
Let f be (4/10)/((-3)/(-30)). Suppose -4*m + 0*d = 3*d - 7, 0 = -m - f*d + 5. Solve 3*q = m - 7 for q.
-2
Suppose 11 = 5*f + 1. Suppose 3*b - 4*z - 35 = -8*z, b + f*z - 15 = 0. Let l = -2 + b. Solve 5 = 2*n + l*n for n.
1
Let o be (-264)/(-42) - 6/21. Let c be (7 - o)*3/1. Solve 2*j + c*j = -25 for j.
-5
Suppose -2*o - 2*o = 4*m - 20, m = o + 7. Let x(c) = -c**2 + 7*c - 6. Let k be x(m). Solve -f - 3*f - 16 = k for f.
-4
Suppose -3*k = 2*k - 15. Let s = k - 1. Suppose -s*r + 45 = r. Solve -3*n - r = -0*n for n.
-5
Suppose 0 = -2*b + 6*b - 24. Solve b*f - 9 = 3*f for f.
3
Suppose -2*s = 3*s - 35. Suppose 0 = -2*w - c - s - 5, -4*w = 5*c + 36. Let g(d) = d**2 + 4*d + 3. Let f be g(w). Solve 0 = -f*m - 0*m for m.
0
Let g be ((-4)/6)/((-1)/(-15)). Let q = -7 - g. Solve 2*d = q*d + 4 for d.
-4
Let n = -73 + 81. Suppose 5*m + 2 - 19 = i, 4*m = 4*i + 20. Solve m*p = -p + n for p.
2
Let a(d) = d**2 - 7*d + 9. Let k be a(6). Suppose -k*r = 2*r. Solve r = j + 2*j - 15 for j.
5
Let q(a) = 2*a**2 - a - 4. Let i be q(2). Solve -i*s = s - 6 for s.
2
Let s be 12/10*(-10)/(-4). Solve s*o - 3 = -12 for o.
-3
Suppose -372 = -12*x + 8*x. Let h be 7/(-42) - x/(-18). Solve h*f = f for f.
0
Suppose -3 = 3*q - 0*q. Let c = 1 - q. Suppose 112 - 32 = 4*o. Solve -3*s - c*s = -o for s.
4
Let m = 3 - 0. Let b be 4/6 - 2/m. Let h(v) = v - 1. Let u be h(1). Solve -2*o + u*o = b for o.
0
Let n(l) = -5*l - 1. Let w be n(1). Let f be (w/4)/((-1)/6). Solve -2*s + 1 = -f for s.
5
Let h be -3 - (-3 + -2 + 2). Suppose 6*o - 3*o = h. Solve s - 2*s + 4 = o for s.
4
Let z(v) = -6*v**3 - 1. Let w be z(-1). Solve -w*j = 27 - 7 for j.
-4
Let q(h) = 2*h + 3. Let t be q(-3). Let g be (-61)/t + 2/(-6). Solve -6*i = -i - g for i.
4
Let y be 7 + (3 - (-20)/(-4)). Solve -2*u + u = y for u.
-5
Let l(m) = -m + 7. Let i(t) = -1. Let b(v) = -3*i(v) - l(v). Let k be b(6). Solve k = 4*y + 14 for y.
-3
Suppose -2*h - 2 + 8 = -2*w, 3*h - 10 = 2*w. Solve -5*x + w + 24 = 0 for x.
5
Suppose -2*j = 2*j - 8. Suppose 2*n + j + 0 = r, r + 4*n = 14. Solve -r*c = -2*c for c.
0
Suppose 0*w = 2*w + 6. Let t be (-9)/27 - 13/w. Solve t = -p + 3*p for p.
2
Let q be 5 - (-2 + -1 + 5). Let w be 3/4 + 141/(-12). Let v = q - w. Solve -3*i - 2 = -v for i.
4
Let y be -1*(-2 - -1)*-3. Let k be y - (-2)/(-4)*-10. Let h be 5 + 6/k + -5. Solve -12 = h*p + p for p.
-3
Suppose -2*k + 2 + 32 = 0. Solve k = 4*a + 5 for a.
3
Let m = -90 + 93. Solve 0 = m*q - q for q.
0
Let f = 11 - 9. Let z be (2 - 1)*f + 18. Solve 0*i = 5*i + z for i.
-4
Let b(f) = -f**2 + 7*f + 4. Let a be b(7). Suppose -p - 3*u = -17, -a*u - 2 + 20 = -p. Solve 0 = -p*k + 8 for k.
4
Let j(r) = -2*r - 5. Let v be j(-6). Let s = -7 + v. Solve 6*d - 2*d + 20 = s for d.
-5
Let z be ((-3)/(-6))/((-3)/(-18)). Solve t + 10 = z*t for t.
5
Let n(g) = -6*g + 3*g - 4 + 4*g. Let s be n(4). Solve 0*o - o - 5 = s for o.
-5
Let n(c) be the third derivative of -c**6/120 - c**5/30 - c**4/24 - c**3/3 - 5*c**2. Let k be n(-2). Solve -5*t + 4 - 14 = k for t.
-2
Suppose -v - 33 = 2*v. Let w = 17 + v. Solve w*j + 10 = j for j.
-2
Suppose 0 = -5*l + 2*l + 3. Solve -3*u - l = 2 for u.
-1
Let l be ((-5)/1)/(4/(-8)). Suppose 2*z = 4*f + l, z + 4*z = 5*f + 20. Suppose 5*r = -v - 4, 16 = -7*r + 3*r - 4*v. Solve 0 = -r*c - 3*c - z for c.
-1
Suppose -d + 5*d = 8. Suppose -d*g = g - 3. Let k = g + 1. Solve 4*v - k = -18 for v.
-4
Suppose -3 = 5*b + 4*n - 1, 4*b + 5*n = -7. Let x = -7 + 7. Let l be -2*2/4*x. Solve 6 = -b*f - l*f for f.
-3
Suppose -2*d + b = 2*b + 35, b = -5*d - 80. Let u be 3/d - 117/15. Let o = 8 + u. Solve w - 1 = -o for w.
1
Let s be 7/(42/(-27))*-2. Solve s*b = 7*b for b.
0
Let v be -1 - 3*(0 - -1). Let x be v/8 + (-11)/(-2). Solve 0 = x*a - 2*a for a.
0
Let q(f) = -f**2 + 9*f. Let u be q(8). Suppose -n = -u + 6. Solve 3*x - 3 = n*x for x.
3
Let y be ((-2)/(-4))/(4/(-80)). Let m = -8 - y. Suppose m*r - 20 = -2*r. Solve -5 = 2*n + r for n.
-5
Let q(d) = d + 3. Let r be q(-3). Let v(b) = -b**3 + 2*b**2 + 2*b - 3. Let s be v(2). Suppose -5 = -z - s. Solve 0 = 2*w - r*w + z for w.
-2
Let r(p) = -4*p**3 - p**2 + 2*p - 5. Let z(g) = -3*g**3 - 2*g**2 + 3*g - 5. Let j(a) = 2*r(a) - 3*z(a). Let n be j(-5). Solve -o = -n*o + 4 for o.
1
Suppose 2*m + 17 = 3. Let j(a) = a**2 + 6*a - 7. Let y be j(m). Solve 3*b + y = -15 for b.
-5
Suppose 8*b - 4*b - x - 76 = 0, 0 = 5*b - 3*x - 102. Solve b = -5*y + 3 for y.
-3
Suppose 0*l = -4*l + 16. Suppose 2*p = 4*p - l. Solve 4*y = p*y - 10 for y.
-5
Suppose 3*b = 3*f + 63, f = 4*b + 4*f - 63. Solve 0 = -4*j - b + 2 for j.
-4
Let m be 2/(-3)*(4 + 33/(-6)). Solve m = -y - 2 for y.
-3
Let a be (-2 - 1)*(-4)/(-6). Let u = a + 7. Let n(l) = -l**2 + l + 73. Let p be n(9). Solve -11 = u*t - p for t.
-2
Let z(j) = 4*j - 1. Let l be z(-1). Let a be (l/(-10))/(1/4). Solve -a*x + 5 = -3*x for x.
-5
Let a be (-6 - -12)*(-5)/(-2). Let y = -11 + a. Suppose -2*z - 12 = r - y*r, 6 = -2*z. Solve -r*t + 1 = 7 for t.
-3
Let q = 1 + 3. Let i be 0/(1/(3/3)). Suppose w = 3*f - 9, 3*w + 3 = 3*f - i*w. Solve 0 = q*k - 3*k - f for k.
4
Let c = 64 + -63. Solve 0 = -u - c - 2 for u.
-3
Let u(m) = m**3 + 11*m**2 - 11*m + 14. Let t be u(-12). Let v = 0 - -3. Solve h = t + v for h.
5
Let b be -1 - ((6 + -3)*-3 + 2). Solve -5*s = -b*s - 2 for s.
-2
Let c be (45/60)/(2/40). Solve -3*m + c = -0*m for m.
5
Suppose -4*g + 6 = 2. Let j(k) = -k - 2 + 0 - g. Let w be j(-6). Solve -w*o - 3 = -2*o for o.
-3
Suppose -2*d - 2*d = -12. Suppose -4*x + 9 + d = 0. Solve -b = x*b - 8 for b.
2
Suppose -3*w = w + 4. Let d(r) = -5*r + 2. Let i be d(w). Suppose 3*m - 2*h = 3, -8*h = 2*m - 3*h - 21. Solve -2*o - i + m = 0 for o.
-2
Let a(h) be the third derivative of -h**6/120 - h**5/15 - h**4/24 - h**3/6 - 3*h**2. Let s be a(-4). Solve -3*t = -4*t + s for t.
3
Let m be 174/(-8) + 2/(-8). Let u be 4/m + (-285)/(-55). Solve u*j = 5 + 5 for j.
2
Let b = 18 + -29. Let n = 7 + b. Let c(j) = -2*j - 3. Let x be c(n). Solve -x*z + 0*z = -25 for z.
5
Let i(s) = -9*s + 18. Let m be i(2). Solve m = x + 3 - 1 for x.
-2
Let