l + 5*b - 10 = 0, l - z = -5*b + 9 for l.
-1
Let q(w) = -63*w + 1. Let h be q(-1). Let s be (-3 + 2)/((-8)/h). Let j = 11 - s. Solve -2*z + 16 = 5*n, j*n + 5*z = 1 + 1 for n.
4
Let a = 8 + -8. Suppose a = t + 2 - 8. Let o be 2 + (-7)/(21/t). Solve -2*i = j - 5*i - 4, o = -3*i - 3 for j.
1
Suppose 0 = 2*f - 7*f + 240. Let g = f - 45. Solve g*p = -k - 17, 5*p - p + 20 = 0 for k.
-2
Suppose -4 = -2*a + 4. Solve -2*y + 22 = -a*b, 5*b + 12 = 3*y - 18 for b.
-3
Let a be 385/407 - 22/(-407). Solve -4*y + 3*r + 1 = 0, 6*r - 3*r = 2*y + a for y.
1
Let q = 4 - -1. Suppose 2*t + 60 = q*t. Suppose -h = 4*a - 10, -4*h + t - 4 = 4*a. Solve 3*y + 3 + 0 = 3*s, -5*y = a*s - 2 for s.
1
Let c be (12/5)/((-189)/(-30) + -6). Solve 5*f + 15 = -5*v, -2*v + c*f - 6 = 4*f for v.
-3
Let r(i) = -3*i + i + 3*i + 1. Let m be r(5). Solve -3*p + 6 = -0, -2*v + m = p for v.
2
Suppose -3*a = 4*f - 9*f + 25, f + 5*a - 5 = 0. Solve 2*r + 4 + 18 = -5*i, -f*r - 9 = i for i.
-4
Let a be (-4)/14*3*-7. Suppose 16 - a = 5*q. Solve 3*i - 11 = -2*d, d + i + q = 2*i for d.
1
Let h be ((-18)/(-21))/((-10)/(-35)). Solve 4*c + 0*c = 0, -5*c - 12 = -h*k for k.
4
Let r(n) = 6*n**2 - 3*n. Let q(i) = i**2 - 1. Let k(u) = -5*q(u) + r(u). Let o be k(5). Solve o = 5*w + 3*b, -2*w = -4*b - b - 6 for w.
3
Let d = -155 + 157. Let r be 28/16 + (-2)/(-8). Solve -d = r*b - 2*s, -2*b + s = -5*b + 5 for b.
1
Let l be 3130/90 - (-4)/18. Solve 0 = 2*t - 10, 5*y - 2*t + l = t for y.
-4
Let k be (-12)/(-5) - ((-160)/(-25) - 6). Solve -3*h + k*s = -0*h + 10, 4*s = -4 for h.
-4
Let d(l) = l - 4. Let z be d(8). Suppose -z*r + 153 = -r. Let i be 8/(-12) - r/(-9). Solve -5*j - 1 + 6 = -i*f, 0 = -3*f - j + 9 for f.
2
Let r(y) = 7 + 2 - 6 + 10 - 2*y. Let l be r(4). Suppose 4*b = -5*u - 2, l*u - 1 - 3 = -2*b. Solve -3*o - 9 = u*f, 4*f + 0 = 3*o + 9 for f.
0
Let u be ((-2)/(-4))/(2/4). Let x be (4*u)/((-6)/(-9)). Suppose 3*n - x = -0. Solve 6 = -0*g + n*g + 4*z, -2 = g - 3*z for g.
1
Suppose 3*o + 25 = 8*o. Suppose -j + 0*j = -2. Let b = 2 - 0. Solve -b*q + 14 = -5*g - 5*q, -j = 3*g + o*q for g.
-4
Suppose -p = p + 8. Let w be 10/p*(-12)/15. Let f = 321 + -319. Solve -f*o + 4*z + 16 = w*o, -o = -5*z - 24 for o.
-1
Suppose -14 = -15*z + 8*z. Solve -4*j = 4*f - 28, z = 4*f - 3*f for j.
5
Suppose 11 = -b - 4*h, -23 = -b - 2*b + 2*h. Suppose -b*x = -0*x + 45. Let v(t) = -2*t - 13. Let y be v(x). Solve -4*r - 2*l = -20, -3*r + y*r - l = 2 for r.
3
Suppose 0 - 1 = -v. Let k be (21 + (-1)/v)/2. Let j = k - 10. Solve -u + 5*q - 7 = j, u - q + 7 = -2*u for u.
-2
Let t = 63 + -54. Suppose -t = 3*h, 0 = 4*b - 3*h - 0*h - 25. Suppose -4*y = 5*a, -a - 3*y - 11 = -0*a. Solve -b = -k - 2*m, -5*m - 8 - a = -3*k for k.
4
Suppose -37*u + 31*u = -36. Solve -5*y = -4*g - 1, -2*y + u = 7*g - 10*g for y.
-3
Let z = 0 - -4. Suppose 5*d - 33 = 3*l, 4*l = -4*d + 16 + z. Suppose d - 14 = -4*p. Solve -2*c - 6 = -3*m + p, c - m = -4 for c.
-4
Suppose 5 = 2*q + 2*p - 3*p, -5*q = -3*p - 15. Suppose q = -5*m - 28 - 7. Let b be (-11 - m)*1/(-2). Solve -2*z - 9 = 3*f, 2*f - 3*f = -b*z + 11 for z.
3
Suppose 3*j - 4*p = -94, 2*j + 4*p = -p - 32. Let v = -23 - j. Solve -r = -3, 7*h - 11 = 2*h + v*r for h.
4
Suppose 4*c = -3*d + 1, -c - 11 = -d - 2*d. Solve q + 0*q = d*l + 9, -4*l = 8 for q.
3
Suppose -5*v + 10 = -4*h + 50, 13 = 5*h + 3*v. Suppose -h = t - 4*s, -t = 3*s + 9 - 32. Solve 2*k + t = -w, -4*w + 0*k = 4*k + 24 for w.
-1
Suppose -13*n = -19 - 7. Let s be (-2)/1*5*n/(-4). Solve m - 4*t = 18, s*t + 15 = 3*m + 2*m for m.
-2
Let b be (2 + 2)*(-2)/(-2). Suppose -b*j = -n - 39, 0 = 2*j - 4*n + 3*n - 19. Let a = -5 - -8. Solve -a*q = 4*i + 8, -4*i - i = j for q.
0
Let f(o) = o**3 + 3*o**2 - 4*o. Let i be f(-3). Let z be 12/14*(-11 - -18). Solve 0*h - v + i = -3*h, -3*h + 3*v - z = 0 for h.
-5
Let j be (-4)/(-6) + 2 - 10/15. Suppose 0 = -2*b - 4*i + 20, j*b + 5*i = 3*b + 11. Solve 2*w + 2*p = -1 - 3, b*w - 1 = -p for w.
1
Suppose m = -3, -m + 56 + 103 = 3*y. Let o = y - 30. Solve o = -5*c + a, -4*a + 58 = -5*c + 22 for c.
-4
Let n(f) = -f**2 + 7*f - 2. Suppose -q + 48 = 5*q. Let j be n(q). Let c(t) = t**2 + 5*t - 14. Let p be c(j). Solve 3*x - 3*i + 6*i = 24, 4*i - p = -5*x for x.
4
Let a be (49 + -50)/((-3)/51*1). Solve -2 = 2*p, 10 = f + 5*p + a for f.
-2
Let t(z) = -7*z**2 - 9*z + 6. Let k(s) = 8*s**2 + 10*s - 6. Let f(r) = -6*k(r) - 7*t(r). Let w be f(2). Solve 2*u = 6*u - 20, 31 = w*g + 3*u for g.
4
Let b be 2/(-7) - 24/14. Let l be (3 + -5 - b)/(-2). Suppose g - 3 - 1 = l. Solve n + g = 3*x, -5*x + n + 10 = -0*n for x.
3
Let v be (4/2 + -1)*(-3 + 5). Let r be -3 - (2 - v) - -5. Solve 3*k = -3*z - 2*k - 14, 0 = r*z + k + 7 for z.
-3
Let d be -3*(-1)/(-21) - (-380)/14. Solve 0 = 5*a - 3*i - d, 3*i - 2*i - 2 = -2*a for a.
3
Let s(i) = -8*i - 19. Let b be s(-3). Suppose 0 = -2*t + 4, 0 = 3*v - 2*t - 32. Suppose -b*q = -q - v. Solve 5*m - y + 4 = 0, 1 = -q*m - y - 3 for m.
-1
Let h(q) be the third derivative of q**6/30 + q**5/60 - q**3/6 + 13*q**2. Let f be h(1). Solve -6*n + 2*n - 22 = 2*b, f*b + 26 = -2*n for n.
-3
Let k = -1 - 8. Let r be ((192/k)/(-8))/(4/6). Solve -q - r*w + 17 = 0, 5*q + 2*w = 3*w + 22 for q.
5
Suppose 3*r - 4*f = -3, 0 = -8*r + 3*r + 5*f. Solve -2*y = -0*b - b + 1, 3*y = r*b + 6 for y.
-3
Suppose 0 = 4*h - 16, 0 = 4*a + h - 9 - 7. Solve -a*g + 4 = -j + 2, -4*j + 4*g - 16 = 0 for j.
-5
Let o(j) = j**2 - 10*j + 13. Let m be o(15). Suppose 6*w + m = -50. Let t = -20 - w. Solve 0 = -2*s + 2 - 8, 3*x - 21 = t*s for x.
4
Let q be ((-42)/63)/(2/(-3)). Solve v = 3*c + q, -c = 2*c + 3 for v.
-2
Let s be 25/15*(-36)/(-10). Suppose 69 = 5*d - s. Solve 3*v - 4*u = 7*v, -3*u = d for v.
5
Let y = -960 + 964. Solve -3*q + 7 = i - 0*i, -4*i + y*q = -12 for i.
4
Let i = 878 + -875. Solve 5*k = -4*s - 25, -k + i*s + 7 = -7 for k.
-1
Suppose 0 = -136*c + 148*c - 228. Solve b - 5*w = c, 0 = 4*b + 3*w + 11 + 5 for b.
-1
Let v be (5 - 1 - 6)/((-2)/(-5)). Let b be 3 + 4/(-20)*v. Solve 0 = 3*s - i + 13, 2*i - 4 - b = 0 for s.
-3
Let c = 3 + -8. Suppose -13*y - 11 = -128. Let m = y + c. Solve -3*d + 4*j = m, 0 = -d - 4*j + 4 - 0 for d.
0
Let u(w) = w**3 - 14*w**2 + 39*w + 14. Let f be u(10). Solve -2*r + 1 = -3*z, 0*r + f*z = -5*r + 37 for r.
5
Suppose -n + 3 + 9 = -2*f, 0 = -3*n + 2*f + 16. Let d be (-2 - 4)*3/1. Let g be (-122)/d + (-2)/(-9). Solve 5*c + n - g = 0, 3*a + 4*c - 10 = 0 for a.
2
Let l be (6 - 9)/(2 - (-7)/(-3)). Solve -14 = -3*g - 5*u, 2*g + 5*u - 2*u = l for g.
3
Suppose 4*c + n - 88 = 0, 3*c + 5*n + 28 = 77. Solve u = 5*v + c, -u + 5*v + 32 = 3*u for u.
3
Suppose 2*g = 6, 11 = -n + 4*g + 1. Suppose 0 = l - 6*l, n*i - 2*l - 4 = 0. Suppose -i = k - 6. Solve 0 = 2*q - 3*m - 13 + 5, -3*m - k = -q for q.
4
Let p(r) = -6*r**3 + r**2 + 6*r + 2. Let u be p(-1). Solve -d = -4*b + 1, d = -2*b + 4*b - u for d.
-5
Suppose 0 = -0*z + 5*z. Let w be z*((-27)/(-6) + -4). Solve w = 3*j - l + 13, 13 + 18 = -5*j - 3*l for j.
-5
Suppose 30*l - 28*l = -146. Let j = 76 + l. Solve 3*b + 10 = q, -4*b - 10 = q - j*q for q.
-5
Let k(t) = -t**2 + 3*t + 4. Let q be k(3). Let x(a) = -47*a - 1170. Let f be x(-25). Let p = 1 - -2. Solve f*s - q*g = 36, 0 = -p*s - 3*g - g - 4 for s.
4
Let d = -1159 - -1159. Solve d = 4*q - 2*v - 10, -15 = 4*q - 0*q + 3*v for q.
0
Suppose -l + 33 - 18 = 0. Solve -l = 5*v - 5*m, 4*m - 21 = -4*v - 1 for v.
1
Suppose 5*n = -5*r + 35, 31*r - 29*r = 5*n - 7. Solve -27 = 5*y + 4*o + 14, n*o + 37 = -5*y for y.
-5
Let m be 2 + -2*(-4 - -3). Let q be (1 - 6)/(m + -5). Solve 0*k + 4*k = -n - 7, 2*k + q = n for k.
-2
Suppose g + 6*g = 147. Let k be (-12)/105*45/(-6)*g. Solve -2*m - 9 = 5*r, 5*r = m - 0*m - k for m.
3
Let d = 33 + -35. Let n be ((-2)/(-6))/(d/(-36)). Solve m = 5*p - 3, -12 = n*p - 2*p + 4*m for p.
0
Let x = -2829 - -2832. Solve -x*m + 3 + 14 = -5*s, 4*m = 4*s + 20 for s.
-1
Let m be 102/5 + ((-51)/15 - -3). Solve 4 = 4*k - w, 0 = k - 5*k - 5*w - m for k.
0
Suppose -15*a = -0*a - 300. Solve -a = -4*t - 2*c - 0*c, -4*c = -5*t + 12 for t.
4
Let a(s) = s**2 - 3*s + 2. Let t be a(1). Suppose 2*i - 3*r - r - 70 = t, -4*i + r = -105. Solve i = -5*o, -4*z + 2*o + 2*o + 8 = 0 for z.
-3
Let m = -14 + 14. Suppose 5*x - 16 - 14 = m. Let h = 10 - x. Solve k + i + 8 = -h*k, -6 = 2*i for k.
-1
Suppose -x + 9 = 5. Solve -4 = 2*m - x*u, 2*