. Solve y - 1 = w, -y = -5*p + 6 for p.
2
Suppose 0*v = -5*v. Suppose v = -3*n + 3*x - 12, 3 = -2*n + x - 1. Suppose -a = -n - 5. Solve 3*z = -m + 2, -a = -3*z + 4*m - 28 for z.
-1
Let i(y) = 2*y**2 - 77*y + 4. Let q be i(0). Solve q*r + u = -12, -5*r - 1 + 3 = -3*u for r.
-2
Let v = -65 + 5. Let m be 15/(-2)*v/25. Suppose 4*i - i - m = 0. Solve -5*j + 3*a = i + 4, 3*j = -3*a - 6 for j.
-2
Suppose -p - 4 = -x, -2*x + 2*p + 12 = 2*x. Solve 3 = h + x*u - 8, -5*u + 15 = 0 for h.
5
Let r(l) = 15*l + 41 + 2*l - l**2 - 2*l + 0*l**2. Let z be r(17). Solve -5*a - 5 = -5*m, 5*a - m + 14 + z = 0 for a.
-5
Suppose 2*d = 5*d - 75. Suppose -17 - 6 = n. Let z = d + n. Solve 4*g = -s + 5, 0 = -z*g + 3*s + 18 - 5 for g.
2
Suppose -73 = 3*p - b - b, -4*p - 124 = 4*b. Let r = -25 - p. Solve 4*s + 2*y = -18, 3*s = -r*s - 4*y - 27 for s.
-3
Let y = 27 - 27. Suppose 0*v - 3*v + 15 = y. Solve -v*o + 31 = 2*u + 8, 3*o = -4*u + 25 for u.
4
Let o be (-3)/4 - (-115)/20. Let u = -3 + o. Solve 2*v = -4*t - 6, v + u*v - 3 = -3*t for v.
5
Suppose -15 = 5*t - 5*w, 10*t - 6*t = w + 3. Solve -3 = -t*v - k, 0*v + 5 = 2*v - k for v.
2
Let h be 8/(-3) - (-4)/6. Let v(n) = -13*n. Let j be v(h). Let i(u) = 9*u**3 - u**2. Let y be i(1). Solve 5 = q, b + y*q - j = 3*q for b.
1
Let l be 3*8/(-24)*0. Solve l = h + 3*z - 8, 12 = 3*z - 0*z for h.
-4
Let z(b) = -b + 3. Let q be z(7). Let h be 2/(-10) - 92/(-10). Let v = h + q. Solve -k + 0*a = v*a - 8, 4*k + 3*a = -2 for k.
-2
Let s = -104 + 106. Solve 5*w - 3 = -4*l, l + 3 = -s*w - 3*w for w.
-1
Let w = -31 - -36. Suppose 0*l - w*l = -15. Solve -l*g = -2*a + 6, 0 = -5*a + 5*g + 2 + 3 for a.
-3
Let o = -174 + 137. Let i = o + 65. Solve 4*u + 3*j + 2*j = i, 0 = 5*u - j - 6 for u.
2
Suppose 0 = -5*k - 2*i - 79, 3*i - 4*i = 2. Let h be 4/(k/9 + 2). Suppose -h = -s - 5*b, 5*s + 4*b - 2 = 16. Solve -s*j = a, 4*a = -5*j - 6 - 0 for a.
-4
Suppose 42 = -24*d + 282. Solve -3*z = 3, -5*a + 2*z + d = 7*z for a.
3
Suppose 4*d = d. Suppose d = 5*n - 47 + 2. Suppose 0 = -n*y + 6*y + 15. Solve 5*z + 5 = 2*z + y*l, -3*l = 5*z - 3 for z.
0
Let o(z) = -2*z**2 - 2*z. Let l be o(-2). Let g be -5 + l*(-5)/4. Solve g = f - 5*m + 24, 25 - 9 = f + 5*m for f.
-4
Let g(s) = -s**3 + 4*s**2 + 6*s - 24. Let v be g(3). Solve -25 = -2*t - 3*y, -v*t + 5*y + 25 = 35 for t.
5
Let d be ((-11)/(-6))/1 + 1/6. Let u be 4/(-24)*2*18/(-2). Solve -u*y = -4*f + 18, -d*f - y = -3*y - 10 for f.
3
Let o be (-18)/(-81) - 264/(-27). Solve i + 4*h + o = 0, -3*i - h + 4*h = -15 for i.
2
Let r be ((-3)/(-10) - (-4)/20)*-38. Let d = r - -27. Suppose 5*j - 3*i = -13 + 1, -i + 4 = 3*j. Solve -s + 4*v = 3*s + d, -2*s + v - 7 = j for s.
-5
Suppose 3*g + 2*g - 50 = 0. Solve 4*i + 2*b - b + g = 0, 8 = -4*b for i.
-2
Let k = 1 + -1. Let v = 7432 - 7429. Solve 5*i - 3*t = -20, v*t - 13 = -k*i - 2*i for i.
-1
Let l = 1059 + -1056. Let o be 2/6*(21 - 9). Solve -q = -o*q + l*g + 9, 6 = 2*q - 3*g for q.
3
Suppose 10 = 2*q - 7*q. Let s = 8 - q. Let t be (-4)/s + (-201)/(-15). Solve -t = n + 4*n + z, -n - 2*z = -1 for n.
-3
Let q(w) be the first derivative of -w**3/3 + 5*w**2 - 7*w - 13. Let c be q(8). Solve -22 = y + 4*h - c, -4 = h for y.
3
Let i be -1 + (-7)/(21/(-9)). Solve -i = 2*y + f - 6, -y + 3*f = 12 for y.
0
Let l(f) = -6*f + 1 + 6*f + f**2 + 0*f. Let j be l(1). Solve 7 - 2 = -j*y + z, -4*z + 11 = y for y.
-1
Let j = 9 + -11. Let s be -3*4/12*j. Let a = 12 + -7. Solve 3*x + a*b = -22, -s*b - 14 = -4*x - 0*b for x.
1
Let a be -1*(-1)/(-3)*(-33 + 33). Suppose 5*x + 16*k - 13*k = 16, -3*x + 2*k + 2 = a. Solve -7*g - 3*l - 22 = -x*g, 4*g + 21 = l for g.
-5
Suppose 0*n - 16 = -4*n. Suppose 3*c - n = -c, h - 4*c = -18. Let j be (-4)/h - 152/(-56). Solve 3*x + 1 - 2 = -5*o, -13 = j*x - 2*o for x.
-3
Let k(g) = g**3 - 11*g**2 - 12*g + 15. Let r be k(12). Let o be (-87)/(-24) - r/(-40). Suppose y = -o*y + 50. Solve 2*d = 0, a + d - y = 3*a for a.
-5
Let n(d) = d + 38. Let g be n(-34). Solve z - g*s = -s + 3, z = -3*s - 9 for z.
-3
Let d be ((-15)/(525/(-14)))/((-2)/(-10)). Solve 2*h + 0*w - d*w = -16, -h + 5*w - 24 = 0 for h.
-4
Suppose -35*j + 37*j - 6 = 0. Let m = 3 - j. Solve 2*r - 8 = 2*b, 3*r - 4*b + 7*b - 18 = m for r.
5
Let f be (60/70)/((-2)/(-14)). Let i(n) = n**3 - 7*n**2 + 10*n - 8. Let o be i(f). Solve -3*c - o = -h + c, -5 = c for h.
-4
Suppose -t = t + 30. Let b be (-8)/12*t/2. Let l = -138 + 141. Solve b*p = -15, -l - 8 = 5*r + 2*p for r.
-1
Let c = -17 - -22. Suppose y + c = 8. Solve 0 = -j - 3*v - 4, 0*v = j - 4*v - y for j.
-1
Let j be (54*-1)/(-3) + -1. Suppose -5 = 4*a - j. Solve a = -3*d - 2*p - 1, -3 = -3*p for d.
-2
Let m(q) = q - 2. Let l be m(6). Let f(b) = 6*b + 87. Let o be f(-14). Let s(x) = -x + 12. Let t be s(o). Solve l*j = h + t, -4*h = -j + 3*j for h.
-1
Let l(v) = v**2 + 2. Let a be l(0). Suppose -p - 2 = -5*k - 1, a*k + 3*p + 3 = 0. Solve x - 4*x - 9 = -2*f, -2*f - x - 3 = k for f.
0
Suppose -4*p + 11 = -9. Suppose 3*j = 4*i + 7, -5*j = -2*i - p - 16. Solve 2*x - o = -9, -x + 4*o = -j*x + 12 for x.
-2
Let m(c) = c**2 + 14*c - 28. Suppose 0 = 4*b - 6*b - 3*v - 38, b = -4*v - 24. Let q be m(b). Solve 2 = -4*l - 2*k - 4, 0 = q*k + 12 for l.
0
Let o(z) = z + 17. Let m be 1/(-2 + (-19)/(-10)). Let s be o(m). Let v be (-4)/(-14) - (-26)/s. Solve -6*t = -t - 3*d + 29, v*d = 5*t + 32 for t.
-4
Suppose 3*s = 2*h - 5*h, 5*h - 4*s - 45 = 0. Let g be (3/(-2))/3*-8. Solve -5*b + 0*b = -4*r + 8, -h*b - 32 = g*r for r.
-3
Let u(c) = c**2 + 4*c - 1. Let d be 3 + (2 - (-4 - -6)). Let t be u(d). Solve -2*x = -5*j + 18, -3*j + 5*x + t = -6 for j.
2
Let x = -459 + 461. Let o(s) = -s + 1. Let c be o(-5). Let r be (0 - 2/12)*(-102)/17. Solve -c = p + x*y + r, -3*y = 5*p + 28 for p.
-5
Suppose 5*r + f = 12, 3*r + r = -5*f + 18. Solve 2*l - 2*a = -8, 3*l - 4 = -r*a - 6 for l.
-2
Let p(c) = 5*c + 73. Let n be p(-11). Solve 9 = s + 4*u + 26, 0 = 2*s - 5*u - n for s.
-1
Let g(f) = -5 + 1 - 1 - 2*f. Let y be g(-4). Suppose -4*t - 8*t + 36 = 0. Solve -y*a - 19 = 5*p - t, -3*p - 6 = 0 for a.
-2
Let c(r) = -7 - 8 - 2 + 29 - 5*r. Let y be c(0). Solve -4*w - y = -3*d, -5*w + 3 = 5*d - 17 for d.
4
Suppose 0 = -5*j + 3*j + 44. Suppose -21*m - 2 = -j*m. Solve u + 19 = 5*w, m*w - w = 3*u + 15 for w.
3
Let l be (-20)/(-24) - 3/(-18). Let f be ((-2 - -3) + -1)*l. Solve f = 7*x - 3*x + 4*s - 16, -2*x + s + 5 = 0 for x.
3
Let q(s) be the first derivative of s**2/2 - 5*s + 21. Let c be 30/4*2/3. Let r be q(c). Solve 5*i + 16 = -3*u, -5*i - 2*u + 0*u - 14 = r for i.
-2
Let t be ((-26)/(-3))/(3/(-9)). Let q be ((t - 4)*1)/(-2). Suppose 11*v = 14*v - q. Solve v*m = -2*d + 12, 2*d + 4 = -2*m + 10 for m.
2
Let g = 1272 + -1270. Solve z = -2*f - 2*z + 16, g*f = -2*z + 14 for f.
5
Let s(w) = -w**3 + w**2 + 4. Let z be s(0). Suppose z = 34*l - 32*l. Solve -14 = 3*v - l*j, 5*v + 5*j + 14 = -1 for v.
-4
Suppose 5*r - 20 = 0, -4*z + 2*r + 2 + 6 = 0. Let i(q) = -8*q**2 - q - 1. Let s be i(-1). Let y = 10 + s. Solve 0 = y*b - 0 - 4, -5*b + 14 = -z*a for a.
-1
Suppose 2*z - 5 = 3. Let g = 20 - -20. Let u = g - 36. Solve -l - l + i = 0, u*i + z = 4*l for l.
-1
Let b be -1 - -5 - (-33)/3. Let i be ((-5)/b*-4)/((-1)/(-3)). Solve -3*w + 2*s - 7 = 0, -5 - 8 = i*w + s for w.
-3
Let p = -176 - -180. Solve p*x = 5*h - 17 - 14, -4*x - 19 = -h for h.
3
Let a(p) = 3*p + 10. Let l be a(22). Let n be (-6)/(-4)*l/6. Solve 0 = -x + 4, -7*x + 3*x + n = i for i.
3
Let v = -180 + 26. Let c = v - -159. Solve 3*i + 5 = -c*n, 3*i + 2*n = -i - 16 for i.
-5
Suppose -3*b = -200 + 26. Let r = b - 55. Solve -19 = p + r*a - 8*a, -3*a = 3*p - 15 for p.
1
Suppose 0*d - 4 = -d. Suppose -2*u + q = -15, 5*u + 5*q = 4*u - 20. Solve 37 = u*k - d*r, -k + 3*r = 7*r + 7 for k.
5
Let o(w) = -w**2 + 2*w + 3. Let y be o(3). Let p be (12/24 - (y - 0))*0. Solve 0 = -2*t + r - p + 1, 2*t + 19 = 5*r for t.
3
Suppose 7*v + 75 = 22*v. Solve -v*x - 4*n + 16 = -6*n, -2*n - 2 = 2*x for x.
2
Suppose 2*z + 5*d + 4 = 24, -5*d = -2*z. Suppose 6*l = l - 15, -l + 7 = z*s. Solve -4*a + s*n - 16 = -2*n, a + 13 = 4*n for a.
-1
Suppose -24*t + 18 = -6. Solve 8 = -4*k + q, -k - 3*q - 14 = t for k.
-3
Suppose 2*u = -3*f - 65, -f - 10 - 5 = -u. Let c = f - -19. Solve 4*o + 16 = -c*m - 3*m, -5*m + 4 = -o for o.
-4
Let h be (7/28)/((-3)/12). Let r be -2 - 2*(h + -1). Solve -10 =