8 = 0. Let a = b - 8. Solve -2 - 18 = a*z for z.
-5
Let h = -6 - -8. Let t = -49 - -49. Solve t = 5*d - h*d + 12 for d.
-4
Suppose 0 = -5*t + 9 + 1. Solve 0 = -m - t for m.
-2
Suppose 5*p - 27 = -7. Suppose 10 = p*q + 5*l, -l + 1 - 3 = 0. Solve w + q = -0*w for w.
-5
Let i be (0 - (-212)/20) + 9/(-15). Solve -w - i = w for w.
-5
Let z = 132 - 130. Solve -7 = -3*s + z for s.
3
Suppose -2*s - 3*r + 6 = 2, -2*s + 4 = 2*r. Let g be s/10 + 70/25. Solve -2 + 5 = -g*z for z.
-1
Suppose -3*f + 10 = -4*s - 2, 4*f + 4*s = 44. Let m(j) = -j + 13. Let n be m(9). Suppose -1 = n*x + 2*u + 1, 1 = 3*x + u. Solve -x*p = -0*p - f for p.
4
Suppose -25 = -5*f - 10. Let d(q) = 2*q**2 - 3*q - 4. Let w be d(f). Solve w*a - 12 = 2*a for a.
4
Let s be 0 - ((-3 - -3) + 0). Let b = -2 - -5. Solve b*j + 2*j = s for j.
0
Suppose 4*j - 10 = 10, -3*w + 4*j - 20 = 0. Let v be (w - (-4)/(-2)) + 2. Suppose 2*g + 2 = 42. Solve v = 5*o - o - g for o.
5
Let l(d) = d**2 + 4*d + 4. Let i be l(-4). Solve -g + i*g = 12 for g.
4
Suppose 3*o + 5*o = 32. Solve -15 = o*x - 9*x for x.
3
Let u(o) be the first derivative of o**2 - o + 1. Let y be u(-1). Let k(r) = r**3 + 4*r**2 + r - 4. Let n be k(y). Solve 3 = -n*a + a for a.
-3
Let t(k) = -k + 11. Let o be t(9). Let y be 14 + -1 - (-1 + 2). Solve p = -o*p - y for p.
-4
Let v be (1/(-2))/(1/(-6)). Suppose v*b + 2*b = 0. Solve -s - 4*s + 15 = b for s.
3
Let w be (600/35)/10 - 2/(-7). Solve -w*t = -t - 5 for t.
5
Let d be (-5)/7 + (-4)/14. Let l(c) = -4*c**3 - 2*c**2 - 2*c - 1. Let g be l(d). Let q(i) = 4*i - 3. Let o be q(2). Solve o*j = 2 + g for j.
1
Let f(p) = -p + 2. Let x be f(2). Let i = 0 - -4. Suppose -y - y - i*g = x, -g = -3*y. Solve k = -y + 4 for k.
4
Suppose 8 = o - 1. Solve y - o = -2*y for y.
3
Let d(z) = z**2 + 7*z - 7. Let t be d(-9). Solve 2*c + t - 3 = 0 for c.
-4
Let y be 1/((12/20)/3). Suppose 0 = -g - 2*l - 6, -4*l = y*g - 2*l - 2. Solve -g*f - 10 = -0 for f.
-5
Let w be (-23)/(-7) - 2/7. Suppose -w*y = -y - 6. Solve -3*a - y = -2*a for a.
-3
Suppose 3*x - 4*x + 10 = 0. Suppose 0 = -p - 0 - x. Let u be 4/(-10) - 34/p. Solve w - u*w = -2 for w.
1
Let q(a) = a**3 - a**2. Let j be q(0). Suppose -4*t + 104 = 5*l, 0 = -2*t - j*l + l + 38. Let d = t - 9. Solve -3*g = -0*g + d for g.
-4
Let i be ((-4)/10)/((-10)/25). Let c = i - 3. Let b be (-2)/4 - c/4. Solve b = 2*g + 3 - 1 for g.
-1
Suppose 0 = 4*y - 2 - 34. Suppose -6*k = -y*k + 15. Let v = 9 - 3. Solve 1 = -k*h + v for h.
1
Let a be 2 - 6 - (1 - -2). Let p(j) = j**2 + 8*j + 9. Let g be p(a). Solve t - g*t = 1 for t.
-1
Let r be (-2)/(-2)*(-1 + 6). Suppose -7*p + 6*p + r = 0. Solve p*b - 12 = 13 for b.
5
Suppose -6 = -3*y + m, -4*y - 4*m + 2*m + 8 = 0. Solve 6 = -y*r - 2 for r.
-4
Let j be (8/((-6)/(-3)))/2. Suppose j*f = -2*f + x + 85, 3*f - 5*x - 85 = 0. Let z = -5 + 11. Solve -2*m = -z*m + f for m.
5
Let j(h) = h**3 - 5*h**2 + 2*h - 5. Let y be j(5). Solve -3*m = -y*m - 2 for m.
-1
Suppose -2*c - 2 = 4*w - 22, 3*c + 5 = w. Suppose 3*j + c*j - 18 = 0. Solve 0 = -p - p - j for p.
-3
Suppose -3*f - 5*r + 10 = 0, -40 = 8*f - 3*f - 3*r. Let a = f + 7. Let t be 4/(-10) + (-27)/(-5). Solve -a = t*x + 8 for x.
-2
Suppose -3*w - 4*x + 19 = -1, 3*x = -3*w + 18. Solve -3*q = q - w for q.
1
Let s = 30 - 27. Solve 0 = s*n - 2 + 11 for n.
-3
Let k(p) = p**3 - 12*p**2 - 10*p - 27. Let n be k(13). Solve b - n = -2*b for b.
4
Suppose 0 = -6*d + 2 + 10. Let v(b) = 2*b**2 - b - 3. Let f be v(3). Solve -2*p = d*p - f for p.
3
Let x = 6 + -11. Let s(n) = n**2 + 3*n - 5. Let u be s(x). Let r = 9 - u. Solve r*g + g = -20 for g.
-4
Let x = 4 - 2. Suppose -2*j = -1 - 3. Let z(p) = p**3 - 14*p**2 - 16*p + 21. Let y be z(15). Solve x*o - y = -j for o.
2
Let q(s) = -s + 5. Let u be 1*-2*(-3 - -1). Suppose -22 = -u*d - k, -k + 11 = 3*d - 3*k. Let i be q(d). Solve -z - 1 + 3 = i for z.
2
Let z(c) = c**3 + 3*c**2 - 3*c + 7. Let w be z(-4). Solve -2*n - w*n + 20 = 0 for n.
4
Let p be (2 + -17)*(-2 + (-16)/(-10)). Solve 2*c + c - p = 0 for c.
2
Let x = 7 - 3. Suppose x*i = 5*i. Solve i*z = z for z.
0
Let z(x) = x + 12. Let q be z(-9). Let u be 24/(-14)*(2 + -9). Suppose 0 = -r - q*l - 4, -r + 10*l + u = 5*l. Solve -3 = r*o - 5 for o.
1
Let h = -16 + 8. Let l(b) be the first derivative of b**4/4 + 3*b**3 + 7*b**2/2 - 5*b + 3. Let m be l(h). Solve -x + m = 2*x for x.
1
Suppose -4*b + w + 4 = 0, -5*w - 1 = b - 2. Let d = 6 - 5. Let x = b + d. Solve v = -0*v + x for v.
2
Let t be (-10)/1 + (-15)/(-5). Let v be 48/t*(1 + -8). Let i be (-1)/(3 - 147/v). Solve -3*j + i = 4 for j.
4
Let x(r) = r**3 - 6*r**2 + 6*r. Let l be x(5). Suppose z + z + 5*z = 0. Solve -f + l*f - 4 = z for f.
1
Suppose -10*p + 24 = -2*p. Solve 6 = p*m - 0 for m.
2
Let q be (5 + -5)*(0 - -1). Solve -s - s + 2 = q for s.
1
Suppose -10 = -r + 3*r. Let t = r + 5. Solve 0*l + l - 1 = t for l.
1
Let r = -1 - 9. Let x be 4/10 + (-16)/r. Solve -x*n + 6 - 2 = 0 for n.
2
Let o = 3 - 4. Let l be (-20)/(o - (0 + 0)). Suppose p - 5*q = -3*p + 33, 2*q = 5*p - l. Solve 6*k - 12 = p*k for k.
3
Let f be (1/(-2))/(6/(-36)). Solve -n - 16 = f*n for n.
-4
Suppose -32 = -6*w + 2*w. Suppose 7*h = w*h. Solve h = -3*k + 5 - 11 for k.
-2
Let s(u) = -2*u - 13. Let d be s(-9). Solve d*a - 2*a = -12 for a.
-4
Let c = 18 - 15. Solve 2*f + c*f + 5 = 0 for f.
-1
Let r = -6 + 9. Suppose 4*u + v = 19, -r*u + 43 = 3*v - 8*v. Solve i + u = -i for i.
-3
Let j = 125 - 125. Solve j = -5*y + 7*y for y.
0
Let o(n) = -n - 1. Let f be o(-5). Let u(t) = 2*t**2 - 12*t. Suppose 0 = 3*p + 3 - 21. Let l be u(p). Solve l = -0*c - c - f for c.
-4
Suppose -3*g - 6 = -9. Solve -g = f - 6 for f.
5
Let i(s) = s**3 - s**2 - 1. Let m be i(2). Let r(q) = q + 12. Let b be r(-5). Solve 0 = m*k + b + 2 for k.
-3
Suppose 2*v - 5*l - 15 = -v, v - 2*l - 6 = 0. Let f(a) = a**2 + 3*a + 2*a - 2 + 0*a**2. Let x be f(-6). Solve v*n = -x*n - 8 for n.
-2
Suppose w + 5*l = 18, -3*w = l + 2 - 0. Let b = 2 + w. Solve b*q + 2 = -2*q for q.
-1
Suppose -2*m = 3*r + 8, -2*m - 3*r = -7*m + 22. Suppose m*q = q + 2. Solve q*i + 2*i - 12 = 0 for i.
3
Let m = 12 + -8. Suppose -5 - 15 = -m*x. Suppose c = x, o + 0*o - c = 0. Solve -2*p + o*p = 12 for p.
4
Suppose 2*n = 3*j - 11, 2*n - 29 = -2*j - 3*j. Solve -j*k = -14 - 1 for k.
3
Let l be 3 + -2 - 0/3. Suppose -3*n = 2*n. Suppose 4*j = 2*w - 2, n = 3*j + 2*w - 3*w + 1. Solve -2*z + 1 + l = j for z.
1
Let u be (-72)/(-7) - (-4)/(-14). Suppose 5*b = -2*k + 22, 9 + u = 4*b + 3*k. Solve v - b = -2 for v.
2
Let m(g) = -g**2 - 6*g - 7. Let z be m(-7). Let n = 20 + z. Solve 4*b - b - n = 0 for b.
2
Suppose -5*w - 3*m = -32, -3*w + 1 = -5*m + 9. Let l = 72 + -33. Let p = l - 14. Solve -p = w*a + a for a.
-5
Suppose 0 = 10*z - 4 - 36. Solve 0 = -w + 1 + z for w.
5
Suppose 4 + 2 = 2*i. Suppose -p = -0*p. Let s = i - p. Solve -s*h - 2*h = -10 for h.
2
Let d be 4*1/2*1. Let n(p) = -3*p**d + 8*p**2 + p + 2 - 1 - 2*p. Let a be n(1). Solve -x - 3 = -a for x.
2
Let v = -164 - 166. Let f be v/(-12) - 1/(-2). Suppose -4*m - 11 = -5*m - 3*u, 3*m + 4*u - f = 0. Solve -m = -2*o + 4*o for o.
-4
Suppose 4*b = 5*b - 2. Let q be 2*(-3)/6 + b. Solve 0 = -l - 0*l + q for l.
1
Let c(j) = -j**3 - 8*j**2 - 8*j - 7. Let k be c(-7). Let l(v) = v**3 + 6*v**2. Let q be l(-6). Solve -a - 2 + k = q for a.
-2
Let g be (5 - 2) + 0 + 1. Suppose -g*x + 57 = -3. Suppose 0 = -2*d - 5*c - x, 3*d + 15 = c - 6*c. Solve 3*o - 2*o - 1 = d for o.
1
Suppose 3*u - u - 4 = 0. Let f = 7 - u. Let l be 1/(-2 - 9/(-4)). Solve l*j - 3*j = f for j.
5
Let v(b) = -3*b**3 - 4*b**2 - 2*b. Let j be (-10 - -1)/(-3) - 5. Let a be v(j). Solve a = -0*m - 4*m for m.
-3
Suppose 7*r - 11*r + 12 = 0. Solve 5*f - r = 7 for f.
2
Suppose -3*j + 2*a = 5*a - 3, j = -2*a - 1. Suppose 24 = -l + 3*l + 2*t, -l - 4*t = -21. Let w = 29 - l. Solve w = -d - j*d for d.
-5
Let t = 9 + -3. Suppose -4*y = -t*y. Solve y*r + 4 = -2*r for r.
-2
Let r = -3 + 4. Suppose 4*b - 8 = 0, 0 = 3*x + b - r - 4. Solve 0 = l + x for l.
-1
Let h(a) = -a**3 - 2*a + 0 + 0*a**3 - 1 - 2*a**2. Let l be h(-1). Suppose l = -3*q + 2*f - 2, -8 = -5*f + 3*f. Solve -q*z = -3*z for z.
0
Let o(j) be the third derivative of j**5/60 - j**4/24 + j**3/3 - 11*j**2. Let u be o(3). Solve -u = -2*b - 0 for b.
4
Suppose -2*w - 2*w - 16 = 0. Let j = w + 6. Let s be 32/10 + j/(-10). So