Let a(o) = -o**2 + 2*o. Let s be a(3). Let y = -2 - -5. Let t be (2*y)/s + 5. Solve -t = -f - 6 for f.
-3
Let o(k) = -k**3 - 5*k**2 - k + 3. Let v be o(-5). Let u = v - 6. Solve 0 = -l - l + u for l.
1
Let w be (44 - 1) + 0 + 3. Suppose -2*b - 16 = -w. Solve -3*k = -6*k - b for k.
-5
Let u be (8 - 10) + (21 - -1 - -1). Solve -3*s - u = -6 for s.
-5
Suppose -5*i + 59 = -31. Let k = -16 + i. Solve q + q + k = 0 for q.
-1
Let b = -3 + 9. Let d = -6 + b. Solve 3*r - 5 - 7 = d for r.
4
Suppose 4*c = -5*d + 17, -4 - 1 = -5*d. Let n(b) be the second derivative of b**4/12 - b**3/2 + b**2 + b. Let x be n(2). Solve -c*f + x*f = 12 for f.
-4
Suppose 1 = 3*x - f, 3 = -f + 8. Suppose j + 0 = 2. Solve x = 4*b - j for b.
1
Suppose -4 = -h - 1. Let c = h - 3. Solve -3*f - 12 = -c for f.
-4
Let m be 2 - (16/(-2))/(-4). Solve 4*x - 12 = -m for x.
3
Suppose -5*i = -9 - 1. Let l be 9*(i + (-1)/1). Let r = -5 + l. Solve -r*z = -13 + 1 for z.
3
Let c be 9/2 + 4/(-8). Suppose 2*l + 4 = c*l. Solve -l*z = z for z.
0
Suppose -2*z - 3*z = -10. Let p = 0 + z. Solve p*s = -3*s for s.
0
Suppose -v - 3 = h - 4, -4*v + 2*h = 14. Let u be (1/(-1) - v)*1. Solve 3 = 2*s - u for s.
2
Suppose -3*m - 8 = -m, -3*m + 3 = d. Solve a = 4*a + d for a.
-5
Suppose 5*b - 2 = 5*w - 22, 2*w - 2 = 4*b. Solve -1 = -2*i - w for i.
-3
Let r(a) = 5*a**3 + a - 1. Suppose 5*j = j + 2*l + 12, 0 = -3*j + 5*l + 23. Let p be r(j). Suppose -m + p*m = 0. Solve w + 2*w + 3 = m for w.
-1
Let o = 7 - 15. Let p = -7 - o. Let t(j) = -j - 4. Let m be t(-6). Solve -g - p = -m*g for g.
1
Let f(n) = 7*n + 1. Let z be f(1). Suppose -2*r = r - 3. Let q be 1*((0 - -2) + r). Solve -w + z = q for w.
5
Let o(n) = n**3 - 18*n**2 - 18*n - 17. Let s be o(19). Solve -2*c = s - 12 for c.
5
Suppose 2*u = 6*u. Suppose -q = -u*q. Solve -1 = -b - q for b.
1
Let r be (-4)/3*(45/2)/(-15). Solve r*b = -6 - 4 for b.
-5
Let k be ((-36)/42)/(9/(-42)). Solve 3*o - k = 5 for o.
3
Suppose -u = -3*m + 12, 5*u + 5 = -2*m - 4. Suppose 0 = -a + m*a. Suppose 0 = 5*l - a*l - 5. Solve -4*i + l = -3*i for i.
1
Let b = -10 + 6. Let t be ((-10)/4)/(2/b). Solve -t*n - 3 = 2 for n.
-1
Let r be (-376)/(-10) - 6/10. Let x = r - 21. Solve -4*v + 4 = x for v.
-3
Let g(c) = c**3 + 9*c**2 - 2*c - 12. Let r be g(-9). Suppose 3*h + r = -3. Let p = h + 6. Solve p = -3*s - 6 for s.
-3
Let h be (-2 + 3)/((-2)/(-62)). Let g = h + -21. Suppose -c = 4*t + c - g, -5 = -4*t - c. Solve -2*j - 3*j - 25 = t for j.
-5
Let w be (-1)/(-1*1/2). Suppose -4*q - w = -5*q. Solve 0 = q*t + 2*t for t.
0
Let y be 3/1*(-7 + (-25)/(-3)). Solve 0 = y*o - 8*o - 8 for o.
-2
Let x = -8 + 13. Let y = x + 10. Solve y = 2*o + 3*o for o.
3
Suppose -3*h + 3*j = 0, -5*j + j = -5*h + 1. Let d be (-2)/(-8)*3*4. Solve g + h = d for g.
2
Suppose -3*p = -3*o + 2*o - 9, 5*o + 15 = 0. Solve 5*d - p = -27 for d.
-5
Let j(g) be the first derivative of -g**4/4 - 14*g**3/3 - 6*g**2 + 18*g - 3. Let y be j(-13). Solve -c + y*c + 16 = 0 for c.
-4
Let t be (1 - (-15)/(-6))*32/(-12). Solve t*u - 10 = 6 for u.
4
Suppose -2*h - 111 = -9. Let c = -31 - h. Solve -c = k + 3*k for k.
-5
Let b(h) = h**2 - 6*h - 6. Let w be b(7). Solve -3*i - w = 8 for i.
-3
Suppose -12*v = -10*v - 8. Solve 5*f - v = 16 for f.
4
Suppose 0 = -4*t + 9*t + 10. Let h be 14/(-21)*9/t. Solve -4*s = -h*s for s.
0
Let h(c) = -16*c + 4. Let t(k) = -16*k + 3. Let z = -4 + 0. Let a(m) = z*h(m) + 5*t(m). Let i be a(-1). Solve -d - i = -4*d for d.
5
Let s(b) = 4*b. Let v be s(1). Solve v = -2*a + 3*a for a.
4
Suppose -2*c = -0*c - 10. Suppose -7 = -c*f + 18. Let s = f - 3. Solve -s*m + 20 = -6*m for m.
-5
Let b be (18 + -2)*2/(-4). Let o = 10 + b. Suppose -o = -2*w + w. Solve -t - 2 = -w*t for t.
2
Let i be (9 + (1 - 4))/2. Solve 0 = -i*k - 0*k for k.
0
Let b = -15 + 7. Let l be (-4 - (-3 + b)) + -3. Solve -8 = -l*p - 24 for p.
-4
Let x(s) = s**3 + 13*s**2 + 13*s + 14. Let t be x(-12). Solve -4*i - 22 = -t for i.
-5
Let j = 67 - 65. Solve 0 = -j*h + 3 - 1 for h.
1
Let b be ((-16)/14)/(8/(-28)). Suppose 0 = -2*y + 3*x - b*x + 8, 3*x - 8 = -2*y. Solve -4*h - 16 = -y for h.
-3
Let l be 752/18 - (-2)/9. Suppose -2*u + 2*w + l = 0, -4*w + 123 = 5*u - 0*u. Suppose -2*q = 5*f - u, -4*q = q + f - 23. Solve 2*r + 6 + q = 0 for r.
-5
Suppose 4*s + 2*h = 5*h + 8, -3*s + 11 = -h. Let k(d) = -d + 8. Let w be k(6). Suppose -42*m + 36 = -38*m. Solve -s*n + w*n + m = 0 for n.
3
Suppose -3*l + 8 = l. Let s be 4/8*(l - -2). Solve 2*z + 8 = -s*z for z.
-2
Suppose 0 = -5*s + 4*o + 6 + 22, 5*o = -4*s + 47. Solve -s = -y - y for y.
4
Let r be 1*7*(-78)/(-91). Solve 0 = i + 2*i + r for i.
-2
Let p(k) = -k. Let d be p(-9). Solve c - d = -2*c for c.
3
Let q be (-3)/(-7) + 27/(-63). Solve q + 5 = 5*p for p.
1
Let y(h) = -9*h - 54. Let d be y(-6). Solve -l + d*l = 1 for l.
-1
Let t(m) = m**2 - 7*m + 8. Let x be t(6). Let h = -32 + 37. Solve 3*a + x*a - h = 0 for a.
1
Let i = 11 + -7. Let u be 0/((-2 - (-2 - -1))/(-1)). Solve u = -i*t + 19 - 3 for t.
4
Suppose 0 = -4*z + 3 + 5. Suppose 2 = -a + h - 0, 0 = 2*a - 5*h - 8. Let v = z - a. Solve -s + v = -3*s for s.
-4
Let b be (-57)/(-15) - 2/(-10). Suppose -4 - 2 = -3*q. Solve 0 = 2*k - q - b for k.
3
Suppose -2*c - 27 = -r - 8, c + 5*r = -4. Let d = 12 + c. Solve -d - 1 = -4*i for i.
1
Let d(f) = -f**2 + 12*f - 10. Let h be d(7). Solve 0 = -3*g + 8*g - h for g.
5
Suppose -k = -0*k - 9. Let p be 2/(-9) - (-2)/k. Solve 2*l = -p*l for l.
0
Let j(k) = -k + 9. Let g be (-2)/((-6)/15)*1. Let m be j(g). Let o be (0/(-2) - 0)/1. Solve 4*v + o + m = 0 for v.
-1
Let v be ((-9)/(-3))/(15/20 + 0). Let j = -1 + 3. Solve -6 = -v*b + j for b.
2
Let t = 61 + -58. Solve -2*a = t*a for a.
0
Let v(r) = -4*r + 46. Let s be v(11). Solve f = s*f + 3 for f.
-3
Suppose 0 = 6*o - o. Let a(k) = 2*k**2 + 4*k + 2. Let m be a(-2). Solve m*y = -o*y for y.
0
Let s(r) = 2*r**3 + r**2. Let t be s(1). Suppose -k - 2*d = d - 6, -d + 2 = k. Solve k = -t*q + 3 for q.
1
Suppose -4*d = a - 2*d + 5, 4*a + 2 = -2*d. Let j be (-8)/a*1/(-2). Solve -2*q - 8 = -j*q for q.
4
Suppose 6 = 3*w - 3. Suppose 0 = 6*m - w*m. Suppose 4*t = 3*y - m*y, t = 5*y - 17. Solve 4 = d + t*d for d.
1
Let g be 3/3 + -1 - -20. Solve -2*w + 7*w = -g for w.
-4
Let g be -2 + (75/5)/3. Solve 5 = 2*i + g for i.
1
Let f be 5 - ((-4)/(-2) - -2). Solve l - f = 4 for l.
5
Let m(v) = -v**2 + 4*v + 2. Let y be m(5). Let t be 0 - y/(-3)*-4. Solve 0 = q - t*q for q.
0
Suppose -48 + 8 = -5*q. Let j(w) = w**2 - 4*w + 4. Let a be j(4). Let m = q - a. Solve -3 - 1 = -m*o for o.
1
Let w(y) = y - 2. Let j be w(4). Solve j*s = 2 - 10 for s.
-4
Suppose -t = 4*p - 3, -3*p + 6*t - 2*t + 26 = 0. Solve -b = p*b + 9 for b.
-3
Let m = -29 + 39. Solve m = -4*y - 6 for y.
-4
Let y = 0 - 1. Let o be ((-2)/(-6))/(y/(-15)). Suppose u - o*u + 16 = 0. Solve -22 = u*t - 6 for t.
-4
Suppose 8*l = -9*l + 3*l. Let j = -1 - -5. Solve j = -h - l for h.
-4
Let x(v) = -2*v - 5. Let h be x(-4). Suppose -h*m + 2*n - 8 = -0*n, -8 = 4*m - 2*n. Solve m*k - 3*k = 0 for k.
0
Let t(q) = q**2 + 2*q - 2. Let j(x) = -x - 3. Let m be j(0). Let i be t(m). Let y be 13 + -11 - 1*-3. Solve 0 = y*v - i - 4 for v.
1
Let u(t) = -t**2 + 6*t + 7. Let y be u(5). Suppose -5*i + i = -y. Solve -2*v = i*v for v.
0
Let u be -1 + 2 + (-5 - -9). Suppose -u*w + 0*w = -15. Solve 2*h = w*h - 5 for h.
5
Suppose -21*g + 8 = -17*g. Suppose -3*t + g*t = -n - 7, n + 9 = 2*t. Solve -t*m + 4 = -0 for m.
2
Let m = -5 - -8. Let d = -1 + m. Solve 0*u - 10 = -d*u for u.
5
Suppose -3*z + 6 = -3. Suppose -4*m = -2*t - 8, -z*m - 2*t + 4 = -16. Suppose 0 = -m*w + 11 + 9. Solve -w*j + 7 = -3 for j.
2
Suppose -3*a + 0 + 42 = 0. Solve -5*p - 39 = -a for p.
-5
Let a be (0 + 6/(-4))*-12. Suppose 2*y = 5*i - 9, -5*i - 3*y + a + 6 = 0. Suppose k + 5*g + 19 = 0, 0 = 2*k + 2*g - i + 1. Solve -3*m + k = -m for m.
3
Suppose f = 5*f - 8. Suppose -2*c - f = -5*q + 21, -4*c = -q + 1. Solve q*v + 3 = -12 for v.
-3
Suppose 3*w + 23 = 5*c, 3*c - 8 = 2*c + 4*w. Suppose 32 = c*r - 4*y, -4*r = 4*y + 2 + 6. Solve 2*j = r*j + 1 for j.
-1
Suppose 0 = -2*f - 3*f + 30. Suppose -f*n + 9*n = 9. Solve y = -n + 7 for y.
4
Let i be 3/(-2)*64/(-12). Suppose 0 = 4*x - v - 11, -v - i = -5*x + 2*x. Solve 4*y = 7*y + x for y.
-1
Let f(v) = v - 17. Let w be f(7). Let j be (-89)/(-13) + w/(-65). Solve 5 