 7 = p, -f*r = 5*l - 22 for l.
5
Let m be 92/6*(-6)/4. Let l = m - -30. Solve -b - 4*f = -6, -4*f = 3*b - 3 - l for b.
2
Let p(o) = -o**3 + 9*o**2 - o + 14. Let h be p(9). Solve -11 = 5*q - 4*z, h*q + z = -0*z + 9 for q.
1
Suppose 0 = -8*r + 9*r. Solve 0*j - 8 = -2*v + j, r = 2*v + j for v.
2
Suppose 9 - 1 = -d. Let s be (d + 0)/(1 - 0). Let p(b) = -b**3 - 9*b**2 - 9*b - 4. Let r be p(s). Solve -17 = -2*u + 5*c, -r*c - 10 = -u - c for u.
1
Let w(t) = -17*t + 11*t - 3 + 5*t. Let m be w(-5). Solve x - m*x + 9 = -2*u, 18 = -3*x - 3*u for x.
-1
Let a(g) = 2*g**2 - 8*g + 7. Let w be a(5). Suppose w = c + u, -6 = 3*c + u - 47. Solve -3*i + c = 5*p, 3*p - 7 + 3 = -5*i for i.
-1
Let y be (-1 - -1)*(0 + -1). Suppose 0 = -5*a - y*a + 15. Solve a*b + 0*b = m + 3, 0 = 2*b for m.
-3
Suppose 0 = -5*j - 0*j + 50. Let l = -3 + j. Suppose 2*h + 1 = l. Solve -4*x + h*s - 34 = x, 3*s - 24 = 3*x for x.
-5
Suppose -a - 3*s = s - 120, 3*s = 5*a - 554. Suppose r = -3*r + a. Suppose -d = -5*d + r. Solve -2*v = -5*g - 0*v + 26, -3*v + d = 4*g for g.
4
Suppose 0*r - r = -2. Suppose 0 = -o - 0 + r. Solve n - 2*n = o*h - 9, -h + 6 = 2*n for n.
1
Let k(a) = -a - 8. Let y be k(7). Let u be 4/5*y/(-2). Let z be 2/6 + (-136)/(-6). Solve j + j - u = -2*p, 5*j - z = -p for p.
-2
Suppose 5*d + 2 = -8. Let v be (-34)/(-9) + d/(-9). Let p be (-8)/(-3)*6/v. Solve -4 = 4*n - 4*s, -5*n + p*s - 2 = -0*n for n.
2
Suppose 5*p = 4*p + 4. Suppose -4*g = 12, a = -3*g + p*g + 6. Let j = a - 3. Solve -2*k - 3*b + 0 + 22 = j, -k - 5*b = -25 for k.
5
Suppose 3*y = -45 + 114. Suppose -5*w + 20 = 0, 5*w = -2*q + 21 + y. Solve 5*i - i + 3*n = -q, -i + 4*n + 16 = 0 for i.
0
Let x(s) = 2*s**3 - 6*s**2 + 1. Let y be x(4). Let v(w) = w - 6. Let q be v(9). Solve c = o - 7, -q*c = 2*c - 4*o + y for c.
-5
Let g be (6/(-5))/(2/(-5)). Solve -u - 17 = 4*o, 0 = 2*o + 2*u + g*u + 13 for o.
-4
Let r be 1/(-2) - (-42)/4. Let m = r + -5. Solve -k + 0*p + 2*p = 3, 0 = -m*k + 2*p + 17 for k.
5
Let n = -2 + 4. Solve 4 = 3*d + 4*o + 11, n*d + 5*o = -14 for d.
3
Suppose b = -0*b + 6. Solve 20 = -5*d, 4*f - 2*d = b*f + 16 for f.
-4
Suppose 10 = -3*x - 0*x - r, -r + 30 = -5*x. Let o = 5 + x. Suppose o = 4*s + 20, -b + 4*b = -5*s - 13. Solve b*c - 4*l = -28, c + 2*l - 5 = -0*l for c.
-3
Suppose -4*i = 4*t - i - 9, 0 = -3*t - 3*i + 9. Solve -3*q - 2 = -5*c + 3*c, -2*c - 10 = t for q.
-4
Let n = 9 - 9. Suppose n*g = -2*g. Solve 4*l + c + 0*c + 15 = g, -l + 2*c = 6 for l.
-4
Suppose 0 = -99*b + 95*b + 12. Solve c - 4*a + 14 = 0, b*c = -3*a + 18 - 0 for c.
2
Let x(c) = c - 8. Let q be x(6). Let g be (1 - (-5)/q)*-8. Let i(d) = d + 2. Let z be i(-1). Solve l + 3 = 2*o - z, 4*l = 4*o - g for l.
-2
Suppose 0 = -4*s + 3*s - 4. Let y be 5 - ((-2 - s) + -2). Solve -3*g - 24 = y*t, -15 + 0 = 3*t + 2*g for t.
-3
Let s = 4 - -1. Suppose 5*z = s*t + 30, 8*z = 3*z - t + 6. Solve 0 = -2*b - 2, -5*b = -z*w + w + 10 for w.
5
Suppose c - 4*c - 3*w = 0, 24 = 4*c - 2*w. Suppose 0 = c*v - 9 + 1. Solve 4 = -4*g - 2*d, v*g + d + 14 = 6*d for g.
-2
Suppose -6 = -3*a, 2*a - a = 3*h - 4. Solve -5*v + 36 - 14 = 4*k, 2*v = h*k - 2 for v.
2
Let h(f) = 2*f + 7. Let k(m) = -3*m - 6. Let y(v) = -4*h(v) - 3*k(v). Let a be y(10). Solve -3*j + 20 = 4*u, 2*u - 2*j + 4 + a = 0 for u.
2
Let c(l) = -l**3 - l**2 + l + 2. Let x be c(-2). Solve 0 = 5*n - x*t + t - 35, -3*t - 19 = -n for n.
4
Suppose -6*o = -4*o - 64. Solve 5*p + 0*y = -4*y - 5, 4*p - 4*y - o = 0 for p.
3
Let y(g) = -g**3 + 7*g**2 - 6*g. Let v be y(6). Solve v = -2*a, z + a = 6*a + 2 for z.
2
Let o = 3 - 8. Let k(w) = w**2 + 6*w + 5. Let f be k(o). Solve -n + f = -m + 2, -27 = -4*n - 3*m for n.
3
Let g(a) = a**3 - a**2 - a + 1. Let u be g(2). Solve -u*b + 9 = -0*b, 4*b - 14 = -2*c for c.
1
Suppose 4*a + 4*b = -0*b + 20, -4*a - 20 = -4*b. Solve 0 = -5*x - 4*n + 23, 4*x + 3*n = -a*n + 18 for x.
3
Suppose 0 = -4*d + 5*d - 5. Suppose -4*b = -2*b. Let s be b*(-2 + -2)/(-8). Solve -10 = -2*l - 5*x, d*l + x + 2 - 4 = s for l.
0
Let p = -11 - -9. Let x be 80/35 + p/7. Solve 2*w + x*m = -0*m + 8, 4*w - 3*m - 16 = 0 for w.
4
Let g(q) = -q + 11. Let w be g(7). Suppose 0*b + b = w. Solve 0 = 5*h + b*n - 21, 2*h - 16 + 2 = -3*n for h.
1
Let d be 6 - (-3 + 4 + 1). Let j be d/2 + (11 - 9). Suppose 2*w - 8 = 4*l, 5*w = 2*l - j*l + 20. Solve -3*g + 1 = -2*c, -c + 2*c - 5*g = -w for c.
1
Suppose 0*c + 2*c + 2*n = 6, -4*c = -2*n + 12. Let p = 5 - c. Solve 3*t + q = 3*q - p, -t - 3*q = 13 for t.
-4
Suppose 10 = o - i, 3*o - 4*i - 11 = 20. Solve 3*l - 3*j - o = 2*j, 0 = -j for l.
3
Suppose 8*v = v + 14. Solve v*x - 5*a - 13 = 4*x, 3*x + 3*a + 6 = 0 for x.
1
Let f = 12 - 8. Let d(v) = v**3 - 12*v**2 + 11*v + 1. Let s be d(11). Let y = 1 - s. Solve f*c - 5*b - 5 - 8 = y, c - 22 = 5*b for c.
-3
Let d(v) = -v**3 + 8*v**2 + 8*v + 9. Let x be d(9). Let h be x*(-2)/12*3. Solve h*s + 3 = -3*t + 3*s, 3*s - 3 = -t for t.
0
Let a(z) = 2*z**2 - 11*z + 23. Let s be a(5). Solve p + 1 = -0, -4*m - s = 2*p for m.
-4
Suppose 5*j - 25 = 0, -10 - 5 = -2*r - j. Solve -3*n + 0*f - r*f - 3 = 0, 0 = -n - 2*f - 1 for n.
-1
Let y(f) = -f**2 - 2*f + 3. Let p be y(0). Solve 0 = -p*b + 5*n - 6, 0 = b + n - 3*n + 3 for b.
3
Let g = 124 - 121. Solve -3*y + 9 = -5*j - 0*j, g*y - 9 = 3*j for j.
0
Suppose -8*h = -4*h + 2*n - 12, -3*h + 2*n = -2. Solve 2*q - h*r - 21 = r, -4*r - 20 = 0 for q.
3
Let z(t) = 10*t - 37. Let r be z(4). Solve 0 = r*x - 4*x - 4, -3*a - x - 16 = 0 for a.
-4
Let z = -36 - -41. Solve -s = s - 2, 2*d + 5*s = -z for d.
-5
Suppose 9 + 5 = 5*w - 4*z, -2*z - 2 = 0. Solve w*q - 3 - 3 = 4*h, -2*q = -2*h - 8 for q.
5
Let c(s) = -s**2 - 7*s + 12. Let l be c(-9). Let k(t) = t + 9. Let q be k(l). Solve -y = g - 5, -4*g + 3*y + q = -10 for g.
4
Let v(s) = -s + 4 - 1 + 0 + 1. Let n be v(4). Solve 0 = -a + 4, n*j + 3*a + 4 = 4*j for j.
4
Suppose -21*q + 18*q = -39. Suppose -g = -2*g - 4*b + 23, 4*b = 8. Solve k + 2*i - 1 = -q, -g = 3*i for k.
-2
Let g(v) = v**2 - 2*v. Let r be g(3). Solve -o - m = 3, -r*m - 13 = 2 for o.
2
Suppose 0 = 3*f - 5*f + z + 5, 2*z + 10 = -4*f. Suppose 2*u - d = -1 + 2, 9 = 3*u + d. Solve -5*c + 4*l - u = -f*l, 7 = 2*c + l for c.
2
Let m(u) = -u**3 - u**2 - u + 1. Let k = -6 + 6. Let z be m(k). Solve -5*n - z = 2*x + 19, -5*x - 19 = -3*n for x.
-5
Let g(v) = v**2 - 12*v + 16. Let u be g(11). Solve u*i + 5*o + 2 = 37, -5*i - 2*o + 26 = 0 for i.
4
Suppose -f = 2*f. Suppose -5*u + 2*x + 63 = f, 3*u - 4*u - x = -14. Let q = -32 - -51. Solve n = 3*d + u, 3*n - 4*n + 5*d + q = 0 for n.
4
Suppose 4*x - 60 = -52. Let m(h) = 4*h**3 + h. Let r be m(1). Solve -r*z - 3*t = -t + 28, 0 = -2*z + x*t for z.
-4
Suppose 6 = -l + 4*l. Let w = 4 + -2. Let o(h) = h**3 - 3*h**2 - 4*h + 5. Let p be o(4). Solve -l*r = -4*q - 8, -q - p - w = -3*r for r.
2
Suppose -4*z + 4*o = -0*o - 4, -5*z - 4*o + 14 = 0. Suppose -z*y + y = -4. Solve m + 0 = 3*c - 3, 4*m - y = 4*c for c.
2
Let b(j) be the second derivative of 3*j**5/10 - j**2/2 + j. Let z be b(1). Let a = -9 + 24. Solve o - s = -4*s - a, z*o = -3*s - 15 for o.
0
Suppose -15 = -5*u - 4*o - 1, u - 3*o - 18 = 0. Solve -4*w - 3*i = -19, -4*i + u = w - 2 for w.
4
Let g(b) = b**2 - b + 2. Let r be g(-2). Let h = r - 6. Suppose 0 = 3*i - 5 + h. Solve i = -2*y + 2*u - 5*u, 3*y - 6 = 3*u for y.
1
Suppose 20 = 4*i - 3*k, -2*i - 24 = -4*i + 5*k. Solve 0 = -5*b + i*s, -b = s - 0 + 7 for b.
-2
Suppose 2*n - 6 = -n. Solve 4*q + n*z = 14, -2*z + 0 = 3*q - 12 for q.
2
Let h = -75 - -89. Suppose -5*m - 1 = -21. Solve 2*z = h - m, 4*f - 5*z + 21 = 0 for f.
1
Suppose -4*s + 18 = -3*j, 0 = -0*j + j + 2*s - 4. Let g = 7 + j. Solve -3*y + 2*y = -g*h - 8, -4*h + 5*y = -2 for h.
-2
Let l = 75 - 28. Suppose y = 17 - l. Let n be ((-2)/4)/(5/y). Solve -6*c + 2*c = -5*g + 6, 0 = -g - n*c - 14 for g.
-2
Let i be (-2 - 0) + 8/2. Suppose p = i*p. Solve p = -5*y + 4*h + 3 - 6, -y + 3 = -2*h for y.
-3
Let y be 1/(2/8 + 0). Solve 0 = -4*x - y, -3*w + 11 = -x - x for w.
3
Let z(r) = 2*r**3 + 1. Let v be z(-1). Let n = 4 - v. Solve -9 = n*f - c, -f - 5*c + 18 = f for f.
-1
Let l be -3 + (-77)/(-14) + 2/4. Solve 6*t - 3*c + 21 = l*t, 3*t - 5*c = -25 for t.
-5
Let c(a) = 5*a**2 - 1. Let k be c(-1). Suppose -5*r = 4*z - 170, -r - 7 = 4*z - 25. Let n = r - 25. Solve -24 = -3*f + 3*x, -k*x + n = f + 4*f for f.
5
Let d = -