 -4*h + 8 for i.
4
Let p(n) = -n**3 + 5*n**2 + 3*n - 6. Let d be p(5). Let h = -33 + d. Let m = -12 - h. Solve s - m - 3 = -5*u, -5*s + 2*u = 33 for s.
-5
Let d = 10 + -9. Let a = -3 - -5. Solve -22 = -a*m - 3*u, -2*u = -2*m + 3 - d for m.
5
Let d(o) = -o**2 + 7*o - 6. Let r be d(6). Let a = 5 + r. Solve 5*j = a*c - c - 2, -4 = -j + 3*c for j.
-2
Let y be (-10)/40 + 58/8. Solve -2*j + y*j - 4*h = -18, -4*h = 3*j - 2 for j.
-2
Let g be (-40)/(-6)*(-48)/(-40). Solve 5*t - 3*y + 16 = y, -4*t + 2*y = g for t.
0
Let o = -9 - -9. Suppose z + 4*z = o. Solve r + r + 14 = 2*m, z = 4*m - r - 13 for m.
2
Suppose -f - f = -4, a = 3*f. Let z be 2/a + 6/9. Let p(j) = -5*j - 4. Let l be p(-4). Solve -4*g + 14 = -2*c, 5*c = -l + z for g.
2
Let k be 1 - (-1 + 1 + -3). Let l = -67 - -68. Suppose -2*u + 22 = k*h, -5*u + 0*u - l = -4*h. Solve -u*v = -4*z - 22, -5*z + 3 = v + 21 for v.
2
Let c(q) = q + 9. Let h be -2 + 2*5/2. Let m be -12*(9/h)/6. Let g be c(m). Solve 4*w = -2*l - 18, 0*w + g*w + 5*l + 17 = 0 for w.
-4
Let p be ((-9)/2)/(1/2). Let n = 12 + p. Solve -3*b = v + n, -3*b + 5 = 3*v - b for v.
3
Let z(k) = -k**2 + 8*k - 6. Let h be z(6). Suppose -3 = c - 6. Suppose 3*d + 23 - 5 = c*p, -3*d - 4 = -p. Solve 4*v = -5*b - 1 + p, v = b + h for b.
-2
Let z(r) = -r - 3*r - 6*r**2 + r**3 + 2*r**2 + 0*r**2 + 5. Let s be z(5). Solve -c = 3*c + 2*x + 30, -s = 5*c - 3*x for c.
-5
Let l(h) = -h + 1. Suppose -n = -5*j - 3 - 4, 0 = 4*n - 5*j + 2. Let x be l(n). Solve -5*u = 6 + 14, -v = -u - x for v.
0
Let y = 84 - 45. Solve 2*v = 5*b - y + 8, -21 = -3*b + 2*v for b.
5
Suppose 17 + 8 = 5*r, 18 = 4*w + 2*r. Solve -2*b - 3 = -5*m, 2*b = 3*m - w*b + 1 for m.
1
Suppose -4*f + 21 = 3*g, f = 2*g + g - 6. Let q be f/(-6)*(-34 + 0). Solve w - 4*w = -6, -5*u - q = 4*w for u.
-5
Let w(b) = -2*b - 1. Let v be w(2). Let x be 4 + (v - -3 - -2). Solve -18 = x*k - 2*g, 4*k + g = -0*k - 15 for k.
-4
Let g = 173 - 170. Suppose -16 + 81 = 5*q. Let l be 0 - (-2 - -4)*-1. Solve g*w - q + 4 = 0, -l = -c - w for c.
-1
Suppose -4 = c - 6. Solve 0 = 2*r - 4*x + c*x - 4, -19 = 3*r + 2*x for r.
-3
Let j be ((-1)/(-2))/(7/28) - 2. Solve -2*s + 3*s = 3*y + 12, -s - 3 = j for y.
-5
Suppose 0 = -i + 4*m + 7, 4*m + 3 = -1. Let p be 109/2 + 2/4. Suppose -5*q = 3*k - 53, -4*k + q + 31 + p = 0. Solve b = -o + 6*o + k, -i*b = o + 1 for b.
1
Let h(f) = f**2 + 6*f + 7. Let i be h(-5). Let u be ((-1)/(-3))/((-4)/12). Let g = 1 + u. Solve g = -3*x + 5*w + 16, 2*x - x = -i*w - 2 for x.
2
Suppose -p - 65 = -6*p. Let d = p - 13. Solve t + l - 2 = 0, -4*t + 2*l - 2 + 16 = d for t.
3
Let k(p) = p**2 - 8*p + 4. Let r be k(8). Let x(w) = w**3 - 5*w**2 + 6*w - 4. Let j be x(r). Solve s + d - 24 = -j*d, -3*s = -5*d + 28 for s.
-1
Let w = 12 - 10. Solve -s = -3*c - w*s + 11, -c - 3*s + 17 = 0 for c.
2
Let c be 4/10 - (-4)/(-10). Solve x + 2*t - 1 = 0, 5*t + c - 4 = -4*x for x.
1
Suppose 0 = 3*q - q - 8. Solve q = 4*v - 5*z + 17, 2*z - 8 = 3*v for v.
-2
Let o = 0 + -10. Let p = -19 - o. Let g be 2/p + (-58)/(-18). Solve -g*s + 4 = -2*j + 21, 4*j = s + 19 for s.
-3
Suppose -4*j + 107 = 3*p - 5, -p = -3*j - 46. Suppose 5*r - p = 5*w, -2*r - 2*r = 2*w - 8. Solve -9 = 3*a - 4*s, -r*a - 4*s = -s + 12 for a.
-3
Let o(z) = z**2 - 14*z + 15. Let h be o(13). Solve 2*d = -c - 11, 5*c + 1 = 4*d + h for d.
-4
Let k be (1/(-3))/((-4)/36). Suppose 0 = a - 5*j + 28, -5*a + 3*j + 6 = 102. Let x be (-3)/6 + a/(-4). Solve 0 = -3*b + 5*g + 47 - 7, k*g = x*b - 35 for b.
5
Suppose -2*d + 5*d - 5 = 5*n, -5*d + 4*n + 4 = 0. Suppose d = 5*w - 10*w + 25. Solve -3*z + 4*z - w = 0, p = 4*z - 15 for p.
5
Suppose 0 = -2*j - 5*m - 3, m = -4*j + 7 - 4. Suppose -i + j = y, -14 = -5*i + i + y. Solve 3*h + 2*h + 24 = -3*d, -i*h = -4*d - 3 for h.
-3
Let m be (45/(-6))/(-1)*2. Suppose 2*v + v + m = 0. Let h = -5 - v. Solve 0 = 3*n - 2*t - 12, -2*n + 3*t + 6 + 2 = h for n.
4
Let c be (1/(-3))/(1/(-6)). Suppose 0 = -c*p + 5*w + 62, 3*p + w - 68 = -4*w. Solve 3*g + b - 4 - 7 = 0, -2*g + 4*b + p = 0 for g.
5
Let b = -3 + 11. Suppose 0 = -3*x + b - 2. Solve -5*p - x*q + 6*q + 12 = 0, 6 = -5*p - 2*q for p.
0
Let c(j) = j**3 + 13*j**2 + 13*j + 16. Let t be c(-12). Solve -a - r - 3 = 0, 4*a + 14 = t*r - 6 for a.
-4
Let v(w) = w**2 - 26*w - 53. Let i be v(28). Solve i*p - 22 = -4*k, 3*p + k = -2*p + 14 for p.
2
Let c(p) = p**3 - 8*p**2 + 6*p + 10. Let k(t) = -t. Let a be k(-7). Let u be c(a). Solve -f + u*o = -0*o + 8, 3*f = 3*o - 12 for f.
-2
Suppose 4*a = 74 - 6. Solve 6*x - 3*x - 2*u = -10, -u - a = 4*x for x.
-4
Suppose -2 = 2*j - m, 0*m + 3*m - 6 = -2*j. Solve j = h + 4*d, 2*h - d = d for h.
0
Let g = 6 + -4. Suppose 0*t - g*t = 0. Solve -1 + t = 5*n + 2*x, 3*x - 7 = n for n.
-1
Suppose 0 = -2*x - 1 + 5. Solve -2*d + 5*v = -0*d + 5, -x*v = 2*d + 12 for d.
-5
Let m = -15 - -30. Let v be (1/(-2))/((-1)/4). Solve 5*l + m = -0*l + 4*b, 6 = -v*l - b for l.
-3
Let g(u) = u**3 - 7*u**2 + u - 4. Let p be g(7). Suppose t - 16 = -p*t. Let v = -2 + t. Solve v*m - 19 = 3*o, 0 = 3*m - 5*o + 2*o - 24 for m.
5
Suppose -4*s - 2*x - 32 = x, -4*s = -x + 16. Let l be (-60)/(-8)*(-8)/s. Let n(u) = 4*u + 8. Let t be n(0). Solve 5*b + d - 3 = 0, -3*b - 4*d = -t*b - l for b.
0
Let v = 173 + -171. Solve 3*i - v = x, -i + 4*i + 4 = -2*x for x.
-2
Suppose -51 = -2*i + f, 3*f - 55 = -i - i. Let t be 4/14 + i/7. Suppose 7*u - 3*u - 15 = 3*k, -5*k = 2*u + 25. Solve -j - 10 = 3*y + y, u = 4*y + t*j + 4 for y.
-3
Let s(j) = j**3 + 4*j**2 + 3*j + 1. Let r = 6 + -8. Let l be s(r). Solve 0*v + 5 = m + v, 7 = -5*m + l*v for m.
1
Let y = -6 - -15. Suppose 0 = -f - 4 + y. Solve -f*x = -x + 4, 16 = 3*r - 4*x for r.
4
Let p(m) = -m**3 - 9*m**2 + 6*m - 15. Let o be p(-10). Solve 5*n - 3*q + 0*q + 22 = 0, 5*q + o = -4*n for n.
-5
Let d(b) = -52*b. Let w be d(1). Let u = w + 87. Solve -u = 4*j + 5*g, -6*j - g - 28 = -j for j.
-5
Let u = -4 - -6. Let o(a) = -a**3 + 3*a**2 + 4*a + 1. Let p be o(4). Let h = p + u. Solve 0 = -x - m - 8, h*m + 13 = -4*x - 15 for x.
-4
Let k(i) = -i + 18. Let b be k(16). Suppose -2*c + 5*s = -28, 0 = 7*c - 2*c - s - 24. Solve -4*p = -4*d + c, -b*p + 3*p - 2 = -2*d for d.
1
Let t be 2/7 + (-12)/42. Suppose t = n + n - 4. Solve 16 = 2*w + 5*x, 3*x - 4 = -3*w + n for w.
-2
Let z be 8*(-1 + 6/4). Suppose 0 = 2*x + z*t - 46, x - 1 = -5*t + 16. Let a(q) = -q - 5. Let j be a(-8). Solve -y - 2*y = 2*u + 18, j*y + x = -5*u for y.
-4
Let u(d) = -d**2 + 11*d + 7. Let t be u(7). Solve -5*n = 5*v + t, 2*n + 3*n - 15 = 5*v for n.
-2
Suppose 0 = 2*s + 3*s - 5. Solve -4*i + 2*y - s = -i, -4*y - 5 = i for i.
-1
Suppose 0 = 2*z + j - 7 - 2, 0 = -2*j + 10. Let n be 2 + z + (-4 - -2). Solve 0 = n*t + 6, 3*k + 0*t = 2*t - 3 for k.
-3
Let z = -23 - -25. Solve -s - z = 3*l, -2*s + 5*l = 1 + 14 for s.
-5
Let j(w) = w**3 - 3*w**2 - 3*w - 2. Let i be j(4). Let p be 57/12 - (-2)/8. Suppose 5*r + 15 = 25. Solve i*t = -p*g + g - 4, -t - 6 = -r*g for g.
1
Let j(q) = q - 7. Let h be j(8). Let b be (-121)/(-11) - (1 + h). Suppose 2 = -4*y + 3*n + 14, -5*y - 4*n = 16. Solve 5*g + 2*w = -b, y - 24 = 4*g - 4*w for g.
-3
Suppose 0 = 4*n + h - 18, 2*h = 2*n + 5*h - 4. Suppose -r = -2*r + n. Let o be (-2)/(-2) - (-1 + 2). Solve g = -4*i - o - 1, 5*g - r*i = -5 for g.
-1
Let o = -7 - -10. Solve 3*d + 13 + o = -g, -3*d = 2*g + 20 for d.
-4
Let o(l) = 2*l**2 - 5*l + 4. Let q be o(4). Let w = 11 - q. Let h be 15/(-25) + (-28)/w. Solve h*f = -0*j - 4*j - 21, j + 14 = -3*f for f.
-5
Suppose -2*q = -3*q. Suppose q = 4*v + 3*r + 3, 5*v + 3*r + 0 = -3. Solve 0 = -k + 6*g - 2*g + 10, 5*k + 5*g = v for k.
2
Let m(t) = -t**3 + 8*t**2 + 11*t - 5. Let p be m(9). Solve -n + 3*n - v = 4, p = 5*n - v for n.
3
Let u(z) = -2*z - 9. Let g be u(-6). Suppose g*b = 5*b. Solve b*a = -2*a + 2*t - 2, -4*t + 4 = 2*a for a.
0
Let n = 4 - 2. Suppose 4*o + 10 = 5*q, 0*q - q + 5*o + n = 0. Solve -4*v = v + 10, -q*a + v = 4 for a.
-3
Let n(k) = -1 + 2*k - k**2 - 2*k + 5*k. Let o be n(4). Solve o*p = -4*t + 5, -2*p - 14 = -t - 7*p for t.
-1
Suppose h = -h + 8. Suppose -2*y + 6 = -m + 33, 86 = 2*m + h*y. Solve -3*x = -g - 11, 3*g + 2*g + 3*x - m = 0 for g.
4
Let s(q) = q**3 - 4*q**2 - 4. Let w be s(3). Let m = -9 - w. Solve 4*z = m*v - 8, -z + 4*z + 4*v = 15 for z.
1
Suppose 6*s + 2*b = s + 12, 4 = -2*s - 3*b. Suppose 2*l + 30 = s. Let