Let o be (-15)/l*(0 + -2). Solve -o = -3*t - 0 for t.
5
Let x = -5 - 7. Let j be 3/x - (-4)/16. Solve -2*f - 3 + 13 = j for f.
5
Suppose -5*g - 4 = -6*g. Solve 0 = g*w - 2*w + 10 for w.
-5
Let o be 10/4*12/10. Suppose -o*d + 22 = 1. Let t be 4/14 - (-40)/d. Solve -5*i - t = -16 for i.
2
Let m(x) = 9*x - 1. Let o be m(1). Suppose -5*p + 7 = -o. Solve -2 = -p*i - 5 for i.
-1
Let v = -6 + 9. Let n = 3 + v. Solve 0 = -n*c + c + 25 for c.
5
Suppose n = -4*n. Suppose -2*b + 2 + 6 = 0. Let r = b + 2. Solve n = -3*j + r*j - 6 for j.
2
Let k = 10 - -14. Suppose -h - 2*x + k = -7*x, 2*x = -3*h + 38. Let r be (1 - 3)*h/(-4). Solve 5*n = -r - 3 for n.
-2
Suppose -3*k + k = -10. Suppose -k*y = -8*y + 12. Solve -2*c + 2 = y for c.
-1
Let q be (-2)/4 - 7/(-14). Let s(g) = -g + 5. Let m be s(q). Solve -r = -m*r + 8 for r.
2
Suppose 3*t - 5*t - 3*k = 2, -2*t - 2*k - 2 = 0. Let b be (-10)/(-4) - t/(-2). Solve b*d = -2*d + 20 for d.
5
Let i = 61 + -59. Solve -g = i*g for g.
0
Let t = -18 - -32. Let z = t + -13. Solve -2*s + z = -s for s.
1
Let x(q) = 18*q + 1. Let f = -5 + 6. Let a be x(f). Let w be 3*8/18*3. Solve -a = 3*h - w for h.
-5
Let g = 8 + -4. Suppose -g*q + 20 = q. Solve -n - q*n + 25 = 0 for n.
5
Suppose -51 - 54 = -5*v. Let o = v - 5. Solve -2*h - 2*h = -o for h.
4
Let w(n) = -3*n - 4. Let o be w(-2). Solve -1 + o = m for m.
1
Suppose -s + 15 = -g, -3*s + 2*s - 5 = 3*g. Solve -s = -4*l + 6 for l.
4
Let y(w) = -w - 1. Let v(b) = -b**2 - b - 1. Let h be v(0). Let c(g) = -4*g - 6. Let r(t) = h*c(t) + 6*y(t). Let q be r(-2). Solve -q*u - 6 = -u for u.
-2
Let q = -11 - -27. Solve l - 12 = -q for l.
-4
Suppose b = 4*h - 12, 7*b = 2*h + 3*b + 8. Solve 0 = -0*i - i - h for i.
-4
Suppose h - 19 = -4*x, 0 = 4*x - 5*x - h + 7. Solve 0 = x*o - 3*o + 1 for o.
-1
Let f = 21 - 29. Let v be 11 + 0 + f + 5. Solve -g - 3*g = -v for g.
2
Suppose 6 = 2*a + 4*c, 2*a + 3 = 3*a - 2*c. Suppose -a*r + 22 + 2 = 0. Solve 4*n - r = 8 for n.
4
Let x be (-4)/18 - 60/(-27). Let i(d) = -d**3 - 9*d**2 - d - 7. Let j be i(-9). Solve -x*o = 4 - j for o.
-1
Suppose 0 = 2*d - d + w - 4, 3*d + 8 = 2*w. Solve -j - 3*j - 12 = d for j.
-3
Let b be 8/(-6) - (-2)/(-3). Let h(m) = -3*m + 16. Let n be h(4). Let f = n - b. Solve 2*k = 5*k + f for k.
-2
Suppose 8*g = 3*g + 45. Solve -6*f = -3*f + g for f.
-3
Let j(g) be the third derivative of g**5/120 - g**4/8 - g**3/6 + 2*g**2. Let w(q) be the first derivative of j(q). Let z be w(6). Solve 0*v - z*v = -15 for v.
5
Let t(m) = 3*m**2 - 1. Let h be t(1). Let x = h - -2. Let q be (2/(-3))/(x/(-18)). Solve -3 - 6 = -q*v for v.
3
Let s(a) = -4*a. Let p be s(0). Solve p = 5*h + 2 + 8 for h.
-2
Let u be (2/1)/(2/(-10)). Let o be 2/4*1*u. Let a = o + 8. Solve -a*f = 2*f - 25 for f.
5
Let q be (-2 - (0 + -4)) + 2. Solve q*p = 7*p + 3 for p.
-1
Let m be (-1)/(-1)*2/1. Suppose -c + 4 = 0, -12 = j - 2*j - m*c. Suppose 40 = 4*p - 5*z, 0 = 4*p - 0*z + j*z - 4. Solve p - 30 = -5*s for s.
5
Suppose x + 3*x - 12 = 0. Suppose 0*b - 6 = -x*b. Solve -f + b = -0*f for f.
2
Let a be (-50)/(-14) - 15/(-35). Solve -a*i = -i for i.
0
Let u(l) = l**3 - 6*l**2 - 7*l + 3. Let m be u(7). Solve 0*k = m*k + 15 for k.
-5
Let i = 1 - -1. Let y(d) = d**3 + 2*d**2 - d + 1. Let h be y(i). Solve -4*o - h = -o for o.
-5
Suppose 6*k - 6*k = -16*k. Suppose 5*v - 7 = 18. Suppose 5*w = -v*b - 1 - 4, 2*b + 6 = 2*w. Solve -h = -w - k for h.
1
Let b(c) = -c**3 + c**2 - c - 1. Let g be b(-1). Suppose 4*m - 8 = 4*j, -m - 4 = -g*m + 3*j. Solve 0 = p + m for p.
-1
Let u be (-12)/(-18)*(-9)/(-2). Suppose d + 3*w = -u, -17 = -d + 3*w - 2*w. Solve 5*x + 13 = -d for x.
-5
Let j be (3/(-2))/((-6)/(-8)). Let w be (-3)/(-2)*j + 12. Solve 4*i + w - 1 = 0 for i.
-2
Let v = 4 + -2. Solve -9 = -5*m + v*m for m.
3
Let i = -11 - -13. Solve 4 = i*w + 14 for w.
-5
Let p be (-5)/(-15) - 185/(-3). Suppose 4*r - 70 = -k, 4*r - 4*k - p = -9*k. Suppose r = 2*q + q. Solve 4*d + q = 18 for d.
3
Suppose 60 = 5*j - j. Solve 8*s - 3*s = -j for s.
-3
Let n be 18/5 - 8/(-20). Suppose -n*v = -6 - 22. Let j(f) = f**3 - 7*f**2 + 5. Let g be j(v). Solve -m + 20 = -g*m for m.
-5
Let u(c) = -3*c - 4. Let p be u(-7). Suppose -2*l = 5*s - 0*l - 30, 0 = 2*s - 5*l + p. Solve -2*d + 2 + s = 0 for d.
3
Let i(h) = h**3 - 2 - 7*h**2 + 0*h**2 - h**2 - 7*h. Let w be i(9). Solve 0 = -6*t + 2*t - w for t.
-4
Let d(r) = r**2 - r - 4. Let x be d(3). Suppose 2*j + j = -72. Let w be 4/(-10) - j/10. Solve x = -g - w for g.
-4
Let g = 1 + 1. Let q(y) = -2*y**3 - y**2 + 1. Let b be q(1). Let m = b + g. Solve m = t - 6*t + 25 for t.
5
Suppose 13 = 5*a - 4*f, 3*a + 5*f + 11 - 4 = 0. Let g = a + -1. Solve g = -0*v - 4*v + 4 for v.
1
Let l(f) = -3*f**3 - 4*f**2 - 2*f. Let k be l(-2). Let w = 17 - k. Let m be 7 + (-5)/(w/3). Solve m*a + 9 + 7 = 0 for a.
-4
Let h = -5 + 13. Suppose z - h = -z. Solve z*r - 6 = 2 for r.
2
Let o(f) be the second derivative of f**4/12 - 2*f**3/3 - 2*f. Let j be o(5). Suppose -y - 10 = -2*c, -5*y + y = c - j. Solve -25 = 4*a - c for a.
-5
Let c = 172 - 164. Solve -2*a - c = -0*a for a.
-4
Let t = 11 - 10. Solve m = -t + 3 for m.
2
Let a(c) = -11 - 4 - 10*c - c**2 + 4. Let q be a(-8). Suppose 3*l + q*i = 5, i - 13 = -4*l + 5. Solve -l*h + 2*h = 9 for h.
-3
Let o be 8/6*33/22. Solve 0 = -o*s - 3*s + 25 for s.
5
Let v(j) = 5*j + 57. Let i be v(-9). Solve 5*z = i + 3 for z.
3
Suppose 0 = -5*w + b + 20, 0 = 4*w - 0*w - 4*b. Suppose 0 = 3*l - 2*l - w. Solve -l*s = -s for s.
0
Suppose -a + 3*p - 12 = -0*a, 2*p - 8 = a. Let f(j) = -j**3 + j**2 - j + 2. Let c be f(a). Suppose h = 5*g - 46, -3*h + 4 = -c*h. Solve 3*q = q + g for q.
5
Let m = -9 + 16. Let u = m + -7. Solve -5 = 5*w - u*w for w.
-1
Let u be 0*(3 + (-4)/2). Solve -2*o + 14 - 4 = u for o.
5
Let y = 131 - 129. Solve -y = -2*r + 4*r for r.
-1
Let k(p) = -p**2 - 2*p - 1. Let q be k(-2). Let w be (3 + q + -1)*5. Solve -5*t = -4*t - w for t.
5
Let y(k) = -1 + k - k**3 - 2*k - 2 + 5 + 2*k**2. Let d be y(2). Solve 5*x + 5 = -d for x.
-1
Let j be (-2 + 2)/((-16)/8). Solve j*f - 5*f = -5 for f.
1
Let n(a) = a**3 - a**2. Let c(g) = -g**3 + 5*g**2. Let t be c(5). Let s be n(t). Suppose s = 3*v - 2*v. Solve -4*z + 3*z = v for z.
0
Let a be 0*2/4*1. Solve a = t + 3*t - 20 for t.
5
Let l(a) = a**3 - 7*a**2 + 8*a - 8. Let t be l(6). Suppose 2*b - 10 = 42. Let s be b/3 - 4/6. Solve -s = 4*w + t for w.
-3
Suppose 0 = -2*a - 3*a - 2*i, 0 = a + 3*i + 13. Suppose 2*z + 5*t - 15 = a*t, -4*t = -12. Solve -n = -z*n for n.
0
Let l = -44 + 30. Let x = 6 - l. Solve -5*c = -c + x for c.
-5
Let i(n) = 3*n - 1. Let g be i(1). Solve 0*d - g*d - 10 = 0 for d.
-5
Let t = 4 - 2. Suppose t*p = 4*p - 30. Suppose -9*l + p = -4*l. Solve a + 4 = -l*a for a.
-1
Suppose -32 = -3*q + 4*x, 5*q - 16 = -3*x + 18. Solve 0 = -3*o + q*o - 15 for o.
3
Suppose 0 = -j - 2*j + 60. Solve -j = -q + 6*q for q.
-4
Let l(q) = q + 8. Let s be l(-8). Suppose s = -t + 2*k + 1 - 4, -3*k + 9 = 0. Suppose t*y = 2*y. Solve y = -v - 2 + 7 for v.
5
Suppose 2*z = 5*a + 3*z - 14, 5*a = 5*z + 20. Solve a = g - 2 for g.
5
Let c = -7 + 11. Suppose -r = -c*r. Suppose -3*n + 18 = -r*n. Solve -n = -0*i + 2*i for i.
-3
Let h = 12 - 8. Solve -u = h*u for u.
0
Let y be (2/(-3))/((-1)/6). Let s be (-10)/(-6) + y/12. Let k(v) = v**3 + 9*v**2 + v + 9. Let u be k(-9). Solve -s = a - u for a.
-2
Suppose -4*q + 15 = m + 2, 4*m + q = 97. Solve 5*u + 5 = m for u.
4
Suppose -5*j + 190 = -35. Let w = j - 22. Let l be w/5 - (-6)/15. Solve -l*f + 2*f - 12 = 0 for f.
-4
Let u = -52 + 52. Solve u = o + 1 - 2 for o.
1
Let j = 22 + -17. Suppose -3*u + 16 = 3*a - 5, 2*u + 21 = j*a. Solve a*i + 14 = -6 for i.
-4
Let d(f) = -f**2 - 3*f + 2. Let p(l) = l**2 + 7*l + 3. Let h be p(-6). Let q be d(h). Solve -q*i - 10 = -0*i for i.
-5
Suppose -2*b + 5 = y, 2*b + 4*y - 11 - 9 = 0. Suppose r + b*r = 9. Suppose -4*m + 5*h = -23, -4*h - r - 5 = -m. Solve n = -n + m for n.
1
Suppose 5*c + 4*l = -20, 12 = -2*c - 3*l - 3. Solve j + 0*j - 4 = c for j.
4
Let b = -9 + 9. Solve b = -3*o + 1 + 2 for o.
1
Suppose -2*a = -3*z + 13, 5*a + z + 5 = a. Let f be 8/(-10)*5/a. Solve -j = f*j + 9 for j.
-3
Let n = 16 + -16. Solve -2*r + r + 1 = n for r.
1
Let g(x) = -x + 4. Let m be (6 - 2/1)/1. Let q be g(m). Suppose q = y + y. Solve 5 = -i - y for i.
-5
Suppose 5*n + 56 = n. Let k