2*f + 0*f + 8 = 0, 18 = 2*l + b*f for l.
-1
Let f be 1/4 + (-6)/(-8). Let b = f - -4. Suppose -b = -4*v + 15. Solve 5*a + 10 = v*y, -7*a = -3*y - 2*a + 2 for y.
4
Let y be (-35)/15 + 2 + (-1)/(-3). Solve y = k + 4*k + 4*f + 37, 8 = -k - f for k.
-5
Let i = 215 + -139. Let t be (-1 + 4)/((-2)/i). Let s be t/4*(-4)/6. Solve -3*v - 4*q - 2 = 5, -3*v = -2*q + s for v.
-5
Let z = 31 + -27. Solve -2*d = -3*m - 5*d - 12, z*m = -d - 19 for m.
-5
Let k = -155 + 159. Solve -3*c = 4*z + 2 - 6, k*z = -5*c - 4 for z.
4
Let t(p) = -p**3 + 4*p**2 + 3*p. Let j be t(-1). Solve y + y = a - j, -5*y = 4*a - 21 for a.
4
Let i be (6/(-4))/(27/12)*-3. Let h = -1 + 3. Suppose -c + 2 = -0*c. Solve -i*d + h*j - 6 - 2 = 0, -5 = c*d - 5*j for d.
-5
Suppose -5*k - 3*t + 82 = 0, -133 + 45 = -5*k + 3*t. Let y = -2 + k. Let u = y - 11. Solve u*b + 10 - 2 = 4*r, 5*r - 2*b = 13 for r.
3
Let w = -62 - -66. Suppose 5*k = -3*o - 14, -o = -5*o - 2*k. Solve -o*i + 11 = 3*j - 0, -j = w*i - 17 for j.
1
Let y be 405/18 - 1/2. Solve 4*c = 5*l - 22 + 5, 4*l = -c + y for c.
2
Suppose -2*k = -10 - 0. Solve 3*w + 18 = -f, 0*w = k*f - 3*w for f.
-3
Let a = 1 + 3. Let b(l) = -l**2 + 1. Let p(x) = 7*x**2 - 4*x - 10. Let z(i) = -6*b(i) - p(i). Let k be z(a). Solve -c - 16 = k*q, -5*q - 5*c - 5 + 0 = 0 for q.
-5
Let a = -15 - -10. Let r = a + 11. Solve -30 = -5*c + n, r*c = c + 4*n + 45 for c.
5
Let j(l) = -l**2 - 2*l - 2. Let s be j(-3). Let c = -1 - s. Suppose 18 = 3*w + 3*r, 4*r + 7 + c = 3*w. Solve 7*p - 20 = -4*i + 3*p, w*i = -3*p + 21 for i.
3
Let d = 4 + -5. Let v = 8 + d. Solve 0 = 4*z + 16, v*t - 4*t + 11 = z for t.
-5
Let w(d) = -d**2 + 3*d - 2. Let q be w(2). Suppose q = -2*g - z + 8, -3*g - z + 6*z = -12. Solve -28 = 4*p - 4*r, -g*r = -p - p - 22 for p.
-3
Let v = 6 + -8. Let y be 69/(-9) - v/(-6). Let p = 11 + y. Solve p*w - 3 = -0*w + 2*c, 0 = 4*w - 4*c - 4 for w.
1
Suppose -76 = -4*c - 16. Solve 0 = 3*o - 4*y - 2 + 10, 4*o - y = -c for o.
-4
Suppose 4*p - 3*i = 4, 3*i + 2*i - 3 = -3*p. Let g(c) = -c + 9. Let a be g(9). Suppose 3*q + 0*q - 57 = a. Solve -4*w + 7 = -x, -p = -4*x + q for w.
3
Let i = -137 - -148. Solve -4*f - 2*k = -5*k - i, 4*k = 12 for f.
5
Let g be -36 - (0/(-3))/2. Let u be ((-4)/(-12))/((-2)/g). Let w be (-1*u)/(-2) + 1. Solve l - 4 = -2*s - 6, s + w = -2*l for s.
0
Let g be (-6)/9 + 22/6. Solve q + 2*k = 5*k - g, -3 = q - 5*k for q.
-3
Let r = 18 + -15. Solve 3*w + 4*m + 4 = 0, -w + r*m + 32 = 4*w for w.
4
Suppose -l + 2*t + 4 = 0, 6 - 2 = 4*l - 2*t. Let s(d) = -d**2 + 3. Let g be s(l). Solve 5*v = -g*h - 31, -2*h - 2 + 3 = -v for v.
-5
Let f be 0/2 + (5 - (0 - -1)). Solve -1 = 2*a + a - 2*r, r = -2*a + f for a.
1
Let n be 2*(-1)/(1/2). Let b(h) = 10*h**3 - 9*h**3 - 3*h + 2*h + 4*h**2. Let q be b(n). Solve 20 + 8 = 2*g + q*k, -3*k = -g - 11 for g.
4
Let k = -9 + 14. Let a be 0/(-1 + 4 - k). Solve 3*j = -2*i + 18, a*j - 7 = -i - j for i.
3
Let l = -2 - -7. Let u = 1 + 1. Let o = 11 - 7. Solve -4*s = 2*d - 18, -u*d + l*s = -o*d + 20 for d.
5
Suppose -5*a + 31 = -a + 5*c, c = -2*a + 11. Let n = -3 + a. Let r be (2 - 3) + (2 - n). Solve u + 3*s - 2 = r, 0*u - 3*u - 6 = 3*s for u.
-4
Let p(d) = d**3 - 6*d**2 + d - 2. Let v be p(6). Suppose -3*k = -t + 13 - 1, v*k + 16 = 4*t. Solve -4*z = b - 6, t = -2*z - 0*z - 3*b + 8 for z.
1
Let j(d) = d**2 - 14*d + 43. Let k be j(4). Solve 3*y = 5*q - 9, -5*q + 8 = k*y + 17 for y.
-3
Let x(v) = -5*v - 8. Let t be x(-3). Suppose 4*d + 0*a = 5*a + 11, -4*d + 2*a + 14 = 0. Suppose d*j = 4 + 8. Solve n = 3, -t*h + 2*n + 6 = -j*h for h.
3
Let s(w) = -2 + 0 - 4 - w + 3. Let m be s(-7). Solve 3*i + 0*d - 20 = -4*d, 10 = m*i + 2*d for i.
0
Let f = -9 + 13. Let x = 7 + f. Let n = -2 + 4. Solve -3*v = n*h + 7, -4*v + 9*v + 3*h = -x for v.
-1
Let l(b) = -4*b - 27. Let m be l(-8). Solve 4*x - 3*g = 2*g, -m*g + 20 = 0 for x.
5
Let v be (-3 - 35/(-5)) + -1. Solve 5 = -v*f + 2*f, -5*f - 21 = 4*g for g.
1
Suppose -3*r = -6 + 6. Let s = 23 - 3. Solve -17 = -2*g - 5*z + 2*z, r = 4*z - s for g.
1
Let t = -60 + 62. Let d be 1 - (1 + (0 - 69)). Suppose d = 5*g - 2*g. Solve 0 = -4*y - n - g, -n - 1 = t*y + 12 for y.
-5
Let w = 0 + 5. Solve -2*d + 2*p = 8, 0 = w*p + 5 for d.
-5
Suppose 5 = -4*y + 13. Let g be 100/36 + y/9. Solve 0 = g*m + 5*d + 5, 2*d + 7 = -m - d for m.
5
Let a(m) be the first derivative of m**3/3 + 4*m**2 + 2*m - 4. Let q be a(-8). Solve -5*c + 4*t = 0, -t = 3*c - 3*t + q for c.
-4
Let n = 0 - 1. Let o be ((0 - -4) + -1)*-1. Let r = n - o. Solve r*v = 3*s + 2, v + 2 = 2*s - 2*v for s.
-2
Let b(s) = -3*s - 3. Let w(d) = -d**2 - 6*d - 2. Let q be w(-6). Let m be b(q). Let g(k) = k + 1. Let i be g(4). Solve 0 = i*u - 2*t, -m*t - 8 = 7 for u.
-2
Suppose -7 = t - 2*q, 19 = -t + 4*q + q. Suppose 3*o = 5*o - 70. Suppose 15 = -4*c + o. Solve f + c*p + 9 = 2, t = -p for f.
-2
Let n = -22 + 27. Solve -3*s + 2*g = 2, s + 4*s = n*g for s.
-2
Let x = 12 + -7. Suppose 4*o = -5*b - 0*b + 12, 4*b + 5*o - 15 = 0. Solve q = -3*q + 3*p + x, b = -3*p - 9 for q.
-1
Let v = -17 + 18. Solve z - 5 + v = 5*d, 4*z = -2*d + 16 for z.
4
Suppose -5*p + 4*t = -67, 0*p + t - 41 = -4*p. Solve z = -2, 0*g - 5*g - 3*z = p for g.
-1
Let x be -1*10/(-4)*2. Let o(y) = -y**3 - 7 + 5 + 6*y + 3*y - x - 9*y**2. Let p be o(-10). Solve 2*d = 5*w - 17, -8*d + 5*w - 20 = -p*d for d.
-1
Suppose -f + 1 = -5. Let u = 9 - f. Solve 2*p - 2*o + 2 = 2*o, u*o = -5*p - 5 for p.
-1
Let d = 10 + -6. Solve d*y + 16 = 0, 2*c = 2*y - 0*y + 4 for c.
-2
Let t be (-18)/(-117) - 126/(-26). Let w = -2 + -2. Let s be w/10 + (-24)/(-10). Solve j - z - 2 = -s*j, t = 4*j + z for j.
1
Let t(d) = -d**3 - 3*d**2 - 2*d - 4. Let i be t(-3). Let w be (7 + -1 - -2) + i. Solve -2*s + 0 = -3*m - 5, -m = s + w for s.
-5
Let f = -3 - -6. Let g(k) = k - 1. Let h be g(3). Suppose -z = h*v - 0*v - 11, -9 = z - 3*v. Solve f*o = z*r, -r - 2*o - 5 + 2 = 0 for r.
-1
Let t(f) = 5*f**2. Let n be t(-1). Solve y = -2*b + 2 - 1, 3*y - 3 = -n*b for y.
1
Let g be ((-12)/(-2))/(6/4). Let r be ((-2)/3)/(g/(-12)). Solve r*m + 21 = 5*w, w - 2*m - 1 = -0 for w.
5
Let w = 156 - 154. Solve -w*o = 4*t - 7 - 9, -5*t = -20 for o.
0
Suppose -2*o - o = -6. Solve o*k = -2*w + 10, 0 = 3*w - 0*w for k.
5
Let x(r) = r**3 + 19*r**2 + 18*r. Let f be x(-18). Solve 2*z = -2*b - z + 1, f = -b - 2*z for b.
2
Let h = 21 + -18. Solve -4*x + 8*x = c + 11, -4*c = -h*x + 5 for c.
1
Suppose 4*o - 2*o = -4. Let z = o + 2. Solve z = r + 5*g - 26 + 1, -25 = -5*r - 5*g for r.
0
Suppose 0 = -9*r + 5*r + 16. Solve 1 = 2*l + r*p + 19, -p = 4*l + 1 for l.
1
Suppose -32 = -q - 4*p, -p - 2 + 0 = 0. Let r(b) = -b**2 + 15*b + 14. Let o be r(13). Solve -4*w = -4*t - o, 0*w - 3*w + q = -5*t for w.
5
Suppose 2*x = -x + 36. Let r = 15 - x. Solve -q + 1 = -3*b - 2*b, q - b = -r for q.
-4
Let m = -6 + 10. Suppose 0 = m*x - 2*x - 4. Solve 12 = 4*a + 3*p + p, x*p - 10 = -3*a for a.
4
Suppose -2*l = -0*l - 6. Suppose -11 - 10 = -l*n. Let g be 96/n + (-4)/(-14). Solve -4*h - 14 = -2*u, 3*u - 5*h - 4 = g for u.
1
Let n be (-1352)/13 + (0 - 1). Let d be n/(-20) - (-1)/(-4). Solve t - 12 = d*t, 2*t = -2*s - 10 for s.
-2
Suppose -3*g + 5*g = 2. Let i = 12 - g. Solve -z + 3*z - i = 5*c, 2*z - 8 = 2*c for z.
3
Let b(h) be the second derivative of -h**3/6 + 7*h**2/2 + h. Let p be b(3). Let y = -9 + 19. Solve 2*o - 35 = p*g + g, -5*o - 3*g + y = 0 for o.
5
Let b be (-17)/(4/(12/(-3))). Let n = -14 + b. Solve 3*r = -3*f + n, 5*f = 3*f + 5*r - 26 for f.
-3
Let t(b) = 2*b**2 - 2*b - 7. Let q be t(-3). Solve -4*s + 4 = -2*w, 0*s + 5*w = s + q for s.
3
Let m(a) = -a**3 - 5*a**2 - 3*a + 4. Let j be m(-4). Suppose j = 4*v - 78 - 6. Solve 0 = 5*p - 5*g + 45, -5*g + v = 1 for p.
-5
Suppose 10*x - 40 + 0 = 0. Solve -20 = 5*y + b, -y + x*b + 6 = 31 for y.
-5
Suppose 0*i + 4*i = 0. Suppose i = 3*c - 3*o - 45, -o - 5 = -6*o. Solve c = -4*l + b, -4*b = -4*l - 2 - 26 for l.
-3
Suppose -x = -4*x + 15. Solve z = -3*i - 7, -x*i - 9 = -2*z - 1 for z.
-1
Let r(j) = 2*j. Let s be r(1). Let q be ((-12)/(-3))/2 + s. Suppose -q*t = 5*f - 2 - 21, 2*f = -3*t + 12. Solve -5 = 2*d + 2*g - 3, -2*d + 6 = -t*g for d.
1
Suppose -z + 1 + 2 = 0. Solve 4*o = z*f - 0*o + 29, f + 3*o = 12 for f.
-3
Let m = 11 - 11. Suppose m = -2*a - 0*a + 6, 4*k = 2*a + 14. Suppose -3*w - 3*l = 3, -3*w = -2*w + 4*l + 10. Solve