-4*x + c = 5*m for x.
4
Suppose -2*s + 5*b + 15 = 0, 4*s + 12*b = 14*b + 6. Solve -x + 2*y - 13 = s, -x - 5*y = -2*x - 28 for x.
-3
Suppose 5*f - 26 = -3*h - 0*h, 4*f - 4 = 0. Suppose h*a = 9*a - 10. Solve -5*g + 5*u = 0, -8 = -a*g - 2*u + 3*u for g.
2
Let u(c) = -11*c - 20. Let o be u(-5). Let h = -25 + o. Suppose a - 4*r = 2*a - 22, a - 7 = -r. Solve 5*n = 3*x - h, -n = a*x + x - 16 for n.
1
Suppose 0 = 3*k + 2*b - 24, 4*k - 2*k = 4*b. Let i(v) = v**2 - 6*v + 4. Let l be i(k). Suppose -2*t + l = -0*t. Solve t*x - 6 = 0, 3*p = -x - 4 - 5 for p.
-4
Suppose x = -5*z, z = 4*z + 5*x. Suppose 12 = 4*b - z*b. Solve 2*v + 4 = -3*y, -2*y - 10 = 2*v + b*v for v.
-2
Let f be (-21)/14 - (-3)/2. Suppose f = h - 0*h - 4. Suppose 5*x = 2*n - 5 + 1, -h*n = -x - 44. Solve d + 8 = 5*k, -5*k + n = -0*d + d for k.
2
Let s(a) = a**3 - 10*a**2 - 38*a - 11. Let c be s(13). Solve 0 = -0*y + c*y + 4*w + 20, 4*y + 13 = w for y.
-4
Suppose g = -g - 2*o + 14, g - 5*o = -11. Suppose -g*h = -20 + 12. Solve 3*n - h*s - 2 = 0, 5*n + s = 3*n - 1 for n.
0
Let c(a) = -2*a + 34. Let l(v) = -2*v + 35. Let i(x) = -4*c(x) + 5*l(x). Let p be i(17). Solve 0 = u + 2*m - 3, p*u + 3*m + 11 = 33 for u.
5
Let n(d) = d**3 + 50*d**2 - 33*d + 923. Let j be n(-51). Let w = -54 + 31. Let m = -3 - w. Solve 2*x + m = -3*i, -i - 8 = -4*i + j*x for i.
-4
Suppose -z - 2 = 3*w - 16, 2*w - 5 = -5*z. Solve 2*y = -m + w, -5*y + 2*m + 8 = -3*y for y.
3
Let g be ((-3)/(-9))/((-1)/(-15)). Suppose 4*j + 20 = 3*t + t, 7 = -4*t - 5*j. Solve 23 = g*u - 2*q, -t*u + 6*u = 3*q + 24 for u.
3
Suppose 5*a - 77 = 23. Solve 5*c = 2*c + 2*h - 4, -3*h - a = 2*c for c.
-4
Suppose 2*x = 3*n - 7, 0 = -3*n + 8*x - 9*x + 10. Solve z + 3*o + o = -20, 4*o = n*z - 20 for z.
0
Let t(r) = -r**3 + 3*r**2. Let i be t(3). Let x = i - 0. Suppose x = 3*u + 4*k - 6, -u + 6*u - 10 = 2*k. Solve 0 = w - 2*o - u - 3, 2*o + 10 = 0 for w.
-5
Suppose -2*n = 2*j - 12, j + 10 = 3*n - 0*n. Solve -j*b + 15 = 5*p + 3*b, 3*p + 11 = b for p.
-2
Let h(v) be the third derivative of v**5/30 + 12*v**2. Let t be h(1). Solve -5*g + 3*f - 18 = 0, t*g + 1 + 1 = -4*f for g.
-3
Suppose 0 = u - 2*u + 16. Suppose -a - a - 12 = -2*m, -3*m - a + 34 = 0. Suppose j - 3*j = -m. Solve -u = -t - j*f, 5*t - t = -2*f - 8 for t.
-4
Let b(r) = -r + 2. Let k be b(1). Let p be k/(-3) - (-138)/9. Solve -3*z - 2*z - 4*q = 25, 0 = -3*z + 4*q - p for z.
-5
Let l(n) = n**2 - 8*n - 22. Let v be l(11). Suppose -5*k + k = v*k. Solve -4 = -b, -3*b = 5*a - k*b - 37 for a.
5
Suppose -5*z = -6 + 36. Let l(a) = -a**3 - 6*a**2 + 9. Let w be l(z). Solve 5*y + w = y - 3*h, -2*y = -3*h + 9 for y.
-3
Let b = 66 + -64. Solve -9 = -4*c - 1, -2*s = -b*c for s.
2
Let h = 19 + -16. Let m be (-198)/(-21) + h/(-7). Suppose -2*i = -m + 3. Solve 2*s + 8 = -3*d, 2*d = -i*s + 6*s - 1 for s.
-1
Let n(d) = d**3 - 4*d**2 - 8*d + 11. Let z be n(5). Let h be (6/z)/((-2)/4). Solve h*p = -0*y - y, 4*y + 12 = 0 for p.
1
Let b(n) = n + 2. Let j be b(0). Solve -5*p - 12 = -j*r, 2*r = -p - p - 2 for r.
1
Let i = -2 + 9. Let l be 3 - (0 + -3 - i). Solve 3*s - 5 = -2*a, -2*a + 0*a = -5*s - l for a.
4
Suppose 5*s - 6 = 3*s. Suppose -6*q + 2*q + s = 5*f, 2*q = 2*f - 12. Let b be f/6*-1*-58. Solve o + 3*u = -3*o + b, -o = 3*u - 14 for o.
5
Suppose 0 = -2*i + 4*x + 7 - 19, 15 = 3*x. Solve s = -3*h + 12, 3*h + s + i*s - 12 = 0 for h.
4
Let f(o) = o**3 - 7*o**2 + 8*o - 49. Let l be f(7). Solve j = -2, -l*i = -3*i + 4*j for i.
2
Let x = 2 + 3. Suppose -6*r = -7*r - x*b - 19, 12 = -4*r - 4*b. Solve -5*c + 4*o = -r, 3*c = 2*c + o + 1 for c.
-3
Suppose 0 = -59*t + 31*t. Solve -5*s + 5 = -2*g, 3*s - 9 = -t for g.
5
Suppose 13*w = 83 + 21. Solve -4*c = 2*a - w, -5*a + 0*c + 10 = 5*c for a.
0
Suppose -m = 4*i - 1 - 72, 3*m - 21 = -i. Let h = 21 - i. Solve 2*u = h*s - u + 12, -3*s = -5*u + 16 for s.
-2
Suppose -140*o + 139*o = -2. Let y(u) = -u**3 - 7*u**2 - 5*u + 2. Let v be y(-6). Let s = v + 7. Solve -5*q = -s*f - 3, 5*f - 3*q + 5 = -o*q for f.
-1
Let r = -123 + 143. Suppose 4 = -2*j - t + 5*t, 5*j = -5*t + r. Solve 4*q = -j*p + 10, 6*p + q - 7 = p for p.
1
Let q(n) = -8*n**3 - n**2. Let w be q(-1). Let j be 0 - 1 - (-29 + 6). Let y = j - 10. Solve -y = -h + 5*o, -5*o - w = 8 for h.
-3
Let d = 198 - 190. Solve 0 = -5*n - 0*z - z + d, -n = 5*z + 8 for n.
2
Let c(r) = r**3 - 9*r**2 - 9*r + 5. Let s be c(10). Suppose s*x + 90 = 12*x. Let i be ((-2)/(-6))/((-2)/x). Solve 5*t = 3*u - 1 - 2, 5 = i*u for t.
0
Let v = -206 - -206. Solve 3*u + 1 = 5*d + 22, v = 2*u - 5*d - 19 for u.
2
Let c(g) = -g**3 - 11*g**2 - 12*g - 16. Let m be c(-11). Suppose -5*s + m = -y + 5*y, -4*y = -s + 4. Solve 4*j + 0*j + 20 = 4*k, -3*j = 4*k - s for j.
0
Let s be (((-4)/(-5))/(13/(-130)))/(-2). Suppose l + 3*z + 3 = 0, -s*z - 6 = -z. Solve -2*w - l*w + 18 = y, 24 = -2*y + 5*w for y.
-2
Let w(h) = -h**3 + 4*h**2 + 5*h - 8. Let i be w(4). Let n = 14 - i. Solve 2*p + n*m = -14, -3*p - 3*m - m - 23 = 0 for p.
-5
Let v = 95 - 134. Let s = v - -43. Solve 4*m = -2*q - 0*q + 8, -4*q + 4 = -s*m for m.
1
Let q = 1738 - 1738. Solve 0 = -5*z - 5*p - 30, p + 3 + 1 = q for z.
-2
Suppose 3*m + 0*m - 6 = 0. Let p = -6 - m. Let h be ((-4)/p)/(1/6). Solve -n = -3*x - 12, h*n = -0*n - 2*x + 3 for n.
3
Suppose -4 = -s + 1. Suppose j - 16 = -s*o, -o + 0*j - 3*j - 8 = 0. Let b = 12 + 10. Solve -2*x + 20 = -o*k, k + b = 4*x - k for x.
4
Let f = -41 - -43. Solve 0 = o + f*y + 9, 5*o + 25 = -5*y for o.
-1
Let l(f) = f**2 + f. Let y be l(-5). Suppose -18 = -4*z + 2. Suppose k - z*k = -20. Solve y = k*r, -2*g = g - 5*r + 17 for g.
1
Let t(r) = r**3 - 12*r**2 + 7*r + 48. Let b be t(11). Solve 4*x = 3*j - b, x + 4*j - 5 - 13 = 0 for x.
2
Let b = 23 - 8. Let s be b/(-10)*(-4)/3. Suppose -2*c - 8 = -2*z, s*z + z - 2*c - 12 = 0. Solve -x = -2*f + 2 - z, -3*f = 3*x + 21 for f.
-3
Let b = 2 + 6. Suppose 22 - 6 = 4*a, -h = a - b. Solve 3*k = 2*r + h, 0*r - 6 = 4*k + 3*r for k.
0
Let i = -38 + 48. Solve 2*z + 6 = 2*j, 2*z - 4*z = i for j.
-2
Suppose -9*q + 8*q = -4. Suppose 0 = 5*x - 3*f - 18, x - q*f + 2 = 3*x. Solve p = 3, -x*z - 4*p + 5 = -10 for z.
1
Let g(v) = 2*v**3 + 78*v**2 + 74*v - 75. Let a be g(-38). Solve -4*r - b - 18 = -a, 2*b + 25 = -5*r for r.
-3
Let z(h) = -h**3 - 8*h**2 + 10*h + 1. Let a be z(-9). Let o = 11 + a. Solve -o*l + 5*y + 4 = -27, y + 15 = 5*l for l.
2
Let r be 7 + (-2 - (-5)/5). Suppose -5*a + r = 6. Solve -3*i - 2*d = -0*i, a = -4*i - d - 5 for i.
-2
Let v = 305 - 300. Solve v*c = -5*x - 0*x - 45, c - 15 = 5*x for c.
-5
Let h be 5/(-10)*4*(-4)/(-8). Let z be 1/((-1)/((1 + 4)*h)). Solve u + 3*c + 0*c = -6, -z*c = 5*u for u.
3
Suppose 5*v - 10*v = -15. Suppose v*g = 5*g - 32. Solve 5*z - 25 = 0, o + o = -2*z + g for o.
3
Let t be ((-1)/3)/((-5)/(-165)). Let a(r) = r**3 + 9*r**2 - 23*r - 4. Let f be a(t). Solve 5*c - 5 = 0, -2*v = -f*c + 2*c - 3 for v.
4
Suppose v = -4 + 9. Suppose 8 = -6*s + 20. Suppose -5*n = -3 - 12, -n - 17 = -4*p. Solve -v*c - 5*f + 12 = s, 0 = 4*c + p*f - 12 for c.
-2
Let b(p) = 2*p + 64. Let y be b(0). Let g = y + -60. Solve 0*j + j = g*m - 2, 2*j + 4 = -5*m for m.
0
Let q = 7 + 1. Suppose 0 = -9*j + q*j + 2. Solve 0 = -4*b - 2*k + 16, -5*b + j = -2*k - 0 for b.
2
Let q(d) = -d**3 + 2*d**2 + 4*d - 2. Let y be q(2). Solve 2*u + b = -y, 2*u - 3*b - 14 = -36 for u.
-5
Let o be (0 + -1 + -9)/(-2). Suppose o*b - 2*m - 15 = -5*m, 0 = -5*b + 2*m + 15. Suppose -48 = -4*g + 24. Solve -s + b*s + 2*t = g, 0 = s - 5*t + 21 for s.
4
Let i = -2 - -17. Suppose -4*j + j = -4*u - i, 2*j = 10. Solve u*t + 2*l = -3*t + 2, 5*t = 2*l + 14 for t.
2
Let w = -3 - -3. Suppose w*m = 4*m - 28. Let t(y) = y**2 - 3*y - 18. Let f be t(-3). Solve -3*r + p - m = f, -6*p + 4*p = 5*r + 8 for r.
-2
Suppose -3*z + 100 = z. Let w = z + -9. Let g = -12 + w. Solve 0 = 4*x - 4, -5*d + 25 - 1 = g*x for d.
4
Suppose -128*z + 33 = -117*z. Solve 0 = -4*y - 3*x - 6, 0*x + 5*x - 19 = z*y for y.
-3
Let u = 1420 - 1414. Solve 21 = -4*a + g, -a + g - 3 = u for a.
-4
Let c = -59 - -89. Let g be c + (-1)/(-2)*-8. Let w = g + -22. Solve 0 = 4*b + 5*t - 37, 0 = 6*b - w*b + 5*t - 31 for b.
3
Suppose 0 = t - 3*w, 5*w + 3 = 2*t + 2. Let j = -355 + 355. Solve 8 = 4*y + 2*g, j*y + 2*g - t = y for y.
1
Suppose 20*m + 2*c + 16 = 25*m, -6 = -3*c. Solve -r = -5*d + 7, -m*d - 2 = -3*r - 1 for 