 = -4*l + 2*l + w for l.
2
Let t(f) = f**3 + 18*f**2 - f - 16. Let o be t(-18). Solve o*p + 1 = 5 for p.
2
Let j be (-100)/(-8) - (-4)/8. Let n = 14 - j. Solve -3*h - n = -7 for h.
2
Let o = 17 + -15. Solve o = 5*a - 3 for a.
1
Let l = -45 - -50. Solve 7 = -l*x - 3 for x.
-2
Suppose 0 = -w + 2*d + 20, -2*w + 46 - 3 = -3*d. Let b = w + -16. Solve 3*a - a - b = 0 for a.
5
Let j = -18 - -16. Let u be (j + 2)*(-2)/4. Solve -3*t = -u*t - 6 for t.
2
Suppose 4*h - 80 = -80. Solve h = 2*d + 10 for d.
-5
Suppose -7*x = 4*z - 3*x - 44, 5*x + 15 = 5*z. Suppose h + 2*u - 3*u = 2, 0 = -h - 5*u + 8. Solve -4*q + z = h for q.
1
Suppose -2*y - 1 = 21. Let v = y + 18. Solve 9*i - v*i = 0 for i.
0
Suppose -16*z + 13*z + 15 = 0. Solve 2 = z*a - 3 for a.
1
Suppose -5*m + 1 = 5*o - 19, -m = -3*o. Suppose 2*p - 2*r - 2*r = 32, m*p = 5*r + 43. Solve -2*l - p = -0 for l.
-3
Let a(v) = -v**2 + 7*v - 1. Let j be a(6). Suppose 4*p = j*l - 0*p - 76, 3*l = 4*p + 44. Let h be 4 - (-2 - 4/(-4)). Solve y - h*y - l = 0 for y.
-4
Let c = 5 - 5. Suppose 3*a - 2*w - 22 = c, a - 3*w - 14 = 5. Solve -2 = -a*v - 14 for v.
-3
Let m(u) = u**3 + 5*u**2 + 3*u - 2. Let d be m(-4). Let v be ((-1)/d)/((-1)/12). Suppose -4*r + 18 = -2*h, -4*h - v = -4*r + 2*r. Solve 5 - h = -c for c.
-4
Let v = -2 + 4. Let x = v + -7. Let k be (-22)/x - 4/10. Solve k*w = w - 15 for w.
-5
Let s = 8 + -5. Solve s*x = 2*x for x.
0
Suppose -14 = -4*o - 6. Suppose -5*l = o - 32. Solve -g = 2 - l for g.
4
Let g = -14 + 22. Let l = 4 - g. Let a = l + 4. Solve a*b - 8 = -4*b for b.
2
Let a = -3 - -3. Suppose 0 = -5*l + 4*n + 19, 3*l + a*l = -2*n + 7. Solve 0 = -l*y + 1 - 7 for y.
-2
Let h be 10/2*(-2 + 3). Suppose -4*l + 27 - h = 3*d, -2*d + 4*l - 12 = 0. Suppose 2*b = 5*c - 23, -5*b + 4*c = -d*b + 17. Solve b = -n + 3 for n.
2
Let j(r) = -3*r**2 + 42*r - 39. Let g be j(13). Suppose 0 = -2*b + b - 5. Let c = b + 7. Solve c = w - g for w.
2
Let l be 4/10 + (-46)/(-10). Let s = l - 5. Let c be (-1 - 3/(-2))*s. Solve c - 3 = -t for t.
3
Let y be (3 - 3)*(-3)/(-6). Suppose -5*d = -10 - y. Solve -3*z + 1 = -d for z.
1
Let s be -1 - (-2)/((-2)/(-15)). Let y be s*((-1)/1 + 2). Let p be (-4)/14 + 284/y. Solve 0 = b + 4*b + p for b.
-4
Let u(k) = 2*k**2 - 2*k + 2. Let a be u(2). Let x(b) = b**2 - 5*b - 4. Let c be x(a). Solve -4*d = -c*d + 2 for d.
-1
Let r(c) = -9*c**2 + 19*c - 7. Let w(u) = -3*u**2 + 7 - 10*u - 3 + 8*u**2. Let j(d) = 4*r(d) + 7*w(d). Let y be j(5). Solve 2*n = 3 + y for n.
4
Let k = 3 - -1. Suppose -1 + k = j. Suppose -f - 2*q = j, -2*q - 18 = -2*f + 2*q. Solve -f = a - 0 for a.
-3
Let k(m) be the second derivative of m**2 + 0 + 2/3*m**3 + 1/6*m**4 + 3*m. Let c be k(-2). Solve 22 = -5*s + c for s.
-4
Let o(y) = -6*y + 3*y + 5 + 4*y. Let p(f) = 2*f**3 - f**2 - f - 1. Let q be p(-1). Let m be o(q). Solve 0 = m*c + 2*c for c.
0
Let z be (-1 + (-1 - -3))*1. Let x(s) = 2*s**2. Let u be x(z). Let n be (1 + -2)/(u/(-10)). Solve -5*l = n - 0 for l.
-1
Let d(a) = -a**2 - 10*a - 8. Let r be d(-8). Let c = r + -4. Let q(h) = -h + 4. Let z be q(c). Solve -p + 3*p - 4 = z for p.
2
Let x(f) = 2*f - 2. Let o be x(4). Let m(v) = -v**3 + 5*v**2 + 6*v - 2. Let n be m(o). Let l be (n - -2)*2/(-2). Solve i + 2*i - 12 = l for i.
4
Suppose 0 = z + z. Suppose 0 = -z*o - o. Let j = 0 + o. Solve j*i + 16 = 4*i for i.
4
Suppose 3*b - 11 = 13. Solve 5*j - b = -18 for j.
-2
Suppose 2*z + k = 9, 0 = 5*z + 3*k - 8 - 17. Suppose 2*n = 4*v - 22, -3*v + 4*n = -8*v + 47. Suppose -15 = 2*i - v*i. Solve -z*q = i + 1 for q.
-2
Let h be -3 + (-4 + 8 - -7). Let v(f) be the first derivative of f**4/4 - 7*f**3/3 - 9*f**2/2 + 11*f + 1. Let b be v(h). Solve -2*g + b = -3*g for g.
-3
Let x(i) = i**3 - 12*i**2 - i + 14. Let u be x(12). Solve 2*c + u = 4 for c.
1
Let o(g) = g + 5. Let t be o(0). Solve t = -b + 4 for b.
-1
Let h(k) be the first derivative of k**2/2 - 7*k + 1. Let o be h(7). Solve -3*s + 7*s = o for s.
0
Let j be 12/(-18)*63/(-6). Solve 15 = -j*t + 4*t for t.
-5
Suppose 5*x - 78 - 22 = 0. Solve x = 6*m - m for m.
4
Let g(f) = f**3 + 3*f**2 + f - 2. Let o be g(-2). Solve o = 4*j - 9*j - 20 for j.
-4
Let i(u) = u**2 + u - 1. Let b be i(3). Solve 5*p = -1 + b for p.
2
Suppose -5*x = -22 - 33. Let y be (-64)/(-3) + 2/3. Let v be 4*(-2 - y/(-8)). Solve 0 = -v*q + x - 2 for q.
3
Let t(y) = 2*y**2 + 16*y + 12. Let o(l) = 6*l + 2. Let w be o(-2). Let h be t(w). Suppose u + 37 = 3*s + 2*s, 4*u - h = -5*s. Solve 8*x - 4*x = s for x.
2
Let r = -3 - -20. Solve 3*a + 2 = r for a.
5
Let h be 6 + 0 + -2 + 0. Let n be (h/(-12))/(2/(-30)). Suppose n*q - 4*q = 0. Solve 2*g + 0*g = q for g.
0
Suppose -5*q = -0*q - 10. Let h(a) = a**3 - 2*a**2 + 2*a - 2. Let s be h(2). Let r be (2/s)/((-2)/(-14)). Solve r*n = q*n for n.
0
Let a = -70 + 77. Solve -5*n + a = -3 for n.
2
Let z(i) = -i**2 - 10*i + 4. Let a be z(-8). Let q be a/110 - (-128)/22. Solve d - 1 + q = 0 for d.
-5
Let h(c) = -c**3 - 7*c**2 + c + 10. Let q be h(-7). Suppose 24 = 3*g - 3*a, -q*g - 8 = 4*a + 3. Solve -g*t + t + 6 = 0 for t.
3
Suppose -z = 4*j - 16, -4*j - z - 2*z = -24. Let o be -2 - (j - (0 - -8)). Solve d - 4 + o = 0 for d.
1
Let i be (2/4 - 1)*-30. Solve 0*u - i = -5*u for u.
3
Let y = 93 - 63. Let h be (5/2)/(3/y). Solve -n = 4*n + h for n.
-5
Suppose 0 = -d + 6*d - 20. Let t = 1 + 1. Solve d*l = -t - 18 for l.
-5
Suppose 0 = -0*m - 2*m. Suppose m = -r + 4*r - 3. Let v = 10 - 7. Solve -r = -v*o + 14 for o.
5
Let t(m) = -m**2 + 7*m - 4. Suppose 4*w - 2*w - 12 = 0. Let d be t(w). Let i(z) = -z**2 + 2*z + 1. Let l be i(d). Solve j - l = 2 for j.
3
Let b be (-648)/(-63) - (24/(-21))/(-4). Solve -b = -5*g + 5 for g.
3
Let v(m) = m**2 - 14 + 14 - 6*m. Let t be v(6). Solve t = -7*k + 3*k + 12 for k.
3
Let g = 3 + -1. Let d = -2 - -6. Let p be (-2)/d + 17/2. Solve 2*w - p = -g for w.
3
Let w(l) be the third derivative of l**4/24 + l**3/2 + 2*l**2. Let h(r) = r**3 - 8*r**2 - 8*r - 5. Let m be h(9). Let s be w(m). Solve -5*c = -s - 13 for c.
4
Let s(z) = -z**3 - 4*z**2 - 3*z + 3. Let c be s(-3). Let g be 4 - ((-2)/(-1) - 3). Solve c*o = g*o for o.
0
Suppose 0 = -2*f + 2*p + 22, -4*f + 2*p + 42 = 4. Suppose 5*b + 2 + f = 5*y, 5*y + 6 = -3*b. Solve -3*c + y*c + 6 = 0 for c.
2
Let w be 1/(-1) - 1/(-1). Suppose 8 = p + c, -3*p - 4*c + 15 + 13 = w. Solve -p*f = -f for f.
0
Suppose -16*c = -21*c + 15. Solve -c*p - 2 = -4*p for p.
2
Let d be -1*3/3*-3 + 2. Solve -4 = -d*x + x for x.
1
Let i(v) = v**3 + 6*v**2 - 8*v - 7. Let d be i(-7). Let q = 2 - d. Solve -3*h + 4*h + q = 0 for h.
-2
Suppose -5*m = -10*m. Solve -2*x + m*x = 6 for x.
-3
Let v = -15 + 22. Let p(w) = w + 10. Let x be p(-7). Solve -x*g = -v*g + 20 for g.
5
Let p be (-231)/(-9) + (-8)/12. Solve -2*a = 3*a + p for a.
-5
Let d(b) = -4*b - 50. Let w be d(-13). Solve 0*n - w = n for n.
-2
Let u be (9/15)/((-3)/(-15)). Solve -16 = -u*y + 7*y for y.
-4
Let v be (-163)/(-11) - (-8)/44. Suppose 4*t - 13 = v. Solve -5*c = t + 18 for c.
-5
Let q = -5 - -13. Suppose -u = u + 2*t, 3*u = 2*t. Suppose -2*a - 4*f + q = u, -3*a + f - 2 = -0*f. Solve a = 4*z - 9*z - 15 for z.
-3
Let h = 5 + -1. Suppose -h*w = -w - 15. Let f = 0 + 21. Solve -f = 4*b - w for b.
-4
Let n(h) = -2*h + 2. Let b be n(0). Solve -6 = b*t - 4 for t.
-1
Let q = 0 - -2. Suppose -3*b = -5 + q. Suppose -r = -3*r - 4*v + 8, -4*r - 4*v = -20. Solve r = d + b for d.
5
Suppose 2*i - 2 = 12. Solve 8 = -11*w + i*w for w.
-2
Let d be 2/(-1) + 3 + 1. Suppose -2*u + 27 = d*u + g, 33 = 5*u + g. Suppose 10 = u*m - m. Solve o + 6 = m for o.
-4
Let q be 7/14 - (-29)/2. Suppose -4*b + 25 = -5*w, -5*b + b = 3*w + q. Solve 3*r + b*r = 12 for r.
4
Let j(x) = x**3 + 2*x**2 - 2*x - 2. Let d be j(2). Solve 0 = -3*c + c + d for c.
5
Let t be -1*(-4 + 1) - 1. Suppose 3*h = 3, -2*r + 1 - t = -h. Solve r*k = -k for k.
0
Let c be (10 + -8)*1*3. Solve -c*s + 15 = -s for s.
3
Let p = -83 + 92. Solve 0 = -3*j - 0*j - p for j.
-3
Let s(w) = -w**2 + 6*w + 5. Suppose -q - 2*q = -18. Let x be s(q). Solve -13 = -2*y - x for y.
4
Let c be 3 - (5/5 - 19). Let f = 0 + 0. Suppose -2*g = -f*n - 5*n + 25, -2*g = 2*n - 10. Solve g = 4*p - c + 9 for p.
3
Let m(q) = q**2 + 2 - 2 + 5. Let y be 3 - (2 + -5)*-1. Let a be m(y). Solve -18 = -a*d + 2 for d.
4
Let m = -43 + 46. Solve 0 = -3*f + m + 9 for f.
4
Let c be (12/9)/