 g.
4
Let w = -22 - -5. Let s be (-16 - w) + 1/1. Let m be (-3)/4 + (-15)/(-4). Solve -2*f + 19 = 3*p, s*p - 16 = -m*f + 5 for p.
3
Let r(b) = 2*b + 4. Let p be r(6). Suppose -y + 13 = 2*s, -2*s - 2*y + p = 2. Let a = s - 4. Solve 5*u - 12 = 3*u + 3*n, 0 = 5*u + a*n + 8 for u.
0
Let h = 35 + -31. Suppose 0 = -k + n + 7, 4*n + 3 = -h*k - 1. Solve 0 = 3*u - 2*u + 5*j - 8, j = k*u - 8 for u.
3
Let r = 41 - 40. Let n = r - -2. Solve 3*t + 6*j = 3*j - 15, n*t + j = -7 for t.
-1
Suppose -5*p - 4*a = 1, 2*p - 2*a - 7 - 7 = 0. Suppose m - 9 = -h, p = -3*h - 0*h + 3*m. Suppose 0 = -w + 3*w - h. Solve -5*i - w = -3*i, 2*i - 1 = l for l.
-3
Let v(i) = -i**2 + 10. Let a be v(0). Let c = a + -8. Let f(y) = -y**3 + 2*y**2 + 3. Let d be f(c). Solve 0 = -5*s - 5*u + 35, 0 = 5*s + 5*u - d*u - 26 for s.
4
Suppose 773*n + 66 = 776*n. Solve 0 = y - 4, 3*v + 3*y = -y + n for v.
2
Suppose -115 + 223 = 27*a. Solve 0 = -3*t - a*y - 6, -2*t + 0 = -4*y + 4 for t.
-2
Suppose 0 = -26*k + 101 + 29. Suppose 9*q = 7*q. Solve -3*b = -2*l - 23, q*l = -3*b - k*l - 5 for b.
5
Suppose 5*v - 5 = -5*h, -h = -2*h + v + 5. Solve 3*o - 4*y - 16 = 0, 2*o = -h*y - 0*y - 12 for o.
0
Suppose 2*g = -220 + 224. Solve 12 = -3*a + 3*y, g*a + 2*y + 7 = -a for a.
-3
Suppose -120*y + 8*y + 448 = 0. Solve c + 1 + 4 = -2*j, 0 = y*j - 5*c + 3 for j.
-2
Let k = -34 - -36. Suppose r = 1, d + k*r - 8 = -r. Solve -2*y = -4, -3*p + d*y = -5*p + 14 for p.
2
Suppose 4*d + 6*d - 20 = 0. Solve d*g - 3*j = -1, 3*g - 4*j + 2 = 1 for g.
1
Suppose 28 = 26*k - 102. Solve -k = 4*t - 5*a, 3*a = -4*t - 7 + 10 for t.
0
Let l be (2/(-8))/((-22)/176). Solve 6 = 4*b - 5*u + l, 2*b + u = -12 for b.
-4
Let u be 3*(22/99 + (-25)/(-9)). Solve i - 2*w = 1, -4*i + w + 2 = -u for i.
3
Suppose -35*s + 30*s + 10 = 3*d, -4*d = 5*s - 10. Let z be 3 + -1 + -3 + 2. Solve d = 2*r - v + z, 3*v + 2*v + 3 = 2*r for r.
-1
Let i be 7 - (8 + -4) - 0. Suppose 5*t - 23 + i = 0. Solve 0 = -3*q + t*l - 2, -q + 4*l = -0*q + 6 for q.
2
Let q be (40/30)/(0 - 4/(-6)). Suppose -q*n = 5*n - 3*n. Solve 3*y - 4*r + 3 = n, -2*r = 2*y + 4 + 12 for y.
-5
Let i(l) = -4*l - 7*l**2 + 11*l + 6*l**2. Let w be i(7). Suppose w = -4*b - 0*b. Solve 3*z = -2*k - b*z + 22, -2*k = -z - 6 for k.
5
Suppose -h - 5*p + 26 = 2, 4*p + 72 = 3*h. Let a be (-14)/(-4) - 12/h. Solve o = -2*x - 8 - a, -x + 4*o = -17 for x.
-3
Let i be 48/(-6) + 80/8. Solve 3*c + i*p + 14 = 0, 5*c + p = 2*p - 19 for c.
-4
Suppose -74*m + 77*m = 15. Solve 3*z = 6, 0*z - m*z = 4*d - 2 for d.
-2
Let n = -2 + 18. Let z = 11 - 1. Suppose -2*i = 5*r - 21, 5*i = 4*r + 3 - 0. Solve -i*h = 4*s - n, s - z = -2*h - s for h.
4
Let v(j) be the second derivative of j**4/12 + 7*j**3/6 + 13*j**2/2 - 6*j. Let k be v(-3). Solve -a - 5*d - 26 = a, -k = -a + d for a.
-3
Let g be -303 - 6 - (-9)/3. Let z be g/15 - 10/(-25). Let t = -16 - z. Solve 2*h + t = -4*r - 0, -r = h for h.
2
Let q = 41 + -38. Let y be 8*(-4 + 18/4) - -1. Suppose 18 = 4*t + 6. Solve 5*a = 4*x + 14, -a - t*a + q = y*x for a.
2
Let y(s) = -s**2 - 9*s - 2. Let a be ((-4)/10)/((-4)/(-80)). Let c be y(a). Suppose c*h - 25 = h. Solve -3*u + 2 = -n, 12 = h*u + 2 for n.
4
Let p(w) = w**2 - w - 3. Let v be p(4). Let h be 30/v*18/5. Solve -4*r - h = -5*l, 3*l + 3*r = -r + 20 for l.
4
Let u = -353 - -358. Solve -5*z - 3*h = -0*z - 21, -u*h = -5*z + 5 for z.
3
Let d(g) = -3*g - 11. Suppose -4*j + 45 = 5. Let f = j + -23. Let t be d(f). Solve 5*y = -4*a + y - t, -5*a + 4*y - 17 = 0 for a.
-5
Let i(l) = -17*l**2 - 4 + 6*l**2 - 1 - 4*l + 12*l**2. Let c be i(6). Solve 4*s - c*s + 5*p - 2 = 0, -s - 8 = 2*p for s.
-4
Suppose 2*g + 3 - 1 = 2*r, -4*g = 5*r - 5. Let o = 4 + r. Solve 2*f + 3*s = 7, 0*f - 3 = f - o*s for f.
2
Suppose -323*o - 15 = -328*o. Solve -o*t + t + 3*d = -15, -2*t + 2*d = -10 for t.
0
Suppose 10*x - 8 - 42 = 0. Solve 0*d + x*d + 25 = 5*g, 24 = -4*d + 5*g for d.
-1
Suppose 3*b - 8*b + 5*v = -25, 3*v = -5*b + 1. Solve -5*o - 15 = -3*p - b, -23 = 3*o + 2*p for o.
-5
Let u = 29 + -39. Let i be 10 + u - (-3)/1. Solve -i*c - 3*s - 6 - 3 = 0, -3*s - 9 = -c for c.
0
Suppose -25*w = -5*w. Suppose 20 = 3*x - 55. Solve -4*j - y = 5, w*j = -4*j - 5*y - x for j.
0
Let k be ((-16)/6)/((-8)/12). Suppose -2*b = 3*q - 2, 24*q - 23*q = -b - 1. Solve -12 = -q*o, 0 = -0*w - k*w + o - 19 for w.
-4
Suppose 27*h - 16*h - 22 = 0. Let u be ((-1)/2*0)/2. Solve 5*p + 2*s - 12 = u, h*p + 0 = -3*s - 4 for p.
4
Let n = 1048 - 1043. Solve -2*w = -2*i, 4*i + n = i + 4*w for i.
5
Suppose 0 = -2*g + 4. Suppose -43 = -3*h + 4*k, -h + g*h = -5*k - 11. Suppose h + 0 = 3*t. Solve 0 = -2*m + 4, -4*d - 4 = -6*d + t*m for d.
5
Suppose -3*z + 38 + 142 = 0. Let n be (6*2/8)/(z/80). Solve -u - 5*a = -25, n*a - 13 + 5 = 0 for u.
5
Let y = 1 + 1. Suppose 5*x = -2*z + x + 6, 1 = y*z - x. Let b(w) = 2*w**3 + 1. Let h be b(z). Solve -h*l = -l - 10, -4*s = 3*l - 19 for s.
1
Let t be (-25 - -22) + ((-20)/2)/(-2). Solve r = y, -y - 6 = 4*y - t*r for y.
-2
Let b(t) = t**2 - 5*t - 12. Let d be b(7). Suppose -2*h = -d*r - 14, -4*r + 75 = 5*h - r. Solve -2*n = n + u - h, -5*u = 0 for n.
4
Let l = -12 + 4. Let p(o) = o + 11. Let g be p(l). Let q be (-4)/g*(-36)/12. Solve q*j + 2*t - 1 - 21 = 0, 20 = 5*j - 5*t for j.
5
Let n be ((-16)/(-24))/(2/(-9)). Let z = -4 - n. Let a = 1 - z. Solve 7 = -j - a*v, j + v + 8 = -2*v for j.
-5
Suppose 6*r + 35 = 11*r. Suppose 0*z - 2*k + 3 = 3*z, 5*z + 4*k = r. Let h be z/((28/(-36))/7). Solve 3*s = t - 1, 0 = -3*s - 5*t + h - 4 for s.
0
Suppose -10*a + 8*a = 5*s + 11, -25 = -5*a + 5*s. Solve -p + 2*v + 7 = 0, -p + 0*v - a*v - 9 = 0 for p.
-1
Let g(y) = -y**2 + y + 8. Let j be g(3). Solve -5*u = 5*v + 5, -5*u + j - 25 = -v for u.
-4
Let g(a) = -a**3 + 13*a**2 - 19*a - 11. Let z be g(11). Let c = z - 6. Solve c = 4*n, 0 = -3*l - 6*n + 2*n + 1 for l.
-5
Suppose 43*d = 11 + 204. Solve -d*h - 3*n + 19 = 0, -h - n = 2*n + 1 for h.
5
Suppose 6*y = 4*y. Suppose y = 2*j + m - 1, 5*m = j - 17. Suppose -f + 8 = -3*p - 4, -4*f + 5*p + 34 = 0. Solve 0 = -j*l + s, -l = -5*l - s - f for l.
-1
Suppose -3*k + h = -2*h + 33, -5*h + 25 = -3*k. Let a = k - -19. Solve a*l - 20 = 0, 5*o + 2*l = -0*l + 25 for o.
3
Let u = 524 - 521. Solve 4*l + 15 = 5*r, 4*r = 3*l + 3*r + u for l.
0
Let g be -2 + (-5 + 4)*-7. Suppose 2 - 12 = -g*y. Suppose 0*l - 2*l = -4. Solve 0 = -4*s + 4*x - 12, -3*x = -y*s - 11 + l for s.
0
Suppose -2 = i, -3*p + 114 = -p - 2*i. Suppose -59*c = -p*c - 8. Solve 2*x - b + 0 - 2 = 0, 0 = c*b + 4 for x.
0
Let k be 6/2 - 7/((-28)/8). Suppose r - 7 = 2*j, -5*r + k*j = -3*r - 16. Solve r*g + 2*d + 6 = d, -d = g + 2 for g.
-2
Suppose 4*m + 6*m - 160 = 0. Suppose r - m = -3*r. Solve r*n - 30 = 2*s - 0*s, -3*n + 5*s = -40 for n.
5
Let k(l) be the third derivative of l**5/60 + 7*l**4/24 + 5*l**3/2 + 18*l**2. Let f be k(-5). Solve -4*s + 8 = -v, f*v - s - 17 = -0*s for v.
4
Let q = 27 + -25. Let v(r) = r**3 - 2*r**2 + r. Let u be v(q). Let m be (u - 2)/(-3 - -5). Solve m*s + 4*p + 6 = -3*s, 2*s - 5*p = 19 for s.
2
Let z(k) = -k**3 + 4*k**2 + 4*k - 10. Let m be z(4). Solve a - 2*u - 25 = m*a, 0 = 2*u for a.
-5
Let p be (0 + 54)/(-2)*5/(-15). Solve x = -3*d - 0 + 19, -d = x - p for d.
5
Suppose 10 = a + 10. Solve 0 = 4*o + 5*w, 0*w + 4*w - 16 = a for o.
-5
Let i(t) = -1 - 109*t + 3 + 108*t - 3. Let n be i(-6). Solve -6*f + j - 14 = -3*f, j + 26 = -n*f for f.
-5
Let l(v) = 4*v**2 + 1. Let a be l(1). Let x = -1049 - -1053. Solve -x*u - 4*b = -8, -a*u + 3*u = b for u.
-2
Let p(m) = -m**2 - 6*m - 13. Let s be p(-4). Let q be 1/(s/(-4)*(-1)/(-5)). Solve -3*u + q*y + 25 = -0*u, -5*u + 3 = 3*y for u.
3
Let o be (-16)/(-20) - (-32)/10. Suppose -3*w + o*y + 14 = 4, 2*w = 4*y + 12. Let r be 0/(-1 - 2 - w). Solve r = -5*l - 2*v - 0*v, 0 = -4*l + 3*v + 23 for l.
2
Suppose -2*y + 0*y = w - 105, -2*y + 3*w = -125. Suppose 2*j = 5*h - 30, 0 = 5*h + 3*j - 0*j - y. Solve -25 = 5*q, -t - 2*t + h = -q for t.
1
Let l(b) = b**2 - b - 4. Let g be l(3). Let f(h) = -h**g - 9*h - 6 - 3 + 3. Let c be f(-6). Solve -i + c = -3*n, -2 = 2*n - 3*i + 13 for n.
-3
Let w = 24 - 18. Suppose 0 = -0*c + 3*c - w. Solve 5*a = l - 2, -a + c*a = -1 for l.
-3
Let u = -434 - -438. Solve 0*v - 16 = -u*v, 4*j - 4*v = -36 for j.
-5
Suppose t - 10 = -2*o, -2*o + t + 1 + 1 = 0. Suppose -79*f = -74*f - 5. Suppose 0 = o*x