ve 9*b = c*b - 15 for b.
-3
Let r = -1 + 18. Let x be 6*1*4/96*4. Solve x = -4*b + r for b.
4
Suppose 0 = -6*h + 35 - 5. Suppose -4*z + 4 = -2*f - z, 2*z = h*f + 32. Let n = f - -12. Solve 4*p + 12 = -n for p.
-4
Let t(f) = f**2 - 3*f + 7. Let b be t(5). Let z = 16 - b. Let n = z - -2. Solve 4*k - n = -5 for k.
-1
Let j be -7*(-3)/42*16*1. Solve j*d - 6*d = 4 for d.
2
Suppose -2*j + 0 + 6 = 0. Suppose 5*u = -2*g + 29, 4*g - 13 - 10 = -3*u. Solve -g - j = -5*m for m.
1
Let t = 207 + -196. Solve 3 = -2*n + t for n.
4
Suppose -3*u = -61 + 16. Solve 8*k + u = 5*k for k.
-5
Let i(d) = -d - 4. Let q be i(-7). Suppose -t = -w - w + 28, q*w = -3*t + 24. Suppose 4*x + 5 = 25. Solve x*s - s = -w for s.
-3
Suppose 19*o - 6*o - 234 = 0. Solve 2*c + 12 = o for c.
3
Let f(c) = 2*c - 32. Let o be f(10). Let v(y) = y + 17. Let h be v(o). Solve 0 = -h*x + 4 + 11 for x.
3
Let x be 126 + 2/(-1) - 4. Suppose 5*b - b = x. Suppose a = -5*t + 20, 0*t + 2*a = 4*t - b. Solve 15 = -t*j + 2*j for j.
-5
Suppose -8*a + 200 = -0*a. Suppose -a = 5*q, 4*d - 5*q = 37 - 0. Solve -h + d = -2 for h.
5
Suppose 3*t = -t + 12. Suppose 2*q = -2, 5*q = 5*f - 10*f. Suppose 5*x + 6 - 16 = 0. Solve x*z - t*z = -f for z.
1
Let l be 1 - (-2 + 1 + -2). Suppose 3*u - 36 = -l*z, -5*z - 2*u = 3*u - 40. Let g = z - 8. Solve 3*q + g - 1 = 0 for q.
-1
Let b = -2 + 2. Let v = -144 + 150. Suppose -11*t - v*t = -12*t. Solve b = -2*c - t*c + 6 for c.
3
Let q = 53 + -39. Suppose 11*c - q = 4*c. Solve -6 = c*a + a for a.
-2
Let s = 1401 + -1306. Solve 13*h = s - 30 for h.
5
Suppose -2*s = 3*s. Suppose -q + 27 = -5*w, -25 = 3*w + 2*w. Let b be (-1)/(-2)*0/q. Solve b*p - 4*p + 12 = s for p.
3
Let r = -148 - -148. Solve 0 = -r*k + 3*k + 15 for k.
-5
Let r be (1/(-8)*6)/(9/(-108)). Solve -4*n + n + r = 0 for n.
3
Let y be ((-2)/(-6))/(33/693). Solve 2*z = -5 + y for z.
1
Let w be 36/3 + 12/4. Suppose -q + 6*q - w = 0. Suppose 2*o + 1 = 3*x, 9*o - q*x = 4*o + 11. Solve -o*h + 5 + 11 = 0 for h.
4
Let b(x) = x**2 + 11*x - 3. Let p be b(-12). Solve 5*d - 29 = -p for d.
4
Suppose -3*l + 9 = 4*r - 2*r, l - 3 = 0. Let w(g) = g**3 - 2*g**2 - 3*g + 2. Let u be w(3). Solve d - u*d = r for d.
0
Let a(u) = 4*u**3 - 6*u**2 - 6*u + 11. Let j(h) = 5*h**3 - 6*h**2 - 5*h + 10. Let r(b) = 4*a(b) - 3*j(b). Let g be r(7). Solve -5*l + g - 10 = 0 for l.
-2
Let y(o) be the third derivative of o**5/60 + o**4/24 + 5*o**2. Let j be y(-1). Solve g + j + 1 = 0 for g.
-1
Suppose 3*c - 93 = -0*c. Let r = 37 - c. Solve -n + r*n = -15 for n.
-3
Suppose -o = 6*o - 28. Suppose -3*p - 2*w = -6, -2*w = 3*p - 6*w + 12. Solve p = -o*g - 24 + 8 for g.
-4
Suppose 0 = -29*z + 30*z, 0 = -5*y - 5*z + 30. Solve -y = 2*b + 4 for b.
-5
Suppose -8 = 3*u - 17. Suppose 17 = -u*z + 26. Solve -5*b + 2 + z = 0 for b.
1
Let m = 813 + -806. Solve 9 + 5 = -m*g for g.
-2
Suppose 4*r + h = 5*r - 2, -3*r = -h - 10. Solve 3*u = 4*u - r for u.
4
Suppose -2*s = -4*x - 10, 19 = -5*s - 5*x + 59. Solve -3*r + 20 = -s*r for r.
-5
Let h = 43 + -23. Suppose 31 = 5*z - 4*t - 0, 0 = -3*z + t + h. Solve -4*c + z*c + 12 = 0 for c.
-4
Let r = 228 + -225. Suppose 0 = 4*y - 4*k - 8, -5*y + 4*k + 14 - 2 = 0. Solve o + r = y for o.
1
Let w = 51 + -49. Solve -w = 3*l + 10 for l.
-4
Let c be (0 + -5)/((6/(-3))/8). Suppose -33*b = -37*b + c. Solve 2 = -b*m + 7*m for m.
1
Let q(t) = 11*t**2 + 2*t + 1. Let s be q(-1). Let v be 4/s - 13/(-5). Solve -1 = v*c + 14 for c.
-5
Suppose z + o = -2, 4*o + 9 = 3*z - 20. Suppose z*k - 8 = -k. Suppose -k*m = -6*m. Solve -y + m*y + 4 = 0 for y.
4
Suppose -4*n = -7 - 1, -2*o - 3*n + 18 = 0. Suppose -u = -2*g, -o*g = 3*u - g - 11. Solve 3*c = -u*c + 15 for c.
3
Suppose 0 = 17*f - 125 + 23. Solve 0 = -15*o + 17*o + f for o.
-3
Let f be 4/2*-2 - -25. Let u = f - 14. Suppose -u + 5 = -t. Solve -h = t - 3 for h.
1
Let y be 14 - -1 - (0 + 0). Let l(c) = -c**2 - 256*c - 508. Let d be l(-2). Solve y + d = 5*v for v.
3
Suppose -41 + 210 = 13*y. Suppose -l + y = 1. Solve -5*o + l = -2*o for o.
4
Let r(q) = q + 13. Let w be r(-10). Suppose -w*s = 4*l - 14, 0 = 2*s + 2*s + 8. Solve l*f - 6 = 9 for f.
3
Let x be 0/(-8) - (-3 + -4). Solve 0 = x*p + 6 - 20 for p.
2
Let i be ((-2)/5)/(2/(-100)). Suppose 0*z - 3*z + 18 = 2*g, 8*g - 32 = -2*z. Solve -i = -y - g*y for y.
5
Suppose -2*r + r = 0. Suppose -6*p = -5*p - 4. Suppose 2*t + 2 = 0, p*n + 4*t - 43 = -t. Solve r = 3*l + n for l.
-4
Let h be 4 + -3 + (-126)/(-6). Let d = h - 17. Solve 3*w - d*w + 8 = 0 for w.
4
Suppose -3*b = -b - 8. Suppose b*n - 3 = 3*n. Solve 2 = n*u - 4 for u.
2
Let s be 2 + 1 + (-1 - -2). Suppose -s*a + 18 = -3*i, -2*i = -3*i - 2. Solve 2 = -q - a for q.
-5
Let x be (6 - 7)/(1/(-1)). Let j(f) = 6*f**3 - f**2 + f - 1. Let r be j(x). Let v be (r/(-10))/((-2)/12). Solve -2*q - 25 = v*q for q.
-5
Let x(r) = 4*r - 4. Let i(a) = 4*a - 5. Let p(d) = 5*i(d) - 6*x(d). Let f be p(-2). Suppose o - f = 2. Solve -7 = -4*s + o for s.
4
Suppose 34*z - 236 = -120 + 258. Let d(j) = 3*j - 3*j + j. Let u be d(4). Solve 3*b + z = -u for b.
-5
Let a = 19 + -17. Suppose -7*g = -a*g - 10. Solve -2*d = -g - 2 for d.
2
Let w = 17 - 9. Let n(y) = -y**2 + 3*y - 5. Let o be n(3). Let q = o + w. Solve -h + 12 = q*h for h.
3
Let r = -91 - -97. Solve 0 = 7*s - 4*s - r for s.
2
Let c = 30 + -15. Solve -7*w + 12*w = c for w.
3
Let p = 29 + -30. Let u be (-20)/(-5) - 4 - p. Solve 4*n + 17 = u for n.
-4
Suppose -285*u + 289*u = 8. Suppose 2*x + 38 = -4*d, -46 = 5*x - d - 6. Let o be (x/3*-1)/1. Solve -o + u = -j for j.
1
Let a(b) = 3*b**3 + 4*b**2 + 2. Let w(f) = -f**3 - f**2. Let s(z) = a(z) + 4*w(z). Let m be s(0). Solve -j + 0 = -m for j.
2
Let y = 685 - 681. Solve -y*v - 16 = -0 for v.
-4
Let m = -9 - -16. Let b(s) = s**3 - 6*s**2 - 6*s - 6. Let o be b(m). Let r(l) = 6*l**3 + l - 1. Let t be r(o). Solve 2*v + v = -t for v.
-2
Let f(u) = 11 - 23 + 11 - u. Let g be f(-9). Let l be 1/(-2) + 14/4. Solve -l*o + g = -o for o.
4
Suppose 3*r + 11 = -5*a - 4, -2*r = -2*a + 10. Let h = a - -1. Solve -4*w + h = -3*w for w.
1
Suppose -10 = 5*c - 2*x, -4*c - 10 + 0 = -2*x. Suppose c*l + 6*l = 72. Let b be 27/l - 6/24. Solve 0 = t - 0*t - b for t.
2
Let t = -38 + 43. Suppose 4*m = -0*m + t*m. Solve m = x - 4*x for x.
0
Let t = 106 - 87. Suppose 47 = 2*g + t. Solve 6 - g = -2*y for y.
4
Let w(b) = -b**2 - 5*b + 6. Let v be w(-5). Let t = 5 + -5. Suppose -p + 14 = -4*u, t*p - u = 2*p - 1. Solve 4*q + v = p for q.
-1
Suppose -2*v + 6 = 2*r - 0, -22 = -5*v + 2*r. Suppose 0*q - 2*q - 4*u = -24, 4*u - 64 = -4*q. Solve v*p + q = -p for p.
-4
Let o be 2 + 0*(-1 - 2 - -4). Solve o*g = 6*g - 16 for g.
4
Suppose -3*i + z + 5 = -6, 5*z - 10 = 2*i. Let w = -114 + 124. Suppose 0*d = -r + 4*d, 3*r = 2*d + w. Solve -r*j = -i*j for j.
0
Let d be (-7 - (-17 + 5)) + -7 - -2. Solve -r + 16*r = d for r.
0
Let w(k) be the third derivative of -k**5/60 + 7*k**4/24 + k**3 + 5*k**2. Let j be w(7). Suppose -9*c = -j*c - 15. Solve c - 8 = -a for a.
3
Let p = 1021 + -1016. Solve -c = -p*c + 8 for c.
2
Suppose -5*u = -l - 8 + 25, 0 = l + 3*u - 49. Solve 8*h = -3 - l for h.
-5
Suppose -2*l - 2*l - 2*u + 14 = 0, 0 = -5*l - 4*u + 25. Let f(b) = -2*b**3 - 2*b**2 + 6*b + 9. Let h be f(-2). Solve -l = -h*w + 4 for w.
1
Let g = -73 - -30. Let j = g + 48. Solve 0 = j*p + 6 + 14 for p.
-4
Let a be 3 + (0/(-2))/(-5). Suppose 0 = -4*m + 7*u - 2*u + 19, -4*u = a*m - 22. Suppose -12 = -2*g - 3*w, 4*g = 3*w - 0*w + m. Solve -3 = g*n - 0*n for n.
-1
Let n be (160/3)/(-10)*-45. Solve 5*u - 250 = -n for u.
2
Let i(g) = g**3 - 2*g**2 - 2*g + 6. Let j be i(0). Solve 5*d = 4 + j for d.
2
Suppose -2*y + 157 = 3*k + 2*k, -2*k - 226 = -3*y. Suppose -y*g - 8 = -78*g. Suppose -l + 3 - 1 = 0. Solve -6*b + g*b = -l for b.
1
Suppose 2*o = -3*t + 47, t + 48 + 27 = 5*o. Suppose 2*l = 7*l + 2*c + 55, 31 = -2*l + c. Let y be (13/l)/((-1)/o). Solve 0*h + 4*h = y for h.
4
Suppose k + m - 55 = -3*k, 3*k + m - 40 = 0. Let d be 7/14 - (-55)/2. Let f = 29 - d. Solve 4*o + f = -k for o.
-4
Let v(d) = d**2 + 10*d + 7. Let z be v(-10). Suppose 0 = -z*w + 2*w. Suppose w = o + 3*o - 8. Solve 3*x - o*x = 0 for x.
0
Let d be ((-1)/2)/(14/(-392)). Suppose 9*c = 2*c + d. Suppose 3*i - 4*f + 7 = -c, -f + 4 = i. Solve -i = -h + 1 for h.
2
Let f be (-99)/(-8) + 87/24 + -4. Suppose -8*c - 4 = -f. Solve -3*j 