= h for x.
0
Suppose 13*g - 6561 = 4*g. Let t be g/72 + 3/(-24). Solve -15 = -5*k + t for k.
5
Let n(a) = -4*a**3 + 2*a + 2. Let d be n(-1). Solve 0 = 10*y - d*y for y.
0
Let t be (0 + -3 + 4)*3. Let x(v) = -v**2 - 5*v + 1. Suppose 3*p + 3*q = 0, p - 10 - 5 = -4*q. Let g be x(p). Solve -b - t = -g for b.
-2
Suppose -4*v + 24 = -3*d, 4*v = -0*v - 3*d + 48. Let a be (4/(-12))/((-1)/v). Solve -b + 16 = a*b for b.
4
Suppose -3*k + 3*f = 12 - 87, 0 = -k + 3*f + 27. Let x be (k/(-10))/((-2)/5). Solve x = -l - 2*l for l.
-2
Let r = 1906 + -1881. Solve -36*d + r = -41*d for d.
-5
Let h = -76 + 139. Let v = 78 - h. Solve 3*x + v = 8*x for x.
3
Let t(p) = -2*p**3 + 27*p**2 - 13*p + 15. Let z be t(13). Solve 2*j + z = 7*j for j.
3
Let l(f) be the third derivative of 3*f**4/4 + f**3/3 + 2*f**2. Let y be l(1). Suppose -3*p - y = -7*p. Solve 0 = 5*d + p - 30 for d.
5
Let w be 4/(-5) + (-416)/(-20). Let v = -4 + w. Solve -2*k = 2*k + v for k.
-4
Let v = -125 + 219. Let o = v - 78. Solve -m + o = 3*m for m.
4
Let d be (-9)/63 + (-86)/(-14). Suppose -3*k + d = -3. Solve 0*z = k*z - 15 for z.
5
Suppose -4*i + 2*i + 166 = 0. Let j = -83 + i. Solve j = l + l + 8 for l.
-4
Let l = 21 - -23. Suppose -2*o + a = 3*o - l, -31 = -4*o + 5*a. Solve o*m - 4*m = 25 for m.
5
Suppose 20 = 4*r + 4. Suppose -2*x + r*x = 0. Suppose 8 = 2*t - 4*h, x*t - 10 = -4*t + 5*h. Solve t*a = -2*a + 8 for a.
4
Let u be (7 - 11) + 2 + 7. Solve u*g = -g - 30 for g.
-5
Let v(b) = 2*b - 12. Let d be v(8). Suppose 0 = 4*k - 115 - 113. Suppose -4*p - 3*t - k = -7*p, 29 = 3*p + 4*t. Solve 9*l - d*l = p for l.
3
Suppose -4*d + 13 = -3. Suppose -4*u = -2*u + d. Let t be u + (7 - 1 - 2). Solve c - 15 = -t*c for c.
5
Let n = -20 - -16. Let v be (-3)/12 + (-1)/n. Let f = v - 0. Solve 3*u = -f*u for u.
0
Let p = -2444 + 2445. Let f(x) = x**2 + x - 2. Let j be f(2). Solve r + j = -p for r.
-5
Suppose -18 - 2 = -r. Suppose 3*c = 19 - 13. Solve -3*i - r = c*i for i.
-4
Let o(p) = p**2 - 2*p + 8. Let l(d) = d. Let w(u) = -5*l(u) + o(u). Let a = 5 + 1. Let f be w(a). Solve c - f*c = -1 for c.
1
Let w = 206 + -204. Let y be 6/(-21) + (-88)/(-14). Solve y = -r - w*r for r.
-2
Let u(r) = r + 18. Let n be u(9). Let t = n - 25. Solve 1 = -t*g - 5 for g.
-3
Let t be (0/(-1 - -2))/(-3). Suppose -2*h + h + 2 = t, -5*u - 5*h = 10. Let k(o) = o**2 + 3*o - 2. Let f be k(u). Solve -q = f*q for q.
0
Let b(v) = -v**3 + 6*v**2 + 3*v - 12. Let y be b(6). Suppose n = 3*i - 11, n + 2*i = 3*n + y. Solve 6 - n = p for p.
5
Let b be ((-513)/36)/(6/16). Let a = b - -29. Let s be (-26)/(-6) - (-3)/a. Solve 0*g - s*g = -16 for g.
4
Let y = -44 - -42. Let u be -15*((-2)/(-3))/y. Suppose -3*c + z = -57, -5*c + z + 112 = 15. Solve -u*o + c = -o for o.
5
Suppose 90 = -91*u + 96*u. Solve 0 = -0*l - 9*l + u for l.
2
Let a(q) = 3*q**2 + q - 1. Let o be a(-2). Suppose 3*l = 3*v - 3, -2*v + o = 8*l - 3*l. Solve -v*n = 4 + 4 for n.
-4
Let d(q) = q**2 + q + 3. Let i be d(0). Let v be 0 - 1422/(-117) - (-4)/(-26). Solve j - v = -i*j for j.
3
Let i(j) = -127*j - 46. Let t be i(-1). Solve 82*o = t*o - 1 for o.
-1
Let l = 0 + 0. Let n(c) = 5*c - 5. Let r(g) = -4*g + 6. Let a(d) = 5*n(d) + 6*r(d). Let b be a(-7). Solve l = 2*s - b for s.
2
Let x(d) = 3 - d**2 - d**2 + 2105*d**3 - 2106*d**3. Suppose -q - 2 = -2*g - 0*q, 5*q = -5*g - 10. Let t be x(g). Solve -3 = -2*p + t for p.
3
Let c(u) = u**2 + 3*u - 7. Let d be c(-5). Suppose 2*j - k - 28 = d*k, -3*j = -3*k - 27. Solve 0 = -j*n - n - 5 for n.
-1
Let p(v) = -4*v**3 + 11*v**2 + 2*v + 4. Let r be p(3). Solve 4 + r = -5*x for x.
-1
Suppose -8 = -4*m, 5*a - 52 = a - 2*m. Let g = 17 - a. Suppose 8 - 3 = g*j. Solve -6 = -5*h - j for h.
1
Let o = 12 - 12. Let h be o*2/(-12)*3. Solve 0*d - 4*d - 4 = h for d.
-1
Let y(i) = 2*i**2 + 4*i - 5. Let k be y(1). Solve -12*s = -11*s - k for s.
1
Suppose 9338 = -24*x + 82*x. Solve i = -x + 156 for i.
-5
Let p be (-12)/(-4) - (-6)/6. Solve 3*q + 14 = -p*q for q.
-2
Let m = 114 - 93. Suppose -3*p - 3 + m = 0. Suppose k + 3*i = 18, -5*k + i = -2*i. Solve -k*z - p - 6 = 0 for z.
-4
Let r(u) = 3*u - 66. Let s be r(24). Solve -2*c + 5*c = s for c.
2
Suppose -3*s - 5 = -4*v, -v - s + 4 - 1 = 0. Solve 2*f = -0*f + v for f.
1
Suppose k + 18 = 2*v, -2*k + k + 32 = 3*v. Solve -17*p + v = -19*p for p.
-5
Let c(w) = 28*w**3 - 5*w**2 + 15*w - 11. Let m be c(1). Solve -13*y = 38 + m for y.
-5
Let d(a) = 5*a - 11. Let b be d(-3). Let o = 50 + b. Let u = o + -21. Solve -z - u*z = 8 for z.
-2
Suppose 16*d - 78 = -10*d. Solve 92 = d*k + 107 for k.
-5
Let g(y) = y**3 - 6*y**2 + 3*y + 4. Let o be g(6). Solve -67 + 1 = o*h for h.
-3
Let h(c) = -54 - 18*c + 38*c - 27*c. Let b be h(-8). Let q = 2 - -2. Solve q = b*f - 0*f for f.
2
Let y be -6 - (7 - 16)*1. Let k = 6 + 6. Suppose -2*c - k = -34. Solve -4*l = y - c for l.
2
Let i(l) = 6*l**3 + l**2 + l - 1. Let h be i(1). Suppose -7 - 68 = -5*m. Suppose 2 = p, -4*p + 8 = 5*j - m. Solve -h*g + 12 = -j*g for g.
3
Let i be -1*3*18/(-18). Let v = 10 + -6. Solve y + v - i = 0 for y.
-1
Let a = 8 + -11. Suppose 49 = 5*v - 3*o, -4*v + 5*o - 3*o = -40. Let r = a + v. Solve 0 = -4*t + r for t.
2
Let g(a) = -21*a + 276. Let j be g(13). Solve 0 = j*d - d + 2*d for d.
0
Let a be 40/12 + 2/(-6). Suppose 2*x + 21 = a*d + 5*x, -d = 2*x - 10. Let p be 5 - (d - (-2)/(-2)). Solve i = -p*i for i.
0
Let n be 15102/135 - (-4)/30 - 2. Solve -7*v - n = 15*v for v.
-5
Let f = -377 - -380. Solve -f*j = j + 4 for j.
-1
Let g(m) = m**3 - 5*m**2 + 4*m - 18. Let x be g(5). Solve -x*t = -4*t - 2 for t.
-1
Suppose 5*l = 12*l + 5*l. Let q be 30/7 + 14/(-49). Let i be 2/(82/20 - 4). Solve -q*f - f + i = l for f.
4
Let z be ((-380)/28)/(-5) - 4/(-14). Solve -z*i + 101 = 86 for i.
5
Let u be 27 + -7 - (-3 - -2). Suppose 13 = 3*v - r - 4, 5*v + 2*r = u. Solve 20 = n - v*n for n.
-5
Let y be (-1)/4 - ((-255)/60 + 0). Solve -4*q - 8 = -y for q.
-1
Let w(s) = -5*s - 16 + 27 - 9. Let z be w(3). Let m = z - -21. Solve -3*x = -x - m for x.
4
Let s be 1 + (-49)/7 + 12. Solve 4*m = -s*m for m.
0
Let h = 8 - 3. Suppose -5*c - 2 = 2*p, -2*c = -h*p + 4*p - 1. Let t be 2*5*4/8. Solve -t*q + q = c for q.
0
Let r(i) = 3*i - 57. Let x(z) = 2*z - 38. Let f(j) = 5*r(j) - 8*x(j). Let w be f(11). Let c(g) = 2*g**2. Let b be c(-1). Solve b*m = -0*m - w for m.
-4
Suppose 2*o - 56 = -10. Suppose 19*w + 16 = o*w. Solve -x = x - w for x.
2
Let c be ((-4)/(-8))/(1/10). Suppose q - 10 = -c. Solve -6 = -q*h + 14 for h.
4
Let s = 140 + -128. Solve s - 23 = -11*z for z.
1
Let o(b) = -5*b**2 - 8*b - 3. Let w be o(-3). Let n = -24 - w. Solve n - 2 = 2*r for r.
-1
Let w(g) be the first derivative of -g**2/2 - 4. Suppose 3*x - 2*k + 7 + 13 = 0, 2*x + 2*k = 0. Let o be w(x). Solve 1 = -3*h + o*h for h.
1
Suppose q = 5*p + 21, 2*p = 3*q - 4*q. Let c(n) = n**2 - 11*n - 9. Let r be c(12). Suppose -4*k = u + 5, u - r*k + 0 - 9 = 0. Solve 0 = u*g - 18 + q for g.
4
Suppose -5*z + 12 = 2. Suppose -4*r - r + 30 = 0. Solve -z*g + 0*g = -r for g.
3
Suppose -528*b + 270 = -525*b. Solve -b = -5*h + 23*h for h.
-5
Let p = 21 + -21. Suppose -5*l + 3*x = -p*l - 7, -2*l + 1 = -3*x. Solve -4 = -l*s - 2 for s.
1
Let z = 1129 - 1114. Solve 0 = -19*s + z*s - 4 for s.
-1
Suppose 0*u = -3*u - 6, 5*y + 422 = -u. Let h = -82 - y. Let c be (-11)/(-3) - 2/(-6). Solve -h*b = 2*b + c for b.
-1
Let z(s) = -s**2 + 2*s + 3. Let w be z(0). Suppose -w = -3*o - 3. Solve y - 3 = -o*y for y.
3
Suppose 5*v - 3 = 6*x - 5*x, v = 3*x + 9. Solve v*l - 3*l = 12 for l.
-4
Suppose 5*u - 115 = -0*h + 5*h, -3*h = -4*u + 97. Let r be ((-36)/42)/((-6)/u). Suppose -5*j + r = 3*q, j = -j - 2*q. Solve -o - j = -0*o for o.
-2
Let b be 12/2 - (-20)/5. Solve 17*w - 15*w = -b for w.
-5
Let l(s) = s**3 + 9*s**2 + 10*s + 6. Let u be l(-7). Solve -11*q + u = -21 for q.
5
Let m(b) = 5 + 3 - 14 + 8 - b. Let g(x) = -x**2 + 4*x + 7. Let p be g(5). Let k be m(p). Solve k = -5*a - 10 - 5 for a.
-3
Suppose -30*i = -32*i + 16. Solve r + i = 4 for r.
-4
Let x(c) = 4*c**2 + 9*c - 2. Let o be x(-4). Let v be 4794/442 - (1 + (-30)/o). Solve -1 + v = 5*g for g.
2
Suppose 0 = 4*i + 39 - 123. Solve -13 = -2*f - i for f.
-4
Suppose 2*s + 24 = 14*s. Solve -64*g + 62*g - s = 0 for g.
-1
Let y(h) = h - 1. Let p be y(6). Suppose 0 = p*g - 2*r + 4*r - 27, -2*r = -4*g + 18. Solve