, -k*y = 4*z - 6*y + 8 for z.
-2
Let d be ((-2)/(-6))/((-2)/(-12)). Let z be d - 1 - (2 - 5). Let k = -4 - -7. Solve z*s + s = -5*v, -3*s = -k for v.
-1
Let f(g) = -g**3 + 4*g**2 + 8*g - 13. Let p be f(5). Solve -d = 3*j - 11, -p*j = -5*j + 6 for d.
5
Suppose -8 = 6*i - 10*i. Solve i*w = -2*h + 4, h - 2*w - 3*w = 8 for h.
3
Let b = 31 - 12. Solve -r + m - 1 = 0, 5*r + m = -0*m + b for r.
3
Let w be ((-3)/(-3) - 5)*(-6)/8. Solve -2*j + 5*q = j - 10, 3*q = -w*j + 18 for j.
5
Let q = 0 - -3. Let w be ((-40)/(-24))/(1/q). Let m be 13*(-2)/4*-4. Solve -l + m = -w*v, 2*v = -2*v + 4*l - 24 for v.
-5
Let b be (-14)/35 + (-17)/(-5). Suppose -12 + b = -3*p. Let r be (-1)/(1*-1)*2. Solve -r*w = -4*x - 10, -4*x + p*w = -2 + 7 for x.
-5
Let r = 58 - 38. Let f = -18 + r. Solve o + 5*g + 9 = -12, 3*o - f*g - 5 = 0 for o.
-1
Let w = 13 + -7. Let i(o) be the first derivative of o**3/3 - 7*o**2/2 + 6*o - 2. Let a be i(w). Solve a = 5*x + 3*l + 2*l - 30, x + 5*l - 22 = 0 for x.
2
Let v = 31 - 26. Solve y - 4*y - j - 12 = 0, 0 = -y + v*j - 20 for y.
-5
Let b = 46 + -13. Let k be 93/33 - (-6)/b. Solve -k + 15 = -3*r, 2*t + 3*r + 6 = 0 for t.
3
Suppose 6*o - 2*o + 3*u = -2, -3*o + 1 = u. Suppose 7*a = 2*a - 4*i - 21, -5*a - 13 = 2*i. Let t be a/(21/12 + -2). Solve 4*s = t*p - 3 - 1, s = o for p.
2
Suppose d - 5 = -0. Suppose -h + 15 = -d*g, 6 = 2*h - 3*g + g. Suppose 4*v - 2*f - 4 - 2 = h, 2*v + 2*f = 6. Solve 0*j - 2*x = v*j - 2, 2*j - 3*x = -23 for j.
-4
Let f be (-1)/((-20)/16 - -1). Solve -20 = 2*r + 5*i, 2*r - f*i = r + 16 for r.
0
Let d = -10 - -15. Solve 4*j = 4*z + 2*j - 6, 4*j + 15 = d*z for z.
-1
Suppose -3*f - 5*g + 14 = f, 5*g - 15 = -5*f. Let s = 2 + f. Solve -4*q = -q + s*h + 15, q + 11 = -4*h for q.
-3
Suppose b - 20 = -b. Suppose 12 + 0 = 4*u. Solve a - u = 0, 3*l - 5*a = -17 - b for l.
-4
Let j be 75/20 - (-1)/4. Suppose 0*g + 28 = -j*g. Let p = g + 24. Solve 5*c + 0*i = -3*i + p, 0 = -c + 2*i + 6 for c.
4
Let t = 82 + -55. Let f = t - 7. Suppose -16 = i + 4*x, 0*i - 5*i - f = 5*x. Solve 5*d + 18 = 2*y, -3*y + i*d - 4*d - 19 = 0 for y.
-1
Let v(m) = -m - 7. Let t be v(-8). Solve 0 = -k + 3, l + k = t + 1 for l.
-1
Let s = 11 + -19. Let k(l) = 6 - 8*l - 4 - 1 - l**2 + 0*l**2. Let j be k(s). Solve 0 = -w - 2*x - 5, -5*w - 4*x + 0 - j = 0 for w.
3
Let y(k) = k**2 + 1. Let q be y(3). Suppose -4*u = -6 - q. Solve -3*i + 11 = 4*f, -i + 3*f - 1 = u*i for i.
1
Let r(b) = -2*b + 44. Let n be r(21). Solve 4*d - 12 = n*s, 4*s - 8 - 4 = -4*d for d.
3
Let t(f) = -f**2 - 2*f + 1. Let c be t(1). Let o be 10*(-1)/c*1. Let m = 28 + -23. Solve 0 = j - 2*j + m*p, -j = o*p for j.
0
Let p = -3 - -8. Suppose -p*s - 4 + 19 = 0. Solve -4*r + 20 = s*l, 3*r - l + 5*l = 22 for r.
2
Let x be -1*(30/(-5) + 2). Solve 0 = -3*b - 3*h - 15, 4 = -2*h - x for b.
-1
Let j be 122/(-18) - 6/27. Let l = j - -27. Solve -3*n = g + 7, 4*g = 3*n + n + l for n.
-3
Suppose j - 165 = -4*j + 5*o, -4*j = -5*o - 130. Solve 4*d - 4 = 2*d + 3*t, j = 5*d + 5*t for d.
5
Suppose -z + 0*v = 2*v - 14, z + 4*v = 24. Solve -3*q + 5*x - 3 = 0, 0*x - x + 4 = -z*q for q.
-1
Let s = 21 + -12. Suppose 4*b - q = 40, q = -3*q. Solve -4*g + 11 = 2*i - s, g = -3*i + b for g.
4
Suppose 0 = -q + k + 12, 8*q - 3*q - 56 = 4*k. Let n(y) = y**3 - 15*y**2 + 13*y + 16. Let j be n(14). Solve -5*i + q = c, 2*i - 9 = -j*c - 1 for c.
3
Let k be 13/(3 - 4/2). Let y be 7/((-21)/6) + 2. Solve y*o - o = -4*i - 16, -2*o = i + k for i.
-5
Let k be 3 + (4/1)/2. Suppose 9*h - h = 104. Solve -d = -3*v + h, -k*v + 18 = -5*d + 3 for v.
5
Suppose 16 = -i - 5*h, 0 = -2*i - 3*i + 3*h + 60. Let u = -5 + i. Let s = 0 + 3. Solve q + y + u = 0, 5*y + 18 = -q - s*q for q.
-2
Let c(t) = 7*t - 9. Let x(a) = -3*a + 4. Let n(g) = -4*c(g) - 10*x(g). Let i be n(3). Solve i*r - 2*l = 4*r, -5*r = 2*l + 6 for r.
-2
Let i(l) = 3*l**2 - 2*l**2 - 8*l - 2*l**2 - 3. Let f be i(-7). Suppose f*y + 26 = n, n - y = -4*y + 12. Solve 3*p + 4*r = -2*p - n, 5*r = 5*p for p.
-2
Suppose 0 = -2*v + v + 5*p - 4, -3*v + 5 = 2*p. Suppose g - 15 = 4*q + v, -3*g - 16 = 4*q. Solve -2*i = -2*y + 1 - 5, -i + 5 = g for y.
3
Let z = -17 - -9. Let j be 36/z*8/(-12). Solve 0 = -j*f - 5*k + 9, 0 = -f + 3*k - 0*k - 11 for f.
-2
Let b(j) = -3*j - 52. Let k be b(-18). Solve -22 = k*l - 4*s, 0*l - 3*l - 17 = -2*s for l.
-3
Suppose 0*o + 3*o = -435. Let n = 4 - 17. Let m be o/n + (-6)/39. Solve 5*y + 5 = s - 3, -4*y + m = 5*s for s.
3
Suppose -3 - 3 = -l. Let d be (-1)/2 - 75/l. Let r = d + 18. Solve -5*t - 18 = 2*i, -5*t - r = -5*i + 20 for t.
-4
Suppose -4*h + 2*v - 208 = v, 0 = 2*v. Let z be h/(-12) - 2/(-3). Solve -3*d + 5*q = 5, z*q + 11 = -d + 2*q for d.
-5
Let l = -2 - -12. Suppose -l = -2*a + 4. Solve -k + 4*b = a, 3*k + 4*b - 12 = -k for k.
1
Let d(h) = h**2 + 2*h - 4. Let l be d(-4). Suppose 0*p + 2*p - l = 0. Solve -p*j - 5*q + 21 = 0, 3*j - 3*q + 5*q = 4 for j.
-2
Let m be 4 + (1/1)/(-1). Let s(i) = -i + 9. Let l be s(10). Let v = m + l. Solve 2*g + 5 = -t + g, -v*g = 2 for t.
-4
Suppose 5*o - 79 = -4. Solve -4*z - z = o, 4*z = -4*i - 8 for i.
1
Let t(n) be the third derivative of -n**4/12 + n**3 + 4*n**2. Let s be t(3). Solve -3*k - 5*a - 10 = s, -a = -2*k + a - 12 for k.
-5
Let n be 18/5*140/6. Let f(u) = -u**2 + 7*u + 1. Let k be f(7). Let x be k/3 + n/18. Solve 4*t = -5*o, -x*o - 32 + 7 = -t for t.
5
Let v(t) = 2*t - 4. Let i be (21/15)/((-4)/(-20)). Let n be v(i). Let g be (4 - n)*(-1)/2. Solve 0 = -4*u + 8, -5*x - 2*u = -g*u + 22 for x.
-4
Suppose 0 = f + 2*s + 32 - 122, 3*f + 4*s - 260 = 0. Let r be (-2)/9 - f/(-36). Solve -o + 2*p + 1 = 7, 3*o - 2*p = -r for o.
2
Let w = 72 + -70. Solve -3*u = k - 6, -w*k + 8 = 4*u - 3*k for u.
2
Let z be (-1)/2*((-13 - -7) + -4). Solve 0*k - 3*v = -z*k - 2, 2*k - 2*v = 0 for k.
-1
Let x be (1/4)/((-10)/(-200)). Suppose 0 = -5*o + o + 8. Solve -2*d + o*w + 8 = 0, x*d - 2*w - 10 = 7 for d.
3
Let q(z) = -4*z - 3. Let l be (-5)/2 - 6/12. Let u be q(l). Solve -2*n = -8, -5*p = -2*p + 3*n - u for p.
-1
Let a(f) = -f - 2. Let q(k) = 2*k - 12. Let s be q(8). Suppose 2 + 14 = -s*y. Let h be a(y). Solve d + 5*i = -2*d + 1, 2*d + 2*i = h for d.
2
Suppose 0 = 3*g - 4 - 11. Solve 2*h = 3*v + g + 10, 4*h + 5 = -v for h.
0
Let m(u) = -u**3 + 10*u**2 - 10*u + 12. Let z be m(9). Solve -z*w - 3 = n + 2*n, w + 5 = n for w.
-3
Let j(b) = -b**3 - 9*b**2 - 7*b + 10. Let i be j(-8). Solve 5*w + 10 = -c - 13, -i*w - 12 = -c for w.
-5
Let g(n) = -n + 3. Let k be g(0). Let h(j) = -j - 1. Let z be h(-3). Solve 0 = -4*b + k*l + z*l + 41, b + 3*l = -11 for b.
4
Let g(v) = v + 9. Let w(o) = -3*o - 1. Let f be w(2). Let k be g(f). Solve -k*s - 26 = 3*s + 3*t, 3*s + 22 = -5*t for s.
-4
Suppose -3*m - 84 = -3*t, 0 = -3*m + 7*m - 4. Let a be 65/39*(3 - 0). Solve 2*u + a*y = 6*u - t, -3*y - 15 = 0 for u.
1
Let j = 3 - -3. Suppose j = 5*u - 19. Solve 6 = 3*b - u*q, -3*b + b + 4 = 2*q for b.
2
Let g be (800/(-12))/(-8) + 2/(-6). Solve -2*x + 3*u = -0*x + 4, 5*u - g = 3*x for x.
4
Let k be -1*2 - (-12)/6. Suppose 2*b = 4*f - k*b - 14, 3*b - 3 = -2*f. Solve f*d - 2*a - 15 = a, -d = a + 1 for d.
2
Let g(c) = -c**3 - 4 + 0*c + 8 - 4*c**2 + 5*c. Let h = -8 - -3. Let r be g(h). Solve 4*j - 5*l = -5, -r*j - 5*l - 33 = 2 for j.
-5
Let f be 5/(-2)*408/(-255). Let v = 26 + -51. Let t = 36 + v. Solve 5*j + 10 = 0, -5*y + j = f*j + t for y.
-1
Let y = 4 + 2. Let q = 4 + y. Solve 2*v + 20 = 4*o, -4*v + 0 + q = 2*o for o.
5
Let b be (-2)/(-3)*108/2. Suppose -5*p + p = -b. Suppose 0 = -m + 3*y + 18, -2*m + 3 + 28 = -5*y. Solve m*j + 5*d = -j - p, -j = -d for j.
-1
Suppose -33*r - 3 = -34*r. Solve -5*o + 0*o + t + 23 = 0, 2*o + r*t - 16 = 0 for o.
5
Let i = 22 - 10. Suppose 7*d + 10 = i*d. Solve d*m - 19 = 5*z, 4*m + 4 = z - 3 for m.
-3
Suppose m - 19 = -4*i, 10 + 2 = 3*i. Solve m*p + 9 = 0, -2*w + p + 2*p + 19 = 0 for w.
5
Let r = -4 - -28. Solve r = -3*o + 4*v, -v - 4*v = o - 11 for o.
-4
Let f be 4 + 1*(-1 + 0). Let a(p) = -8*p - 2. Let w be a(-3). Let c be 2/8 - w/(-8). Solve i - 8 = -4*t + c, -f*i = 15 for t.
4
Let h(m) = m**3 - 2*m**2 - m - 3. Let b be h(3). Solve 0 = 3*l + 1 + 5, 4*g - b*l - 18 = 0 for g.
3
Suppose 4*f + 4 = -2*n, -3*n - 3*f - 1 = 2. Solve n = -4*j + 5*d - 19 + 4, 3*j - 4*d + 11 = 0 for j.
-5
Let n be 14 + 1*4/4. Let p = n + -10. Solve 0 = 2*d + 4*j + 10, 