y + 4*j = 8*j - m for y.
3
Let d be (-3)/6 - 18/(-4). Suppose b - 15 = -d*b. Solve -2*h + 2 = -b*u, -10 = -4*h - 2*u - 22 for h.
-2
Suppose 0 = 4*f - 8*f - 4. Let d be f*10/(-5) - -3. Solve 3*q + d = -n, q + 3*n = -0 + 1 for q.
-2
Let c = -4 - -29. Solve -4*l = -j + c, 35 = -0*l - 5*l + 2*j for l.
-5
Suppose -4*y - 132 = 4*o, -5*y + 2*o + 0*o - 158 = 0. Let i = y + 40. Suppose i*m = 3*m. Solve -5*z - 27 = 3*l, 3*z - 2*z - 3*l - 9 = m for z.
-3
Let v be ((-22)/(-33))/((-2)/(-12)). Solve -2 = 5*u - 2*y, v - 20 = 4*y for u.
-2
Let p = 153 - 151. Let i(y) = y**3 - 7*y**2 + 6*y + 2. Let g be i(6). Solve -g*r + 5 = -c, 7 = -p*r + 3*c + 2*c for r.
4
Suppose 2*f - 5 = 5. Suppose f*y - 37 + 17 = 0. Solve r + y = 4*v + 28, 4*v - 2*r + 28 = 0 for v.
-5
Suppose -7*x + 58 = 9. Solve -5*z + 5*p + 15 = 0, 3*z - 5*p - 10 = x for z.
-1
Suppose -3*h + c = -2*c, 0 = 3*h - c - 6. Suppose 3*p = -4*a + 19, -5*a + 13 = -h*p - 4. Solve -2*j - a*l + 5*l = -7, 0 = j + 4*l + 19 for j.
1
Suppose 3*q + 3 = 5*t, -4*t - 2 = -t + 2*q. Suppose -5*k + t*k + r = -11, k + 5*r = -3. Solve -3*z + 4*p + 10 = 0, k*z = -3*p - 28 + 12 for z.
-2
Let c = 7 - -53. Suppose -9*s = -24*s + c. Suppose 3*g - 11 = -m, -g = -2*g + 2*m + 13. Solve s*l + g*v + 13 = -0*v, -5*l = -v - 20 for l.
3
Suppose 3*j - 6 = 9. Suppose -2*i = j*f - 2, 10 = -5*f - i - 4*i. Solve f*x + w + 7 = 2*w, w = -3*x - 13 for x.
-4
Let r = -47 + 49. Solve -a - 6*j - 15 = -r*j, -a = j for a.
5
Suppose 4*c - 26 = -z - 27, 3*z = 5*c + 14. Solve r - 5*n + 11 = z*r, -4*r - n = 5 for r.
-2
Suppose -4*t + 4*m - 4 = 0, -3*t - t = -3*m. Let f(v) = v**3 - 2*v**2 - v - 1. Let b be f(2). Let h be (2/b)/((-8)/24). Solve q = -t*i - 0*q, i + q = h for i.
-1
Let f be (42/(0 + 3))/(4/2). Suppose 2 = -3*j - h + f, 5*j - h - 3 = 0. Suppose b - 3 = 1. Solve -i = -2*k - 1, i = 5*k - b - j for i.
5
Suppose -4*s + 21 = -5*u - 9, -4*u = 8. Suppose 5*p = -5*a + 75, -p - 4*a = -20 + s. Solve 5*x + p = 0, 0 = -2*m + 4*x + 2 + 2 for m.
-4
Let o(x) = 2*x**2 + 3*x. Let l(p) = p - 4. Let c be l(2). Let t be o(c). Suppose -2*a = t*a - 32. Solve -3*r - a = 5*i + 3, 0 = -3*i + 5*r + 7 for i.
-1
Suppose 0 = -4*a + 9*a - 25. Suppose -5*j - 4*b = -3 - a, -2*j + 20 = -4*b. Solve -2*f + k = j, -3*f = -0*k + 3*k + 15 for f.
-3
Suppose 0*n - n - 12 = -3*h, h + 4*n = 17. Suppose -3*f + 2*k = -28, 30 = 3*f - 0*k - 3*k. Let s = f - 6. Solve u = -s*w + h*w + 9, 0 = 3*u - 9 for w.
-2
Suppose 0 = o - 4*m - 5 - 1, -3*o = -m - 18. Suppose -o*u + 8*u = 10. Solve -p - u*f = -0*p, -p = -f for p.
0
Let i be 3/(-18)*-6*(2 + 1). Solve -4*q + 4*j + 24 = 0, -6*j = i*q - 2*j - 4 for q.
4
Let u(b) = 2*b**2 - 5*b + 3. Let m be u(1). Solve -o + m*o - 12 = 3*f, 0 = f - 3*o + 14 for f.
-5
Suppose -407 = -8*h + 257. Let v = h - 80. Solve -v*z - 3*t - 3 = -6, 3*t - 3 = z for z.
0
Suppose c - 5*d - 2 = 0, -70*d + 68*d = -2. Solve -5*m + 11 = -4*y, 4*y = c*y + 12 for m.
-1
Let d = -60 + 104. Let z = -41 + d. Solve -o - 5 = -0*o - 2*x, -o + 10 = z*x for o.
1
Suppose -3*w - 19*y - 14 = -23*y, -w - 4*y = -22. Solve 2*u = -5*m + 2 + 3, m = w*u + 13 for u.
-5
Let d = 3 - 9. Let f be 445/20 - d/8. Suppose 3*r = f - 11. Solve 4 = -2*t - x + 1, r*x = -5*t for t.
-4
Suppose 0 = -4*d - 3*x + 3, 6*d + 3*x = 3*d. Suppose 11 - 5 = d*m. Suppose k = m*q + q - 18, 0 = -2*k - 6. Solve -25 = -q*g, -z + 5*g + 8 = 34 for z.
-1
Let d = -411 - -411. Solve -l + 2 = 2*c - 0*c, d = -2*c + l - 2 for c.
0
Let d be ((-8)/7)/(-2)*7. Let x(l) = l - 8. Let m be x(d). Let b be (-2)/(m/(-10)*-1). Solve -u + 0 = -3, b*u = -t + 20 for t.
5
Suppose 15*d + 65 = 5*t + 10*d, 3*t + 5*d - 7 = 0. Solve 5*m - 2*p - 2*p - 17 = 0, 3*m - 2*p - t = 0 for m.
1
Suppose 3 = o - 0. Let z = 20 - 18. Suppose 4*d - 18 = -3*w + w, -d - 6 = -3*w. Solve o*j - z = j + 4*l, j - 6 = -d*l for j.
3
Suppose 91*t + 25 = 92*t. Solve 0 = 4*a - 3*n + 4 + 16, 5*a + 4*n = -t for a.
-5
Let k be ((-6)/(-3) + -77)/(-1). Suppose 3*w + 2*w + g = -112, -3*w + 2*g - k = 0. Let r = 41 + w. Solve -5*u = -2*f + 3 + r, f = -2*u - 12 for u.
-5
Let d(a) = -a**3 - 4*a**2 + 4*a. Let m be d(-5). Suppose 3*i = 4*i + 4*n - 20, n = 4*i + m. Suppose -3 = -i*w - w. Solve 4 = w*f - q + 1, -2*f = 4*q + 12 for f.
0
Suppose -3*u - 3*r + 307 = r, 5*r = -u + 84. Let c = -106 + u. Solve -4*k + 0*k = -c*p - 7, -5*k = p - 23 for k.
4
Let k(m) = -m**2 - 9*m - 15. Let j be k(-5). Solve 0 = -6*b + 3*b - o + 6, j*b = o + 10 for b.
2
Let x be 2/5*(0 - -10). Suppose -3*k + 17*k = -25*k + 897. Solve x*v + 3*j - k = 0, -2*j + 3 = -3*v - 1 for v.
2
Let r = 5 + 0. Suppose 0 = -5*i - 1 - 39. Let b be (-2)/i - (-532)/112. Solve 3*x - 8 = -r*y, -b*x - 5*y = -0*x for x.
-4
Let s be 2 + 2*(3 - 5). Let x = -6 - -8. Let z be (x + 1)/(s - -3). Solve 28 = 4*a - z*y, -11 = -5*a + y + 13 for a.
4
Suppose 6*j = 5*j + 2. Let z be j*6/(-4) - -8. Let s = z + 3. Solve -x = -2*q + 7*q + 23, 4*x - s = 0 for q.
-5
Let s be ((-444)/21)/(-4) - 2/7. Solve 4*q + 0*l + 6 = -2*l, s*q - 3*l = 20 for q.
1
Let h be (-37 - -2) + (-6 - -7). Let c = h - -40. Solve 4*r = 3*o - c, 0 = o - 3*o + r + 4 for o.
2
Let l(y) = -y**2 + 15*y - 52. Let q be l(8). Solve 0 = -7*v + 2*v + 2*s + 22, -2*v + q*s = -12 for v.
4
Let k(j) = -j + 15. Let x be k(15). Suppose -8*g + 14 + 2 = x. Solve i + 5*r - 17 = 0, 0 = -i - 5*r + g*r + 9 for i.
-3
Let h = -844 - -849. Solve 0 = -h*z + 10, -6*q + 4*q + 2 = -4*z for q.
5
Suppose q = -q + 6. Suppose -5*f = y - 21, -3*f - 7*y = -q*y - 16. Solve 5*b = -2*o - 19, 4*o + f*b + 23 = -b for o.
-2
Let x(z) be the first derivative of -z**3/3 + 10*z - 5. Let d be x(0). Let f = -7 + d. Solve -f*k = 2*i - 4, -9 = -3*k + 4*i + 19 for k.
4
Let d be (6 - 4) + (-4)/(1 - 3). Solve d*c + 2*n + 2 = 0, -c - 23 = -n - 3*n for c.
-3
Let m be (6/(-12))/((-3)/12). Solve -2*l + m = 0, 2*l - 1 = -4*r + l for r.
0
Let h = -1825 - -1835. Solve 4*b - 2*p + h = 0, 19 = -4*b - 0*b - p for b.
-4
Suppose -4*f + 8 = -208*v + 212*v, -4*f + 26 = -2*v. Suppose -q = -4*u + 4*q + 39, q - 15 = -3*u. Solve -5*p + 31 = 5*m + u, 0 = -2*p - f*m + 13 for p.
4
Suppose -2*g + 3*a + 4 = -7, 3*a = -3*g - 6. Let l = g + 0. Suppose -2*r = 10, -r - 1 = p + l. Solve 4*o + 3*m - 10 = 0, -5*o - 4*m + p = -10 for o.
1
Let v = 4 - 6. Let p be (-1)/v*20/1. Solve -2*u + 3*h - 15 - 3 = 0, -2*u + h = p for u.
-3
Let d(l) = l**2 - 3*l. Let c be d(4). Let w = 126 + -126. Solve w = -5*f + 2*z, 2*f = -2*f + c*z for f.
0
Suppose 4*g - 211 = -5*z, 15 - 6 = 3*z. Let t = g - 40. Solve -m = -4*q - t, -3*q = -m - 2*m + 9 for m.
1
Suppose 2*l + i + 2 - 34 = 0, -4*l - 3*i + 64 = 0. Suppose 0 = -9*m + 10*m. Solve 2*v = -0*v + n + 7, 4*v - 4*n - l = m for v.
3
Let l be (-3 - -4)*-4*6/(-4). Solve 5*f = -5, 3*p = 2*f - 4 - l for p.
-4
Suppose m - 4*o = -3*o + 3, 0 = 2*m - 5*o - 9. Suppose 12*k + 8 = 8*k. Let w be 35/15*3 + k. Solve 5*q - w*y = 6*q - m, -5 = -5*y for q.
-3
Let s = 2153 + -2137. Solve 2*g = -s*k + 14*k + 16, 0 = 3*k - 5*g for k.
5
Let q = 42 + -39. Suppose -q*g = -63 + 9. Solve -2*y + 14 = 4*h, g = -h + 4*h + 4*y for h.
2
Let c = 2 + 43. Let d = -25 + c. Let s(h) = -h + 5. Let f be s(5). Solve f = -4*o + 4*b + d, 2*o = -0*o - 2*b - 10 for o.
0
Let u = -3 - -8. Let w(c) = -6*c**3 + 7*c**3 - 6*c**2 - 6*c**2 - 2*c**2. Let a be w(14). Solve m = 4*b + 23, a*m - u*m + 10 = b for b.
-5
Let w = -13 + 12. Let b be (-6)/(w*6/4). Let i(f) = -f + 10. Let n be i(5). Solve 4 = t, -n*t + 12 = -0*s + b*s for s.
-2
Let u(s) = -s**3 - 3*s**2 + 7*s - 2. Let r be u(-6). Let i = -61 + r. Solve a + x = 2*a + 3, -5*x = -2*a - i for a.
-4
Suppose h = -3*j + 12, -22 = 2*j - 26. Solve -5*t = -5*a - 9 - 1, 0 = -3*a + h for t.
4
Suppose -156*t = -136*t - 80. Solve -8 = 3*i + 4, -8 = t*l + 2*i for l.
0
Suppose -20*y + 6*y + 154 = 0. Solve 5*l = -3*u - 2*u + 5, 3*u + 5*l = y for u.
-3
Let c(h) = h**3 - 2*h**2 - 2*h + 1. Let y be c(3). Suppose 2*n - 16 = -4*s, -31*s = -4*n - 33*s + 14. Solve n = -2*d + 3*m, -10 = y*d - 3*d + 3*m for d.
-4
Suppose 2*t - 53 = -t - 5*q, 3*t + 3*q = 51. Solve -c = c - 4*k + t, -2*k + 10 = -2*c for c.
-2
Let z(r) = -r**2. Let g be z(0). Suppose -11 = -g*k - k. Suppose -4*w = 2*v - 8, 1 + k = -w - 4*v. Solve 4*j - 2*u + w = -4, 0 = 2*j + u + 4 for j.
-2
Suppose 204 = 6*g + 6*g. Solve -k + l + g = -5*k, -5*k - 2*l = 19 for k.
-5
Suppose 10*u = -118 + 638. L