+ 2*c. Let q(j) = j**3 - 13*j**2 - 16*j + 31. Let l be q(14). Solve -l*d = -c*d - 8 for d.
-2
Suppose 0 = 3*z + 2*g - 25, 0 = -z - 4*z - 3*g + 40. Suppose 7 = -4*s - z. Let p be (-7)/(-1) + 6/s. Solve 0*i = i + p for i.
-5
Let g(b) = b**3 - 9*b**2 - 11*b + 12. Let x be g(10). Let c = 4 + -3. Solve m + c = -x for m.
-3
Let d = -54 + 58. Solve d*c = 3*c for c.
0
Suppose 0 = -f - 2 - 1. Let c = f + 3. Solve -2*a + 0*a - 8 = c for a.
-4
Suppose c + 5 - 10 = 0. Solve -10 - 15 = c*p for p.
-5
Suppose 12 = -18*k + 21*k. Solve y = 2*y + k for y.
-4
Suppose -x + 5 = o, 0*x - 2*x + 5*o = 4. Suppose -6 = -x*h + 3. Suppose 5*q + 3*a - 10 = 0, -6 - 4 = -5*q + 5*a. Solve q*r - 9 = -h for r.
3
Suppose 0*x - 2*x - m + 13 = 0, 4*x + 3*m = 27. Let a = x + -5. Solve -3*h - 5 = a for h.
-2
Suppose -2*v - 2 = -4*j + 22, 24 = 4*j + 4*v. Solve w + 20 = j*w for w.
4
Let r = -18 + 20. Solve -r*p - 4 = -0*p for p.
-2
Let n(y) = y**3 - 6*y**2 + y - 3. Let d be n(6). Solve 0 = 2*b - b - d for b.
3
Suppose j - 2 = 0, 0 = 5*f + j - 56 + 14. Let p = 13 - f. Solve -2*d + p - 11 = 0 for d.
-3
Let v be -20*(-9)/24*4/6. Solve v*b - 11 = 9 for b.
4
Suppose 5*k - 8*k + 27 = 0. Suppose 0 = -5*x - 3*y + k, 0 = -5*y - 7 - 3. Solve -3 = x*b - 15 for b.
4
Let i(d) = -d**3 + 2*d**2 - 2*d + 1. Let s be i(0). Solve q + s = -2 for q.
-3
Let z be 114/27 - (-2)/(-9). Solve -7 + z = l for l.
-3
Suppose 8*k = -4*r + 3*k + 148, 5*r + 3*k = 172. Suppose 0 = 5*y - l - 2*l - r, 0 = 4*y - 2*l - 24. Let s be 2 + 0 - (1 - y). Solve -5*x = -0*x + s for x.
-1
Let p = -18 + 58. Suppose -3*t - p = -4*t. Suppose a - y = 10, 5*a + y + 8 = t. Solve 10 = a*o - 2*o for o.
2
Let v(z) = -6*z - 6. Let b be v(-4). Solve 0 = 5*f + 43 - b for f.
-5
Suppose -5*n - 4 = -14, -3*n - 2 = -4*w. Suppose 4*c = 4*g - 32, 5*c - 90 = -4*g - g. Let r(f) = -3*f - 3. Let s be r(-2). Solve s - g = w*m for m.
-5
Suppose 3*m = -15, 3*m = 2*z + 4*m + 43. Let l = z + 21. Let o = -1 - -1. Solve -p + l = -o*p for p.
2
Let l = 18 + -12. Solve -3*k - l = -0 for k.
-2
Let b(m) = 19*m + 1. Let x be b(1). Let n be ((-48)/40)/(2/(-5)). Let z(d) = -d**3 + 3*d**2 + 2*d - 2. Let u be z(n). Solve 0 = -u*h - 0 + x for h.
5
Suppose -15*k = -14*k. Solve 0*s - 4*s = k for s.
0
Suppose 1 = 2*w - 3. Solve -2*c + w = -0 for c.
1
Suppose -5*b - 2*v + 21 = v, 4*b - 2 = 5*v. Solve b*m = -0*m for m.
0
Let u = -4 - -4. Let l(d) = -d**3 + d**2 - d + 1. Let q be l(u). Solve 0 = -4*n + 19 + q for n.
5
Let q be (-2)/(7/((-28)/8)). Let y be -3*q*(0 - 1). Solve y*t + 2 = t for t.
-1
Suppose -5*k + 20 = -0*k + 5*o, -5*o + 20 = -4*k. Suppose 2*c + 9 = r, -c + k*c = -4*r + 8. Solve -2*n - r - 3 = 0 for n.
-2
Suppose t + 28 = -4*k - t, -3*k = 5*t + 21. Let x = k + 11. Solve -2 = d - x for d.
2
Let r = 5 + 11. Suppose 2*u + 3*y - 21 = -u, -4*y + r = -2*u. Solve 7*q - u*q = 20 for q.
4
Let v(y) = y**2 - 8*y + 6. Let p(c) = c. Let u(r) = 4*p(r) + v(r). Let m be u(5). Suppose -4 = -5*b + m. Solve -4*l - 5 = b for l.
-2
Suppose 5*l - 40 = 4*t - 9*t, -32 = -5*t - 3*l. Let j = t - -4. Solve 28 = 4*y + j for y.
5
Let k(b) be the third derivative of -b**5/60 + 5*b**4/12 - 3*b**3/2 + 2*b**2. Let v be k(7). Solve 3*a = 7*a + v for a.
-3
Suppose -4 = 4*r - 5*q - 3, 0 = 3*r - 4*q + 2. Suppose -4*u + 2 + 10 = 0. Suppose -u*d = -d - r. Solve d*y - 9 = -0*y for y.
3
Suppose 6 = -4*m - 30. Let r be 9/(-2)*4/m. Solve -r*z = -z for z.
0
Suppose p + 0*p - 2 = 0. Suppose 0 = -2*g + 4 - 0. Suppose -g*v = -v - 6. Solve -b + v = p*b for b.
2
Suppose 0 = -m - 2*m + 9. Solve 0 = -o - m*o for o.
0
Let o(n) = n. Let g be o(2). Let p(s) = s**2 - 2. Let b be p(g). Let x be 3 + ((-6)/2 - -5). Solve 0 = b*c - x*c for c.
0
Suppose 1 + 1 = -2*b. Let t = 0 - b. Solve -n + 0 = t for n.
-1
Let w(x) = -x**2 + x + 6. Let j be w(3). Solve -t + 0 + 2 = j for t.
2
Suppose 5*u = -4*r, -r - 4*u = u + 15. Solve 0 = -3*w + r*w for w.
0
Let w(v) = -6*v + 1. Let i be w(-1). Suppose 3*m - i*m = 0. Suppose -z = -m*z. Solve z = 5*j - 0*j - 15 for j.
3
Suppose -3*k = 2*u - 11, 3*u - 16 = -3*k - 4. Suppose -3*r + 4 - 10 = 0. Let n be 18/4 - (-3)/r. Solve -k = 2*d + n for d.
-3
Let h be (2 - 25/5)/(-1). Solve z + 4 = -h*z for z.
-1
Let v(b) = -3*b - 1. Let r be v(-3). Let c be (5 - r)/((-6)/8). Solve -c = -4*o - 0 for o.
1
Let k be (-2)/4*(-1 - 3). Let s be 0 + 3 + (1 - 3). Suppose 3*w = s + 8. Solve w*h + k = -1 for h.
-1
Let n = -17 + 6. Let k = n - -13. Solve -i = -k*i for i.
0
Suppose 3 = 4*l - 5. Let o be (2 + -1)/(l/110). Suppose -2*j + o = 3*j. Solve 4*q - j - 5 = 0 for q.
4
Let p = 33 - 25. Solve -3*m = m - p for m.
2
Let a = 3 + 1. Suppose 10 = a*x - 2. Let q be (1/2)/(1/10). Solve x*s + q = -1 for s.
-2
Suppose 3*h - 3 = -5*r + 16, 0 = -4*h - 4*r + 20. Suppose 0 = -h*a - a. Suppose -5*u + 5 = 5*p - 15, -p + 3*u = a. Solve -s + p = 1 for s.
2
Let n be (-112)/(-20)*2 - 5/25. Solve 4*s + n + 1 = 0 for s.
-3
Let p(t) be the second derivative of t**4/6 + 5*t**3/3 + 2*t**2 - 6*t. Let w be p(-6). Solve 0 = 2*s + 2*s - w for s.
4
Suppose 0 = -s - 3*p + 11, -5*s - p = p - 29. Suppose -4*l = l. Solve -s = -5*b - l*b for b.
1
Suppose 0 = 4*f - 5*f + 4. Let z be f + 1 + -1 - 4. Solve 3 + z = 3*r for r.
1
Let b = 4 + -4. Let y(p) = -p**2 + p - 1. Let m be y(b). Let d = 5 + m. Solve -d*j - 4 = -0 for j.
-1
Let w = -70 + 103. Suppose 0 = -3*z + 3*m + w, -2*m - 2 = -z + 10. Let p = z - -6. Solve -u + p = -5*u for u.
-4
Let s(p) be the first derivative of -5/3*p**3 - 2 - 1/4*p**4 - 2*p - 1/2*p**2. Let g be s(-5). Solve -g*u + 5 = 2 for u.
1
Let w(d) = -2*d**2 - d + 8*d - d**2 + 2*d**2 - 3. Let r be w(5). Solve -3*y - r = 2 for y.
-3
Let u(h) = -h**2 - 6*h - 3. Let k be u(-5). Solve 0 = -k*n + 4*n for n.
0
Suppose 3*l - 5 = l - 3*o, 2*l = 5*o + 13. Solve l = -0*k - 4*k for k.
-1
Suppose 0 = 16*k - 13*k - 6. Solve -k*t - 25 = 3*t for t.
-5
Suppose 5*d - 50 = -10. Solve -4*o = -d + 20 for o.
-3
Let g = -4 - -6. Let o(u) = -g*u**2 - 2*u - 2*u**3 + u**3 - u. Let l be o(-2). Solve 0 = -l*k + k for k.
0
Suppose 2*w = -4*s + 10, -2*w + 8 = 3*s - w. Let v(r) = r**2 - r - 3. Let q be v(s). Solve -2*d + 2 = -q*d for d.
-2
Suppose -x + 2*x - 8 = -t, t + 13 = 2*x. Let w = -1 + x. Solve 3*m + 0 = w for m.
2
Suppose -2*s + 4*s = 52. Suppose -4*p - s = -5*c, -14 = c - 4*c + 2*p. Suppose 0*k + k - 3 = 0. Solve -k = -c*u - u for u.
1
Let b(m) = -m**2 + m + 10. Let n be b(0). Suppose -2*j - 4 = -2*h, -2*h = -j + h - n. Let c be (-1 - 2/(-2))/j. Solve c = d + d for d.
0
Let p(s) be the third derivative of s**4/24 + 7*s**3/6 + s**2. Let u be p(-6). Solve -2 - u = y for y.
-3
Let g = -2 + -11. Let b = g - -21. Let h = b + -6. Solve 3*n + 2 = h*n for n.
-2
Let h(t) = -2*t**3 - 2*t**2 + 2*t + 1. Suppose -20 = 5*p + 5*r, 4*r + 0 = 3*p - 2. Let c be h(p). Solve -1 + c = -l for l.
-4
Suppose -w - 3*p - 1 = 0, -5 = -3*w - 2*p + 20. Solve 2*v - 1 + w = 0 for v.
-5
Let g be -2*-3*1/2. Let l be (-1)/g - (-70)/21. Solve l*v - 2 + 5 = 0 for v.
-1
Suppose 4*z + 2*c + 14 = 0, -2*z - 2*c - 13 = z. Let y = z + 4. Let u = 18 + -14. Solve -t + u*t = y for t.
1
Suppose -4*v = -6 - 2. Let r = v + -2. Suppose 2*n - 5*i + 5 = 0, 0 = -3*n - 4*i + 10 + 17. Solve 3*y - n*y = r for y.
0
Suppose 31*j = 23*j + 64. Solve -3*n + j*n = -20 for n.
-4
Suppose 2*r + 4*j - 18 = 0, r = -2*r + 4*j - 3. Solve -2*v + 3*v = r for v.
3
Let q(o) = o + 1. Let s(b) = b**2 + 2*b - 1. Let t be s(-2). Let v be q(t). Suppose -n + 3*n - 2*a = -2, 3*a = -n + 11. Solve 0 = -v*l - n*l for l.
0
Let q be (7/(14/(-8)))/(-2). Solve p = -p + q for p.
1
Let a(z) = -z**3 - 6*z**2 + 6*z - 3. Let q be a(-7). Solve -o - q*o = 0 for o.
0
Suppose 2*a - l - 2 = -2*l, -a - 5 = 2*l. Suppose -z + 4*u + 4 = 0, 5*z + 8*u - a*u = 20. Solve -z*k = -0*k - 12 for k.
3
Suppose 3*j - 4 = 4*m + 2, -4*j + 3*m + 15 = 0. Solve 16 - j = -5*b for b.
-2
Suppose 0 = -u + 30. Suppose -a = a - u. Solve -n = -4*n - a for n.
-5
Let o = -18 + 23. Suppose -9*v + o*v = 0. Solve v*j - j = -5 for j.
5
Let n(p) = 3*p - 3. Let i be n(6). Suppose j = -4*j + i. Let m = 3 - j. Solve y + m*y = 4 for y.
4
Let u be 0 + (-4)/(-1)*1. Suppose -11 = -5*h - 2*s, -h - 5*s + u = -12. Let x be 9/h + (-4)/(-4). Solve p - x = -p for p.
5
Let s(o) = 2*o - 24. Let v be s(13). Solve 3*q = q + v for q.
1
Let a(p) = p**3 - 3*p**2 + 2*p - 4. Let z be a(3).