h - 3*i - 1 = m for h.
3
Suppose 0 = k + 4*b - 12, 0 = 4*k - 0*k - 4*b + 12. Suppose -8*o + 13*o - 10 = k. Solve -4*s = -3*s + 5*p - 23, -o*s + 22 = 4*p for s.
3
Let i = -12 + 14. Solve 3*m = -2*m - 3*r - 25, i*m + 3*r = -10 for m.
-5
Let i = -18 + 11. Let p = i + 13. Let l = -5 - -11. Solve m + 5*s = l*s - p, s = -3*m + 2 for m.
-1
Suppose -3*d + 2*w - 10 = 4*w, 0 = -2*d - w - 5. Solve 2*k + 0*k - o - 5 = d, -5*o + 5 = -4*k for k.
5
Let c(h) = -h**2 - 3*h + 2. Let x be c(-3). Suppose v = -x*v. Solve -3*y + 8 = 2*r + 2*r, v = 5*r + 3*y - 10 for r.
2
Let n(y) = -4*y + 2. Let h be n(2). Let k = -3 - h. Suppose 2*j - 4 = -d + k, 0 = 3*j - 3. Solve -d*l + 1 + 1 = 4*b, 4 = b + 3*l for b.
-2
Suppose 3*j = -k + 3*k + 12, 0 = -2*j + 2*k + 10. Solve j*a + 5*f - 13 = 0, 3*a + a - 12 = 4*f for a.
4
Let a(x) = -2*x - 2. Let h be a(-2). Solve -4*b + 2 = 2*s, 5*b - 2*b - 2 = -h*s for s.
1
Let l(p) = p**2 + p - 4. Let a be l(-3). Solve -5*o + j = -j + 17, -2 = -a*o + 3*j for o.
-5
Suppose -39 = 15*y - 99. Solve -3*b - 3*s = -6, 4*s + 6 = -2*b + y for b.
5
Suppose -4*x = -0*x - 4*p - 212, 4*x + 4*p = 252. Suppose -5*d - 3 + x = 0. Solve 0 = -3*h + 2*b - d, -3*b = -2*h + b - 18 for h.
-1
Let s(f) = -3*f + 15 + 1 + 2*f. Let u be s(11). Solve -2*y = 2*k - 2, 4*k - 5 = -u*y + 3 for k.
-3
Let f(h) = h + 2. Suppose -2*z + 7*z - 11 = 3*i, z + 9 = -5*i. Let p be f(i). Suppose -4 = -2*x - p. Solve 3 = -x*m + 2*o + o, 3 = o for m.
3
Suppose 2*g - 5*u = 15, 5*g = -3*u + 19 + 3. Solve 20 = g*a, k - 4*a + 6 = -13 for k.
-3
Suppose -3*g - 3 = 4*s + 5, 5*s - 17 = 3*g. Suppose 4*p = 2*p. Let m be p + (-1)/s*-4. Solve 2*z = m*h, 5*h - 13 = -4*z - 0 for z.
2
Let l be (-1)/3 - 16/(-12). Let c = 3 - l. Solve 3*y = -c*d + d + 2, 3*d = -3*y for y.
1
Let f(y) = -2*y - 19. Let v be f(-11). Let j be -1*(0 + (-7 - -2)). Solve w + 2*b - 9 = 0, 2*w = v*w + b - j for w.
1
Let n be 24/15*(-10)/(-4). Solve n*a - w - 18 = 0, -4*a + 2*w + 11 = -5 for a.
5
Let b be ((-2)/1)/(-4)*6. Let x be 3/((-2)/((-44)/b)). Solve 3*a = 4*j + x, 3*a - 2*j = -j + 10 for a.
2
Let c be (2/(-4))/((-2)/20). Suppose 0 = 3*r - 0*r - 9. Suppose c*w - 5 = r*l - 2*l, 0 = 2*l - 5*w. Solve p = -4*b - 0*p - l, -2*p = 2*b + 10 for b.
0
Let s be (-12)/14*(-126)/27. Solve 0*j = j + s*y + 13, 4*j - 3*y + 14 = 0 for j.
-5
Let v(w) = w**3 - 6*w**2 + 5*w + 3. Let f be v(5). Solve -2*j = 5*h + 6, -f*h + 3*j - 16 = 2*h for h.
-2
Let i(m) = -41*m**3 + m**2. Let o be i(-1). Suppose -8*n = -2*n - o. Solve -l + 4*z = -n, -z + 2 = -l - 0*z for l.
-5
Suppose -4*q - 4*q + 32 = 0. Solve q*n + 3*b - 13 = 0, 2*n - 10 = -2*b + 4*b for n.
4
Suppose 2*g + 10 = 5*x, -7*g = 3*x - 3*g - 6. Solve -7*f + 2*f + 7 = x*o, 0 = -4*o + 5*f - 1 for o.
1
Let j = 51 - 47. Solve 3 = -p + 1, -j = 3*y + 2*p for y.
0
Let p be (-135)/(-36) - 2/(-8). Solve -p*r = -12, -z + r = 2*r - 1 for z.
-2
Suppose 0*r - 3*r = -3*c + 6, 0 = r - 5*c + 18. Suppose 0*k = r*k. Let q be -1 - -7 - k/1. Solve -2*x + 5*b = -30 + q, 0 = -3*x - 2*b - 2 for x.
2
Suppose 5*s - 9 = h, 21 = h - 0*s + s. Let c = -12 + h. Solve w = 3*i - 2, -19 = i + c*w + 2 for i.
-1
Let f(m) = 2*m**2 + m - 2. Let l be f(-2). Let k(z) = z**3 - 6*z**2 + 6*z + 1. Let p be k(5). Suppose 4*n = p*n. Solve l*w + 0*w = n, 5*w = -5*r - 25 for r.
-5
Let y be ((-6)/(-24))/(1/20). Solve b + 8 = -0*g - 3*g, -y*g - 12 = 2*b for b.
4
Suppose 2*t = -2*v - 2 + 6, 5*t = -15. Solve h = -2*h - 5*k - 34, 25 = -v*k for h.
-3
Let u be 1*3 - (7 - 132). Suppose -3*f = f - u. Solve -2*m = -6*m + 4*p - f, -2*p + 8 = 0 for m.
-4
Suppose p + 1 = 3*n + 18, -2*p + 2 = 2*n. Let w(l) = -1 - 2*l - l**3 - 4*l**2 - 2*l + 0*l**2. Let s be w(-3). Solve -p*t - s*z - 25 = -z, -3*t = -z + 15 for t.
-5
Let c be (6 + -5)/((2 - 0)/4). Solve -1 = c*u - b, -3*u - 9 = -4*b - 0*b for u.
1
Let f(u) = -4*u**3 + u**2 - 1. Suppose -2*l = 2*l + 4. Let k be f(l). Let v = 22 + -19. Solve q + v = g, 4*g = q - k*q - 9 for q.
-3
Let d be (-11 + 1)*(-2)/4. Solve -d*j + 4*n - n - 18 = 0, 3*j + 12 = 3*n for j.
-3
Let n be 2/4 - 7/2. Let m be (2/4)/(n/30). Let o(u) = u**3 + 6*u**2 + 5*u + 3. Let x be o(m). Solve s + 5*t = 6*s - 20, 10 = 2*s - x*t for s.
2
Let m be (-2)/(-1) - (-70)/5. Suppose 3*a + 7 = m. Solve 3*l + d + 6 = 0, 3 = -4*d + a*d for l.
-1
Let o = 18 - 13. Let g be 122/5 - (-2)/(-5). Solve -29 = -5*d + v, -v - g = -o*d + d for d.
5
Suppose -5*x - 4*z - 47 = 0, -2*x - 7 - 22 = 5*z. Let n(b) = 0*b - 10*b - b**2 - 1 - 2. Let o be n(x). Solve 4*q + 28 = -3*m + 1, q + o = -3*m for m.
-5
Suppose 11 = -2*j - x, 4*x = 4*j + 4 + 36. Let h be (-2)/j - 208/(-56). Solve 4*o - h*s + 12 = 0, 2*o + 5*s = s + 6 for o.
-1
Suppose 0 = -5*j - 6*z + z - 10, -2*j - 8 = 3*z. Solve 5*t - 12 = -f - 0*f, j*t - 8 = -2*f for f.
2
Suppose -3*b + 32 - 17 = 0. Solve -b*w + 6 = f + 26, w = -5 for f.
5
Let p(k) be the second derivative of -k**3/6 + 10*k**2 + 7*k. Let m be p(0). Solve 5*h = -4*r + 11, 5*h - 3*r + 2 = m for h.
3
Let b be (-17)/(-2) - (-1)/2. Let x(c) = c**3 - 7*c**2 - 6*c - 11. Let n be x(8). Let t = n - 5. Solve r = 4*q - t*r - b, 3*q + 5*r = 24 for q.
3
Suppose 8*v - 3*v = 15. Suppose 0 = -4*n + a + 6, 4*a - 3 - 3 = n. Suppose -n*s = -3*j + 6 + 14, 0 = 3*s + 12. Solve 14 = -j*q + q + 2*l, -v = -3*l for q.
-4
Let p = 0 - -6. Let d be 1/1*p/2. Solve 3*n = 7*n + 4*s - 12, -2*n = -d*s - 16 for n.
5
Let d = 39 - 22. Solve -4*b - 4 = 2*v - 4*v, 3*b + 2*v + d = 0 for b.
-3
Let k(h) be the second derivative of -2*h**3/3 + h**2/2 + h. Let i be k(-1). Solve q - d = -i, 10 = q + 4*d - 5 for q.
-1
Let j = -32 + 37. Solve x = -1, j*b + 5*x = -0*b for b.
1
Let i = 0 + 3. Solve -i*f + 4 = f - 4*z, 0 = -2*f - 3*z - 23 for f.
-4
Suppose k - 20 = -2*a + 6*k, -3*a + 4 = -k. Solve 5*z - 5*h + 30 = 0, 2*h + a*h = -4*z for z.
-2
Suppose 0 = -11*i + 56 - 12. Solve i*l - 16 = 4*h, 3*l - 2*l = -h + 4 for l.
4
Suppose 2*r + 3*n - 2 = -6, 3*r - 3*n = 24. Solve 2*s = 4*v - 26 + 2, -2*v = 3*s + r for v.
4
Let y(s) = -s + 9. Let i be y(9). Solve i = -4*m - 4*v - v + 40, -m = 3*v - 17 for m.
5
Suppose -5*u = -10 - 0. Solve -4*b = -3*l - 0*b + 7, 5*b = -u*l - 26 for l.
-3
Let h(c) = -c**3 + 4*c**2 - 3. Let t be h(3). Solve -3*v + t*v = -5*l + 6, 0 = 2*v - 3*l - 4 for v.
2
Let u = 19 + -15. Solve -u*n = 3*o - 7, 3*o - 8 - 7 = 0 for n.
-2
Let n(i) = -i**3 - 4*i**2 - 4*i + 1. Suppose 3*h = q + 2*h - 6, 4*h + 33 = 5*q. Let x = q - 12. Let o be n(x). Solve 4*g = -o*l + 24, 4*g - 2*l - 9 = -3 for g.
3
Let v(c) = c**2 + 15*c + 16. Let w be v(-14). Solve w*j = -2*u - 12, -2*j - 3*j - 14 = -3*u for u.
-2
Suppose 3*g - 1 = 14. Solve -g*u - 3*a - 7 = -4*u, 0 = -3*u - 2*a for u.
2
Let s = -29 - -49. Solve -3*c = 4*w - 4, -4*w + 0*w - s = -3*c for w.
-2
Let j(g) = 2*g**2 - g. Let y(x) = -x**2 + 2*x + 4. Let q be y(3). Let p be j(q). Let z = 62 - 53. Solve 4*h - p = -4*n - z, -5*h = 4*n + 9 for h.
-1
Let z(r) = r**3 + 11*r**2 + 9*r - 10. Let f = -20 - -10. Let s be z(f). Solve s = 4*i - 3*q + 3, 5 + 2 = -i + 2*q for i.
3
Let s be (0 + -1 - -13)/2. Let c be 80/6 + (-2)/s. Solve 5*w = v - c + 5, 3*w + 4*v = 9 for w.
-1
Let g = 5 + -17. Let o = g + 14. Solve 8*y + p = 5*y + 10, -4*p = -o*y + 2 for y.
3
Let j = -7 - -10. Let m be ((-2)/3)/((-12)/54). Solve -2*n + 6 = 0, 6*n - j = -2*t + m*n for t.
-3
Suppose 9*k = 11*k - 8. Solve 3*p - g + 2*g = -11, -2*g = -k*p + 2 for p.
-2
Let w(g) = -g**2 + 6*g - 3. Let f be w(4). Let q = -7 - -10. Suppose d - 2*d = 5*n - 4, -2*d = -q*n - 8. Solve -4*l - 7 = -l - d*o, 0 = 4*l + f*o - 32 for l.
3
Let n(j) = 4*j - 42. Let f be n(11). Solve 9 = 3*p, f*p - 5*p + 9 = 3*h for h.
0
Let l(b) = b**3 - 8*b**2 + 15*b - 3. Let j be l(6). Solve r = 5*q + j, -4 = q - 2 for r.
5
Suppose -4*k = -k - 18. Suppose -5*q + 5 = a + 2, 4*q - k = -2*a. Solve -a*y + 25 = 4*v, 19 = y + 3*v + v for y.
3
Let v(u) = -u**3 + u**2 + 4. Suppose -f - f = 0. Let t be v(f). Solve -5*i = 2*r - t, 0*r + 2*i - 13 = 3*r for r.
-3
Let z be (-4)/2 + 2 + 0. Suppose 4*k - 3*n - 2 = 2*n, z = k - 2*n + 1. Solve 29 = -2*h + 5*s - 0, -25 = 5*h - k*s for h.
-2
Suppose g + 8 = 3*g. Solve -q + 0*q = r - 6, g*r + 3 = 5*q for q.
3
Suppose -c = -3*c + 6. Let j(y) = 5 + 2*y - 3*y**c + y**2 - 2 + 2*y**3. Let o be j(-2). Solve -3*f = -3*n - 6, 4*n - f = 4*f - o for n.
1
Suppose -3*x - 24 = -4*a - a, -a = -3*x. Solve h + 2*k - a 