for h.
2
Let m(u) = -u - 10. Let s(k) = -1. Let q(f) = -f**2 + 7*f + 1. Let h be q(7). Let w(n) = h*m(n) - 5*s(n). Let x be w(-6). Solve 7 = 4*t - x for t.
2
Let q(v) = v**2 - 5*v + 2. Let p be q(0). Let u(x) be the second derivative of -x**3/6 + 4*x**2 + 2*x. Let d be u(8). Solve -3*z + p*z = d for z.
0
Let z = 1121 - 1114. Solve 0 = 14*l + 35 + z for l.
-3
Suppose -40 = 3*i + 5*o, 106 = -5*i - 5*o + 26. Let h = i - -27. Suppose 0*v = -h*v. Solve -r + 0 - 5 = v for r.
-5
Let s be ((-48)/(-120))/(3*2/180). Solve -3*w = s - 24 for w.
4
Let k(a) = a**2 + 4*a - 8. Let j(b) = -b**2 - 6*b - 11. Let h be j(-5). Let v be k(h). Solve 6*y - 10 = v*y for y.
5
Let f be (-4 - (-3)/3) + 3. Let z(h) = 3*h - 14. Let w(l) = -10*l + 43. Let y(c) = 4*w(c) + 14*z(c). Let s be y(13). Solve -s*n + f*n = -8 for n.
4
Let b(w) = -w**3 - 8*w**2 - 3*w - 21. Let r be b(-8). Solve -r*m - 24 = 3*m for m.
-4
Let u = -8 - -9. Let y be (11/1)/(0 + u). Let h = 15 - y. Solve -1 = -3*o - h for o.
-1
Let x = -103 - -121. Suppose -4*d + x - 2 = 0. Solve -2*w = -d*w + 8 for w.
4
Let r be 4/(-8)*-30 + -3. Let j be ((-2)/(-4))/(r/240). Let t(g) = -g + 10. Let f be t(5). Solve f*k + j = 3*k for k.
-5
Let t(r) = -r**2 - 12*r + r + 7 - r. Let d be t(-12). Solve -20 = d*w - 2*w for w.
-4
Let b(k) = k**3 + 5*k**2 - k + 2. Let y be b(-4). Suppose 75 = -4*u - 3*f + 13, 0 = u + 4*f + y. Let t = u + 14. Solve -2*p + 12 - 4 = t for p.
4
Let f(g) = -g**2 + 7*g - 9. Let v(i) = i + 14. Let w be v(-10). Let s be f(w). Suppose t - s*r - 12 = 0, 0 = -t + r - 2*r. Solve -10 = -c + t*c for c.
-5
Let g be (-2)/8*8/2. Let m(c) be the second derivative of -c**5/5 + c**3/6 + 12*c. Let i be m(g). Solve 5*l = -18 + i for l.
-3
Suppose 3*j - 6*j + 12 = 0. Suppose -4*r + 20 = 0, 2*t - 8 = -j*r + 22. Solve 10 = -t*u - 5 for u.
-3
Let p = 15 - 8. Let a(d) = -9*d + 11. Let u(w) = 7*w - 10. Let o(v) = 3*a(v) + 4*u(v). Let b be o(p). Solve -k + b = -5 for k.
5
Let c(w) be the first derivative of w**4/8 - w**3/6 + 5*w**2/2 - 1. Let q(p) be the second derivative of c(p). Let n be q(3). Solve -5*z + 17 = -n for z.
5
Let o = 15 - 10. Let k be 4 + (-4)/(o - 1). Suppose -k*f = 2*f - c - 30, 10 = -3*f - 5*c. Solve -1 = -4*q - f for q.
-1
Let p = 766 + -759. Solve 0 = -23*i + p*i for i.
0
Suppose r - 8 = 3*d - d, -4*r = -2*d - 20. Suppose 4*n = -15*q + 19*q + 8, n = 2*q. Solve -r*x - n = -0 for x.
-1
Let h be -6 + 19 + 4/(-1). Solve -3*b + h*b = -30 for b.
-5
Suppose 2*u - 19*u = -136. Solve -u*t + 6*t + 2 = 0 for t.
1
Let j(g) = g**2 - 10*g + 23. Let b be j(7). Suppose 0*y + 43 = 4*c - 3*y, -4*c = y - 23. Solve -c = -3*f + b for f.
3
Let l = 7 + -4. Suppose -3 = -9*n - 0*m - 5*m, 5*m = -2*n - 11. Solve l*d - n = d for d.
1
Let a = -11 - -15. Let j be ((18/(-4))/3)/(6/16). Let y(u) = -u**2 - 5*u + 1. Let b be y(j). Solve b + 7 = a*g for g.
3
Let g(b) = -b**2 - 23*b - 99. Let q be g(-13). Solve -26*x + q*x = -5 for x.
-1
Suppose -430 = -5*p + 5. Let u be 0 + p/15 - 4/(-20). Solve 9 + u = 5*c for c.
3
Let x = 898 - 891. Solve -2*q = x + 1 for q.
-4
Let f = 863 - 849. Solve f*o = 12*o - 4 for o.
-2
Let k(l) = -3*l + 14 + 23 - 6. Let x be k(10). Solve h = -3 + x for h.
-2
Let b(i) = 9*i**2 - 26*i + 3. Let u be b(3). Suppose -2*c + 5 = -1. Suppose c = 3*q - u. Solve -q*v + 20 = v for v.
5
Suppose b + 20 = -2*c + 4*c, -3*b - 5*c - 38 = 0. Let v = -18 - b. Let y = 6 + v. Solve -d = -y*d for d.
0
Let u(j) = 2*j**2 + 2*j - 2. Let x be u(-4). Let i = x - 18. Suppose 0 = -4*k + 3*d - 1, -i*d = -5*k + 1 - 3. Solve 3*w + k = 5*w for w.
1
Let j(k) = -8*k + 2*k**2 + 3*k**3 + 5*k + 2 - k**2. Let n be j(1). Solve -n*z + 16 - 4 = 0 for z.
4
Let t be 7*1/14*20. Solve t + 15 = 5*h for h.
5
Let x = -15 + 18. Suppose x*o = 12 - 3. Solve o*z + 5 = 2*z for z.
-5
Let m = -12 - -9. Let k be (m + -1 + 2)*2. Let p be (15/4)/((-1)/k). Solve 0 = -o + 6*o - p for o.
3
Let k(a) be the first derivative of -6*a**2 + 3*a + 1/3*a**3 - 5. Let r be k(12). Solve 0 = -0*x - r*x for x.
0
Let b(u) = -u - 5. Let c be b(2). Let a be c/42*(-1 + -5). Solve a = 2*s - 1 for s.
1
Suppose 0 = -4*z - o, -3*o - 3 = -z + 10. Suppose -3*x = 4*t + 14, -6*x = -x - 3*t - 25. Solve -x = -s + z for s.
3
Let v be (0 + 1)*-1 + (0 - -11). Suppose -4*m - 3*a + 10 = 0, 0 = m - 2*a + 2 - v. Solve m*h + 6 = -2 for h.
-2
Suppose 2*r = 28*r. Solve -4*y + 0*y + 4 = r for y.
1
Let j be 16/12 + (-6)/(-9). Let k be 6/(12/16*j). Solve -4 = k*r + 8 for r.
-3
Let s(l) = l**3 - 3*l**2 + 3. Let z be s(3). Suppose 12*g - 3*g + 36 = 0. Let j be g - (-235)/20 - 1/(-4). Solve -5*w - j = -z for w.
-1
Let i(y) = y**3 - 12*y**2 - 2*y + 21. Let b(j) = j**3 - 12*j**2 - 2*j + 21. Let l(p) = 4*b(p) - 5*i(p). Let g be l(12). Solve -g*s = -s for s.
0
Suppose 284 - 96 = 4*f + 5*q, 5*q - 20 = 0. Solve -10*t = -f - 8 for t.
5
Let t(j) = j - 6. Suppose 5*s - p - 36 = 0, -44 = -6*s + s - p. Let u be t(s). Solve 2 = z - u for z.
4
Let t be (3/(-2))/(3 - 138/48). Let y = t - -16. Solve -2*z = -y*z for z.
0
Suppose 200 = 6*g + 170. Solve g*b + b + 18 = 0 for b.
-3
Let m(v) = v + 3. Let a be m(7). Suppose 6*i - a = i. Solve -5*l + 3 = -i for l.
1
Let v(q) = 19*q**3 - 4*q + 3. Let x be v(1). Solve 12*f = 6*f - x for f.
-3
Let j(t) = t**3 - 5*t**2 - 6*t**3 + 3 + 4*t**3. Let m be j(-5). Suppose -46*i + 48*i - 6 = 0. Solve m - 9 = i*q for q.
-2
Let i(p) = -2*p + 2. Let x(y) = -5*y + 5. Let q(b) = 7*i(b) - 3*x(b). Let l be q(4). Solve l*h = -h for h.
0
Let j(r) = r**3 - 12*r**2 - 8*r + 30. Let u be j(12). Let s be (-6)/(-2)*u/(-90)*5. Solve -s = o - 16 for o.
5
Suppose 0 = -14*w + 48 - 48. Solve w = -4*o + o + 15 for o.
5
Let t = 29 + -17. Let q = -107 - -95. Let s = t + q. Solve s = 4*v - 9*v + 15 for v.
3
Suppose 3*z + 5*a = 19, 0 = -3*a + 6. Solve 3*t = -z*t - 18 for t.
-3
Let o(w) = -w**3 + 4*w**2 + 15*w - 16. Let l be o(6). Solve 3*u - l = -14 for u.
-4
Suppose 5*x - 7*x = -4. Suppose 0*t = t + c - x, -3*t + 3*c = 6. Solve t = -5*l - 4 - 6 for l.
-2
Suppose 2*v = 4*s - 7*s - 25, -4*s - 37 = 3*v. Let m(h) = h + 11. Let p be m(v). Let i(k) = -k**2 - k + 2. Let j be i(p). Solve w - j = -w for w.
1
Let v be 3 - (-2 - 2) - -2. Suppose -14 = -v*m + 2*m. Solve 9 = -m*p + 1 for p.
-4
Let y be 6*(-3)/(-12)*(-10)/(-3). Solve -14 = -y*u + 6 for u.
4
Let b(x) = -x**2 + 4. Let l be b(2). Suppose 3*g + 9 = -s, l = 2*s + 2*g + g + 3. Solve q = -q + s for q.
3
Suppose j + 65 - 139 = 0. Solve -25 = -79*s + j*s for s.
5
Let k(y) = -y**3 + 4*y**2 + 4*y - 12. Let c = -12 - -16. Let a be k(c). Let q(d) = 3*d - 2. Let f be q(6). Solve -4*p + f = a for p.
3
Suppose 12*f = 10*f + 2, -3*f + 3 = -4*i. Solve i*g + 8*g = 16 for g.
2
Let c = -50 + 54. Let j be 20/30 + c/3. Solve -p = j + 1 for p.
-3
Let x be 188*(-4)/(-144) - 14/63. Solve -2*i - x*i + 7 = 0 for i.
1
Suppose -5*b - 13 = -2*i, b + 4*b + 7 = 3*i. Let t(v) = -35*v + 100*v - 67*v. Let m be t(i). Solve 0 = 2*x + x - m for x.
4
Let u be 10 + -11 + 0 + 5. Suppose -u*p - p + 3*n = 0, -n = 2*p + 11. Let r = p + 6. Solve r*f + 0 + 3 = 0 for f.
-1
Let z be -1 + (50 - -3*(-3)/9). Let g = -44 + z. Solve g*f - f = -6 for f.
-2
Suppose -4*b = -34*b. Solve -7*d + 11*d + 4 = b for d.
-1
Let g be (-1)/7 - (-4 + (-388)/(-28)). Let j = g + 14. Solve -j = -0*q - q for q.
4
Suppose 3*l = 2*q - q - 5, -l = -4*q + 20. Suppose 0 = -4*j + 5*m - 2, -2*m + l = -4. Solve 9 = -j*b + 5*b for b.
3
Let i = 19 - 4. Suppose -p - 4*p + i = 0. Suppose p*l = 2*l. Solve -4*s - 8 - 12 = l for s.
-5
Suppose 0 = -0*a - 2*a + 32. Let n = 611 + -607. Suppose -4*u + 5*u = 5. Solve -a = u*m + n for m.
-4
Suppose 2*x - 6 = -0*x. Suppose -x*q = 2*q - 15. Suppose -5*r = -0*r - 20. Solve q*v - 4*v = -r for v.
4
Let p be 36/18 - (-4)/(-2). Solve 3*s + p*s = 0 for s.
0
Let z(l) = 0 + 15 + 14*l - 20*l + 7*l. Let k be z(-3). Solve 0*h = -3*h - k for h.
-4
Suppose 94 = 22*w + 28. Let j be 5/(-2)*(-4)/5. Suppose -3*r = -g + 15 - 3, 0 = 2*g - j*r - 8. Solve -4*l + w*l + 3 = g for l.
3
Suppose 0 = 4*p - 6 - 10. Let o be p - (-20)/15*-3. Solve 2*j + o = -4 for j.
-2
Let z(i) = i**3 + 9*i**2 + 2*i + 4. Let t be z(-9). Let s be ((-8)/10)/(2/(t - -4)). Solve 2*b + s = b for b.
-4
Let y be (-58)/(-377) - (-100)/26. Solve 28 = -y*a + 8 for a.
-5
Suppose -3*p - 5*v + 20 = 2*p, -4*v = -p - 11. Let z(n) = 16*n. Let c be z(p). Solve 2*g + c =