-5*k - m + 56. Solve -4 - k = -3*h for h.
5
Let n(y) = 4*y + 31. Let z be n(-7). Solve f = -z + 6 for f.
3
Suppose 4*o + 4*d - d - 15 = 0, 3*o = 5*d + 4. Suppose 3*l = 5*l. Suppose -2*a + l*a = -40. Solve -f = o*f + a for f.
-5
Let d be -6*(20/(-6) + 3). Suppose 5*o = d*o. Solve 3*b + 0*b + 15 = o for b.
-5
Let x be ((0 + 1)*-3)/(-1). Suppose 0*r - 104 = -4*r. Suppose -x*t = 8 - r. Solve 0 = -p + 4*p - t for p.
2
Suppose -5*t + 3*t + 2 = 0. Solve 5*i - 6 + t = 0 for i.
1
Let b(g) = -3*g - 3. Let w(z) = 1. Let o(h) = b(h) + 3*w(h). Let j be o(-1). Solve 0*t - j = t for t.
-3
Suppose -7*w + 11*w = -0*w. Solve w*c - 20 = -4*c for c.
5
Let o = 19 - 11. Suppose 0 = b + 3*b - o. Suppose -b*i - 3*w - 12 = -0*i, -3*i = -5*w - 20. Solve i = -3*k - 12 - 0 for k.
-4
Let u be (2 + -3)/1 - -19. Suppose 0 = -5*o + 2 + u. Solve -z - 9 = -o*z for z.
3
Let p be 1/(-2) - 28/(-8). Suppose -2*v + p*z = -6 - 2, -2*v = -z - 8. Solve 0 = 4*h - 2*h - v for h.
2
Let c be 4/(-6) - (-40)/6. Let v be (-3)/((-7)/2 - -2). Solve -5*z = -v*z + c for z.
-2
Let b(m) = m**2 - 12*m + 4. Let q be b(12). Solve 0 = -n + q for n.
4
Let j(s) = -s**3 - 3*s**2 + 3*s - 4. Let z be j(-4). Let h be (1/3)/(1/12). Solve z = -h*p + 2*p - 8 for p.
-4
Let a(s) = 3*s**2 + 6*s + 5. Let k be a(-1). Let r = 13 - 8. Solve -3*u = -r + k for u.
1
Let w(i) = -i**3 - 3*i - 2. Let c be w(-1). Solve -14 = c*m - 4 for m.
-5
Let q(p) = 4*p**2. Let t be q(-1). Solve -t*x = -6*x for x.
0
Suppose 3 = t - 1. Solve t*c = 15 + 1 for c.
4
Let t be 1 - -5 - (13 + -15). Solve 4*l - 6*l + t = 0 for l.
4
Suppose -3*h = -0*h + 27. Let m be (-2)/9 - 20/h. Let f be -3*m*(-3)/9. Solve -4 + 0 = -f*d for d.
2
Let t(n) = -3*n**3 + 11*n**2 + 6*n. Let k = 3 + 1. Let w(x) = 4*x**3 - 12*x**2 - 6*x + 1. Let h(i) = k*w(i) + 5*t(i). Let b be h(-6). Solve -z = -b*z for z.
0
Let a = 45 + -21. Solve -4 = 4*h - a for h.
5
Let i(a) = -a**2 - 8*a - 5. Suppose -2*x - 2*w + 3*w - 18 = 0, 4*x + w + 24 = 0. Let c be i(x). Solve -c = -3*n + 7 for n.
3
Let r(s) be the first derivative of -s**4/4 + 2*s**3/3 + s**2/2 - 1. Let i be r(-1). Solve -2*a - i*a = -20 for a.
5
Let k = -23 + 13. Let b = k - -15. Solve -3*p + b = -1 for p.
2
Let f(o) = o**2 - 3*o + 3. Let d be (-1)/2 - (-7)/2. Let r be f(d). Let w(u) = -u**3 + 4*u**2 - u + 2. Let t be w(3). Solve x = r*x - t for x.
4
Suppose -18 = -4*f + 2*x, 4*f + 3*x = -5 + 18. Solve f = 4*p - 0 for p.
1
Suppose 0 = -55*v + 59*v - 8. Solve -3*t = -v*t for t.
0
Suppose -2*l + 127 = 25. Suppose -2*u + o - 71 = 0, -7 = 5*o - 2. Let k = u + l. Solve -3*d + k = -0*d for d.
5
Suppose -2*v + 3*j = -9, j - 13 = 3*v - 5*v. Solve -g - 10 = -v*g for g.
2
Let t(i) = -i**3 + 16*i**2 + 15. Let f be t(16). Solve -3*a + f = -6*a for a.
-5
Let z be 2 + 1 - (9 - 8). Solve u - 4 = z*u for u.
-4
Let v(t) = -2*t - 2. Let n be v(-1). Solve b + 2 - 7 = n for b.
5
Let j(y) = -y - 1. Let o be j(-5). Suppose o*a = 5*a. Let m = a + 0. Solve h - 3*h = m for h.
0
Suppose 0*w - 3*w = -15, 4*w = -3*n + 35. Let l = 7 - n. Suppose 0 = 4*y - l*y - 16. Solve -y = -4*u + 12 for u.
5
Let o be 3/6 + 5/2. Suppose 0 = -3*m - 9 - o. Let j = 8 + m. Solve j*t - 5*t - 1 = 0 for t.
-1
Let f(y) = y + 13. Let u be f(-8). Solve 0 = h + u - 0 for h.
-5
Suppose 0 = 4*j - 16. Let n be 55/30 - (-1)/6. Solve j*r + n = 3*r for r.
-2
Let r(p) = -p**3 + 8*p**2 - 8*p + 9. Let h be r(7). Suppose 0 = z - 2*w - 3*w + 17, -11 = -z - 2*w. Solve h*v + v - z = 0 for v.
1
Let y = -13 - -8. Let s be (1 - y) + -3*1. Suppose -4*i - 2 = -6. Solve -i = s*k + 5 for k.
-2
Let k(m) = 16*m**2 + 8*m - 8. Let u be k(1). Solve -l + 5*l + u = 0 for l.
-4
Let u = -26 + 62. Suppose y + 3*y + 4*p = 48, 3*y = -5*p + u. Let d be (-1)/((-15)/y - -1). Solve -d = j + j for j.
-2
Let c = -13 - -16. Solve -c*x = x for x.
0
Suppose 4*p - 35 = 5*u, -u + p = 2*u + 14. Let s = 3 + u. Solve 0*l - 3*l - 6 = s for l.
-2
Let l be (-2 - -3 - -1)/(-2). Let j be (-1)/(3 - 3 - 1). Let c = j - l. Solve -7*b + c*b = 5 for b.
-1
Let y be 80/8 + 4/(-2). Solve 12 = -5*n - y for n.
-4
Let p be (-9)/5*(-20)/6. Let h = 4 - -10. Let l be (-1)/(3/p) + h. Solve x + l = -3*x for x.
-3
Suppose 1351 = -2*x - 0*z + z, x - 3*z + 673 = 0. Let m be (-1)/3 + x/(-12). Suppose 5*p + 11 = m. Solve -4*q + p = -3 for q.
3
Let i be ((-3)/4)/((-12)/64). Let f = -2 - -2. Solve -g + i*g = f for g.
0
Let k be (-12)/8*20/(-6). Solve -k*x - 2 - 3 = 0 for x.
-1
Let d(k) = k**3 - 11*k**2 - 12*k. Let q be d(12). Solve o + o - 10 = q for o.
5
Let c = -4 + 4. Solve 5*m + 20 = -c for m.
-4
Suppose 2*t - 5*x - 50 = 0, -2*x = 2*x + 8. Suppose 0*b + 26 = -2*w + 2*b, -2*b - 37 = 5*w. Let p be ((-2)/(-3))/(-2)*w. Solve -l = p*l + t for l.
-5
Let t = 115 + -111. Solve t*w = 7*w + 15 for w.
-5
Let d(t) be the first derivative of -3*t - 2 - 1/2*t**2. Let m be d(-6). Solve -m - 2 = x for x.
-5
Let s(x) = -x**2 + 2*x + 4. Let y be s(3). Let f(c) = 0*c + 3*c + y + 11*c. Let j be f(1). Solve -5*q - j = -0 for q.
-3
Suppose -15 = -0*h - 5*h. Solve 0*d = -h*d - 3 for d.
-1
Let c(g) = -g - 2. Let i be c(-2). Solve i = -m - 0*m for m.
0
Suppose 6 = -3*l + 5*l. Solve h - l*h + 8 = 0 for h.
4
Suppose 0 = 5*w - 0*w. Suppose h = 2*h - 5. Solve w*b = h*b + 15 for b.
-3
Let f(w) = w**2 + w - 5. Let k be f(-4). Let s = k - 2. Solve -s*t = -2*t + 6 for t.
-2
Let f(s) = s - 3. Let l be f(7). Suppose -2 + 6 = l*z. Solve 2*u + z = -7 for u.
-4
Let s = 9 - 5. Solve -s*r = -3*r - 5 for r.
5
Suppose -18 - 2 = 4*s, -3*r + s = -14. Suppose -18 = -2*d - d. Solve -r*z + d = -6 for z.
4
Let p = 0 + 2. Suppose -p*f - 1 = -5. Suppose -4*g + 25 = -3*g - 5*y, f*g + 20 = -4*y. Solve g*z + z - 1 = 0 for z.
1
Let i(w) = w - 1. Let x be (-15)/6*12/(-10). Let y be i(x). Solve y = 2*k - 0*k for k.
1
Suppose -8*s + 5 = -27. Solve 0 = -s*h + 6*h - 10 for h.
5
Suppose 0 = -14*d + 11*d. Solve -3*i + d*i - 6 = 0 for i.
-2
Let n(r) = -3*r + 4. Let c be 2/(3/(4 + 2)). Let o be n(c). Let d(u) = -u - 5. Let v be d(o). Solve 2*x = v*x - 1 for x.
1
Let g(q) = q**2 - 1. Suppose -5*r = -4 - 6. Suppose -3*x + 2 = -f, -2*x - 6 = -2*f - r. Let p be g(x). Solve 15 - p = -3*y for y.
-4
Let r be (1 - 2) + (4 - 2). Let n(v) = 5*v**2. Let i be n(r). Let h = -5 + i. Solve h = -g - 4 + 9 for g.
5
Let y(f) = f**3 - 8*f**2 - f + 9. Let x be (-1 + -11)*(-2)/3. Let r be y(x). Solve 2*q = -r - 5 for q.
-3
Suppose -3*d + 4*m - 102 = 0, 5*d + 2*m = -0*m - 170. Let z be d*1*(-1)/2. Suppose 3*j + 0 = 6. Solve 0 = -3*t + j - z for t.
-5
Suppose -28 = -2*b + 4. Suppose -34 - b = -5*k. Suppose -4*l = 3*z - 15, 3*l = -0*z - z + k. Solve -8 = l*y - 5*y for y.
4
Let v(z) = -z**3 + 8*z**2 - 6*z - 6. Let y be v(7). Suppose 2 = t - y. Let s = t + -3. Solve l + l - 8 = s for l.
4
Suppose -f = -3*p - 0 + 3, 3*p + 2*f + 6 = 0. Suppose 12*t - 12 = 9*t. Solve p*n = -t*n + 16 for n.
4
Suppose 0 = -3*g - 0*g + 27. Solve -4*a + g*a + 25 = 0 for a.
-5
Let x(q) = -q + 19. Let g be x(9). Solve -3*k = -8*k + g for k.
2
Suppose -4*z - 5 = 5*s, -s + 5*z = -2*s - 22. Solve 0 = s*t + t for t.
0
Suppose -5*m = -5*f - 15, -2*f - 1 = -3*m + 9. Solve 1 = m*c - 5*c for c.
-1
Let h(l) = -3*l - 7 + 0*l + 3. Let i be h(-3). Let g = i + -4. Solve -r - 3 + g = 0 for r.
-2
Let b = 4 - 7. Suppose 6 = -4*i + 94. Let j = i - b. Solve -4*p - p = -j for p.
5
Suppose 3 = -0*x + 3*x, 0 = -2*n - 3*x + 21. Solve -3*v + 6*v = n for v.
3
Let c be (-10)/(-8) - (-1)/(-4). Let u = 1 + c. Let j(q) = q**3 - 5*q**2 + 2*q - 2. Let i be j(5). Solve u*v + i = -2 for v.
-5
Suppose -14 = -i + 5*w, -3*i - w = -7*i - 1. Let o be i/1*(-6 - -4). Solve -z + 0 - o = 0 for z.
-2
Suppose -21*b - 9 = -24*b. Solve 4 = b*z - z for z.
2
Suppose 0*g + g + 3*t - 15 = 0, -5*t = -4*g - 25. Suppose -3*d - d = g. Solve 1 + d = z for z.
1
Suppose 0 = -0*v - 2*v. Suppose -3*o + k - 5 = 0, 4*o = k - 3*k + 10. Let w(l) = l. Let d be w(o). Solve d = -3*t - v*t for t.
0
Let z(a) = 8*a - 35. Let r be z(6). Solve 4*f + r = 1 for f.
-3
Suppose -k = 5*o - 13, 0 = -3*k + 5*o - 0*o - 1. Solve 2*p + 4 = k*p for p.
4
Let m = 10 - 10. Let y be 3 + -3 + 4 + 1. Suppose -20 = -w + 3*f - f, -y = w + 3*f. Solve w = 2*n - m for n.
5
Let l be 10 + -2 + 2 + 3 + -3. Solve 0 = -4*k + l - 2 for k.
2
Let v(o) = o**2 + 6*o + 4. Let i be ((-7)/3 + 1)*3. Let b be v(i). Let a = -3 - b. Solve -j + a = -4 for j.
5