z + 1. Solve u*k + l = -k for k.
-2
Let s = 15 + -12. Solve 0 = 2*k - s*k - 5 for k.
-5
Suppose 6*m - 3*m - 5*b + 4 = 0, 6 = m + 2*b. Suppose m*g + 3*g - 10 = 0. Solve 0 = g*v - 3*v for v.
0
Suppose -15 = 3*x - 8*x. Let p(w) = w**3 - 2*w**2 - w - 3. Let y be p(x). Suppose 4*q - 2*r = -2, q - r - 12 = -y*r. Solve q*m + 8 + 2 = 0 for m.
-5
Let k be 1 + 0 + -4 - -5. Let i(a) = -a**2 + a + 2. Let h be i(0). Suppose -c = -k - h. Solve c + 1 = -5*m for m.
-1
Suppose 0 = -5*a + 4*x + 40, 0 = -2*a - x - 0 + 29. Let s = -5 - -8. Suppose 0 = -s*r - 5*m - 16, -1 = 2*r + m - 2. Solve -a = w + r*w for w.
-3
Let o be 4/(-2) + 0 - 2. Let v be (15/(-10))/(3/(-6)). Let q be 2/(o + 2 + v). Solve n = -q - 1 for n.
-3
Let o be (-9)/(36/(-88)) - 2. Solve 0*j = -4*j + o for j.
5
Let h be -3*(-1)/9*18. Solve 0 = o - h*o - 10 for o.
-2
Suppose -4*g + 9 = 41. Let w be 2 + (-2 - (g + -1)). Let y = 283 + -283. Solve -3*d + w + 0 = y for d.
3
Let w = -6 - -6. Suppose -o + 4*b - 17 = -6*o, 3*o - b = 0. Let s be o + (-1)/1*1. Solve w*n - 5*n + 5 = s for n.
1
Let v(m) be the first derivative of -m**3/3 + 2*m + 2. Let q be v(0). Solve 0 = q*f - 1 + 3 for f.
-1
Suppose 2*s + 2*s = 24. Suppose -b = 2*b - s. Solve p + 12 = -b*p for p.
-4
Suppose 0 = -l + 5*b + 22, b - 1 = -4*l + 3. Suppose p - l = -0*p. Suppose 0 - 3 = -2*j + i, 0 = 3*j + 4*i + 1. Solve -p*v - j = -3 for v.
1
Let l(d) = -d - 6. Let i be l(-6). Suppose -h + i + 1 = 0. Let y(b) = b - 1. Let k be y(h). Solve w = -k*w for w.
0
Let m be (2/(-4))/((-1)/6). Suppose m*c + 31 = 4*a, 22 + 15 = 3*a - 5*c. Suppose a*d = 2*d + 4. Solve -v - d*v = 9 for v.
-3
Suppose -v + 4*b = -31, b = 4*v - 2*b - 72. Solve 3*q + v = -0*q for q.
-5
Let m(l) = l**2 - 6*l - 3. Let w(g) = g**3 - 7*g**2 + 2*g - 7. Let i be w(7). Let f be m(i). Solve f = c - 3*c for c.
-2
Let h(g) = -g**3 + 2*g**2 + 5*g - 3. Let q be h(3). Solve -q*u + 4 = -5 for u.
3
Let j(l) = 4*l - 2*l - 3 - 4 + 0. Let y be j(7). Let x(f) = -f + 7. Let s be x(y). Solve q + 2*q = s for q.
0
Let t = -2 + 2. Let u be 8/(-28) - (-4)/14. Solve t = -4*l - u*l + 8 for l.
2
Let p(o) = 3*o**2 - o - 1. Let q = -1 - -1. Suppose q = -3*c - 3. Let s be p(c). Solve 2 = m - s*m for m.
-1
Let x(p) = p**3 + 10*p**2 - p - 6. Let r be x(-10). Solve -8 = 2*f - r for f.
-2
Let k(b) = -b**3 - 2*b**2 + b + 4. Suppose -4 = -2*c - 4*d, -3*c - 3*d = 2*c + 4. Let j = -5 - c. Let r be k(j). Solve 5 = 5*y + r for y.
-1
Let f be (-1 + 7 + -6)/(1*-2). Solve -3*x + 3 - 6 = f for x.
-1
Suppose -2*v + 4 = -2. Let i = 5 - v. Let y = 8 - -2. Solve i*h - y = -3*h for h.
2
Suppose 4 = 5*b - 11. Solve 6 - 3 = b*r for r.
1
Let m = 9 - -3. Let l = 4 - -7. Suppose 3*h - l - 13 = 0. Solve -m - h = -5*z for z.
4
Let p = -6 + -15. Let j = 12 + p. Let x be (-4)/18 + (-11)/j. Solve x = a - 2 for a.
3
Let t be 5/((-2 - -2) + 1). Let b(f) = f**2 + 5*f - 6. Let h be b(-6). Suppose -2*j - a + 3*a = h, -j - a = 0. Solve 0*p - p + t = j for p.
5
Suppose 15 = -5*g + g + 5*o, -2*o = 4*g - 6. Solve g*x + 4*x + 12 = 0 for x.
-3
Let f(s) = s - 2. Let n be f(3). Let m = -5 + 10. Suppose -5*q - 28 = -4*o, o + m*q + n = 8. Solve -4*x - 9 = -o*x for x.
3
Let q(f) = 1. Let v(d) = -d - 4. Let g(y) = 4*q(y) + v(y). Let k be g(-2). Solve -k*o = -o - 5 for o.
5
Let g(n) = n**2 + 9*n + 10. Let a be g(-8). Solve a*r = 3*r - 5 for r.
5
Let x be (-6)/(5 + -2) - -2. Suppose 17 = 4*i - 5*j, -3*i - j + x = -27. Suppose -3*d = z, 3*z = -2*d - 2*d. Solve 2*a = i - z for a.
4
Let a(c) = -c**2 + 6*c - 8. Let p be a(3). Solve -2*t - p - 9 = 0 for t.
-5
Let q(a) = a**3 + 6*a**2 + 7*a + 5. Let i be q(-4). Let o(r) = -r**3 + 4*r**2 - 6*r + 9. Let c be o(3). Solve -2*h - i + 1 = c for h.
-4
Let v be (12/14)/((-10)/(-35)). Solve v*k + 6 + 6 = 0 for k.
-4
Let r be 1/3 + (-2)/(-3). Let t be (-1 + 4)/(r/(-2)). Let v = 8 + t. Solve k = -k - v for k.
-1
Suppose -v = c + 3, -4*v - 6 = -0*c - 2*c. Let y be ((-3)/(-1))/((-1)/c). Suppose 0 = -t + y*t. Solve t = -4*f + 7 - 27 for f.
-5
Suppose 2 = -2*u + 5*l, 2*l - 3*l - 20 = 3*u. Let f = -1 - u. Let h = f + -3. Solve -h*g + 3*g + 3 = 0 for g.
-3
Suppose y = -2*y + 6. Suppose 2*c = 4*g - y*g, 5*c - 1 = 4*g. Solve 0 = -p + g - 5 for p.
-4
Let n(l) = l**3 + 6*l**2 - 2*l. Let d = -2 + 7. Suppose -5*c + d*g - 40 = 0, -6 = -5*g + 2*g. Let h be n(c). Solve a = -2*a + h for a.
4
Let j(f) = 3*f**3 - 6*f**2 + 6 - 5*f**3 - f + 3*f**3 + 0*f**2. Let i be j(6). Let t be (-27)/12*32/(-6). Solve w + 3*w - t = i for w.
3
Let u = -26 - -29. Let c(t) = 5*t - 10. Let a be c(u). Solve -a*k + k = -12 for k.
3
Suppose -12 = -4*v - q - 0, 5*q - 14 = 3*v. Solve a + 1 = v*a for a.
1
Let p(z) = z**3 + z**2 - 3*z. Let o be p(-2). Solve -12 = -o*b - b for b.
4
Let r be 2/(15/5 - (-14)/(-6)). Solve -r = -j + 2*j for j.
-3
Suppose 6*w - 8*w + 7 = -j, -3*w - 3*j + 15 = 0. Solve 0 = -9*l + w*l - 25 for l.
-5
Suppose -15*y + 12*y + 9 = 0. Solve 0 = y*p + 2*p - 10 for p.
2
Suppose 5*y = 2*d + 10, -3*d - 3*y + 6 = -8*d. Solve -3*k - 2*k + 25 = d for k.
5
Let b be 30/18 - (1 - 3/9). Solve 5*u + 14 = -b for u.
-3
Suppose 4*n = d + 13, 5*d + 19 = -3*n - 0*d. Let p = 5 - n. Solve u = p + 2 for u.
5
Suppose -1 = 5*x - 4*x. Suppose 0 = c - 2*c. Let w = c - x. Solve z = -3 - w for z.
-4
Suppose -15 = -4*p - h + 36, 4*p = -4*h + 60. Solve -p = 2*i + i for i.
-4
Let d(r) = -r**3 + 8*r**2 - 1. Let w be d(8). Let b be (w*(-8)/(-1))/(-2). Let z be (0 + -2 - -1) + 7. Solve 0 = -6*g + b*g - z for g.
-3
Let l(i) = -i**2 + 3*i + 2. Let s be l(3). Let o(x) be the second derivative of -x**4/12 + 5*x**3/6 - 3*x**2/2 + 8*x. Let p be o(s). Solve 8 = -p*f + 5*f for f.
4
Let p be (1 - (6 + -6))*1*3. Solve 2*g + p*g + 20 = 0 for g.
-4
Let h(n) be the third derivative of -n**4/6 + n**2. Let s be h(-1). Solve -q = -s*q - 12 for q.
-4
Suppose -w = -6*w + 5. Solve l = -0*l + w for l.
1
Let g(m) = 7*m + 1. Let t be g(1). Suppose 3*v - 15 = -3*s, -t*s + v + 13 = -3*s. Solve s*f + f = -16 for f.
-4
Let x(z) = -z**3 + z**2 + 8. Let f be x(0). Suppose 3*v = -v + f. Solve 0 = v*h - 0*h + 10 for h.
-5
Let p(k) = -k**2 + k - 2 - 2*k - 4*k. Let i be p(-4). Let u = 5 - 3. Solve t - i = u*t for t.
-2
Let v = -77 + -3. Let b = v - -37. Let q = 63 + b. Solve -f = -6*f + q for f.
4
Let i(k) be the third derivative of -5*k**4/24 + k**3/3 + 4*k**2. Let b be i(-2). Solve -b = 2*x + 2*x for x.
-3
Let a(x) = -x**3 - 7*x**2 - 8*x - 2. Let h be a(-6). Solve 5*n - h = -0*n for n.
2
Let k(w) = 2*w - 2. Let v be k(3). Solve 3*m - 5 = v*m for m.
-5
Let v be 5 - (0 - (1 + 0)). Let h = -42 + 82. Suppose -4*j + h = -40. Solve 2*k - v*k = j for k.
-5
Suppose -4*v - 4*y = 0, -2*v - 4*y + 3 = 3*v. Suppose -3 = 3*n + 4*k + 13, -2*n = -v*k - 12. Solve 0 = -2*i - n*i for i.
0
Let p = -19 - -23. Solve y + p = -y for y.
-2
Let r = 62 - 42. Solve -r = -n + 5*n for n.
-5
Suppose 0*x + x = 0. Solve 0*t + 5*t = x for t.
0
Suppose 3*i = -4*w - 0*w + 61, -4*w + i = -65. Solve 3*r - 7*r = w for r.
-4
Suppose -4*c = -5*r + 13, -5*r + 9 = -16. Let k be 30/c - 2 - 0. Let j = -6 + k. Solve j*y - 12 = 6*y for y.
-3
Let u(m) = m**2 + 4*m + 6. Suppose -5*q + 4*s - 4 = 3, 2 = 2*q - 4*s. Let a be u(q). Solve 0 = -2*p - 3 - a for p.
-3
Suppose -4*x + 0*x = -u + 24, -5 = x. Suppose 16 = 4*z - u*s, -2*z = -4*s - 12 + 4. Solve z = w - 3*w for w.
-2
Suppose 4*s - 3 - 13 = 0. Solve 13 - s = -3*m for m.
-3
Let y = -13 + 13. Solve 6*q - q + 15 = y for q.
-3
Let g be (-4)/(-6) + (-30)/(-9). Solve 2*i + 14 - g = 0 for i.
-5
Suppose -5*i + r = -23, 17 + 7 = 3*i - 4*r. Solve -i*g = g - 20 for g.
4
Let d be (-2)/6 - (-10)/3. Suppose 5*o + 45 = 4*h, 4*o - o + 30 = d*h. Solve -2*k + h = -3 for k.
4
Let j = 50 - 34. Let s = j + -12. Solve -w - w = s for w.
-2
Let f(y) = -2*y**3 - 2*y**2 + y - 1. Suppose -8 = 2*o - 2*x, 2*o + 3*x - 2 + 0 = 0. Let g be f(o). Solve 2*w = g*w + 12 for w.
-4
Let g = 13 + -6. Suppose -u - r + g = -5, 0 = r. Solve -2*l = l + u for l.
-4
Let s = 46 + -42. Solve 3 = -3*j + s*j for j.
3
Suppose 16 = 2*n + 6*n. Solve -3 = -a - n for a.
1
Let r be 3/(-9) + (-26)/(-6). Let h(c) = -c**3 - c - 4. Let o be h(-3). Suppose 0 = 5*p + u - 3*u - 18, -5*p + 4*u = -o. Solve -p*i = 2 + r for i.
-3
Let d be (-2)/(-3) + 28/12. Suppose 0 = 2*g - 6*g + 3*u + 10, -d*g + 5*u = -2. Solve -g*m = -0*m - 4 for m.
1
Let m(b) = b**2 + 3*b - 4.