1 = 2*b - 15 for b.
3
Let b be (-36)/(-378) - (-166)/21. Suppose -2*j = -l - b, -4*l = -3 - 5. Solve y = j*s - 24, 2*y + 3*s = s for y.
-4
Let a be 69/18 - 77/(-462). Solve 6*u - a = u - 3*z, 5*u - 16 = 3*z for u.
2
Let s(g) = 108*g + 9 + g**2 - 55*g - 58*g. Suppose 8 = -5*j + 2*m + 24, -j = 4*m - 12. Let z be s(j). Solve 0 = -h + z*q + 16, 3*h - 6*h + 4*q = -4 for h.
-4
Let m be ((0 - 2) + 2)*-1. Let u be 6/(-12)*1/(5/1160). Let j be (-224)/u + 54/783. Solve -n - 19 = 3*o + j*o, -3*n - 3*o - 9 = m for n.
1
Suppose 848 - 1908 = -530*j. Let y(x) = -x - 2. Suppose 5*o + 12 = 2*c, 3*o - 3*c = -0*c. Let i be y(o). Solve 0 = -j*s - i*n, -4*s = -4*n - 0*n for s.
0
Let m(q) = -12*q + 27 + 36*q + 39 - 20*q. Let a be m(-16). Solve 2*c - 7*c - 2*x - 12 = 0, -a*x + 8 = 0 for c.
-4
Let j be 45/(-60)*((-34)/(-272) + 163/(-24)). Solve 3*r + 4*z = 5, -3*z - 20 = -4*r - j for r.
3
Let l be (6/7)/((-4)/(-28))*(-6)/(-18). Solve -r - 23 = -5*k, -3*r - 21 = -l*k - 4 for r.
-3
Suppose -4*a = 9*a + 2*a - 30. Solve -a*v = -3*l - 3 - 12, -3*l + 5*v - 15 = 0 for l.
-5
Suppose 27*n = -18*n + 765. Suppose -5*m + 2*o + n = 0, -8 = 4*o - 4. Solve -w = -4*q + 6*q - 5, -3*w - m = -3*q for w.
1
Suppose 2 = 2*z, d + 8*z - 13*z - 34 = 0. Solve 6*b - o + 4*o + d = 0, -3*o = 3*b + 24 for b.
-5
Let r = 2814 + -2809. Solve 10 = 5*t, -14*k + 12*k + r*t = 0 for k.
5
Let l be (1972/(-290) - (1 - 8))*0. Solve -3*x = -3*n + 10 - 7, -n - 2*x - 8 = l for n.
-2
Let n(i) = 43*i - 249. Let x be n(6). Let o be (x/3 - 4) + 9/3. Solve 3*y = -3*u - 0*y + 6, -u + 4*y + o = 0 for u.
2
Let n(q) = -q**3 - 4*q**2 + 2*q - 8. Let x(z) = -z**2 - z - 1. Let r(t) = -n(t) + 6*x(t). Let f be r(4). Solve 6 = 4*j - u, -4*j + 2*u = -f*u for j.
2
Let n be (2 + -1)*(15 + -7 - -4). Suppose -n*l = -17 - 7. Solve -c - 7 = 3*i, -i + 0*i = -l*c for i.
-2
Let h(w) be the first derivative of -w**4/4 + 2*w**3 + 44*w**2 - 17*w + 169. Let a be h(-7). Solve 5*c = r - 18, -3*c = -2*c + a for r.
-2
Suppose -2*m - 1695*x + 14 = -1696*x, 33 = 5*m - 2*x. Solve -v - 4 = -2*h, h = m*v - 98 + 82 for h.
4
Suppose 0 = -542*u + 568*u. Solve 3*o - 2*x = -3*x - 20, u = -3*o + 5*x - 26 for o.
-7
Suppose -i + 0 = -3, -5*i = 5*d - 95. Let s(b) = -b**2 + 200*b - 2941. Let w be s(16). Solve -4*g - d = -v, 4*g - 5*g + 9 = w*v for g.
-3
Let c = -5 - -7. Let q be (2 - 171/95) + 316/20 + -7. Solve -c*s - q = b, 0*s - 4*s = 4*b + 28 for b.
-5
Let k(y) = 2*y - 24. Let h be k(16). Let x(w) = w**3 - 7*w**2 - 4. Let s be x(3). Let v = s - -42. Solve v*d + h = -0, -8 = t + d for t.
-4
Suppose -5*w - 11 - 14 = -n, -4*n + 2*w + 10 = 0. Solve n*h = -k - 6*h - 23, 0 = 3*h + 12 for k.
1
Suppose 4*n + 2*g - 4 = 0, -9*n - 3*g = -13*n - 6. Suppose n = 33*u - 51 - 48. Let w be (4/3)/((-1)/(-3)). Solve 0 = w*t + u*b + 4, 4*b = 0 for t.
-1
Let y be (14 + -19)/(10/(-8)). Suppose -3*x = 3*d - 3, y*d + 2*x + 1 = 9. Solve -5*q + 16 = -2*o, -d*o = -4*q - 0 + 17 for q.
2
Suppose -4*d - 2*d + 1260 = 0. Let z = -205 + d. Solve -q = -4*t + 2*t + 11, 3*q = -z*t + 22 for t.
5
Suppose -2*q = 2*h - q - 7, -h - 2*q + 2 = 0. Suppose 3*l - 3*f + 6*f = 42, 5*f - 58 = -h*l. Solve -4*j + 6*j + 6 = 0, -j - l = -3*n for n.
3
Let h(i) = i**3 + 7*i**2 - 19*i - 83. Let u be h(-8). Let d be (0 - u)/((-100)/160). Solve 3*b + 12 = 5*b - 5*l, -b = -3*l - d for b.
-4
Suppose 16*i - 2 - 39 = 7. Solve i*n + 17 = 2*t, -2*n + 2 - 17 = -5*t for t.
1
Suppose 0 = 33*u - 30*u + 90. Let v(y) = y**2 + 29*y - 25. Let r be v(u). Solve -5*o - 4*k = -7 - 5, -5*o - r*k + 15 = 0 for o.
0
Suppose 5*x + 18 = 2*t, 0 = -2*t + 3*x - 6 + 20. Solve -5*k = 5*p - 35, 2*p - 28*k - t = -25*k for p.
5
Suppose 56*h - 1101 = -821. Solve 5*r - 9 = -2*j, -h*r + 3 = j - 2*j for r.
1
Let t = 79 + -252. Let y = t - -178. Suppose 4*k + 2 = -2*x + 2*k, 3*x - 2*k = 12. Solve -h - y*w = -5, x*h = -2*h + 3*w + 20 for h.
5
Let n(b) = -b**2 + 20*b + 18. Let c be n(17). Suppose -6*o = -c + 27. Suppose -10 = -o*u + 4. Solve -4*p + v + 14 = -10, -u*v = 4*p - 12 for p.
5
Let d = 8 - 3. Suppose -2*y = -2*s - 38, -7 = -3*s + 8. Suppose y*i = 25*i - 2. Solve k - 1 = -u + i*u, -3*k = -u - d for k.
2
Suppose 4*g = -4*l - 4, 2*g - 91 = -l - 89. Solve 5*s = 0, -g*q + 13*s - 9*s = 3 for q.
-1
Let f be 11 + 18/(-3) + 3. Suppose 2*p + 5*z = -13 - 7, -5*p + f = -2*z. Suppose p*w = 4*w. Solve -5*y - 6 = -c + 9, -4*c - 4*y - 12 = w for c.
0
Let j = -8506 + 8531. Solve -4*d - 5 = -2*t - j, -4*d = 2*t - 12 for t.
-2
Let j = 5929 - 5925. Solve -d = -4*v + 15, 2*d + 2*v - 12 = j*d for d.
-3
Let c = -263 - -267. Suppose c*s = 4*r - 9*r - 5, 5 = 5*s - 5*r. Solve -p + 6 = 3*b - s*p, -p + 3 = 0 for b.
1
Let z be (-2 + (0 - -1))*420/(-35). Suppose -2*q - 2*q + 112 = 0. Suppose z*i = 5*i + q. Solve i*x + 21 = 5*f + 2*x, 2 = x for f.
5
Let z be (-35)/(-7) + (2 + (-3 - -3))/(-1). Solve 5*g = 3*p + 6, -4*g - z = -p - 12 for p.
3
Let m be (-1)/(12/(-30))*(-2)/(-5). Let b = 36 + m. Suppose f - 3*d + 5 = -7, 0 = 4*f + 5*d - b. Solve 9 = -0*g - 3*g + f*j, -16 = -4*g - 3*j for g.
1
Suppose 25*r = 27*r - 10. Suppose -5*l + 3*l = -r*l. Suppose 4*s - f + 4*f - 47 = l, 5*f = -5*s + 60. Solve v + s = 3*k, 0 = -4*v - 4*k + 1 + 19 for v.
1
Let r be ((-2)/2)/((4/(-18))/(56/84)). Solve 3*i + 4*p - 14 = -23, -3*i - 9 = r*p for i.
-3
Let u(b) = -b**3 + 15*b**2 + 21*b - 80. Let m be u(16). Solve -4*a - 5*t + 31 - 38 = m, 0 = -4*a + t - 13 for a.
-3
Let s(z) = z**3 - 7*z**2 + 7*z. Let t be s(6). Let d be (-721)/(-1) + (-4 - (-5 + 3)). Suppose -d = -7*y - 684. Solve -2*m - y*x = 20, 3*m - x + t = -7 for m.
-5
Let l(d) = -d**3 - d**2 + 4*d + 90. Let z be l(0). Let m = z + -97. Let f be m/28 - 2/(-8). Solve -3*v - 3*y + f*y + 18 = 0, -y = -4*v - 1 for v.
1
Suppose -5*f - 4*y - 34 + 8 = 0, -f - 3 = 3*y. Let j be f/(2 - -22)*-20. Solve 3*t - t - 11 = j*r, t - 2*r = 5 for t.
3
Let a = 321 - 315. Let w be (a - 4) + 9 + -6. Solve -3 = -0*y + y + 2*k, 3*k = w*y - 24 for y.
3
Let y(t) = 46*t**2 + 1. Let w be y(-1). Let k = w - 23. Let q be 6/k - (-2)/(-8). Solve -28 = -4*b + 2*r, b + b - 4*r - 26 = q for b.
5
Let v(i) = 4*i**2 - 24*i - 14. Let o be v(12). Let h = -261 + o. Solve 0 = -r - 4*r + s + 10, 4*r - 5*s = -h for r.
3
Let t be (-2)/11 - (52/(-44) - 2). Let d = -8 - t. Let v be 2/d + ((-168)/44 - -4). Solve 2*f - 3*y + 23 = v, 2*f + 3*y = -y + 12 for f.
-4
Let c(s) = 2*s - 5. Let u be c(5). Suppose 0 = 51*o - 226 + 787. Let g be 3 - (15 + -5) - o. Solve -3*v - 5*q = 3, -5*v + g = u*q + 9 for v.
-1
Let m = 10918 + -10905. Solve 15*j - 3 = -3*c + m*j, 5*c = -j - 2 for c.
-1
Let f be (-1 + 1)*(1 - 0). Let v = 13 - 19. Let y be (-264)/(-20) - v/(-30). Solve 3*o = -2*s - f*s - y, -o = 5*s for o.
-5
Let x = 81984 - 81981. Let d be ((-3)/(-6))/((-1)/(-10)). Solve d*y - 19 = x*p, 2*p + 0 - 4 = -5*y for y.
2
Suppose -85*l - 162 = -88*l. Suppose 84 = l*m - 50*m. Solve 0*v - 10 = 5*v - 2*y, 5*y + m = v for v.
-4
Let z(r) = r**3 - 3*r**2 + r. Let j be z(3). Suppose 0 = 34308*p - 34303*p - 10. Solve 0*h - 5*h + p*s = 21, j*s - 14 = 4*h for h.
-5
Let w be 44/10 - 14/35. Suppose -w*b - 9 = -5*b. Suppose -39 = -10*g - b. Solve -g*m + 6 = -2*f + 3*f, 3*m - 2*f = 15 for m.
3
Let h be (475/(-57))/((-5)/6). Solve -3*r + h = -2*a, a + r - 15 = 4*a for a.
-5
Let n(h) = -h**2 + 15*h - 28. Let a be n(2). Let u(q) = q + 2. Let z be u(a). Solve 0 = -k - 2*m + 11, 5*k - 4*m - 13 + 0 = z for k.
5
Let b = 300 + 135. Let t = b + -432. Solve -2*k - 13 = -5*z, 5*k - t*z = -z - 1 for k.
1
Let a = 11 + -6. Suppose -a*y + 315 = 2*y. Suppose 52*b - y = 49*b. Solve 5*p - b = 0, 4*g - 4 - 11 = -5*p for g.
0
Suppose 811 = 5*j - 3*s, -s - s = 5*j - 826. Suppose -8*x = 284 + j. Let m be 13/4 + 14/x. Solve 5*h = -3*c - m, 0 = -5*h + 3*c - c + 2 for h.
0
Let j(l) = -7*l + 10. Let i(v) = 11*v - 21. Let t be i(2). Let s be j(t). Solve -22 = 5*q + o - 0*o, -o = -s*q - 18 for q.
-5
Let i(m) be the second derivative of m**4/12 + 2*m**3/3 - 7*m. Let f be i(-4). Let r be (-1 + 0 + 1)/(2 - f). Solve -5*x - h = -32 + 4, 4*x - 4*h - 8 = r for x.
5
Let p = 145 - 205. Let a be -5*4/p + 196/6. Let t = a - 24. Solve 0 = -d + 5, -f + 0*f - 2*d = -t for f.
-1
Let i = -6 + 2. Let w = 4 + i. Let f = -49224 - -49228. Solve 0 = -5*v - 15, -f*v = -p - w*p + 14 for p.
2
Suppose 5*b + 9 = 39. Suppose b*h - 8*h + p + 5 = 0, 2*h + 3*p = 17. S