j - 3*x + l for j.
5
Let w = -23 - -26. Solve v - 1 = c, w*c + 1 = 5*v - 2 for v.
0
Suppose -5*x + w + 0 + 5 = 0, 2 = 2*x + 3*w. Let t be x + (-4)/2 + 3. Let h(a) = -2*a. Let u be h(0). Solve 4*i + r - 6 = 0, u = 5*i - 5*r + t*r + 1 for i.
1
Let t(u) = u**2 + 6*u + 7. Let x be t(-5). Suppose 2 = -v, -2*v + 20 = x*a - 4*v. Suppose -a = o - 3*o. Solve 2*s = -o*d + 4, 5 = -4*s + d - 5 for s.
-2
Let q = 14 + 1. Suppose -6 = -2*k - k. Let l be k/(-6) + (-7)/(-3). Solve -5*o + 14 = 5*r - 16, 0 = l*r + 3*o - q for r.
3
Let k(j) = 10*j - 2. Let b be k(1). Suppose 0 = -2*q + b*q - 12. Solve 6*s = q*s + t + 12, -16 = -4*s + 2*t for s.
2
Let u = 0 - -3. Let r = 11 - 8. Solve 4*z - 5 = r*i, -2*i - u = -5 for z.
2
Let l(q) = q**3 - q**2 - 2*q + 1. Let f be l(1). Let g = f - -3. Suppose 0*a + 14 = 5*d + a, -3*d = g*a - 14. Solve -r - 3*t + 4 = -4*t, 0 = -r - d*t - 2 for r.
2
Let c = 23 + -12. Solve 2*d + 0 = 5*s - c, -2*d = -3*s + 5 for d.
2
Let y(r) = r + 10. Suppose 4*j - 3*o = -45 + 2, 0 = -2*j + o - 19. Let l be y(j). Suppose q = -2*q + l. Solve 2*s + 1 = 5*d, 0 = -d + s + 3 - q for d.
-1
Suppose -2*c + 7 + 3 = 2*a, 5*a = -2*c + 22. Let i be (0 + 0 + -1)*c. Let o be 87/15 + i/(-5). Solve 2*y + 3*l = 5*l - o, 5*l - 1 = -2*y for y.
-2
Let m(t) = -t**2 + 2*t - 1. Let k be m(1). Suppose k = -v - 3*v + 5*z + 16, 2*z = 2*v - 10. Solve 5*d + 9 = -3*r, -6*r + 9*r - 5*d + v = 0 for r.
-3
Suppose 5*y = 13 + 2. Solve -y = 5*m - 3*l + 5, 3*m - l + 8 = 0 for m.
-4
Let r = 15 - 12. Solve 2*z = -2*u, 0 = z - r*u + 2*u + 8 for z.
-4
Suppose 4*x - 3*x = 38. Let h be x/8 + (-1)/(-4). Suppose -2*o = -71 + 71. Solve -2*w = h*f + 6, o*f + 9 = -3*w - 4*f for w.
-3
Suppose 0 = 19*z - 17*z - 16. Solve -j = -2*t + z, t - 15 = -4*t for j.
-2
Let q be (5 - (-51)/(-9))*(-6)/2. Solve 0 = 4*v - q*i - 8, 0*v = v + 4*i + 7 for v.
1
Let x = -9 + 14. Suppose -y + x*m = -22, -1 = -3*y - 2*m - 3. Solve -2 = -w - 1, -7 = -y*a - 3*w for a.
2
Suppose 0 = v + 4*t + 13, -4 = -2*v - 2*t. Solve 5*m - 3*l + 2 = -0, 0 = 4*m + 3*l + v for m.
-1
Suppose 0 = 5*o - 5*g + 2*g - 12, 0 = -3*o - g + 10. Suppose 3*u - o*c - 18 = 0, 2*u + 7 = -u - 2*c. Solve 4*w - 3 = -2*x - 1, -x + u = 3*w for w.
0
Suppose 10*a - 13 - 17 = 0. Let j(n) be the first derivative of n**2/2 - 5*n + 2. Let i be j(6). Solve -3*d = 4*q - a + i, -2*q = d - 2 for q.
2
Let w(z) = 20*z**2 - z - 2. Let g be w(-1). Solve 0 = -5*p + s - 19, -5 + g = -4*p + 2*s for p.
-4
Let i be 2 + -3 + 6 + -1. Let o = 13 + -11. Suppose o*p = i*p. Solve 3*m - 2*l = -0*l - 5, p = -2*m - 2*l for m.
-1
Let s(u) = u + 10. Let j = 2 - 8. Let o be s(j). Solve o*g = 5*b + 9, 4*g + 1 = -3*b + 2 for b.
-1
Let x be (-6)/4*(-4)/2. Let y be ((-6)/10)/((-3)/15). Solve d - y*b + 1 - 2 = 0, x = -2*d + b for d.
-2
Let h(d) = 6*d - 6. Let t be h(3). Let v = 9 + -17. Let y = v + t. Solve y = -z, -c + z - 4 = c for c.
-4
Suppose 0 = -2*c - c + 6. Let h be c/(-7) + (-2)/(-7). Solve 0 = 2*u - u - 5, -2*i + 3*u - 21 = h for i.
-3
Let x = 21 + -18. Suppose x = -p - 2*p, 3*y = -p - 1. Solve y = 2*a + 3*o + 33 - 12, -4*a = -4*o - 8 for a.
-3
Let h(j) = j**2 + j + 3. Let k be h(-3). Let s = -4 + k. Solve -3*w + s*m + 40 = 0, -w - 4*m - 15 = -0*w for w.
5
Let x(k) = 2*k - 14. Let c be x(7). Solve -z + 9 = -c*z + 5*d, 2*d = z + 5 for z.
-1
Let z = 1 - 0. Let i(u) = -u**3 + 4*u**2 + 5*u + 2. Let a be i(5). Solve z = -2*q + r, 5*r + 21 = -a*q - q for q.
-2
Let b = -83 + 87. Solve -5*h = -2*i - 20, 4*i - b = -h - 22 for i.
-5
Suppose 3*b - 11 + 2 = -k, 0 = -2*b + 4. Suppose 4*s + 12 = 0, y + 2*s - 6 = 4*s. Solve -5 = -2*u + 5*a, -3*u + y*a = k*a - 18 for u.
5
Let w be (6 - 3) + (-2)/2. Solve 3*y + 5*x = -9 + 25, -y - 13 = -w*x for y.
-3
Suppose 0 = 5*t - f - 24 - 31, -4*f = -2*t + 22. Let s = t + -8. Let o = -24 - -41. Solve -s*k - 9 = 3*h, -2*k = 5*h + k + o for h.
-4
Let j(y) = 2*y - 2. Let l be j(2). Suppose -4*u + 54 - 2 = 0. Suppose u = 4*g - 7. Solve 0 = -4*i - g*k + 2, 4*i + 4*k = i + l for i.
-2
Suppose 2 = -3*i + 8. Let v = i - -8. Let t(u) = u - 1. Let n be t(7). Solve -4*j + j - n = -4*l, 5*j + 5*l = -v for j.
-2
Let o be 27/12 + (-2)/8. Let g be (-1)/1 + o + 8. Let n = 21 - g. Solve -4*f + n = -2*m, -f = 5*m - 2*f + 3 for m.
0
Suppose 3*l = -l + 356. Let u = 129 - l. Let s = u - 23. Solve 5*c + s - 4 = 4*o, o = -3 for c.
-5
Let k = 3 + -1. Solve -3*i + 11 = m - k*m, -3*i - 14 = 4*m for i.
2
Suppose 6*c + 20 = 10*c. Solve 12 = -4*x, 4*s + 9 = -c*x - 2 for s.
1
Let q be -1*(24/36 - (-2)/(-3)). Solve 4*o = 3*y + 24, q = -y - 3 - 1 for o.
3
Suppose 0 = 5*z - 61 + 36. Solve z*y + q = 0, 3*y = 2*q + 11 + 2 for y.
1
Let q = 26 - 12. Suppose 4*t - 2*t = 4*u + 16, 5*t - u - 13 = 0. Solve 3*l + 21 + q = -4*j, -t*j = l + 15 for l.
-5
Let u be (-1 + 98/(-6))*3. Let l be (-4)/(-10) - u/20. Solve l*j + 1 - 3 = 2*i, 0 = -5*j + 2*i + 6 for j.
2
Suppose -2*m - 22 = -0*m. Let d = m + 15. Solve 1 = -w, 0*a - 3*a + 1 = -d*w for a.
-1
Suppose -19*j + 17*j = 0. Solve 4*a = j, -4*a = -5*m - 3*a - 15 for m.
-3
Let x = -3 + 5. Solve -l + 4*b + x = 4*l, 0 = 2*l - 4*b + 4 for l.
2
Let b be (-2)/((-4)/(6 - 4)). Solve 0 = 5*y + d - 29, -y + 2*y = d + b for y.
5
Suppose b = 2*b - p - 8, 0 = 4*p + 20. Suppose b*y + 3*z = -6, -2*y + 3*z = 3*y - 22. Let o be 0/(2*(1 + 0)). Solve j + 6 = y*v - j, o = -j for v.
3
Let d = -4 - -10. Let p be 4/6 - 16/d. Let k = p - -5. Solve 7 + 0 = -2*y + k*o, -13 = -2*y - o for y.
4
Let c be (1 - 7)*4/8. Let l(z) = -z**2 - z + 3. Let b be l(-3). Let t be 2 + c/b*0. Solve -i - 4*v = -4*i - 26, -t*v = 5*i for i.
-2
Let w be (-74)/(-14) + (-4)/14. Suppose w*c + 34 = -21. Let a = c + 16. Solve -2*z + a*i = 25, -4*z - 29 = 3*i - 6*i for z.
-5
Suppose 4 = 4*x - 8. Suppose x*f = 30 + 51. Solve 0*j = j + d + 6, -2*d = 5*j + f for j.
-5
Suppose 0 = f + 5*r - 1, -2*r = 1 + 1. Let q = -32 + 46. Suppose 2*w - f = q. Solve p - w = 3*l, -3*l - 3*p = -2*l for l.
-3
Suppose -3*f - f - 180 = 0. Let j be f/(-36)*8/2. Solve -j*v = -2*w - 3 + 8, w - 10 = -5*v for w.
5
Let d = 2 + -8. Let w be 2/17 - d/(-51). Solve w = -z - 4*t - 7, -t + 2 = -2*z + 15 for z.
5
Let d(w) = w**2 + 2*w + 1. Let r be d(-2). Let k be (-22)/(-8) + r/4. Solve -2*l = -k*c - 0 - 11, 4*c - l + 8 = 0 for c.
-1
Let i(d) = d**2 - 7*d - 6. Let g be i(8). Let c(p) = p + 4. Suppose 6 = -4*q - 2. Let r be c(q). Solve g*h = 2*y + 3*y + 2, -r*y = 0 for h.
1
Suppose 159*d - 154*d = 25. Solve 0 = 3*h + 4*n - 16, 3*h - d*n - 3 = h for h.
4
Suppose 10*p - 5*p = 25. Suppose -j + 29 = -5*l + 9, j + p*l = -20. Solve 12 = 3*c - w, 2*c + 0*w - 5*w - 21 = j for c.
3
Suppose -8*o + 4*o = -5*g + 44, -3*g - 3*o + 21 = 0. Let w(v) = v**3 - 2*v**2 + v + 2. Let m be w(2). Solve -m*n + n + 15 = -3*p, -g = -2*n + p for n.
3
Suppose 4*x - 3*s - 27 = 0, -35 = -6*x + x + 4*s. Suppose -3*g - x*r + 15 + 0 = 0, 2*r = 0. Solve 0 = 5*l - 5*i + 15, 3*l = l + g*i - 3 for l.
-4
Let f = 18 - 10. Let v(k) = 20*k. Let r be v(1). Suppose -4*c - 5*i + 22 = -0*i, -5*c = -i - 13. Solve -20 = -5*y - c*m + f*m, 5*m = -y - r for y.
0
Let c = 67 + -40. Let f(j) = j**3 - 4*j**2 - 6. Let p be f(5). Let m = c - p. Solve 4*w - v = -m, 2*w - v = -4*v - 4 for w.
-2
Let h(g) = g - 1. Let c be h(3). Suppose -c = -d + 1. Suppose -4*s - d*v = 15, 3*s - 10 = -0*v + 2*v. Solve 0 = 4*f - 2*m - 6, 3*f + 3 + s = 3*m for f.
4
Suppose 15 = -3*w - 12. Let r = w + 11. Solve -r*g = 3*c - 1, 2*g - 8 = -2*g - 4*c for g.
5
Suppose -24 = -8*i + 2*i. Solve 0 = -2*a + i*a + 4*p + 16, -8 = 4*p for a.
-4
Let v(i) = -i - 5. Let w be v(-8). Let q(h) = -h + 1. Let c be q(2). Let m = c + w. Solve 10*z - 33 = 5*z - m*s, 4 = 4*z - 4*s for z.
5
Let p be 8/(-20) - 74/(-10). Let s(b) = -b**3 + 6*b**2 + 7*b + 2. Let i be s(p). Suppose -m + 6 = 2*m. Solve -10 = -m*u - 2*u - 2*a, -i = u - a for u.
1
Suppose -23 + 3 = -4*r. Suppose 5*p + 12 = -5*m - 3, -5*m - 3*p = r. Solve 3*k + 5*g + 1 = -0*g, -m*g = -2 for k.
-2
Let q = -81 + 84. Solve -q*s + 4*h = -9, h + 2 + 4 = 2*s for s.
3
Let j(h) = 2*h + 13. Let u(t) = -1. Let a(q) = -j(q) + 2*u(q). Let z be a(-10). Solve 5*o - 44 = -4*f - 3, 3*o = z*f - 5 for o.
5
Let w be 1/5 - (-171)/45. Solve -w*r - 6 = -3*r - c, 4*c - 9 = r for r.
-5
Let a(o) = -o**3 - 6*o**2 + 7*o - 2. Let p be a(-7). Let m = p - -5. Solve 3*y - 5*r - 23 = 0, 5*r + 5 = -m*y + 3*r for y.
1
L