 l.
5
Suppose -3*n = -6, -2*p + 8*n = 4*n + 24. Let m be (0 + (2 - 4))*p. Solve 3*a + a = m for a.
4
Let s be ((-2)/(-6))/((-6)/(-198)). Let x = s + -7. Solve -5*h + x*h = -1 for h.
1
Let z(n) = n**3 + 14*n**2 + 14*n + 15. Let b be (-12)/(1/1) + -1. Let w be z(b). Solve -2*d = -4*d + w for d.
1
Let z(f) be the third derivative of 0 + 2/15*f**5 - 1/120*f**6 + 3*f**2 - 1/2*f**3 + 0*f + 5/12*f**4. Let s be z(9). Solve 0 = -5*l + s*l + 4 for l.
-4
Let i(w) = -20*w**3 - w**2 + w + 1. Let n be i(-1). Let r be -2 + -3 + 14/2. Suppose 3*m - n = 2*m - r*p, m - 3*p = -6. Solve -4*k + m = 1 for k.
2
Suppose -3*v = 2*v + 20. Let h(x) = -x**2 + 1. Let o(r) = 3*r**2 + 5*r + 1. Let m(t) = -2*h(t) - o(t). Let l be m(v). Solve 4*c - 3 = l for c.
1
Let r(w) = -5*w**3 - 6*w**2 - 3. Let a(u) = -9*u**3 - 12*u**2 - 6. Let q(l) = -6*a(l) + 11*r(l). Let b be q(6). Let v = 1 + b. Solve 0 = -6*i + v*i - 4 for i.
-2
Let x be (-2)/(-4) + (-3)/(-2). Suppose 2*r - 6*r = -4. Solve r = -w + x for w.
1
Suppose 5*s - 85 = -0*s. Suppose 5*o - 3 = s. Solve -o = 5*k + 6 for k.
-2
Let x = 21 + -13. Let b = x - 8. Solve -d + 2 = -b for d.
2
Suppose -1 = -4*q + 79. Solve 4*r + r = -q for r.
-4
Let b be 6/(-4)*(-4 - -2). Suppose r + q = 2, 0*q = 3*r - 2*q - 16. Solve -l - r = -b for l.
-1
Suppose -j - 5 = -2*v, 3*v + 14 = 2*j + 5*v. Solve l + 8 = -j*l for l.
-2
Suppose -3*d = 5*x - 22, -d + 5*x + 0*x = 6. Solve -4*n - d = -0*n for n.
-1
Suppose 1 = 3*m - s + 3, m - 6 = -3*s. Suppose m = -0*v - 3*v. Solve v = -5*n + n - 8 for n.
-2
Let w = 2 - -1. Let z(c) = c**3 + 4*c**2 + 2*c + 3. Let t be z(-3). Solve 3*h - t*h = -w for h.
1
Let n = -6 - -6. Solve -u + 0*u + 2 = n for u.
2
Suppose 5*m + 2*i = 33, 2*m + i - 14 = -0*m. Let r = 7 - m. Solve -r*c = c for c.
0
Let g be (-3 + 1)/(2/(-51)). Suppose 5*l = 2*l + g. Suppose -11 = 3*z + 4*p, -p + 3 - l = -3*z. Solve -z*r = -r + 10 for r.
-5
Let c(b) = b**3 - 24*b**2 + 23*b + 6. Let l be c(23). Solve 0*w = -3*w + l for w.
2
Suppose -6*p + 2*p + 4 = 0. Solve r = p + 2 for r.
3
Let c(r) = 8*r. Let t be c(-1). Let s = -7 - t. Let v = s + 1. Solve -a + v*a - 4 = 0 for a.
4
Let i(y) = -y**2 + 11*y + 3. Let f be i(11). Solve -4 = f*b - 2*b for b.
-4
Let d = -20 - -20. Solve 0 = -d*x + 3*x + 15 for x.
-5
Suppose -2*m - 18 = -0*c - 2*c, 3*c - 2*m = 27. Solve 0 = -3*f - c for f.
-3
Let n be (-3)/(-6)*2 + 2. Let x(l) = -20*l**3 - 5*l**2 + 2*l - 1. Let s be x(n). Let k be s/(-70) - 4/14. Solve 0 = 6*b - 2*b + k for b.
-2
Let h be 3/5 - 132/(-30). Let n be (-3 - -3)/((-1)/1). Suppose -12 = -n*y - y. Solve -h*q - y = 8 for q.
-4
Let q = -5 + 8. Suppose 5*r + 0*r = x + 8, -3*x = q*r - 48. Solve 0*p - x = -3*p for p.
4
Let h be ((-3)/12)/((-4)/16). Let f = -6 + 8. Solve -f*w + w = -h for w.
1
Let y(n) = n**3 - 2*n**2 - n - 2. Let d be ((-18)/30)/((-2)/10). Let i be y(d). Suppose 12 = 5*x - i*v, 3*x - 3*v - 8 + 2 = 0. Solve x*z = -z for z.
0
Let l = 135 - 70. Suppose 3*u - l = -2*u. Let g = u + -7. Solve s + g = 4*s for s.
2
Let l = 1 + 3. Solve 5*q = l*q for q.
0
Let x(d) = -14*d - 35. Let j(n) = 5*n + 12. Let l(o) = -17*j(o) - 6*x(o). Let t be l(-3). Solve -3*w - t = -0*w for w.
-3
Let q = -20 - -30. Suppose q + 6 = 4*u. Solve 0 = u*d - 0 + 12 for d.
-3
Let a(l) be the first derivative of l**3/3 - 5*l**2/2 - 4*l - 2. Suppose 0 = -5*x + 3*b + 18, 3*b + 6 = -x + 24. Let w be a(x). Solve -w*r - 2*r = -4 for r.
1
Let u = 17 - 16. Solve l + u = 3 for l.
2
Let o be 9 + 3 + -6 + (-1)/(-1). Solve v - o = -5 for v.
2
Suppose 4*g = 1 - 5. Let d = g - -4. Suppose d*s - 24 = -0. Solve -3*p - 15 = -s*p for p.
3
Suppose 2*b - 4*b = 10. Let g be 4/10 + (-8)/b. Suppose 5*m - 42 = -3*n, 0 = -g*n - 4*m - 0 + 30. Solve 3*q + n + 0 = 0 for q.
-3
Let v be (2/(-4))/(1/12). Let u be v*(-3 + 5/2). Solve o - 8 = -u*o for o.
2
Suppose -5 - 1 = -c. Suppose -8 + 48 = 2*o. Suppose 5*u = o, -3*w + 13 = -u - 7. Solve c*v - 2*v + w = 0 for v.
-2
Let f(c) = c**3 - 2*c**2 + 2*c. Let h(g) = -4*g**3 + 5*g**2 - 5*g. Let l(a) = 7*f(a) + 2*h(a). Let y be l(-5). Solve -y*z = -6 - 9 for z.
3
Let b(m) = -13*m - 24. Let q(k) = 3*k + 6. Let v(s) = -2*b(s) - 9*q(s). Let z be v(-6). Solve n + z = -5 for n.
-5
Let y be (-1)/2*0/2. Suppose 5*u = b + 110, -25 = 5*b - y*b. Suppose 3*n = -3 + u. Solve n*i - 10 = i for i.
2
Let q be (-24)/18*27/(-2). Let y be -3 - (-11)/(33/q). Solve -y*a = -a - 10 for a.
5
Let a(z) = z**2 - 5*z + 3. Let m be a(5). Let p be m/4 - (-15)/12. Suppose -5 + 17 = p*u. Solve -3 + u = v for v.
3
Let i(u) = -15*u + 1. Let a be i(1). Let z be 6/a - (-48)/14. Solve 0 = -2*q - z*q - 15 for q.
-3
Let q(y) = -1 - 3*y**2 + 5*y**2 - 2*y + 2*y**2. Let i be q(-1). Suppose -z - i*w + 23 = 0, -w - 7 = -5*z + w. Solve -k + 0 = -z for k.
3
Let x be ((-18)/(-12))/(2/8). Let w be ((-10)/(-3) + -3)*x. Solve -w*z + 7*z = 0 for z.
0
Let k be 1*(-2 + 3/1). Let i = 5 + -5. Suppose k = -i*s + s. Solve d = s - 3 for d.
-2
Suppose 2*z - 6 = 4. Suppose 3*g + 4*m - 8 = 7*g, 5*g + z*m - 40 = 0. Solve 4*v = g*v + 4 for v.
4
Let o(i) = i - 3. Let r(b) = -b**3 - 5*b**2 + 4*b - 3. Let y be r(-6). Suppose -5*z - 3*f + y = 0, -2*f + 11 = 5*z - 0. Let h be o(z). Solve h = j + 2*j for j.
0
Let r = 14 - 9. Solve -j = -r*j + 12 for j.
3
Suppose 3 = -2*d + 9. Solve -s - d = -5 for s.
2
Let r = -29 - -42. Suppose -2*f - k - 2 = -r, 2*f - 23 = -5*k. Solve -4*n = 8 + f for n.
-3
Suppose -2*s = 2*r - 6, 2*s = r + 1 - 7. Let q = 4 - s. Solve 0 = -2*a - 3 + q for a.
1
Suppose 2*b - 17 = -3*c, -4*b = 2*c - 0*c - 6. Let k be (-4)/10 - (-10)/25. Solve -2*t + c*t + 25 = k for t.
-5
Suppose 0 = 2*q - q. Let u be q/(2/2) - 0. Suppose 0 = m - u*m - 15. Solve 5*c = -0 - m for c.
-3
Let m(g) = g - 11. Let d be m(6). Let s = 9 + d. Solve 3*r = s*r + 4 for r.
-4
Suppose 4*t - 5 = 43. Suppose -3*u - 1 = -4*z, -3*z = -3*u + 4 - 1. Solve u*m = 2*m + t for m.
4
Suppose l = 5*l - 8. Suppose -l*d = 5*w - 15, -3*d - 9 = -3*w - 0*d. Let h(a) = -a**3 + 3*a**2 + a - 3. Let o be h(w). Solve o = s - 3*s for s.
0
Let o = -11 - -14. Let t = -11 + 15. Solve 0 = -o*u - t - 8 for u.
-4
Suppose -4 = -0*k - 2*k. Suppose 7*c + 4 - 11 = 0. Solve k*o = 3 + c for o.
2
Let y = 9 + -5. Suppose -y*g + 1 = -11. Let c be ((-2)/g)/(4/(-18)). Solve -c*h + 5*h - 10 = 0 for h.
5
Let l be ((-24)/(-14))/(9 - 1230/140). Let s be 4/(-6) - (-2)/3. Solve -3*h + 2 - l = s for h.
-2
Let x be ((-34)/(-10) - (-4)/(-10)) + -1. Solve -3*l + x*l - 5 = 0 for l.
-5
Suppose 2*l + 27 = -5*p, -4*p - 18 = -5*l + 30. Let g = p - -10. Let x = 3 - g. Solve x*i - i = 0 for i.
0
Let y be 16/56 - 220/(-14). Let a be y/(-56) + 60/14. Solve 0 = -a*q + 11 + 9 for q.
5
Let w(a) = a - 1. Let o(p) = -6*p + 16. Let f(l) = o(l) + 8*w(l). Let i be f(-4). Solve -2*s - 8 = -i for s.
-4
Suppose -5*p = 5*v, p + 2 = -3. Suppose j + 10 = -v*b, b + b = -4*j - 4. Solve -2*h + j*h = -2 for h.
1
Let m be 70/8 - 4/(-16). Let h = m + -9. Solve h = 3*k + 2*k - 10 for k.
2
Let l = 1 + 2. Suppose g + l*g = 0. Let m be 0*(g + 1/2). Solve m = -2*z + 10 for z.
5
Let r(w) = w + 3. Let o be r(-5). Let q be (-3)/(0 - (-1 - o)). Solve -2*y + q = 1 for y.
1
Let v(j) = j**2 - 5*j + 2. Let c be v(5). Suppose -6 - 10 = -4*s. Suppose -u - 4 = -3*u. Solve c*g - u = -s for g.
-1
Suppose 3*g - 1 - 8 = 0. Solve g*o - 2 = 5*o for o.
-1
Let l(y) = y**3 - 9*y**2 + 10*y - 7. Let z be l(8). Suppose z = -0*c + 3*c. Let p be (-10)/(-3) - (-2)/3. Solve c*t - p = 2 for t.
2
Suppose 5*g - 12 = g. Suppose -15 = 2*a - 7*a. Suppose 2*s - 12 = -g*b - a, 3*s = 0. Solve y = b*y - 8 for y.
4
Suppose 2*t = -2*t - 2*o - 12, -4*t = -4*o. Let l = t - -10. Suppose 0 = -4*v + l - 0. Solve x - 1 + v = 0 for x.
-1
Suppose 13 = -3*z - 2. Let f be ((-3)/(-1))/1 - z. Solve 6*q - 8*q = f for q.
-4
Let t(w) = 2*w - 7. Suppose 74 = 5*q - 21. Let b = q - 13. Let u be t(b). Solve -1 - 9 = -u*f for f.
2
Suppose -2*w = -5*w - 6. Let z be (0 - (-8)/w) + 7. Solve -2*y - z*y = 20 for y.
-4
Let h = 18 - 9. Let n = -129 - -133. Suppose -c = -n*c + h. Solve c*d - 2*d + 1 = 0 for d.
-1
Let l(c) = c - 6. Let n be l(15). Solve n*f = 4*f - 10 for f.
-2
Let m(p) = -p**2 + 4*p + 4. Let n be m(4). Let h = n - 0. Let o(q) = -2*q - 1. Let k be o(-2). Solve -h - 2 = k*d for d.
-2
Let h = 43 - 55. Suppose 2*y - 16 = 6*y, 5*f = -4*y + 19. Let m be (-21)/6*h/f. Solve -2*d = -4*d 