4 = t*l - 4*x + 12. Solve -8 + l = -4*n for n.
2
Suppose -5*z - 31 = -3*x, -3*x - 4*z = 12 + 2. Suppose 27 = x*s - 5*b, 5*s - s - 4*b - 36 = 0. Suppose -s*c + 12 = -3*c. Solve c*i = 2*i + 2 for i.
1
Let k be (-2 + (-107)/(-2))*2. Suppose -4*r + k = 2*x + x, 5*x = -4*r + 105. Solve 4*i - r = -i for i.
5
Let n be 0*(2 + 9/(-6)). Solve -2*w - 3*w + 5 = n for w.
1
Let i be (-12)/10*5/(-2). Suppose -4*k = 16, -i*a + a - 2*k = -2. Solve a*v = -15 - 0 for v.
-3
Let l = -8 + 11. Suppose l*a + 0 = 5*s - 19, -5*s - 5*a = -35. Solve 0*d + s*d + 10 = 0 for d.
-2
Let g be 4 - (2 + -2)/(-1). Let a(y) be the first derivative of y**3/3 - 3*y**2 - 6*y - 2. Let p be a(7). Solve -g = -3*u - p for u.
1
Let x(i) be the second derivative of i**5/120 - i**4/6 - i**3/3 + i. Let j(r) be the second derivative of x(r). Let c be j(4). Solve 0 = -q - 2 - c for q.
-2
Let f(o) = -6 + o**2 - o - 4*o - 2*o. Let p be f(8). Solve -s + p*s - 1 = 0 for s.
1
Suppose l - r = 2*r - 2, 4*l - 22 = -3*r. Suppose -3*f + 4*f = -2*g - 2, -18 = -2*g + 4*f. Solve -3*d + g = -l*d for d.
-1
Suppose m - 12 = -5*s, 0*m + 2*s = m + 2. Suppose 0 = -2*z + x - 22 + 6, z + 8 = 3*x. Let t = z - -18. Solve -3*r + t = m*r for r.
2
Suppose 3*f + 3*h - 2*h - 64 = 0, 4*f = -4*h + 96. Solve -f = 5*x - x for x.
-5
Let l(v) = -v**3 - 4*v**2 + 6*v + 7. Let d be l(-5). Suppose -5*r = 0, -3*p + 3*r + 4 = -d. Solve 2*c = p + 2 for c.
2
Let f = 1 - -2. Suppose -f*y + z = -2*y + 5, 5 = 2*y + z. Solve y*j = -5*j for j.
0
Let c be (-3 + 0 + 2)/(-1). Suppose 5*o = -0*o + 5. Let p = 3 - o. Solve c = d - p for d.
3
Let g(i) = i**3 + 5*i**2 - 2*i - 5. Let u be g(-5). Suppose m = u*m - 16. Let v(c) = -c**2 + 3*c + 5. Let p be v(m). Solve p = -s - 1 for s.
-2
Suppose 0*p = 5*p + 2*j - 11, 2*p + j = 5. Suppose 2 = -2*r + 6. Solve p = -r*v + 11 for v.
5
Let c be ((-70)/28)/(1/(-2)). Suppose 5*j + 5*m = 55, 0 = -5*j + c*m + 13 + 82. Solve -j = 4*a + 1 for a.
-4
Let f(x) = x**3 - 5*x**2 - 7*x + 7. Let m be f(6). Let q be 2 + -1 + (2 - m). Suppose q*z - 4*z = 5*u + 10, -5*u = -4*z + 10. Solve -o + z*o = 0 for o.
0
Let w = -75 - -75. Solve -i = -w*i for i.
0
Let r = -181 - -181. Solve -6*f - 36 + 12 = r for f.
-4
Let z(q) = -q**2 - 14*q - 11. Let j be z(-10). Solve -9 = 5*w - j for w.
4
Let i be ((-2)/4)/((-3)/66). Let q = i - 3. Let c(o) = -o**3 + 7*o**2 + 10*o - 11. Let v be c(q). Solve v - 25 = -4*f for f.
5
Let z = 6 + -6. Let j = z + 0. Suppose j = -2*a + 3*a - 4. Solve 3*g - a = g for g.
2
Suppose -5*r + 1 + 14 = 0, r = 3*q + 45. Let t be (-3 - q)*(0 + 2). Suppose 0 = -3*i + t - 10. Solve -5*v - 4 = -i*v for v.
-4
Suppose 3*l = -33 - 18. Let g = -23 - -48. Let y = g + l. Solve -y = -3*s + 1 for s.
3
Let d(k) = -14*k - 5. Let p be d(-4). Let v = p - 31. Solve g = -3*g - v for g.
-5
Suppose p + 1 = -3*z + 2*z, -3*z = -3*p - 21. Let b(h) = h**2 + 3*h + 2. Let g be b(-4). Suppose i = g*i - 70. Solve z*a = i - 2 for a.
4
Let m be ((-4)/(-2) - 2)/2. Let i be (m - 9/12)*-20. Solve t - 6*t = i for t.
-3
Let v(x) = -2*x**2 + 1. Let u be v(-1). Let f be (u - 0 - -1)/1. Let w(s) = s + 10. Let o be w(-6). Solve -n - 3*n + o = f for n.
1
Let x = 3 + 1. Suppose -n + 5*u = 2*n + 14, 3*n - 3*u + 6 = 0. Suppose 0*q - 4*q - 2*o = x, -3*q = n*o + 4. Solve 4*c - 6*c = q for c.
0
Let d = 6 + 2. Solve -d = 4*v + 4 for v.
-3
Suppose 0 = 4*f - 2*z + 8, 5*f - 3*z + 16 - 4 = 0. Solve f = 4*x - 0*x + 16 for x.
-4
Suppose 2*y + 10 = 3*s, s - y - 2*y - 15 = 0. Suppose 0 = 2*o - 3 - 7. Suppose 0*b - o*b + 59 = 4*t, 3*b + 3*t = 33. Solve s*z - b = -3*z for z.
5
Let i be 140/24 + 2/12. Solve n - i = -n for n.
3
Let y be (-3)/(-2*(-3)/(-6)). Let q = 0 + y. Solve -7 + 22 = -q*d for d.
-5
Suppose 2*g - 2*r - 2 = -g, 0 = -g + 4*r + 4. Solve -l + 0*l - 5 = g for l.
-5
Let f = -1 + 0. Let c be (0 - 1 - -1)*f. Suppose -3*a + 2*a = 4*t - 16, c = -a - 3*t + 12. Solve w - 7 + 3 = a for w.
4
Let v = -141 - -296. Let x = v + -110. Let k be (x/(-20))/(6/(-16)). Solve -5*a + k = 1 for a.
1
Suppose 11*h = 16*h. Suppose -3*g + 5*n + 21 = 0, 0*n - 1 = 4*g + 3*n. Suppose -g*l + 4 = -h*l. Solve j = -l - 3 for j.
-5
Suppose 5*q - 17 = 2*c, -q + 28 = 3*q + 2*c. Suppose 12 - 4 = -4*i - 3*a, -3*i + 3*a + 15 = 0. Solve q*s - i = -6 for s.
-1
Let c = 1 - -15. Suppose c = 5*p - 4. Suppose 0 = 6*n - p*n. Solve j - 2 + 1 = n for j.
1
Let g = 5 + 0. Suppose 4*u = -1 + 201. Suppose -40 = -4*d + 2*a + a, -4*a = -g*d + u. Solve 6 + d = 4*v for v.
4
Let x be 5/(1*(0 + 1)). Suppose -u - 6 = -9. Solve u*k = x - 20 for k.
-5
Let a = 3 + -3. Solve 0 = -3*v - a + 3 for v.
1
Suppose -10 + 12 = k. Solve -k*g + 0*g = 4 for g.
-2
Let y be (-44)/66*-9*1. Solve w - 3*w = y for w.
-3
Suppose -5*p = -4*a - 24, 5*p - 2*a - 60 = -7*a. Suppose 2*r - 5 = -k, -3*k + 2*r = -p*k + 17. Solve 0 = j + 2*j + k for j.
-1
Let w be 189/54 + 1/(-2). Let o(n) = -n**2 + 6*n - 6. Let m = 4 + 0. Let d be o(m). Solve -w = -i - d*i for i.
1
Let r(x) = x - 4. Let h be r(8). Solve -16 = -5*j + h for j.
4
Let x = 8 + 2. Suppose -5*i + x = -0. Solve -4*v = -i*v - 10 for v.
5
Let r(i) = 9 + 8 - 8 + i. Let t be r(-8). Let s be (-1)/(-1*t/5). Solve -4*b + 1 = -s*b for b.
-1
Let n be (-245)/(-50) - (-4)/40. Solve -13 = -4*p - n for p.
2
Suppose 4*g - g = 0. Suppose -x = -g - 1. Solve 2*l + x = 3 for l.
1
Let v be ((-1)/(-2))/((-1)/(-10)). Suppose 2*z = -3*k + 35, -5*z + 48 = v*k - 7. Suppose 10 + 2 = 3*u. Solve -u*y - 7 = k for y.
-5
Suppose -64 - 8 = -2*w. Suppose -8*g + 4*g = -w. Solve -11 = 4*a + g for a.
-5
Let y = 0 - -2. Suppose y + 13 = d. Solve 0*j = 3*j - d for j.
5
Let g be (-1)/((-2 - -1)/2). Suppose 4*x = -4*i - 8, 3*i - 3*x - 20 + g = 0. Suppose -20 = -5*k + j, 2*k + 6*j - 25 = 3*j. Solve r - i*r = k for r.
-5
Let i be 9*(1 + -2)*-1. Suppose -2*l - i = l. Let k = l + 5. Solve 0 = -3*c + k*c for c.
0
Let q(g) = -g**2 + 10*g - 16. Let p be q(8). Solve p*a = a - 2 for a.
2
Let q = 39 - 38. Solve -q = 4*n - 3*n for n.
-1
Let i(q) = q**3 - q**2 + 18. Let n be i(0). Let t be 43/3 - (-12)/n. Let r = t - 10. Solve -d + r*d - 12 = 0 for d.
3
Let r be ((-3)/(-12))/((-1)/(-4)). Let j be 0*1*r/(-2). Solve -2 + j = -o for o.
2
Suppose -3*k + 6*k = -5*c - 6, 2*k + 4 = 3*c. Let j(g) = g**2 + 1. Let m(h) = h + 1. Let y be m(0). Let t be j(y). Solve -u - t*u + 9 = c for u.
3
Let b(i) = -i**3 - 4*i**2 - i + 3. Suppose -2*u - 4*k - 16 = 0, -2 = -u + 3*u - 3*k. Let q be b(u). Solve -4*a = 3 - q for a.
1
Let x(i) be the third derivative of i**5/60 + 7*i**4/24 - i**3 - 2*i**2. Let d be x(-8). Solve 0*k = -d*k + 10 for k.
5
Suppose -4*p = -5*p + 6. Suppose 3*i = 2*c + 8, 5*i - 4 = 5*c + p. Solve -c*z = 4 - 0 for z.
-2
Let p(s) = s**2 - 13*s + 13. Let y be p(12). Solve y = 2*q - 1 for q.
1
Let j(f) = -f**2 + 5*f - 2. Suppose -5*z + 1 = -9. Let w be j(z). Solve -w*m = -2*m for m.
0
Suppose 0 = -2*w + 6*w. Let q = -5 - -7. Suppose -q*b + 10 = 3*b. Solve b*l - 4 + 10 = w for l.
-3
Let c(w) = -3*w + 8. Let v be c(6). Let r be v/(-5) - (0 + 0). Solve -8 + r = 3*i for i.
-2
Let x be 1*(3 + 0/(-2)). Let p = -19 + 22. Suppose 0 = 2*a - p - x. Solve -q + 2 = -a*q for q.
-1
Let t be -1 - 0 - (-1 + -11). Suppose 0*o - 3*o = 3. Let c = o + t. Solve 3*i - 5*i + c = 0 for i.
5
Let y be (-1 - -1)/((-2)/(-2)). Suppose y*w + i = -w - 5, 5*i + 25 = 5*w. Suppose 4*z = 5*o - 79, -4*o + 6*o - z = 34. Solve 5*a + o + 1 = w for a.
-4
Let y be 2/8 + 27/4. Let g(x) = x - 4. Let h be g(y). Let t be (-2 - -1)/((-1)/h). Solve 1 = t*w + 7 for w.
-2
Suppose 3*t - 15 = 2*t. Solve -t = -7*v + 4*v for v.
5
Let u = 3 - 0. Let m = 0 - -4. Suppose 5*x = 2*x + m*g + 12, u*x - 9 = 5*g. Solve i - x = -3*i for i.
2
Let i be (-16 - -14)*(0 + (-18)/4). Solve 6*o - i = 9*o for o.
-3
Let s be (-2)/(-12) - (-82)/12. Let m(t) = t**2 - 6*t - 7. Let z be m(s). Solve 4*g - 5*g - 1 = z for g.
-1
Suppose 0 = -5*l - 25, -4*l = 3*k - 6*l - 28. Suppose 5*b - 2*q = 16, -k*b + 3*q = -2*b - 10. Solve 0*d = b*d - 20 for d.
5
Let p = -22 - -16. Let j(o) = o**3 + 5*o**2 - 6*o + 4. Let t be j(p). Solve t*m - 6*m = 0 for m.
0
Let o = 10 + -7. Let c(k) = -k**3 - 3*k**2 - k. Let f be c(-3). Solve f*z = 4*z - o for z.
3
Let g be 20/3 - (-2)/6. Suppose 3*u = g*u - 44. Solve 4*t = -5 - u for t.
-4
Suppose -4*m + 40 = 5*w, -2*w + 44 = 9*m - 13*m. Solve -3*r - w = r for r.
-3
Suppose 3*k + 4 = -2. Le