*n + 6 = -l for n.
4
Let z be 2 + 16/(-4) + 3. Let d be (2/(-4))/(1/(-4)). Solve d*s + z = -1 for s.
-1
Let s = 42 + -15. Let r be 6/s - (-25)/9. Solve r*f - 5 = 1 for f.
2
Suppose 3*x + 6 = 3. Let c be (8 - 3) + x + -1. Solve 2*r = -r + c for r.
1
Let j = 18 + -9. Let g = -1 - -5. Let v = j - g. Solve -o + v*o = 0 for o.
0
Let c(o) = 2*o + 8. Let w be c(-6). Let b(z) = -5*z - z + 5*z + 0*z. Let i be b(w). Solve -12 = -s + i*s for s.
-4
Let u = -7 - -11. Suppose 0 = -5*v - 8 + 18. Solve u*y - 14 = v for y.
4
Suppose 0 = 2*j - 31 + 9. Let t be (-1 + -2)/((-3)/14). Suppose -25 = -2*h - k, -5*k - 43 = -3*h + t. Solve h + j = -5*u for u.
-5
Let p = 8 + -3. Suppose -3*i + h + 5 = 0, -4*i - p*h = -1 + 7. Solve c + 4 + i = 0 for c.
-5
Let c = -11 - -35. Solve 5*k + 1 = -c for k.
-5
Suppose -2 - 1 = 3*l. Let h = 15 - l. Suppose -2*a + h = 2*a. Solve 3*z = a*z for z.
0
Let o(a) = a - 3. Let i be o(5). Let q be (i + 0)/2 + -1. Suppose q = s - 4, -3*b - 4*s + 3*s + 28 = 0. Solve 0 = -4*u - b for u.
-2
Let d(t) = t**3 - 5*t**2 - t - 4. Let b(j) = -j**3 - 9*j**2 - 10*j - 11. Let a be b(-8). Let s be d(a). Let n be 1/((12/s)/(-4)). Solve 0*o = -n*o for o.
0
Suppose -4*u + 26 = 5*d - 4, 0 = -d + u - 3. Suppose -3*l = 4*r - 13, -r + 3*l = -2*r + 10. Solve -d = m - r for m.
-1
Let w(z) = -z - 14. Let s be w(-16). Solve -s*u = -u - 3 for u.
3
Suppose 5*w = -i + 10, 2*w + 3*i + 1 - 5 = 0. Let x = -43 - -88. Let c be -4*(x/12)/(-5). Solve l = c*l - w for l.
1
Let w be 12/(-8)*(-8)/6. Let o be (-4)/w*(-69)/6. Suppose j + o = 4*j + 2*c, -j = 4*c + 9. Solve 0 = -5*q - j + 1 for q.
-2
Let v be ((-6)/14)/(-1)*7. Solve -v*d - 2*d + 10 = 0 for d.
2
Let m be (((-2)/3)/((-4)/138))/1. Solve 8 = -3*s + m for s.
5
Suppose -2*k - 34 = 4*d - 0*k, -3*k + 39 = -3*d. Let i = 12 + d. Suppose 5*c - 1 = 9. Solve -c*b = -i + 4 for b.
-1
Let b = -1 + 0. Suppose -10*f + 16 = -2*f. Let m be 14 - (-1 - b - f). Solve 6*h = 2*h - m for h.
-4
Suppose -2*x - 4*y + 5 + 17 = 0, -4*x = 5*y - 41. Solve o - x = -2*o for o.
3
Let n(s) = s**3 - s**2 + s + 4. Let w be n(0). Let z(g) = g**3 + 7*g**2 + 7*g + 4. Let o be z(-6). Let i = w + o. Solve 2*j + 0*j = -i for j.
-1
Let z = 1 - -4. Let g = z - 9. Let n be -2*6/g + 1. Solve 0 = -0*i - n*i - 20 for i.
-5
Let c(u) = -6*u - 2. Let d be c(-1). Solve -d = 4*v - 8 for v.
1
Let t be 2*-1 + 12 + -1. Suppose -3*a - 6 = -6*a. Suppose -2*v - 3 = d, 4*v = a*d - d + 9. Solve -v + t = 2*u for u.
4
Let i = -3 - -6. Suppose -2*f - 4*w = 12, 2*f = -i*w + 2*w. Solve 5*p - 6 = f*p for p.
2
Let a = 13 + -10. Suppose 4*p = -o - 0*p + 11, 0 = 5*o + a*p - 21. Solve d + 8 = -o*d for d.
-2
Suppose 3*y = f + 5, -3*y - 2*f - f - 15 = 0. Solve y = -5*r + 2*r + 3 for r.
1
Let v(c) = -2*c + 5. Let y be v(4). Let d = y + 5. Solve -f - 5 = -d*f for f.
5
Let c(j) be the first derivative of -j**2/2 + 10*j + 2. Let b be c(6). Solve 0 = -b*f + 16 + 4 for f.
5
Let r(t) = t**2. Suppose -a + d - 6 = 0, a + 10 = 2*a + 3*d. Let g be r(a). Solve 15 = 7*s - g*s for s.
5
Let q be 4/(16/6)*-2. Let j be q*1 + 9 + -2. Solve -h - j*h = 10 for h.
-2
Suppose 3*q = -z + 6, 3*q + 4*z = -0*z + 15. Solve 3*w - q = 11 for w.
4
Let v(k) = -k**3 + k + 3. Let h(c) = -c**2 - 9*c - 8. Let j = -23 - -15. Let d be h(j). Let y be v(d). Solve 0 = -y*i - 3 - 3 for i.
-2
Suppose -2 - 5 = -3*z + 5*s, 0 = z - 3*s - 1. Solve 22 = z*k + 10 for k.
3
Let u = -2 - -7. Solve -5*n - 15 = -u for n.
-2
Suppose 5*q = 2*q + 18. Let z be ((-1)/3)/((-1)/q). Solve 3*g = -4 - z for g.
-2
Let k(s) = -s**3 - 13*s**2 - 12*s + 4. Let w be k(-12). Solve 0 = -p + w*p + 12 for p.
-4
Suppose 0 = -3*s + 11 + 61. Let m be (18/15)/((-3)/(-10)). Suppose m*w - s - 8 = 0. Solve 3*b + b = -w for b.
-2
Let v = -4 + 18. Let c = -8 + v. Solve 0 = 2*f - 2 - c for f.
4
Let z be 4 + (-1 + 1)/2. Solve j + 5 = -z*j for j.
-1
Suppose -12 = -40*z + 36*z. Solve -z*a = -4 - 8 for a.
4
Suppose -5*j - b + 2*b + 33 = 0, -1 = j - 4*b. Solve -j*a + 3*a = -4 for a.
1
Suppose -n = 2*n - 12. Solve 2*z + n = -0*z for z.
-2
Let y(j) = j**3 + 7*j**2 + j - 2. Let n(o) = o**2 - o - 1. Let r(q) = -2*n(q) + y(q). Let i be r(-4). Solve 0 = i*z - 2*z - 2 for z.
1
Let y(f) = -9*f - 25. Let s(v) = -8 + 5*v + 4 + 17. Let n(l) = -7*s(l) - 4*y(l). Let g be n(-7). Solve -g*i = -i for i.
0
Let a = 15 + -15. Solve a*o = 3*o - 12 for o.
4
Let y(x) = -x**2 - 9*x + 10. Let v be y(-10). Solve 2*k + k = v for k.
0
Suppose 3*o + 4 = 5*o. Suppose 2*p + o*m + 0*m = -2, -2*m - 14 = -p. Solve 5*w + p = 19 for w.
3
Suppose 0*c - 12 = -3*c. Solve -c*d = -d - 3 for d.
1
Suppose 20 = 2*q + 5*z, -3*z + 20 = 4*q + 2*z. Solve q = 2*v + 2*v - 4 for v.
1
Let y = 56 - 54. Solve -y*d = 3*d for d.
0
Let u(g) = -g + 5 - 3 - 4 + 3. Let t be u(1). Solve t = 2*p - 3*p for p.
0
Let r = 114 + -60. Let a be (-6)/(-4) - r/(-4). Solve 0*t + a = -3*t for t.
-5
Suppose -2*k = -0*k. Suppose 2*u = -u. Let z = k - u. Solve 2*n - 2 = -z for n.
1
Let x(w) = 2*w + 6. Let t be x(7). Let a be (-12)/t + 18/5. Let k be a/2*8/6. Solve -9 = k*i + i for i.
-3
Suppose 13*x - 17*x + 56 = 0. Solve -x = 5*u + 6 for u.
-4
Suppose 2*d = -3*d - 3*i + 4, -3*d = -i + 6. Let h be 5*27/(-15)*d. Solve -h = 4*y + 3 for y.
-3
Let l(c) be the second derivative of -c**4/12 - 2*c**3/3 + 2*c**2 - 3*c. Let n be l(-4). Solve n*x - 4 = 2*x for x.
2
Suppose -2*q - q = 2*h - 41, 4*q + h = 48. Suppose -13 = -f + 5*c, -3*f + 6 = -4*c - q. Suppose v + f*v = 0. Solve 4*o + 8 + v = 0 for o.
-2
Let j(r) be the third derivative of 0*r**4 - 3*r**2 + 0 + 1/6*r**3 - 1/60*r**5 - 1/120*r**6 + 0*r. Let q be j(-2). Solve q*l = 8*l for l.
0
Let g = 6 - 3. Suppose 9 = -3*t + g*m, 0*m = -m + 1. Let z = t - -5. Solve -2 = z*b - b for b.
-1
Suppose -5*b + 2*b = 0. Let d(h) = h**3 + 3*h**2 + 3*h + 3. Let m be d(-2). Solve f = -b*f - m for f.
-1
Let p(k) be the first derivative of -3*k**2/2 + k + 1. Let n(x) = 2*x + 3. Let b be n(-2). Let f be p(b). Solve f*w - 4 = -16 for w.
-3
Let v be (5/4)/(2/8). Solve 2 = u + v for u.
-3
Let w be -1*(-4)/(12/(-75)). Let s = 33 + w. Solve s + 2 = -5*q for q.
-2
Let i = -2 + -9. Let k = i - -18. Solve -2*a + 15 = -k*a for a.
-3
Let u = 19 + -10. Let m = u + -4. Solve -4*k + m*k + 2 = 0 for k.
-2
Suppose 5*g = -5*v + 40, 0 = 5*v - 3*v - 2*g. Let h = 5 + v. Let o be ((-4)/6)/((-6)/h). Solve m - o = -6 for m.
-5
Suppose 2 + 30 = -m + 3*f, -4*m - 5*f = 145. Let n be (28/m)/(4/(-50)). Solve -a = -3*a - n for a.
-5
Let m(p) be the first derivative of 13/2*p**2 - 1/3*p**3 + 3 - 14*p. Let u be m(10). Solve q = 5*q - u for q.
4
Let a = -16 - -22. Suppose 5*k + a*d + 5 = d, 0 = -4*d - 12. Solve 2 + 4 = k*g for g.
3
Suppose 0 = 7*s - 8 + 1. Solve -s = 2*o + 1 for o.
-1
Let t be (1 - 1)*(-6)/12. Solve 5*n + t + 25 = 0 for n.
-5
Let x(w) = 7*w - 76. Let o be x(11). Suppose 3*v - 12 = 0, -5*r = 4*v - 0*v - 16. Solve r*y = y + o for y.
-1
Let j be 48/28*(-42)/(-4). Let u(d) = -j*d + 4*d + 6*d**2 + d - 5*d**2. Let x be u(13). Solve -2*s + 4*s + 8 = x for s.
-4
Suppose -2*b + 6 = 2. Solve b + 1 = 3*n for n.
1
Let j(y) = -y**2 - 11*y - 13. Let n be j(-9). Let g(t) = t**2 - 5*t + 4. Let o be g(n). Solve -11 = o*z + 1 for z.
-3
Let w(o) = o**3 - 7*o**2 + 7*o - 3. Let x be w(6). Suppose 0 = x*l - 2*l - 2. Suppose -l = -j + 1. Solve 0*n = -j*n for n.
0
Let h(c) = c**2 - 8*c - 8. Let r be h(12). Let o be r/15*3/2. Solve -o*a - 2 = 6 for a.
-2
Let t(r) = r**3 - 8*r**2 - 8*r - 9. Let y(q) = q**3 + 4*q**2 - 7*q - 1. Let a be y(-5). Let k be t(a). Solve 0*g + 4*g + 8 = k for g.
-2
Let y(r) be the third derivative of -r**4/8 - 13*r**3/6 - 4*r**2. Let s be y(-6). Solve s - 14 = 3*z for z.
-3
Suppose 2*p - 2*h - 2*h = -114, -2*p = h + 134. Let l be 2/(-7) + p/(-7). Solve 7*w - 4*w = l for w.
3
Let y be 3/(1 + 0 + 0). Let r = y - 2. Let p(g) = -g**3 + 3*g**2 - g. Let b be p(r). Solve -i + b = -4 for i.
5
Let p(l) = -l**2 - 7*l - 4. Let s be p(-7). Let z be (-5)/s*(3 + 9). Suppose 3*a = 2*a - 3*d - 9, 4*a - 5*d = z. Solve a = f - 4*f for f.
0
Let a be (2 + (-10)/4)*-30. Solve -w = 2*w - a for w.
5
Let x(g) = g**3 - 4*g**2 - 4*g - 3. Let d(w) = w**2 + 5*w - 9. Let r be d(-7). Let a be x(r). Let o = a - -1. Solve 2*q + 5 = -o*q for q.
-1
Let o = -9 - -13. Solve 0 = -d + 3*d + o for d.
-2
Suppose -2*s + 5 + 1 = 0. Let q(y) = -y**2 - y. Let o be q(0). Let l = o