 h.
4
Suppose -5*h = -10*h. Suppose -4*q = 3*k, -2*q - 5*k = -3*k + 2. Solve -9 = q*v + y - 4*y, -5*v + 4*y - 14 = h for v.
-2
Suppose -16*s = -15*s. Solve 4*m = n - 12, s = -6*n + 3*n + 3*m for n.
-4
Let m(b) = b**3 - 13*b**2 + b - 13. Let z be m(13). Solve -p + 3*f - 8 = z, 3*p + 24 = 4*p + 5*f for p.
4
Let j(o) = o**2 - 9*o - 7. Let h(w) = -w**2 + 12*w + 10. Let r be h(12). Let x be j(r). Solve -x*c + 0*y - 8 = -2*y, -3*y + 6 = -3*c for c.
-4
Let n = 3 + -1. Suppose n*k + k = 54. Let g be (-10)/4*k/(-15). Solve -3*z = -g*f, z + 0*f = -4*f for z.
0
Suppose -46 = -3*b + 3*h - 7*h, 4*b = -h + 44. Suppose 1 = 4*t - 11. Suppose -t*y = 2*y. Solve -5*a - n + y*n = -b, 4 = 2*a - 4*n for a.
2
Suppose 7*v = 3*v. Suppose v*o + 12 = 3*o. Solve 0 = -5*f + s - 21, o*f = 2*f + 4*s - 12 for f.
-4
Let d(j) = -j**2 + 8*j - 8. Let z be d(6). Suppose 10 = z*x + 2. Let h = 19 + -6. Solve 5*g + 5*i = 2*g, x*g - i = -h for g.
-5
Let v be 3 + 1 + (-5)/(-5). Let n(y) = y**3 - 17*y**2 - 17*y - 12. Let p be n(18). Solve 4*x - 3*b + p = -0*b, v*b = -10 for x.
-3
Let p(y) = -y**2 - 5*y + 2. Let x(z) = z**2 + 8*z + 6. Let t be x(-9). Suppose 0*u = -3*u - t. Let d be p(u). Solve 2*o = i - 13, -2*i + 0 + d = 2*o for i.
5
Let h be ((-220)/(-154))/(2/14). Solve -5*j = r - h, -2*j + 14 - 2 = 2*r for j.
1
Suppose 2*d + 3*i - 6*i - 40 = 0, d - 14 = 3*i. Solve -4*a = 5*f - d, 0*a - f = 4*a - 18 for a.
4
Let t(s) = 3*s**2 - s - 1. Let y be t(-2). Solve 0 = 4*r - 5*j + 13, 0*r - r - 2*j + y = 0 for r.
3
Let b = 3 + -4. Let m be b/(-3)*3*3. Solve -2*t + m*g - g = 0, 2*g = 6 for t.
3
Let k(l) = -8*l + 2. Let g be k(0). Solve -2*t - 12 = 2*t, -16 = -2*p + g*t for p.
5
Let k(g) = g**2 - g. Let x be (-8)/(-12) - (-2)/6. Let q be k(x). Let o = -1 - -6. Solve -y + o*s = -27, q = -8*y + 3*y + s + 15 for y.
2
Suppose 4*x = 2*x + 10. Solve -4*k - 16 = 4*f, x*f + 4 = 2*k - 2 for f.
-2
Suppose -5*r = 8 - 28. Solve 7 + 10 = 3*k + 5*m, -18 = 2*k - r*m for k.
-1
Let r be (-55)/22*12/(-10). Solve 3*p - 3 = -i - 2*p, -r*i + 3*p = -9 for i.
3
Let c(a) = a**2 + 2*a - 7. Let t be c(-5). Solve 5*r + 10 = -4*d, 8*r - 4*r = 2*d - t for d.
0
Let w(s) = -s**3 - 7*s**2 - 5*s - 3. Let j be w(-6). Let r be j/((-9)/10) + -1. Solve c - 3*o = -r, -5*o + 14 = 2*c - 1 for c.
0
Let d be (3 - -1 - 3) + 1. Solve -3*c = t + 2 + 10, 2*c = -d*t - 4 for t.
3
Let c(t) = 4*t. Let i be c(2). Let s = i + -5. Suppose 3*g + 13 = 5*f, -1 - 4 = -5*f - 5*g. Solve -s*o - f*n - 3*n = 6, 4*n + 10 = -5*o for o.
-2
Let c(g) = g**2 + 14*g + 29. Let o be c(-12). Solve 2*z = o*l - 19, -4*z = -2*l - 1 - 1 for z.
3
Let d be 1 + 3 - (0 - 1). Suppose -20 = -0*z - d*z, 4*w = -3*z + 36. Let m be 1 - 3/w*-2. Solve -3*p + 3*x = -6, 2*p = x + 3*x + m for p.
3
Let r(v) = 9*v - 1. Let u be r(-4). Let l = 63 + u. Solve 2*x = -4*w - 14, l = -x + 3*x - 4*w for x.
3
Let x(q) = -q**3 + 4*q**2 + 6*q - 2. Let k be x(5). Solve 0 = -3*o + 15, -o + 6 = 2*c - k for c.
2
Let w = -58 - -60. Solve -10 = 2*q - q + 2*h, 0 = -3*q + w*h + 2 for q.
-2
Let j = 41 + -32. Solve -3*x + 4*u + 17 = 0, -4*u = 2*x + j + 13 for x.
-1
Let j be 560/266 + 2/(-19). Solve p = 2*p + j*r + 8, p = 2*r + 8 for p.
0
Let r(q) = 2*q**2 + 1. Let c be r(1). Suppose 7 = 3*j - 14. Let b = -4 + j. Solve -2*l - b = -3*p - 1, -2*p = c*l + 16 for p.
-2
Suppose 64 = 2*k + 2*k. Let a(n) be the second derivative of -n**4/12 + 4*n**3/3 + 2*n**2 + 4*n. Let q be a(8). Solve 3*i + 12 = 6*i - s, -k = -q*i - 4*s for i.
4
Suppose -3*w = 9 - 39. Let d = -3 - w. Let s = -7 - d. Solve 0 = 3*l - s, -5*l + 12 = 5*o - 8 for o.
2
Suppose 4*j + 87 = 7*j. Solve 3*u - 3*t - 9 = 0, u = -u - 5*t - j for u.
-2
Let n(h) = 6 + 3*h - 2 - 7. Let m be n(4). Solve -4*t = k - 8, 4*k = -5*t + 3*k + m for t.
1
Let d(x) = 2*x. Let y be d(1). Suppose -5*c + j + 3 + 4 = 0, y*c = -3*j + 13. Suppose -c - 14 = -n. Solve -4*t - n = -p, 0*t - 3*p + 15 = -t for t.
-3
Suppose 24 = -3*r - 3. Let w be (-2)/r - 306/(-81). Solve -p = -5*n - 9, 0*p + w*p - 16 = 0 for n.
-1
Let i be 18 + (-2 + -2 - -2). Solve 4*a = -0*q + 2*q - 22, -3*a + q = i for a.
-5
Let w be (-30)/7 + 2/7. Let z be 2 + -3*w/(-6). Let r = -58 + 60. Solve -v - 5 = -4*o, r*v + z*v = -3*o + 12 for v.
3
Let o(k) = k + 12. Let t be o(-10). Suppose 4*r = -t*g + 10, -r + g = 4*r - 9. Suppose 14 = 2*p + r. Solve 3*m - p*m + 3*h - 18 = 0, 0 = -3*m + h - 8 for m.
-1
Let r be 3/(-12) + 78/24. Suppose 4*w + 0 - 14 = -r*l, w = -l + 4. Solve -5*i = w*m + 5 + 1, 0 = -4*m - 12 for i.
0
Suppose 4*h - 4*b + 3*b = 15, -2*h - 6 = 4*b. Suppose -q + 0 = -12. Let j = q - 7. Solve j*s - 20 = 0, h*s = 2*z - s + 20 for z.
-2
Let i(c) = c**2 - 6*c. Let g be i(6). Solve -3*j - 6 = -j, g = -4*p + j + 11 for p.
2
Let o be (42/28)/((-2)/(-4)). Solve -4 = o*r - 2*p - 3, -37 = -4*r - 5*p for r.
3
Let u(v) = v + 21. Let r be u(-19). Solve 24 = 3*s + 5*q, -3*q + 0*q = -r*s - 3 for s.
3
Let j(r) = -r - 8. Let c be j(-12). Solve -2 = o - 5*i, -i = c*o - 0*i - 13 for o.
3
Suppose -60*z = -62*z + 12. Solve 2*h - i - 6 = z*h, -5*i - 10 = 0 for h.
-1
Suppose -u - 46 = -50. Solve -u*f + 17 + 1 = -r, r - 18 = -5*f for f.
4
Suppose 26 = -2*c + 4*r - 0, 4*r = 4*c + 32. Let w be ((-3)/1 + 2)*c. Let d = w + 1. Solve -d*i - u = -2*u - 6, 0 = -4*u + 8 for i.
2
Let r be (-22)/55 - 22*(-2)/10. Solve 4*h = -0*m - 2*m - 10, -5*h = -r*m - 7 for m.
-3
Suppose 5*u - 28 = 4*a + 2, -3*a = -2*u + 12. Suppose -u*v + 4 = -2*v. Let l be 5 + 0/v*-1. Solve 0 = 5*q - l*r - 20, -2*r = -2*q - 3*r - 7 for q.
-1
Suppose c - 4*s = 25, 0*c - 50 = -2*c + 2*s. Suppose 0 = -o - 2*o + 12. Suppose 2*i - o = -0. Solve -2*h + 6*h + 18 = i*x, -5*x = -c for h.
-2
Let l(j) = j**2 - j. Let d(t) = -t**2 - 5*t + 2. Let o(n) = -d(n) - 2*l(n). Let h be o(6). Solve -3*k = -8*k - b + 25, -2*b = -h*k + 20 for k.
5
Let z(o) = o - 2. Let i(w) = -w**2 - 5*w + 2. Let d be i(-5). Let p be z(d). Solve -5*u + 0*g - g + 13 = p, -3 = 3*u - 3*g for u.
2
Suppose 3*t = -5*a + 11 - 2, 2*a = 3*t - 9. Suppose a*w - 6 = -3*w. Suppose 3*j = -0*j + 6. Solve -2*m = 2*v + j*m + 10, w*v = -5*m - 11 for v.
-3
Suppose 3*u - 69 = -2*a, 6*a + 5*u = a + 175. Let f(o) = -o - 4. Let t be f(-6). Suppose t*r - 18 = -0*r. Solve 4*w + r = -5*c, -7*c + 3*c = -4*w + a for w.
4
Let l(n) be the first derivative of n**4/4 + 5*n**3/3 + 3*n**2/2 + n - 4. Let x be l(-4). Solve -2*c = -i + 8, x*c - i + 13 = 2*c for c.
-5
Let p be (-1 - -23) + (-2)/2. Solve 3*o - 31 = 6*o + 4*t, 5*o = t - p for o.
-5
Suppose 0*y = 2*y - 6. Solve 0 = -5*g + 5*v + y + 2, -5*g - 5*v = -5 for g.
1
Suppose a - 5*w = 20, -4*w - 3 = 9. Let i be (-18)/10*a/(-1). Solve 0 = -4*m - 5*o - i, -2*m + 2 = -0*m - 4*o for m.
-1
Let c(y) = -y**2 + y + 4. Let n be c(0). Let x(h) = -h**3 + 12*h**2 - 18*h + 77. Let m be x(11). Solve -4*v - 21 = -k, 2*v + n*k = -m + 12 for v.
-4
Let x(q) = -q**3 + 8*q**2 + 10*q - 12. Let y be x(9). Let s = y - -6. Solve -s*u - 2*b + 17 = 0, 4*u - 2*u - b - 9 = 0 for u.
5
Suppose -3*m = -h - 5, 4*h = 3*m - 20 - 0. Solve -8 = 5*l - b - b, -3*l + 2*b - 4 = m for l.
-2
Suppose 13 = -4*n - 11. Let x = n - -8. Solve v = -4*c + 8, 3*c - 11 = -x for v.
-4
Let s = -21 - -28. Let z = 25 - s. Solve f = -0*d + 2*d - 4, 4*d - z = -3*f for d.
3
Let g = -104 + 155. Suppose 4*c = -u + g + 52, 125 = 5*c + 5*u. Suppose -39 - c = -5*y + 5*f, -5*y + 69 = -f. Solve -n + 8 = 5*r, 4 = -5*r + y for n.
-2
Let d be 9/(-6) - 117/(-18). Solve d*b = 5*m - 20, m = 5*b - 2*m + 20 for b.
-4
Let x be 1*(-130)/(-12) - (-16)/96. Solve 5*d = 4*k + 8, 3*d + 2*d = 3*k + x for k.
3
Let v = 11 + -20. Let z = v - -31. Solve 2*x - w - 8 = 0, 4*x - 5*w = -0*x + z for x.
3
Suppose -10 = 5*v - 0. Let u = 0 - v. Suppose -5*a + u*f + 47 = 0, -3*f = -0*a - 3*a + 30. Solve b + 4*d - a = 0, 6 = -4*b + 2*b + 4*d for b.
1
Suppose 6*i = 5 + 7. Solve -i*g - j = -2, -4*g = -j - 1 + 3 for g.
0
Let t(l) = -l**3 - 5*l**2 - 2*l - 5. Let k be t(-5). Solve v + 4*c + 10 = 9*c, k*v - 5*c - 10 = 0 for v.
5
Let s = 3 - 3. Suppose -2 = -2*c, s = -2*l + 4*l + 2*c - 8. Solve l*f - v - v = -7, 2*f = 5*v - 1 for f.
-3
Let o(b) = 6 + 0*b**2 + 2*b + b**2 - b**3 - 2 - b. Let c be o(0). Solve -3*f + 3*x - 6 = 0, -c*f + 3*f + 3*x = -4 for f.
-5
Let f be (-3 + -24)*1/(-1). Suppose -4*a + 87 = 4*r + r, -f = -r + 4*a. Solve -2*h = -4*h - 5*y + 7, h - 5*y = -r for h.
-4
Suppo