3 = g*x + 8 for x.
5
Let h(w) = -2*w**3 - 2*w**2 + 2*w + 2. Let k be h(-2). Suppose 2*o = 4 + k. Suppose 2*i = i + o. Solve 4*z - i*z = 2 for z.
-2
Let u(i) = i + 2. Let c be u(18). Suppose -4*a + 16 = -4*r, -a - r = -4*a + 18. Solve 2*v - a*v = c for v.
-4
Let k(r) = -3*r + 2. Let w be k(-2). Let b(n) = n**3 - 7*n**2 - 8*n + 6. Let j be b(w). Let z be (-234)/(-42) + j/14. Solve -z*h = -h for h.
0
Let r = 7 - 1. Solve k - 15 = r*k for k.
-3
Let s(h) = h - 6. Let x = 18 - 12. Let j be s(x). Let t(g) = -g**2 + 6*g + 3. Let w be t(5). Solve j = 3*n - n + w for n.
-4
Suppose -5 = -3*u + 2*u. Solve u = 3*p + 11 for p.
-2
Let w = 1 + -3. Let p be ((-3)/(-2))/(w/(-4)). Solve -4 = p*x + 2 for x.
-2
Suppose 39 = -x + 3*l, 2*x = -l - 73 - 19. Let c be ((-20)/(-6))/((-6)/x). Let d be (-19)/(-7) - 4/(-14). Solve -2*y - c = d*y for y.
-5
Suppose 0 = -y + 88 - 87. Solve -4*v - 15 = y for v.
-4
Suppose 0 = o - 7*o + 12. Suppose 3 = 3*a - 0, 3*f + 4*a = 16. Solve f = -0*r + o*r for r.
2
Let i(s) = s + 8. Let g(m) = 3*m + 17. Let v(z) = -2*g(z) + 5*i(z). Let u be v(-10). Solve -u = -0*w - 4*w for w.
4
Let z(p) = 0*p + 5 - 3*p + 2*p. Let g be z(4). Suppose -b - 5*t = -23, b - 2*b - g = -t. Solve 2*v + 25 = -b*v for v.
-5
Suppose -2 = -v - 3*p - 0, -v + 2 = 5*p. Suppose 2 = h - v*w, h - 4*h + 18 = -2*w. Solve h = -2*u - 2 for u.
-5
Suppose 0 = 3*y + 2*b - 15, 5*y + 5*b = 3*b + 29. Solve -j + y = 3 for j.
4
Let p be (-3)/9 + (-34)/6. Let m be (p/(-4))/(3/4). Suppose -k + m + 15 = 0. Solve 4*r + k + 3 = 0 for r.
-5
Let z(q) = 7*q - 1. Let x be z(1). Suppose -s = -5*p + p + 18, -3*s - 18 = -3*p. Let d be 3/x - 2/p. Solve d*u + u - 2 = 0 for u.
2
Let l be -2 + 93 + (5 - 2). Suppose 26 = 4*j + l. Let b be (6 + 3)/(-3) - j. Solve -2 - b = 4*g for g.
-4
Suppose 22 + 18 = 2*o. Solve 5*h + o - 5 = 0 for h.
-3
Let f(o) = o**3 + 8*o**2 - 9*o + 20. Let v be f(-9). Solve -v = 7*s - 3*s for s.
-5
Let i be 0/(-3) + (1 - -15). Solve 3*w + i = -w for w.
-4
Let o(n) = n**2 - n - 2. Let c be o(-2). Suppose h - c = -3*h. Solve 0 = -3*w + 14 + h for w.
5
Suppose -6*u + 156 = -0*u. Let i = u + -25. Solve -2*a - i = -11 for a.
5
Suppose 3*i + 0*i - 15 = 0. Suppose r = i*c - 0 + 5, r = -5*c - 5. Solve r = -4*j - j + 15 for j.
3
Let j = -5 + 8. Let z = 0 + j. Let t be -6*(-6)/9*z. Solve -8*y = -4*y + t for y.
-3
Suppose 3*u + 6 = 0, -2*l + 2*u - 5*u = 6. Solve 0 = -4*p - l*p + 20 for p.
5
Suppose -2*m + 7 = 1. Suppose -3*x - 3 = m. Let t be 0 + (-12 - x)/(-2). Solve 0 = -0*s - s - t for s.
-5
Suppose 38 = z + 3*z + 2*r, 5*r = 5*z - 55. Solve 0 = 4*t - 2*t - z for t.
5
Let m be ((-18)/(-10))/((-12)/(-40)). Solve -2*c + 16 = -m*c for c.
-4
Let z be 0*((-4)/1)/(-4). Solve z = f + 4*f + 20 for f.
-4
Suppose -2*u - 8 = 0, 5*v = 5*u - u + 36. Solve 7*y - v = 3*y for y.
1
Let k be ((-3)/9)/((-2)/6). Solve -11 = -3*n + k for n.
4
Suppose -4*m - 4*y = 28, -2*y = 3*y + 25. Let d be m - (-9*1 - -2). Solve d*a - 16 = a for a.
4
Let r be (-4 + (-18)/(-4))*30. Solve -3*w + r = 2*w for w.
3
Let h(a) = 5 - a**3 - a + 11*a**2 - 4*a**2 + 0*a**2 - 6*a. Let y be h(5). Solve i + 3*i = y for i.
5
Suppose h + 2*o = 6*h - 93, 3*h = -5*o + 31. Suppose -4*g - h = -97. Solve -3*t - 5 + g = 0 for t.
5
Suppose 3*m = -0*m + 6. Suppose 2*j = -2*j + m*a + 86, 0 = 5*a + 15. Suppose -5*r + 10 = 2*u - 0, 4*u - j = r. Solve r*c + 5*c = 10 for c.
2
Let t(j) = -j**3 + 5*j**2 - 5*j + 6. Let h be (3/(-6))/((-2)/16). Let d be t(h). Suppose -2*k + 8 = -d*u, -4*u = 3*k - u. Solve k*y = -y + 12 for y.
4
Suppose 0 = 3*h + u - 12, 3*h - 8 = -h - 4*u. Suppose -5*c - h = -20. Suppose 0 = 2*v + 3*v - 10. Solve v = 5*f - c for f.
1
Suppose 2*f = -0*f + 46. Suppose 2*t - 3*u - f = 0, -t + u = -2*u - 19. Suppose t*m - 20 = -4. Solve m = d - 1 for d.
5
Suppose -2*i = -0*i - 10. Suppose -16 = -i*o - 1. Let q = 2 + o. Solve 0 = -2*c + c + q for c.
5
Let r be 5 - (3 - (2 + -2)). Solve -r = 4*o - 6 for o.
1
Suppose 0*s + 2*s = -8. Let m = 4 + s. Suppose -5*q - k = -m*k - 5, 1 = q + k. Solve f = -0 - q for f.
-1
Suppose -3*q = -2*a + 6, 2 = 4*a + 4*q + 30. Let w = 0 - a. Suppose 2*b = -17*b + 19. Solve b = -2*p + w*p for p.
1
Let w be (-3)/((-18)/(-4))*-6. Suppose -27 = d + 5*i, -w*d - i = 7 + 6. Let m be 5 - (-2 - (-3 - d)). Solve 0 = m*v - v + 5 for v.
-1
Suppose -5*v + 0*v = 25. Let a be (-5)/(-2) - v/(-10). Solve q - 6 + a = 0 for q.
4
Let i(n) = -n**2 - n + 16. Let c be i(0). Let z = -11 + c. Solve -3*f = -z*f + 4 for f.
2
Let h be (-3)/6*8 - 2. Let y be (-2)/h + (-60)/(-9). Solve y + 2 = -3*j for j.
-3
Let y = -18 - -12. Let m = 8 + y. Solve -m = -2*j + 4*j for j.
-1
Let k be (-1)/1*(-7 - (-1 + 1)). Solve -2*r - 3 = -k for r.
2
Let x = -11 - -6. Let k = x + 17. Solve 0 = 3*s + k - 0 for s.
-4
Let p = 18 + -6. Solve 0 = 4*o - o - p for o.
4
Suppose 66*n = 61*n + 15. Solve 0 = z - n - 1 for z.
4
Let s = 3 + -4. Let n(y) be the first derivative of -3*y**4/2 - y**3/3 + 2. Let w be n(s). Solve 0*m + w = -m for m.
-5
Let p(y) = 2 + 3*y**3 - y - 4*y**3 - 1 - 3*y**2. Let d be p(-3). Suppose d*k + 4*g = 24, 0*k = -5*k - g + 18. Solve -3 = -2*f + k*f for f.
-3
Let q be 6 + -10 - (-8)/2. Let f = 7 + 13. Let h = -2 - -6. Solve q*t - f = -h*t for t.
5
Let d(f) be the first derivative of -1/4*f**4 - 7*f - 1 - 1/2*f**2 - 8/3*f**3. Let n be d(-8). Solve -n = -2*j + 1 for j.
1
Let d = -18 - -31. Let q = d - 8. Solve -q*j = -0*j - 5 for j.
1
Let t = -4 + 6. Let x be (-1)/(t/(-4)*1). Solve f + x*f = -9 for f.
-3
Let b = 3 - -2. Suppose -5*l - 12 = 3*q + q, b*q + 15 = 5*l. Let p(o) = -5*o**3. Let u be p(-1). Solve -2*y + 1 + u = l for y.
3
Suppose -9 = -d - 3*t - 0, d + 4*t = 11. Solve 0*x + 3 = -d*x for x.
-1
Let r(q) = -q**3 + 4*q**2 - q + 1. Let m be r(3). Let l be 2 + (-3 + m - 3). Solve -l*i = i for i.
0
Let v = 4 + -1. Suppose -17 = -3*y - 2*d, 0 = 2*y - v*y - 2*d + 11. Solve 15 + 0 = -y*i for i.
-5
Suppose c = 2*r - 7, c + 3 = 2*c. Let k be (-1 - -1)/(2/(-1)). Solve k + 5 = r*q for q.
1
Suppose -28 - 20 = -8*x. Solve -5*l + 1 - x = 0 for l.
-1
Let r be 2/(1 + -3 - -1). Let i = r + 4. Solve -i*q + 12 = 2 for q.
5
Suppose 0 = 3*n + 1 - 10. Solve w - n = -2 for w.
1
Let r(z) = z + 8. Let v be r(0). Let i = v - 4. Suppose -6*h = -h. Solve 2*k - i + 0 = h for k.
2
Let b(x) = -6*x - 18. Let z(s) = s + 3. Let u(l) = -6*b(l) - 39*z(l). Let o = 64 + -72. Let p be u(o). Solve -8*w - p = -3*w for w.
-3
Suppose -120 = -3*i + 3*k, 160 = -i + 5*i - 5*k. Suppose 3*a - i = -a. Suppose -3*y + a = 2*y. Solve 0 = -y*z - 8 for z.
-4
Let v(z) be the first derivative of -z**2/2 - 3*z + 2. Let s be v(-3). Solve s = 2*n - 3*n + 5 for n.
5
Suppose -3*i = c - 0*c + 33, 0 = 5*c + 5*i + 125. Let x = c - -21. Solve x = -0*l + 5*l + 20 for l.
-4
Let a = -4 - -7. Suppose p - 5*l - 3 = 0, 3*l - 2 = 4*p + a. Let j be (-2)/(-3)*3 - p. Solve j*x = -x for x.
0
Let a = 58 - 81. Let k be 1 - (-3)/3*1. Let o be -1*(a + k) - 0. Solve -o = -5*u + 4 for u.
5
Let i = 12 - 12. Solve 2*w - w + 3 = i for w.
-3
Suppose -2 - 4 = -v + i, 0 = -2*v - 2*i + 4. Let z be ((-6)/v)/(6/(-8)). Solve a = z*a for a.
0
Let y = -11 - -13. Solve -1 = -y*w + 9 for w.
5
Suppose -b - 3*q = -11, -2*b - 3*b + 5*q + 15 = 0. Suppose b = 5*t - 5. Suppose t*s - 3*y = 2, 3 = 3*s - 4*y - 1. Solve -a - 5 = -s for a.
-1
Let h = -2 + 11. Let l be (4/1)/(-4) + h. Solve 3*w - 20 = -l for w.
4
Suppose 0 = 4*q + 4, 4*a = 2*a - 2*q + 2. Let n = -124 + 130. Solve a - n = 4*z for z.
-1
Let n(z) = 5*z + 4. Let s be n(5). Let r(m) = m**3 + 3*m**2. Let d be r(-3). Suppose -4*a + s + 3 = d. Solve 2*f - 6*f - a = 0 for f.
-2
Let j be 2*(-4)/(-8)*9. Solve 5*u + 1 + j = 0 for u.
-2
Suppose t = -0*t + 12. Suppose -2*s + 14 = 4*r, 4*r - 3*s + t = r. Solve 7 = -3*h + r for h.
-2
Suppose -4*f + 20 = f. Suppose -f*n = -0*n - 56. Suppose -3*b + b = -2. Solve 5*d = b + n for d.
3
Suppose -d - 1 = 2*x, x - 5 = -2*d - 1. Solve -d*g + 4 = -2*g for g.
4
Let w(g) = g**2 + 3*g - 7. Let h be w(-5). Solve 8*n + 20 = h*n for n.
-4
Let v(y) = 3*y - 17. Let h be v(7). Solve 9 = h*m + 1 for m.
2
Suppose 2 = 5*q - 23. Solve -q*k = -k for k.
0
Suppose -5*g = -8*g + 12. Solve 0 = -4*j - 0 - g for j.
-1
Let p(x) = -x + 1. Let b be p(5). Let h be (4/(-16))/(1/b). Solve u + 4 - h = 0 for u.
-3
Let y(f) be the third derivative of -4/3*f**3 + 0 - 3*f**2 + 0*f -