*b + h + 1 for u.
-4
Suppose 0 = 3*v - 4*g - 19 - 1, 5*g = 3*v - 25. Solve v*w + 2*w + z = 1, -2*w + 3*z + 21 = 0 for w.
3
Suppose -8*t + 40 = -0. Suppose 42 = -t*y + 192. Solve -2*i + y = g + 3*i, 0 = 2*g + 5*i - 35 for g.
5
Suppose -16*h = -14*h. Let c(u) = 5*u - 8. Let g be c(6). Suppose 0 = -3*i - z - z + 26, -2*z = -3*i + g. Solve 3*t - 4*j + 1 = h, 3*t = -4*j - 9 - i for t.
-3
Let y(h) = -h**2 + 1. Let r be y(-2). Let x = r - -8. Suppose 8*k = -21*k + 1189. Solve 3*t + 2*t + k = 4*u, 5*u = -3*t + x for u.
4
Let f(r) = r**3 - r**2 - 6*r + 7. Suppose -58*z = -55*z - 6. Let h be f(z). Let k be (2/6)/(h/(-54)). Solve -6*p + k = -3*q - p, 0 = -3*q + 4*p - 15 for q.
-1
Let u(a) = -a**2 + 46*a - 526. Let h be u(22). Solve -5*q + h = -p, 5*p + 9 - 19 = 5*q for q.
1
Let k(t) = 8*t - 1. Suppose 2*u - u = n + 4, -2 = -2*u - 4*n. Let q be k(u). Let j = 8 - 3. Solve -2*o = -j*x - 11, 4*x = -4*o - q + 3 for o.
-2
Let f = 27 + -19. Suppose -2*r + 6*r - f = 0. Suppose 5*l - 2*o - 7 = o, -r*o = -3*l + 4. Solve 4*v = -l*d - 0*d + 22, d = 4*v - 13 for d.
3
Suppose n + 1 = 5*n + 3*l, -4*l = -4*n + 36. Let c be 30/n*12/18. Suppose -26 = -2*q - 4*d, -c*q + 56 + 27 = d. Solve v - q = -v + 3*x, 2*v = -5*x - 23 for v.
1
Suppose -2*s + 3*t = -3*s - 7, 3*s - 2*t = 23. Suppose 4*p + 2 = s*p. Solve 3*q + 1 = -x, 7*x - p*x - 19 = -3*q for x.
5
Let n be 32 + (4/8 - (-1)/2). Solve -9 = 3*p - 3*q, -4*p - q + n = 4*q for p.
2
Let u be -2*(-3)/6*4. Suppose u*h - 3 = -11. Let s(k) = 11*k**2 + 4*k - 1. Let c be s(h). Solve -5*l + c = -5*m, -3*m + 3 = -3*l - 8*m for l.
4
Let r = -20 + 17. Let k be (-4)/(13/r - -3). Solve -l = -0*l - 5*y - 20, 5*l + 10 = k*y for l.
-5
Let h(t) = -64*t + 7. Let u be h(1). Let y = -46 - u. Solve 5*b = -5*q - 10, -2*b - q - y = 2*b for b.
-3
Suppose -192 = -21*n - 3*n. Solve -p = -4*q + 1 - 5, -3*p + 2*q - n = 0 for p.
-4
Suppose -133*k = -129*k - 52. Solve 0 = m - 2, -k = -2*l - 4*m - 5 for l.
0
Let n = 13 - 1. Suppose u = -u + n. Suppose u = 2*s - 0. Solve -l = -s*h + 4, 6*l - 5*l - 3 = -4*h for h.
1
Suppose -1 = 4*s - 17. Suppose -4*w + s = -5*w, -v + 20 = -5*w. Let c = -51 - -53. Solve v = -r + 3*l + c*l - 24, 3*r + 3*l = 0 for r.
-4
Let f be 1 - 0 - (6 - 5). Let g(d) = d**3 + 25*d**2 - 62*d - 204. Let s be g(-27). Solve 3*z - 6*z - 3*b + 12 = 0, -2*z - 4*b + s = f for z.
2
Let b be 15/4*12/9. Suppose 2*l - 4*s + 11 = s, -5*s + b = -5*l. Suppose 0 = -l*j - 8 + 16. Solve -j*z - 28 = 4*y, 3*y - 3 = 5*z - 0 for z.
-3
Suppose 0 = -h - 3*b - 5, -3*h + 3*b = -2 - 7. Let r(n) = n**3 + n**2 + n - 1. Let f be r(h). Solve 0 = -f*v - 4*t - 30, 3*t = -4*v + 2*t - 25 for v.
-5
Suppose -5 + 4 = g. Let p be 1*g*1*(7 + -8). Solve 4*q + 4*h - 20 = 8*h, -q - 3*h = -p for q.
4
Let t = 28 + -21. Solve -5*b + 7 = 4*n, 0 = -4*n + b + t + 6 for n.
3
Let u be 1/(-4) + (3 - (-532)/16). Suppose -5*k + 5*s = -80, -u = -3*k + s - 4*s. Solve -4*t + 2 = 2*a, 5*t + 3 = 4*a - k for a.
3
Let m be (-20)/(-28) - 12/(-42). Let h be 16/24 + 7 - m/(-3). Solve -3*s + j = h, -s - j = -0*j for s.
-2
Suppose 0 = 4*z - 2*b + b - 28, 0 = -2*z - 4*b + 32. Let t be 3 - 2*4/z. Solve -3*f = -3*g + 6, -5*f - 4*g = -t*g + 24 for f.
-4
Let m be 0/2 - (-2 + 5). Let x(q) = q**2 - 7*q + 5. Let c be x(5). Let t be m/c + (-282)/(-30). Solve -w + 5*r - t = -0*w, 2*w - 2*r = 4 for w.
5
Suppose 3*j = -22*u + 26*u + 65, 0 = 3*j + 5*u - 20. Solve 5*x = 4*s - 11, 0 = 2*s - 5*s - 4*x - j for s.
-1
Suppose -5*z - 27 = -2*u + u, 0 = 4*z + 16. Suppose a - 4*a + 56 = 2*t, 2*a - 5*t - 31 = 0. Let h = 9 + -6. Solve -4*w + h*g = -u*w - 12, -4*g - a = 5*w for w.
-2
Let t be (-15)/18*(-42)/7. Solve 5*m - 7 = -x, t*x - 5 = -2*m + 7 for x.
2
Let k(o) = -3*o - 6. Let b be ((-1)/2)/(10/60). Let q be k(b). Solve -u - 5 = q*z, u = 5*u - 4 for z.
-2
Suppose -109*k + 1 + 326 = 0. Solve -7 + 4 = -2*y - t, k*t - 9 = -4*y for y.
0
Suppose 45*a = 47*a. Solve -13 - 11 = 5*v - 4*k, -5*v + 5*k - 25 = a for v.
-4
Suppose 4*o = -2*u, 0*u - 4*o - 20 = -3*u. Solve -5*t = j - 26, -8*j = -u*t - 4*j + 16 for t.
5
Let v(l) = -2 - l**2 - l**3 + 2 + 0*l - 2*l + 4. Let r be v(0). Solve -3*c + r = -2*j + 3*j, 20 = -3*c + 5*j for c.
0
Suppose -14*k + 120 = -10*k. Suppose 6*j = -4*j + k. Solve -g - 1 = -4*w - 4*g, 0 = -j*w - g + 7 for w.
4
Let f be 4/12 + 34/6. Suppose 3 = -f*i + 63. Let y = i + -6. Solve 0 = -y*a - t - 13, -t - 11 = 2*a + 4*t for a.
-3
Let j(d) = 2*d**2 + 16*d - 15. Let g = 122 + -131. Let m be j(g). Solve 5*c + 9 = 3*h, 5*c + 2*h = m*h - 3 for c.
0
Let r be (-9)/(-36) + 1/(-4). Suppose 2 = n - r*n. Suppose 85 = n*w + 3*w. Solve -4*o + 4*d - 4 + 0 = 0, 5*o - d + w = 0 for o.
-4
Suppose -s + 3*q + q - 72 = 0, 3*s + 4*q + 168 = 0. Let o = 65 + s. Solve -o*b = -l + 18, 3*b - 4*b = -2*l for l.
-2
Suppose 3*m + 30 = 4*j, -3*j + 7*j - m - 26 = 0. Let q = -9 - -18. Suppose q = -3*r + 6*r. Solve 0 = 5*w + n - 1, 3 - j = -w - r*n for w.
0
Suppose 5*f + 45 = -5*x, 3 = -f - f + x. Let j be (-90)/(-20)*f/(-6). Solve m - j = y + 2, -y + 20 = 4*m for m.
5
Let o(r) = -6*r + 37. Let q(f) = -2. Let k(l) = -o(l) - 3*q(l). Let a be k(6). Solve -3*m + 0*m - 3 = -3*z, -2*m + 3*z - a = 0 for m.
2
Suppose 3*a - 5*x - 38 = 0, -2*x + 2 = 5*a - 20. Solve 4*o = -4*i - 32, 5*o + 2*i = a*i - 4 for o.
-4
Suppose -12 = -d - 4*p - 3, -5*d - 5*p = -30. Solve -2*z = -d*a - 14, 4*z - 2*z + 2 = -3*a for a.
-2
Let i(p) = p**3 - 9*p**2 + 39*p - 118. Let j be i(6). Solve 0 = -n + 3*z + j, -5*z - 4 = 6 for n.
2
Suppose 5*t - m = 18, 0 = -3*t - 5*m + 2*m. Let x = -1 + 1. Solve 0*i = t*i + 3*s + 12, x = -4*i - s - 19 for i.
-5
Let r(c) = 28*c + 2. Let t be r(0). Solve 5*i - 22 = 3*k, 10*k - 13*k = -i + t for k.
1
Let o be (-1 + 0)*(-3 - (22 - 6)). Solve -2*q - o - 12 = 5*u, 2*q + 3*u = -21 for q.
-3
Suppose 2*o = 2*c - 3*o + 11, c = 3*o - 7. Let y = 8 - c. Let s be y*1/2 - -2. Solve 2*q - 10 = -d + 4*q, -4*d + 1 = s*q for d.
4
Suppose -7*d - 17 = -3*q - 2*d, -4*q = d - 15. Solve v - q = 2*y, -8 = 4*y - 3*v + 7*v for y.
-2
Suppose 9*a - 24 = 5*a. Let l(q) = q**3 - 6*q**2 + 2*q - 7. Let j be l(a). Solve -19 = -j*z - 2*x - 3, -5*z + 3*x + 1 = 0 for z.
2
Let n = -65 + 76. Suppose -n*v - 9 = -14*v. Solve -4*b = -5*c - 3*b - 15, v*c = -5*b + 19 for c.
-2
Let i be 5 + 0*((-3 - 1) + 3). Solve i*v + 0 = 5*z + 40, 0 = 4*v + 2*z - 8 for v.
4
Let t(s) = 7*s - 3. Let y be t(3). Let f = -74 - -26. Let l = f + 52. Solve -2*r - y = 3*k + k, -20 = l*r for k.
-2
Suppose -8 = -4*i + c + 3, i - 4 = -c. Suppose -q + 1 = -i. Let o be (-132)/(-13) + q/(-26). Solve 2*z - d = 1, 0*d = -2*d + o for z.
3
Let c(y) = 4*y + 17. Let p be c(-8). Let t be 3/((-27)/p)*3. Solve -3*z + 5 = -t*h, 2*z + 4 = -4*h + 3*z for h.
-1
Let a(u) = u**2 + 19*u + 51. Let s be a(-16). Let y = 0 - -3. Suppose -o + 14 = y*t + t, s*o - 4*t + 6 = 0. Solve 4*b + 5*x - 5 + 0 = 0, -o*x + 2 = 0 for b.
0
Suppose -6*a + 72 = 3*a. Suppose -3*h + a = -h. Solve h*u = 3*p + 9, 5 = -p - u + 2 for p.
-3
Suppose -4*o + 2 = -3*k, -2*o - 4*k - 12 = 2*o. Let l = 18 - 31. Let j be (l/(-39))/(o/(-9)). Solve -2*g = 4*r + 28, -j*g - 12 = r + 5 for g.
-4
Suppose 108*w + 40 = 116*w. Solve -5*j + 5 + 35 = -w*i, 3*i = -2*j + 1 for i.
-3
Suppose 5*o - 19 + 9 = 0. Solve -2*a + o*i + 2*i + 22 = 0, -3*i - 3 = 3*a for a.
3
Let g be 1/(-1)*(1 - -1). Suppose c + n = 5, 0 = -3*n + n + 10. Let p = c - g. Solve -2*q - m = -3*q + 4, -p = -2*q - m for q.
2
Suppose -j + 5*m + 26 = 0, 3*j + 0 + 22 = -5*m. Suppose 2*t + j = 5*t - v, 5*t - 2*v = 0. Solve -n - 2 = 0, -t*n - 2*n + 4 = -3*u for u.
-4
Suppose -j + 116 = -5*j. Let a = -25 - j. Suppose -3*t + 1 = 5*c, -c = -a*c + 5*t + 21. Solve -5*v = 2*y - 8, 2*v - v + 8 = c*y for v.
0
Suppose 4*q - 5*d - 54 + 27 = 0, -2*q + 18 = 2*d. Solve 4*j - j = -5*w - 8, 0 = j - w - q for j.
4
Suppose 3*w - 36 = 4*w. Let b = -36 - w. Let l be b/(2 + 1 + -2). Solve 0 = -3*x + 3*c - 2*c + 2, l = -5*x + 3*c - 2 for x.
2
Let p be 14/(-91) - (-28)/13. Suppose -40 = -9*b + b. Solve -3*f - b*s + p = 0, 4*f - 1 - 13 = -s for f.
4
Let x = -1495 + 1501. Solve -l = 4*b - 3*l - x, 3*l = 15 for b.
4
Suppose 0*x = x. Suppose j + 4 = x, 2*s + 7*j - 2*j + 14 = 0. Solve -s*m = -4*l + 4, 5*m - m + 24 = -4*l for l.
-2
Let i(a) = 15*a**3 + 2*a**2 - a. Let n be i(1). Suppose -4*b + 19 = -1. Solve y + 4 = 0, -b*x = -x + 3*y + n for x.
-1