 x = -3*s for s.
-4
Suppose -a - 44 = -5*a. Suppose 0 = 5*m + 4*p - 35, -3*m - p + 9 = -12. Let b = a - m. Solve -s = -3*s + b for s.
2
Let q(m) be the first derivative of m**4/4 + 4*m**3/3 + m**2/2 + m - 2. Let z be q(-2). Suppose -3*c + 2*c = -z. Solve 2 + c = -3*n for n.
-3
Let u(y) = -8*y - 13. Let j(d) = 2*d + 3. Let a(z) = -26*j(z) - 6*u(z). Let o be a(-2). Suppose -13 = g - 36. Solve -3*c = o - g for c.
5
Let x(m) = -m. Let v be x(-2). Solve -v*z + 5*z - 9 = 0 for z.
3
Let i(v) = v + 4. Let j = -15 - -11. Let k be i(j). Solve k*l = -l for l.
0
Let s = -5 - -3. Let b(l) = 11*l + 14. Let v(m) = -7*m - 9. Let d(t) = -5*b(t) - 8*v(t). Let u be d(s). Solve 4*x - 20 = -u for x.
5
Let i = 164 + -161. Solve -i*f + 7 = -5 for f.
4
Let w = -3 - -7. Let d be -1 - ((1 - 1) + -1). Suppose -4*y + 22 = -2*o - d*o, -4*y + o = -25. Solve y*q = w*q - 15 for q.
-5
Suppose -18 = -2*s + 5*s. Let n = s - -10. Solve 6 + 2 = -n*r for r.
-2
Let y be (-2)/4 + (-2)/(-4). Suppose -p = -5*p - 28. Let c = p - -9. Solve c*k = -y - 10 for k.
-5
Let b(f) = -f**3 - 8*f**2 - 10*f - 1. Let l be b(-7). Let r = l - 15. Solve r*o + 9 = 34 for o.
5
Let o be (9 - 9)/(-1 + -1). Solve 0 = -o*f - 2*f for f.
0
Suppose -g = -5*g + 20. Suppose q + 60 = g*q. Solve 2*v - q = -v for v.
5
Suppose -5*k + 23 = -2. Suppose -k*i = -4*h + 7, -2*i + 0 = -h + 1. Suppose m - 32 = -h*m. Solve z - m = 3*z for z.
-4
Let i = 4 + -7. Suppose -w - 4 + 9 = 0. Let d = i + w. Solve 1 = k - d for k.
3
Suppose 0 = -4*d + 12, 0 = j - 5*j + 3*d + 7. Let p be 732/(-108) - 2/9. Let b = 20 + p. Solve 1 - b = -j*z for z.
3
Let q(a) be the third derivative of 11*a**4/24 + a**3/6 - 2*a**2. Let b be q(-1). Let t = -6 - b. Solve 2*d - t*d - 6 = 0 for d.
-3
Suppose 50 = 8*w - 3*w. Suppose f - 10 = w. Suppose s + f = 5*s. Solve -6*u + s*u + 4 = 0 for u.
4
Let h(w) = 2*w**3 - 3*w**3 + 1 + 0. Let y be h(1). Solve y = 3*o - 0 + 6 for o.
-2
Let t be (-2 + -1)*(-10)/(-15). Let m = 7 + t. Suppose 4*b - m*q = 31, -19 = -3*b - b + q. Solve -v = -b*v - 9 for v.
-3
Suppose 2*r = -5*y + r + 12, y - 12 = 3*r. Solve n + 6 = y for n.
-3
Let p(z) = -z**3 + 7*z**2 + 10*z - 4. Let l be p(8). Let w be (l/(-30))/(2/(-30)). Solve -2 = w*u - 4*u for u.
-1
Let b be (-1 - 1)/(-4 - -3). Solve b*o + 3 + 3 = 0 for o.
-3
Let v(q) = -4*q**3 + q**3 - 7*q**3 - q - 1. Let l be v(-1). Suppose z = 3*z - l. Solve -4*h + z = 1 for h.
1
Suppose 18 = -3*z + 18. Solve z = d - 3 + 2 for d.
1
Suppose -3*h - 2*v = 2 - 14, -3*h = -5*v - 33. Let t be (1 + h/(-9))*6. Solve -c - 6 = t*c for c.
-2
Let b = 15 - 3. Let s = b + -9. Solve -6 = -s*c + 3 for c.
3
Let y = 4 + -5. Let u be y*(0 - 1) - 0. Suppose -x + 9 = u. Solve 4*t + x = -0*t for t.
-2
Let l = -6 - -8. Solve -l*x + 20 = 3*x for x.
4
Let c = 9 + -5. Suppose 2*a = -3*x + 6*a + 25, 7 = -3*x - 4*a. Suppose -t - 2*y = y + 3, -30 = -2*t + x*y. Solve -c*s = t + 7 for s.
-4
Let f(s) = s - 2. Let g be f(-5). Let z = 11 + g. Let w(d) = -3*d**3 + d**2 + d. Let h be w(-1). Solve h + 1 = z*o for o.
1
Suppose -8*t + 15 + 49 = 0. Solve 0*z + t = 4*z for z.
2
Suppose 5*a - 14 = -3*t, -2*a - 5*t + 2*t = -2. Suppose 5*x = -0*x - 20. Let g be (-1)/(-1 + (-2)/x). Solve a = 3*c - g for c.
2
Let q = -19 + 31. Solve -r - q = 3*r for r.
-3
Let a = 4 - 1. Suppose -a*t - 2*t - 6 = 4*y, -4*t - 3 = 5*y. Let u be t/6 + (-20)/(-15). Solve 0 = -0*l + l + u for l.
-1
Let u be 1/3 - (-28)/(-12). Let n be u + (-1)/(2/(-4)). Let b be (n/(3/1))/1. Solve 3*s - 5 - 1 = b for s.
2
Let h(k) = -1. Let x(o) = 6*o**2 - o - 4. Let m(p) = -5*h(p) + x(p). Let w be m(1). Solve -25 = w*j - j for j.
-5
Suppose 2*f + d = 6 - 20, 3*d = 3*f + 39. Let h be 1/((-3)/f) - -4. Solve 2*q - 1 = h for q.
4
Let b be ((-3)/(-4))/((-2)/(-8)). Let w be (-2)/3 + 141/9. Suppose -9 = 3*g - w. Solve b = o - g for o.
5
Let q(z) = 6*z**3 - 12*z**2 + 6*z - 4. Let a(c) = c**3 - c**2 + c. Let d(t) = -5*a(t) + q(t). Let f be d(7). Solve 0 = -2*p - 3 - f for p.
-3
Suppose 73 = -3*o + 2*k, 2*o + 3*k + 69 = -2*o. Let f = 22 + o. Solve 2*n + 1 + f = 0 for n.
-1
Let i(x) = 3*x + 1. Let a be i(5). Let n = a + -11. Solve -h - 1 = -n for h.
4
Suppose -40 = -4*c - c. Let x = c + -4. Suppose 0*o + 16 = x*o. Solve 0*y + o = 2*y for y.
2
Let k be (-9)/(-3) - (0 - 0). Let w be 26/8 - k/12. Solve 2 = -o - w for o.
-5
Suppose -3 = g - 7. Solve g = -2*u + 2 for u.
-1
Suppose 0 = -0*i + i - 10. Let a = -2 + i. Let p be 3*(-3)/(-18)*a. Solve 6*l - p*l = 0 for l.
0
Let c = -2 - -6. Let p = -277 + 282. Solve t = p*t + c for t.
-1
Suppose -5*v = -5*r - 40, -4*v + 0*v + 3*r + 33 = 0. Let i be (-1)/2*0 + v. Solve -4*p = -7 - i for p.
4
Suppose -v + 2*k = 3*k - 1, 0 = -5*k - 15. Suppose 0 = -6*h + v*h. Solve 4*j - j = h for j.
0
Suppose -3*h = -0*k + 5*k - 16, 0 = -4*h + 8. Solve -20 = -7*m + k*m for m.
4
Let w = 0 + 7. Suppose w*a + 20 = 5*h + 3*a, 25 = 4*h - 5*a. Solve h*g - 5 = 5*g for g.
-1
Suppose -2*f = -3*f. Solve -2*r + f = 6 for r.
-3
Let x(j) = -7*j - 38. Let i be x(-6). Solve m = i - 1 for m.
3
Let u be (1 + -1)/(-2 + 4). Solve 0 = -2*v - u*v for v.
0
Suppose 0 = 2*h + 3 - 7. Suppose -2*y = 3*k - 12, 0 = -3*y + 3*k + 5 - h. Solve 4 = 2*d - y*d for d.
-4
Let k(p) = -p**2 + 7*p. Let v(z) = z - 3. Let x be v(7). Let j be k(x). Solve 3 + j = -3*q for q.
-5
Let q(s) = s**3 - s**2 - 7*s + 3. Let z be q(3). Solve z*c - c + 5 = 0 for c.
5
Suppose -15*g + 15 = -75. Let d(t) = 9*t + 1. Let v be d(1). Solve -g*s + s = v for s.
-2
Let g be ((-4)/5)/(3/(-15)). Suppose -3*z = g*v - 48, -4*v + 2*z + 6 = -42. Let b(j) = -j**2 + 6*j + 3. Let m be b(6). Solve -7*h + m*h = v for h.
-3
Suppose -5*i - 34 = -3*z, -2*z = 4*i - 5*z + 29. Let m = -3 - i. Solve -h - 9 = m*h for h.
-3
Suppose 3*j + 2*j - 61 = u, -u - 49 = -4*j. Let i(d) = -d - 2. Let n be i(-2). Solve n = r + 2*r - j for r.
4
Let i = 0 + 4. Let t be (i/3)/((-1)/(-12)). Solve -g + 5*g - t = 0 for g.
4
Let m(k) = -k**2 + 5*k + 2. Let p be m(5). Let s = 1 - 0. Suppose -4*f + 6 - 2 = 0. Solve -p*l - f = s for l.
-1
Let b be 3 + (6 - (-3 + 5)). Suppose 3*m - b*m + 36 = 0. Solve -h = 2*h - m for h.
3
Let d(s) = -s**2 - 17*s + 5. Let v be d(-16). Let g = v + -13. Solve 4*y - g = 2*y for y.
4
Suppose 64 = 2*r + 2*r. Let g = -17 - -6. Let p(t) = -t - 7. Let s be p(g). Solve -s*d = -0*d + r for d.
-4
Let n(k) = -k - 8. Let z(o) = 11*o**3 + 1. Let h be z(-1). Let g be n(h). Let i = -4 - -9. Solve w = -i + g for w.
-3
Let q = -9 - -13. Suppose -2 = 2*g, 0 = 2*z + z + q*g - 26. Suppose 4*h = 2*j + 22, h - 2*j = -0*j + z. Solve 0 = 3*m - h*m - 3 for m.
-3
Suppose 4*j - 5 = 3*j. Suppose -10 = -3*h - 2*d - 3, j*h - 19 = 4*d. Solve -h*f - 15 = -6*f for f.
5
Let b(k) be the second derivative of -3*k - 3/4*k**4 + 0 - 3*k**2 + 1/6*k**3 + 1/20*k**5. Let u be b(9). Solve o + u*o = 12 for o.
3
Let h be (3/4)/(1/4). Suppose -5 = -i - 0. Suppose -2*l + 6 = l. Solve -l*g - h = -i*g for g.
1
Let f = 52 + -38. Suppose -18*o = -f*o - 48. Let i = -2 - -5. Solve -o = -t - i*t for t.
3
Let m = 15 + -15. Solve m = 3*z + 2 + 13 for z.
-5
Suppose 0 = 4*c - 5*g - 153, -c - 4*c + g + 165 = 0. Let f be (-17)/(-5) - c/80. Solve -8*i + f*i = 0 for i.
0
Suppose -1 = -3*u + 8. Suppose -i + 6 = -4*c, 6*c = u*c + 3*i. Let m(t) = -2*t**3 - 3*t**2 - 2*t - 3. Let k be m(c). Solve -3*s + k*s = -6 for s.
-3
Let c(b) = -2*b + 2. Let g be c(3). Let d = -35 + 25. Let y be g/d*(0 - -25). Solve y = 4*r + 2 for r.
2
Let i = 5 + -3. Suppose 2 = i*c - z, -c = c - 4*z + 10. Let p = c - 3. Solve -4*h + 9 + 7 = p for h.
4
Let d(k) = -2*k + 19. Let n be d(9). Solve 3*r = 2 + n for r.
1
Let l(g) = -g**2 - 4*g - 1. Let b be l(-3). Let a be (1 - 4 - -3)/b. Solve n + n - 4 = a for n.
2
Let z = -23 - -41. Solve 3*a = z - 3 for a.
5
Let m be 1/2*(0 + -3 - -3). Solve m = 2*f + 2*f - 4 for f.
1
Let v = -56 - -66. Solve 0*s + v = -5*s for s.
-2
Suppose -2*t + 4 = -o, -3*t + 0*t = 3*o - 6. Let k = -28 - -32. Solve -4*f = -o*f + k for f.
-1
Let h(l) = l**3 - 4*l**2 + 8*l - 4. Let w be h(2). Let v(y) = y**3 + 5*y**2 - 4*y. Let p be v(-5). Solve w*c = -c + p for c.
4
Let y = -2 + 3. Let c be 0/(-3) + 2 + y. Suppose 0*m + 15 = -m + 5*h, 2*m = h - 3. Solve m = -u - 2*u - c for u.
-1
Let g(b) = -b**3 - 4*b**2 + 6*b + 5. Let j be g(-5). Let h = j + 0. Solve -f - 2*f = h for f.
0
Let y(o) = -o + 1. Suppose 6 = 2*g - 4*