 s, 8*n - 4*v - 40 = 3*n for n.
4
Suppose a - 12 = -2*a. Solve -3*b + v = -7, 2*b + a = 5*v - 0 for b.
3
Let t be 1/(2 + 3/(-2)). Suppose 5*q = 2*z - 41, -t*z - 65 = -7*z + 5*q. Suppose -5*j = 5*a - 98 + 8, -z = -a + j. Solve -2*o + 2*p = -p + a, 9 = 4*o + p for o.
1
Let x(b) = b**3 + b**2 - 2*b + 2. Let i be x(-3). Let m = 14 + i. Let q be (m/3)/((-4)/(-6)). Solve -2 = -2*z, q*z - 4 - 8 = 2*r for r.
-5
Suppose 450 = -5*w - 3*d, 4*w + 2*d + 360 = d. Let r = -156 - w. Let g be (r/15)/((-2)/10). Solve -2*z + 0*s = 4*s + 28, 3*z + 2*s + g = 0 for z.
-4
Let v(u) = -u. Let r be v(-5). Suppose -2*q - 15 = -7*q + 3*z, -25 = 5*q + r*z. Suppose -2*x + 32 + 6 = q. Solve -x = 2*p - 5*w, 4*p - 22 - 5 = -3*w for p.
3
Suppose 3*p - 5*f = 15, -3*p + 13 = 3*f - 2. Let k = 5 + -9. Let q = 4 + k. Solve q = 4*c + 3*j - 0 - 8, p*j + 45 = 5*c for c.
5
Let c be (6/9)/((-16)/(-120)). Solve 0 = 5*o - c*l + 35, 3*l - 4*l = -5*o - 23 for o.
-4
Let a be (2 - 0)/((-140)/36 + 4). Suppose -b + 3*b - 8 = 0. Suppose -r + 2 = -l, -5*r + l = 3*l - 24. Solve 0 = -b*h + r*w + 20, 3*h - w - 3*w - a = 0 for h.
2
Let o(h) = -h**2 + 10*h + 16. Let u be o(11). Solve -u*j - 25 = 0, 0 = g - 2*j - 6 - 1 for g.
-3
Suppose 0*v - 10 = -2*v. Solve v*i = -4*n + 4 - 17, -3*n + 9 = 0 for i.
-5
Let y be (-12)/((-16)/4) + (0 - -2). Solve -k = 3*i - 2, 5*k - 2*k - 2*i = -y for k.
-1
Let u be -3*((-2 - -1) + 0). Let f be 6*u/(-12)*-2. Solve f*p + 2*q + 4 = 0, 2*p + 4*q + 3 = 3*q for p.
-2
Let p be 3/18 - (-58)/12. Solve p*t + 20 = -4*q - 2, 3*t - 3 = 3*q for q.
-3
Suppose -2*n - 125 = 3*d - 0*n, -d - 65 = -4*n. Let r = -20 - d. Solve -4*a = -5*i + 22, -3*a - r = -3*i - 10 for i.
2
Suppose -1 = 2*p - 11. Suppose -5*k + 40 = -5*f, 3*k = 9*f - 5*f + 28. Solve k*b = -3*x + x - 18, -4*x + p*b + 29 = 0 for x.
1
Suppose 13 - 1 = -x - 3*b, -x = 4*b + 16. Suppose 5*t - 6 = 9. Suppose t*s = -g, s - 7 = -4*g + 4. Solve x*a + 34 = 5*n - 3*a, -9 = g*a for n.
5
Suppose -3*s + 62 = -s. Let w(v) = v - 15. Let u be w(0). Let l = u + s. Solve -2*p = -4, 0*c + 2*p = 3*c + l for c.
-4
Let a be (-7)/14 - 21/(-2). Suppose -n = -6*n + a. Solve 0 = -5*c + d + d, c + 12 = -n*d for c.
-2
Let y = 25 - 17. Suppose -3*q + 4 = -y. Solve -5*h - 3*n = 27, -5*h - q*n = -1 + 32 for h.
-3
Let w be (6/(-8) - -1) + 150/40. Suppose -7 + 2 = -5*d + 4*h, 0 = 3*d - 4*h + 5. Let v = d - 3. Solve -a + 5 = w*y, -v*y + 4*y - 7 = -5*a for y.
1
Let h = -3 + -4. Let a = h + 12. Solve -a*x - 8 = -4*q + 37, -10 = 5*x + 3*q for x.
-5
Suppose -o - 82 = -6*o + 2*x, o = 4*x + 2. Let k = o + -15. Solve -5*w = 2*f + 1, k*w + 2*w = -f - 3 for f.
2
Suppose 2 = p + p. Let j = 1 - p. Solve 3 = 4*b + 15, j = -3*r + 2*b + 15 for r.
3
Let j(m) = m - 4. Let g be j(3). Let k be g*(0 + 0) + -5. Let w = k - -9. Solve -4*p = 5*b - 3, -5*b + 15 = -w*b - 4*p for b.
3
Suppose -6*q = q - 147. Solve -6 = -m + 4*m + 5*z, -4*m + 3*z = -q for m.
3
Suppose 2*u = 7*u - 15. Suppose 5*v = u*v + 8. Solve 0 = 4*p - v*y, 4*p + 5 + 1 = y for p.
-2
Let c be (-12)/15*((-6)/4 + -1). Solve -h + 1 = 3*w + 3, -c*w - 4*h - 18 = 0 for w.
1
Let c be (-3)/6 + 44/8. Let l be (1 - 2)*4/(-2). Suppose 0 = -5*a + 2*b + 68, 8*b = 3*a + 4*b - 38. Solve 3*u + u - c*i = 6, l*u = -3*i + a for u.
4
Let l be 1/7 - (-20)/7. Suppose p - 3*z + 8 = -z, 17 = p + l*z. Solve k + 3*y - 1 = 2, p = -4*k - 5*y for k.
-3
Suppose -5*d + 23 + 0 = a, 3*a - 25 = -4*d. Suppose -4*b - 6 = -a*w - 2, 0 = -5*b + 10. Suppose -w*c - 2 = -10. Solve -k = -3*k - c, -4*k = 4*m - 12 for m.
4
Suppose -5 + 3 = -2*o - 2*q, 5*q - 5 = o. Let s(g) = -g - 6. Let a be s(o). Let f = a + 9. Solve f*l = -4*v + 25, -2 = -5*l + 13 for v.
4
Let q be (4/(-10))/(28/70). Let n = 5 + q. Solve 8 = -4*l + 4*p - n, 0 = -2*l + 4*p - 14 for l.
1
Suppose 2*c = -c + 6. Suppose l - c*l = -4. Solve -2*o + 3*o = 3*r, r = -o - l for o.
-3
Let f(g) = -g**3 + 2*g**2 + 4. Let l be f(2). Solve 0 = -d + q + 7, 0*d + l*q = -5*d - 1 for d.
3
Let t = -15 + 22. Let z be 36/(-10) - 4/10. Let x = t + z. Solve 0 = -4*q - 5*b - 4 - x, -16 = -2*q + 4*b for q.
2
Suppose -2*z - 6 = z. Let h be (0 + -5)*z/5. Let r = -5 - -7. Solve h*k + 4 = 4*m, 0*m + 10 = -r*m - 5*k for m.
0
Let n(r) = -2*r**2 - 9*r - 3. Let j be n(-4). Solve 0 = 3*w - 4*k + 2 + j, 0 = -3*w + k - 12 for w.
-5
Let l = 8 - 3. Suppose -h + 16 = 3*h. Suppose 5*j + 6 = 3*s - 4, 3*s = -3*j + 42. Solve l*w + h*q = -s, -2*q - 6 - 12 = -4*w for w.
2
Let j(n) = -n**3 - 5*n**2 - 4*n + 2. Let t be j(-4). Suppose 5*g + 5*l - 80 = 0, -3*l = -3*g - t*l + 44. Solve 0 = -3*u + 5*r - 15, -3*u - 4*r = -3*r + g for u.
-5
Suppose 20 + 13 = 4*s - 5*o, 24 = 2*s - 4*o. Solve 5*z - 4 = 16, -5*v + s*z = 18 for v.
-2
Let g = 8 + -5. Let t be (-22)/(-12) + 1/6. Solve -3 - g = -t*c - 2*j, 4*j + 4 = 4*c for c.
2
Let j = -67 - -67. Solve j = -0*s + s + u + 2, 4*s = -u + 1 for s.
1
Suppose -15 - 1 = -2*d. Let s(i) = -14*i**2 - 4 - 3*i + 27*i**2 - 14*i**2 + 12*i. Let x be s(d). Solve 0 = 2*t + 2*f + 20, -x*t - 5*f - 46 = -1 for t.
-5
Let m be 1/(-3) - 3*96/(-54). Solve -u = 4*s + 12, s = -2*s + m*u + 14 for s.
-2
Let h be -10*2/(-8)*-2. Let j = h + 7. Solve 22 + 15 = 5*t - 4*b, -t - j*b = 1 for t.
5
Let b be -3*-3*(2 + -1). Suppose -5*g + b = -6. Solve 0 = -j - 1, g*h - 8*j = -3*j - 1 for h.
-2
Let z(k) be the first derivative of -14*k**2 - 2. Let d be z(-1). Suppose 3*b - 21 = -3*s - 2*b, -4*s = -4*b - d. Solve -3*v = 5*w - 16, -22 = -3*w - s for v.
-3
Let n(a) = a**3 + 6*a**2 + 4*a - 2. Let v be n(-4). Let k be (1 - -1) + v - -2. Solve 3*q - 4*d + 7*d + k = 0, -4*q - d - 12 = 0 for q.
-2
Let c = -32 - -46. Let g = c + -6. Let o = -2 + g. Solve -5*l = -5*v + 39 + o, 0 = 4*l + 20 for v.
4
Suppose 4*q - 24 = -0. Solve 2*d - 3 = -h, -6 = -5*d - 4*h + q for d.
0
Suppose 3*s = -f + 8 - 1, 2*s = 3*f + 12. Let m be (f + 4)*-1 + 6. Solve 2*t - 8 = r - 0, 3*r = m*t - 20 for r.
-4
Suppose -25 = -z - 10. Suppose -z = -10*v + 5*v. Solve -3*n + 0 = -v*a + 30, -3*n - 25 = -2*a for a.
5
Let x = 53 - 26. Suppose -5*i - 41 = 4*y, 2*i + x = -3*y - i. Let p = y - -13. Solve 2*w + 15 = -5*s, 2*w + 4*s = w - p for w.
-5
Suppose 0*n - 2 = n, -2*n + 940 = 4*c. Let g be c/12 - (-3)/9. Solve 0 = 4*d - 2*v - 2*v + g, 5*d - v + 5 = 0 for d.
0
Suppose -g - 2 + 4 = 0. Suppose 0 = g*o - 0*o + 2*h - 14, 35 = 5*o + h. Solve o = 4*b - 6*b - j, 25 = -5*j for b.
-1
Let p = -182 - -182. Solve 2*v = 2, -f - 2*v = -p*v for f.
-2
Let x be (-7)/(-3) - 2/(-3). Suppose 2*n + 7*h = 3*h - 14, -2*n = -2*h - 16. Solve 4*z + x*b = 11, n*z = -z + b + 7 for z.
2
Suppose 95*s - 100*s = -10. Solve 8 = 4*d - 2*l, -2*l = d - 0*l - s for d.
2
Let r = 1 - -7. Solve 2*u + 2*c = -0*u + r, 5*c = u + 14 for u.
1
Suppose 0 = 4*n - 19 + 3. Solve 2*p - 3*p - 2 = 2*l, n = 5*p + 3*l for p.
2
Let u be (-3)/((-1)/5*3). Suppose -4*d = 3*q - 16, 0 = -u*q - d + 5 - 1. Solve 3*v - 3*s = 18, q = -0*s + s + 5 for v.
1
Suppose -3*c + 3*k - 21 = 2*c, c + k = -9. Let s be (-12)/8*8/c. Suppose 3*o = -4*q - o + 28, -3*o + 31 = 5*q. Solve 2*t = -q*p + 1, -5 = -5*p - t - s for p.
1
Suppose -3*l - 4*k + k = -3, -3*l - k = -9. Solve -4*t - 20 = 0, -l*t - 35 = -3*f - 9 for f.
2
Let o = -41 + 45. Solve 3*n - 3*i = -0*n + 6, -2*n + 16 = o*i for n.
4
Let d(z) = -z**3 + 4*z**2 - z - 1. Let u be d(3). Solve -2*h - 3*h + 35 = 5*p, -u*p + 21 = -2*h for h.
2
Let i(z) = z**2 + 5*z - 6. Let u be i(-6). Suppose u = 2*n - 6 - 2. Solve -n*v = 6*q - q - 26, 2*v - 18 = -5*q for q.
2
Suppose 5*r - 66 - 14 = 0. Suppose -8 = 4*y + r. Let u = -2 - y. Solve -5*d = 3*p + 20, 2*d = 3*d - 2*p + u for d.
-4
Suppose 0*k + 5*k - 25 = 0. Let f(i) = i**2 - 4*i + 1. Let c be f(k). Solve c*w + 6 = 3*w, 3*w + 18 = -3*g for g.
-4
Let q(f) = -3*f - 1. Let t be q(3). Let x be (12/5)/(3/t). Let a(d) = d**2 + 8*d + 2. Let h be a(x). Solve v = -3*l - 4*v + 13, h*l + 5*v = 17 for l.
-4
Let x = 7 + -3. Let u = 2 + -2. Suppose 4*j - 3*r - 51 = u, 0 = j - 0*j - 4*r - 29. Solve -x*d = -4*h - 16, 4*h - j = -d - 0 for h.
1
Let o(s) = s**3 + 7*s**2 + 11*s + 1. Let a be o(-4). Solve 5*z - 9 = a*u - 39, -17 = 2*z - 3*u for z.
-1
Let b be -6 + 6/2 - -9. Solve -3*w - 5*v + b = -16, -3*v = -5*w + 14 for w.
4
Let n(r) = -r - 1. Suppose -c - 11 = -3*h, 7*c - 3*c + 8 = 3*h. Let p be n(h). Let q(k) = k + 5. Let j be q(p). Solve 0*o - o - 5 = 2*d, 4*d + 4*o = j for d