ve 0*l = -4*l - m for l.
-1
Suppose -6*h + 5*h + 9 = -w, 4*h = w. Let a be (-4)/w + (-17)/(-3). Solve 0*d = 2*d - a for d.
3
Let z(a) = 17*a**3 + a**2 + a. Let x be z(-1). Let p = -9 - x. Suppose 20 = 4*h, -u = 2*h - p - 24. Solve 5*v - 3 - u = 0 for v.
5
Let b be (-6)/(-1) - (1 + 4). Solve -3 - b = -2*x for x.
2
Suppose -1 = -b + 5. Let r(q) = -2*q - 5. Let c(f) = -5*f**2 + f - 1. Let g be c(1). Let h be r(g). Solve h*s + b + 4 = 0 for s.
-2
Let m be (-9)/15 - (-46)/10. Solve -m*v = -8*v - 16 for v.
-4
Suppose -b + 0*b = -5. Suppose h = -4 + b. Solve -h = -4*w - 9 for w.
-2
Let k(j) = 2*j - 2. Let n(t) = -t + 1. Let u(z) = 2*k(z) + 3*n(z). Let i be u(3). Solve i*l = 5*l - 12 for l.
4
Suppose a = -3*c - 26, a - 5*c = -2*a - 22. Let m be 4/a + 46/14. Let v be 5*(-1 - -4)/m. Solve 2*i - v*i = 0 for i.
0
Let x be 59/6 + (-4)/(-24). Suppose -x = q + 4*s - s, 2*s = -5*q + 15. Solve -q*u + 2 = 7 for u.
-1
Let y(o) = 5*o - 1. Let f(x) be the first derivative of -2*x**2 + x + 2. Let v(i) = -6*f(i) - 5*y(i). Let j be v(-4). Solve 0*c + 3 = -j*c for c.
-1
Suppose -2*c + 0*c + 20 = 0. Suppose 40 = -4*n + 40. Solve -5*h = c - n for h.
-2
Suppose -5*y + 0*y + 25 = 0. Solve 9 = -2*f + y*f for f.
3
Let c be 2/6 + 64/24. Solve 0*n = -n - c for n.
-3
Let x = -63 - -63. Solve -3*h + x + 3 = 0 for h.
1
Let y(s) = s**2 + s + 2. Suppose -7*w + 12*w = 0. Let p be y(w). Solve 0*j - p*j = 4 for j.
-2
Suppose 5*x - 5 = 3*q + 4, -3*q = 2*x + 9. Solve x*v + v - 3 = 0 for v.
3
Let w = -36 - -22. Let j = w - -18. Solve -j*r = -0*r - 8 for r.
2
Let v(l) = -l + 5. Let m be v(0). Let u = 53 - 21. Let t = -2 + 9. Solve m*o = t - u for o.
-5
Suppose 4*k + k = 40. Suppose -2*h = -2, -3*h = 3*p - k - 1. Solve 0 = -p*g + 4 for g.
2
Let f = -3 + 3. Let o(b) = b**2 + 3*b + 1. Let n be o(3). Suppose 3*c - n = -7. Solve f = -6*s + 2*s - c for s.
-1
Let t be ((-4)/(-6))/((-4)/(-18)). Suppose -2*g - 4 = -t*c, -4*c + 41 = 5*g + 5. Suppose g*r = -r + 20. Solve -2*u - r = -12 for u.
4
Let j be ((-13)/(-13))/((-2)/(-4)). Solve -2*y = -0*y - j for y.
1
Suppose i - 4*o = -9, 2*i - 30 = -3*i - 5*o. Let n be (-4)/3*3*-1. Suppose 4*s - s + c = 7, n*s = -c + 9. Solve i*t + s = 5 for t.
1
Let r be ((-4)/(-6))/(14/(-147)). Let w = -5 - r. Solve -4 = -j + w*j for j.
-4
Let v(g) = 4*g - 3. Let m be v(2). Let k = m + -8. Let z be (-13)/k + (-3)/9. Solve -z*r + 20 = r for r.
4
Let l(f) = -f**3 - 5*f**2 - 4*f + 4. Let v be l(-4). Suppose -v*h - 1 = -9. Solve h + 3 = -5*a for a.
-1
Let y(p) = -7*p - 20*p + 9*p. Let a be y(-1). Solve -a = -4*g - 6 for g.
3
Suppose 2*y - 3*y = 0. Let m = 5 - y. Solve 0 = 4*z + 1 - m for z.
1
Let n be -1 - 5/(-2)*2. Solve -n - 11 = 3*g for g.
-5
Suppose -5*u - 2*o = -0*u - 65, 10 = -u - 5*o. Solve 0 = 3*g + 2*g + u for g.
-3
Let u = -39 - -42. Solve 25 = -u*d - 2*d for d.
-5
Let t = -155 - -158. Suppose 2*d - 22 = -4*s + 2, -s - 64 = -3*d. Solve 2*w + t*w + d = 0 for w.
-4
Let c(i) = -i**3 - 4*i**2 + 6*i + 5. Let b be c(-5). Suppose 10 - 4 = 2*r. Solve m + b = r for m.
3
Let k(g) = g - 8. Let b be k(10). Solve -1 + 3 = b*v for v.
1
Let h(t) = t**2 + 7*t + 8. Let g be h(-6). Let j(s) = s**3 - 2*s**2 + 2. Let u be j(g). Solve 2*f - u - 2 = 0 for f.
2
Let v(q) = -q + 7. Let s be v(0). Let k be (-1 + -2)*8/(-6). Suppose 5*p + 4*r + 3 - 4 = 0, -k*r = -3*p + s. Solve 1 = 2*g - p for g.
1
Let l(b) = -b**2 - 11*b + 3. Let s be l(-11). Suppose -5*r = c - 3, 6 = -4*r + c + c. Solve 3*h + r*h = s for h.
1
Suppose -2*k = -4*k + 22. Let m = k - 9. Suppose -m*c + 4*n = -24, c - 4*n + n - 16 = 0. Solve u - c = -u for u.
2
Suppose y + 0 = 4. Suppose 5 = -y*n + 5*h - 5, 0 = 4*h - 8. Solve n*o = o for o.
0
Suppose 2*x = j - 58, 0 = -4*x - 4*j - 118 + 26. Let w = x + 44. Solve 1 = 4*s + w for s.
-4
Suppose -2*k + u = -7*k + 14, -5*u = 3*k - 26. Suppose -4*w = 2*i - 16, w = -i + k*w + 20. Solve -2*r = 2*r - i for r.
4
Suppose 0*n + 10*n = 30. Suppose 7*l - 2*y = 2*l + 14, -4*y + 8 = -l. Solve -l = m - n*m for m.
2
Suppose 6 - 26 = -5*k. Let a(w) = -w**2 - 5*w + 6. Let l be a(-6). Solve -8 = -k*j - l for j.
2
Let h(s) be the first derivative of s**4/4 - 7*s**3/3 + 3*s**2 + 4*s + 1. Let j be h(6). Solve 8 = j*x - 2*x for x.
4
Let z be 16/(-56) - (-72)/7. Solve s = -s + z for s.
5
Suppose -5*k + 50 = -7*k. Let r be (4/10)/((-10)/k). Solve -5*t + 11 = r for t.
2
Let q(d) = -d + 7. Let u be q(3). Suppose -4 - u = -2*h. Suppose h*l = 61 + 19. Solve 4*a = -0*a + l for a.
5
Let h be (2 - 28/16)*12. Solve -2 + 8 = h*c for c.
2
Let r be 1 + 7/(14/4). Let n(i) = -i - 1. Let j be n(-2). Solve -4 = -r*x - j for x.
1
Suppose -5*d = 4*p - 15, 10*p - 5*p + 32 = d. Suppose 2*z - d*z = -30. Solve -6 = 4*n + z for n.
-3
Suppose -5*p = -0*p - 45. Suppose 4 = -c + p. Suppose -4*t = -11 - c. Solve -5*w = -t*w for w.
0
Suppose i - 7 = 4*v, 9*v - 4*v - 4*i + 17 = 0. Let d = 5 + -3. Let z = v + d. Solve -3 - z = f for f.
-4
Let j(z) = z**3 - 8*z**2 + 2*z - 1. Let h = 36 + -28. Let t be j(h). Solve 4*b - b = t for b.
5
Let b = 8 + -6. Let i = 2 - b. Let u be (3 - (-2 + 2)) + i. Solve 11 = -u*q + 2 for q.
-3
Suppose 0 = 5*a + 25, 0*b + 4*a = -4*b - 48. Let u(k) = k**3 + 6*k**2 - 6*k + 10. Let m be u(b). Solve 0*i = -i + m for i.
3
Suppose 3*y = 10*y - 35. Let w = -11 - -41. Solve -y*o + w = 5 for o.
5
Let o(c) = c**2 - c - 1. Let b be o(-2). Let u(l) = -l**3 + 4*l**2 + 4. Let t be u(4). Solve -b - 3 = t*a for a.
-2
Let n(d) = -2*d + 3. Let s be n(3). Let r be 3 + (-2 + 21 - s). Solve 0*g = -5*g + r for g.
5
Suppose 5*p + 4 = 3*d, 2*p + d + 1 = 2*d. Solve -11 = 4*r + p for r.
-3
Let g(r) = r**3 - 5*r**2 + 3*r + 4. Let v be g(4). Suppose v*w + 9 = w. Suppose -4*t = -w - 11. Solve 3*c - t = 1 for c.
2
Suppose 0 = -4*b + 14 + 18. Solve n - 5*n = b for n.
-2
Let u(c) = c**2 + 16*c + 26. Let q be u(-15). Solve q*w - 4 = 15*w for w.
-1
Let h = 27 - 20. Solve 2*r - 1 = h for r.
4
Suppose -3*j - 5 = -4*j. Let k(x) = -x**2 - x + 2. Let s be k(-2). Solve s*t - 20 = j*t for t.
-4
Let b(s) = s**3 - 4*s**2 + 3*s + 4. Let k be b(4). Let t(p) = p - 7. Let m be t(9). Let n be 10/35 + m/(-7). Solve n*y + 4*y = k for y.
4
Let a be -4*(-1)/(-2)*-1. Let p be (-4 - -3)/(a/(-8)). Suppose 20 = p*r - 0*r. Solve 4*t + r = -t for t.
-1
Let a be -3 - (1 - 4) - -25. Suppose 40 + a = 5*q. Solve -4*h - q + 1 = 0 for h.
-3
Let s be 2 + 0*(-2)/(-10). Solve -r = -0*r + s for r.
-2
Suppose d - 4*k = -7 + 28, 5*d = -4*k - 15. Let j = 59 + -56. Suppose -j*h + 24 = -4*p, 5*h + 5*p = d + 4. Solve -h*y - y = -25 for y.
5
Suppose 3*x + 12 = 0, 4*s + x - 4 = 4. Suppose 5 = -5*n - 5*i, 2*n = s*n + 3*i + 9. Solve -4*o = -o - n for o.
1
Suppose -3*c = -61 + 55. Solve c*a - 5 + 3 = 0 for a.
1
Let j(f) = f + 4. Let w be j(-2). Let y(l) = 3*l - 2. Let m be y(w). Solve m*b - b = 3 for b.
1
Let d = 68 + -67. Solve d = -v + 5 for v.
4
Let m(w) = 3*w**3 - 7*w**2 - 9*w + 6. Let p(u) = -4*u**3 + 6*u**2 + 9*u - 5. Let g(d) = -5*m(d) - 4*p(d). Let n be g(-10). Solve n = 4*t - 20 for t.
5
Let z be (-2)/8 + 54/24. Let i = z - 1. Solve 0 = -3*j - i - 2 for j.
-1
Let z = 5 - 5. Let x = 2 + -3. Let q(c) = -6*c**3 - c**2 + c + 1. Let k be q(x). Solve z = -0*g + k*g for g.
0
Let q be -1*(0 - -4) - -21. Suppose w - 4 = -2*j, 4*w + 3*j - q = 4. Solve 0 = 2*k - w*k for k.
0
Suppose -17 = 8*t - 17. Solve t*y = -3*y for y.
0
Let z(j) = -9*j - 54. Let i be z(-6). Solve 2 = -y - i*y for y.
-2
Suppose 4 = f - 5*c + 9, 2*f - c = -1. Let z be (1 - -1) + f/(-1). Suppose 4*n - x = n + 1, 3*n - 21 = -3*x. Solve z = -n*s - 0*s for s.
-1
Let h(z) = -z**3 - 3*z**2 + z - 1. Let r be h(-4). Let t be (9 - 2)/(-3 + 2). Let b = -4 - t. Solve r = -2*c + b for c.
-4
Let h(u) = 2*u**2 - 2. Let r be h(1). Solve r*n - 3 = n for n.
-3
Suppose -l - v - 1 + 0 = 0, -23 = -2*l + 3*v. Solve -i = 9 - l for i.
-5
Let k be (1 - (-3 + 1))*1. Let v = 1 + k. Suppose 0 + 9 = -y + 3*p, v = -4*y + 4*p. Solve d + y = 2*d for d.
3
Suppose -6*p + 4*p = -10. Let w = 8 - p. Solve 2 = 5*s - w for s.
1
Let q be -4 + 0 + (-1)/(-1). Let s = 6 - q. Let y(w) = w**3 - 8*w**2 - 9*w + 2. Let n be y(s). Solve n*h - 2 + 4 = 0 for h.
-1
Let i(c) = -11*c - 2. Let y be (-10)/4*12/15. Let v be i(y). Let t be 6/8 + 5/v. Solve z + 2 = -t for z.
-3
Suppose -4*t = 13*t - 3*t. Solve t = -m - 2*m for m.
0
Suppose h - 4*h + 24 = 0. Suppose 5*