 -f*i - i + 12 = 5*m, 2*i - 5*m = 8 for i.
4
Suppose 5*c = 5 + 5. Solve c*o + 6 = -0, -27 = -5*s + 4*o for s.
3
Suppose 20 = 2*h + 2*h. Suppose -h*i = -3 - 22. Let z = 0 + i. Solve -3*l = -z*q + 25, -q - 4*l - 12 = 3*q for q.
2
Let r(z) be the first derivative of z**2/2 - 3*z - 3. Let v be r(6). Let a = v + 0. Solve 2*c + 2*k + 1 - a = 0, -2*c = 5*k - 17 for c.
-4
Let t(l) = -2*l - 10. Let u be t(-7). Suppose h - 5*w = u*h - 29, -3*h = -4*w + 7. Solve h*s + 7 = -4*x, -4*s - 3*x - 9 = 2*x for s.
-1
Suppose -4*r + 7*r + 5*p = 0, 1 = 2*r + 3*p. Solve 5*z = -10, -c - z - 22 = -r*c for c.
5
Let g = -2 + 5. Let c(r) = -r**3 + 4 + 0 - 7*r - 8*r**2 + 0*r. Let q be c(-7). Solve 4*s = g*i - 8, s = q*s + 6 for i.
0
Let i = -2 - -4. Suppose -4*k = -20, -4*s = 3*k - 2 - 29. Suppose -i*a + s + 0 = 0. Solve a*j + j + 4*d - 10 = 0, 0 = j - 4*d + 2 for j.
2
Suppose t = -3*t + 8. Suppose -4*x - 3 = c + x, 3*c - 59 = t*x. Solve 0 = 4*n + p - 7, -c + 7 = -4*n + 2*p for n.
2
Let j be 3/2 + 12/(-24). Suppose -12 = -0*y - 2*y. Suppose g + j = y. Solve g*c + 17 = -4*z, c + 7 = -2*z - 0*c for z.
-3
Let c = 6 - 2. Let r(n) = n - 5 + c + n. Let l be r(3). Solve 0 = 4*t + l*q + 21, q + 8 = 4*t + 23 for t.
-4
Let s(b) = -3*b. Let h be s(-1). Let g be 8/(-3)*12/(-16). Solve -3*w + h = -5*p, w = -g*w - 2*p - 18 for w.
-4
Suppose -17 + 8 = -3*z. Suppose -x = 1 - z. Suppose -31 = -x*d - 11. Solve 6*b - 3*b = 3, -2*r + d = 2*b for r.
4
Let a(v) = v**2 + 0*v + v**3 - 2*v**2 - 2*v - 2*v**3. Let c be a(-2). Solve -3*f + 2*o = -0*f - c, 2*f + 4*o = -16 for f.
0
Suppose -3*g - 40 = -5*z, 3*g - 5 = -4*z - 0*z. Solve 3*n + 5*t = 19, -n + t - z = 2 for n.
-2
Suppose 5*g = 2*g - 6. Let l(h) = -h**3 - h**2 + 3*h + 2. Let i be l(g). Suppose -4*k + 1 + 11 = i. Solve 0 = 4*s + k*r - 11, 3*r = 2*s + s - 3 for s.
2
Suppose 0 = -5*y + 55 + 20. Solve -4*h - k = y, -h + k + 1 = 11 for h.
-5
Let j be (1/3)/(1/18). Suppose -4*h - 2 = -j. Solve 2*q - 7 = 6*q - 3*t, -h = -4*q - 5*t for q.
-1
Suppose -4*o = a - 66, -3*a + 3*o + 0*o = -153. Let u = -30 + a. Solve -2*v + 3*v - u = -5*s, 3*s - 14 = -v for s.
5
Let i be (14/4 + -3)*10. Suppose 3*a + 3 = 3*n, a - n = -3*a + i. Solve 4*b + 2*m = -3*m + 5, 5*b + a*m + 15 = 0 for b.
-5
Let z = -2 - -5. Suppose -28 = -z*w + 2. Let n = w - 10. Solve -2*b - 2*i + 7 = b, n = 4*i + 16 for b.
5
Suppose -5*z + 2*w - 5*w + 49 = 0, 9 = 3*w. Solve 16 = -4*a, 3*h + 5 = -4*a - z for h.
1
Let g = 0 - -2. Let j be (-9)/(-6) + (-1)/(-2). Solve n - 17 = 3*x, -23 = j*x - n - g*n for x.
-4
Suppose 22*g - 20*g = 8. Solve -g*m - 3*w = -12, -4 - 5 = -3*m - 2*w for m.
3
Suppose 9*n + 25 = 14*n. Solve 2*h = -4*s + 14, n*h + s + 4*s = 20 for h.
1
Let u be (8/(-2) - -2) + 5. Let r = 5 - u. Let i = 31 + -11. Solve i = 4*m + 4*x, r*x = 4*m - 0*x + 4 for m.
1
Let b = 13 + -8. Suppose 4*s - 13 = -5*t - 3, 3*s + 5*t - b = 0. Let q(x) = -2*x - 6. Let d be q(-5). Solve 4*c = -d*i, c - s - 1 = i for c.
3
Let g(h) = -h - 2. Let x be g(-4). Suppose x*j + 3 = 7. Solve -4*b + 2*d + 0*d + 6 = 0, 2*b = -j*d for b.
1
Suppose -2*b + 18 = 2*y, -5*y + b + 1 + 20 = 0. Solve -5*g - k + 25 = 0, 0*k + 10 = y*g - 2*k for g.
4
Let l be (5 - 4)*4/8*72. Solve -7*s + 16 = -2*s - v, -4*v = 5*s - l for s.
4
Suppose -5*j = -c - 10*j + 16, -c = -j + 2. Let p be c + 3 + 1 + -2. Suppose 5*m = p*m + 2. Solve 4*i + 20 + m = -5*d, -2*d - 3*i - 14 = 0 for d.
-1
Suppose -3*y + 28 = -2*t, -5*y + 3*y + 3*t = -27. Let n = -17 - -26. Suppose -5*j = -y - n. Solve 0 = z - r + 3*r + j, -15 = 5*z - 5*r for z.
-3
Suppose -5*p + 14 = -1. Let h(n) = 2*n - 8. Let m be h(7). Let u(a) = -a + 6. Let x be u(m). Solve 5*w - 6 = -z, x*w - p*w - z + 2 = 0 for w.
2
Suppose 0*v - 12 = -4*v. Let b be 33/5 - v/5. Solve 0*y = 4*k - 2*y + 12, 2*k - 4*y - b = 0 for k.
-5
Let c be (2 - -65) + 10/(-5). Let m = c - 33. Solve 4*n - 4*p - m = 0, 0 = 2*n + 2*n - 2*p - 26 for n.
5
Let c(l) = -4*l + 11. Let z(b) = 2*b - 5. Let q(i) = 4*c(i) + 9*z(i). Let j be q(1). Solve 2*v + 8 = -3*h, 4*h + v + 10 = j for h.
-2
Let l be ((-10)/(-4))/(2/(-4)). Let u = -1 - l. Let g be 4 + 0*(-2)/u. Solve g*w = -4*o + 4, 5*o - 4*w + 2*w - 26 = 0 for o.
4
Let n be 3/(129/(-60) - -2). Let y be (-5)/n - (-19)/4. Solve y*d - 22 = 2*i, i - 7*d + 3*d + 17 = 0 for i.
-1
Let s = 2 + 0. Suppose 3*f + 3 = -12. Let k be (2/f)/((-2)/20). Solve -4*a - 28 = -k*r, -14 = s*a - 4 for r.
2
Let p = -14 - -10. Let q = -6 - p. Let j be (7 - 6) + q/(-2). Solve 12 = -5*b - 4*s, -2 = -3*b - j*s - 10 for b.
-4
Let v(d) = -d**3 + 7*d**2 - 6*d - 6. Let q = 35 - 20. Suppose w = 4*w - q. Let m be v(w). Solve m = 4*b - 2*c, 0 = 3*b - b + 3*c - 19 for b.
5
Let q = -15 + 15. Solve 0 = -4*z + 3*d - 9, 4*z - 4*d = -q*z - 12 for z.
0
Let q be (-2)/5 - (-12)/5. Let k be (-3)/(-9) + 1/(-3). Let l be (1/(-2))/((-2)/56). Solve -c - 2*c - x = -l, -q*c + 4*x + 14 = k for c.
5
Let j be 31 + (-4 - -4) + 3. Solve 0*d - 3*d - j = -5*z, z = -5*d - 10 for z.
5
Let r(s) = -s. Let o be r(-11). Solve -t + 21 = -5*n + 5, 4*n = -t - o for n.
-3
Let b be (12/(-8))/((-2)/8). Suppose -2*y = s - 2 - b, -14 = -4*s - 2*y. Let l be s/(-11) + 4/22. Solve -5*x + 2*c + 13 = l, -5*x + 2*x + 8 = -c for x.
3
Suppose 8*y - 175 = y. Solve 5*n - 3*g - 2*g - 10 = 0, y = 2*n + 5*g for n.
5
Let a = -116 - -173. Suppose -a = -5*b + 3. Let q be 0/(-4*(-1)/4). Solve 0 = 4*l + 3*c - b, -l - 3*c = -12 - q for l.
0
Let l(u) = 3*u - 10. Let r be l(4). Solve 5*d + 20 = r*c, c = -c - d + 8 for c.
5
Let b(j) = j**2 + 2. Let i be b(0). Suppose 0 = -3*t - u - u + 9, -i*t + 6 = -5*u. Let h = t - -1. Solve 2*f = -h*m + 2, -1 - 8 = 5*f - 4*m for f.
-1
Suppose o + 5*z + 15 = 0, 2*o - 6*o + 3*z = -9. Solve 0 = -5*v + 20, 2*p - 3*p + 3*v - 14 = o for p.
-2
Let m(k) = 3 - k + 2 + 0*k**2 + 0*k - k**2. Let o be m(0). Solve o*s + 31 = 4*j, -2*s + j - 8 - 2 = 0 for s.
-3
Let z be 1*2/1*-5. Let o = z + 27. Suppose 3 - 13 = -5*r. Solve 3*k + o = 4*c - 5*c, -r*k = 10 for c.
-2
Let h = -17 - -48. Solve -3*z - 1 = -3*b - h, -15 = z + 4*b for z.
5
Suppose 2*w + 10 = j, -3 - 3 = 5*j + 4*w. Solve -g + j*y = 2*g + 19, 5 = 5*g + 4*y for g.
-3
Suppose 3*k = -5*o + 26, 0 = o + 2. Let v be (-1)/(-1 - 30/(-32)). Solve 4 = 4*t - 3*y - k, 4*t + y = v for t.
4
Suppose 6*b = 9*b - 12. Solve v + 4 = -l, -b*l + 4*v = l - 7 for l.
-1
Let l = 27 - 24. Solve -4*w = -v - l, -8 + 4 = -2*w for v.
5
Let q = 6 - 6. Suppose -r - 2*g - 10 = -6*g, q = -r - g + 5. Solve r*k + 0*v + 7 = v, 5*k + 12 = -3*v for k.
-3
Let u be (-4)/6 + 40/15. Let k be (-16)/4*(-1)/u. Solve -2*v + 7*v - 22 = 2*l, k*l - 6 = -2*v for l.
-1
Let v(g) = 4*g + 2. Let i be v(-1). Let n(f) = f**3 - f - 3. Let p be n(0). Let l be p/(i*3/4). Solve -4*k = 5*q + 27, 3 = -l*q - 3 for k.
-3
Let v(k) = -5*k - 2*k + 4*k + 7*k. Let z be v(1). Solve s + 3*s + 2*n = -4, -10 = -z*s + 5*n for s.
0
Suppose 3*s - 2 = -5*v, 3*s - 4*v = 14 + 6. Suppose -s*j - 5 = -13. Solve -3*i + 0*u = -j*u + 9, -5*i - 15 = -u for i.
-3
Let k be (-3)/4*4/(-1). Suppose 5*n = -4*j - 8 + 41, 5 = n. Solve -j*r - 4*f = 2, 3*r = -f - 11 + k for r.
-3
Let o be (42/4)/7*2. Let q = -11 - -4. Let w be 3 - (3 + o*q). Solve s = 5*u - w - 3, 2*u = 8 for s.
-4
Suppose 3*l = -l + 12. Suppose l*f = -2*n + f + 32, -3*n = f - 54. Suppose -5*u + n = -2*z, u - 5*z + 14 = 4. Solve -2*d - 3*h = -21, 4*d + h = 22 - u for d.
3
Let c(w) = w**3 + 6*w**2 - 7*w + 2. Let y be c(-7). Solve y*f - 5*q + 12 = 0, -6*q = 5*f - 2*q - 36 for f.
4
Suppose 20 = -0*r + 4*r. Let i = 6 - 6. Suppose 0 = -5*m - p + 2, i = 4*m - m + 5*p - 10. Solve 4*j - 3*c + 11 = 0, -r*c + m*c = -2*j + 5 for j.
-5
Let u(a) = a**2 - 5*a**3 - 10*a**3 - a + 4*a**2 - 1 - 4*a**2. Let p be u(-1). Solve 2*r - 2*v - 8 = v, -4*r = -3*v - p for r.
4
Let h = 6 - 5. Suppose -g + 4*z = 16, -3*z = h - 16. Solve g*d = -3*k + 10, -3*k - k + 13 = 5*d for k.
2
Let d be (1 - 1) + 3 + 6. Let r(z) = 2*z - 6. Let j be r(d). Solve 0 = -b - 2*p - 8, -b + 0*b = -2*p - j for b.
2
Suppose -105 - 39 = -4*h. Let x be 2*1/2 + 17. Let d = h - x. Solve 0 = 2*m - 0*m + 4*g - d, -4*m = -g - 18 for m.
5
Suppose -8 = 4*z - 8*z. Solve -3*n - 5*b = 22, -n = 3*b + z*b + 24 for n.
1
Let d = -9 + 14. Solve d*x + g = -5 - 19, -7 = x - 2*g for x.
-5
Suppose x - 6 = -x. Solve 2*i = x*l + 1, -l + i + 4*i = 22 for l.
3
Let c = -4 - -18. Let y = -11 + c.