Suppose -4*h = -3*h - n. Let k(z) = 3*z. Let c be k(h). Solve 0 = -4*p + c*p - 3*r, r = -4*p for p.
0
Let c(m) = m + 5. Let w be c(-5). Let q(f) = 2*f - 6. Let y be q(4). Let n be (18/(-24))/(y/(-8)). Solve w = 2*a - 5*g + 9, -8*a + n*a + 3*g - 13 = 0 for a.
-2
Suppose -a + 220 = 5*o - 5*a, a = 3*o - 139. Let w = 67 - o. Let b = 7 + -2. Solve -q + b*n - w = 3*q, -4*n + 14 = -2*q for q.
-1
Suppose 2*j + 0*k = 2*k - 24, -43 = 4*j + k. Let w = j + 13. Solve 0 = 5*y + 25, 3*c + 2*y + 26 = -w*y for c.
-2
Let d(v) = -4*v - 7. Suppose 2*m = -5*j + 5*m - 31, 2*m + 16 = -4*j. Let u be d(j). Solve 4*c + 3*b - u = 0, -2*c - c = -4*b - 16 for c.
4
Let n be 17 - ((4 - 3) + -4). Solve -5*u + n = 0, -2*u + 28 = 4*a + u for a.
4
Suppose 5*h + 7 = 17. Suppose -3*a + 3 = -h*y - y, -5 = 3*a + 5*y. Let b be (1 + a)*(-3 + 8). Solve 3*q - 2*n = -12, -3*n + 20 = -b*q - 7*n for q.
-4
Suppose -4*x + 19 - 11 = 0. Solve -3*n = p + 8, -2 = x*n - 5*n + p for n.
-1
Let u(o) = o**2 + 6*o + 3. Let w be u(-5). Let t(c) = -c**3 - c**2 - c - 6. Let r be t(0). Let a = w - r. Solve -3*z + 3*k - a = 5, -z - 7 = -5*k for z.
-2
Suppose -h - 3*m - 10 = 0, 5*h + m - 40 = 4*m. Suppose 2*u = h*u - 6. Solve -u*g - 3 = -w - 0*g, 3*g = -3*w - 27 for w.
-5
Let f be (-1 - (-3 + 2))/2. Let o = -3 + f. Let j = 3 + o. Solve j = b - 3*g + 6, -4*b - g - 14 = b for b.
-3
Suppose 5*m - 35 = 50. Let x = m + 29. Let s = -21 + x. Solve k - s = 5*p, -2*p - 1 - 9 = 3*k for p.
-5
Let s be (24/20)/((-2)/5). Let v = s - -9. Solve -2*k + 5*x - 11 = 0, 4*k = -4*x - 2 - v for k.
-3
Suppose -u + 3 = -9. Let y = 21 - u. Suppose 0 = 3*m - 91 - 8. Solve 0 = v + f - y, m = 5*v + f + f for v.
5
Let t = -137 + 147. Solve 0 = -5*j + t, -3*j - 5 = 4*q - 3 for q.
-2
Let a = 54 + -49. Solve -5*f = -3*x - a, -f = -x - 3*f + 2 for x.
0
Let d(x) = -12*x - 5. Let y(l) = 6*l + 3. Let i(h) = -4*d(h) - 7*y(h). Let s be i(1). Solve -2*w - 3*w = -5*a - 5, -4*a - 4 = s*w for w.
0
Suppose 36 = 6*p + 12. Suppose p*x = x + 24. Solve -x = 4*b - 5*k, 2 = -3*b + 2*b - 2*k for b.
-2
Let d be ((-1)/3)/((-2)/30). Solve 0 = -r - 3*l - 13, 4*l - 3*l = -r - d for r.
-1
Suppose -5*w - 8 = -r - 4*w, -3*r + 27 = -4*w. Suppose -4*x + r*q = -18, -2*q + 6*q + 18 = 5*x. Solve -3*b - 2 = -5*a, b - x*b = -a for b.
1
Let b be ((-8)/(-10))/(12/30). Solve 4*t - 13 = -p, -b = -3*t + p + 6 for t.
3
Suppose -37 = -5*k + w, 0 = -0*w + w - 3. Suppose -k = -4*g + 4. Solve 0 = -l - 4*a + 2, -g*l - 4*a = 2 - 0 for l.
-2
Suppose 0 = 3*u - 3*z - 39, 22 = 4*u - 5*z - 32. Let s = u + -11. Solve 0 = p - 3*k, 4*p + 3*k - 6*k - 9 = s for p.
3
Suppose o = a + 11, 0 = -2*o - 0*a + a + 25. Suppose -26 = -5*p + o. Let v = -4 + p. Solve v*n - q + 17 = -n, -q = -3*n - 11 for n.
-3
Suppose 3*p + 5*t + 11 = 0, 3*p - 2*t - 17 = -0*p. Let m(o) = -o - 3. Let c be m(-6). Solve -3*k - p*l = -l - 5, -k - c = -4*l for k.
1
Suppose 1 = p + 3. Let r = p - -6. Solve 5*j = -4*a + 16, r*j + 1 = -2*a + 9 for j.
0
Let a = -1 - -1. Suppose -f - 1 = 1, 3*o + 3*f = 0. Solve 0 = -o*y - a*y + 3*q - 5, y + 2*q = 1 for y.
-1
Let b(r) = r - 4 + 0*r - 3 + 2*r. Let c be b(5). Solve 2*t + c*i + 11 = 3*i, -5*i - 15 = 0 for t.
2
Let l = 13 + -5. Solve 5*c + l = 4*p + 3*c, 10 = 2*p + 2*c for p.
3
Let m(s) = 7*s - 15. Let t be m(3). Solve -3*x + t = -4*n, -13 = -2*n - 5*x - 29 for n.
-3
Let u(x) = -x**2 - 11*x - 6. Let b be u(-10). Solve 3*s = b*z + 27, 4*z + 0*s = -3*s + 3 for z.
-3
Let i be 66/4 + 2/4. Suppose -i = -2*j + n, j = -n - n + 1. Suppose 2 = 3*m - j. Solve -4*w = 4*f + 8, -7*f + 2*f = m*w + 10 for f.
-2
Let k be ((-4)/4)/(9/5 + -2). Solve -k = o - 3*m + 3, 5*m - 20 = 0 for o.
4
Suppose -5*q + 8*y - 4*y = -25, 5*q = 5*y + 25. Solve 0 = 2*j - 4*j - 8, k = j + q for k.
1
Let j be (-3)/(-6)*8 - -1. Suppose 5*r - j*n - 30 = 0, r = -r - n + 3. Let l be r/(-3) - 1*-1. Solve 3 = -s - h + 10, 2*s + 4*h - 20 = l for s.
4
Suppose 24 = -0*m + 2*m. Suppose -u + 16 = 4*t, 5*u + 3*t - 17 = m. Solve -5*l + u*b + 4 = -4, 3*b = -6 for l.
0
Suppose -6 + 1 = -5*v. Let o(f) = f**3 - 9*f**2 - 9*f - 7. Let n be o(10). Suppose 3*p = 18 - n. Solve -p*u = 5*l + v + 29, 3*l - 2*u = -3 for l.
-3
Suppose 14 = 3*x + 2. Solve 2*b + p = -3*p - x, -b + 3*p = -3 for b.
0
Suppose 7*v - 2*u - 70 = 2*v, -5*u - 73 = -4*v. Let t = -8 + v. Let r = t - 2. Solve 3*p - p = r, -2*z = p + 3 for z.
-2
Let n(o) = o**3 + 22*o**2 + 11. Let a be n(-22). Solve x = 3*k + k + a, 4*x - 18 = 3*k for k.
-2
Let u = 16 - 14. Let j = 1 + 1. Solve 3*k = u*n + 8, k + 7 = -5*n + j*k for n.
-1
Suppose -10*d + 27*d - 34 = 0. Solve 2*b - 8 = -18, -5*b = -d*a + 23 for a.
-1
Suppose -k + 10 = 5*w - 45, -5*k - 2*w + 252 = 0. Let c(g) = g - 1. Let v be c(1). Solve 5*i + 7 = -b - 13, 5*b - 5*i - k = v for b.
5
Let o = 10 - 7. Solve -3 + 1 = -n + 2*v, -4*n + o*v - 2 = 0 for n.
-2
Suppose 5*i = -2*c + 6*c - 17, i - 14 = -5*c. Solve c*f + 12 = -5*s, 20 - 4 = -4*f + 4*s for f.
-4
Suppose -2*c + 24 = -2*l, 2*c + 10 - 46 = -2*l. Suppose -2*v + c = v. Solve 3*r + 11 = 5*m, v*m + 4 = -4*r + m for r.
-2
Let z(w) = 2*w - 5. Let c be z(7). Let n = c + -9. Solve -1 = -5*g + u - 12, n = 4*g - 3*u for g.
-3
Suppose 3*n - 13 = 5*o + 51, 5*o - 20 = 0. Solve -4*s = 16, 4*u + 2*s = -0*u - n for u.
-5
Let a be -1*18/(0 - 1). Suppose -a = 2*y + y. Let g be ((-20)/(-15))/((-1)/y). Solve 0 = -w - 5*i + 15 + g, 5*w - 4*i = -30 for w.
-2
Let t be ((-1)/2)/((-2)/20). Solve -t*p - 3*s + 20 = 0, -p + 7 = p + s for p.
1
Let f be 1070/70 - 2/7. Solve -b - p = -9, -2*p - p = -f for b.
4
Let l be (45/(-12))/(3/(-20)). Suppose -2*q - l = -7*q. Solve 0 = -t - 2*g - 11, q*t + 3*g = -13 - 21 for t.
-5
Let b(x) = -3*x. Let k(v) = -4*v - 1. Let y(h) = 3*b(h) - 2*k(h). Let u be y(4). Let a be u/(-6) - 22/(-6). Solve a*n = 3*s + 35, s - 15 = n + 5*s for n.
5
Let c be -6*6/9*-1. Let k be (-9)/18*(-2 + 0). Solve s + 27 = 5*r, 14 = r - c*s + k for r.
5
Suppose 0 = -4*m + f + 12, 5 = m + 3*f - 11. Suppose 5*n + 9*p = m*p + 20, -1 = p. Solve 2*a - 17 = -n*l + 8, -2*l + 4*a = -10 for l.
5
Let y = 4 + 1. Solve 3*n = -0*n - 4*q - 8, 0 = -y*n - 2*q + 10 for n.
4
Suppose -2 + 5 = f. Solve t + 2*d = -f, -5*t - 2*d = -d + 24 for t.
-5
Let m(f) = f - 1. Let x be (-22)/(-6) - 4/(-12). Let d be m(x). Solve -4*s + 10 = c + 2*c, 0 = -c - s + d for c.
2
Suppose -16 = -3*y - 2*j, 4*j - 28 = -y - 3*y. Solve -5*x + 3*k = -6, 3*x + k - 14 = -y for x.
3
Let n = -9 + 20. Suppose -4*y = -9*y - 4*t - n, -2*y + t - 7 = 0. Let o(x) = -x. Let f be o(y). Solve -4*k - f*m = -11, 12 + 8 = -5*k + 3*m for k.
-1
Let z = 49 + -46. Solve 5*o + 11 = -14, j - z*o - 19 = 0 for j.
4
Let o(s) = 4*s**2 - 6*s**2 + 2 - 7*s - 1 + 3*s**2. Let h be o(7). Solve -2*y - h = u - 4*y, -30 = -3*u - 5*y for u.
5
Let w = 19 + -10. Let r(a) = a**2 + 5*a - 1. Let m be r(-5). Let l be 0*m/2*-2. Solve l = 5*f - 5*q + 21 + w, -5*q = -10 for f.
-4
Let z be -1*(4 - 3) - -3. Solve 0 = -5*k + 4*l - z - 10, 2*k - 12 = -4*l for k.
0
Let z(j) = -j + 15. Let y be z(10). Let u be 12/30 - (-23)/y. Solve -5*b = -u*l - 40, 0*l - l + 2 = b for b.
5
Let t be ((-80)/(-15))/8 + (-6)/9. Suppose 3*a = -0*a + 6. Solve -3*m - 18 = 2*h - 3, t = -a*m + 2*h - 10 for m.
-5
Suppose 4*q = 2*s - 22, -10 - 5 = -s - 2*q. Solve -3*w - 4 - s = 5*a, -4*w + a = 15 for w.
-4
Suppose 3*s - 32 = 7*s. Let p be 2/s + 34/8. Solve k + 3*c - 13 = 0, -3*c + 5 = -p for k.
4
Suppose 5*b + 0*z - z - 115 = 0, -23 = -b + 3*z. Solve -3*h - c - 16 = -0*c, -3*c = 4*h + b for h.
-5
Let n = -5 + 5. Suppose n*l = 3*l - 6. Let v be l/(-10) - (-6)/30. Solve -5*k + 5*b = -4*k + 22, v = 3*k - b + 10 for k.
-2
Let m be (-9)/6*(-4)/6. Let k be 8 - (5 + -2)/m. Solve s = 4, -k = 5*l + s + 6 for l.
-3
Let r = -22 + 26. Let a be (5 - 2)*(-4)/(-3). Let d(k) = 2*k**2. Let i be d(1). Solve -5*m - i*v = -4*v + r, -5*m - a*v + 8 = 0 for m.
0
Let d be 7/((-14)/8) + 0. Let r be 2/d + 6/12. Solve 3*t + 2 = 2*z + 1, 4*z + 2*t + 22 = r for z.
-4
Let j be 2*(1 + -2) - -4. Solve j*s = 3*h + 3 - 7, 8 = h + s for h.
4
Let t be 4/(-22) - (-10)/55. Suppose t = -7*i + 4*i + 12. Solve i*n + 18 = -4*j + 3*j, n = 4*j - 13 for j.
2
Suppose -2*x - 5 = -5*b, -1 = 2*x - 2*b + b. Suppose -4*r + 60 = -x*r. Solve 5*l - 2 = -4*a - r, 5*l + 22 = -a for l.
-5
Suppose -4*h = -4 - 12. Suppose h*s = 2*s + 6. Solve -5*d - 25 = -2*r, -5*d + 4*d + s*