h - 4 = 0, -2*c - 5*h = -u for c.
2
Let w(b) = b**2 - b - 2. Let p be w(4). Suppose -4*r - p = -9*r. Solve -r*x - 3*x = 4*q + 3, 0 = 2*q - 5*x - 21 for q.
3
Let y(o) = o**2 + o + 1. Let t(d) = 2*d**2 + d + 2. Let x(q) = 4*t(q) - 9*y(q). Let u be x(-2). Solve 0 = -2*m - u*c + 10, -m - 2*c = -3*c + 2 for m.
0
Let u(x) = x**2 - 8. Let i be u(-4). Solve -i*y + 4*y = w, -3*w + 12 = 0 for y.
-1
Let m(o) = -o - 4. Let c be m(-7). Let w be 3/((4/c)/4). Suppose -w = -b + 16. Solve -l - 5*v = l + b, 0 = 3*l - v + 12 for l.
-5
Let q be 1*28/20 + 6/10. Solve -4*h - 12 = -3*k, -q*h - 3 = -h + 3*k for h.
-3
Let h = 15 - 12. Solve -u - 5*z = -0*z + h, -4*z - 14 = -5*u for u.
2
Suppose -8*k = -4*k. Suppose k = 6*t - t - 20. Suppose t*l = -2*h, -2*l - 4 = -2*h - 4*l. Solve 0 = u - 5*a - 6, 0 = 4*u - 7*u + h*a + 7 for u.
1
Suppose -3*f + 2*f = -0*f. Solve 5*x - 20 = f, 4*j + x - 5*x = -8 for j.
2
Let z be (1 - -3)*(2 + -1). Let n = 2 + 3. Suppose n*t - t - z*g = 68, -5*g - 33 = -t. Solve 2*j - 4*d = 18, t = -3*j - 3*d - d for j.
1
Suppose 4 = 5*v + 4*c - 93, c + 65 = 3*v. Suppose -4*b + v = -15. Let d = -5 + b. Solve -9 = 3*u + 3*r, -d*r - 10 = -2 for u.
-1
Let d = -6 + 9. Suppose -5*z + 35 = d*v, 4*v = v + 2*z + 7. Solve -5*p = 3*b - 37 + 12, 0 = p - v for b.
0
Let a(m) = m**2 - 8*m - 3. Let f be a(6). Let o be (-3 + 0)*10/f. Solve -4*w = i + o, 5*i + w - 6 = 3 for i.
2
Let b(v) = v + 2. Let c be b(2). Suppose c*n - 58 + 10 = 0. Suppose -3*a - 2*a - 5*i = 0, 12 = 2*a - 4*i. Solve -4*g = n, -a*g - 2 = 3*x + 1 for x.
1
Let a(d) = 3*d - 3. Let t be a(3). Suppose 5*b = 3*b + t. Suppose -x - 49 = -b*w, -2*x + 52 = w + 3*w. Solve -5*s = -n - 15, -3*s - 2*s + 5*n + w = 0 for s.
3
Suppose -5*b - 2*u + 21 = 0, -4*u - 13 = 2*b - 3*b. Let r(m) = m**3 - 9*m**2 + 9*m + 6. Let j be r(8). Solve -5*s + 3*p - b = j, -3*s + 3*p - 15 = 0 for s.
-2
Suppose -5*n - p + 4 = 0, 2*n - n - 16 = -4*p. Suppose 8*d - 3*d = n. Solve d = 4*t + 2*a + 20, 1 + 1 = 2*t - 5*a for t.
-4
Let d = -29 - -31. Solve d*s + 5*k - 11 = -39, s + 20 = -4*k for s.
-4
Let d = -2 + -1. Let p be 0 + 6/d - -2. Solve p = -2*n + 4*j - 10, -j - 3*j + 16 = 4*n for n.
1
Let z = -27 + 31. Solve 0*i + 2*i + 12 = 5*r, -i + 7 = z*r for r.
2
Let i be (-26)/(-143) + 31/11 - 1. Solve i*v - 5*a + 16 = 0, -3*v + 28 = 4*a + 6 for v.
2
Let h = 13 + -10. Let p be (2*21)/(-2)*-1. Solve h*k - 3*g - p = 0, -1 = -4*k + 5*k + 3*g for k.
5
Let u be (-27)/((-1)/(-2) + -2). Suppose 3*h = 5*g, -g = 4*h - h - u. Solve -2*w = -3*t - t + 22, h*t + w - 10 = 0 for t.
3
Let v(f) = -31*f - 1. Let d be v(-1). Let j be 2/(-5) + 102/d. Solve a + b + 6 = 0, j*a = b - 2 + 4 for a.
-1
Suppose 0*g + 16 = 4*g. Let j = g - 4. Suppose j*o + o - 52 = -4*f, 3*f + 5*o = 56. Solve 0 = p - w, 5*p - f + 2 = 3*w for p.
5
Let r = 6 + -2. Suppose 4*l - 25 = 2*x - 3, 0 = -r*l - x + 19. Let p be (-2)/3 - (-4)/6. Solve -a = 2*b + 9, p = -l*a - 2*b - 26 - 3 for a.
-5
Suppose v = -v + 54. Let n be 1/2 - v/(-6). Solve 5*a + 5*y = 5, -5*a + 2 = y + n for a.
-1
Let l be (8/(-16))/(2/8). Let a be 1 + -4 - 3 - l. Let h be (1 - 0)*(11 + a). Solve 0*u - 3*u + 4*w = -h, u - 2*w = 3 for u.
1
Let d = -3 + 5. Suppose -q + d*q = 3. Solve l - q = 4*p - 3*p, 4*l - 12 = 3*p for l.
3
Let o be (78/(-1))/(6/(-4)). Let t be o/(-6)*(-6 + 0). Suppose 0*b = 4*c + 2*b - t, 0 = 2*c - b - 30. Solve 3*z + 1 = 4*m - 22, -c = -3*m - z for m.
5
Let y be (-1)/(-2)*(-16)/(-2). Solve 0*l - 3*d = -y*l - 26, 3*d - 6 = 0 for l.
-5
Let v(h) = 3*h**3 + h**2 - h + 1. Let y be v(1). Let a(p) = -p**3 - 3*p**2 + 3*p - 3. Let f be a(-4). Solve 0*x - 3*u = 4*x - f, 0 = y*u + 4 for x.
1
Let u(v) = v - 5. Let b be u(10). Suppose -d - 6 = 2*c, -5*c - b = 4*d + d. Solve -3*m + 3*f + 1 + 2 = 0, d*m + 31 = -3*f for m.
-4
Let i = 37 - 32. Solve 2*y + 12 = 4*k, -2*y + 0*y - 3 = i*k for y.
-4
Let t = 18 + -16. Solve 12 = 4*y, -3*y = -4*z + t*y - 19 for z.
-1
Suppose -5*u = -4*d + 7, -4*d + u + 2*u = -9. Solve -2 = -3*a + 2*p, d*p = -3*a - 2*p - 26 for a.
-2
Suppose -4 = 2*a - 10. Solve 7 = -2*z + 3*q, -6*z + z + 5 = -a*q for z.
4
Suppose 0*d + 35 = 5*d. Let z be d/4 - (-2)/8. Let h be 2/z - 4/(-1). Solve -26 = -5*f + 2*f - h*n, 12 = -4*f + 5*n for f.
2
Let k be (-2)/4 + (-2)/(-4) + 3. Solve -w - s + k = 0, -w - 9 = -4*w - 5*s for w.
3
Let o be (-2 + 23)*(-8)/(-12). Suppose o = 2*b + 2*m, b = 3*b - m - 8. Solve -b*d + 4*h = -15, 5*d + 5*h + 48 = 18 for d.
-1
Let t be (-1 - 14/(-10))*(11 + -6). Solve -t*i + 5*c = i + 7, 3*i - 3*c = -9 for i.
-4
Let u(t) = t**2 - 6*t + 2. Let s be u(6). Suppose 0 = x - 4, -s*p + 2 = -7*p + 3*x. Solve 0 = p*g - 5*b - 23, 5*b + 16 - 1 = 0 for g.
4
Let p be 2/(-4)*(9 + -9). Suppose -9*m + 5*m = -12. Solve -2*f = 4*r - 2, r + p*f - 18 = m*f for r.
3
Suppose 0 = 3*s - 8 - 1. Solve -2*o + 5*t - 8 = -s, 0 = -2*o + 2*t + 4 for o.
5
Let h be (-17 + 5)/(2 - (-7)/(-2)). Solve 2*v + h = -4*y - y, 0 = 5*v - 5 for y.
-2
Let b(v) = 2*v - 17. Let p be b(11). Solve p*u - 10 = -5*o, 3*o - u - 11 = u for o.
3
Suppose 3*w + 2*u - 16 = 0, 2*w - 3*u - u = 0. Suppose -3*i = -w*i. Solve 2*f - 1 = 3, -j + f - 3 = i for j.
-1
Let s = 2 + 0. Let d be 156/(-65)*10/(-3). Solve d = s*o - 2*n, 2*n + 2 = o - 5 for o.
1
Let j = -6 - -11. Suppose -69 + 3 = 3*h. Let f be h/(-4) + 9/18. Solve j*n = -19 - f, -15 = 2*m + 3*n for m.
0
Let y = -7 + 11. Let w be (4/y)/(2 + -1). Let m(z) = 5*z + 1. Let r be m(w). Solve -4*a - 2*l = -18, l + 0*l = 3*a - r for a.
3
Suppose 4*u - 8 - 8 = 0. Suppose 2*q - 11 - 7 = 5*d, -u*d + 5*q - 11 = 0. Let s = -1 - d. Solve 3*m + 3*f + 8 = -2*m, -m - 2*f - s = 0 for m.
-1
Let c(m) = m**3 - m - 6. Let g be c(2). Solve 3*f - 16 = 2*y, -4 = 4*y + f - g*f for y.
-2
Let a be ((-2)/7)/((-2)/(-28)*-1). Solve m - 8 = -3*m, -4*m = a*k for k.
-2
Suppose 5 + 1 = 2*q. Solve 2*z - 7 = q*w, -6*z + z - 5*w - 45 = 0 for z.
-4
Let j(u) = 6*u - 11*u**2 - u + 5*u + u**3 + 4. Let l be j(10). Solve -l*v - v = w + 15, 4*w = 3*v + 32 for v.
-4
Suppose -3*l + 5 + 1 = 0. Solve -u + l = -3*u + 4*s, u + 3*s = -11 for u.
-5
Suppose 3*q - 49 - 14 = 0. Solve -2*k - 3*b = 2*b - q, -2*k = 3*b - 15 for k.
3
Let v = 3 - 2. Let d(t) = -t**3 - 8*t**2 - 8*t - 5. Let m be (-61)/9 - (-4)/(-18). Let s be d(m). Solve -5*r - 5 = -b, -s*b - v = -2*r - 3 for b.
0
Let d be 4 + 4/(-1) + 2. Solve 2*a + d*a = 4*y, -4*a + 2*y + 4 = 0 for a.
2
Let b(a) = -a**2 - 5*a - 4. Let v be b(-3). Suppose 3*c = -v*c - 15. Let k(i) = i + 3. Let t be k(c). Solve -u = 2*o - 2, -5*u + 3 = 3*o - t*u for o.
1
Let x(d) = -3*d + 5*d + 6 - 1. Let m be x(-4). Let y = m - -5. Solve -y*w = i - 10, -2 = w - 3*i - 0 for w.
4
Let f be 1*(12*-2)/4. Let g(k) = -k - 2. Let z be g(f). Solve z*p = 2*v + 7 + 21, -4*p - 3*v + 8 = 0 for p.
5
Suppose -j = 4*m + 5 - 0, 0 = -2*j - 4*m - 2. Suppose 3*c - l = j, 0*c + 2*c - 5*l = 15. Solve r - 14 = -c*r + 5*k, -14 = 2*r + 4*k for r.
-1
Suppose -3*k = -0*k. Solve k = 2*f + g + 4, 6 - 1 = 5*f - 5*g for f.
-1
Suppose 4*s = -16, -2 = 2*q + 3*q - 2*s. Let r be (q/3)/(-1)*45. Let w be r/8 + 3/(-4). Solve -f = w*g - 6*f, 5*g + 2*f - 31 = 0 for g.
5
Let j = 26 - 22. Solve -4*l + 3 + 3 = r, 12 = 4*l + j*r for l.
1
Suppose -3 = -2*j + 7. Solve -4*a = -5*f + 8, -j*a + 35 = 5*f - 0*a for f.
4
Let n(m) = -m + 6. Let t be n(4). Solve 2*o + 4*z = 4 + 2, 0 = 2*z + t for o.
5
Suppose 9*b - 9 = 8*b. Let v = b + -3. Solve 0 = -4*g - 4*d, -3*d - v = 2*g - 1 for g.
5
Let v = 3 + 2. Suppose -v*s = 3 - 8. Suppose 0 = -l + 3*f + s + 16, l + f = -3. Solve -14 = -2*w + 2*u - 6*u, l*w - 2*u = -4 for w.
1
Let y be 110/44*(-4)/(-5). Solve -y = -2*s - 2*t, t = 4*s + 2*t - 13 for s.
4
Let l be (-20 - -4) + 3*1. Let f = -10 - l. Solve -5*w - 15 = -x, 3*x = -0*w + f*w - 3 for w.
-4
Suppose 22 = 3*y - 23. Suppose -3*l + y - 3 = 0. Solve -4*b + 4 = -4*x, 8 + 9 = 3*b + l*x for b.
3
Suppose 2*z - 4*z = -8. Solve 0 = -z*v + 4*d + 24, 5*v + 2 = d - 4*d for v.
2
Let g(z) = z**2 + 3*z - 7. Let w be g(-5). Solve 3*m - m + r - w = 0, -9 = 3*r for m.
3
Let w(a) = -a + 4. Let q be w(5). Let m be ((-2)/4 + q)*-2. Suppose -20 = -b - 3*b. Solve m*r = 4*r + t - b, -3*r + 3*t = 3 for r.
2
Let v be 1 - -2 - (-1 - 1). Solve -5*d = -3*y + 6, -v*y - 21 = -0*d + 2*d for y.
-3
Let q be (2/5)/((-1)/(-5)). Suppose -f = -2*w + 1 + 3, -q*w = -2*f. Suppose -43 - 67 = -5*r. Solve 5*o = -3