-2*i - i + 6 for i.
2
Let u be 2/(-14)*-2*7. Suppose -4*x + 14 = -u*x. Suppose f = -2 + x. Solve -f - 15 = 5*v for v.
-4
Let t(d) = d**3 + 14*d**2 + 11*d - 11. Let j be t(-13). Solve -2*n = 3*n - j for n.
3
Suppose 5*v + 4*y = -4, -6*y - 4 = -2*y. Suppose 14 = 4*u + 4*l - 62, -5*u - 2*l + 92 = v. Let n be (u/15)/((-4)/(-10)). Solve 4*h + n = -13 for h.
-4
Suppose -4*l - 1 = 7. Let z(p) = -3*p - 1. Let i be z(l). Suppose -4*n - 1 = -i*n. Solve x + n = 2 for x.
1
Let j = -5 + 10. Let b = j + -3. Suppose -w = b*w. Solve w = -8*a + 4*a + 16 for a.
4
Let l = -3 - -7. Suppose 5*q = h - 18, l*q + h + 0 + 9 = 0. Let d be 1/1*q/(-1). Solve 0 = -4*t - 15 + d for t.
-3
Suppose 3*c + 12 = 0, 0*i - 22 = -5*i + 3*c. Let d = 15 + -21. Let h = 0 - d. Solve i*u - h + 0 = 0 for u.
3
Let b = 3 - 1. Suppose -b*k = -7*k. Solve 5*m - 7 - 3 = k for m.
2
Suppose -40 - 35 = -3*q. Solve -p - q = -6*p for p.
5
Let b = 10 - 20. Let j = 13 + b. Solve y - j = 2 for y.
5
Suppose 6*o - 3 = 27. Let n = 1 - -3. Solve -x = -o*x + n for x.
1
Suppose 3*p = -a - 4 - 3, -2*a = -p. Let g = 4 + p. Solve 0 = -g*f + 1 - 9 for f.
-4
Let r = 35 - 30. Solve -r*f = 11 + 4 for f.
-3
Let m be (-11 - -12)*0/1. Solve 5*x + 5 + 10 = m for x.
-3
Suppose 2*x - 6*x - 2*c - 8 = 0, 12 = -2*x - 3*c. Solve x = 4*m - 4 for m.
1
Let s(k) = k + 3. Let r = 9 + -9. Let o be s(r). Solve -o*x - 3 - 3 = 0 for x.
-2
Let y(j) = j**2 - 2*j + 1. Let d be y(1). Solve d = r + 3 - 0 for r.
-3
Suppose u = 5 - 2. Solve j - u = -2*j for j.
1
Suppose -3*x - 20 = -8*x, -3*y = 5*x - 38. Suppose 0 = -2*b + y + 8. Let p be 4/(-2)*25/(-2). Solve -p = b*k - 2*k for k.
-5
Suppose -2*g + 6 = m, g + 0*g + 5*m = -6. Suppose g*j = 4*t, j - 2*t = -0*j. Solve n = -j + 1 for n.
1
Let z(a) be the second derivative of a**3/3 - a**2 + 4*a. Let w be z(4). Solve -x - 20 = -w*x for x.
4
Suppose 0 = 5*l - 7*l + 8. Suppose -30 = -l*r - r. Let u = r - 1. Solve 0 = w - 2*w - u for w.
-5
Suppose 1 = -4*m + 17. Suppose 5*s - 15 = -5*f, m*s = 5 - 1. Solve -f*o + 7*o - 10 = 0 for o.
2
Let z be (-96)/(-64)*8*1. Solve -z*y = -13*y + 2 for y.
2
Suppose -4*t - t = -3*z + 106, -3*t - 58 = z. Let m be 0/(2/(-1)) - t. Solve 3*y + y - m = 0 for y.
5
Let j(q) = -2*q**3 + 9*q**2 + 4*q + 5. Let d be j(5). Let y be (-2)/5*(-20)/2. Solve 2*n - n - y = d for n.
4
Suppose 29*l - 25*l = 12. Solve -2*v = 3 + l for v.
-3
Let n(f) = -2*f**2 - 4*f - 4. Let r be n(-3). Let u be 24/(-15)*r/4. Solve 3*c - u = -c for c.
1
Let a be 4/(-18) + (-58)/(-18). Suppose a*t - 10 = t. Solve 4*z + z = -t for z.
-1
Suppose 4*w - 2 = 2*p + 6, 8 = -2*p. Suppose 2*c - 2*o - 10 = w, 3*o - 7*o = c + 10. Solve -c*q = -q for q.
0
Suppose -8*k + 16 = -4*k. Solve c - 1 = -k for c.
-3
Let i(c) be the third derivative of -c**5/60 - c**4/3 - 5*c**3/6 + 2*c**2. Suppose -t - 5 = -2*o - 23, -3*o - 29 = -2*t. Let m be i(o). Solve m = p - 0*p for p.
2
Let u be (-126)/(-6)*(-1 - -2). Suppose -5*x - 6 = -3*j - 2*x, 3*j + 2*x - u = 0. Solve -j*f + f + 12 = 0 for f.
3
Let w = -1 - -26. Solve 0 = -y + 6*y - w for y.
5
Let y(r) = r - 5. Let q be y(10). Let x(j) = j + 4. Let t be x(-4). Solve t = 4*k - 1 + q for k.
-1
Let a be 8/12*(-84)/(-8). Solve 1 = -4*l - a for l.
-2
Let m = -11 - -14. Solve 0 = -4*h - 1 - m for h.
-1
Suppose 5*z - 18 = -2*t + 4, 4*z - t = 28. Let i = z - -3. Suppose -2*r - 3 = -i. Solve 2 = -r*w + 5*w for w.
1
Let s(a) = a + 5. Let m be s(-1). Solve -3*x = x + m for x.
-1
Let x be 100/8 - (-6)/(-4). Let j = x - 5. Solve j = -3*c - 6 for c.
-4
Let u(k) = -k**3 - 6*k**2 - 5*k + 4. Let i be u(-5). Suppose 0*m - 5*q = m + 17, 4*q = i*m - 28. Solve -4 = 4*j - m*j for j.
-4
Suppose 2*a - h = 4, 0 = -3*a - a - 4*h - 4. Solve -a = -z - 2 for z.
-1
Let t(r) = -r**3 + 5*r - 7. Let v be t(-3). Solve 4*g - 3*g = v for g.
5
Let c(x) = 2*x + 5. Let i be c(0). Let n(f) = -f**3 - 9*f**2 - 9*f - 6. Let o be n(-8). Solve 0 = -o*j + 7 - i for j.
1
Let j be (-19)/(-5) + 3/15. Suppose -5*p - 3*x - 36 = 0, -j = -4*p + 3*p + 5*x. Let t = p + 18. Solve t = f + 2*f for f.
4
Let s be 19*1 + 0/(-13). Suppose 0 = i - 1 - s. Solve 2*x = 7*x + i for x.
-4
Suppose -4*s + 41 = -2*y - 53, -4*s = -y - 95. Suppose 3*g = -g + s. Solve g = l + l for l.
3
Let m(q) = q + 6. Let p be m(-3). Let f = p - 3. Solve -2*y + 8 = -f*y for y.
4
Suppose 5*d = -3*h + 31, 5*h - 3*d + 3 + 2 = 0. Suppose h*g - g - 3 = 0. Solve 20 - 8 = g*s for s.
4
Let m be 1/(-5) - 147/15. Let k = 8 - m. Solve 5*r + k = -7 for r.
-5
Suppose 9*k - 32 = 4. Solve a = k*a for a.
0
Suppose -4*o - 4*i = 72, -2*o + 5*i = -0*o + 43. Let d = o + 9. Let w be 10/(-4)*8/d. Solve -3*g - w*g = 5 for g.
-1
Suppose -1 = -5*t + 9. Let k be -4*(t + 5/(-2)). Let m(r) = 2*r**2 - 4*r + 3. Let c be m(k). Solve -c - 2 = 5*x for x.
-1
Let v(i) = i**2 + 7*i + 5. Let s be v(-7). Suppose w + 3 = -b + 6, 4*b - 5*w = 3. Suppose -2*d + 4*k = b*d - 60, 25 = -s*k. Solve 3*u = 4 - d for u.
-2
Suppose 2*k + 3*c = 0, -5*k + 4*c - 5 = -28. Let p be 4/3*k/2. Solve p*o + o - 9 = 0 for o.
3
Suppose 3*m - p - 26 = 0, 0*p = p + 2. Let h(k) = -k**3 + 4*k**2 - 3*k + 1. Let v be h(2). Solve -15 = -v*z + m*z for z.
-3
Suppose -3*w - 10 + 45 = 5*q, -13 = -2*q - w. Solve 0 = u - 3*u - q for u.
-2
Suppose -4*p + 6 = -2. Let x = 7 + -3. Solve -14 - p = -x*y for y.
4
Let j be (3 - -1 - 3)*5. Solve j*y = -0*y for y.
0
Let s = -21 + 28. Solve -5*z + s = -18 for z.
5
Suppose i + 8*k = 6*k - 6, 3*i + 4*k + 16 = 0. Let z be -1*(-10)/i*-8. Solve -z = -5*s + 5 for s.
5
Let y(x) = 0 - 13 + 3*x - 3 - x. Let h be y(8). Solve h*p + 3*p = 6 for p.
2
Suppose 3*q - 3*m - 57 = 7*q, 2*m - 42 = 4*q. Let h = 12 + q. Solve i + 2*i = h for i.
0
Let k be 3*1 - (-13 + 14). Solve 0 = -2*p - 0*p + k for p.
1
Let n(u) = u**2 + 11*u - 5. Let f be n(-10). Let m be (4/6)/(10/f). Let p = 4 - m. Solve p*w - w + 12 = 0 for w.
-3
Suppose 0 = -2*d - b, 0*b = -3*d - 3*b. Let f be 18 + (d/3 - 1). Let j = f - 2. Solve -j + 3 = -4*n for n.
3
Suppose z + 4*c - 22 - 2 = 0, -4*c + 88 = 5*z. Solve -z = n + 3*n for n.
-4
Let o be 8 - (10/2 - 1). Solve -o*q = -q for q.
0
Let i(z) = -5*z**3 - z**2 - z. Let a be i(-1). Solve a = -h + 2 for h.
-3
Let y(c) = c**3 - 4*c**2 + 3*c + 3. Let j be y(3). Solve d + 0 = j for d.
3
Suppose -5*q - 8 = -2*w, -3 = -4*q + w - 7. Suppose -5*j - 2*b - 3 - 2 = 0, -2*j = 5*b + 23. Let x be (j/2 + 0)*24. Solve q*s = -3*s + x for s.
4
Let s = -11 + 51. Suppose -2*i - 3*i - 4*d - s = 0, -5*i + 5*d = 40. Let t(r) = r**3 + 7*r**2 - 8*r + 8. Let b be t(i). Solve 4 - b = -c for c.
4
Let w be 4/5*(-10)/(-4). Solve -15 = w*i + i for i.
-5
Suppose -g - 19 + 5 = -5*v, v + 1 = 4*g. Solve 0 = -v*t - 1 - 2 for t.
-1
Suppose 0 = l - 0*l. Let k(i) = i + 8. Let d be k(l). Suppose -d = -3*s + 1. Solve -b + 2*b = -s for b.
-3
Let h(o) = o**2 + 6*o. Suppose 0 = -i + 8 - 3, 5*s + 35 = i. Let w be h(s). Solve m - 3*m = w for m.
0
Let y = -4 + 10. Suppose 3*g - y*q + q + 5 = 0, -g = 3*q - 3. Solve g = -5*c + 2 + 23 for c.
5
Suppose -3*v - 7 = -5*p + 12, -2*v + p = 1. Let s be (-3 - -3)*(-1)/(-2). Suppose 2*n + n - 21 = s. Solve v*r = n*r for r.
0
Suppose -9*l = -5*l. Let k = l + 7. Let s(m) = m**2 - 6*m + 5. Let o be s(6). Solve -o = 2*b - k*b for b.
1
Suppose -h = 1 - 2. Solve -5*o - h = 14 for o.
-3
Suppose -w - 3*l = 18, w + 3*w - 5*l + 55 = 0. Let s be (-70)/w*(-18)/(-7). Suppose 2*g + 4 = s. Solve 7 = -g*z + 23 for z.
4
Suppose 4*d = -2*l + 16 + 12, 0 = 3*l - 3*d + 3. Suppose l*y - 65 = -5. Suppose z + 4 = -5*u + 1, 0 = -2*u + 5*z + y. Solve 3*t = -u*t + 3 for t.
1
Suppose -2*z = -7*z. Let b(k) = -k. Let v be b(-3). Suppose 0*p + v*l = p - 15, -24 = -4*p + 3*l. Solve -9 = -p*m - z for m.
3
Let w = -9 - -17. Suppose -4 = -4*r, -3*p + 0*r = -r - w. Solve -9 - 6 = p*z for z.
-5
Let z be 1/(-2) - (-54)/4. Solve 4*h = 3 + z for h.
4
Suppose 0 = v - 5*v. Suppose -u + v*u = -4. Let d = 45 + -30. Solve -5 = u*i + d for i.
-5
Suppose 6*g - 45 = g. Let t(r) = -r**3 + 8*r**2 + 10*r - 2. Let b be t(g). Solve -1 = 3*w - b for w.
2
Let h(j) = -j**2 + 5*j - 2. Let g be h(4). Suppose 5*m = 0, 3*n - 10 - g = 3*m. Let d = -7 - -13. Solve -2*y + d = -n*y for y.
-3
Suppose 0 = p + 3*d - 2 + 5, 3*d = 4*p - 3. Suppose 5 = -z - p*z. Let w be 1/(-2)*(-5 + z). Solve 0 = 3*c - 8*c - w for c.
-1
Suppose -4*n - 8 = 5*p + 5, -5*p = 5*n + 15. Let b be (p + 