2*k - 16 for i.
-4
Let p = 13 - 29. Let r = 19 + p. Solve 3*j = -4*s + 2 - 5, -3*s - r*j = 3 for s.
0
Suppose -c - x + 36 + 46 = 0, -5*c + 5*x + 460 = 0. Let g = 87 - c. Solve -b - 4*h = -7, -3*h + 4*h - 1 = g for b.
3
Let i = 8 - 4. Suppose -5*a = -i - 6. Let s(j) = -j + 6. Let t be s(2). Solve 5*f + 27 = -p, 14 = t*p - 6*p - a*f for p.
-2
Suppose -l + 4*g - 52 = -4*l, 5*g = 20. Let c(j) = -2*j**3 + 82*j**2 + 87*j - 123. Let o be c(42). Let x = -2 + 4. Solve -o*y - z + x = -l, -2*z = -y + 7 for y.
5
Let h(r) = 2*r - 8. Let g = -3 - 6. Let l = 16 + g. Let w be h(l). Solve m + m + 3 = 5*t, -m - 2*t - w = 0 for m.
-4
Let a(m) = -27*m**2 - m**3 + 4*m + 21*m**2 - 2 - 10*m. Let f be a(-5). Solve 0*z = -o - f*z + 7, 5*z - 6 = 4*o for o.
1
Let t(o) = -o**3 + 25*o**2 + 54*o + 17. Let y be t(27). Suppose 5*m = 2*m + 6. Solve -2*l - f = -m - 4, 0 = l + 4*f - y for l.
1
Let o = 33 + -20. Let i = o + -8. Suppose 2*d - 3 = 7. Solve -i = -k + n, -15 - 8 = -3*k + d*n for k.
1
Let p(u) = 2*u**2 - 7*u - 1. Let t be p(4). Suppose -t*h + 47 - 12 = 4*l, 5*h = -l + 30. Solve -w - l*x = -17, w - 5*x + 11 = -w for w.
2
Let z be (-14)/16 - -1 - 3358/(-1168). Solve -3*d - 12 = 3*h, 5*h + 4*d + 6 = z*h for h.
-5
Let i be (-1 + 0)/(2/(-4)). Suppose 12 = g + 9. Let y(p) = 5*p - 5. Let r be y(g). Solve m - i*v + 4 = -v, 0 = m + 5*v + r for m.
-5
Let j be (-48)/(-21) + (3 - 253/77). Solve 0 = -j*i - 5*o + 16, 4*i - 2*o = -i + 11 for i.
3
Suppose -12*t = -3*t + 36. Let n = t + 8. Solve -n*z = 12, 4*o - 3*z - 2 + 13 = 0 for o.
-5
Suppose -h - 3*i + i = 27, -h + i = 12. Let z(r) = r + 21. Let s be z(h). Solve -s*v + 23 = -k, -4*k = -2*v - k + 19 for v.
5
Let r(i) = i**2 + 25*i - 24. Let j be r(1). Solve 0*c - 4*a = -4*c - 24, -5*c - 9 = j*a for c.
-3
Let o be 6/4*(-16)/(-6). Let c(j) = 2*j - 4. Let k be c(o). Suppose -k*a = r - 18, r = 3*a + 2*r - 13. Solve -5*h - 2*g = 12, 5*h - 3*g + a = 2*g for h.
-2
Let h(c) = -c**3 - 8*c**2 - 4*c - 4. Let g be h(-7). Let l be (-68)/85*(g/2 + 0). Solve i = 3*i + 5*n + l, 0 = -i - 4*n - 8 for i.
0
Suppose -25*k + 30*k = 0. Solve 6*t - 3*t - 6 = 0, -m - 4*t + 10 = k for m.
2
Let k be 2*-1 + (0 - -48). Let m = k - 32. Let q = 30 - m. Solve 2*r + i + q = -2*i, 0 = -2*r - 5*i - 24 for r.
-2
Let r be 0 + (11 - (0 + 3)). Suppose 2*o + m - r = 48, -3*o = 3*m - 90. Let v = o - 20. Solve -n = -f, v*f + 3*n - 18 = 3*f for f.
3
Let p = -164 - -113. Let z = p - -69. Solve -2*y = -5*x + z + 10, 5*y = -20 for x.
4
Let r = -204 + 121. Let b = -58 - r. Solve 5*f + b = 4*d, 7*f = 2*f - d for f.
-1
Let g be 5/(70/(-4)) + (-150)/(-35). Suppose 2*h + 1 = k, 4*h = -0*h - g*k + 4. Solve 4*p - 2*m + 12 = h, 4*p - m = -3 - 7 for p.
-2
Suppose -10 - 18 = -14*j. Solve -2*f + 6 = -4*h - 6, j = -3*f + 2*h for f.
-4
Let g = -17 - 3. Let y = -18 - g. Suppose -8 + y = -h. Solve 10 = u - 3*c, -c + h*c = -25 for u.
-5
Let q be 20 + 56/(-7) + 4. Solve 5*c - q = o - 3*o, -2*o = -4*c + 2 for o.
3
Let w(n) = 2*n**2 - 2*n. Let i be (-4)/(-3) + (-18)/(-27). Let p be w(i). Let k be 2*3/(-4)*-2. Solve 4*l - 8 = -k*f, 0*l - p*f = -3*l + 6 for l.
2
Suppose 6*u - 10*u = -120. Let o be u/5*2/4. Suppose -5*r + 3*v = -16, 4*r = -5*v + 11 + 24. Solve 2*l + 2 = -2*j, -5*l - r*j = -o*j - 4 for l.
2
Let l(u) = -15*u**2 + 6*u + 10. Let i be l(-2). Let r = i - -64. Solve 0 = -r*a, 0 = -6*k + 2*k + 4*a - 16 for k.
-4
Suppose 0 = 62*n - 58*n + 408. Let j = 108 + n. Solve -h + 2*h = -z + 7, 0 = -2*h + j for z.
4
Suppose 2 = u - 0*u. Let a = 1 + u. Suppose a*y - 9 = -2*i + i, -2*i - 5*y = -16. Solve 0 = -4*r - x - 17, -2*r - i*r - 22 = 2*x for r.
-4
Let s(y) = -2*y**3 - 3*y**2 - 2*y + 2. Let v be s(-3). Let j = v + -31. Solve 3*x = j*h - 9*h + 28, -h + 10 = 5*x for x.
1
Let k(x) = 6*x + 18. Let u be k(-3). Solve 5*t - 3*t + 8 = 0, 4*f - 2*t + 4 = u for f.
-3
Let c be (-42)/(-189) - 3/(27/2). Solve 0 = 5*m - m - 16, c = -t + m for t.
4
Let t(y) = 2*y**2 + 5*y - 1. Let n = 73 + -76. Let w be t(n). Solve w*g - 2*u + 22 = -7*u, 4*g - 3*u - 8 = 0 for g.
-1
Let t be (-24)/(-84) + (-38)/(-14). Suppose -5*n - 1 - 7 = 4*i, 2*i + 4 = t*n. Solve n = -3*u - 3*x + 12, 2*u = -2*u + 2*x + 16 for u.
4
Let f be (-11 - -11)/2 - (-1 + -3). Let q(i) = i**2 + i - 4. Let d be q(3). Solve d = -3*n - f*z, 5*n - 4*z - 13 - 27 = 0 for n.
4
Suppose 24 = -89*d + 95*d. Solve 0 = -x - 2*x + 4*h + 13, -d = h for x.
-1
Suppose 0 = -4*s + 24 + 56. Let k = -14 + s. Suppose 0 = -0*y - 2*y + k. Solve a + m = -y, 4*a - 4*m = -16 - 12 for a.
-5
Let q(t) = 5*t - 1. Let y be q(1). Suppose -y*n + 0 + 20 = 0. Let o = -4 + n. Solve 5*h + 10 + o = 4*b, 3*h - 3 = 0 for b.
4
Let q(x) = -x**2 + 10*x - 12. Let t be q(8). Let h be (-10)/(-4)*1 - (-8)/16. Solve -k - 4*r + 20 = t*k, 0 = -4*k - h*r + 16 for k.
4
Let g be (20 + -22)/((-4)/6). Solve 0 = -4*r - 4*l - 28, -2 = l + g for r.
-2
Let q be 7*1 + 6/(-2). Suppose -6*x = -8 - q. Solve -5*w + 5 = a, -11 = 3*a - x*w + 4*w for a.
-5
Let s(d) = d**2 - 8*d + 14. Let u be 1/(-3) - 95/(-15). Let n be s(u). Suppose f = 2 + n. Solve 4*a + 2 = -3*r, f*r + 3*a + a = 0 for r.
2
Suppose 2*h - 26 = 7*n - 9*n, 0 = -2*h + 2. Suppose 2*f - n = -4. Solve -a = 3*w + 14, 5*a - 25 = -0*a + f*w for a.
1
Let y be 0*((-3 - -3) + -1). Suppose -5 = -m - y. Solve -5 = -5*u - 0*q + 5*q, 4*u = m*q + 3 for u.
2
Suppose 6 + 16 = 2*l - 4*s, -3*l - 5*s - 11 = 0. Solve 5*k = -l*x + 2*x - 11, 5*k = x - 19 for x.
4
Let a be 3*(-4)/(-12) - -4. Suppose 2 = -q, -2*b - 6 + 0 = a*q. Solve 0 = b*o - 3*x - 13, -4*x = -5*o - x + 28 for o.
5
Suppose -4 - 76 = -16*a. Solve a*c + 17 = -2*r + r, -5*r + 15 = 0 for c.
-4
Suppose 35 = 4*m - 5. Let v(o) = 3*o**2 - o - 24. Let w be v(-3). Suppose 13*r - m*r = w. Solve r*j - 5*t = -9 + 3, 4*t = 4*j + 12 for j.
-3
Suppose 4*y - 6*j = -5*j - 4, 4*y = 2*j - 8. Solve -17 = -p + 4*m, 2*m - 1 + 11 = y for p.
-3
Suppose -2*k = -1 + 21. Let w be (-15)/k*(4 - 2). Suppose 2*d - 3*d - w*b + 17 = 0, 0 = -4*d + 4*b - 12. Solve -d*p = 2*f - p + 8, 2*p - 19 = 3*f for f.
-5
Let a be (-48)/30 + (-84)/(-15). Solve 5*m = -5*y + 10, -5*y + 10*y = -2*m + a for y.
0
Let u(w) = 7 - 7*w**2 - w**2 + 12*w + w**2 + 22*w. Let p be u(5). Solve m - 2*m + p*i + 1 = 0, 5*i - 20 = -2*m for m.
5
Suppose -2*l = -8*l + 4*l. Solve n - 20 = -5*d - l*n, -5*d = 2*n - 25 for d.
3
Let z(k) = -k**3 - 9*k**2 + k + 12. Let g be ((-63)/35)/(1/5). Let w be z(g). Solve -o - i + w = 0, -i - 10 = -2*o - 4*i for o.
-1
Let y = 246 - 238. Let u(v) = v**3 + 2*v**2 - 4*v - 1. Let j be u(-3). Solve -3*b - j*l + y = 0, 2*b - 5*b + 5*l - 20 = 0 for b.
0
Suppose -3*c = 5*n - 2*n + 6, -24 = -4*c + 4*n. Solve -2*o = x - 7, -5*x + 6 = -c*o - 5 for o.
2
Suppose x = -2*x. Suppose -3*o - 4*j + 3*j + 19 = x, -40 = -4*o - 5*j. Solve -34 = -5*w + 3*c, -w - 5*c - 5 = o for w.
5
Let i(a) be the first derivative of 5/2*a**2 + 4 - 1/4*a**4 - 2*a + a**3. Let w be i(4). Solve 0*d = -3*d + w*j - 4, -14 = 5*d + 4*j for d.
-2
Suppose c = 2*q + 222, 4*c + 5*q - 876 = q. Let d be (-334)/(-22) - 40/c. Suppose 10 + d = h. Solve -5*j + 2*v + h = 0, 4*j = -0*j + 3*v + 27 for j.
3
Let k = 20 - 20. Let m be 2 + -1 + k + 8/4. Solve 2*l - m*q + 12 = -q, 0 = -3*q + 12 for l.
-2
Suppose f - 3*f = 3*b - 2, -5*f = -5. Solve -4*n - 5*u - 22 = b, 0 = n - 0*u + 3*u + 9 for n.
-3
Let p be -2*(-2 - (6/(-4) + 2)). Suppose 0 = g + 4*x - p, 2*g - x - 15 = -g. Solve -5*r + 8 = -s - 3*s, 0 = 2*r + g*s - 23 for r.
4
Let n be ((-1)/3)/(2/(-36)). Let u(i) = -i**3 + 5*i**2 + 7*i - 2. Let a be u(n). Solve -7 = 4*r + a*k + k, 2*r - 16 = 4*k for r.
2
Let c(k) = -k**3 + 8*k**2 - 14*k + 17. Let i be c(6). Solve 4*s - 12 = 3*s - 3*g, 5*g = -i*s + 20 for s.
0
Let m be 2/((-12)/(-5) + (-2)/5). Suppose 0 = s + 3*j + 4, -4*s - 4*j + 10 = -6. Let t = s - 8. Solve -o = 5*i + m, t = -2*o - 4*i + 4 for o.
4
Suppose -q + 8 = 5*p - 18, -2*q - 4*p + 22 = 0. Suppose 3*k - 62 = 4*a + q, k - a = 20. Solve 5*i = 2*f + 20, i - 2*f - k = f for i.
2
Let p(c) = -c + 9. Let f be p(12). Let l be (f + 19)/4 - 39. Let b be (-6)/21 - 80/l. Solve -8 - 10 = -4*t - b*r, 0 = -r - 1 for t.
5
Let i(v) = 2*v**3 - 5*v**2 + 4*v - 3. Let y be i(3). Suppose -3*l = -5*l - y. Let t = 11 + l. Solve -q + 5*w = -13 + 42, -3*q - t*w = 2 for q.
-4
Let j(x) = -9*x - 134. Let n be j(-16). Solve 3*w - n = 5*f + 15, 15 = 3*w - 3*f for w.
0
Let