3*m - 7. Let c = -1 + i. Solve c = -k*f - 4, -f - f - 2 = 2*l for l.
0
Suppose 8*i + 10*i - 90 = 0. Solve -i*k - 35 = -j + 4*j, j + 5 = 0 for k.
-4
Let w be ((-4)/(0 + 8))/(2/(-8)). Solve 5*z = -2*y + 22, -w*z + 2*y + y + 5 = 0 for z.
4
Let d be (-2)/(-10) + (-1 - 8/(-10)). Suppose 0 = 4*m + 20, -3*m - 9 = 2*p - d. Solve 4*h = 5*b + 27, -b + 5*h - p = 15 for b.
-3
Suppose 12*o = -8*o + 80. Solve 4*i - o = 2*i, 2*u - 4*i = 0 for u.
4
Suppose -3*m + 3*x - 23 = -7*m, -2*m - 5*x = -29. Suppose 5*q - 5*g = -0*g + 10, 0 = 4*q - m*g - 12. Solve -6*i = -5*i + 2*d + 11, q*d + 7 = i for i.
-5
Suppose 0 = -3*s - 88 + 184. Suppose -5*r - 15 = -4*f, -3*r - f = -4*f + 12. Let j = 2 + r. Solve -x - 5*h - 7 = 17, -s = j*x + 5*h for x.
-4
Let n = -9 - -7. Let u be -3 + (1 - (-20 - n)). Suppose 0*s + 4*s = 0. Solve -3*z + 5*p - u + s = 0, 5*z = 3*p for z.
3
Let l be (270/(-25) + 12)/((-6)/(-15)). Let r = 8 - 5. Suppose 1 + 14 = r*q. Solve -q*i + 19 = -3*b, l*i + 3 = -3*b - 0 for b.
-3
Let n be 78/(-65)*(-30)/4 - 7. Solve n*o = 3*y - 7, -5*y + 6*o + 1 = 8*o for y.
1
Let i = -50 - -53. Solve 3*s - 4*x - 16 = 0, -i*s - 5*x - 20 = 2*s for s.
0
Let d be (1 - -2) + (-1 - -2). Suppose 0 = d*l - 7*l. Suppose -33*z + 26*z = -112. Solve -3*r - 17 = a, 0 = 4*r - 2*a - l*a + z for r.
-5
Suppose 4*d + d - 3*g = 252, 4*d - 4*g = 208. Suppose 4*f + d = -0. Let j(q) = -2*q - 21. Let p be j(f). Solve -22 = 5*x + 3*i + p, -x + 2*i = -8 for x.
-2
Let y(g) = -g**3 + 3*g**2 + 12*g - 2. Let k(x) = -x**3 + 17*x**2 - 16*x + 5. Let l be k(16). Let a be y(l). Solve 0 = 2*b - 3*d + a, -4*b - 4*d = -2*d for b.
-1
Let l(r) = 2*r - 5. Let w be l(3). Solve 7 = 3*z + 4*b, 3*z - 2*b + 0*b = w for z.
1
Suppose -6 = -r - n, -2*n = 3*r - 4*n + 2. Solve 5*s = -0*l - l + 16, -5*s - r*l + 17 = 0 for s.
3
Suppose -5*u = -w + 6 - 18, 0 = 4*u - 12. Solve 0 = 2*g + l - 7, -w*l + 15 = -0*l for g.
1
Let l(x) = -x**3 - 17*x**2 - 2*x - 20. Let h be l(-17). Suppose h = -r + 16. Solve 4*j = -r*o - 20, -3*j + 9 = o + 22 for o.
-4
Suppose 7*k - 8 = 20. Solve -36 = -k*v + 5*o, o - 3*o = 5*v - 12 for v.
4
Suppose -11 = -3*z - 7*a + 12*a, 5*a = -2*z - 1. Solve -3*t = 3*y + 12, 3*t + 4 = -z*y - 7 for t.
-3
Let c be -7 - (-3 + -1) - -5. Suppose 4*g = -c + 14. Solve -2*i + g = 2*v - v, 2*v - 5*i - 15 = 0 for v.
5
Suppose -2*j = 10, 12*m - 15*m + 2*j = -31. Solve 11 = 5*u - 4*h, 4*u - m = 5*h + 9 for u.
-1
Let j(m) be the second derivative of m**3/2 - m**2 + 6*m. Let b be j(-4). Let q be 1 + 1 - (12 + b). Solve -q*g - 6 = 5*p - 16, -2*g + 10 = 5*p for p.
2
Suppose -5 = 2*g + s, -5*g - 2 - 6 = -2*s. Let z be (3 + -2)*(g - -2). Let c(y) = -y - 5. Let v be c(-7). Solve v*m = 3*f + 13, 0 = -5*m - z*m + f for m.
-1
Let y(x) = x + 9. Let z be y(-5). Let k(m) = m**2 - 9*m - 2. Let d be k(10). Let v be 14/6 - d/24. Solve -h - z*h = s - 15, -4*h = -2*s + v for h.
2
Suppose 0 = -5*x - 7*x + 96. Let k(g) = -14*g - 2. Let v be k(-3). Suppose -x*r + v = -3*r. Solve -5*o - r = -2*c, 8 = c + c - o for c.
4
Suppose -4*o = -4*m + 20, 2*o - m - 8 = -13. Solve o = z, -z + 1 = -2*r - 9 for r.
-5
Let r(p) = -p**3 - 15*p**2 + 7*p + 110. Let g be r(-15). Solve -3*w + 13 = -2*i, -3*w = -g*i - 4*w - 7 for i.
-2
Let y(x) = -15*x**2 - 3*x - 1. Let d be y(-1). Let h be (d/((-273)/36))/(4/14). Solve -24 = -3*i + 3*w, -w - w = h for i.
5
Let n = 4 + -4. Let k = 4 + n. Solve -w = -3*d + 11, 0 = k*w + 3*d + 2*d + 10 for w.
-5
Suppose -4 = 3*p - p. Let t be (-6)/(-12) - p/(-4). Let x be 2*(3 - 2) - t. Solve -3*y + x*d + 6 = -d, -4*d = -y + 8 for y.
0
Let u(j) = 3*j**2 - 8*j + 3. Let o be u(7). Let d = o - 62. Let r = d + -29. Solve 20 = 5*f + r*w - 12, -4*w = -16 for f.
4
Suppose -4*z = -5*z. Solve -5*a + 5 = -5*m, -3*a - m + 0 - 1 = z for a.
0
Suppose 265 = 6*t + 247. Solve 2*q + 2 - t = -f, 0 = 5*q - f + 1 for q.
0
Let d = 3 + 9. Suppose -2*i + d*i - 30 = 0. Solve i*x - x = 3*b + 7, -4*x = 4*b + 36 for b.
-5
Let x = 55 - 52. Suppose 0 = -4*c - 5*y, 3*c + 4*y = -0 - 1. Solve b = 3*f + c + 10, 4*f = -x*b - 7 for f.
-4
Let w = -40 + 39. Let p(s) = 26*s**2 - 5*s - 3. Let b be p(w). Solve b = -4*r + 4*c, r - 2*c - 4 = -15 for r.
-3
Suppose 3*b + 8*b = 22. Solve -4*q + w - 9 = 0, 26 = q - b*q + 5*w for q.
-1
Let p = -332 - -338. Solve 12 = -p*c + 5*c + 3*y, 6 = 3*c + 5*y for c.
-3
Let f(w) = 8*w**2. Let g be f(1). Let n be 20/g + (-2)/(-4). Solve 3*k + 2*s + 18 = 0, 5*s + 5 = n*k + 2 for k.
-4
Suppose 0 = 11*n - 85*n. Solve 5*y - f - 2*f + 4 = n, -4*y = -2*f + 2 for y.
1
Suppose -27*b + 9 = 9. Solve 2*c + 0*o + 11 = 5*o, 2*c - 4*o + 8 = b for c.
2
Suppose -r - 4*r = -55. Let i = -34 + 35. Suppose b - i = r. Solve 3*w + 5 = 5*c, -4*c + b = -c for w.
5
Let s(b) = -2*b - 1. Let v be s(1). Suppose 0*t = -12*t - 36. Let p be (-21 - v)/t - 4. Solve -p*i = 6, -x - 2*x + i = -12 for x.
3
Suppose r = 5*r - 4*s + 12, 5 = -5*r + 3*s. Solve g = r*i + 2, 2*i + g = -3*g - 2 for i.
-1
Suppose 9 = 16*k - 7. Solve 0*y - 5*m = 4*y + 32, m + k = y for y.
-3
Suppose -8*p - 9*p = 0. Solve -v + 3*v = -5*i - 9, p = v - 3*i - 12 for v.
3
Let g(d) = d**2 - 5*d + 10. Let c be g(2). Solve 5*f + 3*m + 6 = -0*m, 0 = 3*f - c*m + 21 for f.
-3
Let c(u) = u**3 - 10*u**2 + 10*u - 7. Let j be c(9). Solve 1 = -j*m + 3*n, -n - 12 - 1 = -4*m for m.
4
Suppose 7*t + 4*t = 0. Solve 0 = 4*n - t - 4, 3*n = -v for v.
-3
Let z(p) = 10*p - 40. Let l be z(4). Solve l = 4*i - i + 12, 4*v - 3*i - 32 = 0 for v.
5
Let v(a) = -4*a - 28. Let o be v(-7). Suppose 2*f - 4 - 2 = o. Solve 3*w + 3 = y, -3*w + 3 = f*y + 6 for y.
0
Let z(i) = -12*i + 137. Let m be z(10). Solve 3*l + 2*l + 27 = -j, -5*l - m = -4*j for l.
-5
Let p = -19 - -22. Suppose 5*r = p + 7. Solve -5*h - r*m = 19, -3*h = -3*m + 5 + 19 for h.
-5
Suppose -4 = 3*d - 22. Let p = 10 - d. Suppose -p*x - x = -10. Solve -x*g - 6 = -j - 2, 5*j = 3*g - 1 for g.
-3
Let w(d) = 6*d**2 + 2*d + 1. Let p be w(-1). Let k(t) = -t - 1. Let i be k(p). Let l be i*(-2 + 12/8). Solve -l*u = u - 2*m - 30, -5*m = 25 for u.
5
Let d be (-120)/(-2) - ((5 - 7) + 5). Suppose 5*f = 8*f - d. Solve 2*x + 3*v + f = -2*x, 0 = 4*v + 4 for x.
-4
Suppose -6*w + 7*w = 4. Let y = 39 - 38. Let b be (-2)/(-1) - (-1 - y). Solve -g - 14 = -3*j, 3*g = -j + b + w for j.
5
Let a = 1830 + -1820. Solve -4 = 4*z - 2*u, 4*u = 3*z + 6*u + a for z.
-2
Suppose -24 = -2*y - 2*a, -3*y + 3*a = y - 20. Let m = 7 - 8. Let b be -6*(1/(-2) + m). Solve q + y = 2*d, 2 = -q + 3*d - b for q.
-2
Let y be ((-44)/10 + 5)*5. Solve y*w + w = 4*x, x + 8 = 5*w for w.
2
Let r = 271 - 268. Solve 0 = -o + 4*c + 1, -o + r = -4*c + 2*c for o.
5
Suppose -2*m = 4*h - 90, -h + 5*h + m = 89. Solve b + h = 11*z - 15*z, 4*z - b = -18 for z.
-5
Let w(f) = -31*f + 97. Let t be w(3). Solve 4*i + t*c + 24 = 2*c, 0 = -i - 5*c - 24 for i.
-4
Let f be 8 - (6 - (8 - 5)). Solve -x - 13 = m - 4*m, f*m = 15 for x.
-4
Let f(a) = 43*a**2 - 5*a + 3. Let m be f(1). Let v = m + -36. Suppose -i = -6 - 1. Solve -5*b + 19 = 2*j, b + 0*b + i = v*j for j.
2
Let q(x) = -x + 11. Let a(p) = 6*p + 5. Let v be a(-2). Let u be 18*(v/(-2) - 3). Let i be q(u). Solve 1 = 5*y + g, 0*y - i = y - 2*g for y.
0
Let m(b) = -51*b - 1. Let r be m(-1). Let x = 22 - r. Let o = -22 - x. Solve -5*s = -f + o - 1, -3*f - 23 = 4*s for s.
-2
Let v be -6 - -8 - (0 - -3). Let s be 1*(v + -1 + 4). Solve -3*x + 2*x + 15 = -5*d, s*d = -5*x - 33 for x.
-5
Let v be (-247)/4 - (-12)/(-48). Let g = -57 - v. Solve -8 = -2*k + 2*p, -28 = 4*k - k + g*p for k.
-1
Let k(z) = -14 + 43 - 10 + 2*z - 9. Let r be k(-5). Solve -3*p = r, 0*i + 3*p = -3*i for i.
0
Suppose -a - 117 = -119. Solve 0 = -4*w + 3*d, 0*d = -a*d + 8 for w.
3
Suppose 9*c - 5*g = 14*c - 130, 134 = 5*c + g. Suppose -c*i = -23*i - 40. Solve 0 = 3*h + k + 15, k + i = -2*h + 3*k for h.
-5
Suppose 3*d - 16 = h - 2*d, 4*d - 16 = 0. Solve 2 = -h*q + 3*b - 6, 3*q + 2*b = -6 for q.
-2
Suppose y + 6 = 4*m, -93 = -m - 91. Solve -k - 2 = 4*c, y*k - 1 = c - 5 for c.
0
Suppose 5*k - 7 - 3 = 0. Suppose 3*o - 14 + 3 = a, -o + 5 = a. Solve o*g = 2*g - 4*v - 4, -3*g + 2 = k*v for g.
2
Let j(a) = 18*a + 1. Let m be j(1). Let r be (4 - 7) + (1 + m)/2. Suppose 3*z - 4*z - 13 = 5*f, f + 13 = 5*z. Solve 2*k = 2*n - 2, 17 = -r*k + z*k + n for k.
-4
Let h = -81 + 85. Solve 0*r + r - h*d + 6 = 0, d - 10 = -4*r for r.
2
Let z = -14 - -14. 