h for h.
-2
Let b(k) = -3*k**2 + k**3 + 3 - 8*k**3 + k + 8*k**3. Let y be b(3). Solve -g - 25 = -y*g for g.
5
Let l be ((-6)/12)/(1/(-4)). Suppose -l*y + 3*y = 18. Solve y = -4*q + 2 for q.
-4
Let n = -1 + 6. Let q(c) = c**3 - 14*c**2 - 14*c - 13. Let h be q(15). Solve -h*b + b = -n for b.
5
Suppose -4*k = 4 - 0. Let q = k + 4. Let d = 2 - 1. Solve 4 - d = -q*y for y.
-1
Suppose -14 = 5*t - 7*t - 2*f, 5 = f. Solve 0 = -2*q - 0*q + t for q.
1
Suppose -2*u = 2*r, 3*r - 6 = -u - 16. Let n(v) = -v**2 + 15*v - 52. Let g be n(7). Solve -u*t + g = -t for t.
1
Let o be (-3 - -26) + 1 + -2. Suppose -o = -4*m + 2*d, -m = -2*m - 4*d - 17. Let a(j) = -j**2 + 4*j + 6. Let l be a(5). Solve m*w - 2*w - l = 0 for w.
1
Let h(u) = 10*u**2 + 3*u + 2. Let k be h(-1). Let x(t) = -t**2 + 12*t - 11. Let c be x(k). Solve c = -3*z + 7*z for z.
4
Let c(a) = a + 7. Let z be c(0). Let r be 10/(-35) - (-2)/z. Solve 4*m - 3*m + 3 = r for m.
-3
Let v be (4/3)/((-2)/(-18)*3). Solve -3*l = -l - v for l.
2
Suppose j + 13 = -4*g, -j - 3*g + 6 - 17 = 0. Let r be j + (-1)/3*0. Let t = r + 8. Solve 0*v - 9 = t*v for v.
-3
Let f(g) = -4*g**3 + 6*g + 2 - 3*g**2 - g**3 + 4*g**3 + g**2. Let j be f(-4). Solve -j - 2 = -4*p for p.
3
Suppose -2*b = -5*q + 16, 0 = 4*b + 4*q - 3*q - 12. Solve 3*f - 5*f + b = 0 for f.
1
Suppose -2*i = -0*i. Solve i = -4*g - g - 10 for g.
-2
Let i(t) = 3*t**3 - t. Let c be i(1). Let r(f) = -4*f + 3*f**2 - 1 + 9*f - c*f**2. Let k be r(-6). Solve 2*g + k = -1 for g.
-3
Suppose z + 3*y - 21 = 0, -3*z = 2*z + 3*y - 45. Let n = z + -4. Solve -2*p - n = -0*p for p.
-1
Let y = 4 - 0. Suppose 0 = -2*i - 2*i + y. Solve i = -x - 4 for x.
-5
Suppose z - 3*m + 23 = 0, z + m - 143 = 6*z. Let d be 1*-1 - (z + -2). Let h = d - 12. Solve -3*y + 6 = h for y.
-4
Let v(n) = 2*n**2 + 4*n + 9. Let h be v(-4). Solve -2*j = -7*j - h for j.
-5
Suppose 0 = -3*s - l - 3*l + 19, 5*s - 5*l = 20. Solve 0 = s*v + 8 + 7 for v.
-3
Let z be (-6)/(-21) - (-33)/7. Suppose -n = -z*n. Solve n = 2*l - 5*l + 15 for l.
5
Let z be 2 - 1 - (1 - 0). Suppose -h - 2*b + 5 = 0, -2*h + 20 = -z*h - b. Let f = 12 - h. Solve -i + f*i = 4 for i.
2
Let s = 2 + 4. Let h(y) = -y**3 + 3*y**2 + 7*y - 5. Let w be h(5). Let g be (-45)/w + 1/(-4). Solve g*q - s*q = 0 for q.
0
Let c = 6 + -3. Suppose -n + c*n = 28. Let b = n + 1. Solve 0 = 4*q + q + b for q.
-3
Suppose -41 = -5*w - 1. Solve -2 = -5*g + w for g.
2
Suppose 2*n + 4*v = -10, -4*n = -5*n - v. Suppose 0 = -4*l + 5*g + 36, -13 = -l + 4*g + 7. Solve -l*r = -n + 25 for r.
-5
Suppose 2*f - 2 + 6 = 4*z, -4*z - 2 = -5*f. Let p(j) = j - 5. Let c be p(6). Let x = 3 - c. Solve -f + 0 = x*w for w.
-1
Suppose 0 = z - 0*z. Let i = -4 - -9. Suppose -v + 15 = -i*n, -2*n - 18 = -2*v + 2*n. Solve -v = -z*f - f for f.
5
Suppose -i = -2*p + 6, 3 = -i + 6*i + p. Solve -2*y + 0*y + 10 = i for y.
5
Let d(a) = -a - 2. Let n be d(6). Let c be 68/16 + 2/n. Suppose -4*h = -3*h + c, 2*h = -4*g - 8. Solve g = -3*f + 4 + 8 for f.
4
Let j = -17 + 26. Solve 7*w - j = 4*w for w.
3
Let p(r) = 3*r**2 + r - 4. Let n be p(-3). Suppose 0 = -2*i - 4*t + n, 2*i + 2*i + 4*t = 20. Solve i - 2 = g for g.
-2
Let h be (-2)/(4/82) - 1. Let m = -29 - h. Solve -4*w + 1 - m = 0 for w.
-3
Let x(j) = -j**3 - 3*j**2 - 3*j. Let u be x(-2). Suppose g = -3*h - u, 0*g = g - 2*h - 3. Solve -3*w - 7 = -g for w.
-2
Let h(t) = t**3 - 7*t**2 + 8*t - 5. Suppose d = -3*k + 12, d + 3*k = -d + 18. Let b be h(d). Suppose -4*m + 5 + b = 0. Solve 2*i + m = i for i.
-3
Suppose -5*m + 115 = 5*h, 2*h + 0*h = m + 52. Let n = h + -18. Solve -3 = -4*s - n for s.
-1
Suppose 2*i - 1 = 3. Solve i*l - 3 + 1 = 0 for l.
1
Let o be (0 + -1)/(-4 + 3 - 0). Solve 2*m = -9 - o for m.
-5
Let g(n) = -2*n**2 + 18*n + 2. Let z be g(9). Solve 0*d + d = z for d.
2
Let q(d) = d + 2. Let a be q(4). Let p be (-3)/(-2)*(-448)/(-48). Solve -a + p = 2*k for k.
4
Let a(t) = -4 + t - 2 + t. Let c be (-9)/(45/(-8))*(-5)/(-2). Let z be a(c). Solve 0 = -v + z - 4 for v.
-2
Let j(d) = d**3 + 4*d**2 + 3*d + 2. Let b(h) = -2*h + 7. Let v be b(5). Let u be j(v). Suppose -30 = -9*z + 4*z. Solve z*i - u = 4*i for i.
1
Let v(h) = -h**2 + 10*h - 7. Let n be v(8). Suppose n - 3 = s. Suppose 4*f - 57 = -9. Solve -3*k + s*k = f for k.
4
Let s(w) = -w + 12. Let h be s(10). Suppose 0 = -h*f + 5*f. Suppose 5*q - 2*m - 16 = -4*m, f = q - m - 6. Solve -15 = -q*k - k for k.
3
Let h = 1 - 1. Suppose h = 3*l - d - 7, 2*l = -l - 3*d - 9. Suppose 6 + 14 = 4*w. Solve w - l = q for q.
4
Suppose 0*i + 8 = 4*i. Suppose -h - 21 = -0*o - 5*o, 4*o + i*h = 14. Solve -p = o*p - 20 for p.
4
Suppose -10 = -4*h + 6*h. Let k(x) = -3*x + 5. Let t be k(h). Solve s - 6*s = -t for s.
4
Let c be (-1)/((2/4)/(-1)). Let d be 2/1 - (107 + -111). Solve c*r - 4*r = d for r.
-3
Suppose -2*u - 16 = -g, u + 75 - 11 = 4*g. Let o(s) = -s**2 - 6*s + 4. Let f be o(-6). Let t = g - f. Solve t - 4 = 2*j for j.
4
Suppose 3*g = 2 - 8. Let y = 0 - g. Solve j = -y*j - 9 for j.
-3
Suppose -c - c = -8, -4*n + 36 = 3*c. Let h be (-3)/(0 + n/(-16)). Let i(t) = -t**3 + t**2 + 2. Let d be i(0). Solve -2*l - d = h for l.
-5
Suppose 0 = -3*a - 2*r, 0 = 4*a - 4*r - 0*r - 20. Suppose -a*v + 3*w + 3 = -8, -2*w - 10 = -4*v. Solve 3 = 4*t - v for t.
1
Let g be (1 - 1)/(14 + -13). Suppose 2*l - 3*u - 6 = g, -6*u + 2*u = l - 3. Solve 5*q + l + 2 = 0 for q.
-1
Let m = 3 - -2. Suppose -1 + m = 2*z. Let k be 57/9 + z/3. Solve 15 = -2*r + k for r.
-4
Let y(x) = 1 - 34*x - 6 + 35*x. Let w be y(7). Solve 0 = w*a + 4 + 2 for a.
-3
Suppose -7*b = -10*b. Let m(s) = -s**3 - 4*s**2 + 5*s. Let d be 0 + (1 - 1) + -5. Let r be m(d). Solve 3*w + 9 + r = b for w.
-3
Suppose 4*l = 3 - 11. Let x be (1/1)/(l/(-50)). Solve 3*h + 2*h - x = 0 for h.
5
Suppose -3*y = -a - 12, 0*a + 16 = -3*a + 4*y. Let n = 2 - 0. Let z = 1 + -1. Solve z = -a*v - n*v - 10 for v.
-5
Suppose -4*n + 0*f = -f - 5, -n = f. Let r(c) = c**2 - 9*c + 10. Let b be r(8). Solve -b*o + o = n for o.
-1
Suppose 0*r = 3*f - 5*r - 85, -4 = 2*r. Suppose 2*t = 7*t - f. Solve 0 = t*g - g - 8 for g.
2
Suppose 5 + 3 = c. Suppose 5*o + j = -4*j + 20, 3*o + 4 = 5*j. Suppose c = o*b - b. Solve 2 + b = -5*z for z.
-2
Let x be (-1)/(1/(-1)) - -3. Suppose -q - 2 = -18. Solve -x*t + 0 = -q for t.
4
Let h = 6 + 2. Let z be h/(-10)*5/(-2). Solve -l = -3 + z for l.
1
Suppose 0 = h - 1 + 3, -2*c + 14 = -3*h. Suppose 6*r = -9*r + 435. Solve -c*y - 9 = -r for y.
5
Let w be (-10)/2*(-18)/10. Let m be 5/25 + w/5. Solve -n - m*n = 6 for n.
-2
Let l be ((-12)/8)/(((-12)/8)/3). Solve -l - 1 = 2*w for w.
-2
Let a be ((-8)/(-6))/(24/36). Suppose -4 + 0 = -a*f. Solve f*d - 10 = 4*d for d.
-5
Let h be (44/10)/((-60)/(-150)). Solve 16*x - h*x + 25 = 0 for x.
-5
Suppose u = -4*u + 15. Suppose -15 - u = -3*v. Solve -i = -4*i - v for i.
-2
Suppose -j + 9 - 7 = 0. Solve -j = k - 4 for k.
2
Let g be (-45 + 44)/(1*(-2)/8). Solve g*n - 7*n - 3 = 0 for n.
-1
Let t = -13 + 17. Suppose 3*g + 3*i - 27 = 0, 2*g - 28 = -t*i - 4. Solve g*o = 4*o for o.
0
Suppose -2*s - 17 = -s - 5*z, 4*s - 8 = z. Solve s*q + 0 = -3 for q.
-1
Suppose p - 6*p = -15. Solve 0 = -p*b - 3 + 15 for b.
4
Let m be ((-4)/6)/((-11)/(-132)). Let r be 6 + m - (0 + -10). Solve 3*o - r = o for o.
4
Let v(b) = b**3 + 4*b**2 - 6*b - 4. Let t be v(-5). Let z be (-2)/((-2)/6*t). Solve 2*h = -h + z for h.
2
Let m(h) = 3*h**3 - h**2 + 2*h - 1. Let l be m(1). Let f(a) = a**3 - 7*a**2 + 2*a - 9. Let w be f(7). Suppose w*s = 6*s. Solve s = -3*v + l - 0 for v.
1
Let y(d) = 7*d**2 - 2*d + 1. Let t be y(1). Suppose 2*i + 2*o + t - 24 = 0, -16 = -4*o. Let w = 13 - i. Solve 3*g + w = -1 for g.
-3
Let i be (1 + -1)/((-12)/6). Suppose 0*v - v - 20 = -5*r, -3*v - 20 = -5*r. Solve i = -3*f + 3 - v for f.
1
Suppose -3*f - 4*d - 10 = -5*f, 2*f - 8 = 2*d. Suppose q = -f*q + 12. Solve 0*p + q*p = 0 for p.
0
Let k(z) be the third derivative of -z**6/120 - z**5/60 + 7*z**3/6 + 3*z**2. Let u be k(0). Solve u*c = 4*c - 6 for c.
-2
Suppose -8 = 3*k + 4*y, -4*k - 5*y - 4 = 5. Solve 2*t - k + 14 = 0 for t.
-5
Let f(z) = z**2 + z + 5. Let l be f(0). Let h = -5 + 5. Suppose 0 = -h*w + l*w + 5*x - 85, 44 = 4*w - 2*x. Solve w - 3 = -2*d for d.
-5
Let x(i) = i**2 - 7*i - 10. Let h be x(8). Let a be h/(-8) - 30/(-8). Let w = -3 + 5. Solve -3*z - a = w for z.
-2
Suppose -4*u - 3*r + r