-m for l.
5
Let z(x) = -x**3 - 14*x**2 - 4*x - 31. Let a be z(-14). Solve 3*l - a = 4*f, -26 = -l - l + 5*f for l.
3
Suppose 0 = -6*n + 4*n - 4. Let d(i) = i**2 + i - 2. Let b be d(n). Suppose 2*r + b*r - 23 = -3*q, -2*r - q = -21. Solve -p - 5 = 2*x + 8, 5*x - 5*p = -r for x.
-5
Suppose 9 = -5*m - 1. Let r be (0 - -1) + m + 12. Solve -5*o - 5*s + 5 = -0, -5*o - r = s for o.
-3
Let c be 161/(-4) + (66/(-24))/(-11). Let k be (-161)/2 - (-2)/4. Let r = c - k. Solve -3*a + 2*a - 3*p + 10 = 0, 4*p - r = 4*a for a.
-5
Let b = 3 + 2. Suppose 0 = c + 5*l - 5, -5*l + 0 = -b. Solve 4*h = 4*u + 4, 5 = -5*u - c*h - 4*h for u.
-1
Let f = -35 + 35. Let x(d) = -d**3 - 4*d**2 + 4*d - 2. Let o be x(-5). Solve 2*c = 4*u + 3 + 1, f = 3*u - o for c.
4
Let c be 0/(1/1*1). Let p = 11 - c. Suppose 3*s = -n - 7, -4*s = -n + 3 + p. Solve 8 = -2*v, -n*t - 2*v = 2*v + 6 for t.
5
Let c(f) be the third derivative of f**5/30 - f**4/8 - 5*f**2. Let k be c(2). Solve -x + 4*x = -j + 4, -k*j = -5*x + 25 for j.
-5
Let g be (5 - 3) + 0/(-1). Let i be (g + (-2)/3)*3. Solve -i*h - 4 = c - 3, 2*h - 4 = -2*c for c.
3
Let s(o) = -o + 8. Let f be s(2). Solve 2*r - 6*r - 2 = 3*x, -2*r - 5*x + f = 0 for r.
-2
Let m = 114 + -26. Suppose 3*a - 2*r = -a + m, -2*a + 3*r + 52 = 0. Let l be (-6)/(-4)*a/15. Solve 5*o = 2*t - 8, 0 = l*o + 3*t - 1 + 8 for o.
-2
Let a(i) = -3*i**3 - i**2 + 1. Let z be a(-1). Let t = 34 - 32. Solve -5*v = 25, -z*c - v + t*v + 2 = 0 for c.
-1
Suppose -2*n + 44 = 4. Solve 4*s - 4*q - 20 = 2*s, 4*q + n = s for s.
0
Let g = 1 - -3. Let o(i) = -i**2 + 7*i - 6. Let q be o(6). Let j = q - 0. Solve 5*v + 30 = g*c, j*v + 3*v + 11 = c for v.
-2
Suppose 5*b = 3*m + 22, 1 = -2*b - 2*m - 3. Suppose 2*t - t = b. Solve j = -2*p, -t*j + p = 6*p + 1 for j.
2
Suppose -3*u - 2*u - 27 = -4*x, 0 = 2*x - 3*u - 15. Solve -2*h - 1 = 3*i, 3 + 1 = x*i + h for i.
3
Let p be (1/(-2))/((-4 - -7)/(-48)). Solve -4*f - p = -4*g, 2*g - 22 = -f - 3*f for g.
5
Suppose 5*x - x = 60. Let f = -11 + x. Solve -2*p - 3 = 2*a + 3, -f*p - 2*a - 14 = 0 for p.
-4
Let m(z) = z**3 - z**2 + z + 6. Let w be m(0). Let v = 28 + -28. Solve u - 5*c = 14, 2*u + c + v = w for u.
4
Let g = 19 + -16. Let q(l) = l. Let c = 1 - -3. Let h be q(c). Solve h*m - 3*p = -3, 4*m + g*p + 7 + 14 = 0 for m.
-3
Suppose -9 = -5*m + l - 3, -2*l + 18 = 5*m. Suppose -2*b = 4*q + m*b - 12, 24 = 5*q - 4*b. Solve 4*n - 4*i + 16 = 0, -14 = q*n - 5*i + 4 for n.
-2
Let h(d) = d - 12. Let f(c) = c - 12. Let g(t) = 4*f(t) - 5*h(t). Let o be g(9). Solve 4*r - 5*b + 21 = 0, 3*r + o*b = b - 10 for r.
-4
Let b = -1 - 0. Let r(h) = -43*h. Let v be r(b). Solve -4*x - 2 = 5*o + v, -2*o + 5 = -3*x for x.
-5
Suppose 8 + 76 = 4*f. Suppose -3*k + 2 = o - 13, o + 5 = 2*k. Let m be 1*-3 + (27 - 21). Solve -4*t - f = -3*b, m*t + k*b + 3 = 2*b for t.
-3
Suppose 2*b - 6*b + 12 = 0. Solve 5*v + b = 4*j + 14, 4*j + 5 = 3*v for j.
1
Let i(j) = -2*j. Let a be i(-4). Suppose 2*b - 3*u = 24, -54 = -5*b + 3*u - 12. Let s = a - b. Solve 3*p + 9 = -3*w - s*w, 9 = -3*p - 4*w for p.
-3
Suppose 0 = -2*q - 4 + 10. Solve 0 = 5*z + q*i + 12, -z = z + 3*i + 3 for z.
-3
Suppose -55 = -4*k - k. Suppose -3*t + 18 = 2*r, 0 = -2*r + 3*t + t - 10. Solve r*w - 2*m + k = 0, -w - 2*m = w + 14 for w.
-5
Let i(a) = -a**3 + 2*a**2 - a. Suppose 4*w = -h + 17, 5*h = -5*w + 1 + 24. Let n be i(h). Let o = -2 + 4. Solve n = o*d + 2*v, -3*d + 0*v - v = -10 for d.
5
Let n be ((-26)/(-8))/((-2)/(-8)). Suppose 0 = 2*m + 3*v + 47, -72 = 3*m + v - 19. Let i = m + 22. Solve 3*h - i = 3*b, -2*b + n = -b + 2*h for b.
3
Let x = 0 + -2. Let c be (-1)/x + (-1)/(-2). Let p = 7 - c. Solve 2*h - 4*d + 14 = 0, 4*d + p = -2*h - 0*d for h.
-5
Let i(t) = -t**3 - 9*t**2 + 5. Let c(r) be the first derivative of -r**2 + 7*r - 2. Let x be c(8). Let a be i(x). Solve b = a, -2*b - 5 = -3*o - 6*b for o.
-5
Let r(a) = 4*a**2 - 2*a - 2. Let x be r(-1). Solve -5*q + 4*q - 4*p = 17, -20 = x*q + 4*p for q.
-1
Suppose 4 = -2*l - 2*c, -4*l = -l - 4*c - 29. Solve -j + 2 = 3*o, -j = -l*j + 5*o - 7 for j.
-1
Suppose 0 = 5*g - 3 + 18. Let q(o) = -2*o + 3. Let x be q(g). Suppose -x = -2*z - u, -2*u + 22 = 5*z - 0*u. Solve 4*f = z*t + 36, -29 = 5*t + f - 2*f for t.
-5
Let h(w) = 0 + 7*w**2 + 6 + 0*w**3 + w**3. Let j be -9 + (-1 - -3) + 0. Let t be h(j). Solve 2*a - 6 = -2*y, -a - t = -y + 1 for a.
-2
Suppose 0*u = -26*u + 52. Solve 8 = 2*c + f - 0*f, 20 = u*c + 4*f for c.
2
Let f = 13 + -8. Suppose -4*m = -5*j - 1 - 6, f*j = 5. Suppose -m*q + 0 = -15. Solve -l + 3*t = l - 18, 4*l - q*t = 32 for l.
3
Let b = -8 + -3. Let g = -8 - b. Suppose g*x = -z + 3, z = -x - z + 6. Solve 5*h + 4*i - 4 = x, 2*h - 4 = -2*i - 2*i for h.
0
Let w(m) = -m**3 - 4*m**2 + 3*m - 5. Let y be w(-5). Solve 4*h + 10 = 2*u, 5*h + y*u = 3*u - 8 for h.
-2
Let n(y) = -2*y**3. Let u be n(-1). Solve -c + 8 = -4*c - 4*f, -2*c = 2*f + u for c.
4
Let c be -1*(-2)/(-2) + 1. Let b = -3 - c. Let d be (-13)/b + 2/(-6). Solve -d*f = -3*g + 4, 5*f = f - 4 for g.
0
Suppose -6*p - 20 = -11*p. Solve -6*k - p*w + 10 = -k, -4 = -2*k + 5*w for k.
2
Suppose -q + 10 = 2. Suppose v - 6*d + q = -2*d, -3*v = 2*d - 18. Suppose 3*x - 4*x = -2. Solve 0 = -4*c - 4*k, -v*k - k = -x*c for c.
0
Let r = 20 + -17. Solve -r*x - 5 = 2*w, -2*x - x + 11 = -2*w for w.
-4
Let c = 7 - 2. Suppose 5*r - 2*i = r, -i = c*r. Solve -4*j - 20 = 4*z, r = -2*z - j - 2*j - 11 for z.
-4
Suppose -11*i - 12 = -15*i. Solve 0 = -2*b + r - i*r + 2, 0 = r + 3 for b.
4
Let b be -4*2*(-31)/4. Let w be (-1 - -2) + 4 + -4 + 1. Let h be b/22 + w/11. Solve -5*i + 7 = -h*g - 6, -6 = -i + 4*g for i.
2
Suppose 5*d = -p - 3 + 109, -2*p + 102 = 5*d. Let h be (1 - 2)/((-4)/20). Solve d = h*y - 10*y - 2*b, 4*y + 19 = -3*b for y.
-4
Suppose 134 = -5*s + 664. Let i be s/22 + 6/33. Solve -t + 4*t = -5*m + i, m = -t + 3 for t.
5
Let c be 6/21 - 412/(-28). Solve 3*i - 12 = -6*f + 3*f, -4*i + c = 5*f for i.
5
Let p be 74/6 + 28/42. Suppose -p*b + 16*b = 57. Solve -b = -n - 4*j, 5*n = 3*n - 4*j + 22 for n.
3
Let h(u) = -u**3 - 5*u**2 + 6*u + 4. Let s be h(-6). Let y(p) = -s + 0 - 4 - 2*p + 5. Let r be y(-3). Solve 6 = r*z, 3*f - 7 = 2*f - 5*z for f.
-3
Let p be 1*12 + 0 - 3. Let x = p - 4. Solve -4*w + x - 1 = 5*k, -4*w = 4*k for w.
-4
Let c be 1 + 5/((-15)/63). Let a be (-28)/(-6) - c/(-30). Solve u - 3*f - 11 = -3*u, 4*u - a*f = 12 for u.
2
Let z(i) = i**2 + 3*i + 2. Let a be z(-2). Solve -3*p + 4*l + 19 = a, -2*p + 12 - 3 = l for p.
5
Let o(x) = x**2 - 6. Let l be o(3). Solve 0 + 19 = 4*u - l*p, 0 = 5*u - 5*p - 25 for u.
4
Let o = 8 + 6. Suppose 0 = 3*v - o - 1. Solve -p + 4*n = -12, 3*n + 2*n = -v*p + 10 for p.
4
Let j(u) = 4*u**2 + 4*u - 5. Let t be j(1). Solve -x - 2*l = 6, 3 = -5*x - 4*l - t for x.
2
Let d(c) = -c**3 - 3*c**2 - 3*c. Let o be d(-3). Let i be 1*(-4)/((-12)/o). Solve 3*w - 2*s = 4*w + 7, 3*w = -i*s - 6 for w.
3
Suppose 4*r = -3*x + 13, -2*x - r = -5 - 2. Solve 3*h + 20 = 8*h - x*t, 0 = -3*t for h.
4
Let n be ((1 - 6)/1)/(-1). Solve 4*l - l = 5*t + n, 3*l + 5*t = -5 for l.
0
Let s be (1/(-2))/((-15)/90). Solve 3*i = 3*r - 22 + 1, 3*i - s = -5*r for i.
-4
Suppose 0*x = -2*x + 6. Solve -3*z + x*f - 24 = -0*f, 0 = -3*z + f - 14 for z.
-3
Let z be (-7)/(-5) - 10/25. Let i = z - -10. Solve 0 = -3*o + 3*j, i = -o + 5*j - 1 for o.
3
Let b(a) = -2*a - 7 - a + 2*a. Let n be b(-9). Solve s = -3*o + 4 + n, 4*o - 8 = 0 for s.
0
Let t be (-26)/(-8) - (-12)/16. Let k(z) = 5*z**2 - 2*z - 4. Let j be k(3). Suppose -t*u = 7 - j. Solve -q = -2*g + u, 0 = -q + 3*g - 7 - 4 for q.
1
Suppose -2*o - 45 = 3*o. Let i(n) = n + 13. Let y be i(o). Suppose -120 = -w - y*w. Solve -c + 11 = -5*k, -4*c - 4*k = w + 4 for c.
-4
Suppose 0 = -5*m + 9*m. Suppose l = -5 + 25. Solve m*z = 2*b - 3*z + 15, 2*b + 4*z - l = 0 for b.
0
Let t be 8 + -1 + -1 + (0 - 3). Solve c - 9 = 5*k + 4*c, -3*k - c - t = 0 for k.
0
Suppose -12 = -6*v + 4*v. Suppose v*q = 2*q. Solve -l + 3 = d, -5*d - 3*l + 6*l + 31 = q for d.
5
Let u(d) = -d + 1. Let p be u(2). Let t = p + 4. Solve -2 = w - 4*z - 25, 2*z = -t*w - 1 for w.
3
Suppose 2*a + 6 = -2*h + 3*h, -6 = -2*h + a. Solve 2*f = h*q + 12, 4*q = 2*q - f + 3 for q.
-1
Suppose y - 1 = 0, -1 = 2*s - y - 4. Solve 2*q = 5*t - 23, s*t + 3*t - 35 = 5*q for t.
3
Let f be (-4)/(-1 + -1)*(-50)/(-20). Solve -3*g + 0*g = -2*b - 