y - j - 10 = -3*y. Let u be k(y). Let c be (-2)/u*-3 - -7. Solve -2*t + 3*l = 0, 5*t + l + c = -8 for t.
-3
Suppose 3*y - 13 = -a, 3 = y - 2. Let w = a - -6. Suppose -2*b + w = -b. Solve 3*m = 3, -2*m = -b*q - 0*q - 18 for q.
-4
Suppose 4*u = -u. Suppose -4*h + 12 = 4*f, 8 = 2*f - 2*h - 2. Suppose 3*g - 5*o - 31 = 0, u*g + 3*o = -f*g + 22. Solve 2*x - g = b, 2 = -2*x - 4*b + 14 for x.
4
Let d be -2*(-5)/15 + 4/(-6). Solve o + 11 = 3*g - d*o, 2*o = -10 for g.
2
Let a = 3 + 2. Solve 4*x = -z - a, 4*z + 5 = -x - 0 for z.
-1
Let r be (-3)/(-6) - 3/6. Suppose 0 = m - 4 - r. Solve 23 = -m*s + 3*p, 2*p + 0 = -2*s + 6 for s.
-2
Let w(v) = -v + 2. Let o be w(-9). Suppose -7*t + 3*i + o = -3*t, -2*t + 13 = i. Solve -t*y = 3*f - 4*f + 15, -y - 3*f - 19 = 0 for y.
-4
Let p(t) = t**3 - 12*t**2 + t - 7. Let k be p(12). Solve 3*z - 10 = -k*y, 0*y - 25 = 5*y - 4*z for y.
-1
Let x(q) = -q**2 - 11*q - 9. Let z be x(-10). Solve 0 = -c + 3, 3*s = 3*c - 19 + z for s.
-3
Let y be (-1 + 0)*(-8 + 19 + -13). Let x(k) = k + 11. Let l be x(-5). Solve -8*o + 3*o = 0, -4*o - l = -y*m for m.
3
Let l = 3 - -2. Suppose -l*w + 10 = 5*c, 3*c - 6 = -0. Solve w = 6*h - h - 5*a, 0 = 5*h + 5*a - 10 for h.
1
Let p be 2/4*0/4. Suppose -3*a + p*a = -3. Suppose x = a + 3. Solve -9 = -7*t + x*t, -t + 3 = -3*d for d.
0
Let c = 8 - 3. Suppose 4*f = c*t - 35, 0 = -3*f - 9 - 6. Solve i + 4 + 2 = 5*v, -4*v + 1 = t*i for i.
-1
Let v(t) = -3*t - 13. Let y be v(-6). Solve -33 = 2*z - y*a, -2*z - 2 + 4 = 2*a for z.
-4
Suppose 2*q = -5*s - 74, -q - 1 - 1 = 0. Let o = s - -25. Solve 5*j + o = z, -3*z + 4*z + 19 = -5*j for z.
-4
Suppose -m - 25 = -6*m. Solve j = -2*z + m*z - 12, -12 = -3*z - 2*j for z.
4
Let l = -7 - -13. Suppose 0 = 6*h - 9*h + l. Solve 3*f - 2*f = 2*j - 5, 0 = 5*f + h*j + 13 for f.
-3
Let s = 10 - 8. Suppose -3*m - s*x + 11 = -0*x, -x = 5*m - 23. Solve -3*n + 9 = 0, 3*a - n + 1 = m*a for a.
-1
Let k(n) = -n**2 + 9*n + 6. Let u be k(9). Let g be (12/10)/((-4)/(-10)). Solve -f = 3*d - 4 - 0, g*f = -u for d.
2
Suppose 0 = 4*j - 2*q - 3*q + 13, -2*j + 4*q = 14. Let u = j + 2. Solve -2*m - u = 3*n + 4, -12 = 4*m for n.
-1
Suppose -36 = -4*s + s. Suppose -5*c + 0*c + 20 = 0. Let u be c/s + 28/6. Solve -10 = -2*j + 4*m, -4*j - 6 = -u*j + 3*m for j.
3
Suppose 4*w + 3 + 1 = 0. Let n be w + 4 - (2 - 4). Solve 2*x - 5*u + n = -5, 5*x = u + 21 for x.
5
Let l be 1*((-4)/(-2) - -1). Suppose 52 = 4*n + 4*o, 2*o + 92 = 4*n - 2*o. Solve -l*d + 9 = -u, -d - n + 5 = 5*u for u.
-3
Let r(f) = f + 10. Let d be r(-6). Let g = 7 + -5. Suppose j = -i - 2*i - 7, g*i + 2 = -2*j. Solve -3*o = j*o + p - 4, 0 = 2*o - d*p + 16 for o.
0
Let r = 1 + 1. Solve 5*v - 12 = r*q, q + v + 5 = 13 for q.
4
Let z be -2 + (-2 - 8/(-2)). Suppose -v - v + 26 = z. Solve 5*x = -k + v, k = 5*k - x - 10 for k.
3
Let w(q) = -q**2 + q + 2. Let g be w(2). Let d be (-1)/(-1) + (-4)/(-1). Suppose -d*p + 10 + 10 = 0. Solve -5*o - 1 = h - g*h, p*o + 12 = 2*h for h.
4
Suppose -5*p - g - 1 + 9 = 0, 14 = 3*p - 4*g. Let z be 0 - (2/4)/(9/(-18)). Solve -5*o - z = 4*i, 5*i = o - p*o + 4 for i.
1
Suppose 0 = -4*s - 56 + 8. Let w be 8*(s/8 + 2). Solve -w*x = -3*u - 24, 17 = -5*u - 3 for x.
3
Let k be 132/108 - 4/18. Solve -5 = u + c + k, 0 = 3*u - 3*c + 12 for u.
-5
Suppose 2 = 2*j + 2. Solve b + 0*r + 6 = r, -2*b + 3*r - 14 = j for b.
-4
Let y = -1 + 2. Let v be (-2 - (-3)/3) + y. Solve 17 = 2*j + 3*u, v*u - u = -5*j for j.
1
Let n(j) = -j**3 + 6*j**2 + j - 3. Let g be n(6). Solve -i - 3*i + 4 = -2*p, g*i - 2*p - 3 = 0 for i.
1
Suppose 2*d + 14 - 22 = 0. Suppose d*b - 52 = -5*l, 2*l + l - 27 = -b. Solve -4*a = -v + l, -2*a = -3*v - 0*v + 14 for v.
4
Let h be (13/(-3) + 4)*-57. Suppose h = 2*r - r. Let f be 1/(1 + (-8)/10). Solve c - 23 = -f*z, 5*z - c + 4*c = r for z.
5
Let p(s) = s**3 + 3*s**2 + s - 2. Let c be p(-2). Suppose c = -5*u + 6 + 9. Suppose 1 = -n + u. Solve 4*g + 32 = -4*a, 0 = n*g + 4*a - 0*a + 26 for g.
-3
Let b(j) = j - 2. Let f be b(2). Let h be (-13)/4 + 5 + 2/8. Solve g + h*g = z, -5*z + 4*g = f for z.
0
Let o be (-7)/35 - (-21)/5. Suppose -25 = -5*v + 3*r, o*v - 5*r + 10*r - 20 = 0. Let i = -5 - -8. Solve 2*a - 2*y = -4 - 8, i*y - 22 = v*a for a.
-2
Let h(d) = 2*d - 1 - 3*d - 4*d. Let t be h(-2). Suppose -4*i + 21 = t. Solve i*k + 6 = 0, 1 = -2*y + k - 3 for y.
-3
Let d(x) be the first derivative of x**4/2 + x**2/2 - x - 2. Let w be d(1). Solve s = 3*r + 4, 5*r = w*r - 5*s + 2 for r.
-1
Let l = 6 + -3. Suppose j - l = -13. Let r be (-2)/6 - j/3. Solve 3*n = -r*c + 6, -2*c + n + 13 = -0*n for c.
5
Let o = -9 - -11. Let w be (3 + 1 - o) + 0. Solve 4*n = -r + 20, w*n - 5*r + 16 = n for n.
4
Suppose -137 = -5*m - 2*c - 25, 4*m - 85 = 3*c. Let k = m - 13. Let w be 0 - 0 - (-3)/1. Solve 31 = x + 5*d + k, -5*x - w*d = 0 for x.
-3
Suppose 0 = -u + 3*v + 14, 2*v - 3 = -3*u + 6. Solve -j - 3*q = -3*j + 4, q + 10 = u*j for j.
2
Let r be (-25)/(-4 - 1) - -4. Solve -5*u + 4*p + r = -6*u, -3*u + 15 = -2*p for u.
3
Let f(s) = 3*s - 16. Let m be f(8). Let z(y) = y**3 - 9*y**2 + 10*y - 7. Let v be z(m). Suppose -2*d - 2*d = -16. Solve v = 5*l + 2*q, -2*l + 3*q + d = 8 for l.
1
Suppose -125 = -3*i + 3*h - h, -h - 220 = -5*i. Let k be 23/4 + (-9)/12. Solve 4*u + k + 11 = d, -5*d - 5*u = i for d.
-4
Suppose 4*c - 2*c = 4*r - 16, 4 = 2*c. Let u be (-6)/9*30/(-4). Let n be (3 + -4)*u/(-1). Solve 0 = n*g + 3*j - j + 2, -g + 5*j + r = 0 for g.
0
Let d = -20 - -20. Suppose 2*q - 3*q = 4*s - 23, -2*s - 2*q + 16 = d. Solve 4*y - 18 = -2*l, 24 = 5*y + s*l - l for y.
4
Let s(d) = d - 13. Let i be s(8). Let k be i/15 + (-10)/(-3). Solve -3*c + 11 = -3*m + m, -2*c + 9 = -k*m for m.
-1
Suppose 3*k = -3*s + 20 + 1, -2*s + 4*k - 16 = 0. Solve -4*p = 3*v - 11, s*v - v = -3*p + 2 for v.
5
Suppose -5*g = -21 - 9. Suppose 4*c - g = 2. Solve -h = -5*d + 24, -8 = -0*d - c*d for h.
-4
Let s(x) = -x + 2. Suppose 4*d - 2 = 3*d. Let f be s(d). Suppose -2*g + f = -10. Solve -p = -4, 4*h - h = -g*p + 32 for h.
4
Let b be (2/(-8))/((-2)/(-8))*-5. Solve 5*u - b*d = -25, -4*d + 0 + 5 = u for u.
-3
Let j = 6 - -3. Suppose 0 = -5*r + w + 13, -4*r + 4*w + 11 = -j. Solve -2*v = -r*o - 2, -5*o + 3*v = -o + 2 for o.
1
Suppose a + 23 = 5*k, 0 = k - 3*k + 10. Let t(q) = -7 + 3*q - a*q + 2. Let i be t(5). Solve -l = -i*l, -2*f - 5*l + 4 = 0 for f.
2
Let h = 62 - 59. Solve -h*o + 5*l + 4 = 21, -5*o = 2*l + 18 for o.
-4
Let g be 1*-2 + (5 - 1). Solve 4*h = 2*y + y, 2 = -2*y + g*h for y.
-4
Suppose 12 = 3*k - 3. Suppose -2*z = -5*z + 12. Solve 0 = 3*h - 7*h - 4*c - z, k*h = -c - 17 for h.
-4
Let b = 10 + -8. Solve 18 = -4*f + b*z, -1 - 5 = -2*f - 4*z for f.
-3
Let w be 5 - -3*(-5)/3. Solve w*r - 3 = -r + 3*h, 5*h = 4*r - 5 for r.
0
Suppose 0 = 2*p + 3*j - 3 + 2, 0 = -4*p + 5*j + 35. Suppose -p = -5*n + 60. Solve 0 = -v - 5*s - n, -4*s = -3*v - 0 - 1 for v.
-3
Suppose -5*y - 18 = -3. Let g = y + 19. Solve -2*o + 7 = 3*w + 3, 2*o - g = 3*w for o.
5
Let y(t) = -5*t - 1. Let i be y(-1). Let m = 6 - i. Solve w - 4*p = 16, 0 = 4*w - m*w - p + 3 for w.
-4
Let j(t) = -t**3 - 6*t**2 + 8*t + 10. Let x be j(-7). Let n be -10*x/6*-1. Suppose -n*h + 7 = -13. Solve -b + o = 5, 3*b = -4*o + 2 + h for b.
-2
Suppose 2 = n - 0*n. Solve -4*f = -d - n + 10, -28 = 4*d + 4*f for d.
-4
Suppose -2*i + r + 10 = 0, 7*i - 5*r + 22 = 9*i. Solve 5*c - i*p + 30 = -2*p, 5*p = -c + 23 for c.
-2
Let o(c) = 4*c**2 + 5*c - 5. Let y be o(1). Solve 6*a - q = a - 2, -5*a - y*q - 17 = 0 for a.
-1
Suppose -3*k = 3*q + 3, -3*k + 4*q + 11 + 21 = 0. Let t be (1/3)/(4/36). Solve 4*c - k = -4*l, 3*c - 2*c - t = l for l.
-1
Suppose -4*u - 3*i = -29, -2*u - u = 2*i - 21. Solve 2*h = 0, b - 2*h + 0 - u = 0 for b.
5
Let t = 7 + -2. Solve v - 5*d + 18 + 4 = 0, t*d - 26 = 3*v for v.
-2
Suppose -3*x = -5 - 4. Suppose d = -3*d - x*z, 0 = -2*z. Solve w + 4*c = 21, -2*w - 2 = -d*c - 3*c for w.
5
Let w(p) = -p**3 - 5*p**2 - 3*p - 13. Let q be w(-5). Solve 0 = -4*j + b + b - 14, q*b = -4*j - 18 for j.
-4
Let k be 15/(2 - 1) - 0. Let a(f) = f**3 + 6*f**2. Let p be a(-6). Let i be 0 - (0 - 4/2). Solve -4*j = 2*y + i - p, y = 5*j - k for y.
-5
Let u(q) = 13*q. Let m(s) = -3*s - 2. Let y be m(-1). Let k be u(y). Let p = 1 + -1. Solve 0 = 5*h - 3*h - 3*i + 16, p = 3*h + i + k for h.
-5
Suppose 0*z - 54 = -3*z. Suppose -4*j = 20, 0 = -u +