ve 2*l = o + 8, -l - u = -3*l for o.
-4
Let p be (-2)/(-5) - (-48)/30. Solve g = 3*x + 1, p*g - 12 + 30 = -4*x for g.
-5
Suppose 0 = 6*i - 2*i - 12. Suppose -18 = -2*o + 2*j, -4 = -3*o - j + i. Solve 3*b + o*p - 19 = -0*b, -5*p + 25 = 5*b for b.
1
Suppose h + 5 = -4*h + 5*o, -3*h - 2*o = -12. Solve 0*d + h*w = -4*d - 30, -w = -d for d.
-5
Let b = 1 - 3. Let i be (-387)/6 - b/(-4). Let z be (-1)/3 - i/15. Solve -k + d = 0, 2*k - z*d + 10 = 4 for k.
3
Let n(y) = 9*y - 28. Let z be n(4). Solve 6*a - 5*a + z = 2*d, -5*d - 5*a + 5 = 0 for d.
3
Suppose 2*c - 1 = 5. Suppose -3*v + c*h - 5 - 31 = 0, 4*h = 5*v + 60. Let a be 3/v*-2*6. Solve 4*i - 8 = a*i + 2*d, 0 = -4*i - 2*d + 2 for i.
2
Let j(c) = -40*c**2. Let a be j(-1). Let n = -22 - a. Solve -12 = 2*m - 2*l, 2*m + 4*l - n = 4*m for m.
-3
Let q = 88 - 79. Solve g = 5*n + 21, -4*g + q*g + 20 = 0 for n.
-5
Let b = -2 - -4. Suppose -2*n = -0 - b. Solve 3*k - 2*j + n = -7, 4 = 4*j for k.
-2
Let a = 15 + -12. Let t(k) = -k**2 + 3*k. Let g be t(a). Solve -5*y + 2*d - 3*d = g, -2*y + 4*d = 22 for y.
-1
Suppose -m - 3*l = 3*m - 13, 0 = 4*l + 4. Solve -14 = -3*q - 5*d, m*q + 4 + 12 = 2*d for q.
-2
Let f(c) = c**2 - c. Let n be f(-1). Suppose 0 = 3*w - 4*w + n. Let z be w/10 - (-42)/15. Solve -5*x = -z*q - 14, 3*q + 4 = 4*x - 9 for q.
-3
Let x(n) = n**3 - n**2 + 5. Let t be x(0). Solve -4*w = -t*d + 9, 0*w + 8 = 2*w for d.
5
Suppose 0 = f - 5*f + 16. Let v be f + -1 - 8/(-4). Solve v*o + 25 = 5*l, 3*l + 5*o - 13 - 2 = 0 for l.
5
Let d(n) = 2*n - 9. Let i = 10 - 3. Let s be d(i). Solve -5*f + 2*h + 32 = -h, -3*f = -s*h - 32 for f.
4
Let n = 8 - 3. Solve -3*c = -n*x + 16, -x + 3*c = 2*c - 2 for x.
5
Suppose -2*m = 4, -m = 2*f + 2*m + 2. Let b(y) = 53*y - 52*y + 2*y**2 - 2 + 3. Let u be b(f). Solve 7 + u = -4*h - r, -2*h + r - 6 = 0 for h.
-4
Let z = 63 + -9. Suppose -4*m - 160 = -5*s, -2*m - z = -5*s + 106. Suppose -2*o + s = 2*o. Solve 0 = 3*x + 4 + o, -x = 3*g + 4 for g.
0
Let s = -22 + 22. Solve -l = -0*d + 4*d + 9, -2*l - d + 3 = s for l.
3
Let d be ((-2)/(-2))/(5/25). Suppose 0 = -h + d*h - 12. Solve 2 = h*w - w - c, 0 = 3*w + c - 8 for w.
2
Let q(b) be the second derivative of 9/2*b**2 + 0 + 2*b + 7/6*b**3 + 1/12*b**4. Let o be q(-6). Solve 6*s - o*s = -12, -5*s = -4*i + 32 for i.
3
Suppose 4*x + 60 = -0*q - 4*q, -5*q + 4*x - 93 = 0. Let u = 17 + q. Solve v = -5*z - u*v + 8, 5*z - 14 = -3*v for z.
1
Let g be (3/(-6))/((-2)/116). Let d be 1232/42 + (-2)/6. Let p = 0 + d. Solve 0 = 5*r + 2*t + g, 5*r - 12 = 4*t - p for r.
-5
Let j(l) = 3*l**3 - 2*l**2 - 3*l + 2. Let n be j(2). Solve 5*i + 30 = 5*c, 5*i + n = -c - 12 for i.
-5
Let i(d) be the second derivative of -d**4/12 + d**3 + 3*d**2/2 + d. Let k be i(6). Suppose 2*x = 5*x - 2*x. Solve -o - k*t - 9 = x, 3*o - 6 = -2*o + 2*t for o.
0
Let a = -32 + 34. Solve 0 = g - 3*x, 2*x = a*g + 4*x for g.
0
Let g be -1 + 2 + (-3)/(-3). Suppose 2 = 2*v - 0*i - 2*i, 8 = g*i. Let c(w) = w**2 - 2*w - 2. Let s be c(-5). Solve 2*x = v*q + 12 + 8, -5*x + s = -4*q for q.
-2
Suppose 0 = 5*s - 10*s + 25. Solve s*u = 4*x + 13, 4 = -0*u + 4*u for x.
-2
Suppose -15*i + 4 = -14*i. Solve 2*q = -4, 2*q = -i*z + 5*q + 22 for z.
4
Suppose 2*p + 3 = -3. Let x(u) = u**3 + 4*u**2 + 2*u. Let q be x(p). Solve q*i = 3*n - 21, i = -4*n + 7 + 11 for i.
-2
Let k = 18 + -12. Solve s - 3*s = 5*h + k, -3*h - 16 = -5*s for h.
-2
Suppose -34 + 69 = 7*c. Solve 0 = -2*y - c*r + 16, y - 5*r = -2*r - 3 for y.
3
Suppose -3*n - 23 = -5*y + 1, y + 6 = -3*n. Let d = y - -17. Solve 3*r - 5*z = d, -3*r + 4 = z - 10 for r.
5
Let z = 14 - 9. Let q(t) = 11 - 14*t**2 - 6*t + 6 + 18*t + t**3 + 1. Let j be q(13). Solve -j*d + 40 = -z*r, 0*d - 4*r - 24 = -2*d for d.
4
Suppose l - 28 = -l. Suppose 0 = 3*n + v - l + 3, 14 = 2*n - v. Solve n*f - 13 = -4*r, 5 + 3 = -2*f + 5*r for f.
1
Let i(t) = -t**3 + 8 + 12 - 22 + 3*t**2. Let o be i(2). Solve 0 = 4*p + 4, b + 0 - 1 = o*p for b.
-1
Let v = 7 + -5. Let s(p) = -p**3 - p**2 + 3*p - 1. Let h be s(-3). Suppose -5*m + h = -v. Solve t = -4*y + 16, 5*y + t + m*t - 20 = 0 for y.
4
Let b(f) = -f. Let m be b(-1). Let g = m - -1. Let n(z) = -2*z**3 - 2*z**2 + z + 1. Let v be n(-2). Solve -3*c = -g*d - v - 8, -3*d = 4*c - 3 for d.
-3
Let k = 8 - 4. Let q(b) = 6*b**2 + b. Let z be q(-1). Solve -z*h = p + 10, -k*p - h = -5*h - 32 for p.
5
Let v = 13 - 12. Solve l + 4 = 0, -4*l - v = a + 13 for a.
2
Suppose -12*w + 23*w - 132 = 0. Solve 2*m + 2 = -u, 0 = -3*m + 3*u - 9 - w for m.
-3
Let m be (60/(-18))/(2/(-6)). Suppose 2*w = -3*w - m, -19 = -5*a - 3*w. Solve -a*d + 4*h - 4 = 1, 3*d - 29 = -4*h for d.
3
Let l(n) = -n**2 + 9*n + 12. Let w be l(10). Suppose -w*k = -2 - 6. Solve k + 8 = -3*i, 3*r + 4*i = -22 for r.
-2
Let a(u) = 7*u**2 + 19*u + 21. Let r(m) = 3*m**2 + 9*m + 10. Let o(l) = -2*a(l) + 5*r(l). Let x be o(-6). Solve x*b + 2*d - 22 = 5*b, -d + 25 = -5*b for b.
-4
Let p = -3 - -6. Solve 2*a - p*c = 6, -5*a + 5*c + 2 + 3 = 0 for a.
-3
Suppose -44 = -15*z + 4*z. Solve -z*n + 5*y - 2 = 0, 3*n - 2 = y + y for n.
2
Suppose 0 = 3*z + j + 3 - 9, -4*z - 3*j = -3. Solve -4 = -5*l - 4*n, l - 3*l + z*n + 20 = 0 for l.
4
Suppose -4*d + 0*d = 40. Let t be (-54)/d - 4/10. Solve 4*k = 5*j - 28 + 3, t*j = -4*k - 15 for k.
-5
Suppose 4*v - 4 = 2*v. Suppose 5*g = x - 1, v*x - 3 + 1 = -3*g. Suppose -5*m + 6 = -2*n, -4*m = -3*n - 3 + x. Solve 2*u - 4*z = 11 + 1, -m*u = 3*z + 23 for u.
-4
Suppose 13 - 28 = -5*z. Solve 2*k + l = -z*l + 4, 0 = -4*l + 12 for k.
-4
Let t = -6 + 2. Let y = t + 6. Suppose -5*w = 4*p - 5 + 1, -p = w. Solve -n + w*a = -4*n + 32, -5*n - y*a = -30 for n.
4
Let j(a) = -a**2 + 14*a + 1. Let u be j(12). Suppose -2*w + u = -5*l, 31 = 6*w - w - 2*l. Solve w*r - 2*q = 16, 0 = -6*r + r - 2*q + 4 for r.
2
Let l(y) = -y + 4 - 18 - y. Let t be l(-8). Solve -12 = 3*z - 2*c, z + t = -c + 3 for z.
-2
Let f(i) = i + 19. Let p be f(-6). Let r(x) = -x**3 + 12*x**2 + 12*x + 17. Let m be r(p). Solve -w - 26 = -m*d - 3*w, -2*d = 2*w - 18 for d.
4
Let d(l) = -l**2 - 16*l - 5. Let y be d(-15). Let k be 42/8 + (-7)/28. Let v(h) = -h**3 + h + 19. Let n be v(0). Solve -4*o + n = -5*c, -y = -5*o - k for c.
-3
Let u(y) = y**2 - y - 4. Let g be u(-3). Suppose t + 3*n - 9 = 0, g*t = 4*t - 4*n + 28. Solve -4*k - 5*s + t = 0, 3*s - 5 = -3*k + 2*k for k.
-1
Let t(d) = -d**3 - 3*d**2 + 4*d + 5. Suppose -5*j = -2*j, 0 = p - 3*j + 4. Let q be t(p). Solve 4*l + 0*l - q = i, 2*i = 2*l - 4 for l.
1
Suppose -3 = 72*m - 75*m. Solve 2*k + 10 = 2*g, -3*g + 4*k = -15 - m for g.
4
Suppose 3*f - 25 = -2*f. Solve -5*r = 3*a - 5, a - f*a = 4*r + 4 for r.
4
Suppose -5 - 1 = -2*b, 15 = -5*z - 5*b. Let a be z*(24/(-9))/4. Suppose -3*h + 12 = h. Solve -3*m = -j + h + 2, a*j - m = -13 for j.
-4
Let y = 48 - 43. Solve -3*z + 0*k + 11 = -k, 0 = 2*z + y*k - 30 for z.
5
Let q be ((-4)/(1*-2))/1. Let o(s) = s**3 + 7*s**2 - 8*s + 1. Let m be o(-8). Let n = q - m. Solve 3*r - n = 2*r, 5*f - r = -26 for f.
-5
Let y(t) = t. Let s be y(2). Suppose 4*d + k = 9, 0 = -2*d - d + k + 12. Suppose d*u - 6 = u. Solve -u*w = 2*o + 21, -w + 5*o + s = -8 for w.
-5
Let l(q) = -q**2 + 4*q + 10. Let x be l(5). Solve 2*z + 3*z + 4*r - 10 = 0, 4*z = -x*r + 8 for z.
2
Let i = 57 + -54. Solve -i*z + 12 = -0*z, 3*z = 2*g + 4 for g.
4
Let p = -12 + 14. Let u(j) = j**3 - 2*j. Let n be u(p). Solve -d + 7 = 2*o, -n*o = -2*d - 1 - 1 for o.
2
Let v = -6 - -11. Let a(o) = o**3 - 2*o**2 - o - 3. Let m be a(3). Suppose 4 = -f + m*f. Solve -v = 3*k + f*u, k - u = 2*k for k.
-5
Let r(g) = 3*g**2 - 5*g + 1. Let d be r(4). Suppose m + 2 - 6 = 0. Solve 4*b + 0*b - 12 = 0, -m*n + d = 3*b for n.
5
Suppose 2*o = 4*y + 26, -o + 6*y = y - 28. Suppose 4*m - 5 - o = 0. Solve u - 2*u + 7 = m*t, 0 = -3*u + 3 for t.
3
Suppose 4*x - 6 + 2 = 0. Let b be 6 + (x - (-1 - -3)). Solve -n = 2*g - 8, b*n + 4*g = 3 + 7 for n.
-2
Let l be (-2)/(-1)*(-10)/(-4). Solve 0 = -4*a + l*x + 15, -x - 7 = 3*a - 4 for a.
0
Suppose 2*t = -4*g - 12, 4*t - 3 = 13. Let y be g*-3*(-2 + 3). Let b = 6 + -1. Solve -c = -3*x - y, b*c + 2*x + 6 = -4 for c.
0
Let r = 13 - 10. Solve 2*g + 0*f + f + 3 = 0, 9 = g - r*f for g.
0
Let y = 3 + -1. Solve -y = r, 5*l + 5*r - 2 = 3 for l.
3
Suppose -5 = -3*z + 1. Solve -g + 2*o + 5 = 0, -2*o - 9 = -g + z*o for g.
1
Let x(y) = y**3 - 4*y**2 - 3*y + 2. Let l be x