 5, -f*j + 5*y = 10 for j.
-5
Let t be (1 + 13)*(-1 + 5)/8. Solve 2*l + 18 = -z + 5*z, -t = 4*z + 3*l for z.
2
Let o(r) = 4*r + 4*r**2 + 2*r + 0*r**3 - 2 - r**3. Let n be o(5). Solve -4*i - n*y + 16 = y, 3*i - 2*y - 17 = 0 for i.
5
Let x(g) = 15*g**2 + g. Let l be x(1). Suppose l = p - 2*c, p - c = -p + 29. Solve 2*b = 3*w - 13, 2*b + p + 1 = 5*w for w.
1
Let b be (-140)/(-50) - (-2)/10. Solve -2*v + 2 + b = x, 2*v - 4 = -2*x for v.
3
Let a(b) = 2*b + 17. Let v be a(-7). Solve 0 = -5*l + 2*n - v*n - 15, 0 = -5*n + 25 for l.
-4
Let o(g) = g - 9. Let m be o(9). Suppose m = d - 6*d + 15. Solve 4*x = 5*r - 8, d*r - 15 = -0*x - x for r.
4
Let s(q) be the third derivative of q**5/60 - 7*q**4/24 + q**3/2 - 2*q**2. Let a be s(9). Solve -22 = 4*d - 2*n, 0 = 5*d + n + 3*n + a for d.
-5
Let v be 6/(-5)*40/(-12). Suppose -4 = -0*m - 4*m + 3*p, v*p = -5*m + 36. Solve -4*j - 8 = k + m, 0 = -k - 5*j - 16 for k.
4
Let u = 22 - 22. Solve u = 3*c + 6, 3*o - 5*c - 1 = 9 for o.
0
Let w be (12/(-30))/((-2)/10). Let l be 3/(-6) + w/4. Solve -2*b + 3*v - 3 = 0, l = b + v - 4*v for b.
-3
Let i(y) = -2*y - 3. Let b be i(-2). Let c be (3 + 0 - b) + 1. Solve -c*r = 5*h + 5, 3*r + 5*h = -2*r - 5 for r.
0
Let i = 6 - 4. Let h = i - -1. Solve -2*y = -h*k + 2*y + 28, k = -y for k.
4
Let y be (34/8)/((-3)/(-24)). Let w be (-6)/(-10) + y/10. Solve -f - w*c + 32 = 3*f, 0 = -2*f + 2*c for f.
4
Suppose 0 = 5*t - 4 - 6. Solve -3*r + 1 + 1 = -t*x, -2*r - 6 = -5*x for x.
2
Let k(n) = n + 6. Let a be k(-3). Solve -5*p = 2*b - 3 - a, -4*b + 4*p = 16 for b.
-2
Suppose -5*m = 2*u + 9, -3*m = -u + 4*u. Suppose u = y + 2*y. Let i = 1 - y. Solve 3*v + 16 = -5*j, i*v + 2*v + j + 6 = 0 for v.
-2
Suppose -f = -3*f + 10. Suppose 3*n = 12 + 81. Let p = 51 - n. Solve 3*l + 26 = f*c, 0*c - p = -4*c + 2*l for c.
4
Let v(x) = 5*x. Let u be v(1). Suppose 5*l - 6 = -3*r - 4, -2*r + 14 = -3*l. Solve -2*s - 2 = -u*a - 0, -r*a = -s - 1 for a.
0
Suppose 0 = f + 2*f + 60. Let h = 24 + f. Solve -12 = x + 3*d, -5*x - 8 = h*d - 2*d for x.
0
Let r = -8 - 2. Let l be 4/(-10) + (-44)/r. Solve -5*d + 4*t - l = 0, -4 = -3*d - 5*t + 1 for d.
0
Let l be (1 + 0)/(-4 - -3). Let b be 1/(l/15*-3). Solve 2*z + 1 = b*g, -4*z = -7*z - 5*g + 11 for z.
2
Suppose 1 - 21 = -4*o. Solve 19 = 2*a - a - 4*z, o*a - 4*z - 15 = 0 for a.
-1
Let m = 2 - 0. Suppose -2*c = 3*a - 3 - 1, -4*c + a = -22. Solve 5*h - c*k + 30 = 0, 0*k - k = -m*h - 10 for h.
-4
Suppose 5*o - 3*x = o + 29, o - 17 = 4*x. Let h = o + -1. Solve 12 = 4*c - 3*d, -h = c - 0*c + d for c.
0
Suppose u = -v + 3, -2*u - v + 1 = -3*u. Let g = u - 1. Let m be ((-87)/9)/((-4)/12). Solve -2*j + g = -2*k + 4, -3*j = 4*k - m for k.
5
Suppose 5*k - 75 = -3*g, -4*g + 17 = k - 3*g. Solve 2*w = 3*i - 2*i + k, 2*w = 2*i + 16 for w.
4
Let v(z) = -z**3 - 3*z**2 + 6*z + 3. Let f be v(-5). Let n = f + -19. Solve -b + q = -n*q, 0 = 3*b - 2*q for b.
0
Let f = 8 - 10. Let m = f - -6. Solve 5*d + 3*s = 40, -3*d + m*s - 5 = -0*s for d.
5
Let x be (2/(-1))/(6/15). Let l = x - -10. Suppose -l*a = 0, -2 - 28 = -5*v + a. Solve -7*s + 2*z - 2 = -3*s, -5*s - z = v for s.
-1
Let b = 86 - 82. Solve -5*i + 12 = b*a, -a - 2*a - 6 = 0 for i.
4
Suppose -4*d + 0*d + 3*h + 14 = 0, 4*d + 2 = -5*h. Solve d*n - 5*c = -14, 0 = 5*n + c + 12 - 4 for n.
-2
Suppose 0*m + 3*m = -3. Suppose -o + 4*f + 2 = 0, -3 = 5*o - 4*f - 13. Let t = o - m. Solve 0 = 4*r - j + t, -r + 3*j = 2*r - 9 for r.
-2
Let j = -24 - -29. Solve 0*u - 9 = q - 2*u, 3*q - j = -2*u for q.
-1
Let d(g) = g + 9. Let v be d(-7). Let l(m) = 6 - 2*m**3 + 10*m**2 + 3*m - 2*m + m**3. Let b be l(10). Solve 2*y - 8 = 0, -v*c - b = -3*y + y for c.
-4
Let h be 2/(-6) - (-13)/3. Let f(y) = -y**3 + 5*y**2 - 2*y + 4. Let n be f(5). Let i = 10 + n. Solve i*r - 19 = -u - h, -u - 5*r + 19 = 0 for u.
-1
Suppose 17 = b - 7. Suppose -2*o = o - 21. Suppose -h - 3*i + 5 = 0, 3*i = -h + o*i - 2. Solve -h*x = -4*v + 3*x - b, -18 = 2*v - 4*x for v.
-1
Let l = 3 + -1. Suppose l*y - 4 = -0*y. Solve -3*g = -y*c - 14, -c - 28 = -5*g - 7 for g.
4
Suppose 0 = -4*l + 2*l. Suppose -2*c + f + 4 = 3*f, -4*f = l. Let o be (8/12)/(c/102). Solve -3*w - o = 5*k, 2*w + 10 = 4 for k.
-5
Let z(g) = g**2 + g - 1. Let m be z(-2). Suppose 0 = 2*q + m - 5. Solve -4*d + 2*s + s = -21, -6 = -4*d - q*s for d.
3
Let a be (-20)/50 + 12/5. Suppose b = -b + 5*f - 1, -2 = -2*b + a*f. Solve 2*d - u = 0, b = -5*d + 3*u + 3 for d.
-1
Let y = -16 - -27. Solve 4*z + 2*v + 6 = 5*v, -3*z - v - y = 0 for z.
-3
Suppose 0 = 5*b + 5*p + 25, -5*b - 2*p + 5 = -7*p. Let j be b/(-6) + 126/27. Suppose -j*v = -v. Solve v*h + 3*h + 4*u + 35 = 0, -u = 5 for h.
-5
Let j(i) = i + 2. Let h be j(0). Solve -4*q = 2*r - h, -3*q - 3*r = -5 - 4 for q.
-2
Suppose v + 30*x = 25*x + 21, 0 = 5*x + 15. Solve -8*m + 3*m + 2*p + 30 = 0, -4*m + v = -4*p for m.
4
Let b be (-30)/9 + 1/3. Let p be (-2)/b*(-33)/(-2). Let q be (-57)/(-11) - 10/55. Solve -2*k + p = x - 2*x, q = 2*k + x for k.
4
Let v(z) = -7*z**2 + 2*z + 6. Let d(l) = 6*l**2 - 2*l - 5. Let x(m) = 6*d(m) + 5*v(m). Let w be x(5). Solve -3 = -5*i + 4*b - w, 0 = -5*i + 5*b - 10 for i.
-4
Suppose 0 = 2*w - u - 4 - 6, 0 = 4*w + u - 14. Solve 0 = 4*y - 4*f + 22 + 10, w*f = 3*y + 29 for y.
-3
Let d = -74 - -78. Solve -d*p = -2*u + 4, 0*p - 3*u - 15 = p for p.
-3
Suppose 2*f = f + 2. Suppose -4*v = -43 - 5. Solve 5*r + f*z = -8, -4*r - z + 4*z + v = 0 for r.
0
Let y be 28 + -3*(-1)/(-3). Solve 0 = -4*g + 5*g + i, 5*g - 4*i - y = 0 for g.
3
Let z(k) = -10*k - 35. Let l be z(-4). Solve -3*c + 2 = l*i + 13, 4*c + 13 = -5*i for i.
-1
Let h = 7 + -3. Suppose k = -3*u + 4 - 2, 3*u = -h*k + 8. Suppose 0 = 7*t - 10*t + 12. Solve u = 4*x + 2*i - 20, -t*x - x + 25 = -3*i for x.
5
Suppose 0 = -5*f + 2*g + 67, 5*g + 44 = 2*f + f. Let j(q) = -q**3 + 12*q**2 + 13*q + 14. Let a be j(f). Solve 4*c = -s - s + a, 3*s - 19 = -5*c for s.
3
Suppose 3*a = 19 + 11. Let p = a - 8. Suppose -5*t - 5 + 130 = 0. Solve -q = 2*g - 10, -3*g + t = p*g + 2*q for g.
5
Let v = -4 + 9. Solve u = v*y - 24 + 10, -3*y + 14 = -2*u for y.
2
Suppose -24 = -3*u + 27. Suppose -h - 4*s = -u, -5*h + 4*s + 5 = -8. Let x(w) = w**2 - w - 7. Let i be x(6). Solve -2*k - h*c = -2*c - 12, 5*k + 4*c = i for k.
3
Let o(y) = 28*y + 1. Let b be o(1). Suppose 0*m - 4*j + b = 3*m, -4*m - 3*j + 48 = 0. Solve 4*i - 3 + m = 3*n, 2*n = 4*i + 8 for i.
0
Let t be (-1)/(2 + 15/(-6)). Let y be 0/(-2) + 0 + t. Let w be ((-1)/(-3))/((-2)/(-150)). Solve -5*p = 5*l - w, l - p - 3 = y for l.
5
Let j be (-4)/1*((4 - 8) + 2). Solve 1 = -2*i - 3*b + j, 5*i = b + 26 for i.
5
Suppose -5*l + 81 = 16. Let m(t) = 3*t - 11. Let h be m(l). Solve -2*z - 4*j = h, -4 - 4 = -3*z + 4*j for z.
-4
Let u be 2/1 - 1/(-1). Let w(z) = z - 1. Let n be w(u). Suppose -g - 4*m = -15, g - 5*m + n*m = -6. Solve -2*h + g*d = 21, 3*h = 3*d + d - 29 for h.
-3
Suppose 0 = 7*a - 4*a. Let p(f) = f**3 + 3*f**2 + 2. Let z be p(-3). Solve 3*l + 5*i - 5 = -a*i, -2 = -z*i for l.
0
Let t(n) = -3*n - 3. Let c be t(-3). Suppose 2*m + 4 = 2*r - c, -17 = -3*r + 5*m. Solve 22 + 6 = -4*o + r*a, 0 = a - 3 for o.
-4
Let t(l) = l + 2. Let d be t(-7). Let s = d + 7. Solve 2 = f + s*k, 2*k = -4*f + 2 - 6 for f.
-2
Let q = -43 - -43. Solve m + q*t = -t, 10 = -5*t for m.
2
Suppose 0 = 4*h - 3*b, -3*b = -b. Solve -3*l - o - 6 = -5*o, h = 3*l - o + 6 for l.
-2
Let n = 16 + -12. Solve 0 = 5*w - n*s + 20, 4*w - 3*s + 22 = 6 for w.
-4
Suppose p - 5 = -3. Solve 5*j = 3*d - p - 5, 2*d = j for d.
-1
Let q be ((-6)/30)/(2/(-10)). Solve -z - 5*t + 3 + q = 0, t = 0 for z.
4
Let x(g) = g + 8. Let c(z) = -z**2 - 4*z - 6. Let n be c(-4). Let q be x(n). Let d = q + 1. Solve p = 2*l + 4 - 1, -d = l - 2*p for l.
-1
Suppose -5*v + 3*v = 3*k + 4, 2*v = -2*k. Solve -4*z = j - 2, v = 5*j - 3*j + 4*z for j.
2
Let k be 92/161 - 34/(-14). Solve -k*g - n + 0 = -2, -14 = -g - 3*n for g.
-1
Suppose c = 2*g + 3*c - 16, 0 = g + 5*c - 24. Solve 17 = 3*q + g*y, 4 = 5*q + y - 13 for q.
3
Let m = 9 + -9. Solve -3*f - 5 = -2*c - 21, m = -5*f - 2*c for f.
2
Suppose 7 = 4*s - 13. Suppose 4*u + 4*j + 20 = 6*u, -2*u + s = -j. Solve 0 = -x + 5*n + 4, u = -5*n + 2 - 7 for x.
-1
Suppose 0 = -5*j + 2*r + 17, -j = -0*r - 4*r - 7. Suppose j*c - 4*c = 0. Solve 0 = -2*k + 4*a + 24, c*a + a - 4 = -2*k for k.
4
Let q(y) = -y - 5. Let r be q(