d + 2*b - 28 = 0. Let r be (-1 + d/(-4))*4. Solve -r*l - 3*c + 25 = 0, -3*l + 38 = 3*c + 8 for l.
5
Suppose -2*j = -5 - 3. Suppose 0 = -2*a - 4*i + 16, 0*i - i + 4 = -2*a. Suppose 2*b - 5 - 3 = a. Solve j*t = 0, -b*y - 3*t + 12 = -y for y.
4
Suppose -d = -0*d - 6. Let o = -3 + d. Let u = 2 - 0. Solve -5 = -x - o*w, 3*x - w - 25 = -u*x for x.
5
Let l = 10 - 8. Suppose l*f + 4 = 4*f. Solve -22 = -3*h - f*u, -h - 5*u = -3*u - 14 for h.
4
Let u(b) = -b**3 - 5*b**2 - b - 2. Suppose -y + 2*z - 11 = -z, 0 = -3*y + 2*z - 19. Let f be u(y). Solve g - f*o = -4*o - 2, -3*o - 6 = -2*g for g.
0
Suppose 7*s - 77 = 14. Solve w - 2*u + 7 = 0, -4*w + s = -2*w + 5*u for w.
-1
Let r = 3 + 7. Let c be ((-6)/r)/((-1)/5). Suppose 60 = 4*f + 20. Solve c*t - 2*x = -x, 4*t = -2*x - f for t.
-1
Let y(d) = 2*d**2 - 37*d + 22. Let b be y(18). Solve -b*u + 16 = -2*l, -4*l = -5*u - 7 + 30 for l.
-2
Suppose -5*s - 2*z + 18 = -12, z = -s + 6. Solve -s*k + 3*k = 5*j + 29, -5*j = -5*k + 5 for j.
-4
Let c = 28 - 23. Let t be 0 + 3*4/6. Let z be 4/(-6)*3 + 2. Solve 5*b = -c*v + 10, -4*v = t*b - z*b + 2 for v.
-3
Let a be 4/1 + (-4)/2. Suppose p = -p + a*h + 14, -2*p + h = -10. Solve -4*k = 2*y + 2, -4*y - p*k - 2*k - 10 = 0 for y.
-5
Let z = 11 + -6. Solve -5*l + 4*x = 3, 0*l - z*l - 6 = -3*x for l.
-3
Let q = 10 + -10. Suppose -4*d + 17 + 7 = 4*c, -c = q. Solve h + 4*t + 5 = 0, -2*h + 2*t - d*t - 10 = 0 for h.
-5
Suppose -2*n = -4*n + 4. Suppose 2*x - 10 = -n. Solve -15 = -x*p - 7*v + 4*v, -v = 2*p - 7 for p.
3
Let w be 8 - 8 - (6 + -1). Let j(v) = -v - 2. Let c be j(w). Solve -3*a - 28 = -7*a + 4*h, c*a + 2*h = 1 for a.
3
Let x(l) = 3*l. Let p be x(4). Suppose i - p = -3*i. Solve -5*t = -5*v + 25, -5*v - 20 = -i*t + 7*t for t.
-5
Let q = -59 - -87. Solve 2*y + 3*n = 7*y + 30, -y + 5*n = q for y.
-3
Let k(h) = -6*h + 3. Suppose 4*f - 3*b = -1 - 17, b = 4*f + 14. Let z be k(f). Solve z = 3*w + 3*v, -2*v + 6 = v for w.
5
Suppose 3*v + 5*l = 3 - 14, -4*v + l + 16 = 0. Let u be (2*v)/((-9)/(-6)). Suppose -4*y + u = -4. Solve y*r = 2*d + 2, -4*d + 0*d = 2*r - 20 for d.
3
Let z be (-38)/(-4) - (-2)/4. Let t(o) = -9 + 6*o**3 - 2*o**2 - 5*o**3 - 8*o**2 + o. Let r be t(z). Solve a - 5 = 3*p + r, -3 = p for a.
-3
Let u = -6 - -11. Suppose 2*y + 3*y - 20 = 0. Suppose -u*k + 14 = y. Solve -5*z = -0*o + 5*o - 5, 0 = 2*o - k*z - 18 for o.
5
Let t(g) = -g**3 - 4*g**2 + 1. Let i be t(-4). Solve -2*d = -i - 3, d = 5*h + 17 for h.
-3
Let u(l) = l**2 + 8. Let y be u(0). Suppose 2*p - 2 - y = 0. Solve -2*s + 4*m = -8, s + p*m - 1 = -18 for s.
-2
Suppose 4*s - 4*j - 14 = -6*j, -4*s = j - 13. Suppose 2*r - 4*r + 2 = s*k, r = -4*k + 6. Solve -4*o - i - k = 2, 0 = o + 2*i + 1 for o.
-1
Let z(g) = -g**2 - 3*g + 12. Let i be z(-5). Solve 5*m + i*d = 3*m + 16, 3*d = 5*m - 16 for m.
5
Suppose 2*d - 3 = 3. Let r = d + -3. Suppose c + 0*c = r. Solve -2*y + a + 7 = c, y + 0*a = 3*a + 1 for y.
4
Let j(m) = m - 3. Let s be j(6). Let z be 1/2*0/12. Suppose -5*d + b = 1 - 10, z = -4*d - 5*b + 13. Solve 4*l - s*i = 9, d*i + 9 = -i for l.
0
Suppose 4*t - 43 = 6*a - a, 2*t - 4*a - 26 = 0. Suppose -66 = 5*x - 5*d + 19, x + 19 = -d. Let w = -13 - x. Solve -t = 5*l + 5*b - 32, -4*b = w*l - 21 for l.
1
Let m = 20 + -5. Suppose 4*b - g = b + m, 5*b + g = 17. Solve -3*r - 11 = b*x, -5 = -2*r - r + 4*x for r.
-1
Suppose 3*p + 0*p = -5*j - 8, 0 = 4*p + 5*j + 4. Suppose 9 = 3*h - 12. Let a be 3 + 1*(-3 - -2). Solve p = -3*i + 5*q - 3, -a*i + q - h = 0 for i.
-4
Let t be -3 - 1 - -2 - -3. Solve -l + t = z, 0*z - z = -2*l - 4 for z.
2
Let i = 8 - 6. Suppose 2*k - k = -4*s + 1, -5*k + 5 = -i*s. Let c be 3/((-6)/(-40)*k). Solve -4*y + c = 4*o, 5*o = y + 4*y - 5 for y.
3
Suppose -4*d + 2*d - 92 = 0. Let q be 4/10 + d/(-10). Suppose -u = -2*u + 2. Solve 0 = -q*a + y - 10, 6 = 4*a + u*y - 0*y for a.
-1
Suppose g = -2*a + 7, -2*a + 9 = g + a. Suppose h - 3*f = -6*f + 6, 0 = -5*h + 3*f - 6. Solve -4*c - c = 2*t + 20, 2*t - g*c - 12 = h for t.
0
Suppose y + 0*y - 12 = -2*d, 0 = -d - 4*y + 13. Let v be (-15)/(-4) + 2/8. Solve v*u + 2 + 0 = p, d*p = 10 for u.
0
Let w be 6*((-1)/2 - -1). Suppose -3*a = -w - 3. Suppose a*h - 31 = h. Solve 3*k = -b - 17, 3*b + k = -4*k - h for b.
-2
Let r be 8/28 + (-244)/(-28). Solve -t + 3 = -4*q - 0*t, 0 = q + 3*t - r for q.
0
Suppose 52 = -2*o + 62. Solve -4 = -3*v + o*d, 0*v + 5*d + 2 = 4*v for v.
-2
Suppose 3*v - 3*a = 69, -2*v - a = 2*a - 41. Let x be v/12 + 1/6. Solve x*k + 2*s - 10 = s, -k + 4*s - 4 = 0 for k.
4
Let f(q) = q - 5. Let d(u) = u**3 + 4*u**2 - u + 3. Let b be d(-4). Let g be f(b). Solve -11 = -3*p - 3*v + g*v, -p + v + 5 = 0 for p.
4
Suppose x + 6 = 4*x. Suppose -3*z = 4*a - 24, x*z - 3*a = -0*a - 1. Let n = 5 - z. Solve n = 3*v - 2*p, -3*v - 2*p + 0 = 7 for v.
-1
Let h be 72/5 - (-12)/(-30). Let r be 46/h + 2/(-7). Solve 6*w - w = 4*i, r*w - 2*i = 0 for w.
0
Suppose u = p - 3*u + 2, p - 3*u = 3. Suppose 3*v - p = -3*v. Solve -v*y + y = -i + 6, -5*i + 25 = -5*y for i.
4
Let k(h) = 0 + 5*h**2 + 3 + 6*h - 3*h**2 - 3*h**2. Let i be k(5). Solve 3*b - b + 4 = 2*u, -4*b = -u + i for u.
0
Let o = 2 - 5. Let t be 2/(1/(-6)*o). Let n = -3 + 5. Solve n*c + a = -12, c - t*c + a = 8 for c.
-4
Let l be ((-8)/12)/(1/(-9)). Solve 0 = l*w - 2*w + 4*d, 0 = -4*d + 12 for w.
-3
Let c(y) = y**3 - 2*y + 1. Let u be c(1). Let s be 2 + 1 - u/2. Solve -s*f + t + 8 = -t, -4*f + 3*t + 11 = 0 for f.
2
Suppose j + 2*j = 15. Let n(y) = 2*y - 18. Let z be n(9). Let a = 3 + 1. Solve -2*w - j*d - 19 = z, a*w + w - 3*d = 30 for w.
3
Let x(j) = -2*j - 15. Let v(l) = -l**3 + l**2 + 4*l - 4. Let w be v(3). Let z be x(w). Solve 2*r - 6 = -z*t, 0 = 4*r - 2*t - 0*t + 12 for r.
-2
Let n be ((-21)/14)/((-3)/8). Solve s = -5*b - 16, 3*s + 2 = -n*b - 2 for s.
4
Suppose 3 = 2*l - 1. Solve 4*w - 11 = i, -3 = l*i + 3 for w.
2
Suppose 10*z - 53 = -3. Solve 2*g - 3*f = 9, 7*f + z = 2*f for g.
3
Suppose -4*w = d - 30, 4*d = -2*w + 6*w - 40. Let k be (4/(-6))/(2/3). Let y(n) = -7*n. Let f be y(k). Solve -2*p + 4*i = w, p - i - 2*i = -f for p.
2
Suppose 2*g - 3 = 1. Suppose -u = g*u. Solve -4*b + 3*f = 23, -f + 11 = -2*b - u*b for b.
-5
Let t(i) = i**2 - i - 4. Let c = 3 + -2. Suppose -2*x = -7 + c. Let r be t(x). Solve 0 = 2*w + m + 10, -w - r*w - 29 = 5*m for w.
-3
Let k be ((-1)/(1 - 2))/(1/3). Solve 0 = 2*n, -2*n - k = d + 3*n for d.
-3
Let y be ((-8)/(-10))/((-4)/(-30)). Suppose d = 3*g, -2*d = -g - 1 + y. Let n be (-1 - -1)/(g + 0). Solve 3*t = 12, n*a = -a + 3*t - 11 for a.
1
Let c be (-942)/14 - 8/(-28). Let o be c/(-5) + (-6)/15. Solve 4*w - w = 3, 5*k - 2*w - o = 0 for k.
3
Let l(q) = -2*q + 7. Let z be l(3). Suppose 2*t = t + z. Solve 3*g = -2*u - 2 + t, -u - 4 = -2*g for g.
1
Let r(w) = -12*w + 4. Let u = -10 - -14. Let t be r(u). Let q be t/(-10) + 2/(-5). Solve -3*k + 0*k + 3 = 3*z, -3*z + q*k + 10 = 0 for z.
2
Suppose 8*o = 2*o + 24. Solve -o*d = -8, -6*d + 3*d - 3 = 3*j for j.
-3
Suppose 2*g = -6*n + 4*n + 14, -3*n - 51 = -5*g. Solve 4*j = -4*d - 3 - g, -4*d = -3*j + 26 for j.
2
Let x be 2/9 + 212/18. Suppose -4*s + x = 2*g - 6*g, -3*s = -g - 7. Suppose -h = -s*h. Solve 2*w + h*p - 3*p = -10, -2*w - 10 = -4*p for w.
-5
Let o(s) = s**3 + s**2 - 4*s. Let m be o(-3). Let f be (-6)/9*1*m. Let a be f*(15/12 - 0). Solve 5*p + 16 = -4, 3*q = -a*p - 35 for q.
-5
Let a = -8 - -12. Let k = 63 + -63. Suppose k = j + a*j. Solve 3*x = -2*r - 17, j = 4*r - 2*r - 3*x - 1 for r.
-4
Let u = 45 + -40. Solve -l + 2*l = -5, -50 = u*i + 5*l for i.
-5
Let w(c) = 3*c**3 + c**2 + c - 1. Let o be (-7)/14*-2*1. Let d be w(o). Suppose 3*v = d*v - 3. Solve -v*q - 21 = 3*l, 9 - 22 = -q + 3*l for q.
-2
Suppose 2 = v, -3*v + 6 = 3*i - 0*i. Suppose 5*g - 31 = 14. Suppose -3*n = -2*b + b + 17, i = b - n - g. Solve 5*u - 31 = -4*h, -b*h + 17 = -3*u + 6 for h.
4
Let a be 0/(-2 - 1/1). Suppose a*g = 4*g - 40. Solve 4*z + g = -3*v, -3*v + 4*z - 2 = -0*v for v.
-2
Suppose 3 + 0 = l - c, -5*l + 21 = -3*c. Suppose 5*u - l = 4. Solve -s + 3*w = 2*w + 2, -u = -5*s - w for s.
0
Suppose -11*r + 14*r = 0. Suppose -3 = -h - r*h. Let f be -1 - -5 - (-2)/(-1). Solve 3*a + 4*w = h*w - 15, -f*w = 0 for a.
-5
Suppose 0 = 15*y - 11*y + 12*y. Solve f = -3*c - 10, -4*c + 3*f + 2 - 11 = y for c.
-3
Let c = 14 - 10. Solve g - l + 13 = -3*g, g - l + c = 0 for g.
-3
Let