s - k, 4*n + 2*s - h = 0 for n.
3
Let k be (-5)/20 - (-17)/4. Solve -2*t = -t - 4*c + 12, -4*t = -k*c for t.
4
Let v be (-1)/(-4) + (-94)/(-8). Suppose -6 = -4*c + 5*q, 0 = c + c + 2*q - v. Solve -5*u + 25 = -5*i, c*u - 3 = -4*i + 1 for i.
-2
Let w be 0/((-1 + 9)/4). Solve w*z + 2*z = -2*h + 4, z = 4*h + 12 for h.
-2
Let y be (-4)/(-26) - 37/(-13). Solve y*b + 0*m - 22 = 2*m, 1 = 4*b + 3*m for b.
4
Let a = 36 + -34. Solve -l - 3 = a*z, 2*z - 4*l - 3 = z for z.
-1
Suppose -6*j + 2*j + 12 = 0. Let k(m) = m**3 + 1 + 0*m**2 - j*m**2 + m**3. Let h be k(2). Solve -6 = 2*d - 4*x, d - 4*d + h*x - 7 = 0 for d.
1
Suppose -4*g + 63 = 19. Suppose g + 1 = 4*s. Solve 4*z = 8, -s*z + 8 = 3*p + z for p.
0
Let z = -148 - -153. Solve z*u - 20 = -4*x - 3, 0 = 4*x + 4*u - 12 for x.
-2
Suppose -4*q = 2 - 6. Let v(l) = l**3 + 4*l**2 + 2*l. Let c = 4 + -6. Let j be v(c). Solve -2*r = -j*h, -3*h + q = 2*r - 3*r for r.
2
Let n = -63 + 105. Let j = 59 - n. Solve -2*a + 2*y = 5*y - j, a - 1 = y for a.
4
Let o(g) = -g**2 + 1. Let d be o(-1). Let l be d + 1/(3/54). Let c be (-102)/(-27) - (-4)/l. Solve c*s - q - 3*q = 8, s = -q for s.
1
Let b = 5 - 1. Suppose -a - b = -26. Suppose 5*z + s = -8 + a, s + 7 = 2*z. Solve 2*y + 3*c - 5 = 0, -1 = z*y - 4*c - 0 for y.
1
Suppose -76 = -u - 3*u + 4*n, 3*u + 2*n = 72. Solve -5*q = 4*h + u, 0 + 12 = -2*h - 3*q for h.
-3
Let i(v) be the first derivative of v**3/3 + 5*v**2 - 3. Let b be i(-10). Solve b = -3*l + 2*x - 1, -3*l = -0*x + 3*x + 6 for l.
-1
Let o = 15 + -3. Let u = o + -10. Let l(h) = -2*h - 2. Let x be l(-5). Solve 7*m - u*m = -4*t + 4, -m + t = -x for m.
4
Suppose -4*f + 9 = -5*o, 7 - 3 = 4*f. Let k = o - -4. Let h = 0 - -3. Solve k*p - 15 = -s, 6*s - h*s + p = 5 for s.
0
Let s be (-13)/(-3) - 14/42. Solve 0*k + s*u + 24 = -k, -4*u - 28 = 2*k for k.
-4
Let z(j) = j**3 - j**2 - 2*j + 2. Let b be z(2). Suppose v - 2*m - 7 = b, 2*m + 60 = 4*v. Solve 4*g = -5*t - 23, -2*g + 1 = 4*t + v for g.
-2
Suppose 5*n = 3*y, 0 = 4*y - 5*y + 5. Solve n*d - 3*u - 6 + 3 = 0, d + 4*u = 11 for d.
3
Let d = -2 + 3. Let r(c) = 48*c - 27. Let n(h) = -7*h + 4. Let j(t) = 27*n(t) + 4*r(t). Let y be j(d). Solve 3*k + 29 = -4*o, 5*o - y*k = -5*k - 31 for o.
-5
Let v(k) = k**3 - 2*k**2 + 2*k + 1. Let c be (-3 + 4)*3 + -1. Let x be v(c). Solve 2*j + 13 = -t - 4*t, -16 = -j + x*t for j.
1
Let q be 2/2 - (1 - 0). Let r = 10 + -5. Suppose -r*m = -18 - 37. Solve 0 = t - j + 2, q = -2*t + 3*j + 3 - m for t.
2
Suppose 6 = 2*g + r, -10*r + 16 = 3*g - 12*r. Solve -5*h - 4*j + 8 = 26, -g = 2*j for h.
-2
Let y = 0 - -2. Suppose -5*l - 3 + 23 = 0, -5*b + y = -2*l. Solve -5*j - 3*r + 10 = 0, 4*r = b*j - 6*j + 16 for j.
-1
Let p = -9 + 14. Solve 0 = p*v + 10, 0 = q + 3*v - 0*v + 9 for q.
-3
Let u be (-2)/(18/(-201)) + 2/(-6). Solve 4*v - 10 = v + 4*h, 5*v = -3*h - u for v.
-2
Suppose 2*v + 4*t = 8, 3*t + 4 + 29 = 5*v. Let l(n) = 4*n**2 + 18*n - 6. Let b be l(-5). Solve -6*c = -5*y - 2*c, 2*c - v = b*y for y.
-4
Suppose -5 = g, 3*v - 15 = -6*g + 3*g. Let u(f) = f**2 - 10*f + 2. Let b be u(v). Solve -2*p = 2*h + 2, -3*h + 0*p = -b*p - 17 for h.
3
Suppose 5*o - 20 + 0 = 0. Let t = -2 + 2. Suppose -3*q = 5*n - 31, 0 = -2*q - t + 4. Solve -w + n*w = j - 17, o*w = -3*j + 3 for w.
-3
Let z be 1/(-6) - (-1)/6. Let t(d) = d**3 + 6*d**2 + 6*d + 7. Let i be t(-5). Solve -2*q = i*q - 3*w - 2, z = 2*q + 5*w + 12 for q.
-1
Suppose -5*t + 15 = -5. Let m be t/(-2)*5/(-2). Solve -4*y + m*f = 30, -4*f + 2 + 31 = -5*y for y.
-5
Suppose 4*m + 3*l - 5 = 0, -5*l = 3*m - 1 - 0. Solve 4*b + 5*y = 17, -b + 3*y = m*b + 21 for b.
-2
Let l be (242/(-55))/(2/(-10)). Solve -3*c = -4*o + 5 - 27, -3*o + 5*c - l = 0 for o.
-4
Let u(m) = -m**3 + 2*m**2 + 2. Let b be u(2). Solve -4*w = -b*v + 8, 28 = -2*w + 4*v - 9*v for w.
-4
Let s be 2 + (1 - -1 - 2). Let z(k) = -k**2 - 7*k + 2. Let h be z(-7). Let w = 1 + -1. Solve -u = -h*b - w*b, u - s = b for u.
4
Suppose -16 = -4*s - 8. Solve q + 1 = s*g, -5*g + 0 = -5 for q.
1
Suppose q = 2 + 3. Solve -4*c = -4*j + c + 6, -j + q*c = 6 for j.
4
Suppose 5*i = 34 - 9. Let j = -13 + 9. Let r be 2/(-4) + (-22)/j. Solve 5*c + 12 = 4*a - 8, -i*c + a - r = 0 for c.
0
Suppose 0*s + 10 = 2*s, -s - 3 = -2*c. Let f = c + -4. Let d be -1 - (-5 + f/3). Solve -v - 7 = -0*v - g, -v - 22 = -d*g for v.
-2
Suppose n - 7 = -3. Suppose -2*s - 4*f = -0*f, f = 5*s - 11. Solve 2*y = 10, -35 = q + s*q - n*y for q.
-5
Let s be 0/(2/2) - -1. Let q = 4 + -6. Let i = q - -6. Solve -2 = -l + 2*v + s, 0 = i*l + 3*v + 21 for l.
-3
Let y be (1 + 18)/(2/4). Suppose 11 = -3*c + y. Let j be 6/c - 8/(-6). Solve 3*h + 2 = -3*b + 2*b, -b - j*h - 1 = 0 for b.
1
Let v(f) = f**2 - 2. Let h be v(2). Let p = -20 + 22. Solve -2*n + 8 = -h*x - 3*x, -4*x + p*n = 8 for x.
0
Let k(u) = 2*u - 5. Let n be k(5). Solve n*f = 4*h - 2, f + h = 4 + 1 for f.
2
Suppose -c + 22 = 13. Solve -5*u + 4*x - 2 = 0, -4*u - 4*x - c = 7 for u.
-2
Let l be (0 + (-3)/(-5))/((-23)/(-115)). Solve 3*x + v + 8 + 9 = 0, -v + l = -x for x.
-5
Let w be 0/(-3) - -5 - -3. Let k be (-3)/((-6)/w) + 0. Solve -5*u - 10 = -5*s, -s + 4*s = -k*u - 15 for u.
-3
Suppose -7*v + 15 = -2*v. Solve -3*j + 15 = -2*t, -t = v*t - j + 5 for t.
0
Let t(k) = -k**3 + 3*k**2 + k - 3. Let h(q) = q + 3. Let j be h(0). Let u be t(j). Solve -5*n - 4*p + 10 = u, -n + 9 + 14 = 5*p for n.
-2
Suppose -5*x + 29 = -51. Solve 0*y = -4*r + 3*y + x, -r + 5*y = -4 for r.
4
Let u = -7 + 12. Solve -4*i = -3*y + 14, u*i - 2*y + 16 = y for i.
-2
Let p(s) = -13 + s**2 + 8 - 12*s + 8. Let x be p(12). Solve 0 = -4*y - c + 5, -x*c = -c + 6 for y.
2
Let x be (-20)/16*(3 + -11). Solve -f = -2*c + x, -f + 3 = 5 for c.
4
Suppose 0 = w - 4 - 2. Suppose 5*u - 6*u + 6 = -5*q, -4*q - w = -u. Solve 5*i = -2*t + 1 - u, t = -i - 1 for t.
0
Suppose -4*c - 16 = 0, 0 = -7*l + 2*l + 5*c - 10. Let m = 8 + l. Solve a + b = -m*b + 19, 0 = -4*a - 4*b + 36 for a.
4
Suppose 2*u + 10 = g, 0*u + u + 32 = 5*g. Let r = g + -3. Suppose 4*a = r*a. Solve -10 = -2*w + 4*k, a = -w + 2*w - 3*k - 8 for w.
-1
Suppose 2*a + 3*y = 7, -4 = -a + 2*y + 10. Solve 4*i + 5*v - a = v, -4*i - 3*v + 10 = 0 for i.
4
Let w(m) = m + 5. Let i be w(0). Suppose i*o - o - 16 = 0. Let v(p) = -p - 2. Let c be v(-7). Solve -20 = -o*n, 2*z - c*n + 18 = -n for z.
1
Suppose 12*l + 10 = 17*l. Solve 0 = l*m - m + 1, -3*b = -2*m + 1 for b.
-1
Suppose u + 3*t = 13, 2*t - 8 = -2*u + 14. Solve 0*s = -2*s - u, 5*f = -4*s - 15 for f.
1
Suppose 4 = 2*j + 3*d, 2*j + j = 2*d + 19. Suppose 0 = -2*y - 1 + j. Solve h = 4*b - y, -15 + 3 = -4*h - 4*b for h.
2
Let m be 40/12*6/4. Solve 3*l + 15 = -3*y - 6, m*l = 4*y + 10 for l.
-2
Suppose 14 = -4*k + 3*k + 3*z, 2*z - 16 = 4*k. Let i be 6 + k - (-2)/(-2). Solve -j - 2*r = -5*j + 10, r + i = 0 for j.
1
Let o(v) = v**2 - 5*v + 9. Let f be o(4). Solve 3*l = -0*l + 12, 0 = -4*m - f*l + 20 for m.
0
Let x(u) = u**2 - 1. Suppose n = -2*j, 0*j = 4*j - n - 6. Let g be x(j). Solve 5*p + 0*p = -5*o + 5, -2*p + 4 = g for o.
-1
Let o(f) = -f + 12. Let q be o(10). Let k be (4/1)/q + 3. Solve -5*m + 2*p = 6*p + 15, m + 24 = -k*p for m.
1
Let b(j) = j**3 - 5*j**2 + 5*j. Let r be b(4). Solve 0 = 2*y - 5*h + 18, -r*h + 2 = -6 for y.
-4
Let z = -16 + 16. Let p = 13 - 11. Solve z = -n - p*n + 5*i - 17, -4*n - 4*i = -20 for n.
1
Let a(h) = -h + 3. Let f be a(3). Solve f = -0*b + 3*b, 0 = -2*r + 5*b - 2 for r.
-1
Suppose -3 = -w - 2*w. Let c(q) = -29*q**3 + q**2 + q - 1. Let g be c(w). Let l be g/(-6) - (-8)/(-12). Solve -3*v + 32 = l*h, 8 = 2*h + 2*h - 3*v for h.
5
Suppose 2*r - m + 14 = 0, -15 - 4 = 3*r - 2*m. Let i = r + 17. Suppose -4*z + i = -3*s, 3*s + 5 = 8*s - 3*z. Solve -g + 5 = s*w, -2*g = 3*w - 0*w for w.
2
Let i(g) = 3*g**2 + 4*g + 3. Let v be i(-3). Let o = 9 - 3. Let x = -3 + o. Solve -4*f - 20 = 0, k = 4*k + x*f + v for k.
-1
Suppose 6*l - 125 = -29. Solve -4*o - l = -2*n, -2*n - 9 = 5*o + 20 for o.
-5
Let l(h) be the third derivative of h**4/24 - h**3/3 - 2*h**2. Suppose 0*o = 4*o - 24. Let u be l(o). Solve 0 = -f + 4*f + 5*v + 11, -12 = 4*f + u*v for f.
-2
Let w be (0/(-1))/(-7 - -9). Solve w = 3*j + 6*u - u + 35, 0 = -4*j + 4*u - 4 for j.
-5
Let t(g) be the first derivative of g**4/4 + 2*g**3 - 4*g**2 - 2*g - 1. Let y be t(-7). Solve -2*l - 3*l = 4*i - 16, -i + 4 = -y*l for i.
4
Let o(r) = -1. Let f