- n*y, x - 2*y = -x - 8 for x.
-3
Let f be (-2)/4 - 195/(-2). Suppose 5*h = 3*j + 112, -2*j - 3*j + f = 4*h. Solve 0 = 2*n - 5*g - h, -5*n + 11 + 6 = g for n.
4
Let r = 15 - 10. Solve -5*w - 10 = 5*q, 5*q + 26 = r*w + q for w.
2
Let y be ((-8)/(-6))/((-1)/3). Let c be (5/y)/(1/(-4)). Suppose -c*u = h - 18, 0 = -h - 4*u + 3*u + 6. Solve t - 5 = o + 6*t, -4*o + h*t + 26 = 0 for o.
5
Let g be (-1 + 1/(-1))*1. Let h(k) = -3 - 20*k**2 - 4 + 5 + 21*k**2. Let t be h(g). Solve -2*q + 0 = -t*v + 10, q + v = 3 for q.
-1
Let w(v) = 2*v - 2*v - v + 1. Let q(m) = 3*m - 6. Let a(l) = q(l) + 2*w(l). Let b be a(4). Solve 2*r - 2 = b, -3*f - f + 21 = 5*r for f.
4
Let a(i) = -i**2 - 6*i + 2. Let d be a(-6). Suppose d - 11 = x. Let t = x - -13. Solve -2*f = -2*b + t, 0 = 3*f - 6*f - b + 2 for f.
0
Let w(a) = a**3 + 7*a**2 - 11*a - 20. Let p be w(-8). Solve -5*g - 25 = 0, 1 = -p*y + 2*g - 1 for y.
-3
Let l = 29 - 25. Solve 6 - 2 = -l*q - 2*h, -5*h - 24 = -4*q for q.
1
Let d = 4 + -2. Suppose -d*s + 5*s - 5*p = 31, -5*s + 5*p = -45. Let z = -4 + s. Solve 12 = 3*b + 3*x, -3 = 3*b + x - z*x for b.
1
Let n(o) = -o**2 - 8*o + 12. Let z be n(-9). Let q be z/((2 - 1)*1). Solve -2*g - 2*s + q = s, -18 = 3*g - 3*s for g.
-3
Let a(s) = s**3 - 6*s**2 - 6*s - 1. Let f be a(7). Solve -r + 5*w = -4*r - 2, 0 = 3*r - 3*w - f for r.
1
Let q be 6 + (-2 - -1)/1. Solve s + 5*j - 30 = 0, 3*j = -s + 5*s - q for s.
5
Let a be ((-6)/5)/((-3)/10). Solve -41 = 5*z + a*p - 0*p, 17 = -z - 3*p for z.
-5
Let h(l) = -2*l - 3 + 9 + l. Let n be h(5). Let t be (2 - (1 - 1)) + (-2)/(-1). Solve -3*s = -t*o - n, 0 = -o - s + 2*s - 1 for o.
2
Let s(r) be the first derivative of r**4/4 - r**3 - 3*r**2 - r - 8. Let w be s(5). Solve -3*y - 33 + 12 = 5*h, 5*y + w = -3*h for h.
-3
Let f(m) = 3*m + 10. Let j be f(-5). Let l be -2 + 1 - 15/j. Solve -5*u = -z + l, 2*z = 3*u - 4*u + 4 for u.
0
Let n be 4 + (2 - 5)/3. Suppose -2*r - 4*o = 16, -r - 12 = -2*r + 2*o. Solve -3*b - r*x + 7 = 0, n*b + 2*x = -b + 12 for b.
5
Let y = 38 - 38. Let h(w) = -9*w - 3. Let p be h(-2). Solve -3*c + p = y, 0*u = -u - 2*c + 11 for u.
1
Let p(j) = 4*j + 4 + j - j**2 + 2*j**2. Let s be p(-5). Solve s*o - 14 = 4*z + 6, 3*o - 5*z - 25 = 0 for o.
0
Let v(g) = -g**2 + 8*g - 8. Let x be v(6). Suppose -x*n + 29 = -w, 2*n + n + 5*w = 39. Solve 2*q - 2*b = b - n, -q - b = -6 for q.
2
Let v(l) = -l**3 - 3*l**2 - 2*l. Let h be v(-2). Let g = 2 - h. Solve -5*r + 0*r = -2*x - 16, -4 = g*x - 2*r for x.
2
Let u = -2 + 6. Solve 0 = 3*d + 3*f + 21, -u*d - 2*f = -0*f + 24 for d.
-5
Let k be 10/6*96/80. Solve z - c = -3*c - 12, 0 = k*z + 3*c + 19 for z.
-2
Let z(i) = -2*i - 4. Let q(h) = -h**2 + 0*h + 10 - 4 - 3*h. Let k be q(-5). Let g be z(k). Solve 4*u + 20 = 0, 3*n + g*u + 1 = -4 for n.
5
Suppose o + 76 = 4*b, -5*b + 68 = -b - 3*o. Suppose -3*j - j + b = 0. Solve 3*v - 3 = -6*q + 3*q, q - j*v = 7 for q.
2
Suppose -5 = -i + 2*i. Let n = 0 - i. Suppose -4*o + 2*o - n*u = -30, -2 = -2*o + 2*u. Solve -4*b + 0*b + 14 = o*p, 5 = b + 2*p for b.
1
Suppose -6 = -2*o - o. Suppose -n - n = q + 18, 5*n = -q - 24. Let g = -9 - q. Solve 2*z + g*h + 7 = 0, h + o*h + 17 = 2*z for z.
4
Let j(i) = -i - 3. Let l be j(-5). Suppose l = c - 2. Solve -2*n + b + 4 = -0*b, -4*n = -c*b - 8 for n.
2
Let i = -2 + 8. Suppose 2*h - i = -0*h + 4*a, -a + 3 = h. Solve 5*r + 0*r = m, 14 = r - h*m for r.
-1
Let b(g) = -4*g - 3. Let k be b(-2). Suppose l = k*m - 9, 2 = 3*l - 2*m + 3. Solve -r = -4*x - 15, 19 = -x - 3*r - l for x.
-5
Suppose 0 = 3*j + 5 - 17. Solve -2*t + 2 = 2*g, 0*g - j*g = t - 1 for g.
0
Suppose -2*j - 20 = -0*r - 2*r, -j = r - 10. Solve -c - 5*x + r*x - 14 = 0, -16 = 5*c + 2*x for c.
-4
Suppose -2*k + 8 = 2. Let l be (-1)/(-3) + 11/k. Solve 4*b - 5*d = -l, -4*d + 5 = -11 for b.
4
Suppose 4*r + 12 = 4*f, 5*f - 35 + 4 = -3*r. Suppose 7*m = r*m + 10. Solve -m*x = x, -5 = -d + x for d.
5
Suppose -5*g - 6 + 44 = -3*t, 0 = 3*g + t - 20. Solve x - 2*o - g = 0, 2*o = 4*o + 8 for x.
-1
Suppose -4*b = -5*c - 39, -2*b = -5*c - 4 - 13. Let n be -1*1/(-2)*0. Suppose n = 2*s - 3 - 5. Solve -s*w = -12, 4*w - w = 5*g - b for g.
4
Let i(c) = -c - 1. Let d be i(-6). Let n(w) = -w**2 + 5*w + 5. Let a be n(d). Solve 0 = -a*t - 3*b - 11, -8 = 5*t - 7*t + 5*b for t.
-1
Let f = -6 + 6. Solve 7*z - 20 = 2*z, -4*c - z + 24 = f for c.
5
Let b(v) = -v**3 - 6*v**2 + 5*v - 9. Let g be b(-7). Solve -4*c = -2*n - 10, 3*n = -g*c - 2*n + 20 for c.
3
Let b = -11 + 19. Suppose 6 = -3*y, -2*y - 24 = 3*t - b*t. Suppose 116*a - 111*a - 25 = 0. Solve -16 = -a*d - 2*x, -19 = -5*d - t*x + x for d.
2
Suppose 0 = -5*w + 3 + 2. Solve -3*p + 2*m = -0*m - w, 3*m = 4*p - 3 for p.
-3
Let h = -45 + 50. Solve -4*v + 4*y + 4 = 0, 3*v - h*y - 5 = 2 for v.
-1
Suppose -4*p + 9*p = 2*c - 12, 2*p = -8. Let v = c - 0. Let d be (10/4)/((-2)/v). Solve -r + 3*r + 18 = -d*x, 5*r + 2*x = -3 for r.
1
Let m = -6 - -11. Suppose m*r + 7 = p + r, 0 = -p + 5*r + 6. Solve 4*g - 14 = -k + 3, 4*g = -3*k + p for g.
5
Let u = -3 - -10. Let s = u + -4. Let v be 2*-1 - -4 - -1. Solve 5*n = -4*k - v - 3, -s*n + 4*k = -22 for n.
2
Suppose 187 = 4*s + 179. Solve -l = -2*t + 2*l - s, 4*l = 0 for t.
-1
Let x = 0 - -2. Suppose -3*v = x*v. Suppose v = k - 5*k. Solve u + k = -2*i + 2, -u - 4 = -4*i for u.
0
Let w be (18/(-5))/(3/(-15)). Let r be (-6)/21 + (-60)/(-14). Suppose -r*g = -g - 15. Solve m + l = -2*m - 6, -m + g*l = w for m.
-3
Let c(j) = j + 4. Let k be c(-7). Let u(s) = -2*s - 1. Let w be u(k). Solve -3*f - 15 = w*i, 4*f + 0*f = -4*i - 20 for f.
-5
Let w = -67 - -69. Solve 2*q - 3 = -5*u, -5*u + 4 = w*q - u for q.
4
Let k(r) = -r**2 - 6*r + 16. Let g be k(-8). Solve 0 = -5*y - 15, g = -0*c - 2*c + 3*y + 3 for c.
-3
Let w(i) = i**2 - 6*i - 8. Let s be w(8). Let g be (2 + s + 0)/2. Suppose -1 = -4*u + 3*u. Solve u = o, -o = g*n - 9 - 12 for n.
4
Let g = 101 + -96. Solve -4*n + o = -3*n + g, -4 = -4*o for n.
-4
Suppose -3*p - 5*l + 2*l = 21, l - 23 = 5*p. Let z = -2 + p. Let i = 10 + z. Solve -7 = -c + b, c - 2*b - 2 = i*c for c.
3
Let b = 14 + -13. Suppose 0 = 2*s - 5 - b. Solve 16 = -s*p - d, 0*d - d + 16 = -5*p for p.
-4
Let h be 14/(-2)*(2 + -1). Let n be -1 + (0 + 1)*h. Let z = n + 13. Solve z*v = 2*y - 7 - 5, -v = 5*y + 24 for y.
-4
Suppose -5*u - 2*j = -j, j = -2*u. Suppose -3*i = -u*i - 3. Let k be (2/4)/((-1)/(-4)). Solve 0 = m + 2*y + i, -7*m + k*m + y - 5 = 0 for m.
-1
Suppose v = -3*b + 4*v + 18, -3*b - 6 = 3*v. Solve -3*k - b*y = 4, 0*k = -k - y - 2 for k.
0
Let x = 14 + -15. Let o be (2 - x) + -2 + 1. Solve 0 = -d + 2*n - o, -4*d - n = 17 for d.
-4
Let m(t) = -8*t + 1. Let a be m(-1). Suppose -61*x + 2 = -60*x. Solve x = u - 4*b, 4*u + a = -b - 0 for u.
-2
Suppose -7*y + 18 = -17. Solve -a - 2*v + v = 0, 0 = -y*a - 3*v for a.
0
Suppose -5*p = 5*b + 15, 5*p = 8 + 2. Let m(f) = -f**2 - 5*f + 2. Let o be m(b). Solve 4*x - o*k = -10, -2*x - 3*x + 3*k = 11 for x.
-4
Suppose -r - 6 = -2*r. Solve 5*t + 5 = 0, -2 - r = 3*c + 2*t for c.
-2
Let l(o) = -4*o**2 - 2*o**3 - 3*o**3 - 2*o + 4 + 4*o**3. Let m be l(-3). Let t be (2 + m)/(-6)*-70. Solve -3*i + a - 10 = -4*a, -2*a = 5*i - t for i.
5
Suppose -7*x - 125 = -2*x. Let g = -13 - x. Suppose -3*t - 3*u = -g, -3*u + 10 + 2 = 0. Solve 2*d = q - 0*d, 5*q + d = t for q.
0
Suppose 0 = 14*m - 7*m - 35. Suppose -4*g = -9*g + 30. Suppose -2*q = 3*i - 4 - g, -q + 19 = -2*i. Solve -17 = d - m*b, -d - 3*b + q = -b for d.
3
Let z(h) = -h**3 + 10*h**2 + 10*h + 16. Let r be z(11). Solve -r*o + 3*d = 2*d + 28, -2*o - 4 = 2*d for o.
-5
Let b be 1/1 - (-3 - -2). Let y = 8 - 5. Suppose -5*v - 2 = z, y*z = 5*z + 4*v - 2. Solve g + m = 5, m - 16 = -b*g - z*m for g.
2
Let c = 13 - 7. Solve -4*z - 4*b = -16, 4*z - c = 3*z + b for z.
5
Let a be (-3 + -2)*-2 - 2. Solve -5*r + 11 = -4*v, -4*r + a = -r - v for r.
3
Let c be (2 - 1) + (-56)/(-4). Let h = c - 11. Let u = 26 + -17. Solve -5*j = -3*f - 2*j + u, h*j = 0 for f.
3
Suppose 4*d - 20 + 8 = 0. Suppose 0 = -7*b + 9*b - 8. Suppose 0 = 4*f + b*v - 104, 0 = 4*f - 3*v - 71 - 12. Solve 2*k + d*c = 4*k - 13, f = -3*k - 4*c for k.
-1
Let r(h) = -h**2 - 6*h + 1. Let p be r(-6). Suppose 4*b - 4*o = b + 103, b + 3*o = 30. Solve -p = -j + q, -5*j + 2*q + b = 4*q for j.
5
Let n(g) = 2*g - 15. Let w be n(17). Solve 0 = 3*u + 2*u + 5*t - 35, w = 5*u + t for