= f - 10 for f.
3
Suppose -2*i = 2*k + 56, 0 = -2*k - i - 11 - 47. Let m = -23 - k. Solve -u - 5 = 2*q, m = 2*u - 4*q + 1 for u.
-1
Let o = 480 - 459. Solve 0 + 5 = -z, 0 = -2*f + 5*z + o for f.
-2
Let x be (-2 + 3)*-1*-3. Suppose -x*w = -5*w. Let d = 5 - -1. Solve 2*z + 4*v = -0*z + d, w = -2*v + 6 for z.
-3
Let l be -11 - (3 + -11 - 11). Solve -5*o = -t - 20, 0 = l*t - 11*t - 5*o + 40 for t.
5
Let p = -65 + 26. Let o = p + 41. Solve 0*k + 4*j + 9 = k, o*k + 2*j + 12 = 0 for k.
-3
Let a = -624 + 627. Solve 8 = -4*r + 4*m, -a*m - 21 - 8 = 4*r for r.
-5
Let z be 11/44 - (-33)/24*2. Suppose -z = k - 5. Let m be (-2)/(-3) + 26/6. Solve 18 + 10 = m*l + 3*c, k*c = 2 for l.
5
Let a = 29 + -49. Let t = a - -24. Solve 2*b = -4*o + 1 + 5, t*o + 5*b - 21 = 0 for o.
-1
Suppose h = -m + 4*h - 8, -2*h = 2*m - 16. Solve m = -2*a - 2*v, -a - a - 4*v = 6 for a.
-1
Let x(y) = -9*y + 2. Let p be x(-5). Let t = p - 39. Solve -n = c - 2*c - 1, -t = -4*n for c.
1
Let p(y) = y**2 + 9*y + 22. Let v be p(-3). Solve -2*g = v*u - g - 20, 3*g = -3*u + 15 for u.
5
Let z(a) = -a**3 + 10*a**2 - 20*a - 20. Let k be z(5). Solve -k*j - 8 = -2*c + 22, -12 = 3*j for c.
5
Let v(j) = j**3 - 51*j**2 - 5*j + 273. Let a be v(51). Solve -3*k + 12 = b - 6*k, 5*b = k + a for b.
3
Let d be (-1 - -1)*(8 - 7). Solve 0 = 5*m + 5*g + 20, -16 = 4*m - 3*g - d*g for m.
-4
Suppose 4*y - 19*y + 345 = 0. Solve -5*r + u = -5, 5*u = 4*r + 8*u - y for r.
2
Let n(k) = -k**2 + 15*k + 1. Let p be n(15). Let q be (5 + (p - 4))*-10. Let m = -17 - q. Solve -t + 2 = d - m*t, -3*t = 9 for d.
-4
Let u be 51*(-5 - 16/(-3)). Solve 3*m = 4*v - 4 + 30, 3*v + u = m for m.
2
Let u(r) = 2*r - 15. Let o be u(12). Suppose 0 = -4*m + 3*p + o, p - 3*p + 11 = 3*m. Suppose f = -m*f + 20. Solve 0 = 2*w - 10, 0 = 5*k + f*w - 13 - 2 for k.
-2
Let t(b) = -3 - 10*b + 2*b**2 + 16 - b**2. Let a be t(9). Let y(q) = -q**2 - 7*q + 11. Let d be y(-8). Solve -a*s + 20 = 4*k, 2*k - 6 = d*s - s for k.
4
Let o(k) = k**3 - 7*k**2 - 7*k - 6. Let v be o(8). Suppose -2*m = -d + v, -5*m = -m + 5*d - 10. Solve m = -3*r - 9, -3*p - 3*r - 9 = -0*p for p.
0
Let f = 24 + 1. Let x be 2 - 1 - (-5)/(f/10). Solve 3*d + 4*p = 3, -x*d + 31 = -2*p + 10 for d.
5
Let u(j) = -j**3 + 9*j**2 - 7*j - 19. Let d be u(7). Suppose 5*k - d = 3*i - 0*i, -4*k = 2*i - 2. Solve 5*w - k - 32 = 5*q, 3*w = -4*q for q.
-3
Let r(l) = l**2 - 121*l + 589. Let t be r(5). Let h(o) = -o**2 + 9*o - 5. Let f = 25 + -18. Let y be h(f). Solve -3*w + t = 2*b, -3*w + y = -4*b - 0 for b.
0
Let a = 0 + 10. Suppose 2*i - 4*i = 14. Let c be (i + a)/((-6)/(-4)). Solve s + 4*u - u + 7 = 0, -3*s = c*u + 14 for s.
-4
Let b = 1889 - 1877. Solve 0 = 2*p - 5*q + b, 23*p + q = 24*p for p.
4
Suppose 5*o + 5*x = 5, 5*o - 45 = 4*x + x. Solve 14 = 4*p + k, -k = 2*p - p - o for p.
3
Suppose 50*r - 56*r + 54 = 0. Let t be (4/6)/(3/r). Solve -t*o + o - 22 = -5*n, 0 = -5*o + 4*n - 26 for o.
-2
Let a be 2/(54/(-8) - 203/(-29)). Solve 2*n + a = 0, -13 = -5*w - 2*n - n for w.
5
Let r(z) = z**2 - 7*z - 13. Let q = 43 + -39. Let p be (9 - 0)*(5 - q). Let f be r(p). Solve v - m + 28 = -6*m, 2*m + 25 = -f*v for v.
-3
Suppose -42*y = -75 - 9. Solve -5*z + 20 = y*u + 5, -6 = 2*u - 2*z for u.
0
Suppose -4*j + 24 = -4*s, -3*j - j - 5*s - 3 = 0. Solve -3*r - 6 = 0, -j*p - r + 2 = 13 for p.
-3
Suppose 4*w = 168 + 112. Let i = -70 + w. Solve 2*u + i*u = 5*r - 12, 0 = -r + 3*u + 5 for r.
2
Suppose k = -7 + 28. Let l be 24/(-9)*9/(-6). Suppose -r = l*r - 25. Solve 3*t - j - j = -k, 28 = -r*t + j for t.
-5
Suppose 0*m - 5*m = 4*c - 100, -3*c = -m - 75. Solve -4*r + 2*p - 7*p - 25 = 0, -5*p - c = -3*r for r.
0
Let b = 23 - 23. Suppose b*z - 2 = -4*z + w, 5*w - 6 = 4*z. Solve 4*k - z = -5*q + 10, 5*k = -4*q + 7 for q.
3
Let o be (-2)/(2 + 0) + 5. Suppose 4 = -4*v, 11 = 5*m - 11*v + 10*v. Solve m*c + 2*j = c - 5, 3*c = o*j + 25 for c.
3
Let u = 1869 + -1864. Solve -s - c + 5 = -0, c - u = -3*s for s.
0
Let j(o) = o**2 - 5*o + 9. Let s be j(5). Let p be ((-18)/s)/(3/(18/(-4))). Solve -5*v = a - 18, -p*v + 1 = 3*a - 5 for a.
-2
Let p(b) = b**2 + 3*b + 1. Let g be p(-2). Let a be (g - 1) + -2 + 5. Let n(h) = 2*h**3 + 2*h - 1. Let m be n(a). Solve w - m = -2*o, 11 = -3*o + 3*w - 7 for o.
-1
Suppose 10*s + 14 = 34. Solve -4*o + 0*z + 8 = z, s*o - 4 = -5*z for o.
2
Let r(d) = d - 10. Let n be r(5). Let g = n - -61. Let o be (-2)/(-8) + 154/g. Solve -13 = o*u + 7*k - 3*k, -5*u = -k + 14 for u.
-3
Let o be 74 - 6/2*1/3. Let q = -68 + o. Solve q*w = 5*t, 2*w - 6*w + 5*t = 0 for w.
0
Let l(t) be the first derivative of t**4/4 - 4*t**3 - t - 7. Let y be l(12). Let a be (0/5)/(y + 0). Solve i - 1 = -n + 3*n, -5*i + n + 5 = a for i.
1
Let g be ((-15)/6)/(1/(-2)). Suppose 5*l + 11 + 14 = 0, 0 = -g*t - 2*l. Suppose 4*v - 4 = 2*v. Solve 4*a - a = -15, v = -4*m - t*a for m.
2
Let k(x) = -x**3 - 7*x**2 - 6*x - 3. Let t be k(-6). Let p be t*(0 + 1) - -28. Solve 3*y = -2*r + 18, -r = 4*y + 2*r - p for y.
4
Suppose 0 = 8*g + 4*g - 24. Solve 2*q = 3*r - 2, -g*q + 3*r = r for q.
2
Let a be 1 + ((-6)/18)/(2/(-18)). Suppose -6*t - a = -2*t + 2*p, -10 = 5*t + 5*p. Solve -3*x + 2*h - 13 = 0, t = x + 4*x - 4*h + 25 for x.
-1
Suppose -19*x = -22*x + 15. Solve -2*g + 5*j - 8 = x, -g + j = 5 for g.
-4
Let f(i) = -i + 12. Let q be f(10). Suppose 4*k = 3*r + 34, 3*k - 26 = q*r - 0*r. Suppose -k*o + 10 = -5*o. Solve -2*h + 2*g - 2 = -3*g, o*h + 5*g = -2 for h.
-1
Let t = 45 + -41. Let i be t + (2 - (-1 - -1)). Solve 5*b + 8 = 2*y, -y + 4*b = -i*y + 20 for y.
4
Let s(o) = 39 - 4*o + 0*o - 6*o + 3*o**2 - 4*o**2. Let m be s(-13). Solve 0 = 2*c - 0*y + 2*y, m = -5*c - y + 8 for c.
2
Let m = -71 - -77. Solve m*b - 2*b + d = -17, -2*b - 5*d + 5 = 0 for b.
-5
Let m = 4 + 1. Let b(g) = 0 + 0*g + m*g + g - 3 - g**2. Let n be b(5). Solve -3*q - 5*a = -6*q - 3, 4*a + 2 = -n*q for q.
-1
Let t be (-21 - -22) + 3/(6/56). Let h = 33 - t. Solve -16 = h*g + 4*f, 2*f = -g - 3*f - 4 for g.
-4
Let r = -11 + 11. Solve -4*l + r*l - y + 20 = 0, 10 = 2*l - 4*y for l.
5
Suppose 4*d - 4*g = 8, 2 = d + 3*g + g. Solve h + 4*l = 6*h + 41, -6 = -d*h - 4*l for h.
-5
Let h(v) be the second derivative of -v**5/10 + v**4/6 + v**3/3 - v**2 + v. Let p be h(2). Let l = p - -8. Solve -5*q = 3*j + 29, 5*q + 10 - l = 4*j for q.
-4
Let u(p) = p + 1. Let y(z) = -4*z - 12. Let t(x) = -3*u(x) - y(x). Let c be t(9). Let f be 0/(-10 - -22)*(-3)/9. Solve -c = 2*b - v - 3*v, f = -b - v for b.
-3
Suppose 0 = 3*a + y - 17, -5*a + 2*y + 28 = 4*y. Solve -5*w = -g + 26, -3*g - 4*w - a = 11 for g.
1
Suppose -3 = -12*g + 11*g. Suppose -g*l + 2 = -l. Solve -2*m + 4 = -3*k - l, m = -3*k - 2 for k.
-1
Suppose -o + 8 = -v, 3*o - 5*v - 22 = -8. Solve 0 = t + q - 8, 4*t - 3*q + o = 2*q for t.
3
Suppose -3*d + 45 = -54. Let r = d - 19. Let x(v) = 2*v**2 + 8*v - 87. Let m be x(5). Solve 7 = 3*c + 2*k, -c + 0*k + r = m*k for c.
-1
Let y(w) = w**2 - 50*w + 429. Let i be y(11). Solve i = -2*k - 10, 3*a - 2*k - 4 = 6 for a.
0
Let w = 309 + -309. Solve 5*i = c - 6*c - 10, -3*c - 5*i - 6 = w for c.
-2
Let p = 122 - 116. Solve -y + l - p = -3*l, 4 = -y + 3*l for y.
2
Let o be (6 - -2)*15/6. Solve h + 4*i - 1 = 0, 10*h - 5*h - 5*i = -o for h.
-3
Let h(q) = q**2 - 6*q + 2. Let m be h(8). Suppose -2*o + b = -5, 2*o = 4*b + 1 - 11. Solve 2*a = -o*g - m, -5*a + 17 = -0*g - 3*g for a.
1
Suppose 2*w - 5*c = -208, -w + 4*c - 60 = 44. Let m = w - -104. Solve m = i + 3*v - 3, -5*i + 0*v - v = 13 for i.
-3
Suppose -33*w = -40*w + 77. Solve -5*o + 10 + w = j, 3*o - 2*j - 10 = 0 for o.
4
Suppose y + 37 = 54. Suppose 0*i = 3*i - 3. Suppose -4*p - i = -y. Solve 3*w + 2*w - 19 = j, 32 = p*w - 5*j for w.
3
Let p be -1*(-2 - -1 - 1). Let s(t) = 13*t - 18. Let m be s(4). Let u = -30 + m. Solve -4*i + 0*q = 2*q - 18, 6 = u*i - p*q for i.
3
Let v(w) = w**2 + 5. Let u be v(-5). Suppose -4*d + 27 = 11. Suppose -d*k = k - u. Solve i + i = -10, 4*r - 2*i = -k for r.
-4
Let u = 13 + -7. Let m(j) = j**3 - 7*j**2 + 6*j + 5. Let v be m(u). Suppose -v*o = 15, 2*f = o + 128 - 35. Solve -k + 5*a - a = -15, 5*a + f = -4*k for k.
-5
Let x = 74 - 70. Let a be (8/(-12))/(x/6) - -3. Solve 4*q + 10 = 2*o, -2*o + a*q = o - 3 for o.
-1
Let d(t) = 2*t - 12. Let f(n) = -3*n - 16. Let s be f(-7). Suppose s*k = 7 + 23. Let j be d(k). Solve -2*i - 2*i + 4*c + 20 