2 + 5*l - 1. Let t be -6 - (-1 - -1)*-1. Let u be d(t). Solve -u*m + z = -1 for m.
1
Let y(j) = j**3 + 8*j**2 + 5*j - 10. Let h be y(-7). Let b be ((-2)/4)/((-1)/h). Let f(c) = c**2 - c - 2. Let n be f(3). Solve 0 = b*m - n*m - 2 for m.
-1
Let w(n) = 2*n - 14. Let b be w(7). Solve b*m = 4*m for m.
0
Let a(k) = -k**3 + k**2 - k - 1. Let m be a(-1). Suppose 0*b - 4*b = 5*v + 61, 5*v = -m*b - 43. Let f = b - -13. Solve -5*w - f = -19 for w.
3
Suppose -5*b + 5 = -4*l - 0, -4*b = -4*l. Solve 8 - 3 = l*w for w.
1
Suppose 8 = -5*k - 4*g, 0*k = 3*k - 3*g - 6. Let o be k/(2*(-2)/2). Let d be 5 - (o + -2)/(-2). Solve 0*x - 2*x + d = 0 for x.
2
Suppose -l + 6 = l. Let g(h) = h. Suppose -5*c + 20 = -0*c. Let x be g(c). Solve x*s - l*s - 1 = 0 for s.
1
Suppose -t + 3 + 6 = 0. Let z = 13 - t. Solve 3*l = -2 - z for l.
-2
Let d = -2 + 6. Let x = 13 - 8. Suppose -3*v + 5*k = -18 - 12, -15 = x*k. Solve -d*t + v - 13 = 0 for t.
-2
Suppose -36 = -16*i + 7*i. Solve -9 = -i*q + q for q.
3
Let p(w) = -w**3 + 7*w**2 - 5*w - 6. Let y be p(6). Solve -u + 0*u = y for u.
0
Let h be 1 - 0 - (-2)/1. Let v(t) = 3*t**h - t - 4*t**2 + 5*t**2 - 4*t**3. Let m be v(0). Solve i + i - 2 = m for i.
1
Let y(v) = v**3 + 2*v**2 - 3*v. Let r be y(-3). Let i = 6 - 9. Let m be (-2)/((-6)/i)*r. Solve 12 = 3*z - m for z.
4
Suppose 3*c = -m + 6*c + 5, -c = 0. Let k = 5 - m. Solve k = -2*x - 0*x - 8 for x.
-4
Let j(t) = t**2 + 4*t - 5. Let h be j(-5). Let d be (4 - 3) + (-1 - -4). Suppose -3*b + 6 = d*g - b, h = 5*g + b - 3. Solve -3*f + 0*f = g for f.
0
Suppose -i - 5 = 0, 0*i - 11 = -n + 2*i. Let a be 2/4*(3 - 1). Let f(w) = 8*w**3 - 2*w**2 + 2*w - 1. Let z be f(a). Solve -3*u + n - z = 0 for u.
-2
Let m(l) = 2*l - 6. Let i be m(4). Suppose 24 = -3*v + 3*s, i*v = 3*v + s + 8. Let q be (-2)/v - (-28)/16. Solve 0 = -q*n - 2*n + 16 for n.
4
Suppose 13*b - 175 = 6*b. Solve -3*s + b = 10 for s.
5
Let s(j) = j**2 - 10*j + 15. Let n be s(9). Solve 31 - n = -5*i for i.
-5
Suppose -5*n + 9 = -6. Suppose -o + 7 = n. Solve 4 - 16 = o*d for d.
-3
Let b be 2/(-11) - (-136)/22. Let g(l) = l**2 - 4*l - 8. Let y be g(b). Suppose 3*s = 2*w + 16, -2*s + 0*w = y*w. Solve -c - c = -s for c.
2
Let a(m) = -m**3 - 9*m**2 - 9*m - 4. Let s be a(-8). Solve -s = -2*h + h for h.
4
Suppose -5*b = -0*b - 35. Let y be (-1)/(-4) + b/(-28). Let g(s) = s**3 - 3*s**2 - 5*s + 6. Let w be g(4). Solve -4 = -w*x - y for x.
2
Let s be ((-3)/(-2))/((-36)/(-240)). Solve s*y - 18 = 4*y for y.
3
Suppose j - 3*j = 0. Suppose 2*x + x - 48 = -4*b, j = 2*x - 3*b - 32. Solve 5*l - l + x = 0 for l.
-4
Let n = 10 - 15. Suppose -3*l - 3*s = -12, -3*l = -2*l - s - 14. Let z = l + n. Solve q + z = -3*q for q.
-1
Let f = 32 + -28. Solve 0 = -0*j + f*j for j.
0
Suppose -10 = -2*k - 2. Let h = k + -4. Let l = 0 + h. Solve -2*f - 1 - 5 = l for f.
-3
Let r be 1 + 6 + -4 + -1. Solve -s + 12 = r*s for s.
4
Let x be 1 - -3 - 30/5. Suppose s + 2*s = 0. Let l = s - x. Solve -l*f = -1 - 1 for f.
1
Let m(t) = -t**2 - 4*t + 4. Let b be m(-4). Solve -3*g + b = g for g.
1
Suppose -3*s + 3*h + 39 = 6*h, h = 2. Solve 4*q = s + 1 for q.
3
Let g = -41 - -15. Let j be 4/g - (-12)/78. Solve 7*k - 3*k = j for k.
0
Let v = 43 - 23. Solve 7*p = 2*p + v for p.
4
Let j(w) = w**3 + 2*w**2 - 6*w + 10. Let l be j(-4). Solve 0 = l*k - 2 - 2 for k.
2
Let k = 67 - 63. Suppose 3*i - 4 = 2. Solve i*o = -k - 6 for o.
-5
Let p = -20 + 30. Let f be 2*(14/4 + -2). Suppose 4*u - 8 = -0*u. Solve u*l - p = -f*l for l.
2
Let g(p) = p + 1. Let j be g(3). Suppose -j*u = -u. Solve u = s + 4*s for s.
0
Suppose 0 = 4*u - 3 - 13. Suppose -4 = -u*s + 12. Solve 8*n = 4*n + s for n.
1
Let n be 294/(-35) + (-3)/5. Let l = 5 + n. Let z = -4 - l. Solve z*y = -3*y for y.
0
Suppose 2*o + 24 = 4*o. Solve -o - 4 = -4*a for a.
4
Let a(j) = -2*j**3. Let v be a(-1). Let t be ((-4)/(-3))/(v/3). Solve -t*p = -3*p + 3 for p.
3
Let h(z) = -z**3 + 6*z**2 + 9*z + 10. Let n be h(7). Suppose -q = -2*q - n. Let m be 16/6*(-90)/q. Solve c + m = -4*c for c.
-2
Let l be (1 - 2)/((-1)/5). Suppose 0 = -5*b + 5, 5*r - 11 = 3*r - l*b. Solve 3*f + r - 18 = 0 for f.
5
Let b = 29 - 17. Let h = b + -8. Solve z = -h + 2 for z.
-2
Let k be 3/6 - (-1)/2. Let d(j) = 2*j + 1. Let m be d(k). Suppose 0 = -m*f - 7 + 25. Solve -3*w - f = -w for w.
-3
Let o = 2 - 1. Let v = o - 6. Let c(z) = -z**2 - 7*z - 7. Let n be c(v). Solve n*p = -p for p.
0
Let x = 4 + -2. Solve 0*u = -x*u for u.
0
Let c be (7 + -2)*12/20. Solve 0 = -2*t + c*t - 5 for t.
5
Let h = -18 + 23. Solve -u + h*u = 0 for u.
0
Let w be 2/(-4) - (-3)/6. Let f be 1 + 40 + -3 + w. Suppose 22 = 5*a - f. Solve 0*g + 4*g - a = 0 for g.
3
Suppose -5*t = -7*t. Solve -c - 3 = -t for c.
-3
Let n(z) = -z**3 + 11*z**2 - 9*z - 7. Let f be n(10). Solve q = f*q + 8 for q.
-4
Suppose 2*j = -10*j + 24. Solve j*p - 8 = 6*p for p.
-2
Let s be (-140)/(-25) + 2/5. Suppose -2*i + 12 + s = 5*l, -5*l = -10. Solve 4*p - i = 4 for p.
2
Let p = 5 + -1. Let f(a) = 4*a - 6. Let q be f(2). Solve 6 = p*u - q for u.
2
Let p(x) = 3*x + x + x - 1 - 2*x. Let q be p(3). Solve -3*d - d - q = 0 for d.
-2
Let j(y) = -y**2 - 14*y - 18. Let n be j(-12). Suppose -o = g - 7, 2*o - n - 9 = -g. Solve -o*q = -3*q for q.
0
Let o(t) = -5*t - 2. Let z be o(-1). Let k(x) = 3*x + 1. Let p be k(1). Let j = z + p. Solve -j*s + 10 = -2*s for s.
2
Let u = -6 + 6. Let o = 7 + -5. Suppose n + n - 32 = 0. Solve u = -o*j - 2*j - n for j.
-4
Suppose 7*n - 2*i - 60 = 3*n, 2*n - 2*i - 26 = 0. Suppose 5*q + 25 = b, -q - n = -b + 2*q. Let h(c) = c - 2. Let d be h(3). Solve 0 = b*m - 9 - d for m.
2
Let c = 35 + -29. Solve -4*u + 18 - c = 0 for u.
3
Let a = -11 - -23. Suppose -3*g = -g - a. Suppose 3*y = g*y - 9. Solve 0*z = y*z + 6 for z.
-2
Let f be -3*(32/(-6))/4. Let o(l) = l**2 - l - 5. Let r be o(f). Suppose 37 = z - 4*m, -3*z - 2*z = -4*m - 105. Solve -5*a = -z + r for a.
2
Let q = 43 + -41. Solve 0 = -q*k - 3 - 3 for k.
-3
Let y(z) = 2*z + 6. Let f be y(6). Let u be (-2)/(-3)*(3 - -3). Suppose 0 = -0*b - b - 3, -u*b + f = 5*j. Solve -4*d + j = -6 for d.
3
Suppose 2*t - 6 = 2*b + 2*b, -t = -5*b - 6. Let m = t - -9. Let d(l) = -4*l - 6. Let p be d(-3). Solve m = -4*c - p for c.
-4
Suppose -5*m + 8*m = 9. Solve -2*h + 4 = -m*h for h.
-4
Let i = 18 + -13. Solve -i*d = -10*d + 25 for d.
5
Let q = -99 - -112. Solve q = 4*h - 7 for h.
5
Let z = 6 - 4. Suppose 8 = 3*a - 1. Let v be 2 - (-2 + a - -1). Solve z*q + v*q = 8 for q.
4
Suppose x - w = -1, 4*x + 3*w = 9*x - 1. Suppose -7 = 3*z - 6*z - c, -2*z - 2*c + 6 = 0. Suppose -2*i + x = -z. Solve 4 = i*m - 3*m for m.
-4
Suppose -3*d + 8 = -3*y - 19, 5 = -5*d - 5*y. Let o(m) = m**2 + m - 6. Let x be o(-5). Let c = x - 13. Solve -3 = d*h + c for h.
-1
Suppose 0 = -4*c - 4*u - 16, 12 = -3*c + c - 3*u. Let d = 24 - 14. Suppose r + r = d. Solve c*v + r = -v for v.
-5
Let p = -8 - -8. Solve p = -4*h + 3 + 5 for h.
2
Let i(v) be the second derivative of -v**3/6 + 7*v**2/2 + 6*v. Let z be i(5). Solve 0 = -3*u + z*u + 3 for u.
3
Let b = -18 + 12. Let m(x) be the first derivative of -3*x**2/2 + 2*x - 5. Let k be m(b). Solve 4*v + k = 4 for v.
-4
Suppose -7*a - 2 + 23 = 0. Solve -a*p - 3 = -15 for p.
4
Suppose 2*p = -2*p + 12. Suppose 2*f = -p*f + 10. Suppose 5*c + 5 = 0, 0*c - f*c + 9 = x. Solve -3 + x = 2*o for o.
4
Let o(t) = t**2 - 2*t - 4. Let c be o(4). Solve 5*g - 4*g - c = 0 for g.
4
Let m = 84 + -81. Solve -3 = m*w - 4*w for w.
3
Suppose -2*g + 3*g = -3*f + 3, 4*g - 12 = 5*f. Solve 0 = -g*j - 12 for j.
-4
Suppose -5 + 1 = h. Let f be 1 + h + 8 + -1. Solve -f*k + 16 = -0 for k.
4
Let w = 15 + -13. Solve 0 = -w*k - 4 + 2 for k.
-1
Suppose -5*h + 3*i + 0*i - 41 = 0, -h = -2*i + 11. Let q be h/(-3) - (-2)/(-6). Suppose q*b - b - 5 = 0. Solve -10 = b*w - 5 for w.
-1
Let g(x) = -2*x - 2. Let q be 3/6 - 35/10. Let h be g(q). Solve -14 = 2*o - h for o.
-5
Let z = -13 - -25. Suppose 4*v - v - z = 0. Let w(c) = -c + 1. Let p be w(-3). Solve v + p = 2*t for t.
4
Let r be (-9)/(-27) + (-8)/(-3). Solve -2*a + 5 = r*a for a.
1
Let m be (-1 + -5)*(2/4 + -1). Solve -m*x + 16 - 1 = 0 for x.
5
Let p(d) = -d - 10. Let s be p(-12). Let h = 3 + 0. Suppose -g + 4 = h*i, s*g + 5*i - 7 = -0*i. Solve -4*o - g = 11 for o.
-3
Suppose 2*l + b + 28 = 2*b, 0 = 2*l + 4*b + 38. Let c = 15 + l. Solve c = y + 3*y 