- f. Let n be o(-1). Let a(y) = -6*y + 29. Let g be a(4). Let u = n - g. Solve -2*j + 3*p + 4 = u, 4*j = p - 4*p - 10 for j.
-1
Let l(a) = 5*a. Let q be l(1). Solve 4 = 3*m + 4*x, 0 = -0*m - m + 5*x - q for m.
0
Suppose -5*b - 4*p + 88 + 42 = 0, b - 12 = 2*p. Let t = -13 + b. Suppose -3*h + t = -0*h. Solve -3*j = 3*g + 9, -h*j + g - 9 = -3*g for j.
-3
Let z be 2/(-4) + (-3)/(-6). Solve z = -i - 3*c + 10, 3*i = -5*c + 18 for i.
1
Suppose 0 = -2*z + 2*b - 3*b - 39, 3*z + b = -60. Let s = 24 + z. Solve 3*h + 5*r - 31 = -h, s*h + r - 15 = 0 for h.
4
Let f = -1 + 3. Solve -t = -6*t - 2*p - 31, -f*p = 6 for t.
-5
Let w be ((-6)/15)/(1/(-55)). Solve 0 = d - 4*d + 12, -5*b + w = 3*d for b.
2
Let h(g) be the first derivative of g**2/2 + 5*g - 1. Let f be h(7). Suppose 4*s - 15 = 9. Solve f = 2*r + 2*c, -2*r + 2*c + 2 = s for r.
2
Let m(c) = -5*c**3 - c**2 - 2*c - 1. Let s be m(-1). Solve -a - 7 = z, -2*a + 0*z = -s*z for a.
-5
Suppose n = -b + 8, 3*b + 20 = 3*n - 2*n. Solve 5*w = c + n + 17, -5*w = -5*c - 40 for w.
5
Let t(m) = m**2 + m - 2. Let k be t(-2). Let l(c) = c**2 + 3. Let d be l(k). Solve -d*h - 3 = -h - 5*o, 2*h + 3*o = 5 for h.
1
Suppose -r + 69 = 3*m - 0*r, 4*r = 5*m - 132. Suppose 0 = 4*d + 4*h - 42 + 10, -2*d = 4*h - 26. Solve 0 = -n + 4, -4*k = d*n - 2*n - m for k.
5
Let b(l) = -9*l**2 - 2 + 7 - l**3 + 2*l**2 - 7*l. Let k be 16/6*(-18)/8. Let o be b(k). Solve -m = -3*j + 1 - 9, 3*j = -2*m - o for j.
-3
Let u(h) = -h**2 + 6*h - 3. Let q be u(5). Suppose q*d = -3*c + 18, 0 = 5*d - c - c - 7. Solve -v - 5*f = 26, d*f + 10 = v + 4*v for v.
-1
Let l = -35 - -37. Solve 3*g = m + 5, m = 2*g - 6 + l for m.
-2
Let h = 16 - -1. Suppose -1 = n, 4*p - 3*n - 33 = -p. Let v = p - 3. Solve 3*u + v*w = -0*u - 6, -u - 4*w = h for u.
3
Let i(c) = -9*c**3 - c**2 - c. Let j be i(-1). Let z = -1 + 1. Let w(q) = -q**3 - q + 8. Let k be w(z). Solve -2*y + 4*y = -2*r - k, 0 = -4*r + 3*y - j for r.
-3
Suppose h + h = -4. Let d = 4 + h. Let z be d/(0 - (-2)/3). Solve 3*j = -z*a + 3, 7 + 4 = 3*a + 5*j for a.
-3
Let n = 1 + -1. Suppose n = w + 2*w - 6. Solve w*f = 5*t + 31, 5*f = -5*t - 9 - 1 for f.
3
Let g(z) = 4*z**3 - 2*z**2 - z - 4. Let o be g(3). Let f = o - 49. Solve -5*q + 12 = -u + f, -2*u = -3*q - 16 for u.
2
Let i be (-9)/15 + (-135)/25. Let q(s) = s**3 + 7*s**2 + 5*s + 3. Let u be q(i). Solve u = 3*t - 4*b, 2*t = 5*t - b for t.
-1
Suppose -16 = -5*j + r, -2*j + 16 = -r + 3*r. Let v be ((2 - 5)*-5)/1. Suppose 1 = j*y - v. Solve 0 = -y*p + 3*n + 25, -4*n + 8 = 5*p - 0 for p.
4
Let y = 9 + -9. Suppose y = u - 10 + 6. Solve -d = -2*n - 3, d - u*d + 3 = 0 for n.
-1
Let v(g) = -g + 16. Let f be v(9). Suppose 5*r = f*x - 3*x + 142, 28 = r - x. Solve 5*p + r = 5*k, 4*p - 2*p + 5*k = 9 for p.
-3
Suppose 0 = -0*q + q - 3*l - 26, -9 = 3*l. Let n = q + -13. Solve z = -s - 3*z - 5, -n*z = 4*s + 8 for s.
-1
Suppose -4*u = 2*t + 18, -2*t + 17 + 0 = -3*u. Let d(g) = g**2 + g - 4. Let n be d(4). Let c = -11 + n. Solve -2*k = y - 14 + t, -2*y = c*k - 31 for k.
5
Let x be (1/2)/((-4)/(-248)). Suppose -2*u + 9 = 2*d - 9, 4*u = -3*d + x. Solve -8 = 4*i + g, d*i - 4*g + 3 + 7 = 0 for i.
-2
Let h(y) = -y**2 + 15*y - 7. Let d be h(12). Solve -d = -5*u + 2*u + 5*b, -2*u + 4*b = -22 for u.
3
Let y be (3*3)/((-12)/(-8)). Let g(x) = x**2 - 4*x - 7. Let p be g(y). Solve -19 = -p*r + 3*v, 0 = 4*r + v + 3 - 25 for r.
5
Let a(q) = -q**2 - 8*q - 9. Let n be a(-6). Suppose -4*v + 2*f + 28 = 0, -n*f = 5*v - 5 - 52. Solve 4*o = c - 15, -6 = -5*c + 5*o + v for c.
-1
Suppose i + 2*z = -2*z + 21, -3*i + 5*z - 5 = 0. Solve 4*h - 25 - 12 = i*s, -3*h + 19 = -2*s for s.
-5
Let i = 29 - 1. Solve -i = 4*v - 2*q, 0 = -4*v + 4*q + 16 - 52 for v.
-5
Suppose q = 2*s + 10, -2*q = 2*q + 2*s. Let l(j) = -2*j + 1. Let d be (-3 + 2)/(2/8). Let c be l(d). Solve x + 0*b + 4*b - c = 0, 0 = -q*x - 4*b + 14 for x.
5
Suppose -2*q + 7 = o - 0, 23 = 4*q - o. Suppose -2 = -c, q*m + 5*c - 11 = -1. Solve m*p = 2*p - 2*h, 0 = -p - 4*h for p.
0
Let f(g) = g**2 - g - 8. Suppose -a + 6*a - 30 = 0. Let s be f(a). Suppose 7 = 2*w + 4*b - 5*b, -5*w = -4*b - s. Solve 2*k = 10, w*k - 2 + 1 = 3*x for x.
3
Let f(c) = 6*c**3 - 2*c**2 - 3*c + 4. Let w be f(1). Let q(m) = m**3 - 3*m**2 - m + 3. Let i be q(3). Solve u + i*u + 6 = s, w*u = -5*s + 20 for u.
-1
Let q = -17 - -19. Solve 12 = -q*z + 3*w, -2*z - 2*w = -1 + 3 for z.
-3
Let q(u) = 3*u**3 - 15*u**2 + 2*u - 5. Let d be q(5). Let v = 1 - -4. Solve -w + 4*a + 16 = 0, -d*w + v*a + 37 = -8*w for w.
-4
Suppose -3*y + 25 = 2*y. Solve 2*d = -p + y*d + 8, -d = 2*p - 2 for p.
2
Suppose -9 = 3*j, -4*j + 1 - 18 = -5*s. Solve -u - 2*q = -2, -q - s = u - 0*u for u.
-4
Let b(y) = -y**2 + 8*y + 3. Let l be b(8). Suppose 3*o = 12 - l. Solve -15 = -5*j, -3*q - 4*j + 3*j = -o for q.
0
Let u be (4 - 147/28)/((-1)/4). Solve -5 = u*i, 3*t - 7*t = 2*i + 2 for t.
0
Let b = -3 - 6. Let f(m) = -m - 13. Let l be f(b). Let i be 0*(2/1)/l. Solve -2*x = z - i*x, 0 = 3*z - 2*x - 8 for z.
2
Let z = -58 + 66. Solve 0 = -3*t - o - z - 3, o + 15 = -4*t for t.
-4
Suppose -2*s + 2 = -6. Suppose 0*c - 2 = -2*c. Let o = c + 1. Solve s*p - 10 = 2*g, 0 = o*g + 3*g + 5*p - 20 for g.
1
Let n(h) = -h**3 + 5*h**2 + 2*h - 3. Let b be n(5). Solve 4*a = -w - 14 - b, -2*w = -a + 6 for w.
-5
Let j(b) = 6*b. Let u be j(-1). Let d be u/(-8)*(2 + 10). Solve -4*y = k - d - 7, y + 3*k = 15 for y.
3
Suppose 0 = -16*r + 12*r. Solve r*u - 2*u + 5*t = -8, -t = u - 4 for u.
4
Let k = -8 + 9. Let b be k - 2*3/6. Suppose b = 2*u + 2*u - 92. Solve -3*p + 5*f + u = p, -p + f = -5 for p.
2
Let n = -5 - -7. Suppose 3*o - 2*d = d + 6, -o + n = -3*d. Suppose -5*b + 3*z + 28 = -0*z, 18 = 4*b + o*z. Solve 31 = -0*w - b*w - 3*h, -h + 23 = -5*w for w.
-5
Let l(q) = -q**3 + 11*q**2 + 2*q - 22. Let b be l(11). Solve 3*u = 2*d + 5, -d + u - 2*u + 5 = b for d.
2
Let z = 14 + -8. Let k be z*(-2)/(-4) - 0. Solve k*l + 7 = -i, 0 = 3*l + i - 3*i - 5 for l.
-1
Suppose u = 21 - 12. Solve y = 2*y + 3*n - u, y = -4*n + 12 for y.
0
Let n = 10 + -20. Let r be (n - -7) + 3*2. Suppose h = -r*h. Solve 0 = -c - h*x + 2*x + 10, -5*c + 4*x + 26 = 0 for c.
2
Suppose 0 = 4*h + 2*x - 3*x - 12, 0 = -5*h - 5*x + 40. Solve s - 10 = -s + 2*z, 5*s - h*z - 20 = 0 for s.
0
Suppose 0 = 5*m + 5*t + 4 - 24, 3*m = -2*t + 12. Solve -5*s = 3*u - 10, -m*u + 2*s = 3*s - 19 for u.
5
Suppose -3*s = -5*z + 9, 1 - 13 = -3*s - 2*z. Solve 5*m = -s*l + 18, 8 = -3*m + 5*m for l.
-1
Let v = 6 - 4. Suppose -2*b + b - v = 0. Let p be (2/(-4))/(b/20). Solve -2 = m, p*g + 0*m + 4*m = 17 for g.
5
Suppose -4*d = 2*w - 72, -d + 114 = 4*w + d. Solve 4*o - 4*a = a + w, 0 = 5*o - 3*a - 26 for o.
4
Let f(w) = w**2 - 7*w. Let z be f(7). Suppose z*j + 5*j = -460. Let v be (-1)/(-4) - j/16. Solve 3*x = v*c - 3*c - 21, 3*c = 5*x + 25 for c.
5
Let j be -5*(4/(-6) + 4/(-12)). Solve s = 3*s - 2*h, j*h = -4*s + 9 for s.
1
Let k(y) be the second derivative of -y**3/6 + y**2/2 + y. Let z be k(-4). Let f = -1 + z. Solve s = 5*n + 4 - 2, -f*s - 11 = -n for s.
-3
Let p(b) = -b**2 + 3*b + 4. Let m be p(4). Suppose -19 = -2*r - 3. Suppose 0 = s + 3*s - 8. Solve -r = 2*c - m*c - 2*a, -2*a = s*c for c.
-2
Let r(g) = -g + 7. Let u be r(3). Solve 4*o + u*t - 20 = 0, t - 4 + 1 = 0 for o.
2
Let m be (-1)/3*(3 - -6). Let h = -2 + m. Let s = h - -9. Solve s*a - 5 = 5*z - 36, -4*a = -2*z + 22 for a.
-4
Let h = -3 + 5. Suppose 0*n + 80 = 3*o - n, 0 = -2*o - 2*n + 48. Suppose 4*m + 3*u = 5, -o + 71 = 4*m - 5*u. Solve 4*r + 2*k = -8, m = -h*r + r + k for r.
-3
Suppose -4*k + 5*w - 20 = 0, 3*w - 7 - 5 = k. Solve 0 = -0*i - 4*i - 4*y - 20, -3*i - 4*y - 19 = k for i.
-1
Suppose 2*i + 3*p - 1 = 0, -4 = -2*i - 5*p + 3*p. Suppose 3*u - 1 = i. Solve -4*k - u*j - 26 = 0, 0 = -k - j + 2*j - 2 for k.
-5
Let j(k) = -k**2 - 5*k - 4. Let w be j(-4). Solve 5*o - 18 = 5*u + 2, w = 2*u - 3*o + 12 for u.
0
Suppose -2*o - 52 = -6*o. Solve -v - 5*r - 1 = 0, -4*r + r = 4*v - o for v.
4
Suppose 3*i - 2*i = 0. Solve -3*h = 5*d + 2*h + 40, 5*d - 2*h + 5 = i for d.
-3
Let m(y) = 21*y**2 + 2*y + 1. Let l be m(-1). Let j(b) = -b + 8. Let k be j(8). Solve -5*t + 2*u = -k*t + 3, 5*u - l = 0 for t.
1
Let w(p) = -p**3 + 8*p**2 + p - 51. Let l be w(7). Solve -l*d + 0*y = -2*y - 15, 19 = 4*d - 3*y for d.
1
Suppose 45 = -h - 4*h. Let r be (-48)/h - 5/15. 