olve 4*l - n - 13 = x, -2 = 2*l - 2*n - 16 for l.
2
Let z = 0 + -4. Let w be ((-10)/4)/(2/z). Let b = 22 + -7. Solve w*f - 15 = -3*l, -f = -3*l + f + b for l.
5
Let a(h) = -4*h. Let o be 1/(-1) - (-3 + 3). Let v be a(o). Solve -w - v*i = 2 - 8, -4*i = -w - 10 for w.
-2
Let m be (0/(-1))/(6 + 56/(-8)). Solve o + 3 = m, o - 2*o + 9 = -4*k for k.
-3
Suppose -4*p - 1 = -9. Solve -15 = -5*m - 2*v, -6*m + p*v + 30 = -2*m for m.
5
Let w(o) = o**3 - 5*o**2 - 12*o - 8. Let i be w(7). Solve -2*d - i = -3*u + 3, 0 = 5*d + 5*u + 10 for d.
-3
Suppose 5*u - 49 = 4*m, 3*u = 2*u + 4*m + 13. Solve -u = -n - 4*w + 12, -3*w = -2*n - 13 for n.
1
Suppose -7*v - 3*h = -3*v, 0 = -v + 5*h. Suppose r + 6*o - 3*o - 8 = v, 3*r = -o + 8. Let l be 2 + 3 + -2 + 0. Solve q = 1, 1 = -l*j - r*q + 3 for j.
0
Let h = -6 + 11. Suppose 7*y = h*y + 6. Suppose 9 = -i + 3*r - 0, -3*i + 5*r = 11. Solve s - y = 4*m, i*m - 2*s = -0*s - 1 for m.
-1
Let r be (8/20)/(1/50). Suppose 2*o - 6 = 3*g - o, 0 = 5*g - o + 22. Let m be (21/15 + -2)*g. Solve -4*j - 3*s + 6 = 23, -m*j - r = -5*s for j.
-5
Let q = 6 + -2. Let s = -4 - -8. Let r = q - s. Solve r*w + 1 = -i + w, 0 = 2*i + 4*w - 28 for i.
4
Suppose -8 = -2*m - 2*m. Solve 4*v + 4*r + 4 = 0, 6 = -v + 2*r + m for v.
-2
Suppose 8 = 4*m - 8. Suppose -w = -l - 5 - m, 3*w + l - 7 = 0. Solve p = -4*h - h - 3, 3*h = -w*p + 5 for h.
-1
Let o(t) be the second derivative of t**3/6 + 3*t**2/2 + 3*t. Let x be o(0). Solve 3*p + 2*h + 19 = 0, 0 = -5*p - 2*h - x*h - 35 for p.
-5
Suppose -2*b = -4*b + 4. Suppose -5*k = -2*d + 15, -2*k - 4 = 2*d + b. Solve 3*t + 5*y - 6 = d, t = 3*t - y + 9 for t.
-3
Let u = 3 + -2. Let z = 3 - u. Solve -4*f = -2*i, -2*i - z*i = 3*f for f.
0
Let o(q) = q + 11. Suppose 0*t - t = 6. Let g be o(t). Suppose g*p - 2*p + 2*f = 17, -f = p - 4. Solve -p = 5*j + k, -2*j - 2*k + 6*k = 8 for j.
-2
Let h = -23 - -26. Solve 4*m + 7 = -3*v, h*v - m - 2*m = 0 for v.
-1
Let y(h) = -h. Let j be y(-5). Let t be (-459)/(-36) - 6/8. Solve -j*w - 15 = 4*l, -4*w - 2*l + l - t = 0 for w.
-3
Suppose 0 = 2*z - 0*z - 3*m + 5, -3*z = -3*m + 3. Let a = -11 - -13. Solve -6*o - y = -z*o - 19, -27 = -5*o + a*y for o.
5
Let z be (1 - 1)*(-6)/(-12). Let b(d) = d**3 + 5*d**2 - d - 3. Let h be b(-5). Suppose 2*s + h = 6. Solve -s*c = z, 0*l - c = -l for l.
0
Suppose 0 = -4*p + 27 - 19. Solve -h = p*y - 3, -3*y - 12 = -4*h - 5*y for h.
3
Suppose 5*u + 19 = -2*n, -4*n + u + 8 = -5*n. Let q = -5 - n. Solve -2 = 2*x - 2*t, 0*x - q*t + 2 = 2*x for x.
0
Let o be ((-3)/9)/(1/(-6)). Solve -o*x = -3*a + 15, 2*a = -7*x + 2*x + 10 for a.
5
Let m be (-2)/(-20)*10/4*20. Solve -m*i + 30 = -5*x, -2*i + 3 + 2 = 5*x for x.
-1
Suppose -5*k + 7 = -3*h, 3*h + 8*k = 9*k + 13. Solve -z - a + 0*a + h = 0, -5*z - a = -18 for z.
3
Suppose t = -0*t + 60. Let w be t/16 - 1/(-4). Solve 17 = -u - w*g, 0 = 2*u + 4*g + 14 for u.
3
Suppose 9 = -3*j + 54. Solve h + 3*r - j = -2*h, r - 4 = 0 for h.
1
Let c(d) = -d**3 + 6*d**2 - 3*d - 6. Let r be -2 - -9 - (0 - -2). Let j be c(r). Let u = 4 + 1. Solve -16 = -5*h - 3*i, u*i + 1 = j*h + 3 for h.
2
Let o = 32 - 27. Solve -o*i + 20 = 5, i + 1 = -2*w for w.
-2
Let z be (12/(-4) - -3)/2. Suppose 3*c + 5 = 2*r - 13, r - 4*c - 19 = z. Solve -2*w = r*b, 6*w - 5*b = 3*w for w.
0
Let d = 0 - -4. Suppose -4*q = 16 - 256. Suppose 0*w - 5*w + q = 0. Solve d*p - w = 3*i, -3*p + 5*i - 1 = -10 for p.
3
Let d(y) = y**3 + y**2 + y. Let w be d(-1). Let t be -1 + (w - -2) - -1. Suppose 7*l = 1 + 20. Solve -n - 3 - t = -m, -l = -3*n for m.
5
Let m(h) = -2*h**2 - 9*h + 7. Let x be m(-5). Solve -3*k + 5*k - 2 = -3*n, 4*k - x*n + 12 = 0 for k.
-2
Let b(k) = -k + 6. Let p be b(6). Suppose p = 4*j - j - 69. Suppose h = -0*h + 4. Solve -x - h = l, -3*x = -3*l - 5 + j for l.
1
Let o = 2 - -1. Let b be 1 + (-3 - 0) + o. Let n be (b - -1)/((-6)/(-42)). Solve 4*w - 5*f = 16, 3*f - 3 = w - n for w.
-1
Let x be (6/4)/((-1)/(-2)). Suppose 2*k = 3*t - 7*t - 2, 3*k - 9 = 0. Let l = t + 4. Solve -5*b = -4*u - 3 + l, -5*b = -2*u - x for b.
1
Suppose -3*m = 2*m - 10. Let g(q) = q**3 - 12*q**2 + 2*q - 4. Let a be g(12). Suppose -5*u = -u - a. Solve m*p - f = 4, -5*f - 5 = u*p - 45 for p.
4
Let y = 82 + -71. Solve 3*k - 4*f = y, 5*k + 2 = k + 2*f for k.
-3
Suppose -4*u = 3*h - 21, 5*u + 3*h - 17 - 7 = 0. Suppose 2*d + 14 = -3*k - 2*d, -u*d - 13 = k. Solve -4*x = 3*o - 0*o + k, 0 = -o - 3*x - 4 for o.
2
Suppose d = -l + 5, 5*l - 1 = -0*d + d. Let i be -4 + 6 + (l - -1). Solve -i*m = -2*u + 22, 4*u + 3*m + 16 = -m for u.
1
Suppose -2 = b - 3. Let g = b + 2. Solve 0 = -l + 2*l + 3*d + 13, -g*l - 19 = 4*d for l.
-1
Let j(h) = h**2 + 12*h + 9. Let n be j(-12). Solve -4*v = -4*t + 4, 4*t - 5*t - n = 4*v for t.
-1
Let y(z) = z**2 + 12*z + 15. Let u be y(-10). Let w be u/20 - (-21)/4. Let i(c) = -c - 3. Let d be i(-6). Solve 3*n - 4 = w*n + d*a, -2*n + a = -12 for n.
4
Let n(k) = k**3 - 7*k**2 - k + 11. Let u be n(7). Solve 4*s - 5*f = 17, 0 = -3*s + 4*f - 2*f + u for s.
-2
Suppose -3*h = 12*h - 315. Solve -5*i + 2*t = h, 3*t - 12 = 2*i - i for i.
-3
Let x be 1 + -3*12/(-9). Suppose 4 = u - x. Let s = -4 - -8. Solve 5*c + s*w + u + 5 = 0, -5*w - 9 = 2*c for c.
-2
Let m(h) = h - 5*h + 3*h + 4 - 6. Let n be m(-6). Solve -n*k = 4*t - 8, -5*t + k - 6 = -4*t for t.
-2
Let l be (-6)/(-2)*(-1)/3*0. Solve -5*b - 13 = -5*c - 3, 2*b - 6 = l for c.
5
Suppose 5*g = -j + 3, 4*g - 7*j = -3*j + 12. Suppose g = -2*t + 5. Let x be -3*2/(-3) + -2. Solve x = t*v - 5*u + 21, v - 4*u + 3 = 4*v for v.
-3
Let a = -59 + 63. Solve -3*c = 5*x - 29, a*c - 27 = -3*x - c for x.
4
Let r be 1 + 1 + (0/(-4) - -3). Solve -5*d = b - 6*b + r, d + 5*b - 11 = 0 for d.
1
Let f = 14 - 10. Suppose -5*m + 13 = -f*r - 2, -5*r - m = -3. Suppose -3*z + 9 + r = 0. Solve -18 = -z*g + 2*k, 3*g + 3*k = 7*g - 25 for g.
4
Let b(s) = -s + 10. Let n be b(12). Let y(i) = -i + 1. Let h be y(n). Solve 5*d + 19 = f + f, 3*d - 4*f + h = 0 for d.
-5
Let n(o) = -5*o**2 - 2*o - 8. Let g(f) = -6*f**2 - f - 9. Let p(q) = 4*g(q) - 5*n(q). Let b be p(-6). Solve s = k + k - b, 0 = -5*k + 5 for s.
-2
Let t(m) = m**3 + 4*m**2 + 7*m + 9. Let h be t(-2). Solve o = -5*p - 12, -p = 3*p + 3*o + h for p.
-3
Let c = 6 - 4. Let i be (c + -1)/((-2)/(-10)). Suppose 20 = u + 3*u. Solve u*k - i = -3*g, 20 = -5*k - 0*k + 2*g for k.
-2
Let h(o) = -o - 1. Let g(i) = i**2 - 5*i - 8. Let a be g(6). Let f be h(a). Solve 0 = -5*w + 5*x - 30, f + 4 = 5*x for w.
-5
Let s be (-34)/(-10) - 6/15. Let o = 3 - s. Suppose 4*a - a = o. Solve 4*x - 3*i = -7, -4*i + a + 9 = -5*x for x.
-1
Let q(i) = 5*i**3 - 2*i + 1. Let m = -3 + 4. Let h be q(m). Solve -h*u + 8 = -0*g + 2*g, 5*u = -g + 16 for u.
4
Suppose -15 - 1 = -2*r. Solve 2*i - 5 = i + x, -4*i - 2*x + r = 0 for i.
3
Suppose 0 = 4*q - 5*d - 30, -3*q - 1 + 14 = d. Solve -3*x = -u - 3, -4 + 1 = u + q*x for u.
-3
Let u be (-92)/(-20) + (-2)/(-5). Suppose -c - 1 = 4*g - 4*c, -19 = -u*g - 3*c. Solve -g*p - 2 = -4*r - 0, p - 6 = -5*r for r.
1
Let f be (-57)/(-9) + (-2)/(-3). Suppose 3*d - f*d = -156. Let h = d + -19. Solve -5*l = -6*v + 3*v + h, -3*v - 3*l - 12 = 0 for v.
0
Suppose -4*m + 259 = -4*l - 225, l = -2*m + 239. Let p = 72 - m. Let q be 3*p/(-9) + 1. Solve -3*k - 3 = -r, r + 5*k - 4 + q = 0 for r.
-3
Let t be 4/(-6)*-9 + 2. Suppose -3*y + 1 + 9 = 2*x, 3*x = -3*y + 12. Let u(c) = -4*c + 1. Let w be u(-1). Solve -b - b - t = x*s, -w*s - 2*b - 5 = 0 for s.
1
Suppose 5*l - 5 - 5 = 0. Let s be l/(1 + (-2)/4). Solve 0 = -4*n - f - 17, s*n + 11 = -5*f + 2*f for n.
-5
Let l = 57 - 9. Suppose -8*f = -5*f - l. Solve -5*p - 17 = -0*x - 4*x, -4*x + 4*p = -f for x.
3
Let b(x) = x**2 - 25*x + 26. Let z be b(24). Solve 0 = 5*m - 5*c - 5, z = 3*c + 5 for m.
0
Let j(r) = -r - 1. Let w be j(4). Let o be (w + 2)*(1 - 5). Solve -3*l - 16 = -5*y, 3*y - o = 3*l - 0*l for l.
-2
Suppose 0 = -2*y - 3*y + 45. Let o = y - 1. Let x(m) = 2*m**3 - 5*m**2 + m + 5. Let w be x(3). Solve 0 = 3*z - o*z - 3*j + 16, -j + w = 4*z for z.
5
Let m = 0 + 3. Suppose 4*d = -0 - 4. Let r = m + d. Solve 3*t + 4*f = r*f + 3, 5*f = t - 18 for t.
3
Suppose 10*k = 4*k + 12. Solve w + 5 = k*w - z, 3*z + 12 = 0 for w.
1
Let o = -2 + 7. Solve -3*x - 4 = -5*x + 4*z, o*z + 23 = -2*x for x.
-4
Let p(c) = c**2 + 3*c**3 + 2*c + 0*c**2 - 1 - 3*c. Suppose 0 = 2*s - j - 0*j - 7, -