for j.
-5
Let c(s) = -s**3 - 2*s**2 - s - 3. Let r be c(-3). Let g be (-26)/(-5) - (-1)/(-5). Let t be (3/(-9))/((-2)/36). Solve g*l = r + t for l.
3
Suppose -2*q - 8 = 2*b, 0*b - 3*q = -5*b - 12. Let c = b + 4. Let n(u) = -u**3 - u**2 - 2*u - 3. Let l be n(-2). Solve -l*g - 9 - c = 0 for g.
-2
Suppose 3*h - 5*x = -0*x + 26, -5*x = 20. Solve h*m - 6*m = -8 for m.
2
Suppose -3*s + r = 2*s - 13, 4*s - 4*r = 20. Let w(q) be the first derivative of q**4/4 - q**3/3 + q - 2. Let p be w(s). Solve 0*i + p*i - 20 = 0 for i.
4
Suppose 0 = -2*q + 3*b - 8*b + 6, -3 = -q + b. Let u be ((-4)/(-6))/((-5)/(-30)). Suppose 10*m - u = -q*r + 5*m, 4*r + 2*m - 24 = 0. Solve -r = 5*g - 28 for g.
4
Let c(b) = -b + 9. Let q be c(5). Suppose 24 = q*u - 2*p, -15 = -2*u + u + 5*p. Solve -2*f = 1 + u for f.
-3
Suppose 0*u = h - 2*u - 3, 4*u - 6 = -2*h. Solve -2*c + 20 = h*c for c.
4
Let j = -29 + 33. Solve j*o - o = 0 for o.
0
Let k(g) be the second derivative of -g**5/20 - g**4/4 + 5*g**3/6 - g**2 - g. Let b be k(-4). Let d be (-15)/(-5)*(-4)/b. Solve 4 + d = 3*f for f.
2
Let z(l) = l**3 + 4*l**2 + 2*l - 1. Let f be z(-2). Let h be 7 + (0 - (f + -1)). Let d = h - 1. Solve -d*i = -5 + 17 for i.
-3
Let s = 10 - 4. Solve 0*c - 3*c + s = 0 for c.
2
Suppose 0 = x - 2. Let r be (-3)/(3/(-8)) - x. Suppose z = r*z - 20. Solve l - 2 = -z for l.
-2
Suppose -17*v - 72 = -23*v. Solve -v = s + 2*s for s.
-4
Let a = 15 - 3. Solve 0 = -5*l - 8 - a for l.
-4
Suppose 4*w - 16 = -3*u, -14 = -2*w - 6. Suppose 3*j - j - 2 = u. Solve j = -3*k - 2 for k.
-1
Suppose 0 = d - 3*d. Suppose d = -s - 2*s. Solve s = 5*j + 2 - 27 for j.
5
Let w = -31 - -44. Solve w = 4*j + 5 for j.
2
Let v be 3/9*0 + 3. Let a be (-2)/v*3/2. Let w be -4 - (a + -2) - -6. Solve -w = 5*o - 6*o for o.
5
Let n = 292 + -545. Let h be n/(-44) - 6/8. Solve 13 = h*l - 7 for l.
4
Let i be 28/5 + (-2)/(-5). Suppose 3*y - 19 = -5*a, 0*y - 2*y + i = 0. Solve 0*n = -a*n for n.
0
Let f be 2/11 + (-168)/(-44). Suppose o - f*z = -0*o + 2, 3*z - 3 = 0. Solve y - o = -y for y.
3
Suppose 3 = -l - 3*y - 0, 3*y = -5*l - 15. Let n = 2 + 3. Let o = l + n. Solve o*k - k = 0 for k.
0
Let u be ((-2)/6)/(7/(-252)). Solve 0*s + u = 3*s for s.
4
Suppose 1 = -w - 5*u, 8*u = -3*w + 3*u + 7. Solve -w*k - 5 = -3*k for k.
-5
Let m(w) = w**2 + 4*w + 4. Let q be m(-4). Solve 0*i - q = i for i.
-4
Let y be -1 - (0 - 2/2). Suppose -t - w + 5 = y, -4*t + 1 = 2*w - 19. Solve t*g + 6 = -19 for g.
-5
Let t be (-10)/(-8)*(3 - -1). Suppose 5*g = 18 + 2. Let r = g - 1. Solve 2*l - r = t for l.
4
Let q(u) = u**3 + 12*u**2 - 13*u. Let s = 1 + 3. Suppose 4*k + s*b = -b - 52, -26 = 2*k + b. Let a be q(k). Solve a = -d - d for d.
0
Let q(u) = 6*u - 31. Let r be q(6). Let f(x) = 6*x**2. Let y be f(2). Solve r*o + 9 = y for o.
3
Let u be -2*(1 - 6/(-4)). Let r = -4 - u. Let i be r/(3/6) - 0. Solve -i*x + 0 + 10 = 0 for x.
5
Let t be 10/14 + 6/21. Solve 5*s + t = 4*s for s.
-1
Let b(x) = -5*x. Let s be b(-1). Suppose s + 7 = 3*v. Solve -5 = -v*t + 3 for t.
2
Let n(p) = 2*p**3 - 2*p**2 + p. Let o be n(1). Solve 5*k = 4*k - o for k.
-1
Let y = 12 - 7. Suppose -s - 2*a + 9 + 3 = 0, -3*a = 5*s - 39. Solve -s*t + t = y for t.
-1
Let b(o) = -o + 10. Let r be b(6). Suppose 2 + r = t. Solve -2*g = -5*g - t for g.
-2
Suppose 4*u + 5 = 21. Solve 4*t - 4 = u for t.
2
Let m = 16 + -16. Solve -o + 2*o - 2 = m for o.
2
Let g(d) = -d**2 - 9*d - 10. Let v be g(-6). Solve 0*b = 2*b + v for b.
-4
Let z(d) = -5*d**2 + 0*d**3 + 4 - 2*d**3 + 3*d**3 - 6*d - 2. Let h be z(6). Solve h*c = 3*c + 2 for c.
-2
Let h = 32 + -29. Solve -h*k = -6*k - 9 for k.
-3
Suppose 2*y = 7 - 1. Let w = 6 - y. Let r = 0 + 0. Solve q + 0*q + w = r for q.
-3
Suppose 31*x = 27*x + 44. Let g = 13 - x. Solve -5*u + g = -3 for u.
1
Suppose 0 = -0*a + 4*a + 8. Let y be ((-1 - -2) + -1)/a. Let c = -6 - -8. Solve y = 3*z + c*z - 15 for z.
3
Suppose -3*i = -6*i + 54. Suppose -10 = -2*t + 7*t, 4*v + 2*t = 24. Suppose -2*o + 8 + 2 = 0. Solve o*x - i = v for x.
5
Let h(c) = -13*c**3 + 2*c**2 + 2*c + 1. Let o be h(-1). Solve -3*u + 5 - o = 0 for u.
-3
Let b(t) = -2*t - 5. Let c be b(-5). Suppose -3*h = 5*r - 15, 2*r + 2*r - 14 = -2*h. Solve -c*n = -2*n - r for n.
2
Let p be -2 - (0 + -30 + 1). Suppose p = 3*x - 24. Suppose 18 = 5*h - x. Solve -2*y = -h - 3 for y.
5
Let y(g) = g**2 + 7*g + 5. Let q = -11 + 39. Suppose 8*x + q = 4*x. Let v be y(x). Solve v = -6*a + a for a.
-1
Let a be 1*(0 + 1 + 1). Suppose -7*n + a*n = -25. Let i(h) = -h**3 - 4*h**2 + 10*h + 10. Let z be i(-6). Solve -n*v + z = 2 for v.
4
Suppose -15 = -3*z + 24. Solve -5*n + 2 = -z for n.
3
Let f(c) = -c**2 - 7*c - 3. Let u be f(-6). Let i = -1 + u. Solve 0 = -2*z - i for z.
-1
Let i = -7 - -11. Suppose i*w - 7 = 17. Suppose -g - w = -2*g. Solve 0*s = -2*s + g for s.
3
Let t(c) = -c + 3. Let z be t(3). Suppose z = -3*r - 5*f + 29, -2*r - 4*f + 5*f = -2. Suppose 4*q - 20 = r*i - 0*i, -4*i = 0. Solve 8 = n - q*n for n.
-2
Let d(q) = -q**3 - 7*q**2 - 5*q + 8. Let r(k) = -2*k + 8. Let v be r(7). Let p be d(v). Let o be (32/(-24))/((-4)/6). Solve 0 = -o*s - p*s - 4 for s.
-1
Let a(y) = 4*y - 38. Let x be a(10). Solve 18 = -4*r + x for r.
-4
Let y = 11 - 7. Suppose y*o = -4*a + 12, o - 3*a = 5*o - 17. Suppose -o + 28 = b. Solve w + b = -3*w for w.
-5
Suppose -5*x + 4*f + 0 = -7, 4*x - 18 = -3*f. Solve -x*u = u - 12 for u.
3
Let m(o) = -3*o. Let i = 1 - 2. Let n be m(i). Solve n*l = -l for l.
0
Suppose 0*f - 2*f + 44 = 0. Suppose -p - 1 = 0, -3*t - 4*p - 8 = -f. Let u(v) = v**3 - 5*v**2 - 4*v - 7. Let z be u(t). Solve j + 0*j = z for j.
5
Let g(d) = d - 1. Let z be g(1). Let i(c) = -2*c. Let t be i(3). Let j(w) = -w**2 - 7*w - 4. Let p be j(t). Solve 4 = p*h - z for h.
2
Let f = 0 + 11. Solve -f - 4 = -5*l for l.
3
Suppose -2*q - 15 = -5*q. Let g(w) = -2 + w**2 - 4*w + 0 - 3. Let c be g(q). Solve -4*t - 20 = -c*t for t.
-5
Let w = -24 - -29. Solve 0*r = w*r + 20 for r.
-4
Suppose q + 138 = 4*q. Let c be q/(-10) - 6/15. Let z be 4*(c/2)/(-5). Solve 2*w + 0 = z for w.
1
Let u(k) = k + 10. Let f be u(-12). Let d(r) = 2*r + 5. Let z be d(-4). Let y be (2/z)/(f/36). Solve -y = 3*j + j for j.
-3
Let h(j) = -j**3 + j. Let y be h(0). Solve y*u - u = 2 for u.
-2
Let g = -6 + 5. Let c = 3 + g. Let q be 4 - (-2 - (0 - c)). Solve -6*s + 10 = -q*s for s.
5
Let y(l) = -3*l + 4. Let w be y(0). Solve 10 - 2 = -w*m for m.
-2
Let r(a) = -2*a**2 + 8*a + 6. Let k be r(4). Solve 2*z = -z + k for z.
2
Let p = -6 - -9. Suppose 4*l = p + 1. Let d(c) = -c - 3. Let g be d(-6). Solve -g*o - 2 = l for o.
-1
Let f(b) = b**2 - 4*b + 3. Let l be f(4). Suppose 0 = -l*v - 2*v. Let j(p) = -p**3 + 4*p**2 + 2*p. Let z be j(3). Solve v = w - 4*w + z for w.
5
Let y(m) = -5*m**2 + 1. Let w(a) = 9*a**2 - 1. Let u(n) = 6*w(n) + 11*y(n). Let v be u(0). Solve 3*j - v = 7 for j.
4
Let a(r) = 3*r - 23. Let b be a(9). Solve 5*q = b*q + 2 for q.
2
Suppose 2*r - 4*m = -0*r + 34, -62 = -4*r + 5*m. Solve -7 - r = 5*w for w.
-4
Suppose 39 = -4*s + 247. Suppose 5*b + 4*d + 16 = s, 2*b = -d + 15. Let g be 8/3*12/b. Solve -2*z - 8 = -g for z.
-2
Let i(f) = f + 13. Let h be i(-10). Solve 0 = -c - h*c + 16 for c.
4
Suppose 4*f + y - 23 = 0, f - 5*y + 0 = -10. Suppose 5*q - 17 - 3 = -5*c, -q - 20 = -f*c. Solve -r + 5 = -q*r for r.
5
Let o be ((-7)/(-2))/7*24. Suppose -o = m - 5*g, g - 3*g = 2*m - 24. Solve 0*p + 2*p + m = 0 for p.
-4
Let r = 130 + -129. Solve 11 = 4*f - r for f.
3
Let a(m) = -m**3 + m**2. Let t be a(2). Let h = t - -9. Let p = -5 - -7. Solve 3*y = -p*y - h for y.
-1
Suppose h - 6*p - 30 = -2*p, 4*h - 3*p - 120 = 0. Suppose 0 = f - 4*f + h. Let q = 17 - f. Solve -2*t = 1 + q for t.
-4
Suppose 3*f + 5*l - 20 = 0, -f - 2*l = 2*l - 9. Suppose 2*c - f*h + 36 = 0, 0 = -4*c + 5*h - 14 - 38. Let a = c + 11. Solve 0 = -a*p + 3 + 6 for p.
3
Let d = 68 + -58. Solve -2 = 6*p + d for p.
-2
Suppose 4*k + 0*k + 13 = s, 0 = 4*s + 2*k - 34. Solve -n = -4*n - s for n.
-3
Suppose o + 3*s = 28, -o + 3*s = -0*s - 22. Solve -9*x + 4*x = o for x.
-5
Let c = 0 + 5. Suppose 0 = -b + 6*b - c. Solve b = -0*a + a for a.
1
Suppose -8 - 12 = 2*w. Let v(u) = -u**3 - 11*u**2 - 9*u + 12. Let b be v(w). Solve -b + 6 = 2*l for l.
2
Let t(s) = s - 3. Let o be t(3). Let i be (-48)/(-27) - 8/(-36). Suppose -3*x + 4 = -i*a, o*a = -x - a +