Let t be h(0). Solve -3*l - 2 = 5*v - 23, -3*v + l + 7 = t for v.
3
Let g be (-6)/(-15) + 18/5. Suppose -n = -0*n - g. Suppose 3 = 5*z + 2*f, -4*f = 1 + 3. Solve 0 = 3*w - 2*i - 20 + z, n*i = -20 for w.
3
Let i(s) = -s + 15. Let z be i(8). Solve 5*b - 12 + 1 = 4*p, 3*p - 5*b = -z for p.
-4
Let b = -33 - -11. Let z = b + 22. Solve 3*l + c - 6 - 12 = z, -3*c - 16 = -5*l for l.
5
Suppose 0*n - n = -2. Let s(h) = 6*h**2 + 0 - 3*h - 4 - 5*h**2. Let o be s(5). Solve n*i - d - o = d, -12 = 4*d for i.
0
Suppose 15 = 3*d + 2*b, 0 = -3*d - d - 4*b + 24. Solve 0 = -2*x - 10, 0 = -2*g + g - d*x - 13 for g.
2
Let g(l) = -l + 19. Let f be g(15). Solve 0 = -f*i - q - 12, -5*q = -2*i - 2*i - 36 for i.
-4
Suppose 4 = -b + 5*b. Let d be 1/(b + -2)*0. Suppose d = 6*t - 4*t - 4. Solve t*v = -5*a + 4, 3 = -v - 0 for a.
2
Let u be (-2 - -5)/((-3)/(-20)). Suppose -3*t + t = 2*r - 10, -4*t + r = -u. Solve -t*v + 8 = z, v - 3 + 5 = z for v.
1
Let n be 4 - (3 - 2 - 1). Solve 4*h + r + 3 = 0, -r - n*r = 3*h - 19 for h.
-2
Suppose -v + 4*v = 6. Suppose 0 = -2*l + 2 + v. Suppose -n + 25 = 4*n. Solve 0 = 2*j - 3*f + l, 5*j + n*f = -8 - 22 for j.
-4
Let c = -133 + 229. Let u = c + -56. Solve 5*m = -5*k + u, -m + 4*k - 20 = -2*m for m.
4
Suppose -x - 6 = -y - 1, 2*x + 10 = 4*y. Let r = 3 + y. Let w = -1 + 3. Solve -2*a + w*b = -8, -2*a + 2*b + r*b + 17 = 0 for a.
1
Let z(y) = 3*y + 20. Let o be z(-6). Let f = -3 + 12. Solve -o*x = -6, -2*x = 3*t - 3*x + f for t.
-2
Let u = -4 + 4. Let z(v) = 2*v + u*v + 8 - 3*v. Let b be z(5). Solve -8 = b*p - 2*f, 0*f + 6 = -p - f for p.
-4
Let a be 12/18 - 183/(-9). Let u = a + -21. Solve u = -3*x + t - 12, 2*x + 1 = 2*t - 3 for x.
-5
Let k(p) = -p**3 + p + 19. Let v be k(0). Solve -q - 5 = -n, 3*q - n = 4*n - v for q.
-3
Let s(z) = -z - 1. Let v be s(-5). Let g(w) = w**2 - 4*w + 1. Let a be g(6). Let y = a - -1. Solve 3*j - 2 = u, -5*j + 5*u = v - y for j.
0
Let f be ((-4 - -4)/1)/(-1). Solve 3*k + 4*d - 20 = f, -5 = 2*k - d - 0 for k.
0
Suppose -60 = -c - 3*c. Let q be (-12)/(-10)*c/6. Solve -q*t + 4 = 2*k - 1, t + 1 = 0 for k.
4
Let v = -13 - -19. Suppose -4*x = 4*t - 8, 3*x - x - 7 = t. Suppose -9 = x*i - v*i. Solve -4*h + 2 + i = -3*r, -r = h - 3 for h.
2
Suppose 0 = -2*q + 6 + 46. Suppose -40 = -3*h + 4*s - 0, -2*h + q = -2*s. Let c be 1*2/4*h. Solve -2*p + 3*z + 1 = c, -2*p + 4*z - 4 = 0 for p.
-4
Let r(b) = b**3 - 7*b**2 - b + 8. Let s be r(7). Let y be -3 - s - (-20)/5. Solve 0 = -3*w - 2*w + 5*h, 3*w + 2*h + 20 = y for w.
-4
Let j be (-9 + 5)*(1 + -2). Solve j*b - 3 = w, -4*w - 4*b = -0*b - 8 for w.
1
Let u(a) = 2*a + 1. Let h be ((-6)/10)/((-1)/5). Let s be u(h). Suppose 0*c + 4*c - 20 = 0. Solve -b - c = 0, -6 = -2*z + b + s for z.
4
Let i(q) = -q**3 + 4*q**2 + 3. Let c be i(4). Let a = 2 + c. Solve 24 = 3*k + 4*b + a, 2*b - 11 = -3*k for k.
1
Let c = 8 + -4. Suppose c*d - 30 = g, -g = d + g - 3. Let l = -7 + 11. Solve -k + d = 2*w, -k - l*w = -w - 9 for k.
3
Suppose -6 = -2*f + h - 0*h, -2*h = -5*f + 17. Suppose o - 12 = -3. Suppose 0*p = -y + 3*p + 16, 0 = p + 4. Solve -4 = -3*s + 5*w - 39, -f*s - y*w = o for s.
-5
Let s be (-28)/98 + (-16)/(-7) - -1. Solve -4*k + 4*g = 0, -2*k - s*k + g = -8 for k.
2
Suppose 6 = y + 3. Solve -5*g + 4*t + 28 = 6*t, 4*g = -y*t + 28 for g.
4
Let g(f) = f**2 - f - 2. Let c be g(3). Let p be -1 - -3*(1 - -1). Let i = -262 + 264. Solve -5*j + i*r = p, -3*j + 0*j - 3 = c*r for j.
-1
Let n = 10 + -19. Let z = 20 + n. Solve -q - l + z = -6*q, -7 = 3*q - l for q.
-2
Suppose -2*b = g - 4, g - 3*g + 2*b = -26. Solve -2*a - 11 = 3*h - 2, 0 = -5*h + 5*a + g for h.
-1
Let b(o) = o**2 - 3*o - 3. Let c be b(7). Solve -2*n + 10 = -p - 3*p, 2*p + 5*n - c = 0 for p.
0
Suppose -2*i - 3*h = 2*h - 10, 0 = -3*i + 2*h + 34. Suppose 0 = 4*l - i + 2. Solve 4*o + 3 + 7 = l*j, 4*j - 20 = -2*o for o.
0
Let y be -2*5/(-15)*-3 - -4. Solve 5*u + 8 = u, 0 = -y*w - 5*u - 2 for w.
4
Let w be (-2)/4 - 9/(-2). Let z(s) = s**3 - 3*s**2 - 4*s + 2. Let q be z(3). Let l = q + 12. Solve w*a + 4*o = 0, l*o + 7 = 3*a + 2*a for a.
1
Suppose -6 - 6 = -4*h. Suppose -h*l - 4 = -5*l. Solve -w = 3*a + w + 11, -5*a + l*w = 29 for a.
-5
Let m = 3 - 0. Let s be 2*(m + -3 + 1). Suppose 3*j + s*j = 20. Solve -2*b = 2*b + j, 2*b - 7 = 3*z for z.
-3
Let q = 8 - 1. Suppose 5*z - z = -d - 10, 12 = -3*z. Suppose -d*v = -2*v, 0 = 3*w - 2*v - 18. Solve 3*b + h + q = 0, -h + w = -2*b - 2*h for b.
-1
Let t = 5 + -3. Solve -3*i = 0, i = t*z + 3*i + 4 for z.
-2
Let q be (6 - 0/(-1)) + -2. Let f be (-185)/(-35) - (36/28 - 1). Solve f*m + x = -8, 2*m + q*x - 10 = 3*m for m.
-2
Let g be -2 + 7 - 1 - 1. Solve -5*t = d - t + 7, -t = 5*d - g for d.
1
Let y(l) = 3*l - 3. Let k be y(2). Suppose -15 = a - 6*a, -a + k = -b. Solve 2*s + 2 = -b*s, 3*s = w - 7 for w.
4
Let q(z) = z + 5. Suppose 0 = -2*f - f. Let y be q(f). Solve c = b - y, 4*b + c + c = -10 for b.
0
Let k = -7 - -10. Solve g + 4*d - 12 = 0, 0 = 5*g - 0*d + d - k for g.
0
Suppose 2*x = -3*x + 40. Let q be ((-1)/(-2))/(2/x). Suppose 3*s - 25 = q*z, s - 4*z - 10 = 3*s. Solve -9 - 5 = 2*i - 4*f, -s*f + 10 = 0 for i.
-3
Let i(n) = -n**3 + 14*n**2 + 4. Let c be i(14). Solve -3*h = -4*m + 11, c*m - h = 4*h + 21 for m.
-1
Let a(x) = x**2 - 4*x - 2. Let n be a(5). Solve 0 = -5*r + k - 4*k + 8, -n*r + 2 = -k for r.
1
Suppose -22 + 10 = -4*m - w, w = 4*m - 20. Suppose 2*p = -2*a - m, 4*p + 2 = 7*p + a. Solve 3*y = -3*s - 18, -p*y = -5*s - y - 6 for s.
-2
Suppose 7*i = 2*i + 3*b + 17, 0 = 5*i + 3*b - 23. Solve -5*o = -i*j + 16, 3 = -3*j - 0 for o.
-4
Let k(j) = j**3 + 4*j**2 + 3*j. Let x = 6 - 8. Let v be k(x). Solve -3*g = -a + 4 + 8, 3*a = v*g + 8 for a.
0
Suppose -3*w + 53 = -22. Let d be w/3 - 4/12. Solve 3*b + 0*b - 4*x + d = 0, -x + 17 = 3*b for b.
4
Suppose 4*n - 28 = -r - n, n + 7 = 4*r. Suppose -3*s + h = r*h - 37, -2*h = s - 19. Solve 2*p + 4*t + 12 = 0, -2*p - 2*t + t - s = 0 for p.
-4
Suppose -1 - 3 = -2*v. Let x(o) = 5*o**v - o**3 - 4*o + 2 + 4*o. Let q be x(5). Solve -q*p - h + 0 = -4, 0 = -4*p - h + 4 for p.
0
Suppose -3*x - 4 = -x. Let b be 1 - (-4*1 - x). Suppose m - b = -2*s, -m - 6 = -3*m - s. Solve 0*c - 2*c - 2 = -m*i, 4*i = 2*c + 4 for c.
2
Let q be (0 - 18)*10/(-15). Solve -l - p = -5*l + 3, 4*p + q = l for l.
0
Let x = 19 + -7. Let s be (-2 + 81)/(1/2). Suppose -3*w - 5*k + 0*k = -125, -s = -4*w + 2*k. Solve -2*u = i + x, -7*i = -2*i + 5*u + w for i.
-4
Suppose 2*k - 12 = -4*p, -4*p + 14 = -0*k + 3*k. Solve -o - 3*m = -p, -2*o + 3*o = -4*m + 4 for o.
-4
Let k be (9/(-6))/((-6)/(-16)). Let m = k - -9. Solve 7 + 9 = m*d + 4*i, -i + 4 = -5*d for d.
0
Suppose 50 + 50 = 5*q + 5*n, 3*q = n + 44. Suppose -5*x + x + q = 0. Solve -4*u - m = -6, u - x + 6 = -2*m for u.
2
Let w = -301 - -307. Suppose p + 3 - 2 = 0. Let i = p - -3. Solve 3*j - 12 = 0, -7*z - w = -i*z + j for z.
-2
Suppose -f + 13 = -2. Suppose -2*s + f = 3*s. Suppose -12 + s = -3*b. Solve 4*w + 15 = m, -b*w - 4*m - 6 - 10 = 0 for w.
-4
Suppose -2*d - 5*y - 5 = -3*d, 2*y + 15 = 3*d. Solve -5*i = q - 25, 0*i = -5*q + i - d for q.
0
Let g be (-34)/51 - 22/(-6). Solve -y = 4*z + 16, g = -3*y + z + 20 for y.
4
Suppose 2*b + 10 = 2*y, 4*y - 14 = 2*b + 6. Suppose y*l - 2*l + 1 = v, 0 = 5*v + l - 37. Let w = v - 3. Solve 6 = -w*g + 5*s, -2*g = -6*g + 4*s - 4 for g.
1
Let c(v) = -4*v**3 + v**3 + 4*v**3 + 0 + 7*v**2 + 2. Let s be c(-7). Suppose 0 = s*d - d. Solve -3*y - l - 14 = -d*l, -5 = l for y.
-3
Let h(y) = -4*y + 3. Let r be h(3). Let l be (-2 + 5)*(-6)/r. Solve 0 = -2*n + 3*w - 16, 0*w - l = 5*n + 2*w for n.
-2
Let j(v) = -3*v**2 - 3. Let o(h) = -h**2 - h - 1. Let w(z) = j(z) - 4*o(z). Let k be w(-4). Let n = k + 3. Solve -9 = -3*p, -3*q = n*p - 33 + 9 for q.
4
Let r be 3/(0 + (-2)/(-2)). Solve -2 - 15 = -2*u + 5*w, 3*u - r*w - 12 = 0 for u.
1
Suppose -6*w + 5*w = -2. Solve -20 = -3*g - 5*f, w*g + 13 = 4*f - 3 for g.
0
Let z(d) = -d**3 + d**2 + 1. Let s be z(2). Let r = s - -5. Suppose -p = 4*i - 5*p - 24, 3*i - 14 = p. Solve 4*w = -i*k + 16, r*w + 0*k - 4*k = 14 for w.
5
Suppose 5*c = 4*c + 2. Solve 8*k - 10 = -c*p + 5*k, -5*p + 4*k + 25 = 0 for p.
5
Let j be (2 - 12/(-9))*3. Suppose 3*m - 2*d = m + 4, d - j = -5*m. Suppose -m*u = 3*c - 41, u + 34 = 4*u - c. Solve -5*z = -z - 3*n - 5, -u = -2*z + 5*n for z.
-1
Suppose 7*m + 132 = n +