 0 = -4*m + 2*x + 18, 0*m + x + 21 = 4*m. Suppose -5*w = -m*w. Solve w = 3*j + 2 - 14 for j.
4
Let k be 34/6 - (-1)/3. Suppose 14 + k = 5*n - 5*g, 5*g = 0. Solve z = -n*z + 15 for z.
3
Suppose 3*h - 4*n = -h - 12, -3 = -n. Suppose -5*p + p = h. Solve p*c - 5*c = -5 for c.
1
Let q(z) = -z + 5. Let k be q(5). Suppose k = 4*f - 7*f + 45. Let d(h) = h**2 + 7*h + 10. Let l be d(-5). Solve s - 4*s + f = l for s.
5
Suppose -4*b + 1 + 11 = -5*y, y = 5*b - 15. Solve -4*o - 15 - 1 = y for o.
-4
Let w(y) = y**2 - 8*y + 6. Let b(a) = a + 14. Let c be b(-14). Suppose 2*p - 5*f - 22 = -2*p, c = 3*p - 4*f - 16. Let m be w(p). Solve -d + m*d = 25 for d.
5
Suppose -79*z + 85*z - 54 = 0. Solve 12 = z*b + 3 for b.
1
Let l(s) = 15*s + 17. Let p(c) = -5*c - 6. Let g(a) = -3*l(a) - 8*p(a). Let r be g(-1). Suppose -q = -n + r*n, -16 = -n + 3*q. Solve -n*x - 9 - 11 = 0 for x.
-5
Let s be 30/(-20) + (-21)/(-14). Solve s = 9*f - 3*f - 12 for f.
2
Suppose 5*q + 2*h = h + 251, 0 = -2*q - h + 98. Suppose -2*x - q = -5*x. Let c = 17 - x. Solve d + 3*d = c for d.
0
Let h be 13 + -1 + 2 - -1. Let f = 44 + -34. Let n = h - f. Solve -4*d = -3*d + n for d.
-5
Suppose 8*y - 140 = -6*y. Solve y*u = 4*u + 18 for u.
3
Suppose -8*b + 8 = -24. Solve -11*k = 7 + b for k.
-1
Suppose -6*f = -8*f - 2*t + 24, 3*f - 3*t = 0. Suppose -2*v + 0*r + 4*r = -18, -2*r = -2*v + 10. Suppose -2*q = -3 - v. Solve 5*d = q*d - f for d.
-2
Let n be ((-20)/(-6) - 4)*(2 + -5). Suppose -9*r = -3*r - 9*r. Solve n + r = m for m.
2
Suppose -3*f - 109 = -136. Solve -9*j = -0*j - f for j.
1
Let j(q) = 2*q**2 - 2*q. Let r be j(2). Let t be (13 - -2 - r) + -1. Solve x = -4*x - t for x.
-2
Let h be (30/24)/((6/(-8))/(-3)). Let f(d) = -d - 3. Let n be f(-8). Solve 30 - n = -h*m for m.
-5
Let z(w) = -10*w. Let h be z(-1). Let g = h - 5. Suppose 5*c - 34 = 3*s, -3*c + 2*s + g = -16. Solve -c*o = 10 + 10 for o.
-4
Let r(h) = -h**3 + 6*h**2 + 10*h - 10. Let j be r(6). Solve 5*z = -j + 75 for z.
5
Let c be (-2)/4*(2 + -2). Let v(b) = 9 + 2*b + 0*b + 6 - b. Let x be v(-11). Solve c = x*q - 2*q - 6 for q.
3
Let j(d) = 2*d + 1 - 4 - 2 + 1. Let n be j(3). Solve f = 5 - n for f.
3
Let y(p) = 8 + 0*p**2 - 8*p**3 - 5*p**2 + 2*p**3 + 2*p + 7*p**3. Let g be y(4). Suppose -j = -g*j - 2. Solve -8 = -4*n + j*n for n.
4
Let a(p) = p**2 + 2*p - 5. Let l be a(-8). Let y = -28 + l. Suppose 0 = -4*d + 5*x + 33, 0 = 4*d + 5*x + 24 - 7. Solve d*m + m = y for m.
5
Let y be (3 + -5)*(-1)/(-2). Suppose c - 2*j + 24 = 5*c, j = 3*c - 8. Let l be 3/y*(-5 + c). Solve l - 5 = -2*s for s.
1
Let v(k) = 9*k - 2. Suppose 0 = -2*q - 2*g + 12, -3*q = -q - g. Let a be v(q). Let j(h) = -h**2 + 6. Let c be j(0). Solve c*n - a = 2*n for n.
4
Suppose 5*b - 4*c + 8*c - 158 = 0, 0 = -5*b - 2*c + 164. Solve 30*a - b*a = -12 for a.
3
Let d(g) = -g**3 - 5*g**2 + 5*g - 6. Let s(m) = -m**3 + 6*m**2 - 5*m - 6. Let a be s(5). Let k be d(a). Suppose k*h + 5*h = 20. Solve -3 = -h*r - 15 for r.
-3
Let s be -3 - (-4)/1 - 1. Let g(k) = k + 7. Suppose -3*j = -c + 17, -3*j - 2*j + 4*c = 40. Let i be g(j). Solve s*y + i = -y for y.
-3
Let r be -1 + (31/155)/((-2)/(-10)). Solve -5*b + 4*b - 4 = r for b.
-4
Let s(z) be the third derivative of z**4/12 - z**3/3 + 7*z**2. Let h be s(0). Let k be (0/(-6))/(h*1). Solve -u + 2 = -k*u for u.
2
Let t = 10 + 0. Suppose -47*z = -37*z - t. Solve b = z - 2 for b.
-1
Suppose -3*n + 10 + 44 = 0. Suppose 5*p = 17 + n. Solve -p*k + 10 = -2*k for k.
2
Let a(k) = k**3 + 10*k**2 + 9*k + 1. Let w be a(-9). Let n = 2 + w. Solve n*x = x for x.
0
Let x be 24/(-9)*(-2 + 3/(-12)). Suppose -5*w + 84 = 4*g, -5*g = x*w - w - 80. Solve 0*b + 5*b - w = 0 for b.
4
Let h = -11 - -9. Let i = h + 1. Let a(x) = -3*x - 1. Let g be a(i). Solve -g*j - j = 3 for j.
-1
Let y be 6/(180/222) - 2/5. Suppose d + y = -5*l + 34, -2*d - 6 = 0. Solve l*t - 4 = 2*t for t.
1
Let u = -758 - -764. Solve 19*s + u = 16*s for s.
-2
Suppose 0 = -258*y + 246*y + 96. Solve -11 = y*o + 29 for o.
-5
Suppose 4*a = d - 9, -d + a - 4 = -2*d. Solve 10*h - d*h - 20 = 0 for h.
4
Let s(g) = g**2 - 7*g - 3. Let w be s(8). Let n = 7 - w. Let o be 4/20 - (1 - (-44)/(-5)). Solve -6*b + n*b - o = 0 for b.
-2
Let w = 2822 - 2812. Suppose -8 = -n - 3. Solve n*r = -0*r + w for r.
2
Let v(u) = 4*u**2 - 23*u + 18. Let p be v(5). Solve -p*t + 5*t + 6 = 0 for t.
-3
Let l(n) = 2*n**2 - 4*n - 13. Let f be l(4). Solve -f*a - a = 20 for a.
-5
Let c(n) = 5*n + 4 - 2 - 8 - 4. Let k be c(4). Solve 4*l + 2 - k = 0 for l.
2
Suppose -20*h = -249 - 51. Solve -19*c + h = -22*c for c.
-5
Let t be 1/((-2)/(-160)) - (-42 - -42). Solve -5*m - t = 11*m for m.
-5
Suppose 11*i + 69 = 102. Solve 28 = -10*m + i*m for m.
-4
Suppose 0 = 2*g + 6*g + 48. Let f be -2 + (10 - 2) + 2. Let n = g + f. Solve 3*j - 4*j + n = 0 for j.
2
Suppose 4*q - 180 = -8. Let a = -39 + q. Solve 3*r - 5 = a*r for r.
-5
Let r(k) be the first derivative of 7*k**2/2 - 6*k - 17. Let l be r(1). Solve l = -2*c - 9 for c.
-5
Suppose 2*f + 83 - 9 = 0. Let p = f + 52. Let z = p + -13. Solve 3*w + z = w for w.
-1
Suppose -3*b + 4 = -5*b, 3*s - b = 8. Suppose s*g = -2 - 8. Let l(k) = -5*k - 17. Let y be l(g). Solve 2*z - 2 = y for z.
5
Suppose 3*w - 18 = -2*h, 5*h + 4*w - 17 = 14. Solve -2 = -h*l - 17 for l.
-5
Suppose 10 = 5*m + 50. Let n = m + 15. Let h be (0 - 2) + 35/n. Solve h*s + 7 = 1 for s.
-2
Let v = 96 - 89. Suppose 0 = -3*i - 5*t + 21, 0 = -3*i + v*i + 5*t - 23. Solve -i*l + 1 = 3 for l.
-1
Let m(b) = -b**2 + 6*b + 14. Let h be m(6). Solve -18*f + 4 = -h*f for f.
1
Suppose 0 = 3*g - 5*m - 12, 31*g = 35*g - m - 16. Solve 7 = -g*s - 9 for s.
-4
Suppose 2*y + 4*d + 26 = 0, 1 + 0 = d. Let t(u) = u**3 + 16*u**2 + 17*u + 36. Let r be t(y). Solve 5*n + 9 + r = 0 for n.
-3
Let x(n) = 2*n - 1. Let j be x(2). Suppose 0*u - 3*u - j = 0. Let s be 6/(-1 - 1)*u. Solve s*y - 2 = -8 for y.
-2
Let w = -272 - -302. Solve -w = 2*s + 4*s for s.
-5
Suppose 12*c - 11*c + 20 = 0. Let w = c - -23. Solve -4*t + w*t + 4 = 0 for t.
4
Suppose -4*d + 3*r = -25, -4*r = 5*d - 2*r - 14. Solve -5*s = 1 + d for s.
-1
Suppose 2*k + 46 = -2*f, 4*f = -k + 6*f - 23. Let q = 23 + k. Suppose -j + u = -8 + 4, 2*j - 4*u = q. Solve -j = -5*n + 7 for n.
3
Let s(i) = -i**3 + 7*i**2 + 9*i - 3. Let n be s(8). Suppose -d + 2 = -v - 1, -4*v - n*d = -33. Solve v = 2*t - 0 for t.
1
Let f be (-2)/8 + (-45)/12. Let o be (f + 2)/((-1)/4). Suppose -4*h + w = -86 + 76, 5*h - 5*w = 5. Solve 0 = -j - h*j - o for j.
-2
Let q(x) = x**3 - 16*x**2 - 80*x + 20. Let k be q(20). Solve -3*b = 2*b - k for b.
4
Let k(f) = -111*f + 14. Let o(u) = 37*u - 5. Let a(b) = 4*k(b) + 11*o(b). Let l be a(1). Let j be 1*(l/(-3) - 3). Solve -m - 2*m = j for m.
-3
Let h(t) = 11*t + 101. Let y be h(-9). Let g = -31 + 31. Solve g = -j + y*j for j.
0
Suppose -2*m - m = n - 3, 0 = 4*m - 4*n - 20. Let k(d) = 3*d - d - 6*d**m - 3 + 5*d**2 + 7*d. Let w be k(8). Solve -2*r + w = 13 for r.
-4
Let r(q) = -q**3 + 13*q**2 - 13*q + 11. Let z be r(10). Solve -8 = -177*l + z*l for l.
-2
Suppose -s = -2*s + 5*t - 5, -2*t + 2 = 2*s. Solve s = -4*w - 0 - 12 for w.
-3
Let q = 31 - -29. Suppose -q - 30 = -18*d. Solve -6*a + d = -a for a.
1
Let l = -8 + 13. Suppose -5*o - 13 = -2*o + 5*w, l*o + 5*w + 5 = 0. Solve -o*c + 15 = c for c.
3
Let h be (48/20)/((-8)/(-140)). Let l = -36 + h. Solve 5*v - 1 = -l for v.
-1
Let b be ((-230)/(-35))/1 + 16/(-28). Solve -b*x = -14*x + 16 for x.
2
Let h be -2 + (-4)/(0 - 1). Let r(a) = 5*a - 98. Let o be r(20). Solve o*c - h = -4 for c.
-1
Let y be 18 - 0 - -1 - (0 + 3). Let i = -13 + y. Solve -i*j - 12 = j for j.
-3
Let r(h) = h + 8. Let p be r(-12). Let z be (2/p)/(1/(-28)). Suppose -18 = u - 10*u. Solve -3*v = u - z for v.
4
Let t be 2/((-1)/3*-15 - 4). Let c be t/6 - (-68)/12. Solve 3*b - c*b + 9 = 0 for b.
3
Suppose -5*u = 3*t - 22, 4*u + 5 = 13. Let i = 4 - -2. Suppose -2*g - 15 = -p, -p - g - i = -21. Solve -t*c = -c - p for c.
5
Suppose -139 = -10*w - 9. Solve -2*s + 7 = w for s.
-3
Let i = -29 - -21. Let o = i + 19. Solve -o = -4*d + 5 for d.
4
Suppose -3*m = 23 - 83. Let o be (5/m)/(2/16). Solve 0 = -o*a - a - 12 for a.
-4
Suppose 2*q + 5*o + 89 = 0, 5*q = -3*o - 2*o - 185. Let v = q - -42. Solve -4*p - v = 10 for p.
-5
Let b = -5 - -8. Let v = -165 - -171. Suppose 0 = -4*o + o. Solve -b*u = -o*u + 