25, b - 20 = -0*b - o*l for b.
5
Let w be 2/2 + 0 - -120. Let z be 1/3 + w/33. Solve -4*p - 3 = z*b + 1, -3*p = 4*b + 1 for p.
-3
Suppose -2 - 4 = -2*l. Let n(v) = v**3 - 5*v**2 + 3*v + 7. Let o be n(4). Solve 0 = o*f, 3*j - l*f = 7*j + 16 for j.
-4
Let g(h) = -h**3 + 10*h**2 - 8*h - 7. Let s be g(9). Let l = s + 2. Solve 2*q - 7*n = -2*n - l, 0 = q + 4*n - 11 for q.
3
Suppose z - 3 = 0, 2*z = -5*n - 2*z + 37. Suppose 0 = -4*x + 8*x - 2*h - 20, 0 = 5*x - n*h - 30. Solve -x*t + 4*v - 20 = v, 2*v - 14 = 3*t for t.
-2
Let n = 6 + -1. Let y be -6 - 10/(40/(-36)). Solve -20 = y*x + 2*x - 5*j, -j - n = 2*x for x.
-3
Let q be (6/(-4))/(6/(-16)). Solve 6 = -3*i - 2*t, -i - i - 4*t + q = 0 for i.
-4
Let t be 2/(-4) - 10/(-4). Solve 3*j - 2*j - 5 = -t*p, 0 = 2*p - 3*j + 15 for p.
0
Let l(q) = -q**2 - 16*q - 26. Let y be l(-14). Solve -2*u + 10 = -4*f, -y*f - 2 = -u - u for u.
-3
Let p = 20 - 18. Solve p*y = 5*f - 15, -3*y + 3 = -7*y + f for y.
0
Suppose -4*t + m = -13, -4*t + 3*m + 11 = -12. Solve t*k + 0*k - 3*l - 9 = 0, -2*k + 5*l = -19 for k.
-3
Let o be (-1)/3 - (-22)/(-6). Let d be (o/(-4))/(1/2). Let j(b) = 3*b - 2. Let r be j(2). Solve 4*k - 12 = 2*x, 0*k = -d*k - r*x - 14 for k.
1
Let x be (-4 - -2) + 3 - 6/(-3). Solve 6*p = x*p + r - 5, -5*p = 4*r + 31 for p.
-3
Suppose 3*q - w = 10, 2*q + 4*w = 2*w + 12. Solve 0 = -4*y - 0*y + q*x - 36, 0 = -3*y + x - 17 for y.
-4
Suppose 2*o = 38 - 32. Solve -4*k = 7 + 13, 0 = o*b - 5*k - 28 for b.
1
Let z(s) = 3*s**2 + 7 + 0*s**3 - 2 + s**3 + 9*s**2. Let q be z(-12). Solve q*j - 10 = -3*k, 4*j - 2*k + 4*k = 8 for j.
2
Suppose -o + 26 = -5*w, -2*o - 3*w + 42 = o. Solve 5 = 3*a + 4*y - o, 0 = 2*a + 4*y - 18 for a.
3
Let l be (-65)/(-15) + 3/(-9). Suppose -p + 2*w + 3 = 0, -l*p + 1 = w - 20. Solve -2*o + 2*t = -0*o - 4, -o - 16 = p*t for o.
-1
Suppose 2*c + 0*i = -2*i - 2, -c = -4*i - 14. Solve 2*z - 10 = -c*j, -2*j + z - 4 = -14 for j.
5
Let y = -16 + 16. Suppose y = p + 1 - 5. Solve 5*r - r - h + 15 = 0, 5 = -5*r + p*h for r.
-5
Let r = 3 + 1. Suppose r - 8 = -2*i. Suppose 3*d + i*z - 16 = 7*z, 4*z + 14 = 3*d. Solve -2*v = d*m, 4*v = -v + 4*m + 27 for v.
3
Let c be (-201)/402*0*1/1. Let z = -61 + 93. Let m = 16 + -11. Solve c = 3*o + 3*p - m*p - 19, 4*o = 4*p + z for o.
3
Let z = -10 + 12. Solve -g + 2*x - 1 = -3, -z = -4*g + 2*x for g.
0
Let w(j) = 3*j**2 - 1. Let x(d) = -d**3 - 3*d**2 + 1. Let l be x(-3). Let q be w(l). Solve -5*c - 33 = -3*u - 2, -q*c - 4*u = 2 for c.
-5
Let r = 29 - 20. Suppose m + r = 4*m. Solve -7*t = -m*t + 2*p - 2, -2*p - 3 = -t for t.
1
Suppose 0 = -3*z - 2*d + 5, d = -3*z + 5 - 1. Let j be (-1 + 1)*-1*z. Let h be 1 - j/3 - -9. Solve 2*s - 1 = 4*f + 3, -5*s - f + h = 0 for s.
2
Let d(i) = -5*i**2 - 5*i + 4*i**2 - 4 + 0*i. Let m be d(-4). Suppose -2*c - 4*x - 14 = m, -5*x + 0*x - 31 = -2*c. Solve -c*j = 3*y, -4*y + 0*y = -5*j for y.
0
Suppose 3*w = -w + 8. Solve 7 = -l - 0*q + 3*q, -2 = l + w*q for l.
-4
Let p = 21 + -19. Suppose 8 - 20 = -4*a. Solve -2*s + 4*t = -20, a*s - 17 = t - p for s.
4
Let a(u) = -u**2 + 0 + 3 - 1. Let m be a(0). Let l = 4 - m. Solve l*i + 12 = 2*x, -2*i - 6 = 3*x + 3*i for x.
3
Let z = -32 + 37. Solve 0*g + v - z = 5*g, -v = -2*g + 1 for g.
-2
Suppose 0 = -3*z - 5*y + 26, 2*z + 7*y - 3*y = 16. Suppose -3*w + q = -q - z, 0 = 2*q. Solve -w*h - a = 12 - 2, 5*a + 4 = 3*h for h.
-2
Let f(l) = -4*l - 6. Let n be f(-5). Let b be 1 + n + 1 + 0. Let g = b - 7. Solve y + g = -v + 2*y, 0 = -4*v - 5*y + 9 for v.
-4
Suppose 0 = -4*g + 5 + 11, -5*o + 116 = 4*g. Solve 4*w = -2*y + 20, -3*y + 6*y + o = 4*w for w.
5
Suppose -57 = -4*l + 5*n, 2*l + 2*n = -3*l + 30. Suppose -o - 5*m = 25 - l, -16 = -4*o + m. Solve -18 = -3*u - o*t, -u + 2*u - t = 0 for u.
3
Let v be (4 + 36/(-8))*0. Solve 2*c - 4 = -v*i + 4*i, 2*i - 3*c - 6 = 0 for i.
-3
Suppose -t = 5*g + t - 10, g - 19 = 3*t. Solve 3*q - 23 = 4*h, 2*q = 2*h + g*q + 8 for h.
-5
Let u(f) = f**3 + f**2 - 2*f + 1. Let c be u(-4). Let o = -28 - c. Suppose 2*t = 2*p, -2*t - 5*p = -o - 24. Solve 4*g + 4*h - 5 = 11, -8 = -g - t*h for g.
3
Suppose -5*s - 2 = -6*s. Solve 0 = -u - s*u - 2*g - 3, -3*u - g = 3 for u.
-1
Let h be 8340/130 + 4/(-26). Suppose h = j + 3*j. Solve -4*u - 5*f = 4, -j = -2*u + f + f for u.
4
Let z = -3 - -3. Solve -h - 5*d + d + 23 = z, 3*d = -3*h + 24 for h.
3
Let c(u) = u**2 + 9*u + 3. Let v be c(-9). Solve 5*k = -2*t, 1 + 14 = v*t for k.
-2
Let x = 26 - 21. Solve 2 = -x*k + 5*a + 7, -9 = 3*k + 3*a for k.
-1
Let d(t) = -3*t + 19. Let v be d(5). Solve -25 = 5*x, v*x + 12 = -2*m - 0 for m.
4
Let l = -3 - -4. Let d(x) = 4*x**2 + 3*x - 2. Let k be d(l). Solve -n - 2*a = -k*n - 4, 5*n = 2*a - 5 for n.
-1
Let g be (3 + (-7 - -4))/2. Suppose g*m + m - 5 = 0. Solve 0 = -2*a - 4, 0 = 3*j + m*a - 2*a for j.
2
Let d(y) = 11*y**3 - 2*y**2 + 2*y - 1. Let n be d(1). Let g be (-24)/(-15) + (-4)/(-10). Solve -2*c - 2*c + g*f = n, 2*f = -2 for c.
-3
Let x = 5 + -2. Solve -2*q - 18 = 3*a, -4*q - 4*a - 25 - x = 0 for q.
-3
Let k be (-4)/(-14) + (-330)/(-70). Suppose 5*t = 0, 4*h - t + k = 21. Solve h*y = j + 6, -5*j - 2*y + 0*y = 8 for j.
-2
Let u(h) = 2*h. Let f be u(2). Solve i + 2*a - 15 = -f*i, -4*i + 2*a = -12 for i.
3
Let l(u) = -4*u**3 + u**2 - u + 2. Let n be l(-2). Let h be n/(-60)*(-18)/4. Solve h*f + c = 3, f + 4*f - 7 = -c for f.
2
Suppose 4*n = 2*s - 18, 5*s + 4*n + 2 = 5. Solve -s*g + 1 = c, -2*g + 5*g = -5*c + 5 for g.
0
Let y = 8 + -4. Suppose 2*q = 4*q - 6. Suppose -q*o + 0*l + 8 = -l, -2*o = -l - 6. Solve -16 = o*f - 4*f + y*n, -2*f - 5*n = 29 for f.
-2
Let b = 81 + -52. Solve -5*n - b = -3*p, -p - 2*p - 3 = 3*n for n.
-4
Suppose 5*g = -3*m + 19, 2*m + 2*g = g + 8. Solve -2*o + 0*o + 4*r = -8, m = 4*o + 5*r for o.
2
Let u(a) = 2*a - 1. Let o be u(2). Suppose -o*b + 6 = -66. Suppose 2*s = -2*s + b. Solve 5*i = 15, -s*q + 3*q = 4*i + 3 for q.
-5
Let c = -73 + 76. Solve 3*z = -c*x + 21, -x = x - z - 2 for x.
3
Let w be (-1)/(2 - (-22)/(-10)). Let f(l) = -1 + 0*l**3 + 4*l**2 + l**3 + w - 2*l**3. Let r be f(4). Solve 0 = 5*g - r*v - 9 - 11, 2*g + 5*v + 25 = 0 for g.
0
Let q = -31 - -76. Suppose q = -5*z + 8*z. Let b = z + -10. Solve 0 = -3*m - b*l - 8, -2*m - 8 = 5*l - 1 for m.
-1
Suppose -n = -5*n + 16. Let j(z) = -25*z + 2. Let g(v) = -8*v + 1. Let b(h) = -8*g(h) + 3*j(h). Let m be b(-2). Solve n*a = -5*c + 22, 3*a + 4*c - m = -a for a.
3
Suppose -q - 3*q = -16. Solve -3 = 4*y + c, -q*y + 3*c = 2 + 5 for y.
-1
Suppose -3*i = -6*i + 6. Let p be i/(-6) - 21/(-9). Suppose -4*v = -z + 6, 0 = -3*z - 2*v + 4. Solve 5*h - 5*u = 0, 4*h + z*u - 4*u - p = 0 for h.
1
Let m(l) = -l + 10. Let z = 15 - 8. Let r be m(z). Solve 5*o = 4*c - r, -2*o - 15 = 3*o for c.
-3
Let j be (-15)/2*(-16)/24. Solve -j*t = -5*w - 45, -2*w - 5 - 5 = 0 for t.
4
Let k = 5 + 1. Suppose 8*x - 11*x = -k. Suppose -q = j + 2, x*j + 7 = -2*q + q. Solve 0 = q*d, 5*u - 3*d - 2*d + 5 = 0 for u.
-1
Let y(w) = -w. Let l be y(-5). Suppose 0 = -h - 2*q - 4, 2*h + q + 20 = 6*h. Suppose 24 = l*j + h. Solve 0 = 3*d - d - 4, -8 = -j*b + 4*d for b.
4
Suppose 13 = 3*h + 2*d, 0*h + 5*h - 23 = -2*d. Solve 6 = 2*a - 2*k, -h*a + k - 1 = -0*k for a.
-1
Let a(k) = k**2 + 9*k. Let m be a(-9). Suppose m = 3*t - 5*t + 40. Solve -2*d - h - 4 = 4, -2*d - t = 4*h for d.
-2
Suppose 0 = 2*g + q + 34, -q + 5*q + 10 = -g. Let y be (12/18)/((-4)/g). Solve 4 = -a + y*h, 2 = 3*a - 0*h - 2*h for a.
2
Let v = -1 + 6. Solve 3*k - v = -g, -4*g - 4 = k + 3*k for k.
3
Suppose 7*o - 5 = 2*o. Let k be (2 - (-1 + o))*1. Solve -k*i + 25 = 2*c + c, i = c for i.
5
Let n(y) = 5*y**3 - 2*y + 1. Let o be n(1). Suppose -o*g = -3*g - 10. Solve -g = 2*l + 5*r, -l + 1 = 2*r + 4 for l.
5
Suppose -3*s + 6 = -0. Solve -4*p - p - 3*v = -s, 3*p = 4*v - 22 for p.
-2
Let z be (26/6 - 4)*0. Suppose z = -4*k + 8*k - 16. Solve 3*g + 21 = 3*m, 0*g + k*g = -20 for m.
2
Suppose -3*n - 41 + 53 = 0. Solve -2*l - 6 = 2*m, -2*m - 18 + 2 = n*l for l.
-5
Suppose -9 = -n - 5. Solve -2*v = -4*v + 4*u + 14, -2*v - n = 2*u for v.
1
Suppose 0 = z + 1 - 4. Suppose -8*y + z*y + 110 = 0. Suppose -5*m = 4*x - y, 3*x + m = -m + 13. Solve 2*s = -2*s - x*d + 24, 21 = 3*s + 3*d for s.
3
Let q be 10 + (-1*8)/(-4). Suppose 0 = -q*r + 7*r + 20. Solve f = -1, b = 2*b - r*f - 4 for b.
0
Let j(x) = -x**3 - 4*x**2 + 2*x - 10. Let z be j(-