 = v*x - 5*x - 6, 3*x + g = 12 for x.
3
Let s(r) = r - 1. Let y be s(-5). Let b be 9/(-6)*16/y. Suppose g = -2*i + 12, -6*i = 4*g - 7*i - 3. Solve -2 = -3*l - a, -b*a + 3 = g*l - 15 for l.
-1
Let a(o) = -8*o - 404. Let z be a(-51). Solve -4*p + 6 = z*x - 2*x, -4*p = -4*x + 24 for p.
-1
Let z(p) = -p**2 + 22*p - 48. Let w be z(19). Solve l - 2*g = w, 3*l - 2*g - 6 = -3*g for l.
3
Suppose -3*o - 8*g = -3*g + 14, 5*g + 12 = -4*o. Solve -2*k - p + 4 = 0, 0 = -5*k - 2*p + 10 - o for k.
0
Let z(v) = -v**3 - 10*v**2 - 10*v - 3. Let a be z(-9). Let j(r) = r**3 - 5*r**2 - 7*r + 9. Let m be j(a). Solve -3*p + 16 = -m*h - p, h + 6 = p for h.
-4
Suppose 0 = 5*f - 2*a - 127 - 18, -5*a = -2*f + 79. Solve -3*u - 4*q = -f, 5 = 2*q - 1 for u.
5
Let k be (-518)/(-21) - (-2)/(-3). Let p be (-2)/4 - (-108)/k. Solve 2*j + 16 = 2*u, -2*j = -u + 3*u - p for u.
5
Suppose 2*o + 0 = 3*f + 5, 0 = 5*o + 3*f - 44. Let x be (18/(-12))/((-3)/10). Solve 2*q - 15 = -5*u, 3*q - o - 3 = -x*u for q.
-5
Let b = -315 - -326. Solve -2*w = -5*g - 25, -9*w = 2*g - 10*w + b for g.
-3
Let g = 8 - 24. Let b = 20 + g. Solve -2*q = -2*y - 6, -6*y = b*q - 3*y + 23 for q.
-2
Suppose 23 = -5*c + 2*s, 5*c - s + 10 + 9 = 0. Let o be 4/((-5)/c + -1). Suppose -5*n = o - 26. Solve 4*u - 2*l - 2*l = -8, -4*l + 16 = n*u for u.
1
Let q(c) = -c**3 + 3*c**2 + 5*c - 3. Suppose 4*d - 4 = 8. Let z be q(d). Solve 2*w - w - 5*o = 18, -5*o = w + z for w.
3
Suppose 5 = -5*j, 0 = 4*a + 2*j + 3 + 7. Let s be 6/(-1 + a + 2). Let o be 3/s + 44/8. Solve d = -d + 4*k - 8, -o*k + 10 = 2*d for d.
0
Suppose 4*j = 44*u - 46*u + 26, 5*u - 3*j - 104 = 0. Solve 2*b - 5*v + 5 = -20, 2*v + u = -5*b for b.
-5
Suppose 2*m - s + 6 = 3*m, -m + 5*s - 12 = 0. Solve w - c = 3, -2*c = -m*w - 4*c + 19 for w.
5
Let o be -36*3*(-1)/4. Let y = 81 - 81. Suppose 2*i - r = -y*i + 4, -4*i - r + 20 = 0. Solve 0 = -5*v + i*b - 15, -5*b + o = 2*v - 0*b for v.
1
Let c(t) = -6*t + 33. Let f be c(5). Solve -2*b = -f*b + 4, 4*k + 8 = 4*b for k.
2
Let b(g) = 7*g - 4. Let l be b(1). Suppose -t = -n + 14, -2*t + 25 + 12 = 3*n. Solve -i = l*s + n, 3*i = -s + 4*i + 1 for s.
-3
Suppose 381*i = 377*i + 20. Solve -2*k + 10 = i*z, 5*k + 6*z - 25 = z for k.
5
Let w(j) = 2*j**2 + 10*j - 6. Let a(d) = -d. Let n be a(5). Let l be w(n). Let b(v) = -3*v - 12. Let o be b(l). Solve -3*f - o = 0, 3 = -t - 2*t + 3*f for t.
-3
Let i(d) = 2 + 2*d - d + 5*d**2 + d. Let f(n) = -2*n + 7. Let y be f(4). Let o be i(y). Solve -3*r - 5*b - 45 = 2*r, -o*r + 4*b = 0 for r.
-4
Suppose -b - 4*b - 61 = -3*p, -15 = -p - b. Solve 0 = x - 3*r + p, r + 4*r = x + 25 for x.
-5
Suppose 0 = o - 2*p - 1, -5*p - 6 = 5*o - 26. Solve 0 = o*i, 3*h = 3*i + i + 6 for h.
2
Let d(x) = x**3 - 31*x**2 + 28*x + 73. Let w be d(30). Solve 3*y = 5*s - 22, 0 = -4*y + 2*s - w - 7 for y.
-4
Let b be 8/(-5)*115/(-23). Suppose -7*i = -3*i - b. Solve 0 = 6*l - 2*l + 3*w + 26, 4*w - i = 2*l for l.
-5
Let s be (-38)/(-9) - 7*(-8)/(-252). Solve 5*t = -3 + 8, -4*g = -s*t + 24 for g.
-5
Let a(f) = -f**2 + 7*f + 7. Let y be a(6). Let p(d) = -d**3 + 14*d**2 - 12*d - 6. Let l be p(y). Solve z + 18 = -2*z + 3*s, -2*s = -z - l for z.
-5
Let j(i) = i**2 - 5*i + 8. Let m be j(4). Suppose n + 2 = m. Solve 0*h - n*h - 20 = 3*w, -2*w = 2*h + 16 for h.
-4
Let s(w) = -w - 1. Let k(q) = 4*q - 19. Let b(a) = -k(a) - 2*s(a). Let g be b(8). Solve 3*z - 2*z + g = -3*x, -x = 2*z - 5 for x.
-3
Suppose -5*w + 11 = 1. Let k(o) = 0 + o - 1 + 7 - w*o. Let x be k(3). Solve 0 = 5*b + 2*i + 10, 4*b + x*i - 7 = 2*b for b.
-4
Let y = 26 + -16. Let s be 1/((-5)/10)*y/(-4). Solve -b - 9 = -0*c - 4*c, -c + 26 = -s*b for b.
-5
Let d = 125 - 117. Solve -2*i - 3*c - 10 = -d*c, -5*i + 2*c - 25 = 0 for i.
-5
Let m be (-370)/(-40) + (-1)/4. Suppose -m = -4*s + 3*v, -s = 2*v - 5*v - 9. Solve -l - 2*u - 4 - 6 = s, u = l - 5 for l.
0
Suppose -11*c + 80 = -7*c. Let i = 22 - c. Solve 5*v + 5 = 5*w, -w + 16 = i*v + 3 for v.
4
Suppose -9*g + 4*g = 0. Suppose 75 = -43*u + 548. Solve o - 2*o - b + 7 = g, 5*o - b = u for o.
3
Let x(f) = -10*f + 156. Let p be x(15). Solve 0 = 2*k - 4*z + 14, -p - 1 = 5*k + 4*z for k.
-3
Let f = 10 - 6. Let l(y) = -15*y + 25. Let o be l(4). Let u = o + 38. Solve 5*w + u*h = -25, -h - f = -3*w + h for w.
-2
Suppose -4*p - b = 3*b - 36, 0 = p - 3*b - 1. Suppose -200 = 2*r - p*r. Suppose -6*y = -y - r. Solve -2*d - 5*l = 9 + 3, -3*l - y = 2*d for d.
-1
Suppose 0 = 82*n - 97*n + 45. Solve y = -3*j - 2*y - 9, -n*y = -2*j + 14 for j.
1
Suppose -2*t - 35 = -9*t. Let c = 28 - 16. Solve c = 4*v - 5*w, -5*w - 15 = -t*v - 0*v for v.
3
Suppose 2*q - 5*n - 31 = -2*q, 11 = 5*q + 3*n. Solve 5*b + w + 3 = 4*b, -5*b - q*w - 15 = 0 for b.
-3
Let k be 8*(-4 - (-34)/8) - 1. Suppose 4*z + k = 3*i - 6, -z + 12 = 2*i. Solve 0 = 3*s + 3*c + 3, -i*s + c + 2*c + 19 = 0 for s.
2
Let j be (-1115)/45 + 4/(-18). Let i be (5/(j/60))/(-2). Solve -a + 11 = -2*a + 4*q, q = 2*a - i for a.
5
Suppose -2*f = 10*f - 384. Let z be ((-11)/4)/((-8)/f). Solve 3*l - 5 = -3*n - 2, -3*n = l - z for l.
-4
Let t(w) = -2*w**2 - 12*w - 17. Let g be t(-8). Let u = -6 + g. Let b be ((-121)/u)/(1/5). Solve -2*v + z = -1, -2*z - b = 5*v + 9 for v.
-2
Suppose c = 8 + 16. Suppose 4*y + c = -5*k - 31, y = 4*k + 2. Let s be (-44)/y + (-4)/10. Solve -4*f - 2*q + q + 16 = 0, s*q = -f - 11 for f.
5
Let p be -5 - (1/5*0 + -10). Let i(j) = -4 + 2*j**2 - 7*j + 4 + 2. Let g be i(p). Solve -3*h - g = 5*m, -2*h + 0*h - 18 = 5*m for h.
1
Suppose 5*d - 24 = 3*d - 5*k, 10 = -d + 3*k. Let y(l) = 3*l**2 - l + 2. Let j be y(d). Let u = j - 6. Solve 3*r - 5*i + 12 = 0, u = -3*i + 5*i for r.
1
Suppose -j + 2*j + 12 = 2*n, 4 = -2*n - 3*j. Suppose 6*s + 81 - 93 = 0. Solve -3*d - 32 = -n*x, s*x + 5*d = -0*d - 10 for x.
5
Suppose -2*l + 7*l = 5, -l + 37 = 3*n. Suppose 0*q - q = -n. Solve -a - 9 = 3*h - 4*a, 4*a = -4*h - q for h.
-3
Let l(v) be the second derivative of v**4/4 - v**2/2 - 2*v. Let h be (-6)/(-2)*1/(-3). Let z be l(h). Solve -u = u - z*b + 8, b = 5*u for u.
1
Suppose 0 = -19*s + 16*s + 15. Solve -2*k - s*u + 3 = 0, -3*k = -u - u - 14 for k.
4
Let c(a) = -2*a - 35. Let s(k) = -k - 1. Let f(g) = c(g) - 4*s(g). Let t be f(17). Solve -q + 3 = -z, -5*q - t + 12 = -2*z for z.
-2
Let p(a) = a - 5. Let m(t) = t**3 - 2*t**2 - 8*t + 5. Let r be m(4). Let n be p(r). Suppose n = -5*j + 7 + 8. Solve 0 = q - 4*s + 6, -2 - 1 = -j*s for q.
-2
Let s be (-88)/22 + 1 + 5. Solve 5*p - 5*q = -0*q, 8 = -2*p - s*q for p.
-2
Let n be (125/20)/5 - 3/(-4). Suppose 2 - 1 = z. Let t be z*(1/1 - -4). Solve 4*g = -t*k + 8, 2*k - n*g + 6 = g for k.
0
Let w be (25/(-50))/(2/(-8)). Solve w = -2*i + 2*q, -4*i + 2*q = 4 + 4 for i.
-3
Suppose -2*w + 12 = 4*k, 0 = -w + 2*w + 4*k - 10. Suppose 4*u - 8*u = 2*a - 16, -4*u + w*a + 8 = 0. Solve 3*b - 5*s = -35, u*b + 4*s = -b - 4 for b.
-5
Let j be (-4)/18 + (-112)/(-18). Let u = j - 4. Suppose s - 4*g = 0, 19 = 3*s + s + 3*g. Solve -u*a - 4 + 16 = 5*c, -s*a + 12 = 4*c for a.
1
Suppose 2*s + 75 = 5*s - 3*w, 0 = 4*s - 5*w - 105. Let j = 20 - s. Solve -2*p - g + 2 = -3*g, -2*p + 3*g + 7 = j for p.
-4
Suppose -8*k = 76 - 612. Suppose 0 = 69*i - k*i. Solve 0 = -w + 3*z - 1 + 3, i = 3*w - z + 2 for w.
-1
Suppose -4*v - 4 = -4*k, 7 = -3*k - 2*k + 2*v. Let x be 5 + 0 + 0 + k. Let d = -1 - -1. Solve x*n - 4*n - 19 = 3*u, 4*u + n + 22 = d for u.
-5
Suppose 2*n = -2*n + a - 190, 2*a = -2*n - 100. Let f be (n/40)/(2/(-5)). Solve 3*m = -f*p + 18, 2*p + 2 + 7 = 5*m for m.
3
Let s be (-676)/(-2197) - 70/(-26). Solve 22 = -4*p + s*u, -5*p + 4*u - 4 = 24 for p.
-4
Suppose -2*m = -5*b + 10, -4*b = -11*m + 8*m - 15. Solve b = -3*l - l - 3*u - 8, 5*l + 3*u + 10 = 0 for l.
-2
Let h(w) = 1. Let f(z) = -z**2 + 17*z - 22. Let o(n) = f(n) - 4*h(n). Let k be o(15). Solve 3*y - k*r = 9, -y + 0*r + r = -3 for y.
3
Let l(g) be the second derivative of -g**5/20 + 11*g**4/6 + 3*g**2/2 - 15*g. Let i be l(22). Solve -f - 1 = -4*m + 3, -4*f = i*m + 16 for f.
-4
Let c = 34 - 13. Suppose -26*o = -c*o - 25. Solve 3*g - 3 = -o*q, -3*g - 1 = g + 5*q for g.
-4
Let v be (-45)/(-6) - 2 - 12/8. Solve 3*h - v*x = -h - 20, h - 19 = -5*x for h.
-1
Let b = 0 - 10. Let g be 0 + -3 + 2 - b. Let o = 13 - g. Solve -4 = -2*s - 10, o*p - 3*s + 7 = 0 for p.
-4
Suppose 4*w - 14 = 6*j - 3*j, -3*w = 5*j + 4. Solve 0*q = 4*x - w*q +