 = 4*w + f for w.
-2
Let y(s) = -s + 2. Let v be y(0). Let m be (v/4)/((-1)/(-6)). Let z(r) = -r**2 + 8*r + 3. Let o be z(8). Solve m*u + 11 = -2*t, -t + 14 = -4*u - o*t for u.
-3
Let v(k) = -7 + 7 + 3 - k. Suppose 3*a = a. Let m be v(a). Solve m*j = -l - 20, -j = 4*l - 6 + 31 for l.
-5
Let n = 9 + -6. Solve 0 = 4*d + p - 13, -3 = 2*d - n*p - 6 for d.
3
Suppose k - t + 6 = -4*t, -5*t = -k + 10. Solve -3*n - o + k*o = -13, -1 = -o for n.
4
Let b be (-22)/(-33) + 1/3. Let c(m) = 3*m**3 - 2*m**2 - 2. Let x be c(2). Let r be (b*-1)/((-7)/x). Solve -5*v - 5*z + 3 = -r, 0 = -3*v - 2*z + 4 for v.
2
Let p(a) = a**3 - 6*a**2 - 2*a + 4. Let v be p(6). Let g = 21 + v. Solve 4*n + 2*f - f = g, -27 = -n - 5*f for n.
2
Let q be -1 - 4/((-2)/2). Suppose 2*s = -o + 1, 0*o - 5*o - 37 = -4*s. Solve -2*x = -s*m - 0*x + 5, -q*x + 5 = -2*m for m.
5
Let b = -10 - -10. Let t be (-8)/2 + b - -4. Suppose 0*z + 1 = -q + 4*z, 2*z - 2 = 0. Solve -9 = -3*n - t*n - q*h, n - 13 = 4*h for n.
5
Suppose -5*u + 3*f + 15 = 0, u + 0*f + 3*f = 3. Suppose 0 = -5*n + 7 + u. Solve -4*x + 5*x - 5*i - 10 = 0, -4 = -4*x + n*i for x.
0
Suppose -3*f - f = -5*y + 7, -f + 5 = y. Solve 3*m + y = 3*d, -m + 6*m + 35 = -5*d for m.
-4
Suppose 6 = -2*s - 0*s - 2*w, 2*w = -4*s - 18. Let h = s - -9. Solve t = 2*p - 5 - h, 4*t - 4 = -4*p for t.
-2
Suppose 120 = -3*y + 8*y. Solve 5*c - 2*z = y, 5*z = c + c - 18 for c.
4
Let i be 28/3 - (-4)/6. Suppose -3 = -4*b - w + 3, 0 = b - 4*w - i. Solve -5*m - b*s - 28 = 0, -s + 5 - 21 = 3*m for m.
-4
Let j(z) = -z**3 + 6*z**2 + 2*z. Let m = -7 + 13. Let f be j(m). Suppose -f = -0*b - 3*b. Solve 0*r + r = -3*d, b*d = 5*r for d.
0
Let r(b) = 4*b**2 - 4*b + 2. Let w be r(2). Solve 5*z - 5*o = -w, 2*z - 3*o + 3 = -0*z for z.
-3
Suppose 5*i - 10 = -0*i. Let m = 18 - 13. Solve m*n = -3*q + 30, -3*q - 2*n = i*n - 27 for q.
5
Let u be (-1)/(-7) - 314/(-7). Solve -2*b = -w - b, 4*w = -5*b + u for w.
5
Suppose 0 = -0*n - 3*n - 5*r + 27, 5*n - 4*r = 8. Solve 2*x + 20 = -n*a, 3 = 2*a - 3*a for x.
-4
Let a(i) = 0*i + 18 - 21 + 15 + i. Let z be a(-10). Solve 5*b = -4*p - 4, 2*b + z*p + 4 = -b for b.
-4
Let t(s) = -s**3 - 5*s**2 + 6. Let p be t(-5). Suppose -4*f = p - 18. Solve -v - 3*i = -2*v + 11, 2*v - 13 = f*i for v.
2
Let r = -5 + 6. Suppose h = y + 7, -h - 3*y - r = -2*y. Solve j + 1 = 0, -h*d + 7*d + 4*j = -16 for d.
-3
Let f(y) = -y**2 + 9*y + 14. Let t be f(10). Solve 2*g + z = -12, g - t*g = 3*z + 21 for g.
-5
Let c be (-7)/28 + 35/(-4). Let g be 3*((-6)/c)/1. Solve 3*m - 8 = 2*d, 0 + 20 = -5*d + g*m for d.
-4
Let t(x) = x**3 + 11*x**2 - 4*x - 20. Let q be t(-11). Solve 8 = z - y, -6*z + y = -z - q for z.
4
Suppose 5 = -z - 0*z. Let a = 10 + z. Solve 0 = a*l + h - 26, -4*h - 16 = -l - 3*l for l.
5
Let z be (4 - 3)*(-1 + 2). Solve 0 = w - 3*w + 2*c - 2, 5*w + z = c for w.
0
Let f be 3/(0 - (-4)/4). Solve 5*s + f*m + 5 = 0, -5*s - 30 = m - 3*m for s.
-4
Let c(f) = f**3 + 4*f**2 + 6*f + 6. Let d be c(0). Let o be (-24)/(-14) + (-4)/(-14). Solve 2*n = 2*w + d*n - o, 0 = -w + 3*n - 9 for w.
-3
Let a(s) be the second derivative of s**3/6 + 5*s**2/2 - 3*s. Let z be a(0). Solve l = -v - 4, 3*v = l + z*v + 4 for l.
-4
Let w = -10 + 15. Let s be 66/30 - 1/w. Solve 0 = 4*h - b + 8, -h + 3*b = s*b + 2 for h.
-2
Let q be 1 + (0 - -3) + -3. Let s = -36 - -22. Let b be (-4)/14 - 32/s. Solve 3 = b*v - l - q, 20 = 3*v + 2*l for v.
4
Let z(o) = -o**2 + 7*o - 8. Let f be z(6). Let t(i) = -i + 2. Let v be t(f). Solve -1 = -w - b - 0*b, b - 11 = v*w for w.
-2
Let i(t) = t**2 - 7*t + 8. Suppose -4*d + 0 = -24. Let z be i(d). Suppose 0 = -l - p - 1 + 5, -4*l = -3*p + 5. Solve k = -3*k - 5*w - 4, 0 = -k - z*w - l for k.
-1
Let s(z) = z**2. Let q be s(2). Solve -4*k + 8 = q*b, 0 = -5*b + b + 5*k - 1 for b.
1
Suppose -4*i + m = -0*m - 5, 4*i - 10 = 2*m. Solve -v = -4*f + 4, f - 16 = 4*v - i*f for v.
-4
Let c = -106 - -121. Solve 0 = -4*u + f - c, u - 13 = -4*f - 4 for u.
-3
Let b(s) = 2*s + 2. Let v be b(-1). Solve -3*h - 13 = -3*t - 5*h, v = -2*h - 2 for t.
5
Let f be -7*(1*-3 - (4 - 6)). Solve o - f = 3*x - 3, -3*o - 15 = 0 for x.
-3
Suppose 0 = 3*m - 146 + 131. Solve 5*f + 36 = 4*g, 4*g - m*g + 4 = 0 for f.
-4
Let n = 43 - 39. Solve o + 2*j - 8 = -o, 0 = -n*o - 2*j + 16 for o.
4
Let f(a) = -a**3 + 5*a**2 + 3*a - 5. Let q be f(4). Suppose q*g = 25*g - 70. Solve s = h, 8*s + 4*h = 5*s + g for s.
5
Let s(k) = -k**3 + 23*k**2 + 4. Let b be s(23). Solve 0 = 4*i + 5*l - 17, b*l - 8 = -i - l for i.
3
Let v = -35 - -39. Solve -4*u + v*g - 4 = -0, -5*u = -g + 17 for u.
-4
Let j be (-49)/4 + (-5)/(-20). Let d be (-2)/4*j - 2. Suppose 2*r = -0*n - n + 35, d*r - 45 = -n. Solve -4*z = -3*m + n, 5*z + m = -23 + 6 for z.
-4
Suppose 3 = z - 2. Solve -c + 4*j - 25 = 0, -3*j - 10 = -z*j for c.
-5
Let m = 12 - 10. Suppose -5*t + 4 = 2*n, m*t = -2*t - n + 5. Let b be -1 + 6 - (1 + 0). Solve 3*g = -b*o - 1, -o + t*o = -g for g.
1
Let v(w) = w**2 + 5*w + 2. Let j be v(-5). Suppose 0 = -0*r - j*r. Solve r = 3*h + m - 17, m = 4*m - 15 for h.
4
Let n(g) = g**3 - g**2 + 2*g + 3. Let o be n(0). Suppose 3*s - 12 = 3*i, -i - 9 = -3*s + 5. Solve -s*p = o*u - 12, -7*p = -3*u - 3*p + 12 for u.
4
Suppose 0 = 13*f - 6 - 20. Solve 0 = -3*o - f*w, -4*o = -2*w - 14 - 0 for o.
2
Suppose -2*o = 4*k - 6*o - 24, 4*k - 3*o = 23. Suppose 10*h = 5*h. Solve 2*l + h = -t + 1, 4*l - k = -3*t for t.
3
Suppose 7*f + 144 = 15*f. Solve -5*s + 4*o + f = -17, -5*s - 3*o = 0 for s.
3
Suppose o - 14 = 2*w, 5*o + w - 3*w - 46 = 0. Solve 3*j = -3*m + 8*m - 7, -3*m = 2*j - o for m.
2
Let p be (0 - 6)*(-1)/3. Let q be 4/((-1 - -2)*1). Solve -c + f = -p, 5 = 2*c + q*f + 31 for c.
-3
Suppose -5 = -0*p - p. Solve -5*h + p*l - 4 = 41, -5*h + 3*l = 37 for h.
-5
Suppose 0*k = 5*k - 70. Solve 0 = -3*c - 2*a - 2 + 20, 0 = 5*c - 2*a - k for c.
4
Let b(i) = -6*i - 3*i - 2 + i. Let j be b(2). Let v = -9 - j. Solve -h - 5*s = -5*h + 6, h = 5*s + v for h.
-1
Let s(f) = 3*f**2 - 7 + 2*f**3 + 1 - f**3 - 6*f. Let p be s(-4). Suppose 10 = -0*a + 2*a. Solve -a*r + p*d - 1 = 0, -3*r - d = -4*r + 1 for r.
-1
Let q(w) = w**3 - 6*w**2 + w. Let j be q(6). Let y = j + -3. Solve 4*t - y*x = -21, 4*t + 15 = 5*x - 12 for t.
-3
Let d(p) = p**2 - 5*p - 3. Let s be d(3). Let y be (-24)/s + (-1)/(-3). Solve y*w + 2*k - 4*k + 10 = 0, 0 = 2*k - 4 for w.
-2
Let r be -1 - ((-2 - 186) + 1). Let h = -122 + r. Suppose -2*d + 6*d - h = 0. Solve 6*b + 16 = -2*w + 2*b, -5*w - 2*b - d = 0 for w.
-2
Let s be 1 + (-2 - -2) + -1. Solve 0 = -d - 3*o - 8 + 1, -3*d + 2*o + 12 = s for d.
2
Suppose 0*g = -5*g + 40. Let k = g - 4. Let u be (12/16)/((-2)/(-16)). Solve 3*j + 13 - k = 3*z, -3*j - u = 0 for z.
1
Let l be 76/28 + (-2)/(-7). Let c(h) = 0 + 2*h + 1 - 3*h**l + 0*h**3 + h**2. Let r be c(-1). Solve -2*y - 6 = r*a, 2*a + 3 = -1 for y.
0
Let a = 34 - 48. Let m = 17 + a. Solve 2*c = -m*h - 19, -5*h + 5 = 4*c + 38 for c.
-2
Let u(o) = -3*o + 3. Let z be u(-3). Solve -5*v - 3 = f + 3, -2*f + 2*v + z = 0 for f.
4
Let h(x) = 6*x. Let p be h(1). Let f be 12/(-8)*(-20)/p. Solve 2*o - f = -b, 3*o + 2*b + 0 = 5 for o.
5
Let q be (-1)/2 - 33/6. Let o(g) = 11*g - 3*g**3 - 4*g + 2*g**3 + 7 - 5*g**2. Let u be o(q). Solve 2*c - 17 + u = 3*n, -2*n - 19 = -3*c for n.
-2
Suppose 63*a - 4 = 62*a. Solve a*u = r + 13, 0*r + 10 = -r + 3*u for r.
-1
Suppose -1 = -2*c + 7. Let y(d) = -d**2 - 6*d + 10. Let w be y(-7). Suppose x - 11 = 5*k, w*x - 4 = 3*k + 29. Solve -m + x = -4*q - 10, -32 = -c*m + 3*q for m.
5
Suppose 4*j - 16 = -4, 0 = -5*q - 2*j - 64. Let g = -8 - q. Let v be (-7 - -1)*g/(-4). Solve 5*r = 3*k + 7, 4*k - 5*k - v = -5*r for k.
1
Let j = 14 + -10. Suppose -3*g + 5 = -4. Solve -j*s = -s + g, s = -k for k.
1
Let r be -10 - -29 - (-2)/2. Solve 5*h - q = 0, -h + r = -6*h + 5*q for h.
1
Let c be (-12)/72 - 31/(-6). Solve -41 = 5*l + c*q - 16, 5*l - 2*q + 4 = 0 for l.
-2
Let f(y) = 8*y - 9. Let c(u) = 8*u - 8. Let b(w) = 5*c(w) - 4*f(w). Let n be b(3). Solve -5*z = -3*a - n, 0*a + 3*z - 12 = 2*a for a.
0
Suppose 0 = -2*s - 6, -2*t - 3*t - s - 23 = 0. Let x be t/(-8) + 17/(-2). Let q = 12 + x. Solve -q*a - 2*v - 1 = v, -1 = 2*a + v for a.
-1
Let i(x) = 8*x**3 - 3*x**2 + x + 2. Let d be i(1). Solve d = 4*l + 2*o - 2, -l = -3*o + 8 for l.
1
Suppose 0 = 5*v - 15 - 35. Solve 4*j - 2 - 2 = 4*z, 2*z + j = 