 - 4*d - 16 = 0. Let y be 5*(z + 1/(-1)). Solve y*l + 0*l + 15 = 0 for l.
-3
Let k be -2*(-2)/4 + 7. Suppose -4*o = 2*i - 4, -4*o + o - k = -4*i. Suppose o = -s + 3*s - 14. Solve s = 5*c + 2 for c.
1
Let t be (-1)/2 + 56/(-16). Let n be (-3 - t)*(-1 + 1). Solve y + 3 - 2 = n for y.
-1
Let b(m) = -m**2 - m + 1. Let d = 2 + -4. Let n be b(d). Let y be 0 - (n*4 + 1). Solve y*p = 2*p for p.
0
Let t be (-20)/(-4) - (-2)/2. Let i = t + -4. Suppose 45 = 2*y + 5*h, 3*h = 3*y - 59 + 2. Solve -7*l + y = -i*l for l.
4
Let f be (-3)/(-4)*(-3 - -7). Suppose -4 = -w - f*w. Solve -2*r + 7 = -w for r.
4
Suppose 2*m - 4*m - n + 71 = 0, -76 = -2*m + 4*n. Let w be (0 + 10)/((-2)/2). Let l be 2 + (-5)/(w/m). Solve 7*o + l = 3*o for o.
-5
Let r = 30 - 19. Solve 5*t - r = -36 for t.
-5
Let i = 68 + -66. Solve i = 3*g - 2*g for g.
2
Let j = 5 + -3. Let z be (-6)/(-2 + 4) - -3. Let a = j + z. Solve -a*y = 3*y + 25 for y.
-5
Let c be (-1)/((2 - 0)/(-8)). Solve c*y - 10 = 2 for y.
3
Suppose 3*v - 5*v = -2. Suppose 0 = 4*f - 9 + v. Solve 3*m - f*m = 0 for m.
0
Suppose 0*g = -3*g. Solve g*i - 5 = i for i.
-5
Let b be (-1)/(-3)*126/3. Solve 3*f - 2 = -b for f.
-4
Suppose -19 + 3 = -4*x. Suppose -4*w + 6 = 3*c, c - 5*c = -4*w + 20. Let z = x - w. Solve 5 = 3*r - z for r.
2
Suppose 0 = c - 4*c - 0*c. Solve c*s - 5*s - 10 = 0 for s.
-2
Suppose -2 = -3*z + 4. Suppose 0*r - z*r + 12 = 0. Solve 2*m + r = -m for m.
-2
Suppose 10*d = 3*d. Solve -25 = -5*g - d*g for g.
5
Let f be 27/5 - (-24)/40. Solve 4 + f = 5*b for b.
2
Let d = -4 + -14. Let u = -9 - d. Solve 2*j + j = u for j.
3
Let f = -2 - -5. Suppose 6 = 4*j - g, g - f = -j + 2*g. Solve 0*a = a + j for a.
-1
Let q(s) = s**2 + 12*s - 13. Let k be q(-13). Solve k = -4*o - 0*o - 16 for o.
-4
Suppose 3*i = 4*i. Suppose -3 + 9 = 2*f. Solve f*c - 12 = -i*c for c.
4
Suppose 4*n - 42 = -38. Solve -2*u - 3 = -n for u.
-1
Let m be 0/((5 + -3)*-1). Suppose -3*x + 2*z + 5 = 3*z, 2*x - 3*z - 7 = m. Suppose 4*c = 0, 3*r = -c - 0 + 15. Solve 0 = x*d - r*d for d.
0
Let l = -163 - -166. Solve 0 = l*z + z for z.
0
Let a = -3 + 3. Suppose q = -a*q - 8. Let y be ((-6)/q)/((-5)/(-20)). Solve 4*i + y = i for i.
-1
Let q be 2 - 2/1 - -2. Suppose -3*d + 5*j = 4, d + q*j - 3 = 3. Let n(w) = -w**3 - 5*w**2 + 6*w. Let s be n(-6). Solve 2*h - d = -s for h.
1
Let g be (5/4)/((-6)/(-24)). Let q = g - 5. Solve 12 = 3*m - q*m for m.
4
Let h(y) = y**3 + 2*y**2 - 3*y + 3. Let l be h(-3). Suppose -l*a - 2*u = -u - 24, 5*a - 40 = -2*u. Solve 0 = q + q - a for q.
4
Let z(o) = -o - 7. Let f be z(-8). Let c = 75 - 71. Solve -3*q - c + f = 0 for q.
-1
Suppose 4*i = -i + 5. Let r = 16 - i. Suppose 4*c = 4*a - 4, 0 = 5*c + 3*a + 2*a - 25. Solve l + c*l - r = 0 for l.
5
Let o = -41 - -43. Solve 0 = -o*g + 3 + 3 for g.
3
Suppose -2*l + 3*l = 0. Let t be (-1 - 0)/((-1)/2). Let w = l + t. Solve w*s + 2 = s for s.
-2
Suppose 0 = 4*h - 0*h - 16. Suppose 2 = -3*l - 2*m, 0 = -3*l - h*m - m - 14. Solve -t = l*t - 12 for t.
4
Let d = -32 - -34. Solve 8 = 5*y - d for y.
2
Let u(l) be the first derivative of l**2/2 + 3*l + 2. Let v be u(0). Let k(t) = 2*t**2 - 2. Let s be k(v). Solve 7*y - 3*y = s for y.
4
Let h(y) = 2*y + 1. Let a be h(-3). Let g(c) = -c - 3*c - c - c**2 - c - 3. Let m be g(a). Solve 2*v + m = 3*v for v.
2
Let s(f) = -5*f**2 - 5*f + 10. Let h(t) = -t**2 + 1. Let l(i) = 4*h(i) - s(i). Let g be l(-5). Let a be 2*(-1)/4*g. Solve 0 = -a*j + 2*j - 3 for j.
-3
Let f(t) = t**2 - t - 3. Let h be f(0). Suppose -u - 2*m = -12, 2*m + 2*m = -u + 18. Let y = h + u. Solve -14 = y*k - 5 for k.
-3
Let j = -38 - -42. Solve j*y - 13 = 7 for y.
5
Let v = -8 - -11. Solve -k + v = -0 for k.
3
Suppose 0 = 3*k + 10 + 8. Let h = k + 9. Let g = h - 3. Solve 2*m - 6*m + 16 = g for m.
4
Suppose -2*n + 2 = d + d, 5*d = -3*n + 5. Solve n = -l + 3*l + 4 for l.
-2
Let x(t) = 2*t**2 - 2*t - 1. Let v be x(-1). Let o(g) = 5*g**2 - g + 4 + 2*g - g**3 + 0*g**v. Let c be o(5). Solve 0*k - c = -3*k for k.
3
Suppose 5*v - 17 = -d, 5*v + d - 11 = -2*d. Let a be 0*(-1)/(-2) - 0. Solve 0*l + v*l + 4 = a for l.
-1
Let t = -15 - -15. Suppose 13*u - 10*u - 6 = t. Solve -u*d = -3*d - 4 for d.
-4
Let u(h) = h**2 - h. Let v(i) = 3*i**2 - 15*i + 5. Let g(t) = -5*u(t) + v(t). Let k be g(-5). Solve 0*j - k = 5*j for j.
-1
Suppose 0 = 4*h - 4 + 12. Let c be ((-6)/(-3))/((-1)/h). Solve c - 2 = -r for r.
-2
Suppose 5*b = 50 - 0. Let m(f) = f**3 + 4*f**2 + 2. Let k be m(-4). Solve 2*l - k = -b for l.
-4
Suppose 4 = 2*a + 4*p, -3*a - p + 16 = -10. Solve 0 = 3*f + 5 + a for f.
-5
Let w = -41 + 59. Solve -4*d - w = -2 for d.
-4
Suppose 3*v + 3*r + 12 = 0, 0*v - 2*r - 8 = 4*v. Let y be 1/3 + 2/3. Let w be y + v - (-1)/1. Solve 1 = -w*s - 5 for s.
-3
Let h(f) = f**3 - 2*f**2 + f. Let k be h(1). Let y = 6 + -3. Suppose y*g - 20 = -2*g. Solve k = 5*i - 11 - g for i.
3
Suppose s = -4*s. Solve -m - 2*m + 9 = s for m.
3
Let f(o) = o**2 + 2*o - 9. Let h be f(-5). Solve -6*w + 3*w + h = 0 for w.
2
Let d be 1 + (-27)/(-18) + 7/2. Solve -j - d = -2 for j.
-4
Suppose 6*b - 15 = 3*b. Suppose -b = -0*l - l. Solve 1 = -4*s + l for s.
1
Suppose -o = 2*o. Solve o*h = h + 1 for h.
-1
Suppose 5*u - 3*i - 30 = 0, -u - 2*i + 3*i + 6 = 0. Suppose 5*b - 2*b = u. Solve -b*w + 4*w - 2 = 0 for w.
1
Let d(o) = o**2 + 4*o + 4. Let i be d(-3). Suppose -k + 3 = i. Suppose 4*b - 17 = -v, -3*b + 16 = k*v - b. Solve v*g - g = -8 for g.
-2
Let h = -1 + 3. Suppose -y - 2*y = 3*t, -h*t - 18 = -4*y. Let b be t/(-2 - (-1)/2). Solve -r - b = -5 for r.
3
Let g = 0 + 22. Suppose -23 - g = -5*u. Solve 5*l - u = 2*l for l.
3
Let r(u) = u - 12. Let p be r(12). Let j = -6 - -13. Suppose -j = -a - p*a. Solve -a + 19 = -4*n for n.
-3
Suppose 3*l = -l + 3*p + 26, 3*p = -l + 14. Solve 0*u + l = -2*u for u.
-4
Suppose -3*m + 1 = -2*m. Let u be (-4 + m + 1)*-1. Solve k - 3 = u for k.
5
Let n(q) = q - 7. Let r be n(7). Let a be (8 - 6)*(r - -1). Solve -a*l = -5*l - 6 for l.
-2
Let t be (1/2)/((-3)/(-30)). Suppose -3 - t = -k. Solve f - k = -3*f for f.
2
Suppose 9*y = -9 + 27. Solve -w = y*w for w.
0
Suppose -3*s = -8 - 4. Let n = 9 + s. Suppose -5*j = q - 8 - n, -j + 21 = 3*q. Solve -2*b + 2 = q for b.
-2
Let u be 40/4*6/12. Solve -23 + 3 = -u*r for r.
4
Suppose 0*x + x = 18. Suppose 4*m = m + x. Solve -2*s = s + m for s.
-2
Suppose 0*h + 34 = 2*h. Suppose 3*g + 2*g + 5 = 5*a, -g + h = 5*a. Solve 3*j - g*j = 1 for j.
1
Let g(x) = 2*x + 12. Let m be g(-5). Solve m = -q + 3 for q.
1
Let i be (2 + 1)/((-3)/(-6)). Solve 2*v = i*v for v.
0
Suppose 0 = 5*u - 2*w + 6, -u + 5 - 2 = w. Solve 2*d + u = -2 for d.
-1
Let l = 41 + -25. Suppose -5*f - 4*g + l = 0, -5*f = -2*f + 5*g - 7. Solve f*t + 4 = -0 for t.
-1
Let j = 14 + -7. Suppose -j*s + 3*s + 28 = 0. Solve s = 2*p - 3 for p.
5
Let l = 1 + 9. Solve 3*g = -l + 1 for g.
-3
Let a(l) = l**3 + l**2 + l. Let g be a(2). Let h = -10 + g. Solve -h*j = -0*j - 16 for j.
4
Let k(s) = s**2 + 8*s + 4. Let w be k(-8). Let y = w - 2. Solve g = 3 - y for g.
1
Suppose -5*f + 25 = -0*k + 5*k, -f = 5*k - 5. Let q be 9 + (k - 3) + -1. Solve 5*c - 10 - q = 0 for c.
3
Suppose 0*x - 5 = -x. Let n(u) = -u**3 - 4*u**2 + 0*u**3 - 2 + 0*u**3 - 2*u + 0*u**3. Let c be n(-4). Solve x*t = -c + 16 for t.
2
Let c be 4/10 - (-6)/(-15). Let i = 3 + c. Let g(k) = k**2 - 2*k - 2. Let q be g(i). Solve -3*a = 8 + q for a.
-3
Suppose -5*f - y + 20 = 4*y, f - 10 = 5*y. Solve -1 + 11 = f*d for d.
2
Suppose 4*a - 9 = 7. Solve -a*m + 11 = -9 for m.
5
Suppose 9 + 15 = c. Solve 5*s + 9 = c for s.
3
Let s(t) be the second derivative of 0 + 1/4*t**4 - 1/20*t**5 - t**2 - t - 1/6*t**3. Let r be s(2). Solve r*x - 16 = 4*x for x.
-4
Suppose -10*s - 25 = -11*s. Solve 0 = -a - 4*a + s for a.
5
Let h = -8 + 10. Let r(a) = a**3 - 2*a**2 + 2*a - 1. Let q be r(h). Solve -q*d + 25 - 10 = 0 for d.
5
Let k(g) = -10*g - 101. Let b be k(-11). Solve -b = -4*v - 1 for v.
2
Let b(n) = 4*n**2 - 1. Let v be b(1). Let s(x) = -x**3 - 2*x**2 + x - 2. Let k be s(-3). Solve k*q + 11 = v for q.
-2
Let w be (-1 + 1)*(-7)/(-14). Solve 2 = p - w for p.
2
Suppose 0*u + 2*u + 26 = 3*i, 4*i - 2*u - 38 = 0. Solve -2*f - 2*f = i for f.
-3
Let d = -11 + 15. Let n = 4 - d. Let g = -6 - -8. Solve n = -g*t + 5*t - 15 for t.
5
Let r = 2 - -2. Suppose 8*x + 10 = 3*x. Let i = x + 2. Solve i = r*l + l for 