Solve y = x + 6 for x.
3
Let h(g) = 2*g**3 - 10*g**2 + 43*g - 204. Let a be h(5). Solve -52 = a*c - 30 for c.
-2
Let a be (28/(-42)*(-6)/(-4))/(-1). Solve 2 = -o - a for o.
-3
Let l = 22 + -32. Let n = l + 10. Let b be 1*(0 + n + 2). Solve 0*v = -b*v - 6 for v.
-3
Suppose 6*p - 10*p = -4. Let q be (p*-1)/(2*6/(-36)). Solve 11 = -2*h + q for h.
-4
Suppose 4*p - 3*l - 45 = 0, -2*p + 23 = l - 2. Let z be 8/6 + (-12)/(-18). Suppose -d + p = z*h, 2*h + 2*h = 4*d + 12. Solve o + h = -0 for o.
-5
Let k = -271 - -272. Solve -2*l + k = 3 for l.
-1
Suppose 0*q = 4*q + 44. Suppose 6*i = 4*i + 22. Let k = i + q. Solve d - 4*d + 6 = k for d.
2
Let y(f) = 83*f + 86. Let i be y(-1). Solve 2*n - 5 = -i*n for n.
1
Suppose -3*s - k + 10 = 0, 2*k = -2*s + 5*k + 3. Suppose 4*p = q - 4, 2*q = p - 17 - 3. Let v be 8/12 - 184/q. Solve s*x + v = -x for x.
-4
Suppose 795 = -50*l + 371*l - 56*l. Suppose 0 = -x + 9 - 2. Solve -l - x = -5*p for p.
2
Let w(p) = p**2 + 5*p + 10. Suppose -3*a = 3*z - 3, 0 + 4 = -4*z - 2*a. Let d be w(z). Solve -j - j - d = 0 for j.
-2
Let q be 128/(-8) + (-2 - 1). Let m = -14 - q. Let c(d) = -d**2 - 8*d - 6. Let v be c(-6). Solve 9 = -m*r - v for r.
-3
Let g be (-2)/4 - (-2)/4. Let k(q) = 2*q**2 - q + 6. Let u be k(g). Solve 4*p + u = -2 for p.
-2
Let o(k) = -k**2 + 37*k - 62. Let t be o(35). Solve 3*y = -4 - t for y.
-4
Let g = -9 + 19. Suppose -4 = 3*s + z, -3*s - g = 2*z - 2. Suppose 5*l - 28 = -28. Solve s*p + 4*p = l for p.
0
Let m = 428 - 426. Solve 1 = -w + m for w.
1
Suppose 4*a + 20 = -4*j, -7*a - 7 = -j - 4*a. Suppose -33 = 15*d - 3. Let v = d - j. Solve -5*x - 11 + 1 = v for x.
-2
Suppose -18 + 4 = -g + 2*k, 5*k - 5 = 0. Let v be 2 + (3 - (-2 + 4)). Solve -b - v*b - g = 0 for b.
-4
Suppose 0*x - 3*l = 3*x - 36, l - 60 = -5*x. Let w be 4/2 + -12 + x. Solve 0*z = w*z + 2 for z.
-1
Let o(m) = -m - 1. Let y(v) = v**3 - 2*v**2 - 5*v. Let c(d) = 2*o(d) - y(d). Let x = -13 + 15. Let u be c(x). Solve u*i = i for i.
0
Let x be ((-72)/10)/((-3)/(-10)). Let r = x + 28. Let g be 0/(0 - (1 - r)). Solve g*c + 20 = -4*c for c.
-5
Suppose 7*s = -g + 4*s - 56, 0 = -4*s - 20. Let o(r) = -r**2 - 2*r + 9. Let p be o(6). Let q = p - g. Solve 0 = q*t + 2*t for t.
0
Let z be 5/25 + -2 + 27/15. Suppose z = 10*k - 11 - 19. Solve k*j = 2*j for j.
0
Suppose -19*z + 14*z + 2*n + 66 = 0, 39 = 2*z - 5*n. Solve h = 7*h + z for h.
-2
Let o = -130 - -132. Suppose 3*d = 5*y - 19, -4*y + 9*y - 4 = -o*d. Solve -y*p + 3 = p for p.
1
Suppose 2*x + 2*y - 15 = -13, 4*x = 5*y + 13. Solve -x*w + 33 = 39 for w.
-3
Suppose 15*k - 63 = -18. Solve k = -8*d + 11 for d.
1
Suppose 2*a - 6 = 12. Suppose 34*o - 18904 + 18870 = 0. Solve -a = -2*j - o for j.
4
Let k = -1186 - -1189. Solve d = k*d - 4 for d.
2
Let n(g) = 8*g**3 - 37*g**2 - 13*g + 4. Let k be n(5). Solve k*c - 19*c + 25 = 0 for c.
5
Let t(o) = -29*o**2 + 2*o - 1. Let f(g) = 10*g**2 - g. Let a(b) = -8*f(b) - 3*t(b). Let c be a(-1). Solve -z - z = c for z.
-4
Let t be ((-15)/12)/((-1)/4). Suppose 9*q - 52 = t*q. Let x = q - 7. Solve z = -z + x for z.
3
Let k be 39/65 - (-3)/(-5). Solve -64*c + 60*c = k for c.
0
Suppose -3*i = -4 - 11, -r + 2*i = 13. Let j be 2/6*0/r. Suppose j = q - 2*u - u - 3, 5*q - 5*u - 5 = 0. Solve 5*m = -q*m - 20 for m.
-4
Let n be 32/6*(-417)/(-556). Solve -n*a + 22*a = -90 for a.
-5
Let u be ((-28)/12 + 2)*-9. Let r be (-15)/(-10) + (-14)/4. Let m be (u/r)/(9/(-6)). Solve -5*q + m = -4 for q.
1
Suppose 0*k + k + 9 = 0. Suppose -5*d + 48 = -d. Let g = d + k. Solve 2*z = g + 1 for z.
2
Suppose 4*i + 5*c = -12, 0*c = 5*i + 3*c + 2. Suppose 20 = d + 4*d. Let f = d - 1. Solve -i*m - 2 = -f*m for m.
2
Suppose -183*v + 104 = -157*v. Solve -2*p + 4*p - v = 0 for p.
2
Suppose 4*x = 4*f - 4, -x + 2*f = -0*x + 4. Let j be (-156)/(-65) + 4/(20/3). Suppose -z + 1 = j*m, m + 5 = -2*z + 3*z. Solve w = x*w + z for w.
-4
Suppose -c + 2 = -28. Solve 10 = -4*w + c for w.
5
Let r = 119 + -102. Solve -4*v - r = -1 for v.
-4
Let s(d) be the third derivative of -d**5/60 - 7*d**4/24 - 7*d**3/6 - 28*d**2. Let g be s(-5). Solve 3*m + g + 3 = 0 for m.
-2
Suppose -177 = 6*r - 417. Solve -r = 6*v - 14*v for v.
5
Suppose -22 = 4*q - w, -3*w + 33 = -5*q + w. Let h be (-17)/85 - 11/q. Solve h*j = -j - 9 for j.
-3
Let w(p) = p**3 + 3*p**2 - p - 4. Suppose 3*o - 6*o - 6 = 0. Let n be w(o). Suppose -5*y - n*u - u = -75, 0 = 2*u. Solve 0 = 4*g - g + y for g.
-5
Let u(b) = 4*b**2 - 9*b - 26. Let z be u(-2). Solve 14*l + 24 = z*l for l.
-4
Let s(l) = -3*l + 3. Let z be s(6). Let t = 24 + z. Let f be (t - -7)*1/2. Solve 0 = 5*q - 12 - f for q.
4
Suppose -2839*g + 2831*g = -32. Solve -7*z + g + 17 = 0 for z.
3
Let m = 12 + -9. Let z be -12*(m + (-15)/4). Let r = z - 9. Solve -5*c + 3*c - 6 = r for c.
-3
Let n(f) = 7*f**3 - 9*f**2 + 9*f - 1. Let x be n(1). Solve -5*d - x + 11 = 0 for d.
1
Let p(c) = -3*c - 5. Let r(l) = 6*l + 9. Let k(a) = 7*p(a) + 3*r(a). Let g be k(-4). Suppose 0*d = -g*d. Solve d = -4*y + y + 9 for y.
3
Let p be (-34)/(-4) + -4 - (-2)/(-4). Suppose -7*m + p*m = -24. Solve -9 = -5*d + m*d for d.
-3
Let m be 18 - 3*(-3 + 2). Let z be 110/14 - (-2 + 39/m). Let b(r) = -r**3 + 2*r**2 + r - 2. Let g be b(2). Solve -d - d - z = g for d.
-4
Let a be 40/(-9 - -17) - 3. Solve -a*g + 3 + 3 = 0 for g.
3
Suppose 4*q - 6 = 10. Solve 0 = -2*w + q*w for w.
0
Let z be (-2)/((-13)/(-13))*(-3)/2. Solve 0 = -z*a - 24 + 33 for a.
3
Suppose 16 = 7*i - 5. Let a be (-33)/(-4) + i/(-12). Solve -4 = -4*l + a for l.
3
Suppose -2*b + 4*g - 2 = 0, 0 = 3*b + 5*g - 0*g - 30. Solve b*x - 11 = -6*x for x.
1
Let h be 2/(-9) - 8092/(-126). Solve 0 = -9*c + h - 37 for c.
3
Let w be -3 + 140/(-15)*21/(-14). Solve -13*y - w = 2 for y.
-1
Let y be 9/(-4)*44/(-33). Let c be 48/18*y/4. Solve -c*o = 3*o + 5 for o.
-1
Let z = 15 + -32. Let a = 18 + z. Solve 2*c + 5 = a for c.
-2
Let q(f) be the third derivative of -f**6/60 - f**5/6 - f**4/24 - f**3/6 + 40*f**2. Let a be q(-5). Solve a*b - 13 - 3 = 0 for b.
4
Suppose -145*j - 6 = -146*j. Solve 0 = j*g - 2*g + 20 for g.
-5
Suppose -3*n = -50 + 8. Let t be (-21)/n*36/(-1). Let s be (t/(-24))/((-3)/8). Solve 0 = -0*u + 2*u + s for u.
-3
Let z = 0 + 4. Suppose -3*r = -z*r + 7. Solve -2*v - 3 = r for v.
-5
Suppose 20 = 4*m, 3*x - 6*m + 11*m = 40. Solve 2*v + x = -3 for v.
-4
Suppose 5*c + 2*h = 8, 5*c + 3*h = c + 12. Suppose c*v + 20 = -2*v. Let s be ((-1)/(-2) - 1)*v. Solve -2*o = -s*o for o.
0
Let g = -11 - -15. Suppose 14*v + 40 = 18*v. Suppose g*j - 9*j + v = 0. Solve -j*r + 3 = -5*r for r.
-1
Suppose 4*z - 11 = 61. Suppose 4*q - 39 = 3*i + q, -5*q = -3*i - 37. Let u = z + i. Solve d = u*d for d.
0
Let c(w) = -9*w - 33. Let t(r) = r. Let m(u) = c(u) + 2*t(u). Let o be m(-6). Solve 0 = 3*l - 0*l + o for l.
-3
Let i be (3 - 33/9)*-3. Solve 10 + 0 = -i*z for z.
-5
Suppose 3*r - r = 8. Let w be (1 - r/2)*1. Let f be (-1 + 1)*(w + 2). Solve 2*s + f*s = 4 for s.
2
Suppose 4*j - 3*f = -0*j + 15, 4*j - f = 21. Solve 4*n + j = -6 for n.
-3
Suppose 3*y + 2*j + 4 = 0, y - 4 = j - 2. Solve y = k + 17 - 12 for k.
-5
Suppose 4*h + 3*h - 315 = 0. Let i = 50 - h. Solve i*b = -9 + 24 for b.
3
Let z(o) = -o**3 + 2*o**2 + 2*o - 2. Let s be z(2). Let r be (56 - 0)*1/s. Let t be 2/8 + (-7)/r. Solve -8 = 2*c - t for c.
-4
Let b(l) = l - 3. Let r be b(-6). Let y = -8 - 2. Let v = r - y. Solve 2*z + 3 = v for z.
-1
Suppose 0 = -213*q + 197*q + 240. Solve -101*v - q = -98*v for v.
-5
Let q(x) = 3*x + 10. Let t(f) = -16*f - 51. Let j(w) = 11*q(w) + 2*t(w). Let c be j(-12). Let h = c - -9. Solve -h*b + 2*b = 0 for b.
0
Let v(i) = -i**3 - 8*i**2 - 9*i - 9. Let s be v(-7). Suppose x + 12 = -s*r, 4*x - 2*x = r + 20. Solve 7 + x = 5*d for d.
3
Suppose -5*x - 53 = -4*n, -x = -4*n + 13 + 20. Let b(c) = -2*c + 18. Let z be b(n). Solve -z*o - 1 = -5 for o.
1
Let v(f) = -23*f - 8. Let d(q) = 47*q + 17. Let n(l) = 6*d(l) + 13*v(l). Let g be n(-1). Solve -g = -3*k - 0 for k.
5
Suppose -10*k - 7 + 57 = 0. Solve k = -4*h - 7 for h.
-3
Let z be 16/10*(-15)/(-6). Suppose 5*o = -0*b + 5*b - 65, -4*o = b - 28. Solve -3*k + z = b for k.
-4
Let h be (-3*2/12)/((-1)/10). Suppose 5*d + 0*i + 2*i = 20, -h*i = 4*d - 16. Solve -f = -2*f - d for f.
-4
Suppose 32 = 5*c + 12. Let j be -3*(-12)/(-9) + c. Solve 2*h - h + 3 = j for h.
-3
Let q(b) = b**2 - 6*b 