for l.
5
Let x(g) = 5*g**3 - g**2 - 16*g + 10. Let b(s) = -s**3 - s**2. Let k(l) = -4*b(l) - x(l). Let m be k(7). Solve -j = 2*y + 2*j - 13, -m*j - 1 = -y for y.
5
Let p(k) = 3*k**2 + 2*k + 2. Let x be p(-1). Let o be (0/1)/1 + 2. Let w be (6/o)/x + 2. Solve 2*a = -w*m - 9 + 3, -3*a = 0 for m.
-2
Let r be 3*(-58)/(-10) - 362/905. Let x = -2 + 5. Let j = r - x. Solve -5*l - 13 = 2*t + j, -2*t - 4*l = 22 for t.
-1
Let a(h) = 8*h**2 - 4*h - 2. Let t be a(2). Let g = t + -6. Suppose -8*l + 12*l - 16 = 0. Solve -2*s = 2*y + g, -8 = l*s - 2*y - 0 for s.
-4
Let b(c) = -c + 9. Suppose 5*u + 2*i = 33, 6*u - 3*i = 2*u + 31. Let r be b(u). Solve 2 = 3*s - 2*z, -3*s + r*z - 6 = -4*s for s.
2
Let n(v) = -19*v + 26. Let p be n(1). Solve 1 = x, 5*a + 3*x + 4 = p for a.
0
Let q(o) = -28*o + 284. Let u be q(10). Solve u*y = 5*m - 5, -13*m = -18*m - 4*y + 45 for m.
5
Let s(v) = 27*v**2 + 2*v - 27*v**2 - 1 + 4*v**3. Let w be s(1). Solve 4*f + f = -l - 8, w*l = -4*f - 19 for f.
-1
Suppose 0 = -6*b + 4*b. Suppose 4*k + 3*h - 29 = 0, 3*k - 30 = 10*h - 15*h. Solve b = k*p - 2*v + 15, 0*p - 4*p + v = 12 for p.
-3
Let g be ((-1 - -1)/(-2))/1. Let f(a) = 65*a + 134. Let h be f(-2). Solve -o - 4 = -h*b, -2*b + 5*o = -g*b + 16 for b.
2
Let p be (33 + -30)*2/6. Solve -2*i + 3*i + p = 0, -5*i + 1 = 2*f for f.
3
Suppose -5*q - 4*u + 61 = 0, -3*q + 42 = 2*u - 5*u. Let r = -18 - -27. Suppose -4*w + 11 = -r. Solve 0 = -p + 3*z, 2 = 2*p + w*z + q for p.
-3
Let c = 2379 - 2374. Solve -v + 7 = 2*k, v - c + 2 = 0 for k.
2
Suppose -9*c = -12*c. Suppose c = 4*j - 0 - 12. Solve j = -4*y + 5*g, -4*y = 2*g - 4 - 14 for y.
3
Let f(y) = 2*y**2 - 4*y - 8. Let o be f(8). Let n = o + -79. Solve 4*t + 0*t = -5*a + 17, -n = -3*t for a.
1
Let m be (-4)/6 - (-1862)/399. Solve 17 = -4*n + 3*n + m*k, -4*n - 5*k + 37 = 0 for n.
3
Let p = 2 + 0. Let h(m) = m**2 - 15*m + 3. Let o be h(0). Solve 2*l = -2*t - p, -o*t = t - 3*l - 17 for t.
2
Let f = -27 - -86. Let k = -46 + f. Solve 3*r - k = 2*a, 18 = 5*r - 4*a - 5 for r.
3
Let q = -94 + 97. Suppose -x + 5 = 2. Suppose 4*a - 16 = -2*s, -x*a + q*s = -2*a + 10. Solve z + 1 = -a*z - m, 5*z = 2*m + 13 for z.
1
Suppose -4*x = 4*x. Solve 5 + 5 = r + 3*a, 4*r - a + 12 = x for r.
-2
Let v(q) = -q**2 + 8*q - 2. Let m be v(6). Suppose -2*i - 5*f = m, -3*f - 10 = 2. Solve 4*h + y + 12 + 5 = 0, i*y - 10 = -h for h.
-5
Let f(w) = -2*w**3 - 2*w**2 + 16*w + 29. Let r be f(-2). Solve -r*l - g = -l - 18, 5*l - 14 = 3*g for l.
4
Let x be (-40)/6 - (-3 - (-28)/12). Let b be (-1)/(-1 - 3/x) + 1. Let v(k) = k - 7. Let r be v(7). Solve 3*i - b*c = -3, -6*c + c = r for i.
-1
Let p be (1 - 0)/(12 + (-207)/18). Solve 5*i - p*s - 8 = 0, 3*s + 6 = 5*i - s for i.
2
Suppose -2*t - 272 = -x, -5*x = -t - x - 143. Let o = t + 138. Solve -5*l = -2*r - 30, -o*r = 3*l - 0 + 3 for l.
4
Suppose 9*z + 10 = -d + 5*z, -5*d + 35 = 3*z. Solve d = i + 4*x, 2*x + 13 = i + 7*x for i.
-2
Suppose -4*l - 138 - 22 = 0. Let r = -35 - l. Solve r*x - 5 = 5*j + 5, -3*x = -3 for j.
-1
Suppose -5*w + 18 = -27. Suppose 8*i = w*i - 1. Suppose 5*r + 5*n + 3 + 2 = 0, 0 = n + 3. Solve 0 = v - 3, -v = s - r*s - i for s.
2
Suppose 56 = 11*t - 7*t. Suppose -t*u + 9*u = -20. Solve 2*o - 4 = -2*x, 4*x + 20 = 4*o + u for x.
-1
Suppose -4*c + 4*u = 76, 5*u - 35 = 3*c + 30. Let t = 18 + c. Suppose 0 = -t*k, g + 0*g - k - 3 = 0. Solve 2*h - 8 = -o - 3*o, 2*h + 20 = g*o for h.
-4
Suppose 55 = 4*w + 5*g, -3*w + 13 = -2*w + g. Suppose w*v - 20 - 10 = 0. Solve 2*r = -v*n + 2*n + 10, 3*n = -r + 15 for r.
3
Suppose 5*k + 22 = i, -5*i + 5*k + 97 = 27. Let x be (i/(-14))/(11/77). Let b be -2*(-2 + (-3)/x). Solve -2*h = -b*l - 12, 2*l - 2*h - 3*h + 19 = 0 for l.
-2
Suppose 26*h - 25*h - 8 = 0. Solve 2*y = 3*a - 4, 3*a + h = 2*a + 3*y for a.
4
Suppose 0 = 2*w + 6, -33*w - 6 = -3*p - 36*w. Solve 5*y - 30 = p*a, -2*y - 2*y + 3*a + 19 = 0 for y.
1
Let w be ((-135)/(-12))/(9/24). Let t be (w/(-45))/(2/(-12)). Solve -t*d - 3*u - 13 = -0*u, 2*d = u - 9 for d.
-4
Let h = -73 + 80. Solve -1 = 4*o + 5*t - 8, -3*t + h = o for o.
-2
Suppose 0 = -4*i - 5*y - 8, -4*y + 4 - 14 = 2*i. Solve 4 = 2*n, -4*n = 5*o - 5*n - i for o.
1
Let i be 1/(4/144*3). Suppose -b = -3*b + 8. Suppose -b*g = -g - i. Solve t - 4*l = -2*t - 5, 4*l + g = 0 for t.
-3
Suppose h - 5*w - 1 = 0, 2*h - 3*w = -5*w + 38. Let j be (-40)/h*(-12)/2. Let z = 3 - 1. Solve y = 6*f - z*f - j, -3*f = -y - 12 for f.
3
Let m be 0 - (-4)/(-1) - -43. Suppose -5*x + m = -86. Solve 2*b - 3*b + 11 = 4*t, -x = -5*t + b for t.
4
Suppose -4 = -10*h + 11*h - 2*f, 5*f = -4*h + 49. Solve -2*r + h*r = 4, -5*u = -4*r + 19 for u.
-3
Let p(g) = -g**3 + 4*g**2 - g - 1. Let x be p(3). Let u be (-30)/(-3)*(-4)/(-10). Solve 20 = 4*o - 4*n, x*o + u*n = o + 12 for o.
4
Let a be -1*2 + -13 + 19. Solve q - 3 - 5 = -2*n, 2*n - a*q + 2 = 0 for n.
3
Suppose 0 = 87*k - 83*k - 12. Solve -s + k*j = 7, 3*s = 2*j + 2*j - 16 for s.
-4
Suppose 3*j + 320 - 320 = 0. Solve 8 = -2*p, x - 1 = -j*x + p for x.
-3
Suppose -7*q = 304 - 318. Solve 4*a + 0*t = t - 10, a - q*t = 1 for a.
-3
Suppose -5*z = 2*w + 25, -4*w - 23 = 2*z + 3. Let y be 2/(-1 + z/((-9)/5)). Solve 0 = y*h - 9, r - h + 0 = -3 for r.
0
Let n(r) = -r**2 + 3*r + 28. Let b be n(7). Suppose 10 = 3*l + 2*l - 2*t, b = 2*t. Let h be 1/2*(13 - 1). Solve -h = 3*k + 3*j, 0 = -k - 5*j - l - 0 for k.
-2
Suppose 6 = w + 3*s - 2, s + 4 = 3*w. Solve -3*d - w = 2*r, 45 = -2*r + 7*r - 5*d for r.
5
Suppose -20*s = -21*s + 2. Suppose -p + 0*p = 3*y - 6, -2*p = -y + s. Solve -9 = -6*v + v - b, 0 = -y*v - 5*b + 22 for v.
1
Suppose -31 = 4*h - 9*h - p, p = 2*h - 18. Solve -5*b = -u + 16, 2*b = 2*u + h*b + 13 for u.
1
Let x be ((-7)/14)/(3/(-18)). Let r be (x/6 - 0)*8. Solve -4*t = t - 4*z + 15, -r*t - 1 = -z for t.
1
Suppose c - 20 = -17. Suppose -2*f + 9 = 2*r + 1, 4*r - 30 = 3*f. Solve -25 = -5*x, c*x - 1 = -4*m + r for m.
-2
Let j(f) be the third derivative of -f**5/60 + 7*f**4/12 + f**3/3 + 12*f**2. Let z be j(14). Solve p = -z*r + 3*r, 3*p - 8 = r for p.
4
Let x(z) = z - 2. Let w = -18 + 26. Let n be x(w). Let v be 24/n*2/4. Solve 0 = -3*f + 2*j - v, 0 = 2*f - f - 2*j - 6 for f.
-4
Let w = -159 + 175. Solve -9*c + 8*c + w = 4*q, -5*q - 3*c + 20 = 0 for q.
4
Let b = 8 - -4. Suppose 2*x - b = -x. Suppose -4*l + 2*l = 5*d - 24, 2 = -3*l + 2*d. Solve -2*u = -2*s + x, -4*u + 6 = l*s + s for u.
0
Suppose -3*g = 3*h, 5*h - 6 = -2*g + h. Let u be (-8)/(-6)*g/(-2). Solve -36 = -4*n - 4*t, u*t = n - 4*n + 23 for n.
5
Let y(t) = -7*t**3 - t**2. Let p be y(-1). Let i be (23/5 - ((-60)/(-12) + -1))*5. Solve -i*l + z = 5*z + 4, -2*l - z - p = 0 for l.
-4
Suppose 0 = -3*i + 2*i. Let z(r) = r**2 + 12*r + 24. Let f be z(-10). Suppose 6*m = 4*m + f. Solve -4*q - 3*s + 1 = -4, i = -4*q - 2*s + m for q.
-1
Let m(l) = -l**3 + 11*l**2 - 12*l - 24. Let x be m(9). Solve -5*j + 2*r = -x, 3*j = -r + 4 + 3 for j.
4
Let f be 4*(6 + -3)/6. Solve f*z = z - y, -z + 4*y = 5 for z.
-1
Suppose -15 = -5*r - 0*r. Suppose 0 = -2*u, -2*y - r*u = -0*y - 30. Let j = y - 12. Solve -j*m = i + i + 3, 2*m - 4*i = -2 for m.
-1
Suppose -d - d = -10. Suppose -d*k = -123 - 107. Suppose 8 = 50*a - k*a. Solve -3*g + 2*g - 1 = -v, -4 = -v - a*g for v.
2
Suppose t + 0*t = 11. Let s = 15 - t. Let w(x) = -2*x**3 + 3*x**2 + x - 1. Let g be w(-2). Solve g = f + s*f, -23 = -3*q - 4*f for q.
1
Suppose -3*f = 5*w - 0*w - 10, 2*w = 3*f + 25. Suppose -21 = w*t - 8*t. Suppose -5*q = 5*i, -t = 4*q + 9. Solve p - 4 = 5*c, 4*p - c + i = -p for p.
-1
Let t be (-5)/(-3) + 1/(-15)*-20. Solve 2 = -5*x - f, t*f + 1 = -4*x + 2*f for x.
-1
Let q(l) be the third derivative of -l**4/24 - 2*l**3/3 - 14*l**2. Let v be q(-9). Solve -v*p = 3*g + 13, 2*p - 10 = 4*p for g.
4
Suppose 46 = -x + 4. Let b = 62 + x. Solve 5*w - b = 0, -2*p = -w + 2*w - 4 for p.
0
Suppose -11 = 2*f - 5*w, -2*f + 14 = -7*f - w. Let y = f - -5. Solve -2*l = -3*i - 2*i + 7, -3*i - l = -y for i.
1
Suppose 0*l - 3 = -l. Suppose a - l*a + 20 = 0. Let d be -3*((-12)/15 - 10/50). Solve -3*k + t - 1 = -6, -4*k + d*t = -a for k.
1
Let u(r) = r**2 - 31*r - 28. Let f be u(32). Solve 0 = -5*a - 2*d, -f*d + d = 5*a + 5 for a.
2
Let x be (-9)/(-15)*20/6. Suppose 0 = 4*q + 20, -x*v + q = -3*v - 4. Solve -30 = -2*u - 5*r, 2*r = u + v + 2 for u.
5
Let u = 6 + 4. Suppose 0 = -2*i - 3*i + 