for h.
-3
Suppose 4*n + q = 24, -4*n - q = q - 28. Suppose x = -b - 2, 0*b + n*b = -4*x - 7. Solve b = -d + 2 for d.
1
Suppose 6 = 2*d - 0*d. Suppose -d*a + 8*a = 150. Suppose 3*s = -m + 22 + 4, 4*s - m - a = 0. Solve -4*c + 2*c = -s for c.
4
Suppose -2*s - 25 + 3 = 0. Let n be (s + 7)*(-1 + 0). Solve -u - n + 3 = 0 for u.
-1
Let z(p) = -p + 7. Let c be z(2). Suppose c + 1 = 3*a. Solve a*l = -l - 6 for l.
-2
Suppose -x + 4 = 4*h, 3*x - 2*h + 16 = 7*x. Suppose x*p = -2*z - 0*z + 16, 0 = 5*p + 10. Let v = 12 - z. Solve 4*u + v = -16 for u.
-4
Suppose 3*y + 3*c = -57, 0*y - 3*y - 67 = 5*c. Suppose 2*w + 10*w + 228 = 0. Let q = y - w. Solve -3*h = -q*h + 8 for h.
4
Suppose -18*h = -14*h. Suppose 6*p + 3*p - 45 = h. Solve -p*k = -2*k for k.
0
Suppose 3*y + 3*q - q + 17 = 0, -4*q = 3*y + 7. Let k(l) be the third derivative of l**6/120 + 3*l**5/20 - 41*l**2. Let u be k(y). Solve -6*s + s - 5 = u for s.
-1
Let b = -1293 + 1337. Solve 22*a + b + 44 = 0 for a.
-4
Let w(y) = 0 + 5*y + 0*y - 2 - y**2. Let m be w(2). Solve -3*j = j - m for j.
1
Let n be 5/(-2)*(7 - 9). Suppose -72 = -3*v - 24. Suppose n*t - t = v. Solve -t*y + 17 = 1 for y.
4
Let g be -1 + 12 + (9 - 15). Solve 0 = 3*y + g*y - 8 for y.
1
Let r = -23 + 46. Let u = r + -18. Suppose c + n = -1 - 2, 3 = 4*c - n. Solve c*p = -p + u for p.
5
Let q be (-18)/(-81) - (-220)/(-18). Let l = 16 + q. Solve -l*v - 15 = -v for v.
-5
Let u = 1 + 3. Let g(t) = -t**2 + 4*t + 4. Let l be g(u). Suppose -4 = l*n - 24. Solve -n*k + 4 = -k for k.
1
Let w be (-8)/(-6)*6*(-4)/(-8). Solve 21*i - w = 17*i for i.
1
Let f(u) = -4*u - 10. Let y be f(-4). Solve -2*a = -y*a - 12 for a.
-3
Let z(n) = -1 - 24*n + 0 + 6*n**2 - 20*n + 45*n. Let c be z(1). Suppose 37 - 1 = c*l. Solve -l*u + 20 = -u for u.
4
Let f = -404 - -404. Solve f*l + 2 = 2*l for l.
1
Suppose 2*y + 4 = u - 1, 0 = -y. Let w(g) = -g**2 + 6*g. Let l = -14 - -20. Let z be w(l). Solve z = -3*f + u*f for f.
0
Let w = 27 - 17. Let f(h) = h**2 - 4*h. Let c be f(4). Solve c = -2*i - 0 + w for i.
5
Let n(q) = 38*q + 43. Let u be n(-1). Solve u*o = -4*o + 27 for o.
3
Let s(j) = 89*j - 62. Let z be s(1). Solve 9*t - z*t - 54 = 0 for t.
-3
Suppose 2*u - 3 = 3*r - 3*u, r - 4*u = -8. Suppose r*f - 21 + 13 = 0. Solve -6*p - 20 = -f*p for p.
-5
Suppose 0 = -6*l + 37 - 1. Solve 4 = l*u - 2 for u.
1
Let c be 30*((-66)/(-30) + -1) + -2. Solve -c*n = -29*n for n.
0
Let k be (-3)/18 + 1561/42. Let f = -37 + k. Solve f = u - 4*u - 9 for u.
-3
Let u be 2/1 - -1 - (6 - 6). Solve 5 = -u*a + 8 for a.
1
Let z(f) = -f**3 - 31*f**2 - 86*f - 53. Let h be z(-28). Solve 2*w = -h*w - 25 for w.
-5
Let j = -28 + 38. Suppose 0 = 59*b - 64*b + j. Solve b*c = -3*c for c.
0
Let g = -174 + 78. Let n = g + 125. Solve 0 = 4*i - n + 9 for i.
5
Suppose -s = 501 - 526. Solve d + s = 20 for d.
-5
Suppose 4*w - 30 = -w. Suppose -10*h + w*h + 96 = 0. Suppose -5*n - 14 = -39. Solve -1 = -n*z + h for z.
5
Suppose w = 1 + 2. Let q(l) = 5*l**2 - 3*l**2 + 0*l**3 - l**3 - 2*l + 2*l**2 - w. Let p be q(3). Solve -3*a + 4*a - 2 = p for a.
2
Let o be (-10)/(-60) + 274/12. Solve 0 = o*w - 26*w + 15 for w.
5
Suppose -a - 4*c = -25, -15 - 47 = -2*a - 2*c. Let p = a - 31. Suppose -p*m + 2*z = -8, 5*m + 5*z + 5 = -15. Solve 3*f + m*f = 0 for f.
0
Suppose 47*x - 55*x + 120 = 0. Solve 27*g - x = 24*g for g.
5
Let y(a) = a**2 + 33*a - 65. Let d be y(-35). Solve 0 = 9*s + d + 4 for s.
-1
Suppose 3*x + 15 = -3*u, -9 - 3 = 3*x. Suppose 8*j + 15 = 47. Let t = j - u. Solve t*g - 10 = -0*g for g.
2
Let q be 11*1 + 672/(-84). Solve -18*b = -q*b + 15 for b.
-1
Let m be 13 + (0 + 11 - 2). Solve -m*v + 51 + 37 = 0 for v.
4
Let w(v) = 3*v**2 - 7. Let l be w(-3). Solve 6 = -22*x + l*x for x.
-3
Let z = -32 + 53. Let g(h) = -h**2 + 21*h + 2. Let n be g(z). Solve -6*u + n*u = 8 for u.
-2
Suppose y + 4*s + 5 = -7, -s = -5*y + 3. Solve y = -6*l - 12 - 6 for l.
-3
Let s = -4 + -3. Let f = s + 9. Suppose -h + f = h. Solve -a = h - 5 for a.
4
Let d = -3 + 8. Let z be (-9)/(-2 + d) + -10. Let t = -4 - z. Solve -4*h + h - t = 0 for h.
-3
Suppose -6*i = -7*i. Suppose i*g = 4*g. Suppose 4*x = -g*x. Solve -j + 2 + x = 0 for j.
2
Let h be 0 - (-8 + 32)/(-4). Solve h = 10*v - 14 for v.
2
Suppose 4*j + 131 = 5*d + j, -5*d - 2*j = -146. Solve -12*r = 2*r + d for r.
-2
Suppose 4*h - 3*g = 20, -g - 8 - 4 = -4*h. Solve 8 = -2*c - h*c for c.
-2
Let j be (-1)/(-2) - ((-47)/2 + 4). Suppose 0 = -4*o + j - 0. Solve -o*k = -2 - 13 for k.
3
Let t be 0/6*1*-1. Let b = 17 + -11. Let o(y) = y**3 - 4*y**2 - 11*y - 3. Let k be o(b). Solve t = -3*l - 0*l - k for l.
-1
Let r(v) = v**3 - 12*v**2 + 24*v + 40. Let c be r(9). Solve -6*l = c + 11 for l.
-4
Let t be (22/14 - 1)*(-8 - -22). Solve -t = -6*m + 2*m for m.
2
Let o(k) = -k**2 - 13*k + 4. Let s be o(-12). Suppose 0 = 4*f + 5*t - 8*t - 20, 0 = 2*f + 4*t - 10. Solve f*p = p - s for p.
-4
Suppose -19 = -2*g - 3*d, 4*g - 2*g - 2*d = -6. Suppose g*w = -0*w - 2*w. Suppose 5 = 3*m - 7. Solve -3*u - m + 13 = w for u.
3
Let c(n) = 47*n - 418. Let r be c(9). Solve 12 = 17*x - r for x.
1
Let q(f) = f - 8. Suppose v = -k - 2*k + 36, 5*k = -3*v + 64. Let r be q(k). Let t be (1 - -8)/(r/2). Solve 0*g = -2*g - t for g.
-3
Let a be (-10)/(-35) - (-3)/(42/(-4)). Solve -2*s + s = a for s.
0
Let f(d) be the second derivative of -3*d**5/20 + d**3/2 + 3*d**2/2 + 10*d. Let v be f(2). Let y = 29 + v. Solve 0 = -4*p + 2 + y for p.
4
Suppose -4*y + 40 = 5*u, -3*u - 3*y + 9 + 18 = 0. Suppose -u*b - x - 4*x + 22 = 0, -4*x = -b - 5. Solve 4*d = d - b for d.
-1
Let y = 15 - 13. Let u = y - 2. Let d(p) = p**2 - p + 3. Let g be d(0). Solve u = -2*l - l - g for l.
-1
Suppose -4*g = j - 2*j - 2, -4*j + 3 = -5*g. Let p(y) = -y**2 + 10*y + 4. Let h be p(10). Solve -2 = -h*t + j for t.
1
Let b(p) = -p**2 + 7*p - 6. Suppose 0 = 4*s - 3*q - 8, 0*s - 4*q = s - 21. Let j be b(s). Solve 0 - 16 = j*v for v.
-4
Suppose -a = 2*n, -10*n - 3*a = -5*n. Solve n = -9*y + 11*y + 10 for y.
-5
Let p(d) = d**3 - 23*d**2 - 81*d + 84. Let h be p(26). Solve -5*c = -8*c - h for c.
-2
Let b = 24 - 9. Let z = -6 + 10. Solve -z*y + y = b for y.
-5
Let n(i) be the first derivative of -i**3/3 - 5*i**2/2 + 3*i + 26. Let y be n(-5). Solve y*z = -z for z.
0
Let f be (-23 - -10 - -89) + 10. Solve 5*l = -f + 81 for l.
-1
Let g(p) = 5*p**2 + 6*p + 3. Let f(r) = r**3 + 15*r**2 + 19*r + 10. Let s(o) = -2*f(o) + 7*g(o). Let l be s(3). Solve 0*a + l*a - 16 = 0 for a.
4
Suppose 6 = -4*d + d. Let g be 1/(5 - (-19)/(-4)). Let t = g + d. Solve t*m = -m - 15 for m.
-5
Let k be 4/(-10) - (-3 - (-135)/(-25)). Solve 50*r - 52*r - k = 0 for r.
-4
Let v(q) = q - 9. Suppose 23 = -3*i + 116. Suppose i - 3 = 2*u. Let a be v(u). Solve 3*k - 10 - a = 0 for k.
5
Let x = 980 - 969. Solve -1 = 4*a + x for a.
-3
Let c = 370 - 370. Let w(l) = -l**3 - 12*l**2 - 13*l - 12. Let y be w(-11). Solve c*p - 5*p - y = 0 for p.
-2
Let h = 401 + -398. Solve 9 - 6 = -h*m for m.
-1
Suppose 2*m + 1 = -3*v + 24, -4*v + 24 = -4*m. Solve -v*x + 5*x = -8 for x.
4
Suppose -3*q = -3*o + 30, 0 = -2*q - 0*q + 3*o - 21. Let b = q + 14. Suppose -30 = -5*m + b*d, 0*m + 2*m + 12 = -4*d. Solve -g + m*g = -2 for g.
-2
Suppose -19*s = -22*s + 66. Solve 25*i - s*i = -6 for i.
-2
Let m be -18*2*5/(-20). Solve 5*n - m*n = n for n.
0
Let m be 0/(1*(5 - (1 - -2))). Let p(k) = -k**3 - 10*k**2 + 10*k - 7. Let i be p(-11). Let z = 0 + i. Solve m*f = z*f + 16 for f.
-4
Let j = -118 - -119. Let o be 1 - 5/j - (-27 - -20). Solve 7*a - 8*a = o for a.
-3
Let z be (-4 - (2 - 3))*(-96)/72. Solve 0 = r + z*r for r.
0
Suppose 2*r + 2*r - 63 = 5*o, -2*r - o + 21 = 0. Solve 5*m = 8*m - r for m.
4
Let h(m) be the first derivative of -m**4/4 + 7*m**3/3 - 11*m**2/2 - 2*m - 4. Let y be h(4). Solve 2*t - y - 2 = 0 for t.
2
Suppose p - 1 = 3*t, -4*p - 136 + 140 = -4*t. Let n = 5 + 11. Solve 5*o - o + n = t for o.
-4
Let m(n) = n. Let x be m(5). Suppose -6*k = -x*k. Solve t + k*t = 0 for t.
0
Suppose -5 = -2*h - m + 2*m, h = 3*m + 5. Suppose 2*t + 15 = 3*d + h*d, -2*t + 2*d = 0. Solve t + 3 = 4*x for x.
2
Let y(m) be the third derivative of -m**5/60 + m**4/12 + 8*m**3/3 + 38*m**2. Let l be y(-3). Let t be (2/5)/((-3)/(-15)). Solve 1 + l = -t*w for w.
-1
Let g(z) = -z**3 - 5*z**2 + 3*z - 13. Let j be g(-6). Let o = 11 - j. Solve -3*i + 0*i = -o for i.