q = 5*f + m + 8 for f.
-5
Let y(a) = -3*a - 8. Let z be y(-4). Solve -z*p + u = 6*u - 40, -30 = -2*p - 5*u for p.
5
Let j = -11 + 20. Suppose -2*v = -5*v + 6. Solve v*s - j = -z - 1, -3*s + 25 = -5*z for z.
-2
Let i = -101 + 159. Let a = 82 - i. Let s = -7 + a. Solve -1 = -2*d - 5*x, 4*d = 6*x - x + s for d.
3
Suppose -c + 2 = 2*x - 0, 3*c - 4*x + 34 = 0. Let b be 28/5 - c/(-10). Solve -b*v + 4 = l - v, 2 = 2*v for l.
0
Suppose 3*r + 8 = 4*n, 5*n - 22 - 11 = -2*r. Suppose r*y - 4 = 0, 3*y + 17 = -o + 6*o. Solve o*k - 26 - 10 = -4*a, -2*k + 26 = 4*a for k.
5
Suppose -6 = -f + 7. Solve g - k = 3, f = 2*g + 3*g - 3*k for g.
2
Let d = 77 - 69. Solve -2*g + g - d = 2*x, -4*g = -3*x - 12 for x.
-4
Suppose 3*h - 4*n - 8 = 0, h = -4*h - 2*n + 22. Suppose f + 8 = 2*c + 2, 6 = -c - h*f. Let t = c + -2. Solve t = -3*s + 2*q + 16, -3 = 3*s + 5*q - 5 for s.
4
Let y be 20/(-12)*-3*1. Solve -y*f = 20, 2*f + 24 = c - 3*f for c.
4
Let b be (2/(-6))/(7/(-63)). Solve -4*u - 2 = -2*q - 2*u, 4*u + b = 3*q for q.
1
Suppose -c - 17 + 3 = 0. Let i = -6 - -10. Let p be (-10)/(-35) + i/c. Solve -5*w + p = l + 4, 4*w + l + 4 = 0 for w.
0
Let d(c) = -1 - 5 + 7 + c. Let z be d(2). Solve a - w = -0*w - z, -5 = -w for a.
2
Let z(s) = 2*s + 27. Let x be z(-13). Suppose 5*o + 15 = -4*d, 3*o = -3*d - 7 - 2. Solve -4*c + 5*j - 16 = x, 5*j - 5 = d for c.
-3
Let w be (-2)/(-3) + (-8)/3. Let a = 4 + w. Suppose 2*z - a = z. Solve -r - 5*o = -3, -3 = -z*r + r - o for r.
3
Let o be -2 + 1 - 1*-1. Let a(i) = 2*i + 4. Let b be a(-2). Suppose b = 3*k - o*k - 3. Solve 6*z = -3*h + 5*z + 16, k = h - 4*z for h.
5
Let a be (-50)/(-15) + 3/(-9). Solve -t - 8 = 4*q + 1, a*t + 3*q + 9 = 0 for t.
-1
Suppose 4*x = 5*y + 2 + 12, 0 = -3*x - 12. Let f = -4 - y. Solve -5*u = -2*s - 12, -2*s + f*u + 12 = 3*u for s.
4
Let n(z) = -z**3 - 8*z**2 + 9*z + 3. Let s be n(-9). Let j(x) = x - 3. Let a be j(0). Let c be -2*-34*a/(-12). Solve -i + o + s*o = -c, -2*i + o + 6 = 0 for i.
1
Suppose 0 = -5*s + 4*s - 12. Let f be (-1)/(-2)*s/(-3). Suppose b - f*b + 1 = 0. Solve 0 = 5*m - 5*j + 5, -j + 2 = -5*m + b for m.
0
Let w(c) = 13*c - 63. Let u be w(5). Solve 0 = -h + y, -3*h - u*h - 5*y = 0 for h.
0
Suppose 4*p = -h - 11, -3*h - 3*p + p = -7. Suppose h*m - m = 12. Let q(i) = -2*i + 2. Let c be q(-4). Solve -3*l + 3 = 2*d + c, m*d = -6 for l.
-1
Let m be (-3)/2*(0 + -2). Let g be 1/(-3) + 7/m. Let x = -138 + 146. Solve -b - 4*o = o - 11, 4*b - x = -g*o for b.
1
Suppose 10 = 2*s + 3*s. Solve 0 = h + s*p - p - 3, 5*h = -p + 3 for h.
0
Let o(p) = -p**2 - 9*p + 10. Let c(a) = -4*a + 3. Let y be c(3). Let s be o(y). Solve 4*f + 3*h - h = 0, 3*f + 4*h + s = 0 for f.
2
Suppose -5*c + 15 = -0. Let x(f) = -f**3 - 9*f**2 + 11*f + 13. Let d be x(-10). Solve -3*v = -l - c, -l = -d*l - v + 1 for l.
0
Suppose u - 2*u = 0. Solve -5*s + 15 = u, s = -2*j + 4*s + 1 for j.
5
Suppose 5*v - 76 = z, -v = v + 4*z - 48. Solve 2*p = 3*q + 5, -q = 3*q - 5*p + v for q.
1
Let i(l) = -l**3 + 6*l**2 + 7*l - 6. Let m be i(6). Suppose -3*x + m = x. Let p(w) = w**2. Let d be p(-2). Solve -f + 5*j + 13 = 0, -d*f - x = -7*f + 5*j for f.
-2
Suppose 0 = -2*g + 15 - 51. Let s be 38/(-9) - 4/g. Let y be s/(-18) + (-140)/(-18). Solve -2*l = -4*p + 8, -2*l + 4*l - 5*p = -y for l.
-4
Let r(n) = -11*n**3 - 4*n**2 - 3*n - 2. Let i be r(-2). Suppose 0*p - 4*p = -i. Solve -z - 4*q = -p, -z - 2*q + q + 7 = 0 for z.
3
Let s = 4 - 1. Suppose s*q - 9 - 6 = 0. Suppose -48 - 7 = -q*p. Solve -5*g = 15, -3*o + p + 10 = -2*g for o.
5
Let a = -8 - -5. Let q = a + 4. Solve -5*d = 5*j - 5, 5*d - d + q = -3*j for d.
-4
Let c(s) = s**2 + 8*s - 7. Let w(b) = -2*b**2 - 5*b - 6. Let f be w(-3). Let j be c(f). Solve 0 = -j*n - 8, 5*n = -3*x - 8 - 9 for x.
1
Let j(k) = k**3 + 5*k**2 + 2*k + 11. Let w be j(-5). Solve 3*t - 2*d = -3*d - 5, -t = -d - w for t.
-1
Suppose 0*h - h - 4*a = -8, -6 = -h - 3*a. Suppose h = -0*w + 4*w + 12. Let x = 8 + w. Solve 3*k + 9 = -3*f + 4*k, 17 = -f + x*k for f.
-2
Let t be -4 - (-4 + 0)/1. Solve -3*a - 6 = 2*f + 9, -4*f - 5*a - 25 = t for f.
0
Suppose 10*b - 165 = 5*b. Suppose -5*n + 2*n + b = 0. Solve g - 6 = 2*p - 18, -2*g = 3*p - n for p.
5
Suppose 6*q = 2*q + 16. Suppose -q*t = w + 12, 3*w - 55 = -2*w + 3*t. Solve 4*i + 4*z = w, 5*i + 12 = 3*z - 10 for i.
-2
Let r = 11 - 7. Solve -5*t + 19 = -4*n + n, r*t = -3*n + 26 for n.
2
Suppose -5*y + 3*v + 8 + 28 = 0, 2*v + 10 = y. Let r = 35 + -21. Suppose -r = -5*a - 4. Solve 3*z - 17 = -2*i + y, -18 = -a*i - 2*z for i.
4
Suppose 3 - 13 = l. Suppose 25 = -6*b - 47. Let h be 4/l + b/(-5). Solve -h*t - 4*w = 4, t - 3*w - 2*w - 12 = 0 for t.
2
Let d(v) be the second derivative of -v**4/12 - v**3 + 2*v**2 + 2*v. Let f be d(-6). Solve -5*h = -2*k + 7 + 11, f*h + k = -4 for h.
-2
Let s = -14 + 8. Let f = s + 10. Solve -3*n + 11 = f*z, 3*n + 2*z = z + 14 for n.
5
Let w be -2 - (1 - 4 - 5). Let a = w - 4. Solve t - 4 = 0, r + 10 = -a*r + 4*t for r.
2
Suppose 3*m - 5 = 4*n, -3*m + 2*n + 10 = m. Solve -5*c = -4*c + y - m, 5*c = 4*y + 15 for c.
3
Suppose -2*o - 2*d - 2*d - 10 = 0, -6 = 2*o + 3*d. Solve -2*u + 6 - 18 = 2*v, -2*u = -3*v - o for u.
-3
Let n be (-2)/4 - 40/(-16). Let k be 14 - (n + (-2 - 3)). Solve 3*v + m - 5*m + k = 0, 3*v + 11 = m for v.
-3
Suppose b + 12 = 5*c, 14 = 3*c - 2*b - 2*b. Suppose -11 + 1 = -c*n. Solve n*i - 9 = a, -2*i + 3*a + 0*a + 1 = 0 for i.
2
Let m(r) = -r**2 + 4*r + 3. Let h = 15 + -11. Let i be m(h). Solve -2*k = -i*z - 4*k + 13, k = -z + 4 for z.
5
Suppose 10 + 7 = c. Let f = 0 - -4. Suppose 0*p - f = -4*p. Solve 5*i + 3*d - c = -d, p = 4*i - d for i.
1
Suppose -2*g - x = 1, -4*g = 2*x + 2*x + 12. Let b(y) = 2*y**2 + 5*y + 3. Let f be b(-3). Solve -k + g = -i, -k + f = k for i.
1
Let c = 13 - 9. Let x(i) = -i**3 + 3*i**2 + 5*i + 1. Let s be x(c). Solve 0*y = 4*y - 8, -l = -s*y + 7 for l.
3
Let i = -471 - -491. Let k(p) be the second derivative of p**4/12 - 5*p**3/6 + 2*p**2 - p. Let n be k(5). Solve 3*o = -n*u + 12, 5*o - i = u + 2*u for o.
4
Suppose 28 = 2*n + 3*b, b = -4*n - 2*b + 44. Solve -5*i = 25, -3*m + 4*i + 0*i + n = 0 for m.
-4
Let n(z) = z**2 + 5*z - 8. Let l be n(-7). Let w(i) = i**2 - 2*i + 7. Let d be w(l). Solve s - d = 6*s + 3*r, 2*s = -r - 12 for s.
-5
Let g = -168 + 256. Let f be (g/(-33))/((-2)/3). Solve -2 = -d + f*p, -3 = -2*d + p + 1 for d.
2
Let p be (-14)/(-77) - (-97)/11. Let c = p + -9. Solve -2*w = 4*g + 2*w - 20, c = g - 4*w for g.
4
Let b = -24 + 39. Suppose 3*y = -3 + b. Solve -y*g + g - z + 10 = 0, 0 = -2*g + z + 15 for g.
5
Suppose -3*p + u + 10 = 0, -5*u = p - 2*u + 10. Solve 5*s = -10, -p*t = 4*s + 9 + 3 for t.
-2
Let k(t) = 3 - t - 2 - 5. Let i be k(-4). Suppose -5*m - 18 - 12 = -5*q, -2*q + 5*m + 15 = 0. Solve i = -q*j, 12 = -2*w + 6*w + j for w.
3
Suppose -32 = -0*c + 4*c. Let l(y) = -y**3 - 8*y**2 + 3. Let j be l(c). Solve -s - 2 = 2*n + 1, -5*n = -j*s + 13 for n.
-2
Let t be ((-24)/9)/(1/(-3)). Let p = 12 - t. Solve p*b = -2*a - 14, 0 = -b - a - 3 + 1 for b.
-5
Suppose 0*o = o - 4. Solve -o = q + q, 4*m - 2*q = 20 for m.
4
Suppose 0 = 4*j - 0*j. Suppose 4*s - 4 = -j. Solve -i + y - 1 - s = 0, 0 = -4*y for i.
-2
Let a be ((-160)/(-25))/(2/5). Solve 4*o + 32 = 4*x + 4, -a = 4*o + 2*x for o.
-5
Suppose -2*q - 2*q = 12. Let l be (-56)/q - 6/(-18). Solve -3*j + 7*j + 3*f + l = 0, -2*j - 12 = 2*f for j.
-1
Let n = -18 - -8. Let l be 15/n*4/(-3). Solve -u = 3*y + 11, -3*u + l*y = -0*y + 11 for u.
-5
Suppose 6*r + 68 = 2*r - 4*g, 0 = 2*g - 10. Let b = -13 - r. Let y be (-6)/9 - (-78)/b. Solve a - 5*f = -2, 5*a + 5*f = a - y for a.
-2
Let g = -1 - -5. Suppose 0*o + o = 0. Let r(j) = -j**3 - 12*j**2 - 14*j - 13. Let p be r(-11). Solve -4*a - p = o, 0*n + n + g*a = -17 for n.
3
Let h = 2 + 2. Suppose 0*s - 2*s = 3*c - 22, 3*s = 3*c - 27. Let v = 9 + c. Solve -32 = -h*o - 3*t, 8*t - v = -o + 5*t for o.
5
Let i = 18 - 13. Suppose 0 = 4*n - i*f - 33, -2*f - 3 = -n - 6*f. Suppose n = -z - 3*x, -5*x = 4*z - 0*z. Solve -15 = -j - 4*m, -j - 2*m = -z*j - 30 for j.
-5
Let y = 4 + -1. Suppose 4*z = y*h - 7*h + 72, 5*z - 87 = -4*h. Let t = z - 11. Solve -2*q + 4 = 0, 3*q + 2 + t = -4*d for d.
-3
Let s = 2 - 1. Suppose -3*l - 3*y + 21 = -9, 2*l + 3*y - 25 = 0. Solve -l*z = 4*j + s, -z + 7 = -3*j - 8 for z.
3
Suppose 2*m + 2 - 14 = 0. Suppose 0 = -m*c +