 = 2*j - s for j.
2
Let h(c) = -c**2 + c**2 + 4*c - 4*c**2 + c**3 + 1. Let x be h(3). Suppose -23 = -5*g - 2*u, 2*u - 3 = 3*g - 4. Solve x = -g*o - o for o.
-1
Let y(i) = i**3 + 5*i**2 - 6*i + 3. Let r be y(-6). Solve 2*q - r = 3*q for q.
-3
Suppose -7*n - 2*m = -3*n - 28, 0 = -2*n - 2*m + 18. Solve 2*z + n = -3*z for z.
-1
Let s = 9 - 6. Suppose -4 + 14 = -4*f + s*u, 5*f - 2*u + 16 = 0. Let m = f + 7. Solve -5 = m*l - 17 for l.
4
Let f be 3 + -1 - (-9 + 9). Solve f*r - 2 = 4 for r.
3
Let b be 8/28 - 4/14. Let c be 1 + b + 0 - -2. Solve -c*a - 2*a = -10 for a.
2
Let a be 28/(3 - -1) + (-6)/3. Let c = -3 + 5. Suppose 0 = -i + 5*r - 15, r + 3 = 3*i + c*r. Solve i*p + a*p + 15 = 0 for p.
-3
Suppose 0*m - 4*u = m, 5*m = -2*u. Suppose b - 3 = 1. Solve c + m = b for c.
4
Suppose 87*q - 83*q = 16. Suppose -4*c + 5 = 3*m + 2*m, c - 5*m + 30 = 0. Let o = c - -7. Solve -q*g = -o*g - 10 for g.
5
Let z(v) = v**2 + 4*v. Let y be z(-4). Suppose y = -4*u + u. Suppose -h + u*h = -r + 10, -h = 3. Solve -3*p - 1 = -r for p.
2
Let f(r) = -2*r - 3. Suppose 3*y = -4*d + 5*d - 11, -4*d + 28 = -4*y. Let p be f(y). Solve 3*u - p = 4*u for u.
-1
Let r(g) = -g**2 - 4*g - 3. Let y be r(-3). Suppose 0 = 3*d + x - 9, -5*x = -d - y*x - 13. Solve s = -d - 2 for s.
-4
Suppose 7*p - 15 = 2*p. Let o(w) = -w**3 - 7*w**2 - 6*w + 1. Let d be o(-6). Let b be 0*(d + -2)/1. Solve b = -m - p for m.
-3
Let j(m) = -m**2 + 5*m + 1. Let l be j(5). Let n = l + 1. Solve -2 = 3*i - n*i for i.
-2
Let l = 18 - 15. Solve 0 = j - 2*j - l for j.
-3
Let z be (3/(-4))/(1/(-4)). Let x be -3*(6/(-9))/1. Solve -x*r = -1 - z for r.
2
Suppose 2*d + 12 = -0*j - 2*j, -21 = 2*j + 5*d. Suppose -4*z - 3 = -3*z. Let n be z + (-10)/(-2) - j. Solve -n*y - 7 = -2 for y.
-1
Let r(v) = 2*v**3 + 6*v**2 + 4*v + 2. Let l be r(-2). Solve 3*j - 4 - l = 0 for j.
2
Let w be (15/(-10))/(3/(-4)). Solve 0 = -w*b - 3*b for b.
0
Let v(m) be the third derivative of m**5/20 - m**4/8 - m**3/6 + m**2. Let u be v(-2). Solve -5*a - u + 2 = 0 for a.
-3
Let d = -10 - -14. Solve -d = 5*f + 16 for f.
-4
Let m = 36 + -29. Solve -5*s + m = -13 for s.
4
Suppose b + 2*b - 9 = 0. Solve b = -k + 2 for k.
-1
Suppose 5*b - 8 = 97. Solve -4*k = -5 + b for k.
-4
Let p be (-1)/3 - (-44)/(-12). Let w(x) be the third derivative of x**5/60 + x**4/12 - 5*x**3/6 + 2*x**2. Let i be w(p). Solve -4*s + 5 = -i for s.
2
Suppose 0 = -4*w - 0*w + 16. Suppose w*u = 5*n + 10 - 4, 2*n + 5*u = 24. Solve 0 = -n*q - 3*q - 20 for q.
-4
Let s = -2 - -4. Suppose 3*d - s = 22. Solve -d = -4*m - 28 for m.
-5
Let o be (-148)/(-24) - 1/6. Let b(y) = -y**3 + 7*y**2 - 7*y + 6. Let g be b(o). Solve 0 = -5*m - g - 5 for m.
-1
Suppose 3*a + i + 2*i - 12 = 0, 20 = 3*a + 5*i. Suppose -5*q + 15 = 5*w, -4*q + 3*w + 5 = -0*w. Solve -f + q = -a*f for f.
2
Suppose 0 = 3*d + 1 - 4. Solve -2*h - d = -3 for h.
1
Let p be ((-2)/6)/((-5)/45). Suppose 0*f = -3*f + p*b - 3, -4*f = -3*b. Suppose -4*i + 7 = -1. Solve c + f = i for c.
-1
Suppose q + 16 = 36. Suppose r + 15 = 4*j, j = -2*j + 15. Let y = -2 + r. Solve -u = y*u - q for u.
5
Suppose 4*z = 5 - 5. Solve -5*h + 6*h - 4 = z for h.
4
Let v(o) = o**2 - 7*o - 6. Let h be v(8). Solve -4*y = h - 14 for y.
3
Let c(m) = m + 1. Let l be c(4). Suppose 0 = -5*x + l*p + 25, -5*p = -0*p. Let h = x + -3. Solve h*i - 3*i = 0 for i.
0
Let r(d) = d**3 - 6*d**2 - 7*d - 4. Let o be r(7). Let m(b) = b**2 + 5*b + 6. Let h be m(o). Let v be (-4 - -2)/(h/(-10)). Solve 2*j - v = -0*j for j.
5
Let c be 2*1 + -5 + 6. Suppose c*o - 6*o = -6. Suppose 0 = -4*s + 3*g - g + 36, 3*s + 4*g = 5. Solve 5*d - o = -s for d.
-1
Suppose 3*q + 26 = 5*v - q, 5 = 5*q. Let s be 3/(-9) - (-2)/v. Solve 4*o - o = s for o.
0
Let x be (-1 - -1) + (1 - -23)/6. Solve -x = 3*s + 2 for s.
-2
Let k = 14 + -4. Solve -i + k = 4*i for i.
2
Suppose 0 = -4*t + 4*a - 4, -3*t + 0*a + 1 = a. Suppose 4*k - 8 = -t*k. Let x = 422 - 422. Solve x*f + k*f = -8 for f.
-4
Let f = 5 + -5. Let k be 4/(-12) - 16/(-3). Suppose -5*a + k = -20. Solve -n + 4 - a = f for n.
-1
Let v(d) = d**3 - 6*d**2 - 7*d + 7. Let o be v(7). Suppose 0 = 2*r - o - 1. Solve -r*s - 18 = -6 for s.
-3
Suppose 0 = o + 4*x - 12, 4*x - 13 + 1 = 4*o. Suppose -3*q - q + 36 = 4*j, 4*q - 24 = -2*j. Let y = j - 2. Solve o = -g - y + 1 for g.
-3
Suppose -3*s - 3 = -0*s - 4*q, 4*s - 9 = q. Suppose 4*t = -4*u, s*t = -3*u + t + 2. Solve -u + 22 = -4*p for p.
-5
Let f be 14/(-49) + 200/14. Let n = f - 12. Solve 0 = n*u - 0*u for u.
0
Suppose 2*m = -m + 21. Let i = m + -5. Solve -i - 10 = -3*a for a.
4
Let o(v) = v**2 + 3*v - 3. Let t be o(-4). Solve h - t = 2 for h.
3
Let j = 2 - 0. Let c be (-34)/(-3) + j/(-6). Suppose -2*n + 4*z + 35 = -c, -5*n = -5*z - 120. Solve 2*t = 7*t - n for t.
5
Suppose 5*l - 19 = -14. Solve -3*g - l = 11 for g.
-4
Let v be ((-18)/8)/((-3)/12) + -3. Solve v = 5*o + 1 for o.
1
Suppose 5*w = 2*w + 5*b - 22, -3*b + 10 = -5*w. Solve 2*d - 1 = w for d.
1
Let f be 4 + (3 - 0) + -1. Solve 3*k + f = -0 for k.
-2
Let w = 50 - 45. Solve -w*f + 5 = -15 for f.
4
Suppose 7*a - 3*a = 24. Suppose x + 10 = a*x. Solve 0 = -0*c - x*c + 4 for c.
2
Let d(q) = 4*q - 74. Let i be d(19). Solve 0*p + i = -2*p for p.
-1
Suppose -11*h - 11*h + 44 = 0. Suppose 3*k + 8 = -5*g - 2, -2*k + 4*g = -8. Suppose 0 = -3*v + 5*o - 25, k*v - 5 = 4*v - o. Solve v = 5*c - 7 + h for c.
1
Suppose 2*v - 6 = 2*u, -2*u + 0*v = 2*v + 2. Let j be 15 + (-1 - u) + -2. Suppose -4*s - q + 43 = 0, -3*s + q + 27 = -j. Solve -4*t = -t + s for t.
-4
Let u be (-32)/(-14) + 10/(-35). Solve -4*p + 10 = -u*p for p.
5
Let c = -154 - -159. Solve s - c*s = -4 for s.
1
Let j(q) = -9*q. Let m be j(-2). Let d = m - 10. Suppose 3*c + 2 = d. Solve 0 = t - c for t.
2
Let o = -6 - -7. Solve -o = -c - 0 for c.
1
Let z(i) = -i**2 + 11*i - 16. Let y be z(8). Solve -3*c = -y*c - 15 for c.
-3
Suppose -4*k - 2*j + 70 = 0, -4*j = -3*j - 5. Suppose n = 6*n - k. Suppose 3*o = 8 - 2. Solve 10 = -o*m - n*m for m.
-2
Suppose 0 = 14*b + b - 45. Solve -b = w - 4 for w.
1
Let n(w) = 22*w**2 - 2. Let u be n(1). Let x be (0/1)/(-2 - -4). Suppose -i - 4*i + 25 = -4*p, 4*i - p - u = x. Solve i*d + 9 = 2*d for d.
-3
Suppose 2*f - 6*f = 4*l + 4, 0 = 4*l + f - 2. Suppose 0 = -2*c + l + 3. Let o(d) = -d - 10. Let r be o(-10). Solve 5*x + c + 8 = r for x.
-2
Let q be (14/6)/((-2)/6). Let g be 14/(-49) - 30/q. Suppose u - g = -2. Solve 0 = k + u - 0 for k.
-2
Suppose i + 6 = 2*v - i, 4*v = -3*i + 19. Suppose -2*f - 1 = -3. Let r be (-6)/f*-2 + -1. Solve 3*y = -v - r for y.
-5
Let k be ((-14)/(-2))/(-4 - -3). Let s be (-2)/k + 19/7. Solve s*m - 12 = -0 for m.
4
Suppose -5*u + 31 = -4*n, -4*u - 4*n - 4 = -0*u. Let v be -1 + 2 + (-92)/(-4). Suppose 5*s - v - 6 = 0. Solve -u*p + s*p + 12 = 0 for p.
-4
Let b = 1 - 1. Suppose 5*j + 8 = 4*o, -2*o = 2*j - b - 4. Suppose 0 = -j*v + 5*v - 10. Solve 7*g - v*g = 5 for g.
1
Let q(m) = 2*m - 13. Let i = 27 - 18. Let j be q(i). Let f(b) = -b**3 + 5*b**2 + 2*b - 6. Let d be f(5). Solve 0 = p - j*p + d for p.
1
Let z be 200/64 + 2/(-16). Solve 1 = -z*t + 4 for t.
1
Suppose 5*o - 5*g = 70, 5*g = -6 - 14. Suppose 2*a + 4*l - o = -3*a, -a - 5*l + 2 = 0. Solve r + 0 = a for r.
2
Suppose 4*y = 7*y. Suppose -6*f + f + 20 = y. Suppose 0*l = -l + 5. Solve f*s + s = -l for s.
-1
Let t(u) = u**3 + 4*u**2 + 2*u - 1. Let z be t(-2). Suppose 0 = -3*k - 5*q + 4, 4 = 2*k + 2*q - 0. Let w be (3 + k + -6)/3. Solve z*r + w*r = 9 for r.
3
Suppose -1 - 11 = 3*b, -5 = -w - b. Solve w*m = 4*m for m.
0
Let o(i) = -i**3 - 2*i**2 + i + 2. Let d be o(-2). Solve d = 6*v - v - 25 for v.
5
Suppose 6*b - 8 = 4. Solve 4 = b*r - 4 for r.
4
Suppose -14 + 78 = -2*f. Let o = -17 - f. Solve 0 = k - 6*k + o for k.
3
Let g(s) = -s**2 - 5*s + 8. Let w be -3 - (0 + 1 + -6). Suppose -2 = -2*t - 4*h + 2, 3*t + w = -4*h. Let o be g(t). Solve 2*i - 4 = -o for i.
1
Suppose 3*y - 25 = -1. Let b = 12 + -5. Let o(j) = 6*j - 1. Let h be o(1). Solve -h*r = b + y for r.
-3
Let d = -79 + 81. Solve -15 = -d*f - 3*f for f.
3
Let f = -20 - -19. Let x(m) be the second derivative of 3*m**4/4 - m**2/2 + m. Let s be x(f). Solve 2 + s = -5*h for h.
-2
Let i(v) = 12*v + 3. Let s be i(-2). Let w = -18 - s. Solve 6*o - w*o = 0 for o.
0
Let n(l) = l**2 + 3*l - 8. Let d be n(-5). Solve 5*h - 4*h = d for h.
2
Let w(m) = -2*m. Let o