pose g = k*g - 12. Solve -g*n = 7 - 1 for n.
-2
Let s(o) = -o**3 + o**2 + 3*o - 2. Let n be s(2). Let x be 2 + (0 + 0 - n). Suppose -x - 4 = -3*h. Solve 6*u = 7*u - h for u.
2
Let t = 3 - -22. Let h = t + -14. Solve h - 3 = -2*c for c.
-4
Let l(d) = 2*d + 1. Let z be l(4). Solve -f + z = 2*f for f.
3
Let x = 1 - -2. Suppose x = m - 0. Solve m*h + 2 = -7 for h.
-3
Let w = -30 + 38. Solve -w = -5*a + 2 for a.
2
Let b(q) = -2*q - 6. Let c be b(-4). Suppose 4 + 0 = c*u, -72 = 4*v + 4*u. Let w be (6/10)/((-4)/v). Solve -w = -0*i + i for i.
-3
Suppose 3*g = 4*y, -2*y + 6*y + 2*g = 0. Solve -z + 2 + 1 = y for z.
3
Let w = 17 - 17. Solve 0 = -w*l + l for l.
0
Suppose 4*y - 11 = -3, 3*j = 4*y + 1. Suppose 21 = 3*i + 2*i - 4*g, 0 = -2*i + g + 6. Let z be (27/6)/(i/2). Solve 0*v + z = -j*v for v.
-3
Let q be ((-3)/(-6)*0)/1. Let h = 23 + -11. Let m = h - 8. Solve q = -l + 2 - m for l.
-2
Let x(h) = h - 10. Let z be x(8). Let n be z/12 - 217/(-42). Solve -2 = -3*b - n for b.
-1
Let t = -17 + 27. Suppose -10*x = -5*x - t. Solve -x*p = -3*p - 1 for p.
-1
Let i = -3 + 3. Suppose 5*z - 131 = -31. Suppose -3*j = 0, 4*t + 16 = 8*t - 4*j. Solve i*a + z = t*a for a.
5
Let r = -1 - -5. Suppose 3*a - 4*l - 31 = 0, -5 = -r*a - l + 11. Solve a*k + 7 + 18 = 0 for k.
-5
Suppose 2*r = 4*r - 8. Suppose -2*p = 3*p. Solve p - r = -4*q for q.
1
Suppose 0 = -5*k, s - 2*s = k - 7. Suppose -s*v = -5*v - 6. Solve -v*l = l - 4 for l.
1
Suppose -3*j - 2 = 5*r + 7, 12 = -4*j. Solve r = -4*v - v + 15 for v.
3
Let t = 5 - 3. Suppose 3*v + q = 1 + 3, -2*q = 2*v + 4. Suppose 2*n - l = v, l - 3*l = 6. Solve n*g - t = -2*g for g.
1
Suppose 4*f - 20 = -5*h + 13, -31 = -3*f - 5*h. Solve 2 = -f*b + 10 for b.
4
Suppose 0*g = -g. Let u(z) = z**3 - 6*z**2 - 7*z + 8. Let b be u(7). Suppose 0 = 3*c - b*c + 30. Solve -c = -2*w - g for w.
3
Let j be (15/(-5) - -9) + 1. Solve 0 = -j*x + 2*x + 5 for x.
1
Suppose 3*h + 12 = 0, -4*v - 2*h - 46 = -138. Solve -v = 8*a - 3*a for a.
-5
Let n be 8/(-6) - (-2)/(-3). Let h be (n - -1) + 16/8. Let z be h/(3*2/18). Solve -z*b - 12 = -0*b for b.
-4
Suppose 0 = 4*s - 14 - 2. Suppose -4 = l, 0*y - 2*l = -3*y + 14. Solve 0*j + s = -y*j for j.
-2
Let t be 8 - (-1)/((-1)/3). Suppose -3 = -2*i + i + t*w, 5*i - 39 = w. Suppose 0*z - 2*z + n + i = 0, -4*z - n = -10. Solve 0 = z*m + m for m.
0
Let n = 9 + -7. Let j be (0 - (-2 - -2))/n. Solve -3*t + j*t - 9 = 0 for t.
-3
Suppose -3*y + 2*y = 0. Let r be y + 1 - (0 + -5). Let w be 188/r + (-6)/(-9). Solve w = -4*s + 12 for s.
-5
Suppose -x + 16 - 8 = 0. Suppose -m - 268 = -5*m. Suppose 4*b + 2*p + 23 = 131, 3*b - m = 2*p. Solve x*i - 3*i = -b for i.
-5
Let x = -27 + 29. Solve 7 = x*f - 3 for f.
5
Let k = 54 - 49. Solve -k*u + 11 + 14 = 0 for u.
5
Let l be (-4)/(-18) - 178/(-9). Solve -7*n + 2*n - l = 0 for n.
-4
Let r(v) = v**3 - 7*v**2 + 9*v - 6. Suppose -1 = u - 7. Let l be r(u). Suppose -5*j = -s + 4*s + 9, -l = -4*j + 4*s. Solve -b = -j*b for b.
0
Suppose 8 = -4*f, -b - 3*f + 4*f + 3 = 0. Suppose 5 = 2*a - b. Solve 3*c + 12 = a for c.
-3
Suppose -2*r + 3 + 17 = 0. Let n = 12 - r. Solve 12 - n = 5*u for u.
2
Let a(d) = -d**3 - 2*d**2 + 2. Let g be a(-2). Solve g*c - 3 = -c for c.
1
Let z be 8/3*(-9)/(-6). Suppose 5*c - 50 = -v, 3*v = 3*c + 5*v - 37. Solve b - z*b = -c for b.
3
Let z = -14 - -18. Solve 5*r + z = r for r.
-1
Suppose 9*k - 4*k - 15 = 0. Solve k*z + 10 = z for z.
-5
Let t = -8 + 12. Suppose t*q - 6 = 3*l, -q + 1 + 2 = 0. Solve 0 = l*d + 3*d + 25 for d.
-5
Let d(a) be the third derivative of a**6/120 - a**5/6 - 5*a**4/12 - 2*a**3/3 + a**2. Let h be d(11). Let t = 13 + -8. Solve 8 = -t*g - h for g.
-3
Let h(m) = -m. Let n be h(-3). Suppose 3*l + 2*l = 25. Let s = -10 - -14. Solve n*y - s = l*y for y.
-2
Suppose 0 = 4*t + 6 - 6. Solve -3*s + s - 2 = t for s.
-1
Let c(o) = 7*o. Let k be c(1). Suppose 5*b - k = 2*y, -b = y - 4 - 3. Solve -2*q + b = -5 for q.
4
Suppose -5*s - 4*z + 16 = 37, -23 = 5*s + 2*z. Let r be ((-8)/10)/(1/s). Let n(w) = w**3 - 8*w**2 + 2*w. Let m be n(8). Solve -r*l = -0 + m for l.
-4
Let l = 66 + -59. Solve -l - 5 = -4*r for r.
3
Let w be (-6)/(-4)*(9 + -7). Solve 0 = 3*h + w + 6 for h.
-3
Let r be (-5)/2*(-276)/115. Solve -a = 2 - r for a.
4
Let d(u) = -u**3 + 15*u**2 + 4*u - 13. Let t be d(15). Let a = t + -42. Suppose q = 13 + 9. Solve -a*g - 3 = q for g.
-5
Let a = -21 - -5. Let b = -5 - a. Let q = b + -9. Solve 2 = q*y + 8 for y.
-3
Let n = -27 + 31. Solve -n = -3*h + 7*h for h.
-1
Let g(q) = 0*q**3 - q**2 + q**3 - 5*q**2 - 4 + 7*q. Let o be g(5). Solve 2*u = o*u - 20 for u.
5
Suppose 4*a - 1 = -3*t, 3*t = a - 2 + 13. Let m be 1/a + 7/2. Suppose 15 = -0*d + m*d. Solve 4 = -r + d*r for r.
1
Let m = -29 + 32. Solve -2*x = -m*x for x.
0
Let g(u) = 6*u**2 - u + 1. Let d be g(1). Suppose 4*n - d*n + 14 = 0. Solve 0 = i - n + 2 for i.
5
Suppose -3*b - 120 = b + d, -5*d - 120 = 4*b. Let u = -20 - b. Solve q + u = -q for q.
-5
Let l(a) = 12*a + 26. Let z(i) = 4*i + 9. Let n(o) = 6*l(o) - 17*z(o). Let m be n(3). Solve -4*k = -1 - m for k.
4
Let q = -50 + 30. Let j be (q/(-6) + -3)*12. Solve -j*g = -7*g for g.
0
Suppose 6*h - 5 = h. Let s(x) = h - 2 - 2*x - 4. Let q be s(-5). Solve -q = -3*d - 2 for d.
1
Suppose 0 = n - 0 - 13. Let z be (21/6)/((-2)/(-4)). Suppose -2*f - z + 31 = 0. Solve -5*x + n = -f for x.
5
Let m(r) = 2*r**2 + r + 1. Let y be m(-1). Solve 8 = y*i - 4*i for i.
-4
Let n be (7/35)/((-2)/(-10)). Solve k + 3 = n for k.
-2
Let k = 14 - 14. Solve c + c + 6 = k for c.
-3
Suppose -5*i + 5*f + 61 = 11, 2*i + 3*f = -5. Solve -6*x = -x + i for x.
-1
Suppose 3*v = -0*v. Suppose 2*t = -v*t. Solve t = -4*b + 6 + 6 for b.
3
Let s(m) = -m**3 + 19*m**2 + 22*m - 35. Let a be s(20). Solve 10 + 5 = -a*b for b.
-3
Suppose -50 = -4*s + 5*y, -2*s + s - 4*y = -2. Suppose -w - 4*u = -8, -4*u + 10 = 4*w - s. Solve w*i - i = 6 for i.
2
Let a(j) = -3*j - 2*j + 6 + 4 + 4*j. Let r be a(3). Solve -r*s + 3*s = 12 for s.
-3
Let t = 61 + -116. Let q be 22/t - (-4)/10. Solve q = x - 5 + 3 for x.
2
Suppose -3*s - 2 = -4*s. Suppose 14 + s = 4*d. Let q = d - 1. Solve -m - q = -0*m for m.
-3
Suppose 4*f = -4*j + 20, 4*f - 13 = -3*j - 0*f. Solve 0 = 3*i - j - 5 for i.
4
Suppose b - s = 1, 3*b - 4*s - 6 = -4. Solve -1 - 7 = b*k for k.
-4
Let h(t) = -10*t + 4 + 4 - t**2 - 4. Let s be h(-10). Solve s*f - f + 9 = 0 for f.
-3
Suppose 5*p = 15 - 0. Let f = 1 + p. Let d be (-11 + 2)/((-6)/f). Solve 0 = 4*l - 10 - d for l.
4
Suppose -i = -a - 13, -3*a + 8*a - 61 = -2*i. Solve -i = -3*l - 6 for l.
4
Suppose -4*c = -k - 12, 0*c + 2*c + k = 0. Suppose c*u + 3 - 7 = 0. Solve -u*p + 0*p + 8 = 0 for p.
4
Suppose -2*y + 40 = 2*y. Let a be ((-12)/y)/((-12)/40). Solve 0 = -a*j - 0 + 12 for j.
3
Let i = -3 - -6. Let u be (-1 - 0)*12/(-4). Suppose -4*y + u*y + 20 = 0. Solve -i*t + y = t for t.
5
Suppose -s = -4*w + 1, 5*s - 18 = -3*w - 0*w. Suppose 2 + w = v. Solve v*f = -2*f - 15 for f.
-3
Let r(b) = -8*b - 2*b**3 - 3*b**3 - 2 - 5 + 4*b**3 + 10*b**2. Let o be r(9). Suppose 0*u + 3*j + o = -2*u, 3*j + 10 = 2*u. Solve v = -0 + u for v.
2
Let u be (1 - 2)*(2 + 0). Let g be 24/15*5/(-1). Let o = u - g. Solve -o = -2*w - w for w.
2
Suppose 12 = -3*m + 6*m. Solve -l + m = 6 for l.
-2
Let u(b) = b - 4. Let o be u(7). Solve -2*s = o*s - 25 for s.
5
Suppose -3*r = 5*c - 2 - 27, -11 = -5*r + c. Solve -2 = r*x - 8 for x.
2
Suppose 5*t = t + 12. Let h(r) = -5*r - 2. Let u(g) = -g**3 - g**2 - 2. Let k be u(0). Let v be h(k). Solve -z + t*z = -v for z.
-4
Let w = 13 - 10. Solve -w*l - 2*l = 25 for l.
-5
Let i(j) = 3*j**3 + 8*j**2 + 7*j - 3. Let x(d) = 5*d**3 + 16*d**2 + 13*d - 6. Let f(n) = -7*i(n) + 4*x(n). Let a be f(8). Solve 5*o - a = -6 for o.
3
Let u(v) = -v. Let f(r) = -r**2 + 10*r - 3. Suppose 0*i - 5*g = -i - 6, -4*g = -3*i - 18. Let m(o) = i*u(o) - f(o). Let s be m(4). Solve -s - 13 = -4*w for w.
4
Let m = 15 - 11. Let w = 20 - 8. Suppose 4*f - z + 6*z - 48 = 0, f + m*z - w = 0. Solve 2*j - f = -j for j.
4
Suppose 0 = -2*m - 0*m - 4. Suppose -3*r = -7*r + 4. Let j = r - m. Solve j = l - 2 for l.
5
Suppose 7*l - l = 0. Solve l = -2*x - 3*x + 5 for x.
1
Suppose 6*c = -5 + 5. Suppose 2*m = 3*j + 1 + 6, -4*m - 3*j = -5. Solve 10 = -m*f - c*f for f.
-5
Let q(m) = -m. Let l(b) = 3*b + 6. Let t(g) = l(g) + 2*q(g). Let j be t(6). Let 