= -3*f + 4*k for f.
-2
Let j be (0 - 2)/(1*2). Let r(s) = -6*s + 1. Let z be r(j). Solve 3*o = q - 4, -z*o + 3*o - 16 = 4*q for o.
-2
Suppose 2*j = -2*m + 2, -3*m = -2*j + 6*j - 5. Solve -j*f - 4*u + 15 = u, u - 15 = 2*f for f.
-5
Let k(s) = s**2 + 6*s + 4. Let b be k(-6). Suppose -b*j + 4 = -4. Suppose j*z = -g - 0*g + 1, 0 = -5*z + g + 20. Solve 0 = -o, z*u - 2 = -o + 1 for u.
1
Suppose -4*h = -19 - 1. Let g(c) = -c**2 + 4*c + 3. Let z be g(h). Let a be 14/z*(-6)/21. Solve 0 = 3*w - 4*p + 2, -w - 3*p = -a*w - 4 for w.
2
Suppose 2*v + 35 = 7*v + 5*y, -3*v = -2*y - 41. Let j = v + -8. Solve j*l - i = 7*l + 13, 3 = -3*i for l.
-3
Suppose -4*c + 10 = -2. Suppose w - 5 = -5. Solve w = 4*o - 5*f - 11, 5 = 2*f + c for o.
4
Suppose i + 2*i - 2*p = 2, -5*i - 3 = 3*p. Solve 2*t = 0, i*t - 10 = 2*w + t for w.
-5
Let w be (-6)/(-7) - (-508)/28. Solve 3*n + w = 4*c, -4*n - 16 = -0*n + 4*c for n.
-5
Let i(q) = -q**2 + 3*q + 3. Let d = 14 - 20. Let p = -3 - d. Let y be i(p). Solve 1 = -4*n - 19, -n + 10 = y*l for l.
5
Let o(r) = 2*r - 24. Let h be o(13). Solve -m + 10 = -5*k, 9 = 3*k + h*m + 28 for k.
-3
Let z(o) = o**2 - 5*o - 2. Let t be z(6). Solve 4*a + 5*d = d + 4, t*a = 5*d - 41 for a.
-4
Suppose 2*n + 88 = 4*c, -52 - 4 = -2*c - 5*n. Let r = -14 + c. Solve -2*x = -g + 2, 2*x = 5*g - 27 + r for g.
4
Suppose -4*s - 60 + 4 = 0. Let j be 4/s - (-58)/7. Solve 0 = -4*a + t - 4*t - j, 2*a + 3*t + 4 = 0 for a.
-2
Let d(f) = -2*f. Let b be d(1). Let i be (-1)/(1/(-18)) + b. Suppose -u + 5*u - i = 0. Solve -3*k - 5*h + 22 = 0, -2*k = 3*k + u*h - 28 for k.
4
Let y be 32/(-40) - 28/(-10). Solve -5*f = 5*k - 20, -y*f + 3 = f for k.
3
Let v = -2 - 2. Let j = -2 - v. Solve u + 5 = -j*y, -4*u + 3*y - 8*y - 5 = 0 for u.
5
Let c(r) = -r**2 - 23*r - 4. Let t be c(-22). Solve -4*f + 37 = -5*p, 3*f = 2*p + 1 + t for p.
-5
Suppose 3*g - 8 = 3*w + 22, 20 = g + w. Solve 0*j + 2*a + 12 = 2*j, g = -3*a for j.
1
Let s be 0 - (-3)/1 - 1. Suppose -4*h - 6 = 2*b + 6, 4*h - 3*b = 8. Let r be h - (-3 - (-4)/(-4)). Solve 3*n + s*w - 3 = -1, 3*n = -r*w for n.
2
Let s = -5 - -10. Solve -4 = f, r - 3*f = s*r for r.
3
Let k = -36 + 18. Let p be 40/(-15)*k/8. Solve -3*x + p = 4*j, x = -j + 2 - 1 for j.
3
Let w = 19 + -10. Solve 4*s = 4*z, -s = z - 1 + w for s.
-4
Suppose 4*d = 15 - 3. Solve -2*j - d*v + 5 = -7, 0 = -j - 3*v + 12 for j.
0
Let c be 6/4*(2 - 4/6). Solve -5*t + 21 = -c*t + 4*w, -5*t = 5*w - 30 for t.
3
Let a(v) = -3*v**2 - 12*v - 7. Let c(s) = 4*s**2 + 13*s + 7. Let z(o) = 5*a(o) + 4*c(o). Let n be z(9). Solve n*d - 2 = -k + 3, -4*k - 5*d = -17 for k.
3
Let x be 3/(4*(-1)/(-32)). Suppose 4*w + v = x, 3*w + 0*w - 4*v = 37. Solve 0 = u - 5*z - 2, 5*u - z + 7 = -w for u.
-3
Suppose 5*k - 12 = 8. Suppose 6*b + k = 8*b. Solve -p = -2*j - 7, 0 = b*j + j + p - 2 for j.
-1
Let l be (-8)/(-44) - (-128)/22. Let v be (3 - l) + 7 + -1. Solve 0*s - 17 = -w + v*s, -w = 3*s + 7 for w.
5
Suppose -y + r = 0, -3*y + 4 = 4*r - 17. Solve 14 = -n + y*f - f, -4*f = 3*n - 8 for n.
-4
Let c = -14 - -20. Suppose -c*j = -2*j - 84. Solve 5*b + 7*x = 3*x - 11, j = 5*b - 4*x for b.
1
Suppose 15 = 5*m + z, 2*m + 5*z - 15 = -3*m. Solve -28 = 3*g + 5*i, -m*g - i - 9 = -1 for g.
-1
Let r be -3*((-8)/(-6) + -2)*1. Solve -r*c + 0*c + 2 = p, -4*c - 5*p = 2 for c.
2
Let q be -3 - (1 + 3 + -7 + -3). Solve -q*b = -5*b - x - 9, 0 = 3*x + 9 for b.
-3
Suppose -5*p + 134 = 5*t - 3*p, -t + 34 = -2*p. Let h = 44 - t. Solve l - 4 = -3*v, 5*v - 6*l = -2*l - h for v.
0
Let i(f) = -f**3 - 2*f**2 - 2*f + 3. Let d be i(0). Solve -d*y = -2*o - 7, 4*y - 4*o - 3 - 1 = 0 for y.
5
Suppose -4 = -2*v + y + 5, -5*v = -5*y - 35. Suppose v*m - 2*a - 2 - 2 = 0, 2*m - 18 = -5*a. Solve 23 = m*o - 5*i - 6, -2*i = 5*o + 5 for o.
1
Suppose -3*p + d + 19 + 46 = 0, -4*p - 2*d = -70. Solve 2*r = -5*y + p, 2*y - 5 - 3 = -r for y.
4
Let z be (12 - 2)*(-1)/(-1). Let j = z - -3. Suppose j = -0*y + y. Solve x - 4*s + 5*s - 1 = 0, 0 = -x - 4*s + y for x.
-3
Suppose -h + 7 = -4. Let l be (-10)/15 - h/(-3). Solve l*j - 9*i = -4*i + 15, -2*i = -4*j + 20 for j.
5
Let l(a) = 2*a**2 - 4*a + 5. Let z be l(2). Solve 0 = o + t + 1, -t - 5 - 20 = -z*o for o.
4
Suppose -k - 11 = -13. Solve -w - k*w = s, -s = w for s.
0
Let l = -7 - -10. Suppose -3*g + 8*g - 20 = 0. Suppose 6*r - 34 = 2*r + 5*h, r = -3*h. Solve l*i + 2*w = 2*i - r, g*w + 10 = -i for i.
-2
Let b(m) = m**3 + 7*m**2 - 19*m - 3. Let v be b(-9). Solve -5 = z - 4*c, -v = -c - 2*c for z.
3
Let x(y) = -2*y**2 - 22*y + 5. Let a be x(-11). Let h = 25 - 17. Let z = h - 5. Solve -c + a = -z*q - 2, 2*c - 13 = 5*q for c.
4
Suppose -m = -3*u + 17, 0*u + 3*m - 33 = -5*u. Suppose -3*h = -0*h - u. Solve 3*i - 4*z - 8 = 0, -z - h = -i - 0*z for i.
0
Let y(d) = 2*d - 4. Let x be 6*((-8)/6)/(-2). Let g be y(x). Solve g*a + 10 = -3*h - 10, 4*h = 5*a - 6 for h.
-4
Let s be 260/100 - 4/(-10). Solve -y + 8 = 5*j, -3*y - 1 = 4*j - s for y.
-2
Suppose -2*a - 35 = -u - 4*u, -3*a - 2*u - 5 = 0. Let g(t) = t**3 + 4*t**2 - 8*t - 7. Let s be g(a). Solve 2*v - 3*q - 24 = q, 0 = -3*v - q + s for v.
4
Let r be 20/(-16)*4/(-1). Suppose 14 + 1 = r*q. Solve -4*c = 2*o - 3*o - 12, q = o + c for o.
0
Let x(i) = 4 - 9*i**2 + 12*i**2 + 4*i + 2*i**3 - 3*i**3. Let n be x(4). Solve -4*y + 10 = -2*v, -4*v = n*y - y + 9 for y.
1
Let y = 268 + -263. Let m = 16 + -8. Let r be -3*5*1/(-3). Solve -5*u + y = r*h, -3*u = u - m for h.
-1
Let i = -10 - -10. Solve 0 = -w + 4*b - 25, 0 = -i*w - w - b for w.
-5
Let j be -3 + 1 + -3 + 8. Suppose o + 18 = 4*v, 4*o - 5*v + 33 = -2*v. Let i = o - -10. Solve -h - j*l + 10 = 0, -h + i*l = l + 20 for h.
-5
Suppose -2*g + 17 = g - 5*f, -2*g + 5*f = -13. Solve 0*l = -l - g*u + 12, -4*u = -2*l for l.
4
Let c(i) = -2*i + 5. Let v be c(4). Let q(l) = 5*l + l**2 + 2 - 5 - 4*l. Let a be q(v). Solve 2*d = a*f - 8 - 1, -3*f = -9 for d.
0
Suppose 2*w - 5 = -1. Solve -4*o + 18 = -w*f, -5*f + 4*o - 47 = -14 for f.
-5
Let c(v) = v**3 - 2*v**2. Let u be c(0). Solve -3*z + 7 = 5*f - u, -f + 6 = -4*z for f.
2
Let y be 2*(1 + (-3)/(-2)). Suppose 0 = -n - 0*j + 5*j + 33, -15 = -5*n - y*j. Solve -f - 3*f - 20 = -4*k, 3*k - n = -4*f for f.
-1
Let w(u) = 44*u + 4. Let v be w(2). Suppose 0*l = -4*b - 5*l + v, -3*b + 2*l + 69 = 0. Solve m = 4*j + 19, -5*m + j + j + b = 0 for m.
3
Let z be (1/(-2))/((-3)/(-228)). Let x be (-2)/(-4) - z/(-4). Let n be 3/x + 2/6. Solve n = -3*i + 6, u - 3*i + 14 = -u for u.
-4
Let o(s) = s + 8. Let j be o(-6). Let a(h) = h**2 + 8*h + 12. Let k be a(-8). Suppose j*z = -z + k. Solve -x - z*p - 7 - 1 = 0, 0 = 2*x + 5*p + 13 for x.
-4
Suppose 5*b + 5 = -5*c + 2*b, 3*b = -2*c - 11. Solve -c = 4*a + 5*o + 9, -a - 3 = o for a.
-4
Let g = 39 - 16. Let h(b) be the third derivative of b**5/15 - b**4/12 + b**3/6 - b**2. Let n be h(1). Solve -5*f + p - 2*p + g = 0, 0 = -4*f - n*p + 25 for f.
4
Let z(v) = -1 - v - 2*v - v. Let a(l) = l**2 + 7*l - 1. Let o be a(-7). Let f be z(o). Solve -5*x + 16 = -m + 2*m, -f*x + 2*m = -20 for x.
4
Suppose -2*t + 3*t + 15 = 0. Suppose -u = w + 7, w - 3*w - 20 = 4*u. Let a be u/t + (-27)/(-15). Solve -2*z + 4*c - 10 = 0, -2*z - 5*c = a*z + 7 for z.
-3
Let o(w) = -w**2 + 6*w - 5. Let m = 0 + 4. Let p be o(m). Let v = p + -3. Solve 2*u + 6 = -5*x + 2, -x + 5*u - 17 = v for x.
-2
Let v = -23 + 27. Suppose -2*t - 3*k + 1 = 0, 4*k + 7 + 7 = 5*t. Suppose 0*n + 5 = n. Solve -n*s = -t*s, -i + 3*s = -v for i.
4
Let s = -39 - -67. Let q = 6 + -3. Suppose 0 = q*b - 1 - 23. Solve -3*t - s = t + 2*u, -b = 2*u for t.
-5
Let r = 47 + -43. Let k be (-1)/3 - 20/(-6). Solve 4*u + 5 = -k*z, 1 = r*z + 2*u - 9 for z.
5
Let s(d) = -14*d**3 - 2*d**2 - 2*d - 1. Let w be s(-1). Solve 5*r = 5*g - 12 - 23, 3*r - g + w = 0 for r.
-3
Suppose 11 = 3*r + 32. Let f(s) = -s**2 - 7*s + 5. Let v be f(r). Suppose -1 = 4*k - 13. Solve a + k*a + 10 = v*d, 4 = 2*d for a.
0
Let v = 9 - 4. Let a be 3 + (34 - (-4)/1). Suppose 4*r = t + a, -r - 4*t = -2*r - 1. Solve 0*z - 4*z = -3*k - v, 4*z - r = -3*k for z.
2
Suppose 5*r - i = 151 - 28, -5*i = -r + 15. Solve -l - 5 = 0, -5*c + 0*l - r = 3*l for c.
-2
Let i(z) = 4 - 6*z + 7 + 5*z. Let o be i(8). Suppose 0 = -5*g + g. Solve -c - 3*h + 1 = g, o*c = 2*c - 4*h + 3 for c.
-5
Suppose 0 = 25*f - 30*f + 15. Solve -3*w + 3*d = 0, -32 = 3*w + 2*d + f*d for w.
-4
Suppose 12*d 