*o + 10 = -3*o. Let l be 0 - (o + 5 + -20). Suppose q + 2*q - 3 = 4*n, 4*n + q = l. Solve -2*x - 3 - n = 0 for x.
-3
Let w(r) be the first derivative of -r**4/2 + r**2 + 3*r + 2. Let f be w(-2). Solve -2*n = n + f for n.
-5
Let v(x) = -x**3 - 8*x**2 - 6*x + 5. Let r be v(-7). Let u be 5/3*(-6)/r. Suppose 17 = 2*w + u*c, -3 = -4*c + 5*c. Solve 0*a - w = -4*a for a.
4
Let r = -11 - -20. Suppose -12 = 3*v + 6. Let o = v + r. Solve 0*w - o*w = 15 for w.
-5
Suppose 2*w - 8 = 2*b, 3*b - w + 1 = -b. Solve -9 = 2*k - b for k.
-4
Suppose -5*d + 5*p + 30 = 0, -d - 2*p + 18 = -7*p. Let k = 19 - 61. Let y be ((-1)/(-3))/((-2)/k). Solve d*g - y*g = 0 for g.
0
Let u(i) = 2*i - 8. Let l be u(5). Solve 6 = -l*d - 0 for d.
-3
Let v(x) = 8*x - 1. Let k be 1 - (-8)/(1 + 0). Suppose u + s + 2*s = -1, -3*s - k = -3*u. Let p be v(u). Solve 0 = -0*a - 3*a - p for a.
-5
Suppose -2*l + 3*f + 26 = 0, -3*l + 2*f = 1 - 30. Let u = -38 + 41. Solve -2*n = -l + u for n.
2
Let h = -26 - -26. Suppose 6*c = -h*c. Solve -3*j + j - 8 = c for j.
-4
Let i(u) = u**3 - 8*u**2 + 6*u + 10. Let p be i(7). Suppose n - 14 = -4*k + 12, 4*n = 4*k - 16. Suppose 3*b = k*b. Solve -p*a - 6 = -b*a for a.
-2
Let f be (1 - 1)/(4 - 2). Solve -3*n + 2*n - 5 = f for n.
-5
Let k = 13 + -5. Solve -3*y + 15 = -k*y for y.
-3
Let m be 1 + -4 + 1 - -4. Suppose -m*g + 7 = -3. Let b = -8 - -11. Solve 0 = -b*y - 14 + g for y.
-3
Suppose 3*b = 2*b + 9. Let d be 1/(-3)*-1*b. Solve 0 = d*s - s - 8 for s.
4
Let a = -20 + 21. Solve 4*m + 17 - a = 0 for m.
-4
Suppose 0 = -a + 6. Solve -3*l - a = -0*l for l.
-2
Suppose 5*j = -4*o - 0 + 33, 3*j - 5 = 5*o. Let p(c) = -c**2 - 5*c + 2. Let s be p(-5). Suppose -6*k + 72 = -s*k. Solve -4*u - o - k = 0 for u.
-5
Let r be (-1)/(((-9)/(-6))/(-3)). Suppose 9 = -2*u + 17. Solve u = -0*d + r*d for d.
2
Suppose -2*v - 25 = -5*q, -3*q - v + 11 = -3*v. Solve q = 3*a + 1 for a.
2
Suppose 2 = -2*d - 2*i, -4*d + 3*i = -8 - 2. Suppose 3*z + d = 7. Solve 3*f = -z*f - 10 for f.
-2
Let b = 139 - 134. Solve -2*w + b = 11 for w.
-3
Let h(k) = -2*k - 40. Let p be h(-21). Solve 0*o + p*o = -10 for o.
-5
Suppose -12 = z - 5*z. Let o = -2 + 3. Let k = o + -1. Solve -3*l - z = -k for l.
-1
Let s = 6 - 4. Let d(v) be the third derivative of v**6/120 - v**5/20 + v**4/6 - v**3/2 + 5*v**2. Let j be d(s). Solve 3*g - j = 8 for g.
3
Let c = 9 + -4. Suppose 10 = c*p, 3*z + p - 17 = -3*p. Solve -4*v - 1 = -z*v for v.
-1
Let y be ((-48)/9)/(2/(-3)). Let r(i) = -i**3 - 5*i**2 - 5*i + 1. Let m be r(-4). Suppose -3*b + 0*b - m*u + 6 = 0, -5*u - y = -4*b. Solve p = b - 4 for p.
-2
Suppose 13 = 5*x + 2*h - 4*h, -5*h = 4*x - 17. Let j(c) = c**2 - c + 3. Let v be j(x). Solve -2*b - v = -3 for b.
-3
Suppose 45 = 7*b - 95. Solve 0*q + 4*q - b = 0 for q.
5
Suppose -5*l = 3*r + 16, 3*r - 5*l = -6*l + 4. Solve -r*t = -t - 10 for t.
5
Let k(f) = -f**3 + 7*f**2 + f - 4. Let b(c) = 6*c**2 - c. Let y = 6 - 7. Let g be b(y). Let h be k(g). Solve h*z = 7*z + 20 for z.
-5
Let d(k) be the first derivative of -k**4/4 + 4*k**3/3 + 3*k - 2. Let w be d(4). Suppose -15 = -0*z - 3*z. Solve -4*l - z = -w*l for l.
-5
Let c(u) = -3*u**2 + 3*u**3 - u**3 - 3*u**3 + 5*u**2. Let o be c(2). Solve 12 = -o*t + 4*t for t.
3
Suppose 2*q - 1 + 5 = 0. Let o = q + 6. Solve -3*c - 3 = -o*c for c.
3
Let k(c) = c**3 - 14*c**2 - 14*c - 11. Let u be k(15). Solve -2 + u = s for s.
2
Suppose -6*r = -3*r. Let j = r + 2. Solve j*p - 15 = 5*p for p.
-5
Let v(x) be the second derivative of -x**3/6 + 3*x**2/2 + 2*x. Let r be v(3). Solve r = 4*n - 0*n - 12 for n.
3
Let g = 41 - 36. Solve -g*w = -0*w - 25 for w.
5
Let c = -8 + 8. Let t = 18 - 12. Solve c = -z + t*z + 25 for z.
-5
Let o(l) = -5*l - 7. Let x be o(-3). Solve b + 3*b - x = 0 for b.
2
Let n(h) = h + 5. Let l be n(-5). Solve l*w + 5*w + 20 = 0 for w.
-4
Let m(q) be the second derivative of q**3/6 + 10*q**2 - q. Let w be m(0). Solve 5*r - w = 5 for r.
5
Let d be 36/(-10)*40/(-6). Let t be (15/9)/((-1)/(-3)). Suppose -t*b = 2*u - 14, 4*b - 7*b + d = -4*u. Solve -4*l = -6*l - b for l.
-2
Suppose 19 = 2*f - 1. Solve -3*o = -5*o - f for o.
-5
Suppose -3*c - 2*o + 1 = -2*c, -3*o - 26 = -4*c. Suppose -3*i = -c*i + 8. Let r = 4 - 4. Solve r = -5*g + 6 + i for g.
2
Let d = 10 + 1. Suppose 4*g + d = 75. Solve n + 3*n = -g for n.
-4
Let b(v) = v**3 + 3*v**2 + v. Let a be b(-2). Let j(g) = -3*g + g + g + 3*g**a + 0*g - 1. Let d be j(-1). Solve -d*n + 7*n = 0 for n.
0
Let x be 3 - (-3 - (-12)/4). Solve x*z + 2*z = -15 for z.
-3
Suppose -15 = -o - 5. Solve -6*b + o = -b for b.
2
Suppose 5*q + 4*t - 3 = 0, q + 0 - 9 = 2*t. Solve -q = -2*w + w for w.
3
Let x be ((-10)/(-2))/((-3)/(-15)). Solve x = 3*r + 2*r for r.
5
Let b be (-1 - 7/4)*-4. Let q = 20 - b. Suppose 0*a + q = 3*a. Solve a*z + z = 20 for z.
5
Suppose -3*u = 3*v + v - 16, 2*v - 2*u = 8. Solve v = -0*t + 2*t for t.
2
Suppose -y + 10 + 1 = 0. Suppose 0*s = -2*j + 3*s, -2*s = -5*j + y. Solve j*z + 8 = -1 for z.
-3
Suppose t - 2 = 3*t. Let k be -2 - t - -2 - 2. Let g = -1 - k. Solve -4*v - 8 + g = 0 for v.
-2
Suppose -4*y = -3*y - 4. Suppose -a - y*a - 25 = 0. Let c(q) = q**2 + 3*q - 4. Let g be c(a). Solve -g + 0 = 3*p for p.
-2
Let i be (-2 - -4) + -4 + 21. Solve 0 = -3*u + i - 4 for u.
5
Suppose 2*z = -0*z - 4*l + 12, z - 9 = -5*l. Suppose 4*d = -z*g, 0 = -5*g + d - 4*d + 2. Solve -2*x - 5 + g = 0 for x.
-2
Let i be (7 - 9)*(-1 - 0). Suppose v + i = 3*h - 0, 3*v = -3*h + 18. Solve -h*u = -0 - 2 for u.
1
Let v(l) = l**3 - 3*l**2 + 2. Let s be v(3). Let f be s + 3/6*14. Solve -4*p = -p - f for p.
3
Let z(t) = -t**3 + t - 1. Let h be z(-2). Suppose 3*d = -3*a - d + 45, h*d - 15 = 0. Solve 3*k + a + 4 = 0 for k.
-5
Let p(z) = -4*z - 4. Let l be p(-5). Solve 0*i + 4*i = l for i.
4
Suppose -4*h = -9 + 1. Let q = 7 + -2. Suppose -1 - 1 = -2*i + t, 0 = h*i + q*t - 26. Solve 8*y - 5 = i*y for y.
1
Let q(y) = -5*y**2 + 7. Let z(s) = -11*s**2 + s + 14. Let k(b) = -13*q(b) + 6*z(b). Let t be k(5). Let o be 7 - t/(-4)*0. Solve -r = -2 + o for r.
-5
Let h(l) = l**2 + l. Suppose t = 3*t - 16. Let q be h(t). Let k be (4/8)/(2/q). Solve -5*u + 2 + k = 0 for u.
4
Suppose 0 = 2*a - 7*a - 5*s + 25, 2*a - 4*s = -20. Let x = a + 0. Suppose -i - 5*n + 30 = x, n = 4*n - 15. Solve -m + 8 = -i*m for m.
-2
Let a(z) = z**2 + 3*z - 2. Let j be a(-4). Let l be (3*-1*j)/(-2). Let w = l + 0. Solve w*r - 4 = 2 for r.
2
Let q be 24/(-42) + (-50)/(-14). Let v be (q - -5)/(1 + 0). Solve v = 2*s - 0 for s.
4
Suppose -1 - 2 = 2*c + l, l + 5 = 0. Suppose 0 = 2*f + 4, 2*y - 3 - c = -f. Solve -y*r - 4 = 5 for r.
-3
Suppose 5 = -y, 4*g + 14 = 2*g - 4*y. Solve 0*a - 9 = g*a for a.
-3
Let k(p) = -p**3 - 6*p**2 + p + 6. Let o = 0 + 33. Suppose -3*y = y - 4, 3*y = 5*c + o. Let q be k(c). Solve -r = -q*r + 1 for r.
-1
Suppose 0 = -5*i + 14 + 1. Suppose 5*g = -x + 15, -5*g - i*x - 12 + 37 = 0. Let j be 6/(-10)*(0 + -5). Solve j*k + g*k = -10 for k.
-2
Let q(a) = -a. Let s be q(-5). Solve 0 = s*o - 1 - 9 for o.
2
Suppose 4*l + 4*b = 40, 2*l - 3*l + 3*b - 10 = 0. Solve -3*u + l = -1 for u.
2
Let d(w) = -w - 6. Let y be d(-18). Solve 2*r = -r + y for r.
4
Suppose 7 + 4 = a. Solve -2*w = -a + 3 for w.
4
Let b(f) = 3*f + 1. Let c be b(1). Let k = -173 - -173. Solve k = -7*u + c*u + 6 for u.
2
Suppose 3*h = f + 2*f + 30, 2*h - 15 = f. Solve 0 = -2*b + b + h for b.
5
Suppose 9*c - 4*c - 20 = 0. Suppose g + 1 - c = 0, 4*n - 9 = g. Solve -2*k - 5 = n*k for k.
-1
Let o = 5 + -3. Suppose 10 + o = 3*c. Solve -c = 5*a - a for a.
-1
Let f(h) = -19*h. Let r be f(-1). Let p = 30 + r. Let l = p - 31. Solve -l - 2 = -4*b for b.
5
Let d be (-24)/(-9) + (4 + -2)/6. Let z be (-10)/(-4) + (-1)/2. Solve -5*h + z = -d for h.
1
Let q(y) = y - 2. Let i be q(6). Suppose -2*h + 0*m + 2*m = 2, h + 4 = 2*m. Solve r - h = -i for r.
-2
Suppose -8 = -2*z + 5*w, 2*z - 8 + 0 = 4*w. Suppose -f - z*f - 20 = 0. Let c be 2 + f*1/(-2). Solve c*v + 14 - 6 = 0 for v.
-2
Let f = -12 - -14. Solve f*m - 1 = 3 for m.
2
Let w(m) be the second derivative of -m**3/6 + 9*m**2/2 - 4*m. Let g be w(5). Solve -4*d = 4 + g for d.
-2
Let o be -3 + 10 + -3 + 0. Suppose -3*n - 2*f = -5*f - 21, -o*n - 17 = 5*f. Solve -2*d + n = -d for d.
2
Suppose -16 = -4*p + 4*d, 0 = p + 4*p - d - 24. Suppose 4*l + 3*m = 27, 2*m + 3 + 2 = p*l. Suppose h + l = 2*h. 