*s for s.
1
Let u be 1/(-1)*(-8)/(-4). Let g = u + -4. Let c = -6 - g. Solve -5*h + c*h - 25 = 0, 0 = -5*f - 2*h - 35 for f.
-5
Suppose 2*w = -4*i + 8, 0 = -i - 3*w - w + 16. Solve 3*o + 4*j + j - 10 = i, 0 = -4*o + 4*j - 40 for o.
-5
Let k = 3 - 0. Suppose 0*y - 14 = -5*g - k*y, 0 = -5*g - 5*y + 20. Suppose 5*n = o + 1, 0 = -4*n + 3*n + 1. Solve j - 2*i - 13 = -0*i, -g = 3*j + o*i for j.
5
Let w = -4 + 6. Suppose -3*i + 0*q - q + w = 0, 16 = -2*i - 5*q. Let o be (-5 - -7)*i/4. Solve -3*r - 5 = 4*s, o = 4*s + 2*r + 11 for s.
-5
Let l be (-19)/(-3) - (-2)/(-6). Suppose 0 = -2*c - r + 4*r + 8, -5*r = 5*c + 5. Let a be 9*4/l*c. Solve 0 = 2*j - 3*v + a, j + 4*j - 3*v = -6 for j.
0
Let v = -9 + 12. Solve 2*j - v*f = 14, 5*j + 3 - 15 = -4*f for j.
4
Let m be (-30)/12*2/(-1). Solve -m*s = -15, 4*r - s = -r + 7 for r.
2
Suppose -h + 5*h - 32 = 0. Suppose -4*j + 12 = -h. Solve -5*g + 0*t - 3*t - 24 = 0, t + 18 = -j*g for g.
-3
Let w(k) = -k**2 - 3*k + 3. Suppose 3*s + 4*g - 11 = -0*g, g + 1 = -2*s. Let n be w(s). Suppose n = 2*d - 5. Solve 0 = -2*t - 2*f + d, 2*f = 4*f - 6 for t.
-1
Suppose -3*l + 4*l - 3 = 0. Suppose -3*k - 2*b - 2*b = 10, -4 = b. Let x(s) = s**2 - s. Let t be x(k). Solve 0 = l*m + 5*g - 2, -6 = t*m - 0*g - 4*g for m.
-1
Let t = 1 - 3. Let d = t + 6. Suppose -2*q = -2*w + 2, -q - d = 2*w - 4*w. Solve -5 = -i - b, 6 - 1 = -2*i + w*b for i.
2
Let k(u) = u**3 - 9*u**2 + u - 12. Let b be k(9). Let m be b/(-9) + (-5)/(-3). Let n be -2 + m + 0 - -2. Solve 5*r - 2*s + 9 = 2*s, 0 = 5*r - n*s + 17 for r.
-5
Suppose -36 = -5*j - 11. Solve -5*l + 2*n = j, 2*n - 26 = -l - 3*n for l.
1
Let q(v) = -v**3 - 5*v**2 - 4*v + 4. Let g be q(-4). Let t be (-667)/(-203) - (-4)/(-14). Solve -g*a + 4*d = -20, t*a - 5*d - 11 = 10 for a.
2
Suppose 10 = 3*s + 4. Let f = -2 - -6. Let m be (5 - -1)*s/f. Solve -3*z - m*c = -3, 2*c - c - 3 = 0 for z.
-2
Let l(n) = -2*n**3 - n**2 + 2*n - 1. Let j be l(-2). Let q be (-188)/(-28) - 4/(-14). Let y = q + -3. Solve j*g + 4*m + 12 = y*g, -12 = 4*m for g.
0
Suppose -46 = q - 3*q. Suppose -12 = 6*n - 3*n, -4*n - 28 = -3*g. Solve 4*t + 3*x = q, -4*t - 1 = -5*t + g*x for t.
5
Suppose 5*m - 5 = 4*m. Solve -7*x + 5 = -m*a - 2*x, 0 = 2*a - 3*x + 3 for a.
0
Let k be 390/7 + (-4)/(-14). Suppose -4*v + k = -0*d + 3*d, 5*d + 4*v = 88. Solve -5*a - 3*b + 28 = -0*b, 3*a + b = d for a.
5
Let k(b) = -2*b - 1. Let n be 1/((-2)/(-4)) - 4. Let i be k(n). Solve -h - 2*v = i*v - 20, -30 = 4*h - 2*v for h.
-5
Suppose 2*a - 12 = -2*a. Solve 0 = 5*v - 3*l - 0*l - 32, -a*v + 28 = -4*l for v.
4
Let l = 4 - -26. Let b = 18 - 6. Let d be b/l + 46/10. Solve 3*h = -i + 2 + 3, d*h = -2*i + 8 for i.
-1
Suppose -4*v - 5*z = -20, z - 2 - 18 = -4*v. Let x(m) = m**2 + 4. Let w be x(-3). Solve w = 2*d + v*k, k + 17 = 5*d - 2*k for d.
4
Let n = 4 - 1. Let v = n + -1. Suppose v*r = 4*t - 2, -2*r - 2*t - 19 = -7*r. Solve -2*g - 17 = -r*o, g - 3*o = -4*o + 2 for g.
-1
Suppose -2*m + 0*m = 0. Let n = -4 - -2. Let k be (-11 - 0 - n)*-1. Solve m = -3*j - k, 4*s + 3*j - 4*j = 3 for s.
0
Suppose -2*x + 2 + 4 = 0. Suppose 0 = -x*r + 6*r. Solve -i - 4*g - 4 = r, -4*g + 8 = i - 3*i for i.
-4
Let b(p) be the second derivative of p**5/5 - p**4/12 - p**3/6 + p**2/2 - 2*p. Let s be b(1). Solve 3*o + 12 = -t, 5*t = -0*o - s*o for o.
-5
Suppose 3 = 4*v + 4*b - 13, 2*v - 2*b = 28. Let h be 20/9 + (-2)/v. Solve -w - t - 5 = 0, t = -h*w + 6*t + 4 for w.
-3
Let g(x) = x**3 - 5*x**2 + x - 2. Let s be g(5). Solve 0 = -3*i - s*q + 5 - 2, q = 2*i + 10 for i.
-3
Suppose -4*f + 23 = 5*m, 4*f = -3*m + m + 14. Solve -m*b + 8*b + 7 = 2*p, -5*p - 14 = -2*b for b.
-3
Suppose 4*f - 3*j - 15 = 3*f, 5*f + j - 123 = 0. Let s be (f/(-9) - -3)*6. Solve 9 = 5*p - s*g - 2, 0 = -p + 4*g + 13 for p.
1
Suppose r - 2*r = 5. Let g be 12/20 - 52/r. Solve -4*u + 2*w = 13 + g, -5*u = w + 23 for u.
-5
Let o be (1 + -21)/(14/(-7)). Let b = -5 + o. Solve -2*k + 2*r = -1 - b, -k + 15 = -4*r for k.
-1
Suppose -10*v + 28 - 8 = 0. Solve -a - 3*t + 8 = 0, 3*a - t = -4 - v for a.
-1
Let a be -2*1/(-4)*12. Let t be 3/a + 75/6. Solve -3*i = 2*l - t, l - 4*i = -0*l + 1 for l.
5
Let p(z) = -z + 1. Let a be p(-4). Let h(j) = j**3 - 3*j**2 - 3*j. Let i = 8 - 4. Let n be h(i). Solve n + 21 = 5*k + 4*w, -20 = -4*k - a*w for k.
5
Let u be (-54)/(-189) - (0 - (-66)/(-14)). Suppose 3*c = -0*c - 18. Let q = -2 - c. Solve -u*v + 17 = 2*s, -q*v + 40 = -0*s - 5*s for v.
5
Suppose -11 = -6*b + 7. Suppose 3*p = -0*p. Solve p = 3*g + 2*a + 17, b*g - 2*a - 1 = -2 for g.
-3
Suppose 0 = -2*w - 15 + 3. Let k = w - -4. Let l be (0 - k/(-4))*-8. Solve l*q - 2*g = 8, 2*g + 2*g + 16 = -5*q for q.
0
Let m be 0/(-1) - -1 - 1. Solve 2*t = -3*h - m*h - 9, 2*h + 6 = -4*t for t.
0
Let f(n) = -n**3 - 7*n**2 - 7*n - 7. Let g be f(-6). Let v(l) = -l + 2. Let y be v(7). Let c = g - y. Solve -q + 21 = 5*i, 3*i = -c*q - i + 4 for q.
-4
Let w be 0 + 223 - (-1 - -2). Let o be w/8 - (-5)/20. Suppose -9*m + 15 = -4*m. Solve -2*r = 3*j - 16 + 3, -m*r - o = -5*j for j.
5
Suppose 2*m - 12 = -m. Suppose 3*o - 12 = 3. Solve o*q + 4 = -p - 0, 0 = -m*p - 4*q for p.
1
Suppose 15 = 3*q + r, -2*q - 5*r + 23 = -0*q. Solve -q*c = 3*y - 9, -3*c + 4 = -y - 6 for c.
3
Let w be ((-2)/4)/(-1) + (-112)/(-32). Let m be 8*(-2 + 5/2). Solve 0 = m*s + x - 3, s + w*x = x - 2 for s.
1
Let k = -16 - -16. Solve 4 = -2*u + 5*y, -u - y = 2 - k for u.
-2
Let p(x) = x**3 - 19*x**2 + 33*x + 19. Let h be p(17). Solve 0 = -h*k + 5*b + 21, 5*k - 30 = 3*b + 2*b for k.
3
Suppose 0 = -9*z - 1 + 28. Solve 5*g - 12 = 2*p, -p = -2 + z for g.
2
Let y(z) = -z**3 + 4*z**2 + 5*z - 4. Let o be y(3). Solve -4*n + 20 = -5*j, n + o = 5*n - j for n.
5
Let d be (-26 + 15)*(-2 + 1). Solve -5*q - 3*f = 5, -2*q - 3*f - d = -0*q for q.
2
Let g(n) = 3*n + n**2 - 6 + 0 - 4*n + 2. Let z be g(3). Solve p + z*p = 4*h + 7, 2*h + p = 9 for h.
2
Let j be 6/(-24)*0*(-2)/6. Solve w + 4*n + 11 = 0, 0*n + n + 4 = j for w.
5
Let b(u) = -2*u**3 - 11*u**2 + 6*u + 4. Let r be b(-6). Solve 0 = 2*x + 5*n - 5, -r*x = x + 2*n - 2 for x.
0
Let l(h) = h + 8. Let g = 5 - 13. Let f be l(g). Solve 2*a - 4*r + 22 - 8 = f, -3*a - 13 = 2*r for a.
-5
Let j(a) = -a**2 - 10*a - 12. Suppose k + 4*f + 12 = 0, 2*k - f + 4*f = -19. Let d be j(k). Solve 0 = -4*y + d, 3*w + 2*y + 10 = 6*y for w.
-2
Let r = 19 + -13. Suppose 2*f = r*f + 8. Let z(o) = -3*o - 1. Let t be z(f). Solve 2*b + 5*i = t, 2*b - 14 = 5*i - i for b.
5
Suppose 0 = -w + j - 0*j - 4, 4*w - 5*j + 19 = 0. Let d be 0 + (-1)/w - 0. Suppose d - 3 = -r. Solve 5*y - 4*f = 40, 4*y - 26 = -0*y + r*f for y.
4
Let j be 1 + 2/1 + -6. Let v be 3*1 - 0/j. Solve 3*k = v, 2*u = -k - 3*k + 10 for u.
3
Suppose -3 - 37 = -5*t. Let q = 8 - -2. Let y = q - t. Solve 4*u = 2*m, -5*u - y*m - 6 - 12 = 0 for u.
-2
Let g be (1 - 2)/((-1)/59). Let m = g + -39. Solve -7*f = 4*k - 3*f, -m = 5*f for k.
4
Let x = 86 + -84. Solve 2*w + 16 = -x*z, w - 3*w = 10 for z.
-3
Let r(b) = b**3 + 7*b**2 + 8*b - 1. Let i be r(-2). Solve -f + 2*f = -4*v - i, 3*v + 3*f + 9 = 0 for v.
0
Let k(g) = 2*g + 6. Let c be k(0). Solve -2*t + r + 0*r = -c, -3*r - 13 = -t for t.
1
Let g be (-14)/4*(-9)/((-252)/(-16)). Solve -1 = -3*h + g*w, -3*w - 7 = 2*h - h for h.
-1
Let u(o) = -14*o - 53. Let z be u(-4). Suppose 3*p = -4*i + 10, -3*p + 4*i - 3*i = -5. Solve -r = z*x + 3, 13 = -p*x - r + 4*r for x.
-2
Let o(k) = k - 9. Let x be o(11). Solve -x*w = -w - 3*b - 11, -b = 4*w + 8 for w.
-1
Let o be (-14)/(-7) - (1 - -1). Let c be o/(-3 + 1) + 3. Solve 0*h + c*h - 3*u = -6, 0 = -3*h - 2*u - 11 for h.
-3
Suppose -3*x + 12 = -3*c, 2*x + x + c = 28. Solve 2*d + 2*d = -2*q + 8, -4*d = -3*q - x for d.
2
Let l(x) = x**3 - 4*x**2 + 4*x - 3. Let z be l(4). Let p = z - 8. Suppose 5 = p*u - 5. Solve k + 10 = 2*k - u*n, 5*k - 5 = -5*n for k.
4
Let q be ((-80)/64)/((-2)/8). Solve 2*r + 2*x = q*r + 8, -r + 2*x - 4 = 0 for r.
-2
Let u be (-92)/(-20) - 4/(-10). Let f be ((-2)/4)/(u/(-20)). Let v be (-1)/((-15)/7 + f). Solve -3*i + i - 5*x = -29, v = i + x for i.
2
Let x(m) = -m - 1. Let s be x(-6). Let g be 74/4 + 7/(-14). Let t be ((-32)/(-6))/(6/g). Solve -20 = 2*u - 5*n + n, s*n = -2*u + t for u.
-2
Suppose 0 = -0*m - m + 25. Let a = -18 + m. Solve l = 1, 3*b - a*b - 7 = -3*l for b.
-1
Suppose 0 = a - 6*a + 15. Suppose a*i = 2*i + 6. Solve -17 