u - 1 = 7. Let j be -3 - u - (0 - -1). Solve 2*d = j*d + 4 for d.
-2
Let t = -2 - -4. Let s(i) = i**3 + 6*i**2 - 4*i + 31. Let c be s(-7). Solve -3*h - c = t*h for h.
-2
Let z be (-366)/(-15) + -1 + 9/15. Let g = 6 + 3. Solve 5*p + z - g = 0 for p.
-3
Let w be (-3)/((3/20)/(-1)). Let j be (18/(-5))/((-4)/w). Solve -j + 8 = -2*y for y.
5
Let n(c) = -c**2 + 6*c + 1. Let y(l) = -13*l - 17. Let g(s) = -7*s - 9. Let o(p) = -11*g(p) + 6*y(p). Let b be o(-8). Let q be n(b). Solve q*z = z for z.
0
Suppose -5*c + 4 = -c. Suppose c = i - 2. Let t = -13 - -15. Solve h = i*h - t for h.
1
Suppose -4*d = -2*p - 10, -4*d = -8*d - 4*p + 28. Solve 3*o + 8 = -d for o.
-4
Let a(o) = -o + 4. Let j be a(4). Let g be j/((-1 + 3)*1). Solve g*f + 5 = -5*f for f.
-1
Let a be -8*(-2 - -1)/1. Suppose z = -4*z + 15. Suppose -m + 2*m = z. Solve h + m*h = a for h.
2
Let d = -45 - -49. Let z(j) = 28*j - 35. Let f(n) = -n + 1. Let w(q) = -35*f(q) - z(q). Let m be w(1). Solve 9 = -d*t - m for t.
-4
Let g be (-99)/(-21) - 8/(-28). Suppose 5*v = -0*v. Solve -i = -v*i + g for i.
-5
Let c be -3 + (7 - 1) + 19. Let o = c - 18. Solve -o*g + g = 0 for g.
0
Suppose -4*o - 11 = -5*a, -2 = 3*o - 2*a + 1. Let x = -1 + o. Solve -20 = 5*l - x*l for l.
-4
Let g = 7 + -2. Suppose -a + 0*a - g = -4*t, 3*a + 5*t - 70 = 0. Solve -6*p + a = -p for p.
3
Suppose 0*s + 2*s = 9*s. Solve 5*h + 3 + 2 = s for h.
-1
Suppose 0 = -4*y - 42 + 2. Let v = -10 - y. Solve v = 4*r + r for r.
0
Suppose -3*t + 5*f + 29 = 0, 5*t - 5*f - 13 = 22. Solve -t*b - 8 = 7 for b.
-5
Let d(o) = o**3 + 9*o**2 + 8*o + 4. Let q be d(-8). Solve -2*j - q = -3*j for j.
4
Let q = 121 - 26. Suppose -5*f - 4*t = -0*t - q, -f + 5*t = 10. Solve -2*x = -7*x + f for x.
3
Let h = 4 - 2. Let m(t) = t**2 + 6*t - 1. Let u = 6 + -13. Let o be m(u). Solve -4*c + h*c = o for c.
-3
Let v(b) = 4*b - 8 + 2 - 3*b - 2*b. Let q be v(0). Let k be -2 + (3/(-3) - q). Solve k - 5 = n for n.
-2
Suppose -5*k = -13 - 12. Suppose 0 = k*l + 5 - 30. Solve l*n = -4 - 6 for n.
-2
Let t be 0/((-1)/(-1))*-1. Let z = -49 - -54. Solve i - 1 + z = t for i.
-4
Let q(n) = n**2 + n + 3. Let o be q(0). Let i be (-2 - 2)/(4/(-6)). Let k = 6 - i. Solve 4*y - o*y - 5 = k for y.
5
Let v = 8 - 3. Let o = v - 3. Suppose -o*j + a + a - 2 = 0, -2*j + a + 1 = 0. Solve -d = -j*d for d.
0
Suppose -4*y = -4, -145 = -9*s + 4*s + 5*y. Suppose -s = 2*c + 3*c. Let u be 34*(-3)/c - -3. Solve -4*d = d - u for d.
4
Suppose 48 = 19*l + 5*l. Solve 2*d = -l*d + 12 for d.
3
Suppose 0 = -5*h - 4*c - 18, 0 = h + 4*h - 3*c + 4. Let t be (3 + -2 - 1)/h. Solve 2*z = -t*z - 2 for z.
-1
Let d(n) = n**2 + n - 9. Let x be d(0). Let p(b) = -b + 3. Let c be p(x). Solve 5*i + c + 13 = 0 for i.
-5
Suppose -5*r + 416 = -r. Suppose 2*t = -2*t - r. Let k be (-152)/t - 2/(-13). Solve 0 = -5*u - 4 - k for u.
-2
Let c = -5 + 15. Suppose 6*b + 6 = 4*g + b, 8 = 4*b. Solve c = -g*u - 6 for u.
-4
Suppose 2*z - 17 = -z + 4*g, -2*z = 4*g - 18. Solve 22 - z = -5*v for v.
-3
Suppose 11*r - 7*r = 4. Solve 2*l + r = -1 for l.
-1
Let k = 17 - 12. Solve b - k*b = 8 for b.
-2
Let d be ((-4)/14)/(1/(-7)). Suppose y = 3*t - 13, 0 = -7*t + d*t + 2*y + 23. Solve t*a = -2*a for a.
0
Suppose 0 = 2*r - 5*a - 41 + 4, -5*a - 25 = 0. Let w be 33/r - 9/6. Solve 0 = -f - w*f - 5 for f.
-1
Let q = 39 + -22. Suppose -3*y - q = -2. Let m = y - -7. Solve 2*c - c - m = 0 for c.
2
Let y = 4 - 1. Suppose -25 = -4*m - s, -s + 30 = 2*m + y*s. Suppose 0*n + 25 = m*n. Solve -n*u = 22 + 3 for u.
-5
Let z(f) = -2*f**3 - f**2 + 4*f + 3. Suppose 0 = 2*j + 4. Let p be z(j). Suppose -h = h. Solve h = 4*g + 19 - p for g.
-3
Let d(t) = 6*t - 2. Let u be d(5). Suppose u - 2 = 3*y - 4*n, -2*n = 5*y. Solve -y*j = 3*j for j.
0
Let c(q) = 4*q**2 + 2*q - 2. Let a be c(-2). Let w be 1/1 - a/(-5). Solve w*d = -2*d - 15 for d.
-3
Let m = -112 - -114. Solve 2*w + m + 0 = 0 for w.
-1
Suppose -2*g - 5*z + 70 = 0, -5 - 5 = -5*z. Suppose f = 4*f - 5*i - g, -3*f + 4*i + 33 = 0. Suppose f + 5 = 5*h. Solve q = -h*q for q.
0
Let v = 13 - 9. Solve -v*y + 5 = -3 for y.
2
Let u be (-14)/((-1)/2 - 0). Let t = u - 16. Let h be -2 + 1 + t/3. Solve 0*l = -h*l + 3 for l.
1
Suppose 0 = 2*m + 2*m - 32. Let k = 2 - 12. Let l be 24/20*k/(-4). Solve -l*t + 5 = m for t.
-1
Let w be 7/(-6)*78/(-13). Let h(b) = -b**3 - 5*b**2 + 6*b + 2. Let f be h(-6). Solve w = f*q + 3 for q.
2
Suppose 2*g - 11 = -3. Let z be 14 + 2/g*2. Suppose -8*f = -7*f - 5. Solve -f*s + 5 = -z for s.
4
Suppose -5*m - 30 = -0*m. Let z be ((-2)/(-2))/(2/m). Let r be 14/3 + 2/z. Solve g - r*g + 12 = 0 for g.
4
Let k be (1 + 1)*2/4. Solve 0 = -5*n + 6 - k for n.
1
Suppose 4*w = -2*u, 4*u + w + 12 = 5*u. Solve -2*b - u = -4*b for b.
4
Suppose 4*x - 10 = 2*g, -5*x = 2*g + g - 7. Let s be 0/(3/(3/x)). Suppose n - 2*n = -2. Solve s = -n*y + 2 + 2 for y.
2
Let v = 71 + -63. Solve 3*f - 1 = v for f.
3
Suppose -4*i - j = 1 - 3, -2*i = -3*j - 8. Solve -3*u = 4 - i for u.
-1
Let r = 13 - 8. Suppose -r*i + 35 = -0*i. Solve 0 = i*w - 2*w for w.
0
Suppose 0*o + 2*o = 4. Suppose 5*s = 3*p - 26, -o = -p + 4*s + 2. Suppose -3*m + 2*w + 4 = -2*w, 2*w - 20 = -4*m. Solve -m*a = -0*a - p for a.
3
Suppose -4*z = -b - 2 + 4, -3*b = -3*z - 6. Let c = 47 - 34. Let p = c + b. Solve 0 = 5*r - 0*r - p for r.
3
Let u = -13 - -24. Solve u = 4*l - 9 for l.
5
Let z(m) = -4*m + 5. Let o be z(2). Let f = 8 + o. Solve 0 = c - f*c + 8 for c.
2
Let p be 2/6 + (-24)/(-9). Let h(r) = r - 17. Let q be h(7). Let l(c) = -c**2 - 9*c + 12. Let y be l(q). Solve 2*g = p*g + y for g.
-2
Suppose 0 = p + 3*p - 32. Let n = -8 + p. Solve 0 = -5*s - n*s + 5 for s.
1
Suppose 0 = -4*j - 3*z + 12, -4*j + 0*z = 5*z - 20. Let k = -6 - -11. Suppose k*h - 7 = 13. Solve j = h*n - 2 + 22 for n.
-5
Let l(q) = 20*q**3 - 7*q**2 - 41*q - 38. Let p(h) = 7*h**3 - 2*h**2 - 14*h - 13. Let b(m) = 6*l(m) - 17*p(m). Let a be b(9). Solve a*y = -2*y - 16 for y.
-4
Suppose 0 = j - 2*j - a - 3, -4*j = -3*a - 23. Solve -1 = -y + j*y for y.
-1
Let d(s) = -s**2 - 7*s - 7. Suppose -b = -5*b - 16, 5*g = b - 21. Let v be d(g). Suppose n = -1 + v. Solve -n*o - 20 = 3*o for o.
-4
Suppose 3*d + 4 = 7*d. Solve -q + 0*q = d for q.
-1
Suppose -4*x - 4*t + 36 = 0, 2 = -x - 2*t + 16. Suppose 0 = 5*p - f - 6, 2*p - f - 7 = x*f. Solve p = 2*n + 7 for n.
-3
Let x be 7*(-3)/(-3) - 1. Suppose 2*b - 20 = b. Solve 0 = -x*r + 2*r - b for r.
-5
Suppose -1 = 4*k - 9. Let r be 1/4 - -7*(-10)/(-8). Solve -k*b = b + r for b.
-3
Suppose -2*d - 10 = -7*d. Let l(b) = b - 2. Let j be l(d). Suppose 2*g - 3*f + 5 = 3*g, 5*f = j. Solve g = c + 2 for c.
3
Suppose 140 = -4*k + 2*t, 4*k + 7*t + 126 = 2*t. Let d be k/(-6) + (-4)/6. Suppose 0 = 4*y - 3*i - 28, 4*y + d*i - 8 = 3*i. Solve 0 = y*a - 0 - 4 for a.
1
Suppose 4*f + 3*g - 21 = 0, -3*f = -0*f - 3*g. Solve 0 = -f*y + y + 4 for y.
2
Let p(r) = 2*r - 4. Let u be p(5). Solve 0 = -3*l + l - u for l.
-3
Let t(a) = -a - 2. Let p be t(-9). Solve -2*y + p*y = 0 for y.
0
Suppose 5*p = p + 2*l - 6, -5*p - 3*l + 20 = 0. Suppose -w = p - 5. Solve -w = 2*o + 2 for o.
-3
Let r = -145 - -152. Solve 4*x = 23 - r for x.
4
Let v = -25 + 28. Solve 0*c + v*c + 3 = 0 for c.
-1
Suppose 7*l - 16 = -2. Solve 2 = l*v - 2 for v.
2
Let a(j) be the first derivative of 3*j**4/4 + 1. Let u be a(1). Suppose -o + 2 = -u. Solve 0 = -o*k - 10 for k.
-2
Suppose -15 = 5*c + 60. Let t = -13 - c. Solve -f - t = 3 for f.
-5
Suppose 0*o = 5*o - 20, -5*a - 5*o = -25. Let r be a/((-2)/(-12 + 2)). Solve r*k + 0*k - 5 = 0 for k.
1
Suppose 2*v - 17 = 3*z, 2*v + 3*z + z = -4. Suppose 12 = 2*o - g - 5, 0 = -v*o - 5*g + 27. Suppose x + 5 + 8 = 3*t, 1 = -t - 5*x. Solve t*d - o = 12 for d.
5
Let g(r) = -r + 8. Let y be g(4). Let t = 4 + 0. Suppose 9 = -t*i + 3*m, 7 + 8 = 2*i + 5*m. Solve -4*u - 24 + y = i for u.
-5
Suppose 3*a - 5*v = 29, -2*v - 10 = -2*a - v. Suppose -i - 2*i - 9 = a*s, -2*i + 4*s = -18. Solve -n + i = -0*n for n.
1
Suppose 4*q - 4 = -4*w - 0, -4*w = -4*q + 12. Solve -z = -3 - q for z.
5
Suppose 6 = -2*s - 12. Let t = -4 - s. Suppose -3 + 13 = -5*h - t*v, -h - 2*v = 7. Solve h*n - n = 6 for n.
3
Suppose 11 = 7*v - 3. Solve 0*t + 8 = -v*t for t.
-4
Let b(d) = -d**3 + 2*d**2 + 2*d - 3. Let a be b(2). Let c(q) = -a + 3 - 2 + 9*q. Let h be c(1). Solve -4*f = -f + h for f.
-3
Suppose 4*j + 26 = 5*o, -2*