+ 5*x + 14 for f.
-2
Let m(n) = -n**2 + 9*n + 13. Let s be m(10). Suppose 2*a = -s*a. Solve a = 4*j - 5*x - 46 + 6, 2*j = -3*x - 2 for j.
5
Let r be (-1 - 4)/(-1 + 0). Let s = -61 - -105. Solve -5*n - 5*l + s + 6 = 0, -n + 2*l - r = 0 for n.
5
Let t(z) = z**2 + 2*z - 3. Suppose -2*w + 14 = -2*d, -5*d + 3*w = 4*w + 17. Let b be t(d). Suppose -b = -g - 3. Solve -3*m - 3 = 2*m + g*l, -l = -5*m - 6 for m.
-1
Let d be ((-4)/16)/((-1)/20). Solve -2*v - 10 + d = -p, 0 = 5*v + 2*p + 26 for v.
-4
Let x(r) be the second derivative of r**5/20 - r**4/12 + r**3/6 + r**2 + r. Let f be x(0). Solve j - 13 = -4*d, 4*j - f*d = -3*d - 8 for j.
-3
Suppose -4*h - i + 6 = 2*i, -5*h + 2*i - 4 = 0. Suppose h = -2*z - 0*z + 4. Solve z*q - 7 = -3*o, -4*o + 5*q - 3*q + 28 = 0 for o.
5
Let p(j) = -j**2 - j + 2. Suppose 2*z + 11 = 4*x + 31, -5*z + 26 = -4*x. Let c be p(z). Let m = -3 - c. Solve 2*i + 2*g - 8 = 0, -5 + m = 4*g for i.
5
Let a = -12 + 21. Suppose -36*j + 31*j = -2*x - 23, -5 = -2*j + 5*x. Solve -3*i = -k - 10 - a, -j*k = -4*i + 40 for i.
5
Suppose -5*v - i + 3*i - 72 = 0, -58 = 4*v - 2*i. Let o = -9 - v. Solve -3*u = -5*x + o - 2, 2*x = 5*u + 5 for u.
-1
Let n = 0 - -9. Solve -4*l - n = -3*f - l, -4*l = 0 for f.
3
Let r(q) = -q - 1. Suppose -5*d - 4 = -m + 12, -2 = -d - 5*m. Let f be r(d). Solve o + 2*s + 6 = f*o, -24 = o + 4*s for o.
-4
Let t be ((-2)/(-2))/((-10)/(-20)). Solve 0 = 5*p - m + 2*m - 17, 3*m = t*p for p.
3
Let n be (32/12)/(3/9). Let h = -5 + n. Solve h*g - 4*g - 22 = 5*o, 2*o = -2*g - 4 for g.
3
Let s(y) = -y**2 - 5*y - 4. Let f be s(-5). Let v be (-18)/f + 1/(-2). Solve 5*m - 2*x = 3*x, -35 = v*m + 3*x for m.
-5
Suppose 5*w = -2*p - 22, -w - p = -3*w - 7. Let y be (-9)/(-15) - w/10. Solve 2*f + 14 = 3*r, 0 = 2*r - 5 + y for f.
-4
Suppose 0 = -5*m + 3*b + 25, 4*b + 4 + 6 = 2*m. Solve -y + 29 = -5*p + 3*y, m*p + 27 = 2*y for p.
-5
Let m = -28 - -30. Solve -2*i - 23 = -i - 4*d, -i - d = -m for i.
-3
Suppose 0*l + 2*g = 5*l - 149, 0 = -4*l - 3*g + 133. Solve 35 = -5*y - 3*w, -3*y - l = y + 3*w for y.
-4
Suppose -b - 7 = -2*l, -3*b + 2*l + 1 - 2 = 0. Let p be b/4 - (-1)/4. Let n be -3*p/(0 + -1). Solve j = -n*j - 2*w + 22, -4*w = 2*j - 14 for j.
5
Suppose t = -2*t + 6. Solve 2*p + 9 = -l, 0 = -4*p - 4*l - t - 14 for p.
-5
Suppose 2*n - 6 = 0, 0 = g - 3*n + 5*n - 11. Suppose 3*u = -5*l + 118, 5*u = -l - l + 32. Suppose -16 - 4 = -5*s. Solve s*o = -2*z - l, z - g*z - 16 = -o for z.
-5
Let c(p) = -7*p - 40. Let r be c(-6). Solve -2*s + 4 + 2 = -2*l, 0 = -r*l - s + 3 for l.
0
Suppose -4*f - 7 = -43. Suppose -f - 18 = -3*o. Solve 0 = 3*q - 3, 3*h - q - 2*q + o = 0 for h.
-2
Suppose 8*u = 4*q + 3*u - 15, 5*u - 5 = 0. Solve -3*a + 0*d + q*d - 4 = 0, -a = 5*d + 8 for a.
-3
Let x = -5 - -6. Suppose 3*z = -9, 2 = 2*n - 3*z + 1. Let p be (-6)/n - x/(-2). Solve 1 = w, 0 = -6*y + p*y + 3*w + 13 for y.
4
Let k(i) = i**3 + 9*i**2 - 8*i + 14. Let h be k(-10). Let d = -3 - h. Solve -2*o = -o - 4*m - 20, o - 16 = d*m for o.
4
Suppose 7*h - 3*h - 12 = 0. Suppose -2*x - h*w + 25 = -3, -x = -3*w - 32. Solve -4 = -l - 3, 5*b - 5*l - x = 0 for b.
5
Suppose -12 = 85*y - 89*y. Solve 2*z + 21 = z - 4*s, -12 = -3*z + y*s for z.
-1
Let z(h) = -h**2 + h + 2. Let n be z(0). Let f be (10/(-3))/((-10)/15). Suppose -3*j = -f*x + 35, 0 = -j + 1 - 6. Solve v + 11 = 5*o - 3*v, n*v = x*o - 4 for o.
-1
Suppose 0 = l - 3. Suppose -1 = -l*d + 8. Solve k - 2*i = 11 - 1, 2*i + 18 = d*k for k.
4
Suppose 10 - 4 = 2*q. Let d(k) = -2*k - 14. Let t be d(-10). Solve 5*b + x + 30 = 0, 4*b + 5 = -q*x + t*x for b.
-5
Let m = 1 + 2. Suppose 0*d - 9 = -m*d. Let l(b) = b. Let s be l(2). Solve -2*c + 2*i + 2*i + 6 = 0, 5*i = -s*c - d for c.
1
Let o be -2 + 10 + 1 + 2. Let y = o - -4. Solve 4*w - x = -0*x + 19, y = 3*w - x for w.
4
Let d be 6 + -2 + 2/(-1). Let x be 246/21 + d/7. Let u = -10 + 14. Solve -3*a = -3*k + x, -u*k + 2 + 8 = 2*a for k.
3
Suppose 0*z = 5*z + 60. Let n be 66/14 + z/(-42). Solve -4*f + 3 = -3*q, -n*q = -10*q - 25 for f.
-3
Let t be 6/(-1)*1/(-1). Let b be 2/7 + 111/(-21). Let u(s) = -s**2 - 6*s + 1. Let f be u(b). Solve n - a = f, 0 = -t*a + a - 5 for n.
5
Suppose 0 = -3*h + 5*u + 49, 3*h - h - 1 = -3*u. Solve -4*f - 14 = -2*n + h, 3*n - 13 = f for n.
3
Suppose -7*k + 10 = -2*k. Suppose 2*b = 3*b - k. Solve 2*g + 14 = -t, g - 5 = b*g for t.
-4
Let y = 0 - -9. Solve 3*l = 5*b - y, 3*b + l = 4*b - 1 for b.
3
Let c(z) = -z. Let p be c(5). Let j be (-3)/p - 72/(-30). Let a be ((-1)/1)/((-3)/21). Solve 4*o + m + a = -9, j*o = -m - 11 for o.
-5
Suppose 15*b - 19*b + 20 = 0. Solve 4*g = v - 23, b*g - 4*v - 2 + 39 = 0 for g.
-5
Let g(y) be the second derivative of -y**3/3 - y**2/2 - 2*y. Let x be g(-3). Suppose 18 + 7 = x*i. Solve -4*j + 13 = -3*b - 6, -b - 21 = -i*j for j.
4
Suppose 0 = -4*g - 4*d - 0*d, 4*d = -5*g + 1. Solve 5*m = -z + 18, m + g + 5 = -5*z for m.
4
Suppose 0 = -2*m + 2*k + 3*k + 5, 3*m - 10 = 5*k. Solve m*r = -0*w - 2*w - 23, -5*r - 27 = -2*w for w.
1
Suppose -2*i = -5 - 3. Suppose 0 = -3*h - h + 20. Solve -2*n = i*l + 24, 4*n = 2*l + h - 13 for l.
-4
Suppose -3*o = -25 - 38. Suppose 5*y - o = -5*d + 19, -4*y = -16. Let l(q) = -2*q - 20. Let c be l(-12). Solve -u - u = -s - c, -d*s = 5*u + 3 for u.
1
Let u = -11 + 2. Let i be (-3)/(-15) - u/5. Suppose i*o = 3*h + 25, 4 = 5*o - 2*h - 31. Solve -2*d = -o*q - 18, 5*d - 5 = -2*q + 11 for q.
-2
Let n(s) = -s + 5. Let r be n(5). Let a be (-6)/(-3) - r - -3. Solve 2*h = -a*l, 3*l + 13 + 13 = 4*h for l.
-2
Let p(s) = -s**3 + 6*s**2 + 9*s - 9. Let k be p(7). Suppose -3*c - 4*r + 36 = 0, 0 = -5*c + r - 0*r + 60. Solve 3*x = 4*n + 20, -4*n + 8*n - c = -k*x for x.
4
Let r = -16 - -18. Solve 5*p = n - 27, 2*n - 1 = -r*p - 7 for n.
2
Suppose 2*j - 6 = j. Let n = j - 0. Solve 0 = 4*d + 5*i - n, -d - i = 3*i - 7 for d.
-1
Suppose 0 = t + 2*t - 69. Solve 1 = s - 5*o, 5*s + 3*o + 0 = -t for s.
-4
Suppose -16*d + 64 + 16 = 0. Solve 4*v = -h + 12, d*v - 4*h = 3 + 33 for v.
4
Let b be (1 - 4)/(69/(-92)). Solve 0 = -b*f - 3*c - c - 12, c - 1 = -3*f for f.
2
Suppose -5*j + 9 = -2*j. Suppose 5 + j = 4*x. Solve -8 = -3*s - 2*w, x*s + 0 - 6 = -2*w for s.
2
Let b(z) = 3*z**2 - z + 2. Let d be b(2). Let k be 8/6*9/6. Solve 3*t - k*s - s = 9, -3*s - d = -4*t for t.
3
Suppose 0 = -4*b + 21 - 1. Let r be (1 - -2)/3 - -3. Let d(w) = -w + 2. Let q be d(-4). Solve -l = -b*v + 20, q*l = -v + l + r for v.
4
Suppose -l = u + 2 + 1, 0 = 2*l + 10. Suppose 5*t = 39 - 9. Solve -5*n + u*n - t = 0, 4*n = -4*h for h.
2
Suppose 5 = 4*u - 3. Solve -13 = 5*a + 3*z - 4*z, a + u*z = 4 for a.
-2
Let o = -49 - -56. Solve 3*d - 2*a = -2, -3*a = -5*d - o + 3 for d.
-2
Let n = 13 - 6. Suppose 2*b + 5*k = b + n, 3*k - 7 = -2*b. Solve -h + 11 = x + b, 2*h - 10 = 0 for x.
4
Let x = 113 + -89. Solve 4*g - n - n = 12, 4*g = -4*n + x for g.
4
Suppose k - 4 = -0*k. Suppose h + k*h = 25. Solve 9 = -3*b + h*y, -y + 6*y = 0 for b.
-3
Suppose -2 = -2*t + t. Suppose -5*x = -k - 21, 4*k + t = 2*k. Solve -7*a + 3*a = 5*u - 40, -31 = -x*u - 3*a for u.
4
Suppose 14 = -2*z - 4*l, -z + 12 = 2*z - 5*l. Let q be (-19)/(-3) + z/3. Solve 2*p = -4*s - 22 + q, 0 = 5*s + 10 for p.
-4
Suppose 0 = 2*a - 4*b + 4, 4*b - 6 = -a + 2*b. Let v be (-14)/(-56) - a/8. Solve v = f + 5*d - 2*d + 18, -d - 11 = 2*f for f.
-3
Suppose -3*x + 63 = j, x - 21 = -4*j + 11. Suppose -4*o = -12 - x. Solve -3*g - 2*r = -g + 8, -r - o = 3*g for g.
-2
Suppose 3*q + 2*i + 9 = -1, -5*q = 5*i + 20. Let k = q - -4. Solve -4*c - 20 = -6*c - k*h, -5*c - 4*h + 45 = 0 for c.
5
Let i(c) = c + 1. Let b be i(2). Let m be 9/2 - b/(-6). Suppose p + 3*s = 4*s - m, 10 = 2*s. Solve 5*w + 9 = -5*f + f, 5*f - 3*w - 35 = p for f.
4
Suppose 12 = 3*l - 33. Solve -17 = 5*c - f, 6*f = f - l for c.
-4
Suppose 7*p - 11 = 3. Solve 6*c - 17 = -2*b + 3*c, 10 = p*c for b.
1
Let y(v) = v**2 - 9*v + 6. Let d(x) = -x**2 + x + 7. Let k be d(0). Let b be y(k). Let t = 11 + b. Solve 0 = 3*i - t*f + 3, -2*f = 4*i - 7*f + 9 for i.
4
Let w be 3 - 6/3 - (-24)/6. Solve -3*f - 11 = -q, -2*f - q - 14 = -w*q for f.
-3
Let h(f) = 3*f**2 - 9 - 5*f + 5*f**2 - f**3 + 0*f**2. Let a be h(7). Solve -a*o - 13 = -4*n, -4*o + o = 2*n - 1 for n.
2
Suppose 3*a = 7*a - 16. Suppose w - 2*i = i - 12, -3*w + 2*i = 1. Solve w*j = -4*v - 15, -j - a*j = 5*v + 25 for v.
0
Suppo