 = 3*x - 2 for h.
1
Suppose 445*p - 108 = 433*p. Solve p*v + 7 = 10*v + 3*m, -4*m = -4*v - 36 for v.
-5
Let m be -10 + 20 + (-2 - 3). Solve 2*t - 7 = -m*p, -3 = 5*t + 4*p + 5 for t.
-4
Suppose 0 = -u - 4*u. Suppose 5*s + 4 + 6 = u, p + s + 2 = 0. Let j be (-1)/((-4)/12 + p). Solve 5*v - 4*t - 11 = 0, -v = j*v - t - 11 for v.
3
Let y(s) = -s**3 - 4*s**2 + 10*s - 7. Let g be y(-6). Suppose 0*o = 3*o - 4*m - 17, -5*o = 5*m - 5. Solve d = -3*z - 10, g*d - 4*z = -o - 9 for d.
-4
Let j(v) = -2*v - 1. Let k be ((-9)/(-6))/((-6)/8). Let q be (k - 0) + -1 + 0. Let d be j(q). Solve 3*n + 2*b - 12 = d*n, -5*b + 15 = 0 for n.
-3
Suppose 5*v - 2*v - 45 = 0. Let r = -92 + 97. Solve 14 = -3*h - r*n - 9, 5*h - 5*n - v = 0 for h.
-1
Let z(c) be the third derivative of c**6/120 + c**5/10 - c**4/24 - c**3 + 3*c**2. Let k be z(-6). Solve k = 3*a + 2*b + 14, -4*b - 9 = 7 for a.
-2
Let l(u) = -u**2 - 8*u - 8. Let d be l(-7). Let z = d + 5. Solve -14 = 3*c - g, -3*c - c + 8 = z*g for c.
-3
Let w(s) = s**3 + 3*s**2 - 12*s - 3. Let c be -6 + (1/(-4))/((-5)/20). Let f be w(c). Solve n - 18 - f = 4*q, n = 5 for q.
-5
Let c be (-6 + -2 - (-9)/3)*-3. Suppose 0 = 5*z - i - c, -2*i + i = -z - 1. Solve 6 = p - 3*w, -z*w = -4*p - w + 15 for p.
3
Let y = -513 - -518. Solve -16 = -3*n + 5*g - y, -4*n - g + 7 = 0 for n.
2
Let r(g) be the first derivative of -g**3/3 - 5*g**2 + 5*g + 7. Let z be r(-10). Solve 4*c = z*y - 21, 0 = -4*y + c - 7 + 26 for y.
5
Let u be 24*(17/3 + (-60)/12). Solve g = -2*g + 4*v - u, -2*v + 22 = -5*g for g.
-4
Suppose b + 5*p - 7 = 0, 4*b - 4 = -0*b + 4*p. Suppose -b*u + 27 = -u. Solve i - 5*t = -u, -3*i + t = -3*t + 26 for i.
-2
Let k = -213 + 223. Solve -4*o - 15 = v - 4*v, -2*o = -4*v + k for o.
-3
Let j(l) = l**2 + l - 2. Let z be j(2). Suppose q - 5*y = 3*q + 12, q + z = -2*y. Suppose 0 = q*t - 13 + 1. Solve t*i + 13 = 2*c, 0 = -2*c - 3*i + 7 for c.
5
Let v = 14 + -12. Let c be v + -2 + (-1 - -3). Solve 11 = -2*t + t + 2*r, -3*r = c*t + 1 for t.
-5
Suppose 4 = -f + 21. Suppose -8 - 16 = 3*p. Let n be p - -11 - (2 + -3). Solve 3*h - 7 = -4*d - 4, -h = -n*d - f for h.
5
Suppose 8*n - 116 = -84. Solve 4*s - 3*c - 6 = 0, -6*s - 2*c - n = -s for s.
0
Suppose -15*v + 60*v = 135. Solve -y = -m + 5, -v*m - 2*y = -2*m + 1 for m.
3
Suppose 4*g + 33 + 3 = 4*b, 2*g + 36 = 5*b. Solve -2*d - 5*l - 6 = 0, 2*d - 3*l + b = l for d.
-3
Suppose 7*j + 6*j = 39. Solve -2*o = -j*s + 13, 4*o + 3*s = 5*o + 14 for o.
1
Let w(g) = -g**3 + 20*g**2 + g - 20. Let o be w(20). Solve -5*j - 5*n + 20 = o, -3*j + 2*n - 6*n = -16 for j.
0
Suppose 0 = 6*z + 3*z - 126. Solve -2*w = -5*g - 2, w + 2*w + z = -g for w.
-4
Suppose -4*f = 5*g + 1 - 5, -5*f = 20. Let q = -3 + 5. Solve -2*y = 5*b + g, -4*b - 7 + q = y for b.
-2
Let j be (8 + -2)/1 - (0 + 1). Suppose -q + 75 = 4*q. Suppose -j*n = -0*n - q. Solve -f - 3*o = -2, -9 - 5 = 5*f + n*o for f.
-4
Let h = 2119 - 2103. Solve 4*v - 8 = 2*a, 4 = -4*v - 5*a - h for v.
0
Suppose -11 = -2*v + 5. Let u = 13 - v. Let a(g) = 2*g - 3. Let w be a(u). Solve 5*p = 4*x - w, -p - 5*x + 17 = p for p.
1
Suppose 5*b - 23 = 12. Suppose b = 5*t - 3. Suppose 10 + t = x. Solve -3*s - 2*y + 7 = -y, x = 3*y for s.
1
Let h be (5/(-10))/(1/(-36)). Let n be (h/(-30))/((-1)/5). Suppose 2*k = -n*k. Solve k*w - 2*w - 14 = 4*a, -5*w - 2*a = 11 for w.
-1
Suppose -4*j = 2*n - 22, -6*j = -j - 5*n - 20. Solve 0*b - 6 = -4*r - 3*b, 0 = j*r + 3*b - 9 for r.
3
Let l(j) = -j**2 + 11*j - 10. Let a be l(9). Let p = a - 4. Solve 0 = -n + f, -p*n + 3 + 5 = 4*f for n.
1
Let v(f) = 5*f + 0*f**3 + 4*f**2 - 8*f - f**3 + f**2. Let t be v(4). Suppose 7*s = t*s. Solve -5*i + 5*h = -20, s*i + 16 = -i - 3*h for i.
-1
Suppose -s = 2*p + 18, -3*s - 41 = 3*p + 2*s. Let x(l) = l**2 + 6*l - 3. Let a be x(p). Solve 0*w - a*w = 3*d + 4, -d + 6 = 5*w for w.
2
Let s = -83 + 96. Suppose 3*g - 7 = 5*m + s, 9 = g - 4*m. Solve c - g*a - 7 = 0, -1 = c + 2*a + a for c.
2
Suppose -89*j = -76*j - 52. Solve -j*g = 3*t + 16, -2*g - 5 = -4*t + 3 for g.
-4
Let j = 6 + -3. Let m be 60/(-9)*(2 - 4/(-10)). Let s be 0 - (m/4 + 4). Solve 0 = 5*w + q + 15, -j*w + q + 2 - 3 = s for w.
-2
Let j(x) = 3*x + 9. Let w be j(5). Suppose -3 + 7 = 4*r + 2*s, 3*s = 4*r - w. Solve n - 2 = 5*t + 11, 0 = -r*t + 3*n - 3 for t.
-3
Let x(g) = -g**2 - 10*g + 24. Let j be x(-12). Suppose 0 = c + 3*c - 12. Suppose 0*r = -c*r + 36. Solve 4*m = -j*m, 0 = -3*z - m + r for z.
4
Suppose 4*q - 7 = 1. Let s(d) = d + 4*d**2 + 3 - 3*d**q - 1. Let l be s(0). Solve -3*t - x = -l, 4*t - x = 2*t - 2 for t.
0
Suppose -2*n = -n - 6. Let x be (-5)/(1 - (3 - 1)). Suppose r + q + 65 = 7*r, 4*q + 18 = 2*r. Solve -16 - n = x*c - f, c + r = -2*f for c.
-5
Let h(g) = -3*g - 6. Let b be h(-3). Suppose -1 - 8 = -b*w. Suppose -w*c = 5*p + 4, 4*p + 8 = 2*c - 4. Solve l + c*l - 9 = -3*r, -5*r = 4*l - 15 for r.
3
Suppose -145*c + 146*c - 3 = 0. Solve l = -2*n - 1, n - 13 = 3*l - c*n for l.
-3
Let k(o) be the third derivative of o**5/60 - o**4/24 + 7*o**3/6 - o**2. Let h be k(4). Solve 0 = -3*z + 5*d - h, 4*d - 14 = 6 for z.
2
Let p be ((-24)/9 + 3)/(1/9). Solve -p*a + 2 = -a + s, 0 = 2*s for a.
1
Let i be (53/3)/((-196)/24 + 8). Let k = i - -111. Let o be 16/6 - (-2)/(-3). Solve 0 = j + 3*p - 15, -k*j - o*p + 3 = -7 for j.
0
Suppose -4 = -4*g - r + 3, 0 = -g + 2*r + 4. Let q = 5949 + -5944. Solve -k - 4 = g*n - q*k, -4*n + 25 = 3*k for n.
4
Let n(b) = -b**3 + b**2 + 16*b - 33. Let h be n(6). Let w = 120 + h. Solve -2*f = -10, -3*j - w*f = -6*j - 6 for j.
3
Suppose 55 - 191 = -68*w. Solve -n - w = -3*y, -y + 4*y = 0 for n.
-2
Let p(j) = -j**2 + 38*j + 2. Let l be p(38). Solve 5*t + 2*n - 17 = 0, 0*t - l*n = 2*t - 2 for t.
5
Let n be (6/9)/(2/15). Suppose -n*l - 2 = y, -y + l = -4*l - 18. Solve -h + s = -y, -2 = 3*h + 4*s + 9 for h.
3
Let k = -20 - -24. Suppose 13 = k*w + 5. Suppose -3*p + 3 = -w*p. Solve f = m - 0 - 8, -p*f = -4*m + 28 for f.
-4
Suppose c + 8*c = -6*c. Solve c = 3*d + f - 6, -3*d - d + 4*f - 8 = 0 for d.
1
Let b = -638 - -643. Solve 15 = -b*l - 3*p - 4, p = 4*l + 5 for l.
-2
Let k be 31/31 - (-8 - -1) - 4. Solve -4*p + m = 3*m + 2, -22 = -p + k*m for p.
2
Let d be ((-155)/(-35) - 5)/((-6)/21). Solve 3 = -3*m - d*k, 3 = -3*m - k - 3 for m.
-3
Let d(j) = -j**3 + 12*j**2 + 13*j + 4. Let f be d(13). Suppose 5*h + k = 17, -2*k - 8 = -h + 2. Solve 0 = h*i + 4*z - 4, -f*i = 5*z - 0 - 4 for i.
1
Suppose 0 = r - 5*f + 3*f - 12, -5*r - 3*f + 21 = 0. Solve 0 = -3*j + r, 2*p = 2*j - j - 8 for p.
-3
Suppose 4*r - 20 = 2*y, 2*r + 18 - 4 = -5*y. Let z = 6 + y. Suppose -i + z*i = 2. Solve 0*h + 3*h + 3 = -p, i*h - 2 = -2*p for p.
3
Suppose -2*h + 8 = -0*h. Suppose 0 = -4*n + 3*p + 7, n + p = -0*n. Let m = h - n. Solve 4*x + 1 + 34 = m*i, 4*x = i - 25 for i.
5
Let c = 1756 + -1736. Solve -3*j = -4*d + c, -2*j - 3*d - d = -20 for j.
0
Let i = -5 - 3. Let o = 28 + i. Suppose 0 = -16*h + 11*h + o. Solve -9*z = -h*z - c, c = z for z.
0
Suppose -28 = -6*y + 122. Suppose i + 13 = y. Solve -2*r - 3*r = a - 9, 0 = -3*a + i for r.
1
Let d(w) = -w**2 - 3*w + 7. Let o be d(0). Let m be 15/o + (-11 + 4)/49. Solve -2*p - 3*n = m + 6, -2*p = 4*n + 12 for p.
2
Let v(f) = -13*f**2 + 156*f + 12. Let n be v(12). Solve 2*a + n = -5*g, 4*a = 5*a + g for a.
4
Let y(n) = 7*n - 59. Let b be y(9). Suppose 0 = -2*x - 4*r + 36, x - r = 5*x - 58. Solve -g + b = -u, 5*u + x = g + 2*u for g.
-1
Let x be ((-27)/15 - -1)*-10. Suppose 0 = -0*p + 4*p - 2*l - 56, 2*l - x = 0. Let o be 11/2 - 1/2. Solve 2*c - p = 3*u - o, -29 = 2*c + 5*u for c.
-2
Let h be 13/3 - 1/3. Let r(q) = -2*q - 3. Let p be r(-4). Suppose 3*a = -3*m + 12, -4*a + 19 + 3 = 5*m. Solve -5*x - p*v + h + 1 = 0, 0 = -3*v - m for x.
3
Let k be (-3)/(-5) + (-153)/5. Let a be k/(-21) + 28/49. Solve 3*s + 2*g = -13, -a*s + 2*g - 12 = 4*g for s.
-1
Let f = 6 + -2. Let p be 15/6 - (13 + 100/(-8)). Let r(n) = 2*n**2 - 4*n - 1. Let l be r(3). Solve -5*k - 2*i + l = 0, -2*k + f*i = p*i + 12 for k.
-1
Let w = 5 - 3. Suppose -d - 6 = -5*f, -7*d + 28 = -w*d + 4*f. Solve 4*j - 12 = -0*j + 4*u, 2*j + d = -3*u for j.
1
Let x(u) = u**3 + 4*u**2 - 21*u + 5. Let a be x(-7). Solve -3*q - 6 = -o, 0*o + 6 = -a*q + 3*o for q.
-3
Let z be (-3)/12 + (-68)/(-16). Let a(b) = 3*b**2. Let p be a(-1). Suppose z*w - p*f - 9 = 0, -w = 3*f - 6 - 0. Solve 