= -5*n + 11, -x + 3 = n. Let z be a(n). Solve 0 = -l - h - 2, -2*l - z = -h - 2 for l.
-1
Let k = -153 - -158. Solve 5*w - 5*z + k = 0, 4*w - 2*z - 1 = -9 for w.
-3
Let s(x) = -x**3 - 4*x**2 + 28*x + 51. Let o be s(-7). Solve p + 5*c = -20, -7*p + 3*c = -o*p + 16 for p.
-5
Suppose -75*v = -47*v - 28. Solve -t - v = 2*j - 6, -2*t + 2 = -4*j for t.
3
Suppose b = 2*b - 2. Let f be (2 + 2)/b - 5. Let j = f + 5. Solve u = -j, -2*u - u + 14 = 4*c for c.
5
Let g = -576 + 578. Solve -g*z - 5*h - 31 = 0, -2*z - 4*h + 9*h + 19 = 0 for z.
-3
Let w = 0 + 5. Suppose -5*d - 4*m = -9, 0 = d - w*d - 4*m + 8. Let y be 0/3 + 0/d. Solve y = 2*h - 0*h, -4*o - 4*h = 20 for o.
-5
Let j(r) = r**2 + 7*r - 4. Let b be j(-8). Solve 3 = f - 2*f + g, -b*g + 2 = f for f.
-2
Let o be -2 + 3 + (-4)/4. Suppose o = -2*p + 1 + 5. Let w be (p - 9)*(-2)/6. Solve 0 = -i + 1, 0 = -3*y + w*i + 4 for y.
2
Suppose 2*n + 4*n = 6. Suppose 0 = 4*t - q - n - 2, -5*t + 9 = 4*q. Solve a - 2 - t = 4*k, 4*k - 1 = 5*a for k.
-1
Let y be (1*(-1 + 1))/2. Suppose 2637*t - 2641*t = -12. Solve a + 4*a + 4*k + 12 = 0, 2*a + t*k + 9 = y for a.
0
Let h be -2 - ((-8)/(-12) - (-14)/(-3)). Solve 2 = h*x - 2*w, -5 = 3*x + 4*w - 9*w for x.
5
Let g(q) = q**2 - 2*q - 4. Let r be g(-3). Let z = -2269 + 2280. Solve -4*f - 3*h = -r, -4 - z = 5*h for f.
5
Let y be (4/7)/(4/14). Suppose 6 = -v - 2*c - 3*c, 2*v - y = 4*c. Let z be 11/((-44)/48)*v. Solve 3*i + 4*r - z = 0, 3*i + 0*r = 3*r - 9 for i.
0
Suppose 15 = v + 9. Solve -p - 6 = -3, -p - v = w for w.
-3
Let o = 557 + -554. Solve 13*c - o*i - 10 = 12*c, 0 = 4*i + 8 for c.
4
Let l = 2006 - 1983. Solve -3*z = 3*h - 15, l = 4*h + 11 for z.
2
Let a = -128 + 130. Suppose -a*k + 6 = v, 5*k + v - 14 = -v. Let m be -3 + 1 - (0 + -21). Solve -3*p - 4*c = -k*p - m, 0 = -4*c + 20 for p.
-1
Let l = 21 - 17. Suppose -2*g = l*b - 14, 0 = -5*b - 6 + 16. Solve -d + g = -3*i + 5*i, -d = i for i.
3
Suppose 4*m + 5*u - 36 = u, 11 = 4*m - u. Let o = 5 - 3. Suppose 251*x = 243*x + 16. Solve 5*k + o*n = m*n + 16, -3*k + 5*n + x = 0 for k.
4
Suppose 5*w - 25 = -f - 10, -4*w + 12 = -4*f. Solve w*h - 5*j - 5 = h, -3*h = 2*j + 21 for h.
-5
Suppose -82 = 4*i - 34. Let j be (0 + 1)/((-2)/i). Suppose 0 = w + w - j. Solve w*d + 21 = -5*r, d - 5*r = 20 - 7 for d.
-2
Suppose -20 = -3*i - i. Let x be 12/15*10/4. Suppose -4*c - 5*p = -c, -2*p = 6. Solve 21 + i = x*n + c*m, 0 = -m + 4 for n.
3
Suppose 3*z + 8*z - 154 = 0. Suppose -h + 24 = 4*r + 3*h, 2*r = -3*h + 15. Solve -v + z = -3*v + 2*y, 0 = 4*v - r*y + 24 for v.
-3
Suppose -4*s = -15*s + 55. Let n(g) = 3*g - 4*g**2 + 2*g**3 + 12 - 10 - 4. Let o be n(2). Solve -5*z - 10 = 0, 2*z - o + 33 = -s*v for v.
-5
Let z be (-2 - -1) + (30 - 22). Solve -3*s - z = 2*s - j, -s - j = -1 for s.
-1
Suppose -a - 10 = -2*x, a = 2*a + 2. Let r be x/14 + (-4)/14. Let v be ((-24)/15)/(-1) - 4/(-10). Solve r*n - 10 = 4*n - v*h, 3*h + 15 = 0 for n.
-5
Let f = -21 - -13. Let p be (-6)/(-4)*f/(-6). Suppose -k = 4*k - 35. Solve c - p*n = 3*n - 3, -3*c + k = n for c.
2
Let m = 18 + -16. Suppose z - m*v - 2*v = 3, 0 = z - 5*v - 3. Solve w + 14 = z*j, 0 = -5*w - 4*j + 10 - 4 for w.
-2
Suppose -9*r + 5*r = 4. Let n = 2 - r. Solve 0 = 5*i - 2*j + 1, -5*i = -n*i - 4*j + 10 for i.
1
Let n = 61 + -57. Suppose 3*h - 10 = 4*j, 4*h - 5*j = 10 + 4. Solve y - 4 = 2*v + h, -n*y = -v - 19 for v.
-3
Let s = 1373 + -1370. Solve -c + 3*g - 8 = -s, -2*c + 4*g - 4 = 0 for c.
4
Suppose 0 = -24*l + 19*l + 125. Solve -2*w = -3*w + s, -s - l = 4*w for w.
-5
Suppose -6 = b - 2*d, -9*b + 12*b + 12 = 4*d. Solve b = 3*u + u - 5*h - 23, 0 = -3*u - 2*h for u.
2
Let s be (2 - (6 + -2))*(-10)/4. Solve -x - 4 = 4*w, 0 = 3*x - s*w - 8 - 14 for x.
4
Let g be 2*(-3 - -1*4). Let r(c) = c**3 - 2*c**2 - 3*c - 3. Let f be r(3). Let v be (-44)/(-8) + f/g. Solve 4*d = -v*q - 12, d - 6*d - 2*q = 0 for d.
2
Let b(s) = -2*s**3 - 2*s**2 + 4*s + 10. Let l be b(-2). Solve -2*g + l = 0, 4*w + g = -g - 10 for w.
-5
Suppose 1171*z - 1158*z = 39. Solve 27 = -5*n + 3*i + 20, 4*n - z*i = -5 for n.
-2
Let m(t) = 9*t - 31. Let p be -6*((-66)/18 + 3). Let w be m(p). Solve -6*i = -11*i - w*a - 20, -3*a = -2*i + 17 for i.
1
Suppose a = -4*a. Suppose a*t + 2*t = 24. Let h = t + -9. Solve 5*b + 0 = -3*i - 11, h*b - 3*i - 3 = 0 for b.
-1
Suppose 38 = x + 18*x. Solve j + 4*c = -x*j - 13, -5*c = -3*j - 4 for j.
-3
Suppose 0*o + 3*o - 4*g - 15 = 0, -4*o - g + 39 = 0. Solve b + m = -o, 0*b + 4 = -4*b + 4*m for b.
-5
Suppose 2*r - 10 = 3*b, -b - b - 20 = -4*r. Suppose 7*c + 29 = 246. Let n be (7 + -21)/(1/(-2)). Solve 0 = -3*d - r*y - c, 0*d + n = -4*d - 4*y for d.
-2
Suppose 0 = 4*p - 7*p + 2*j + 48, 84 = 5*p - 2*j. Suppose -248 = -11*r - 138. Solve -q + r = 4*w + 25, -2*q = 4*w + p for w.
-3
Suppose 2*z - 10 = 4*z. Let q(c) = c + 10. Let y be q(z). Solve -2*l = -5*l + 6, -x - y*l + 9 = 0 for x.
-1
Suppose 23 = -s + 3*d, 5*d = 4*d + 3. Let i = -14 - s. Solve -5*a + 2*y + 2 = 0, 3*a - 5*y + 2*y - 3 = i for a.
0
Suppose 3*w + o = 9 + 1, 0 = 3*o + 6. Let a be w/(1 - 3) + 4. Solve -3*j + v - a = 0, -15 = -4*j - 4*v + 9 for j.
1
Suppose 8 = 2*f - 2*v, -3*f + 5*v + 2 = -6. Let x be f/14 - (-828)/28. Solve 2*z + 2*z + 20 = 0, -5*c = z + x for c.
-5
Let n be ((-36)/24)/((-6)/8). Suppose n*h - 6*h = -12. Solve 6*v - v = d - 3, d + h = -v for v.
-1
Let h = -136 - -144. Solve x - 4*b = -x + 24, -2*b = h for x.
4
Let g = 96 - 86. Solve -5*v + 4*r - 12 = 0, 3*v = 2*r - r - g for v.
-4
Suppose -6*i + 108 - 18 = 0. Let b(s) = -s**3 + 5*s**2 + 5. Let o be b(5). Solve 0 = a + k + 6, a - k = -o*k - i for a.
-3
Suppose 4*k - 3*k = -5*z - 22, -3*k + 4 = z. Suppose k*i - 14 = -35. Let v = 7 + i. Solve -f = -4*f + 12, 5*d + 5*f - 10 = v for d.
-2
Let n(u) be the first derivative of -10*u - 7*u**2 + 6 + 1/3*u**3. Let j be n(15). Solve 7 = j*o + 2*d - 12, -o + 14 = -3*d for o.
5
Let b = 37 + -34. Let a be (-8)/(-4) + -2*1. Suppose a*n = -n. Solve -b*c + 1 = -2*l, 4*c - 7 = -3*l - n*c for l.
1
Let k be 18/4*(154/(-21))/(-11). Suppose -5*z = -2*s - 20, 3*z - 16 = -z - k*s. Solve -4*r - z*m + 11 = -3*m, 3*r - 5*m - 14 = 0 for r.
3
Suppose -48 - 108 = -12*n. Solve 0 = -5*c + 4*r + 5, 3*c - n = -4*r + 22 for c.
5
Let q be 1575/18*6/5. Let i = -100 + q. Solve 8 = -i*p + c, 5*p + 2*c + 11 = 4*c for p.
-1
Let g(d) = d**3 + 26*d**2 - 23*d + 110. Let q be g(-27). Solve q*u - 1 = -5*b, 0 = -u - 8*b + 3*b + 3 for u.
-2
Let j be (2 + -3)/((-8)/16). Suppose j*o = -7*o. Solve 5*i - 3*k - 11 = -o*k, -5*k = 5*i - 35 for i.
4
Suppose 4*x - 12 = -3*r, 3*r - 2*x + 4*x = 12. Suppose 5*t - 2*t = 0, -r*h + 12 = 2*t. Solve h*a = -v - 7, 2*v - 5*a - 1 - 7 = 0 for v.
-1
Suppose r - 1 = 2*o, 2*o = -r + 5*o - 1. Suppose -l + 3*y + 14 = l, -r*y = -2*l + 14. Let x = l - -1. Solve 2*u - g + x = -0, 0 = 4*u - 4*g + 16 for u.
-4
Suppose 0 = -t + 2. Suppose 42 + 6 = 16*p - 0. Solve 0 = -3*d - d - p*o - 20, t*d - 8 = 3*o for d.
-2
Suppose 0 = 3*s - i - 3, -2*s + 3*i + 3 = 1. Let j be 2/2 - (3 - s). Let u = j - -1. Solve u = 4*y - 2*q - 2*q - 8, -y + 5*q = 2 for y.
3
Let r(x) = -2*x - 3. Let s be r(-15). Suppose 0 = -3*p + 2*o - 6*o + s, -4*o = p - 1. Solve -3*q - p = v - 3, -3*v + 22 = -4*q for v.
2
Let u = 170 - 167. Suppose -2*d = 4*v - u*d - 33, v - 3 = -5*d. Solve v = -3*p + q, -6*q = -4*p - 3*q - 14 for p.
-2
Suppose 4*p - 31 = -2*y + 31, 0 = p + y - 15. Let m = 13 - p. Let s be m + 1/((-2)/(-14)). Solve n + 11 = -s*n - 4*f, f + 4 = 0 for n.
1
Suppose 16*k - 17*k + 8 = 0. Suppose 6*p + 14 = k*p. Solve z - p = -4*f - 18, 4*f + 5*z - 9 = 0 for f.
-4
Let i = 203 + -200. Solve i*l = -n - 1 - 0, -1 = -5*l - n for l.
1
Let a = 539 - 536. Solve -a = -3*t - 3*m, 2*t + 4*m - 2 + 0 = 0 for t.
1
Let q(j) = -2*j**2 + 15*j - 13. Let i be q(6). Solve -5*t + t = 5*a - i, 3*t + 30 = 3*a for t.
-5
Let n be 0/((-7)/((-35)/(-5))). Solve n*m - 2*m = -2*p, 2*p + 5*m + 21 = 0 for p.
-3
Suppose 5*c + 3 = 13. Suppose 1 = c*v - 3. Suppose 5*f - 2*f + 9 = 0, -2*r = -3*f - 19. Solve -2*s - q - 8 = -v, r*s + 13 = -3*q for s.
-5
Let v(j) = j**2 + 4*j. Let p be v(-4). Suppose -19*x = -37 - 20. Let q be p*4/12*x. Solve q = -k - n - 2, 0*k + n = k - 2 for k.
0
Let f(g) = 8*g - 25. Let o be f(7). Let n = o - 23. Solve 3*j - 7*j = -3*t - 12, 2*t - 3*j = -n for t.
-4
Suppose -5*x + 25 + 25 = 0. Suppose 3*b - 