 - 2. Let h(k) = 2*k**2 + 5. Let v(d) = 3*h(d) + 7*x(d). Let r be v(-1). Suppose -2*n = 2*s, r*s = n - s. Solve 2*l - 4 - 6 = n for l.
5
Let f = 43 - 60. Let s = 23 + f. Solve l - 1 = -s for l.
-5
Suppose -4*a + 10 = -2*a. Solve -3 = -a*w + 4*w for w.
3
Let y be (12/(-7))/((-10)/35). Solve -r + y = r for r.
3
Suppose -g - 36 = -5*g. Let l be ((-72)/21)/(2/(-14)). Solve l - g = 3*j for j.
5
Suppose 44 = 3*u - 4*w, -4*u + 3*w - 27 = -81. Solve -2*t = -6*t - u for t.
-3
Let t be 8/(-28) + 23/7. Suppose -v = -5*f + 19, v + 3*v + t*f = 39. Let s be (-2)/4 - (-15)/v. Solve 0 = -3*r - s*r for r.
0
Let v(x) = -x**2 + 10*x + 13. Let z be v(10). Suppose 0 = 5*d + 2*j - z, -j = d + 2*j. Solve 0 = -3*i - 3 - d for i.
-2
Suppose -2*t = 2*l + 2, -3*t - 33 = -2*l + 2*t. Solve k + 2 = l for k.
2
Suppose -a + 11 = -2*x + 3*x, -2*a + 2*x + 2 = 0. Suppose -2*t = 4*v - 6, -4*v + 2*t - 1 = 13. Let n be v*0/(-3 - -6). Solve n*h - a = -3*h for h.
2
Suppose 3*p + 4 = 5*p. Suppose 4*f + 60 = 5*q, 3*f - 2*q + 3*q = -26. Let l = f - -14. Solve p*t = 6 + l for t.
5
Suppose 7*d = 2*d + 160. Suppose -5*i + 3*i = -d. Solve -2*y - 2*y + i = 0 for y.
4
Let a(g) = 11*g - 22. Let i(l) = -5*l + 11. Let f(j) = 6*a(j) + 13*i(j). Let t be f(-8). Suppose -2*n - t*n + 15 = 0. Solve k + n = 6 for k.
3
Let s = -76 - -51. Let l = s - -30. Solve 21 - l = -4*k for k.
-4
Let n = 2 + 0. Suppose -m = -5*p - 3, 17 = 5*m + 3*p + n. Suppose a - 5*d = -20, -m*d = 4*a - 4*d + 4. Solve a = 2*l + 5 + 5 for l.
-5
Suppose 2*c = -0*c + 4*a + 36, 5*c - a - 81 = 0. Solve -5*y + y - c = 0 for y.
-4
Let v(i) = -i - 1. Let d be v(-8). Suppose -c + 7 = 4*w, -3*w = -c - 0*c - d. Solve 2*y = -w*y + 20 for y.
5
Let h(u) = 5*u**2 + 10*u + 4 - 4*u**2 - 5*u. Let v be h(-5). Solve y = -0*y - v for y.
-4
Suppose y + 0*y + 3*v = 4, 0 = 3*y - v - 2. Let k be y/3 - 40/(-24). Suppose 16 - 1 = k*b - 3*w, 3*w + 12 = b. Solve 2*u - b*u = 1 for u.
-1
Let x(j) = -2*j**2 + 5*j - 3. Let s be x(1). Solve i - 4*i - 12 = s for i.
-4
Let s(x) = -3*x - 4. Let f be s(-3). Suppose -3*k + z = -11, 4*k + 24 - 7 = -f*z. Suppose 0 = -3*c + k*y + 73, 4*c - 95 = -y + 6*y. Solve 0*g = -5*g - c for g.
-5
Let v = -38 - -44. Solve -3 + v = 3*g for g.
1
Suppose 2*y = n - 5*n + 74, -4*y = 2*n - 40. Solve 6 = -4*q + n for q.
3
Let g be (-12)/10*15/6. Let o(u) be the first derivative of -u**2 - u - 2. Let z be o(g). Solve z = 4*i - 3 for i.
2
Let j be ((-3)/(-6))/(1/6). Let h = j + -3. Let r(o) = -o. Let k be r(-3). Solve h - 9 = -k*u for u.
3
Let g(y) = -2*y**2 + 15*y - 15. Let r be g(6). Let h = -1 - 0. Let n = 1 - h. Solve -t + n = r for t.
-1
Suppose 0 = 3*a + 3*u - 3, -a = -2*a + u + 3. Let b be 2/12*3*4. Let k be (-1)/2*(-8)/b. Solve -a*l + 12 = k*l for l.
3
Suppose 0 = 5*p - 34 + 4. Let z(h) = h**3 - 6*h**2 + h - 4. Let o be z(6). Suppose 0 = -y - o + p. Solve -18 + 2 = -y*g for g.
4
Suppose 0 = 5*r + 5*k, -2*r - k + 4 = -0*k. Solve -9 = -r*b + 11 for b.
5
Let q be (3 + -20)/(-2 - -1). Let v = -12 + q. Let r = 2 + 0. Solve v = 3*t + r*t for t.
1
Let y be ((-2)/3)/(16/(-48)). Solve -4*a + y*a = -10 for a.
5
Let a = 3 + -2. Let j be -1 + (50 + a)/3. Solve 0*k - j = 4*k for k.
-4
Suppose 0 = -4*f - 3*o - 0 - 6, 3*o = -6. Suppose -2*i - 4*n + 12 = 0, f*n + 2*n = i + 2. Solve i*d = -0*d - 4 for d.
-2
Let p be ((-18)/2)/3 - -3. Solve p*g = -g for g.
0
Suppose -32 = 18*f - 26*f. Solve 0 = f*b + 3 - 23 for b.
5
Suppose -4*h = 8, 5*m + 4*h - 1 = 2*m. Solve j = -0*j + m for j.
3
Let t(y) = y - 1. Let s be t(3). Suppose -3*l - 7*n = -s*n, -2*l = -3*n - 19. Solve -l = -f - 0*f for f.
5
Let v(h) = -h**2 - 4*h - 3. Let o be v(-3). Solve u + o*u = 2 for u.
2
Let w = 1 + -1. Let x(u) = u**3 - 2*u**2 - 3*u + 4. Let h be x(3). Let b = 2 + h. Solve 2*a = -w*a - b for a.
-3
Let h = -4 + -3. Let u(c) = -c**3 - c**2 + c + 1. Let i(k) = 4*k**3 + 11*k**2 + 4*k - 5. Let z(p) = -i(p) - 3*u(p). Let x be z(h). Solve x*y + 6 = -y for y.
-2
Let j be 10 + 4*2/(-2). Solve j = -4*a + 2 for a.
-1
Suppose -17 = -4*g + 3*l, -3*g - l + 5*l + 4 = 0. Let i(d) = -d + 11. Let v be i(g). Suppose -v*k = 2*k - 25. Solve k = -u + 2*u for u.
5
Suppose -4*m - 3 = -3*r, 2*r + 3*m - 29 = -2*r. Solve 6 = r*g - 2*g for g.
2
Let u(a) = -a + 7. Let z be u(7). Suppose -k + z*i - 2*i = -4, 4*k - 16 = -5*i. Suppose -45 = -k*h + 43. Solve -4*m = h - 6 for m.
-4
Suppose 10 = -y + 6*y. Let l be 3 + 2 + y/(-1). Solve -4 = x - l*x for x.
2
Suppose 5*d - 4 = 4*d. Solve 3*b - d*b = 5 for b.
-5
Suppose -5*h + 20 = 2*f, 2*f + f - 15 = -5*h. Suppose 0 = -l - 3, l - 11 + 4 = 5*z. Let i = h + z. Solve i*v - 25 = -v for v.
5
Let v be 3/(6/32)*2. Let m be (v/(-6))/(-4)*-3. Let z = m + 29. Solve -2*n + z = 3*n for n.
5
Suppose -n + 2*n = 1. Solve -3*t - 2 - n = 0 for t.
-1
Let f = 129 - 124. Solve 3 + f = 2*c for c.
4
Suppose u = 2 + 2. Solve 12 = u*k + 8 for k.
1
Let g(v) = -v**3 + v**2 + v - 56. Let m be g(0). Let x be 4/(-14) - 16/m. Suppose x = 2*r - 3*r + 2. Solve 5 = -w + r for w.
-3
Let p(d) be the first derivative of d**4/4 - 4*d**3/3 + d**2 - 3*d - 1. Suppose -i + 8 = i. Let o be p(i). Solve -o*k - 13 - 12 = 0 for k.
-5
Let f be 2/(3 + (-65)/25). Solve 26 = -f*i + 1 for i.
-5
Suppose 0 = -3*y - p + 7, -2*y + 35 = 3*y - 3*p. Let g(d) = 2*d**2 - 3*d - 2. Let m be g(3). Solve -y*n + 6 = -m*n for n.
-2
Let n = 5 - 5. Let q be (1/2)/(-1)*n. Let f(j) = -j**3 + j**2 - j + 3. Let o be f(q). Solve -h = o*h - 20 for h.
5
Suppose -37 = -5*l - 12. Solve -l*p + 4*p + 1 = 0 for p.
1
Let x(u) = -u + 1. Let k be x(-1). Solve 0 - k = 2*p for p.
-1
Suppose 0 = -0*a + 4*a + 2*f - 30, -3*f + 9 = 0. Solve -a*n = -n for n.
0
Suppose 0 = -134*i + 133*i. Solve -2*v - 2*v - 12 = i for v.
-3
Let z(i) = -i + 14. Let n be z(9). Solve 10 = -0*c - n*c for c.
-2
Let d be (-2)/(-11) - 62/(-22). Let r(b) = b + 7. Let n be r(-5). Suppose -n*c + 10 = 3*c. Solve -d*z = c*z for z.
0
Let b(z) = -z + 11. Let l(w) = 3*w**2 + 2*w - 1. Let j be l(-2). Let r(o) = -o + 13. Let g be r(j). Let v be b(g). Solve -v = i - 1 for i.
-4
Let h = 4 + 0. Let q be h*(-1 - 10/(-8)). Suppose 3*l = 3*c - 2 - q, -5*c - 4*l = -32. Solve -u + c*u = 6 for u.
2
Let p be 1/(0 - (-1)/4). Let z = 14 - 18. Let j = z + p. Solve j = 3*s - 3 for s.
1
Suppose 2*c + 3*c - 15 = 0. Solve 7 + 8 = c*f for f.
5
Let i = 0 - -2. Suppose 3 = -5*b + i*b. Let h be 1 - (1 - (3 + b)). Solve k - 3*k = h for k.
-1
Let k = 11 + -9. Let p be 1/((-2)/(-4 + k)). Solve -2*u + 9 + p = 0 for u.
5
Let u = 7 + -27. Let l = u + 40. Suppose -2*o + 7*o = l. Solve 0*g + 16 = o*g for g.
4
Let z = -1 - -1. Suppose 4*o + z*o - 16 = 0. Let n be (-2630)/(-90) - (-2)/(-9). Solve 5*t - n = -o for t.
5
Let s(t) = -2*t**2 + 14*t. Let l be s(7). Let p = 0 + 3. Solve l*j + p*j = 0 for j.
0
Suppose -h = 1 - 5. Suppose -h*l - 2*w + 88 = 12, w - 92 = -5*l. Solve 4*v + l + 2 = 0 for v.
-5
Suppose -5 = t - 9. Solve -d + 2 = t for d.
-2
Let g(p) = -3*p - 12. Let s be g(-5). Solve 3 = s*l - 3 for l.
2
Let l be (-36)/16*(6 + -2). Let j = l - -14. Solve d - j = 6*d for d.
-1
Suppose -16*q + 16 = -32. Solve a = q - 2 for a.
1
Let c(f) = 2*f**2 + 8*f + 4. Let j be c(-4). Solve 3*q = j*q for q.
0
Suppose -y - 1 = -2*y. Let u be (-2)/(-1*(y + 1)). Suppose 7*h - 6 = 22. Solve -5*o + h*o + u = 0 for o.
1
Let o(k) = k**3 - 7*k**2 + 7*k + 4. Let b be o(6). Let y = -3 + b. Let v = 0 + y. Solve -4*x - 5 = v for x.
-3
Let p = 19 - 17. Solve -1 = -p*c + 5 for c.
3
Let i be 6 - (-1 + 1)/2. Let k(d) = -d + 8. Let s be k(i). Solve x + 2 + s = 0 for x.
-4
Let l = -10 + 22. Suppose -3*j + l = j. Suppose 2*c + 4 = 4*k, 4*c - 6*c + 3*k - 2 = 0. Solve -c = -j*q + 1 for q.
1
Suppose 3*t + 4*m - 11 = 0, 4*t + 4*m + 7 = 23. Suppose o - l = 2*o - 2, 3*o - 14 = t*l. Solve -5*w - o = 2 for w.
-1
Let q be (-12)/16 - (-46)/8. Solve -q*s - 2 = -4*s for s.
-2
Let c(y) = 3*y**3 + 8*y**2 - 4*y + 9. Let m(u) = -4*u**3 - 8*u**2 + 5*u - 10. Let z(d) = 5*c(d) + 4*m(d). Let o be z(8). Solve o*h - 2 = -12 for h.
-2
Let o(h) = -3*h - 11. Let z be o(-7). Solve -p = p + z for p.
-5
Suppose t = 4*t. Suppose -4*b - y + 16 = t, -5*b + 5*y - 4 = 1. Suppose -b*w = -11 - 1. Solve s + 6 = w*s for s.
2
Suppose 0 = -2*v + 13*v - 55. Solve -v = z - 3 for z.
-2
Suppose -3*a - 2*m + 4 = 0, 4*m = -4 - 0. Suppose 0 = 2*q + 8, -4*w + a*q - 6*q = 8. Solve w*n = -3*n fo