*p + l - 5 for p.
3
Let v = 31 - 16. Let d be (17/2)/((-4)/(-8)). Suppose -3*x = -4*r - 4*x + 14, 5*r + x = d. Solve -6 = 2*z, 0*p + v = r*p - 2*z for p.
3
Suppose 0 = -w - 4*w + 5. Let f = 3 - w. Suppose f = 2*c - c. Solve -1 = -v + l + 3, -3*v + 10 = -c*l for v.
2
Let r = 5 - 0. Suppose -2*a + 6*a = -r*u + 5, 0 = -u + 1. Suppose a - 2 = -g. Solve 0 = 5*l - 2*t + g - 19, 5*l - 14 = -t for l.
3
Suppose h - 10 = -t, -3*t + 2*h = -t - 16. Suppose t = 3*m - 81. Solve -3*f - 3*g + 12 - 3 = 0, -5*f + 4*g = m for f.
-2
Let v be (1 + -1)/(2 + -1). Suppose -4*j = -v*j. Solve -f = 2*h + 12, 6*h - h + f + 27 = j for h.
-5
Suppose 2*f + 2*f - 4*w = 28, -3*w + 7 = 4*f. Solve -3*j + 3*q - 18 = 0, 0 = -2*q + f + 2 for j.
-3
Suppose 0 = -12*d + 7*d + 15. Let w(n) = n. Let g be w(3). Solve -g*y - d*f - 2 = y, -2*y - 6 = -f for y.
-2
Let t(w) = -w**2 + 7*w - 2. Suppose 4*n + 5 + 4 = -l, 3*l - 5*n = 24. Let p be t(l). Solve -4*y - 23 = 3*h, 5*h + 7 + p = 4*y for h.
-5
Suppose 2*b = -b + 24. Suppose -f = 3*f - b. Solve 17 = -2*o - 5*p, -2*p - 8 + f = 0 for o.
-1
Let i(s) = -4*s + 24. Let a be i(0). Solve 3*v - 12 = 0, -a = -d - 3*v - 2*v for d.
4
Let h = 5 + -2. Suppose r = h + 5. Suppose b + 2 = -k, -3*k - 5*b - 6 = r. Solve 2*g + 2*g + 8 = 4*z, 0 = -4*g - k*z - 26 for g.
-5
Suppose 2*h + 2*n = -2, -2*h - 5*n - 6 = 5. Solve x + 3*b = h*x - 3, 2 = 5*x - 2*b for x.
0
Let m be -1*0/2*-1. Let n(w) = -w**2 + 10*w - 9. Let b be n(9). Suppose -4*l + 5*z + 10 + 25 = m, b = -2*z + 2. Solve 4*s - 4*t - 8 = -0*s, 5*t = s + l for s.
5
Suppose 1 = -3*j + 16. Suppose 0 = -l - b + 4, j*b - b - 4 = -l. Solve l*n + q = -8, 3*q - 2*q = 4*n for n.
-1
Let h(s) = 3*s**2 + 9*s + 2. Let k be h(-3). Let n(v) = -v**2 + 11. Let p be n(0). Let r = p + -6. Solve c - 5*q = 22, k*c + r*q = 18 - 49 for c.
-3
Suppose -z = n - 0*n - 24, 4*n - 100 = -5*z. Let x be (-3 - -6)*(0 - -1). Solve -2*j + 5*j - q = n, -x*j - 5*q - 10 = 0 for j.
5
Let p(w) = w**2 + 8*w + 3. Let x = -14 - -6. Let v be p(x). Solve -3*f + 5 + 1 = v*y, -3*y + 18 = -f for f.
-3
Let b be (-1)/(-2) - 1/2. Let z(v) = -v + 5. Let i be z(-7). Suppose -c = -16 + i. Solve 5 = 3*m + 5*n, b*m - 16 = c*m + n for m.
-5
Let r(y) = y**2 + 3*y - 2. Let k be r(2). Suppose 12 = -4*g, 5*g - 8*g - 5 = 2*z. Solve 2*b = -k, d - 2*d - z*b - 3 = 0 for d.
5
Let r(d) = -3*d - 12. Let x(k) = -13*k - 48. Let o(b) = -9*r(b) + 2*x(b). Let v be o(-8). Solve 0 = -5*f + 3*p + 5, 9*f = v*f - 4*p + 5 for f.
1
Let d(l) = -l**3 - 7*l**2 - 7*l - 6. Let r be d(-6). Solve 5*z - 40 = -4*i - r, -4*i = -20 for z.
4
Suppose -4*k + 2*k + 55 = t, 4*k = 2*t + 90. Suppose -4*s + 4*q + 44 = 0, 3*s + 0*q - k = -q. Solve 3*i + 12 = 3*u, 0 = -3*u - 2*i + 4*i + s for u.
1
Let c = -22 + 11. Let q = 16 + c. Solve -q*m = -o - 25, -2*m - 5*o + o + 10 = 0 for m.
5
Let j be (0 - 1)/2*(19 - 19). Solve -2*m + u - 5 = 0, -5*m + 3*u - 13 + 0 = j for m.
-2
Let a = 9 + -2. Let v = a - 5. Solve 2*x - 6*x + 6 = -2*p, -v*x + 4*p = -12 for x.
0
Suppose 0 = 2*l - 4*l + 14. Suppose 6*h - h - j - l = 0, 0 = 2*h + 4*j - 16. Solve -4*c + h*k - 5*k - 5 = 0, 5 = -2*c + k for c.
-2
Let m be 0 - 6/(-4)*-6. Let b(n) = -n + 8. Let i be b(m). Solve -5*s = -h - i, 13 = s + h - 6*h for s.
3
Let x(p) = 9*p**3 + 2*p + 1. Let z be x(-1). Let n be (z/4)/((-2)/4). Solve -3*k = 0, 3*a - 7*a - n*k + 4 = 0 for a.
1
Let u = -18 - -20. Solve 0 = -2*p - 3*p - u*w - 19, 4*w + 5 = p for p.
-3
Let t be (-6)/(-24) - (-5)/(-4). Let d be 0*(0 + t - -2). Suppose f - 5*y - 18 = d, -2*y - 2*y - 24 = -4*f. Solve -f*u - 11 = 4*r, 2*r - 1 = 2*u + 11 for r.
1
Let t be 1 + (1 - (1 - 1)). Let r(n) = -n + 2. Let g be r(-3). Solve 10 = g*a - 5*c, -3*c - 12 + 1 = t*a for a.
-1
Let x(f) = -f**3 - 9*f**2 + f + 9. Let n be x(-9). Let k be (1/3*n)/(-3). Solve k = 5*g - 3*v + 4, -3*g + 8 = 4*v - 7 for g.
1
Suppose -55 + 40 = -5*t. Solve -4*f + t = -4*u - 5, -2*f + 5*u + 1 = 0 for f.
3
Let r(u) = u**2 + 0 + 3*u - 3*u + 4 - u**3. Let i be r(0). Solve 0 = l + 4*t - 17, -19 = 2*l - i*l - 3*t for l.
5
Suppose 27 = 5*s + 5*b - 8, -2*b - 2 = 0. Solve -2*u + 26 = -6*q + 2*q, q + s = u for q.
-5
Suppose -9*l - 24 = -6*l. Let m = l + 10. Solve 2*a - g + 0 = -10, 5*a = m*g - 25 for a.
-5
Let o(x) = x**3 + 6*x**2 + x + 6. Let q be o(-6). Suppose q*i = i - 4. Solve 2*s - i = 0, 4*s + 0*s - 4 = -c for c.
-4
Let u = -9 - -1. Let k = u + 11. Solve 5*j - 3*h + 7*h = 28, -k*h = -j - 2 for j.
4
Suppose 5*o = -0*o - r - 6, 3*r = -4*o - 7. Let m be 2*o/4*-4. Suppose -5*n + 12 = 2*t, 17 + 3 = -5*t. Solve 0 = -h + 2*h + 2*f - m, -n*h = -5*f + 5 for h.
0
Suppose -4*m + 10 = m. Solve 15 = -5*l + m*o, 3*o = -3*l - 40 + 10 for l.
-5
Let u(w) = w + 8. Let a(c) = -c**3 - 8*c**2 - 5*c + 6. Let t be a(-7). Let r = -14 - t. Let g be u(r). Solve 0 = 5*d - o - 22, -o - 2*o = -g*d + 14 for d.
4
Suppose 41*o - 40*o - 2 = 0. Solve 4*u + 15 = 3*x + 2*x, -3*x + 9 = -o*u for x.
3
Suppose -2 = -5*m + n, -m + 8 = -8*n + 4*n. Solve 1 = 4*c + 3*w - m*w, -c + 5*w = 17 for c.
-2
Let h(n) = n - 7. Suppose 2*l - 2*p - 8 = 16, 4*l + 4*p = 24. Let m be h(l). Solve -5*w - 3 = o - m*w, 0 = -2*o - 5*w - 4 for o.
3
Let u = -69 - -71. Solve -31 = 3*i + 4*k, 22 = -u*i - k - 2*k for i.
-5
Let t = -89 + 107. Solve 4*d + 8 = 0, -2*l - 7*d = -3*d + t for l.
-5
Let h(k) = k**3 - 10*k**2 - k + 13. Let m be h(10). Solve 2*f = 2*r + 9 + 3, m*r + 4*f = 3 for r.
-3
Suppose -2*p - 3*p - 5*m = -65, -4*p = -m - 47. Let d be (-2 - 4)*2/(-3). Solve 2*n - d*u - p = n, -3*u = 12 for n.
-4
Let m(h) = 2*h**2 - h**2 - 8 - 5*h - 2. Let o be m(7). Suppose 4 = o*a + n, a = -a - 5*n - 16. Solve 12 = 3*x - 2*d - a*d, 4*x - 5*d = 15 for x.
0
Suppose -a + 11 = 2*v + 5, -1 = a - 5*v. Solve 2*j + 4*l = 22, -2*j - 5 = -a*l - l for j.
5
Let i(l) = l + 2. Let b be i(-2). Suppose -2*z = -3*n + 16, 2*z - 6 = 5*z. Let t = b + n. Solve -t*w + 8*w = -5*a + 13, 3*a + 4*w = 3 for a.
5
Let w(v) = -v**3 - 4*v**2 - 11. Let j be w(-5). Solve -3 = f + 5*h, -5*f + 2*h + j = -2*h for f.
2
Let z(g) = g**3 - 11*g**2 - 9*g - 32. Let f be z(12). Solve -f*c - 4*h = -h + 7, c = 5*h + 4 for c.
-1
Let n(p) = p**3 - 3*p**2 - 4*p + 2. Let i be n(4). Solve s - i*o - 1 = 4, 20 = 4*s - 4*o for s.
5
Let w be 2/(-2) - 15/(-5). Let o be (-3 + -3)*(-1)/w. Let v(a) = a + 1. Let d be v(2). Solve -2*u - 5*r - 5 = d*u, 0 = o*u - 4*r + 24 for u.
-4
Let z = -8 - -20. Suppose -5*o = 4*v - 4, 2*o = -o - z. Solve 5*k + 6 = -2*h, v = -2*h + 4*k - 3*k for h.
-3
Let f be 2/(-7) - (-1080)/56. Let z = -16 + f. Solve l = m + 7, 0*m - z*m - 6 = 2*l for m.
-4
Suppose -2*h + m + 3*m - 12 = 0, 2*m = -2*h - 12. Let c = h - -5. Let n be 7*c*(-18)/21. Solve -5*r + 0*i - 10 = 5*i, -5*r - n = 3*i for r.
0
Let t = -116 - -119. Solve -3*a = t*w - 24, -w + 18 = 4*a - a for a.
5
Let h be (-2)/12 - 10/12. Let m = 3 - h. Suppose -3*b = b. Solve b = -m*f + 3*i - 10, -2*f - 2*i - 12 = 0 for f.
-4
Let r(w) = 2*w**2 + 7*w + 6. Let d be r(-5). Solve -3*z = -4*c + d, -z - c = 2*c - 6 for z.
-3
Let i be 1*(-3)/6*8. Let d be -1 + 0 - 16/i. Suppose 0 = u - d*u. Solve u = -8*f + 3*f, 16 = -4*h + f for h.
-4
Let d = 112 - 110. Solve -24 = 5*p + n, -8 = d*p - p - 3*n for p.
-5
Suppose 60 = -6*d + d. Let z = d - -32. Solve -3*u + 3*c = 0, 3*u = -3*c + 2*c + z for u.
5
Let o(l) = -162*l**3. Let s be o(-1). Suppose -5*y + s - 12 = 0. Solve -4*u = -4, -y = 3*k + 2*k - 5*u for k.
-5
Let a be 55/(-33)*(-1 - (-2 + 4)). Solve 6*g - 21 = a*u + 2*g, -8 = u + 3*g for u.
-5
Let h be 6/4*24/18. Let z = -5 + 15. Let d be (4/(-6))/(z/(-75)). Solve 3*o + d = h*l, -3 - 12 = 2*l + o for l.
-5
Let i(v) = -v**2 + 7*v + 11. Suppose -9*s + 7*s + 16 = 0. Let o be i(s). Solve -3*k = 2*w + 15, -k + o*w = -7 + 1 for k.
-3
Let b = 46 - 43. Solve -2*c = 2*c + b*q - 16, 0 = 5*c + q - 9 for c.
1
Suppose 3*a + 5*t + 3 = 0, -3 = -2*a - 2*t - 1. Solve 2*r + 24 = 5*k - a, 32 = -5*r + 3*k for r.
-4
Let f be (1/2 + 0)*8. Solve -8 = 5*l + 17, f*s + 5*l + 17 = 0 for s.
2
Suppose -x = 2*i + x - 10, -4*i + 23 = 5*x. Suppose m - 10 = -i*a, 4*a - m - 18 = -2*m. Solve 0 = a*o - k - 3, -o - k - 2*k = -4 for o.
1
Suppose -23 = -2*m + 3*d, m + 21 = 3*d - 8*d. Solve -3*z = -m*z + 2*q + 9, -4*z - 5*q = 3 for z.
3
Suppose 0*k + 4*k + 40 = 0. Let w = k - -28. Suppose -o + u + 18 = 3*o, 5*u = 2*o - w. Solve -15 + 0 = 5*d + q, o*d + q + 11 = 