5*g - 15 = 0, 4 = 4*s + x*g + 25 for s.
-3
Let a = -9 - -15. Suppose -3*u = -4*u + a. Let i = u + -3. Solve i*z + 3*k = -k - 35, 0 = -3*z - 3*k - 30 for z.
-5
Suppose 0 = 3*l - 5*l. Solve l*b = -5*b + 2*v - 2, b + 2*v + 10 = 0 for b.
-2
Let u(w) = w**2 + 3*w - 6. Let q be u(2). Solve -q*o + 2*x - 7 = -3, 0 = -4*o + x for o.
1
Let m = 6 + -6. Suppose m = 4*r - r - 15. Suppose 95 = r*x - 3*s - 0*s, 0 = -x - 2*s + 6. Solve 2*w - 7 = u + 3, -4*u = x for w.
3
Suppose 4*h - 2*h + w = 12, -4*h - w = -22. Solve 4*r = 3*x - 4, -h*r - 3 = 2*x + 2 for r.
-1
Suppose -2*l + 2 = 2*x + 22, x - 32 = 5*l. Let d be (-21)/(-2) - 1/(-2). Let v = d + l. Solve 0 = -5*j - 2*a + v*a + 25, -5*a - 22 = j for j.
3
Suppose -2*i + 6 = 0, 0 = 2*z + 4*i - 6 - 2. Let b = 0 - z. Solve 2*c = 5*h - 3, 2*h + b = -c - 4 for c.
-4
Suppose 0 = -22*d + 26*d - 12. Solve -d*r + r = -b + 8, 5*b - 16 = 2*r for r.
-3
Let r = 84 - 81. Solve 5*k - r*s + 8 = 0, 0 = 3*k - 2*k + 3*s + 16 for k.
-4
Let q = -4 - -34. Solve q = 5*t + 5*m, 3*m - m = -4*t + 16 for t.
2
Suppose 2*r + 2*f - 8 = 0, -2*r - f + 8 = 2*f. Solve 0 = -r*u + 5*o - 25, 0 = 2*u + 3*o + 4 + 3 for u.
-5
Suppose 16 = 2*o + 6. Let x = 8 - o. Suppose -x*r = -r. Solve r = -3*g - 2*j, -3*g - 4*j = -0*g for g.
0
Suppose -3*k + 4 = -14. Solve 2*v + 8 + k = -a, -4*v = a + 24 for a.
-4
Let r = -19 - -23. Solve -r*p = 3*h + 26, h - p + 0*p - 3 = 0 for h.
-2
Let n be (-1)/(-3) - 6/(-9). Let p(t) = -t**3 + 7*t**2 - 6*t - 3. Let c be p(6). Let v be c/6*n*-10. Solve v*y - 4*f + 12 = 0, -f + 3 + 0 = -5*y for y.
0
Let s = -19 + 25. Solve 2*h + 1 = -3*o - s, 2*h - 2*o = -12 for h.
-5
Let o be 6*1/2 - 3. Suppose p = -o*p + 5*v + 22, 5*p = 2*v + 18. Solve p*q + 7 = -b, 2*q + 12 = -q for b.
1
Let x = 4 - 6. Let o = 0 - x. Suppose -6*a + o*a + 10 = 2*i, -1 = -2*a - 5*i. Solve 4*w + 10 = 2*u, 0*w = -3*w + a*u - 3 for w.
-4
Suppose -41 = -0*l - 5*l - 2*k, -3*k - 5 = -2*l. Let a = -5 + l. Solve 2*q - 4*y - 8 = 0, 3*q + 3*y - 12 = -a*y for q.
4
Let f(s) = -7*s + 7. Let l be f(-3). Solve 3*a + 2*a + l = -2*c, -c + a = 0 for c.
-4
Suppose -4*c = -10 - 2. Suppose c*q + 3*f - 15 = 0, q - 3*q + 4 = -4*f. Suppose -q*o + 10 = 2. Solve 5 = -o*y + a, 2*a = 4 + 6 for y.
0
Let z(o) = -o**3 + 6*o**2 - 4*o + 1. Let t = -1 - -6. Let g be z(t). Suppose a + 3*r + r = g, -2*r = -a. Solve -2*q + 9 = -x, 2*x + a*x = -q for q.
4
Suppose 3*b = b. Suppose 16 = q + 3*h, 4*q + 5*h = 5 + 31. Suppose b = y + q*y. Solve y = 3*a + c - 9, 0 = -3*a + 2*c + c - 3 for a.
2
Let t(d) = -1 + d + 10*d**2 + 6*d**2 - 2*d. Let p be t(-1). Solve -3*n - 8 - p = 3*w, -5*w - n - 24 = 0 for w.
-4
Suppose 0 - 35 = 5*w. Let i(g) = -g**2 - 8*g - 5. Let o be i(w). Solve -5*f - 5 = 2*r + o*r, -2*r = f + 7 for r.
-5
Let a be 0/(20/(-5) - -3). Solve -3*l + 5*l = 5*o - 5, a = -5*o + 3*l for o.
3
Let z(o) = -2*o**2 - o + 2. Let d be z(0). Solve -3*h + d*h = 5*x, 4*x - 16 = -4*h for h.
5
Let j(y) = -y**2 + 10*y + 10. Let a = -9 - -19. Let d be j(a). Solve -8 = 4*r - 0*r + 4*z, -5*z = -r + d for r.
0
Let t = -5 - -8. Suppose -t*b = b. Let r be 39 - (-2)/(-1) - b. Solve -2*z - 3 - 15 = 2*a, 0 = 3*z + 5*a + r for z.
-4
Let z = 2 - 12. Let h = z + 14. Let j be (110/(-25))/((-2)/10). Solve h*m = 2*v + 22, 3*v - 3*m = 1 - j for v.
-3
Suppose 0 = 29*b - 26*b - 9. Solve 0*q = q - b*o - 17, 0 = 2*q - 5*o - 29 for q.
2
Suppose -12 = -3*n - 0. Suppose -n*w + p = 2*p - 57, 0 = -5*w + 2*p + 68. Solve 5*i - w = -2*t, 0*t + 4*i = -2*t + 10 for t.
-3
Suppose 2*t - t = 2. Solve 2 = l + w, l = -0*l - 3*w - t for l.
4
Suppose 5*l = 3*z - 26, -4 = 2*z + 2*l - 0. Solve -m = -j - z*j - 2, j - m = 0 for j.
-1
Suppose -b + 6 = 9. Let k = b - -6. Suppose 0 = -4*f + 5*j - 15, f + k*j - 4*j + 3 = 0. Solve -4*u + 2*x + 6 = f, u + x + 3 + 0 = 0 for u.
0
Let d = 0 - 0. Let j = 0 + d. Suppose 2*c = -4*l + 44, -l = 3*l - 4*c - 44. Solve j = 4*p - l + 3, -n = -5*p + 13 for n.
-3
Let p(m) = -m**3 + 3*m**2 + 3*m + 2. Let h be p(4). Let y = h - -4. Suppose -y*q - 2 = -3*q. Solve -q*k - 2*i - 4 = 0, -k - 13 = -2*k + 4*i for k.
1
Let h be 1/(-2*1/(-22)). Let u = 6 - h. Let j = u + 5. Solve 4*d + 1 = -j*d + 5*t, -d - t = -2 for d.
1
Let t be (-2)/(-4)*(1 - 1). Suppose 5*y = -2*n - t*n - 8, n - 22 = 4*y. Let m(i) = i**2 - 5*i - 2. Let o be m(n). Solve -3*q - 2*x = -6 - 6, -o*x + 4 = q for q.
4
Let b(l) = 2*l - 4. Let n be b(3). Suppose -3*o = 2*m - 20, -2*o - n*m = 2*m - 24. Solve -k + 0 - 4 = t, 2*t - o*k + 14 = 0 for t.
-5
Let y(n) = -n**2 + 3*n - 1. Let h be y(2). Let f be (-1)/h - (-7 + 4). Solve 25 = 5*q - 2*i, -f*q - i = q - 4 for q.
3
Let n(p) = p**3 - 7*p**2 - 3*p + 12. Let k be n(7). Let m be 1 + k/(36/(-8)). Solve -3*h = -m*j + 9, h + 0*j - 7 = -j for h.
2
Let i(x) = x**2 + 11*x + 15. Let a be i(-10). Solve 0 = a*w - 2*m + 3, -m = -2*w + w - 3 for w.
1
Let a = 66 + -47. Solve 4*o - 4 = 3*k + 7, -4*o = 3*k + a for k.
-5
Suppose g - 18 = -2*j, 0*j = -4*g + j + 63. Solve 0 = -2*t - t + s - g, 5*s = 20 for t.
-4
Let g(d) = -d**3 + 4*d**2 + 6*d - 2. Let c be g(5). Solve 5*o = i + 1 - 3, -o + 6 = c*i for o.
0
Let d be 2 - 1 - (-8)/2. Solve -m = 2*g + d, 3*m + 3*g + 12 = -0 for m.
-3
Let y(q) = 2*q**2 + 2*q + 1. Let u = 14 + -16. Let p be y(u). Solve -4*r + 0*n + 8 = 3*n, -p*r = 4*n - 10 for r.
2
Let s = 13 + -9. Let m = s + -1. Solve -o = 5*a + 15, -2*o = -m*a + 2*o - 9 for a.
-3
Let b be (-5)/(-15)*(-3 - -3). Solve y - 5*d - 12 = b, y + 2*d + 0 = -2 for y.
2
Let y(x) be the first derivative of -7*x**2/2 - 2*x - 2. Let r be y(-1). Solve -8 = -4*t + 4*d, -2 = r*t - 0*t - 2*d for t.
-2
Suppose -5*u = -22 - 23. Let o be -2*(-10)/4 - 0. Let h = u - o. Solve 22 = 5*l - h*j + 3*j, -4*j - 8 = -4*l for l.
5
Suppose -5*o + 0 + 8 = -4*d, -4*o = -4*d - 8. Let i = -4 - -7. Suppose 4*l - i*p - 1 = o, 2*p + 0*p + 10 = 5*l. Solve -k + 0*r = -l*r, r = 1 for k.
4
Let x = 16 + -5. Suppose x = -2*b + 55. Solve 4*w = 2*d - 12, 3*w + b = 5*d - 1 for d.
4
Suppose 4*j + 110 = -5*z, 8 - 3 = -j. Let a = z - -34. Solve 4*c + 5*g = a, -g = 4*c - 2*g + 8 for c.
-1
Let i be -3 + 20 - -2*1. Suppose -93 = -3*l + 8*f - 3*f, 0 = 5*l - f - 155. Let j = l - i. Solve -4*t - j = -3*t - 4*r, -2*t - 10 = -r for t.
-4
Suppose -10 = -2*m + 2. Let x = m + 2. Solve 0 = -0*q + 2*q - d - 11, -x = -q + d for q.
3
Let r(c) = -3*c**3 - 2*c**2 - c. Let o be r(-1). Let b be ((-1)/2)/((-34)/(-12) - 3). Solve -2*l + b*x + 25 = 4, o*l - 4*x - 26 = 0 for l.
3
Suppose -j + 10 = -15. Let w = j + -8. Solve -24 = -5*f + 4*h, f - 5*f + h = -w for f.
4
Let t(h) = -h**2 + 11*h - 20. Let z be t(8). Solve 0 = -z*o, -d - 2*o - 3 = -3*o for d.
-3
Let w = -3 - -2. Let u be 1 - (w + 0/(-4)). Solve 6*o = x + u*o + 10, 4*o = -x + 6 for x.
-2
Let v be (6/(-5))/(12/40). Let m(f) = -f - 2. Let x be m(v). Suppose 2*t - 6 = 2*k, -t - x*t + 5*k + 11 = 0. Solve 2*w - t*u = 6*w + 8, -12 = -3*u for w.
-4
Let v be 5 + -2 - 2/2. Suppose v*u - 21 = 17. Solve 0 = 2*g - 3*p - u, -2*g + 3*p + 23 = 2*g for g.
2
Suppose -3*u + 61 = a, -2*u - 4*a + 46 = 2. Let o = u - 17. Let w(f) = -f - 5. Let x be w(-5). Solve 4*i - 4*q + 7*q + 29 = x, 18 = -o*i - q for i.
-5
Let h(r) = r**2 - r - 1. Let s be h(4). Let d = -7 + s. Solve -3*v + 9 = 0, -d = -g - 4*v + 13 for g.
5
Suppose -4*v - 8 = -6*v. Suppose 7*a + 22 - 260 = 0. Let i = a + -29. Solve y + v = -2*k, -4*y + 2*y - i*k = 10 for y.
0
Let p be 4/(3*((-13)/(-3) + -4)). Solve -5*g - 3 = -2*k + 5, p*g = -3*k - 11 for g.
-2
Let t be 5 + 2 + (-11)/((-11)/(-2)). Solve t*u + 0*v = 3*v + 2, 2*u = -v + 3 for u.
1
Suppose -2*i = 3*i - 30. Let q be (-3)/(i/(-4)) - -1. Let k(g) = g + 3. Let r be k(0). Solve 2*d + 23 = r*a, 4 = 4*a + d + q*d for a.
5
Let i = -8 + 13. Let t = -6 - -1. Let k(f) = -f - 2. Let x be k(t). Solve -i*r + 2*r + 7 = q, -5*r + 21 = -x*q for q.
-2
Suppose 4 + 3 = r. Solve r = 2*y - 3*y - 2*j, 0 = -2*j - 10 for y.
3
Suppose 0 = -0*k + k - 2. Let q(v) = v**2 - 4*v + 2. Let p be q(4). Solve 2*x - 5*n + 21 = -k*x, p*n = -x + 11 for x.
1
Suppose 0 = -4*s + 3*s - 2*h - 17, 2*s - 4*h = 6. Let l(p) = -2*p - 12. Let u be l(s). Solve -4 = v + 3*y, -1 = -v + 4*y - u*y for v.
-1
Let s = -5 - -8. Solve -s + 4 = 3*x - 2*d, -3*x + d = 1 for x.
-1
Let s(v) = v**3 - 11*v**2 - 2. Let q be s(11). Let a = 2 + q. Suppose a*k + k = 0. Solve 2*c - 2*h = -k + 16, -12 = c + 3*h for c.
3
Su