*g - 12 = d*g for g.
-4
Suppose -2*g - 4*p = -3*g + 16, 0 = -4*g - p + 47. Solve 6*u = 3*u - g for u.
-4
Let p be (3/2 - 3)*-18. Solve -4*u = 7 - p for u.
5
Suppose -3*x - 4 = 2*o, x - 3 + 6 = o. Let d be (2 + -1)*-1 + o. Solve 2 = 2*n - d*n for n.
1
Suppose 3*t - 66 = -2*b, 0*b - 2*b + 50 = -t. Let m = -27 + b. Solve m = k + 3*k - 16 for k.
4
Let u(w) = w**3 + 3*w**2 - w - 1. Let q be u(-3). Solve 0*y - 10 = q*y for y.
-5
Let w(l) = -l**3 + 11*l**2 + 10*l + 27. Let j be w(12). Solve -j*a = -0*a for a.
0
Let m(b) = -b**2 + 15*b - 18. Let a be m(13). Suppose -4 = -9*h + a*h. Solve -h*j - 8 = 12 for j.
-5
Let j(c) be the third derivative of c**4/8 - c**3/2 + c**2. Let w be j(2). Suppose -2*y - 6 = -4*y. Solve -w*s - y = -0*s for s.
-1
Suppose -2 = 7*m - 30. Solve 2*w - 6 = m*w for w.
-3
Suppose 0*t - 2*t = -6. Let q = -21 + 29. Solve q = -x - t*x for x.
-2
Suppose o - 8 = 4. Let y be 28/o + 1/(-3). Solve 0 = -x + y*x - 1 for x.
1
Suppose 5*t = -2*d + 37, -2*d + 9 = -3*d + 3*t. Suppose -d*v + 20 = -v. Solve -2*b = 14 - v for b.
-5
Suppose -7*n + 238 - 217 = 0. Solve 8*j = n*j for j.
0
Let z = 6 + -4. Let c be 3/z*(1 - -1). Solve -5*f - c = -8 for f.
1
Let k(d) = d**3 + 5*d**2 + 3*d - 4. Let x be k(-4). Suppose 3*n - 5*i = -x*n + 1, n = 2*i - 1. Solve 0 = n*j - 4*j for j.
0
Let r(l) = 2*l - 2. Let f be r(3). Let u(s) = s + 3. Let a be u(-3). Let d be (a - (-6 - 0)) + -1. Solve -d*j = -1 - f for j.
1
Suppose 4*r = -s + 28 + 23, 0 = 5*r + 3*s - 69. Solve 6*w - 6 = r for w.
3
Let x be 1216/209 - 2/(-11). Solve -3*i = -i - x for i.
3
Let v(q) = -17*q + 2. Let o be v(2). Let b = -20 - o. Let p = -6 - -9. Solve -m = p*m - b for m.
3
Suppose -5*g = -0*g + 40. Let f be 4/g - 9/(-2). Let m = -36 + 40. Solve -f*k + m = 16 for k.
-3
Let n(r) = -r**3 + 10*r**2 + r - 7. Let y be n(10). Let l be 1*(y - 9/3). Solve l = -a + 5 for a.
5
Let f = 4 - 1. Solve 4*i = -19 + f for i.
-4
Suppose 6 = 10*b - 7*b. Let z(s) = s**3 + 6*s**2 + s + 6. Let k be z(-6). Solve k = -0*h + b*h - 8 for h.
4
Suppose -79 = -4*x + y, -3*x - 5*y + 109 = x. Let t = x + -11. Let i(u) = -u + 9. Let a be i(4). Solve t = -a*h - 5 for h.
-3
Let k be 4 - (3 + -2)*3. Solve 5*b + 19 = -k for b.
-4
Let k = 25 + -43. Let n = k + 30. Solve 5*v - n = 3 for v.
3
Suppose -2*b = -4*b + 2. Let n be ((-3 - 0) + 3)/1. Suppose n*s + s = 0. Solve -a + b = -s for a.
1
Let c be 2/4*6 + -3. Solve -2*w + w + 3 = c for w.
3
Let m(c) = c**3 + 6*c**2 + 5*c - 6. Let z be m(-5). Let k(a) = -a - 3. Let s be k(z). Solve -2 = -4*u + s*u for u.
2
Suppose -p - 2 = -0*p. Let x = 0 - p. Solve 0 = -0*u + x*u for u.
0
Suppose 0 = -3*n - 2*j - 4 + 3, -4*j = -4*n + 12. Let p(u) be the first derivative of u**4/2 - u**3/3 + u**2 - u - 11. Let l be p(n). Solve -2*y + 0 = l for y.
-1
Let v(k) = k**2 + 9*k + 10. Let l be v(-8). Solve -l + 8 = 2*w for w.
3
Suppose 7*s - 2*s = 180. Suppose 0*h - s = -4*h. Let q = h + -4. Solve 15 = q*u - 10 for u.
5
Let i be (-1 - -4)*2/1. Let o(a) = -6*a**2 - 3*a**3 + 4*a + 2*a**2 + i*a**3 - 2*a**3. Let p be o(3). Solve 4*m = p + 1 for m.
1
Suppose 0 = 5*l - 2*l - 12. Let t = 6 - l. Suppose 1 = -q + 5*s, -4*s + 0 = -4. Solve -8 = -q*b + t*b for b.
4
Let z = -22 - -35. Let i(c) be the second derivative of -c**3/6 - c**2/2 + c. Let x be i(-6). Solve z = -x*b - 7 for b.
-4
Let z = 212 + -197. Solve -z = 3*y - 6*y for y.
5
Let v = 4 - 7. Let o be (-2)/(2/v - 0). Solve 0*t + o*t = -15 for t.
-5
Let v = 41 + -32. Solve -f - v = -4 for f.
-5
Let t be -4 - 5/(5/(-2)). Let u(i) = -2*i - 1. Let s be u(t). Let v = 25 - 9. Solve l - v = -s*l for l.
4
Suppose -f - 4 + 21 = 0. Suppose 4*t + f = -35. Let w = t - -22. Solve w - 1 = 4*x for x.
2
Suppose -3*l - 24 = -5*l. Let r be (-1)/6 - (-50)/l. Let i be (0/3)/2 + r. Solve 0*y = i*y for y.
0
Let a(k) = -k**2 + 8*k + 6. Let i be a(7). Suppose 3 = 4*b - i. Suppose -b = -0*n + n - f, 5*n = -5*f + 20. Solve 0*j + j = n for j.
0
Let k be ((-4)/3)/((-34)/51). Solve -k = -5*n + 6*n for n.
-2
Let u = -5 + 9. Suppose 4*q = 4*z - u, -5*z = -q - 8 - 5. Let k = z - 3. Solve -4*s + 2*s = k for s.
0
Suppose -5*p = -2*p - 3. Solve 3 = -4*d - p for d.
-1
Suppose 4 = 2*n - n. Let t = 19 + -13. Suppose 2*g - t*g + 16 = n*q, g = -3*q + 8. Solve s + q*s = 0 for s.
0
Let h(n) = n**2 - 5*n - 2. Let q be h(5). Let m be 1 - q/2 - -1. Solve 0 = 3*d - m for d.
1
Let d = 12 + -8. Suppose -2*l = -4*p - 22, l - 2*p - 3*p = 23. Solve -d*u = -l*u - 1 for u.
1
Let p = 3 - 1. Let f be 0/(2/2 - p). Suppose -v + 0*v + 4 = f. Solve -2*c = -6*c - v for c.
-1
Let d = 4 - 9. Let k be (-1 - d)*3/4. Solve 12 = -0*o + k*o for o.
4
Let v = -18 - -29. Let i = 11 - v. Solve -5*d - 25 = -i for d.
-5
Suppose -4*o = 5*g + 49, -4*o + 3*o = g + 10. Let j = -24 + 38. Let c = g + j. Solve c*t - t + 12 = 0 for t.
-3
Suppose 0*n = 3*n. Suppose n = 3*l - 8 + 2. Solve 6 = -l*x - 4 for x.
-5
Suppose 3 + 3 = 2*b. Suppose -b*x = 2*x - 15. Solve -s + 2*s = -x for s.
-3
Let f be 4/(-18) + (-76)/(-18). Solve 2*u + 0 = -f for u.
-2
Let l(u) = 2*u - 1. Let y be l(1). Suppose x = -y, 2*h - 3*x - 13 = h. Suppose -2*t = 3*t - h. Solve -t*p - 1 = -9 for p.
4
Let g = -2 - -2. Suppose -4*t + 2*t - q + 16 = 0, q = 0. Solve g*y = 4*y - t for y.
2
Suppose 0 = 3*m - 4*m - 4. Let x = 0 - m. Solve 0*q = -x*q + 4 for q.
1
Suppose -2*c - 82 = -3*u, 3*c + c - 16 = 0. Let n be (6/5)/(9/u). Suppose 0 = 2*w - z - 6, 0 = -2*w + n*z - z + 10. Solve w*g - g = 0 for g.
0
Let r(v) = v**3 + 8*v**2 + 7*v + 5. Let b be r(-7). Let g = 5 - b. Suppose z = -x - 4*x + 7, g = 5*x - 3*z + 1. Solve 2*l - x = -5 for l.
-2
Let i be 4*(-21)/(-18) - (-6)/(-9). Solve -i = -l + 1 for l.
5
Suppose 0 = 9*y - 1 - 44. Solve 2 + 3 = y*j for j.
1
Suppose -3 = -2*i - 1. Solve 0 = k - i for k.
1
Let l be 12/(-42) + (-44)/(-7). Solve -2*s = l - 2 for s.
-2
Suppose a + 0 = 8. Solve 0 = 3*d - d + a for d.
-4
Suppose 7 = 2*o - 1. Let m be ((-104)/28 - -4)*7. Solve o - 2 = m*l for l.
1
Suppose 3 = q - 2*l, -4*q = -2*l - 12 - 6. Solve -3*b = 2*b + q for b.
-1
Let x(p) = -p**3 - p**2 - p + 4. Let q be x(0). Solve 0*u = q*u for u.
0
Let j(d) = -5 - d**3 - d - 4*d**2 + 0*d**3 + 6. Let f be j(-4). Suppose 3*a - 4*c + 12 = 0, -12 = -2*a + 3*c - 7*c. Solve a*z = f*z for z.
0
Let v(n) = -4*n + 6*n**2 - 3*n**2 - 2 - 4*n**2 - n. Let y be v(-4). Solve -f + y = f for f.
1
Suppose k - 5*t - 8 = 0, 5*t = -4*k + 3*t + 10. Suppose -7 = -4*b - k. Solve -3*u + b - 7 = 0 for u.
-2
Let q be (-46)/115 - 17/(-5). Solve q + 1 = -2*s for s.
-2
Let d = 10 + -6. Let c(m) = -m**3 + 5*m**2 - 2*m - 4. Let f be c(d). Let h be (f + -1)/(9/6). Solve -4*l + h*l = 8 for l.
-4
Suppose -2*l - 2*g - 2 = 0, 5*g + 4 = -3*l - 5. Let t(m) = 2*m**3 - 2*m**2 + m + 2. Let u be t(2). Suppose -l*i = i - u. Solve -1 = -i*j + 7 for j.
2
Let z(w) = w**3 + 2*w + 4. Let c be z(0). Solve -c*s = s + 5 for s.
-1
Suppose -2*n - p + 10 = 0, p = 2*n - p - 4. Let v = n + 17. Let g = -1 - -7. Solve v = -5*c + g for c.
-3
Let j be 6 + 0 + 1 + 1. Suppose 2*f = f + j. Let u = 11 - f. Solve 0*l + u*l = -15 for l.
-5
Let b(r) = -4*r + 2. Let i be b(-1). Solve f - i*f - 5 = 0 for f.
-1
Let b be 257/5 + (-2)/5. Suppose 2*z = -1 + 5. Let c be b/z - (-1)/(-2). Solve 0 = -5*q - 0 - c for q.
-5
Let c be (18/3)/(3/2). Let w = -4 + c. Solve 3*s + 2*s + 25 = w for s.
-5
Let k = -30 - -35. Solve 2*q - q = k for q.
5
Let f(l) = 16*l + 5. Let v be f(1). Solve v = -4*g + 5 for g.
-4
Let r = -5 + 7. Let f(m) be the first derivative of m**3/3 + 2*m**2 - m - 2. Let o be f(-5). Solve r*b = -2*b - o for b.
-1
Let t = 68 - 60. Solve 0 = 2*n - 0*n + t for n.
-4
Suppose u - 5 = 5. Suppose -u = -5*t + 4*t. Let f be (t/3)/((-2)/(-3)). Solve 0*g - 5 = -f*g for g.
1
Let g = 21 + 8. Suppose -4*z + 5*i + 23 = 0, -z + i - g = -5*z. Suppose -3*r = -z*r. Solve r*n = n - 5 for n.
5
Let g(n) = -n - 6. Let j be g(-11). Solve -j = -5*b - 30 for b.
-5
Let h(r) = -3*r. Let p be h(-1). Let k be (6/(-3) - -1) + p. Let c(d) = -2*d + 12. Let t be c(6). Solve -k*x - 8 = -t for x.
-4
Let b(p) = -p**2 + 1. Let d be b(-1). Suppose -2*x + 5*s + 2 - 19 = d, -5*s - 13 = 3*x. Let a(q) = -q - 5. Let w be a(x). Solve 0 = z + w + 3 for z.
-4
Let m(z) = z**2 + 9*z - 16. Let v be m(-11). Let i be (3/v)/((-5)/(-60)). Solve -o = 2*o - i for o.
2
Suppose -5*p = -4*y - 25, 3*y - 25 = -5*p + y. 