-5*u + 7. Solve 5*f + 4 = -u for f.
-1
Let m(k) = -k**2 - 7*k - 3. Let y be m(-5). Suppose 1 = w - y. Let u = -5 + w. Solve -u*l - 20 = -8 for l.
-4
Let l(f) = -4*f - 32. Let v be l(-9). Solve -h + 3*h = v for h.
2
Suppose 55 = 4*z - 3*t, -9 = 3*t + 6. Suppose 3*v + 19 = f, -v + 4*f = 3*f + 9. Let j = v + z. Solve -12 = d - j*d for d.
3
Let c = 10 - 10. Suppose m - 3*h + 2 = -5, 2*m - 10 = -2*h. Solve m = -c*u - u for u.
-2
Let x be (11 + -7)/((-1)/(-1)). Solve -5 = x*s - 13 for s.
2
Let f(u) = u**3 - 4*u**2 + u - 3. Let i be f(4). Solve -i = 2*s - 5 for s.
2
Let h(l) = -l**3 + 8*l**2 - 7*l + 7. Let j be h(7). Let g = -2 + j. Suppose -g*k = 4*a - 23, -7 = 5*a + k - 20. Solve 0*f - 2 = -a*f for f.
1
Let d(q) be the third derivative of q**4/8 - 7*q**3/2 - q**2. Let i(c) = -2*c + 14. Let p(t) = 5*d(t) + 8*i(t). Let f be p(3). Solve 0 = g - f*g + 9 for g.
3
Let q(z) = -7*z**2 + z + 6. Let f(h) = -3*h**2 + 3. Let k(x) = 9*f(x) - 4*q(x). Let r be k(6). Solve 3*s + 0 = r for s.
5
Let g = 25 - 17. Let q be (-4)/g*6/(-1). Suppose 4*z - q*s = 6 - 0, 5*z = 5*s + 10. Solve -3*c + 9 + 6 = z for c.
5
Let d(z) = -z**2 - 10*z - 9. Let j be d(-9). Let k be -4*(3/(-6) + j). Solve 0 = -x - x - k for x.
-1
Let v be 54/(-8) + 2/(-8). Let k = v + 9. Solve -4*g = -6*g + k for g.
1
Suppose -7 = h + 5*g, -3*h + 2*g = -2*g - 36. Let m be (-10)/35 - 74/(-14). Solve h = m*p + 28 for p.
-4
Let w = -8 + 15. Let q be (-1)/((-2)/(-4)) + 12. Solve -w*k = -2*k - q for k.
2
Let w(v) = v**2 - 8*v + 9. Suppose -4*a + 14 = 2*g + a, 0 = 5*g - 3*a - 35. Let k be w(g). Solve -k = 4*s + 2 for s.
-1
Let x(v) = v**2 + 2*v + 1. Let y be x(2). Let b = 12 - y. Suppose -b*o + h + 18 = 0, -2*h = 3*o - 7*h - 30. Solve 0 = 2*k - o - 1 for k.
3
Suppose 3*l = -2*n + 2, 5*l = -2*n - n + 4. Suppose l*h = -4*z + 6, -5*z = 3*h - 3*z - 9. Solve h + 9 = -4*a for a.
-3
Suppose -2 = m - 5. Let i be (-8)/12 - (-11)/m. Solve -i*y = y for y.
0
Let p = 18 - 16. Let y be (18 - 6) + p + 1. Solve -3*i = y - 0 for i.
-5
Let j(x) = -x + 9. Let r be (-10)/15*21/(-2). Suppose -n + 0*n + r = 0. Let l be j(n). Solve 4*a + l = -2 for a.
-1
Let n = 11 - 8. Solve 2*p = n*p - 3 for p.
3
Let q(j) = -j + 7. Let k be q(0). Let x(n) = -n**2 + 3. Let i be x(0). Let y be -1 + 0 - (-1)/1. Solve i*s - k*s + 16 = y for s.
4
Let s(t) = t**2 - 6*t + 3. Suppose -f = 3*m - 3, 6 = -4*m + 2. Let a be s(f). Suppose 2*b - 25 = 11. Solve -b = -a*d - 6 for d.
4
Let c(d) = d**3 + 3*d**2 - 2*d - 4. Let f be c(-2). Solve f = -p + 8 for p.
4
Let o(b) = -b**2 - 2*b + 2. Let j be o(0). Let n be 1*(1 - (-1 + 2)). Solve n + 2 = -j*u for u.
-1
Let c be 9/4 + 11/(-44). Let i(l) = -l**3 + 3*l**2 - 2*l + 3. Let d be i(c). Solve 10 = -d*z + 4 for z.
-2
Let f(l) = 4*l**3 - 41*l**2 + 11*l - 10. Let h be f(10). Solve 0 = -w - h - 3 for w.
-3
Suppose -3*i - 2 = -8. Solve 0 = i*t - 4*t + 10 for t.
5
Let m be (-6)/(-4) + 2/(-4). Let c be 17 - (m + (-1 - -1)). Solve r = -3*r + c for r.
4
Let d = 75 + -50. Let u = d - 24. Solve 3*f + 16 = u for f.
-5
Let c be (-4)/(-18) + 48/27. Let p be -2*(-2 - c/(-4)). Suppose -p*q + 4*q = 2. Solve -10 + 2 = -q*n for n.
4
Let a be (0 - -4 - -3) + -3. Solve -2*r = -a*r for r.
0
Suppose -7 + 25 = 6*u. Solve u*m + 0 = 12 for m.
4
Suppose 0 = 2*b - 0 - 4. Let c be (-198)/(-8) - 5/(-20). Suppose -12 = -4*z - 0. Solve z*t - c = -b*t for t.
5
Let a be ((-8)/6 + 2)*3. Suppose -6 = a*m + m. Let o be 15/6 + (-1)/m. Solve -9 = 3*n - o for n.
-2
Let w(s) = 1. Let h(m) = m**2 + 11*m + 14. Let v(g) = h(g) - 5*w(g). Let n be v(-8). Let b be 2/((-17)/n + -1). Solve 0 = 2*r + r + b for r.
-5
Suppose -4*v + 0*v = -5*v. Solve -4*n + 8*n - 20 = v for n.
5
Let s = -5 + 8. Suppose -3*c + 2 = 2*j, -5*c - j = -0*c - 15. Suppose -b = -c*b + 27. Solve -s*q + 0 = b for q.
-3
Let t = -33 + 49. Suppose -1 = 2*z - 11. Let s = 5 - z. Solve s*x + 4*x = -t for x.
-4
Let y(t) = 18*t + 3. Let l(b) = -1. Let m(s) = 4*l(s) + y(s). Let f be m(1). Solve 5*p - 2 = -f for p.
-3
Let h(t) = -2*t**3 - 5*t**2 - 6*t - 3. Let n be h(-3). Solve n = 5*q + 4 for q.
4
Suppose 0 = 4*n - p - 8, -3*p + 5 = -n - 4. Let x(d) = d**3 - 4*d**2 + 3*d + 3. Let w be x(n). Solve -w = l - 0 for l.
-3
Let b(h) = -h**3 - 3*h**2 - 2*h + 2. Let w be b(-2). Solve -3*v = -v - w for v.
1
Let f = 27 - 24. Suppose 4*q = -p + 3*p - 2, 5*p - 12 = f*q. Solve -p*w = -1 - 2 for w.
1
Let y be (-4)/12 + (-98)/(-6). Let u = y + -14. Solve 16 = -u*w + 6 for w.
-5
Let m be 0*(3 - 5/2). Solve m = 6*l - l + 25 for l.
-5
Let y be (2*2)/(6 - 4). Suppose 4*q + a = -3, y*a + 2*a + 12 = -3*q. Let f be q/(1*(4 + -3)). Solve f = -0*t + 5*t for t.
0
Let k be 2*(14/4 - 3). Solve -1 - k = 2*r for r.
-1
Let b be 3 - (9/(-36) + (-5)/(-4)). Solve -b*i + 0 = -4 for i.
2
Let m(s) = 4*s - 5. Let j be m(2). Suppose -j*v - f + 14 = 0, 2*f = -f + 6. Let q be 10/6 - (-2)/6. Solve 2*n - v = q for n.
3
Let a(h) = h**2 + 8*h + 10. Suppose 0 = 3*r + 2*r + 35. Let k be a(r). Let y = 7 - 3. Solve y*s - s = k for s.
1
Suppose -2*i + 10 - 2 = 0. Let f be (-1026)/(-266) + 2/14. Solve 3*b + i = f*b for b.
4
Let s be ((-3)/6)/((-1)/(-2)). Let o be 0 + (-9)/(s - 0). Suppose -4*z + 2*v - v + o = 0, 9 = 3*v. Solve 2*i - z = i for i.
3
Let l be (-4)/(-2) + 0 + -2 + 2. Let y be (-2 - 0)/2 - -12. Solve 3*d + y - l = 0 for d.
-3
Let i(b) be the first derivative of 5*b**2/2 + 2*b + 3. Let w be i(4). Solve 0 = 4*n + 6 - w for n.
4
Suppose -4*k = 7 - 23. Let v(l) = l. Let i be v(k). Solve 0 = i*y + y for y.
0
Let t be ((-2)/1)/4*0. Suppose -3*r + 66 = -0*r. Solve -5*v + 2 - r = t for v.
-4
Let p be ((-4)/(-5))/2*15. Let t = -1 + p. Suppose 24 = 2*q + 5*m - 3*m, 0 = -2*q - 5*m + 30. Solve -q + 0 = t*z for z.
-2
Suppose -3 = 2*i - 7. Let z = 2 + i. Solve z*w = 3*w for w.
0
Suppose 0 = -4*n + 8. Suppose -3*f - 4*h + n + 19 = 0, -4*f + 2*h + 6 = 0. Let j(q) = -q**2 - 8*q - 8. Let c be j(-6). Solve f*u - c = -19 for u.
-5
Let r = 52 - 50. Solve -2*m - 16 = r*m for m.
-4
Suppose 0 = f + 3*c - 18, 3*f + 2*c - 4*c = -1. Solve 9 = f*j - 0*j for j.
3
Suppose -3*i - d + 6 = 0, -3*i + 0*d = -4*d - 21. Solve 0*z + i = z for z.
3
Let l = -32 + 56. Let w = l + -17. Solve 0 = 2*y - w*y - 5 for y.
-1
Let r(i) = i**3 + 7*i**2 + 6*i + 5. Let t be r(-6). Solve 0*x + x + t = 0 for x.
-5
Let r be 1 - ((-1)/1 + 0). Suppose -f - 4*j + 23 = 0, 4*f - 2*j = r - 0. Solve f*m - 8 = m for m.
4
Let t = -26 - -36. Suppose 4*z - 3*x - 17 = -6, 4*z + 3*x - 5 = 0. Solve z*g - t = -0*g for g.
5
Let c(x) = -4*x**2 + 11*x. Let g(t) = 3*t**2 - 10*t. Let h(b) = -4*c(b) - 5*g(b). Let d be h(-7). Let o be -1*1*(-2 + -2). Solve -3 = -o*w - d for w.
-1
Suppose 9*q - 10*q + 6 = 0. Solve 2 = 2*u + q for u.
-2
Let t = 4 - 3. Let b be (-8)/(-3) + 1/3. Let w = b - t. Solve -x = x - w for x.
1
Let p be (2 - 1)*-1*-1. Let v = p + 4. Solve -v = -2*y - 3*y for y.
1
Let o = 26 + 10. Let h be (-28)/o + (-2)/9. Let z be -1 + (h - -7) + -1. Solve b - 2*b = z for b.
-4
Let o = -13 - -25. Let g = o + -12. Solve g = -6*i + 2*i for i.
0
Let d(z) be the third derivative of z**4/8 - 11*z**3/6 + 3*z**2. Let k be d(9). Solve 6*b - k = 2*b for b.
4
Let f = 10 + -24. Let l = f - -6. Let d = l - -13. Solve d*b - 3 = 2 for b.
1
Suppose -3 - 12 = -5*o. Let y be o/(-4)*16/(-6). Solve 4 = y*d - 2 for d.
3
Suppose -3*y + 0*j - 30 = -j, 0 = -3*y - 5*j - 12. Let f = y - -11. Solve -v = f*v for v.
0
Let r = -3 + 10. Let i(m) = -m + 3. Let d(g) = -2*g + 4. Let j(o) = -2*d(o) + 3*i(o). Let k be j(r). Solve k = 3*f + f for f.
2
Let o(w) = w**2 + 5 - 1 + 7 - 2 - 7*w. Let d be o(6). Solve -4*g + d + 5 = 0 for g.
2
Let k(o) = o**2 + o + 2. Let w be k(-2). Let g = -2 + w. Solve -g*a = -7*a for a.
0
Suppose 7*q - 4*q = 0. Suppose q*o = o - 3. Solve 2 - 17 = o*v for v.
-5
Let z be (0/((-8)/4))/2. Suppose -v = -z*v. Solve -j - 3 = -v for j.
-3
Suppose c = -4*c - 80. Let m = c + 16. Solve -t = -m*t + 5 for t.
-5
Suppose 2*z = -3*z + 1230. Suppose 255 = 4*m + 5*d, 3*m = -m - 2*d + z. Suppose 6*v = 3*v + m. Solve -4*p = p + v for p.
-4
Let c(z) = z + 6. Let j be c(-5). Let n be -6*(-2 - (-24)/9). Let k(g) = g**3 + 4*g**2 - 2*g - 4. Let f be k(n). Solve j - 13 = -f*l for l.
3
Let b be 9 + 0 + (1 - -2). Suppose 4*m = 3*n - b, -n + 0*m + m = -4. Solve 0*d = -n*d + 20 for d.
5
Suppose -3*z - 3 = -z + 3*v, 5*z - 3*v = 24. Suppose 5*i