f + 6. Let k(n) = -n**2 - 7*n - 3. Let y be k(-5). Suppose -4*u + 32 = 2*t + 12, t - y = -u. Let x be s(t). Solve x = m + 3 for m.
-1
Let l(w) = w**3 - 4*w**2 - 5*w + 1. Let x be l(5). Solve -x = h - 0 for h.
-1
Let b(l) = -7*l**2 - 3*l - 2. Let n(f) = f**2. Let a(r) = -b(r) - 3*n(r). Let i be a(-2). Solve 3*p + 3 = -i for p.
-5
Suppose 7*h - 2*h - 8 = 2*u, 43 = -5*u + h. Let v = u + 12. Let b be 0/(-5 + v) + 1. Solve -2*k = -3*k - b for k.
-1
Let x = 2 + 2. Solve x*w - 9 = -21 for w.
-3
Let f(a) be the first derivative of -a**2/2 - 1. Let v be f(1). Let i = v + 4. Solve i*q + 2 = -1 for q.
-1
Let f(n) = 2*n**3 - 13*n**2 + 8*n - 9. Let h be f(6). Solve -2*d = -h*d + 2 for d.
2
Let k(g) = -g**3 - 3*g**2 + 5*g + 6. Let i be k(-4). Solve -2*u - 8 = i*u for u.
-2
Let c(r) = 2*r - 12. Let k be c(8). Let v be (4/5)/(3/(-15)). Let b(n) = n**3 + 5*n**2 + 3*n - 2. Let a be b(v). Solve a*j - k = 3*j for j.
-4
Suppose 5*c - 14 = 16. Solve -3*o + 3 = c for o.
-1
Let l = 2 + -2. Suppose l = v - 5*v + 8. Solve v*g + 7 = -1 for g.
-4
Suppose -5*t + 3 = -22. Solve t - 1 = i for i.
4
Let v(u) = u**2 + u. Let o be v(-2). Solve -1 - 9 = -o*s for s.
5
Suppose 4*q - 26 = -2. Suppose 2*s - 3*k = -q*k + 1, 3*s - 5 = -k. Let m be 3 - (0/1)/s. Solve t + m = 2*t for t.
3
Suppose -12 = -2*f - 3*d, -2*f = -3*d + 6 - 18. Solve -f*j + j + 10 = 0 for j.
2
Let c be (5/(-3))/(17/(-51)). Solve 5*n + c = -15 for n.
-4
Let j(w) be the first derivative of w**4/4 - 5*w**3/3 + 3*w**2/2 + 5*w + 3. Let t be j(4). Solve -m = t + 1 for m.
-2
Suppose 2*k - 2*m = 8, 5*k - 2*k - 4*m = 12. Solve g + k = -0 for g.
-4
Suppose -10 = 4*t - t - 5*d, 30 = 3*t + 3*d. Solve 5*s = t + 5 for s.
2
Suppose 8*r - 17*r + 72 = 0. Solve 3*i - r - 4 = 0 for i.
4
Let w be 0*(-2 - (-5)/3). Solve 6*p - 3*p = w for p.
0
Suppose -7*n - 5 = -2*n. Let r(x) = x**3 + 7*x**2 + x + 7. Let o be r(-7). Let z = o - n. Solve -z = y - 2 for y.
1
Suppose -m + 5 = h, -2*h = -3*h - 4*m + 8. Let y be 19/h - (-2)/8. Solve 15 = 2*s + y for s.
5
Let v = 7 - 7. Solve v = -0*i - i for i.
0
Let s = -18 - -23. Suppose 2*b + 15 = 5*c, -6 = -2*c - 4*b + s*b. Solve -c*k - 20 = 2*k for k.
-4
Let j(v) = -10*v + v + 9*v**2 + v**3 - v. Let f be j(-10). Solve f = 3*p + 9 for p.
-3
Let m = 9 + -6. Suppose -a - 16 = -3*a - 4*w, 3*w = m. Let j(c) = -c + 10. Let q be j(0). Solve -4*o - a = q for o.
-4
Let z(p) = -3*p - 6. Let d be z(-4). Solve -2*b + d = -4*b for b.
-3
Suppose 0 = -4*o - 0*o. Solve 15 = -3*h - o*h for h.
-5
Let r be 4*(1/1)/(-2). Let a = 1 - r. Let b = -4 - -8. Solve -b = -a*d + 2 for d.
2
Suppose 0 = j - 2*j + 6*j. Solve -2*o + j*o = 6 for o.
-3
Let a = -37 + 37. Solve a = c + 1 - 6 for c.
5
Let f be (-2)/4 + 46/(-4). Let n(k) = -k - 11. Let r be n(f). Solve 2*s - r = 1 for s.
1
Suppose v + 4*v = -4*s + 2, 0 = 3*s + v - 7. Solve -p + s*p = -6 for p.
-3
Let q(p) = p + 4. Let i be q(-3). Solve 7 - i = 3*b for b.
2
Let p = 7 + -5. Suppose 3*a = p*a + 5. Solve 2 - 7 = -a*g for g.
1
Let v(w) = -5*w - 1. Suppose -d - 3*h - 3 = -2*h, 0 = -d + 5*h + 9. Let b be v(d). Let n = -17 - -29. Solve -4 - n = -b*m for m.
4
Suppose -9*w = 10*w. Solve 3*h + w + 6 = 0 for h.
-2
Suppose -38 = -4*z - 7*s + 4*s, 3*z - 5*s - 43 = 0. Let h = -6 + z. Suppose -t + h*t = 0. Solve 0*r + r - 1 = t for r.
1
Let q(v) = -v**3 - v**2 - v - 9. Let g be q(0). Let f be (g/(-6))/((-3)/(-6)). Solve 0 = 3*h - 4*h - f for h.
-3
Let y(z) = 10*z**2 + 7*z - 8. Let m(f) = 3*f**2 + 2*f - 3. Let r = -8 + 10. Let s(t) = r*y(t) - 7*m(t). Let x be s(0). Solve -x*b + 10 = -0*b for b.
2
Let b(f) = f**3 + 4*f**2 + 2. Let c be b(-4). Suppose 0 = -2*i + 17 + 7. Suppose 0 = z + 5*v - 6 + 26, i = z - 3*v. Solve c*y + z = -2 for y.
-1
Let a be (5 - 0)*5/5. Solve -a*r - 4 = -r for r.
-1
Let m(c) = 3*c - 17. Let l be m(13). Let n = l + -17. Solve -8 - 2 = n*a for a.
-2
Let a(w) = w. Suppose 4*y + 9 = q, 2 = 2*q - 8. Let n = y - -3. Let u be a(n). Solve -u*m = -m for m.
0
Let j(r) be the second derivative of r**3/6 + 5*r**2 - 2*r. Let l be j(-7). Solve -4*c + l + 17 = 0 for c.
5
Let w = 0 + 1. Let h = w - -1. Suppose -5*n + 3*l = 0, 3*n - 8*n - l = 0. Solve -h*v + 3*v + 2 = n for v.
-2
Suppose -10*c + 9*c = -5. Solve 5*b + c = 25 for b.
4
Let b be 1*13 + (2 - 4). Let n = b + -8. Solve n = -o + 1 for o.
-2
Suppose 7*m + 2 = 8*m. Solve -m*r - 15 = r for r.
-5
Let y = 3 - -2. Suppose y*s = -k + 21, s = 5*s + k - 16. Solve 11 = s*a - 4 for a.
3
Let w = -6 + 10. Solve 0 = 4*f + w + 8 for f.
-3
Suppose -a - 40 = 4*a. Let k(n) = 11*n**2 + 15*n + 9. Let y(f) = -7*f**2 - 10*f - 6. Let j(l) = a*y(l) - 5*k(l). Let t be j(-5). Solve -t*w = 2*w + 10 for w.
-2
Let z(s) be the first derivative of -1/2*s**2 + 3 + 11*s. Let x be z(8). Solve -x*b + b = 6 for b.
-3
Let y be (-30)/18 + 1/(-3). Let w be 1 - (y/2 - 0). Solve 0*r + w*r + 4 = 0 for r.
-2
Let t be (-1)/(-1)*(-12 - -11). Let y = 6 + t. Solve -y = 2*f - 1 for f.
-2
Let u(w) = 3*w - 10. Let t be u(4). Suppose 4*o + 2*a = 12, 3*o - 3 = 2*o - 3*a. Solve -x = -t*x - o for x.
-3
Let j(h) = -h**3 + 8*h**2 - 6*h - 9. Suppose g = 3*y - 22, 5*y - 4*g = -0*g + 39. Let t be j(y). Let o = t - -2. Solve 0 = -o*l + l + 1 for l.
-1
Let j(m) = -m**2 + 8*m + 4. Let w be j(4). Suppose 0*n = 5*n - w. Let x be (4 + 0)*3/n. Solve -5*f + x*f = -6 for f.
3
Let l(v) = -6*v - 1. Let d be l(-1). Suppose -2*m = w - 13, -5*w = -5*m + 1 + 9. Solve m = d*g - 15 for g.
4
Suppose 10 = 4*l - 5*a, 2*l + 5*a = l + 15. Let p be 1/(-2)*(-30)/l. Solve -14 - 1 = p*m for m.
-5
Let k = 24 + -14. Solve -3*n + k = -5*n for n.
-5
Let w be 16/9 - 4/(-18). Suppose w*c - 3 = 1. Solve -g = -c - 0 for g.
2
Let v be -10 - -18 - (2 - -2). Solve 18 = v*g + 2 for g.
4
Let q be 4/10*5 - 2. Suppose -h - 6 = -2*r, q = -10*r + 5*r + 20. Let z(k) = 4*k**2. Let y be z(1). Solve -y*l - h = 2 for l.
-1
Suppose 4*l = 12 - 4. Solve -l*i - 1 - 7 = 0 for i.
-4
Suppose -2*h - 3*h = -5. Suppose -h = 3*n - 13. Suppose -3*z - 6 - n = -s, s + 2*z = 0. Solve -s*f + f = 0 for f.
0
Let b(z) = -5*z - 5. Let k be b(-5). Let g = 5 + -3. Suppose g*n + 2*n - 24 = 0. Solve w - n*w + k = 0 for w.
4
Let z(h) = h**2 + 2*h + 1. Let s be z(-1). Solve 3*o = -s*o - 12 for o.
-4
Let j = 0 - -3. Let s be -3*((-2)/j + 0). Solve 4*g + 4 = s*g for g.
-2
Let o(c) = c + 1. Let k be o(3). Let x(z) = 3 - k*z - 1 + 3*z. Let d be x(0). Solve d + 4 = -3*y for y.
-2
Suppose -5*v + 13 = 3. Let f = 123 - 119. Solve f*k = v*k for k.
0
Let g = -12 + 11. Let l = g + 5. Solve 1 = -n - l for n.
-5
Let o(j) = -j**3 + j**2 - j + 1. Let m be o(1). Let i be (-1 + m)/((-2)/4). Solve 0 = i*l - 0*l + 6 for l.
-3
Let j(a) = a**2 - 5*a + 2. Let c be j(5). Let w(t) = t**2 - 12*t + 2*t - 2*t**c. Let f be w(-10). Solve f = -4*m - 3 - 13 for m.
-4
Suppose -2*k = -4*r - 12, 5*r = -5 - 0. Solve k*n - 8*n = 0 for n.
0
Let a(u) = -u + 39. Let h be a(14). Let y be 1/((-1)/(-4)) - 2. Solve 3*c + y*c - h = 0 for c.
5
Suppose a = -8*a - 6*a. Solve -5*r + 5 = -a*r for r.
1
Suppose -2*h - 27 = 5*r, 4*r + h - 5*h + 16 = 0. Let t(l) = -2*l - 7. Let m be t(r). Solve -i = m*i + 20 for i.
-5
Let p(b) = b**2 + 8*b - 7. Suppose 3*x + 2*z + 22 = 0, -28 = 3*x + 2*z - 6*z. Let w be 68/x + 1/(-2). Let a be p(w). Solve 6*s - a = 5*s for s.
2
Let v be 2 + -5 - 1*-7. Suppose v*f - 20 = -f. Solve -6 = 5*d + f for d.
-2
Let g(n) = n + 2. Let z be g(0). Solve z*o + 0*o - 10 = 0 for o.
5
Suppose 3*c = -4*x + 4, -5*x - 5*c = -2*c - 5. Let k be (11/1)/(2 - x). Let b = -8 + k. Solve 0 = b*i - 3 - 6 for i.
3
Let r(n) = n**3 - 5*n**2 - 10. Let o be r(6). Suppose -8 = -2*z - 2*p, 2*p = 4*z - 30 + 2. Solve 0 = 4*v - o + z for v.
5
Let c be 0*(-1 - (-12)/8). Solve -9 + c = 3*d for d.
-3
Let d = -30 - -18. Let q = 12 + d. Solve -2*s + s - 2 = q for s.
-2
Suppose -3*b = -3*p - 12, -1 - 3 = b - 3*p. Suppose -5*i + b = -i. Solve -i*r + 5 = -3 for r.
4
Let m(y) = -y**3 + 6*y**2 - y + 4. Let j be m(6). Let x(t) = 5*t**2 + 4*t + 2. Let a be x(j). Solve -6 - a = 5*u for u.
-4
Suppose 0 = 5*j + 5 + 15. Let i be (-18)/j - 1/2. Suppose -y + 3 = -i. Solve -l - y = -3 for l.
-4
Let v be 3/(-6) + 78/(-4). Let g = 33 + v. Let z = g + -7. Solve -3*a - z = -6*a for a.
2
Suppose 2*w = 16 + 2. Let a be 2 - (-1 + 3 + -2). Solve o - w = -a*o for o.
3
Suppose 3*w = 0, -2*k + 4*w = -3 - 21. Suppose 4*l + 4*u - k = 0